Sample records for toolkit gst abstract

  1. Geospatial Toolkit (GsT) Webinar | 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 Office of InspectorConcentrating Solar Power Basics (TheEtelligenceGainSpanRate-Making Jump to:Mariana IslandsGsT)

  2. Geospatial Toolkits and Resource Maps for Selected Countries from the National Renewable Energy Laboratory (NREL)

    DOE Data Explorer [Office of Scientific and Technical Information (OSTI)]

    NREL developed the Geospatial Toolkit (GsT), a map-based software application that integrates resource data and geographic information systems (GIS) for integrated resource assessment. A variety of agencies within countries, along with global datasets, provided country-specific data. Originally developed in 2005, the Geospatial Toolkit was completely redesigned and re-released in November 2010 to provide a more modern, easier-to-use interface with considerably faster analytical querying capabilities. Toolkits are available for 21 countries and each one can be downloaded separately. The source code for the toolkit is also available. [Taken and edited from http://www.nrel.gov/international/geospatial_toolkits.html

  3. Energy & Society Toolkit Appendices Toolkit Appendices

    E-Print Network [OSTI]

    Kammen, Daniel M.

    ton of coal 1,000,000,000 GJ = 1 exajoule = 1 quad Reference energy measure: watt (W) 70 gigawatts (GWEnergy & Society Toolkit Appendices 1 Toolkit Appendices #12;Energy & Society Toolkit Appendices 2 2.3. Volume 4 2.4. Mass 4 2.5. Pressure 4 2.6. Temperature 4 2.7. Force 4 2.8. Energy 4 2.9. Power 5

  4. Alternative energy design toolkit

    E-Print Network [OSTI]

    Sukkasi, Sittha

    2004-01-01T23:59:59.000Z

    This thesis concerns the concepts, structure, and applications of the Alternative Energy Design Toolkit. The toolkit is aimed to provide a widely accessible, easy to use, flexible, yet powerful modeling environment for ...

  5. TOOLKIT, Version 2. 0

    SciTech Connect (OSTI)

    Schroeder, E.; Bagot, B.; McNeill, R.L.

    1990-05-09T23:59:59.000Z

    The purpose of this User's Guide is to show by example many of the features of Toolkit II. Some examples will be copies of screens as they appear while running the Toolkit. Other examples will show what the user should enter in various situations; in these instances, what the computer asserts will be in boldface and what the user responds will be in regular type. The User's Guide is divided into four sections. The first section, FOCUS Databases'', will give a broad overview of the Focus administrative databases that are available on the VAX; easy-to-use reports are available for most of them in the Toolkit. The second section, Getting Started'', will cover the steps necessary to log onto the Computer Center VAX cluster and how to start Focus and the Toolkit. The third section, Using the Toolkit'', will discuss some of the features in the Toolkit -- the available reports and how to access them, as well as some utilities. The fourth section, Helpful Hints'', will cover some useful facts about the VAX and Focus as well as some of the more common problems that can occur. The Toolkit is not set in concrete but is continually being revised and improved. If you have any opinions as to changes that you would like to see made to the Toolkit or new features that you would like included, please let us know. Since we do try to respond to the needs of the user and make periodic improvement to the Toolkit, this User's Guide may not correspond exactly to what is available in the computer. In general, changes are made to provide new options or features; rarely is an existing feature deleted.

  6. Performance Based Service Acquisition Toolkit | Department of...

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

    Procurement and Acquisition Guidance Contracting for Support Services Performance Based Service Acquisition Toolkit Performance Based Service Acquisition Toolkit...

  7. ABSTRACT

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary)morphinanInformation Desert SouthwestTechnologies |November 2011A FirstEMSLAEMSL341AACEii ABSTRACT This

  8. A Stateful Web Augmentation Toolkit

    E-Print Network [OSTI]

    Webber, Matthew J. (Matthew James)

    2010-01-01T23:59:59.000Z

    This thesis introduces the Stateful Web Augmentation Toolkit (SWAT), a toolkit that gives users control over the presentation and functionality of web content. SWAT extends Chickenfoot, a Firefox browser scripting environment ...

  9. Geospatial Toolkit Help October 2010

    E-Print Network [OSTI]

    Geospatial Toolkit Help October 2010 #12;2 Geospatial Toolkit Help Table of Contents Getting helps energy planners, project developers, researchers and others identify areas of a country that show Renewable Energy Laboratory #12;4 Geospatial Toolkit Help data along with information about the geography

  10. The model coupling toolkit.

    SciTech Connect (OSTI)

    Larson, J. W.; Jacob, R. L.; Foster, I.; Guo, J.

    2001-04-13T23:59:59.000Z

    The advent of coupled earth system models has raised an important question in parallel computing: What is the most effective method for coupling many parallel models to form a high-performance coupled modeling system? We present our solution to this problem--The Model Coupling Toolkit (MCT). We explain how our effort to construct the Next-Generation Coupler for NCAR Community Climate System Model motivated us to create this toolkit. We describe in detail the conceptual design of the MCT and explain its usage in constructing parallel coupled models. We present preliminary performance results for the toolkit's parallel data transfer facilities. Finally, we outline an agenda for future development of the MCT.

  11. Voluntary Initiative on Incentives: Toolkit Training Webinar...

    Energy Savers [EERE]

    Voluntary Initiative on Incentives: Toolkit Training Webinar Voluntary Initiative on Incentives: Toolkit Training Webinar March 26, 2015 12:30PM to 2:0...

  12. Quarterly Cybersecurity Awareness Campaigns and Toolkits | Department...

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

    Quarterly Cybersecurity Awareness Campaigns and Toolkits Quarterly Cybersecurity Awareness Campaigns and Toolkits The OCIO coordinates a variety of internal cybersecurity awareness...

  13. Mobile Computing with the Rover Toolkit Anthony D. Joseph, Joshua A. Tauber, and M. Frans Kaashoek

    E-Print Network [OSTI]

    Joseph, Anthony D.

    Mobile Computing with the Rover Toolkit Anthony D. Joseph, Joshua A. Tauber, and M. Frans Kaashoek@lcs.mit.edu Abstract Rover is a software toolkit that supports the construction of both mobile­transparent and mobile­aware appli­ cations. The objective of the mobile­transparent approach is to develop proxies for system

  14. Mobile Computing with the Rover Toolkit Anthony D. Joseph, Joshua A. Tauber, and M. Frans Kaashoek

    E-Print Network [OSTI]

    Han, Richard Y.

    Mobile Computing with the Rover Toolkit Anthony D. Joseph, Joshua A. Tauber, and M. Frans Kaashoek@lcs.mit.edu Abstract Rover is a software toolkit that supports the construction of both mobile-transparent and mobile-aware appli- cations. The objective of the mobile-transparent approach is to develop proxies for system

  15. ORCA: A Visualization Toolkit for High-Dimensional Data

    E-Print Network [OSTI]

    Washington at Seattle, University of

    are organized conceptually into segments of a pipeline. The software design of Orca takes advantage Lewin-Kohx, Dianne Cook, Zach Coxk Abstract This paper describes the background and design of the software, Orca. Orca is a exible and extensible toolkit for constructing interactive and dynamic linked

  16. Outbreak Ethnography The Anthropologist's Toolkit

    E-Print Network [OSTI]

    a diverse toolkit. And while it is very useful to be an empathetic listener and hang out with people in many and professional lives--finding people to care for our children and cover our university classes--in addition living intimately with local people and participating, observing, and talking with people in a variety

  17. Waste Toolkit A-Z Plastic Grundon

    E-Print Network [OSTI]

    Melham, Tom

    Waste Toolkit A-Z Plastic ­ Grundon Also see `Swap Shop' and `Office Recycling ­ Grundon' in the Waste Toolkit A-Z How can I recycle plastic? There are lots of different types of plastic. Typically, waste contractors can only recycle PETE plastic and HDPE plastic. The University's preferred waste

  18. The Extremes Toolkit (extRemes) Weather and Climate Applications

    E-Print Network [OSTI]

    Gilleland, Eric

    The Extremes Toolkit (extRemes) Weather and Climate Applications of Extreme Value Statistics Eric;The Extremes Toolkit (extRemes) Web Page http://www.assessment.ucar.edu/toolkit Acknowledgements 1. The Extremes Toolkit is funded by the National Science Foundation (NSF) through the NCAR Weather and Cli- mate

  19. A Toolkit for Building Sustainability at Dartmouth

    E-Print Network [OSTI]

    1 A Toolkit for Building Sustainability at Dartmouth Environmental Studies 50, Spring 2011 College Sustainability Strategic Planning Process. Dartmouth College has a strong legacy of sustainability, are racing forward with new sustainability initiatives, sustainable building designs, and new, innovative

  20. TOOLKIT

    E-Print Network [OSTI]

    Schroeder, E.

    2010-01-01T23:59:59.000Z

    B. Logging on the VAX C. Starting Focus IIio Using theA. Useful VAX/FocusIBM computers, the scientific VAX cluster, and the growing

  1. TOOLKIT

    E-Print Network [OSTI]

    Schroeder, E.

    2010-01-01T23:59:59.000Z

    Job Order Ledger (Detai People/Person Property Man PurchaseJob Order Ledger (Detail or General) People/Personnel Property Management PurchaseJob Order Please select desiredoption Ledger(Detail or Ge People/Personnel Employees & Guests by Division Property Managem Phonebook Search Purchase

  2. CAT A Practical SDL Based Attack Attribution Toolkit for 3G Networks

    E-Print Network [OSTI]

    Yener, Aylin

    CAT ­ A Practical SDL Based Attack Attribution Toolkit for 3G Networks Kameswari Kotapati Peng Liu University University Park, PA 16802 Abstract-- This paper presents the Cross Infrastructure Attack telecommunication specifications. CAT analyzes vulnerabilities by generating attack graphs, which show the global

  3. The Cloud Adoption Toolkit: Supporting Cloud Adoption Decisions in the Enterprise

    E-Print Network [OSTI]

    Sommerville, Ian

    1 The Cloud Adoption Toolkit: Supporting Cloud Adoption Decisions in the Enterprise Ali Khajeh-Hosseini, David Greenwood, James W. Smith, Ian Sommerville Cloud Computing Co-laboratory, School of Computer Science University of St Andrews, UK {akh, dsg22, jws7, ifs}@cs.st-andrews.ac.uk Abstract Cloud computing

  4. An Energy-Harvesting Sensor Architecture and Toolkit for Building Monitoring and Event Detection

    E-Print Network [OSTI]

    Dutta, Prabal

    An Energy-Harvesting Sensor Architecture and Toolkit for Building Monitoring and Event Detection of Michigan Ann Arbor, MI 48109 {bradjc,prabal}@umich.edu Abstract Understanding building usage patterns a new architecture for design- ing building-monitoring focused energy-harvesting sensors. The key

  5. Using the GridSim Toolkit for Enabling Grid Computing Education Manzur Murshed

    E-Print Network [OSTI]

    Melbourne, University of

    with (Grid-enabled) resources or their agents using middleware services, map tasks to resources (schedulingUsing the GridSim Toolkit for Enabling Grid Computing Education Manzur Murshed Gippsland School: Grid Simulation; Education; Scheduling; Resource Management. Abstract Numerous research groups

  6. Waste Toolkit A-Z Plastic bags

    E-Print Network [OSTI]

    Melham, Tom

    Waste Toolkit A-Z Plastic bags Can I recycle plastic bags? No. At the moment you can't recycle plastic bags in the University recycling. Instead, choose alternatives to plastic bags when shopping have to use a cotton bag 131 times to ensure it has lower global warming potential than a plastic

  7. Waste Toolkit A-Z Mobile phones

    E-Print Network [OSTI]

    Melham, Tom

    Waste Toolkit A-Z Mobile phones How to recycle your mobile phone Recycling your mobile phone makes the deep forests in the Congo in central Africa. The Congo's mining business has in recent years led and recycling can help to reduce the demand for new raw materials. Do not put mobile phones in the recycling

  8. A toolkit for building earth system models

    SciTech Connect (OSTI)

    Foster, I.

    1993-03-01T23:59:59.000Z

    An earth system model is a computer code designed to simulate the interrelated processes that determine the earth`s weather and climate, such as atmospheric circulation, atmospheric physics, atmospheric chemistry, oceanic circulation, and biosphere. I propose a toolkit that would support a modular, or object-oriented, approach to the implementation of such models.

  9. A toolkit for building earth system models

    SciTech Connect (OSTI)

    Foster, I.

    1993-03-01T23:59:59.000Z

    An earth system model is a computer code designed to simulate the interrelated processes that determine the earth's weather and climate, such as atmospheric circulation, atmospheric physics, atmospheric chemistry, oceanic circulation, and biosphere. I propose a toolkit that would support a modular, or object-oriented, approach to the implementation of such models.

  10. Waste Toolkit A-Z Battery recycling

    E-Print Network [OSTI]

    Melham, Tom

    Waste Toolkit A-Z Battery recycling How can I recycle batteries? The University Safety Office is responsible for arranging battery recycling for departments (see Contact at bottom of page). Colleges must in normal waste bins or recycling boxes. To recycle batteries, select either option 1 or 2 below: Option 1

  11. Waste Toolkit A-Z Light bulbs

    E-Print Network [OSTI]

    Melham, Tom

    Waste Toolkit A-Z Light bulbs Can I recycle light bulbs? It depends what type of bulbs you have of in the normal University waste bins (landfill waste). Energy saving bulbs and fluorescent tubes are classified light bulbs? Standard filament bulbs Put in the waste bin (landfill waste) as these are not classified

  12. WAVOS: a MATLAB toolkit for wavelet analysis and visualization of oscillatory systems

    E-Print Network [OSTI]

    Harang, Richard; Bonnet, Guillaume; Petzold, Linda R

    2012-01-01T23:59:59.000Z

    Open Access WAVOS: a MATLAB toolkit for wavelet analysis anduser interface within MATLAB. The interface allows for dataa comprehensive wavelet-based MATLAB toolkit that allows for

  13. A toolkit for detecting technical surprise.

    SciTech Connect (OSTI)

    Trahan, Michael Wayne; Foehse, Mark C.

    2010-10-01T23:59:59.000Z

    The detection of a scientific or technological surprise within a secretive country or institute is very difficult. The ability to detect such surprises would allow analysts to identify the capabilities that could be a military or economic threat to national security. Sandia's current approach utilizing ThreatView has been successful in revealing potential technological surprises. However, as data sets become larger, it becomes critical to use algorithms as filters along with the visualization environments. Our two-year LDRD had two primary goals. First, we developed a tool, a Self-Organizing Map (SOM), to extend ThreatView and improve our understanding of the issues involved in working with textual data sets. Second, we developed a toolkit for detecting indicators of technical surprise in textual data sets. Our toolkit has been successfully used to perform technology assessments for the Science & Technology Intelligence (S&TI) program.

  14. Knowledge information management toolkit and method

    DOE Patents [OSTI]

    Hempstead, Antoinette R.; Brown, Kenneth L.

    2006-08-15T23:59:59.000Z

    A system is provided for managing user entry and/or modification of knowledge information into a knowledge base file having an integrator support component and a data source access support component. The system includes processing circuitry, memory, a user interface, and a knowledge base toolkit. The memory communicates with the processing circuitry and is configured to store at least one knowledge base. The user interface communicates with the processing circuitry and is configured for user entry and/or modification of knowledge pieces within a knowledge base. The knowledge base toolkit is configured for converting knowledge in at least one knowledge base from a first knowledge base form into a second knowledge base form. A method is also provided.

  15. Cyber Security Audit and Attack Detection Toolkit: National SCADA...

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

    project of the cyber security audit and attack detection toolkit is adding control system intelligence to widely deployed enterprise vulnerability scanners and security event...

  16. Cyber Security Audit and Attack Detection Toolkit: Bandolier...

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

    This project of the cyber security audit and attack detection toolkit will employ Bandolier Audit Files for optimizing security configurations and the Portaledge event detection...

  17. Regulatory and Permitting Information Desktop Toolkit (Fact Sheet)

    SciTech Connect (OSTI)

    Young, K.

    2014-04-01T23:59:59.000Z

    Overview of DOE's Regulatory and Permitting Information Desktop (RAPID) Toolkit project, providing information on where to go to view documents and who to contact to get involved.

  18. Application experiences with the Globus toolkit.

    SciTech Connect (OSTI)

    Brunett, S.

    1998-06-09T23:59:59.000Z

    The Globus grid toolkit is a collection of software components designed to support the development of applications for high-performance distributed computing environments, or ''computational grids'' [14]. The Globus toolkit is an implementation of a ''bag of services'' architecture, which provides application and tool developers not with a monolithic system but rather with a set of stand-alone services. Each Globus component provides a basic service, such as authentication, resource allocation, information, communication, fault detection, and remote data access. Different applications and tools can combine these services in different ways to construct ''grid-enabled'' systems. The Globus toolkit has been used to construct the Globus Ubiquitous Supercomputing Testbed, or GUSTO: a large-scale testbed spanning 20 sites and included over 4000 compute nodes for a total compute power of over 2 TFLOPS. Over the past six months, we and others have used this testbed to conduct a variety of application experiments, including multi-user collaborative environments (tele-immersion), computational steering, distributed supercomputing, and high throughput computing. The goal of this paper is to review what has been learned from these experiments regarding the effectiveness of the toolkit approach. To this end, we describe two of the application experiments in detail, noting what worked well and what worked less well. The two applications are a distributed supercomputing application, SF-Express, in which multiple supercomputers are harnessed to perform large distributed interactive simulations; and a tele-immersion application, CAVERNsoft, in which the focus is on connecting multiple people to a distributed simulated world.

  19. LEDSGP/Transportation Toolkit | 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 CenterFranconia, Virginia: Energy Resources Jump to:46 - 429 ThrottledInformation KumasiTools < LEDSGP‎ | DIA-Toolkit Jump

  20. Financing Initiatives Toolkit | 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 Office of Inspector GeneralDepartmentAUDIT REPORTOpen Energy InformationInformation RoyaltyFiberbladeToolkit

  1. An Incident Management Preparedness and Coordination Toolkit

    SciTech Connect (OSTI)

    Koch, Daniel B [ORNL; Payne, Patricia W [ORNL

    2012-01-01T23:59:59.000Z

    Although the use of Geographic Information Systems (GIS) by centrally-located operations staff is well established in the area of emergency response, utilization by first responders in the field is uneven. Cost, complexity, and connectivity are often the deciding factors preventing wider adoption. For the past several years, Oak Ridge National Laboratory (ORNL) has been developing a mobile GIS solution using free and open-source software targeting the needs of front-line personnel. Termed IMPACT, for Incident Management Preparedness and Coordination Toolkit, this ORNL application can complement existing GIS infrastructure and extend its power and capabilities to responders first on the scene of a natural or man-made disaster.

  2. Graph algorithms in the titan toolkit.

    SciTech Connect (OSTI)

    McLendon, William Clarence, III; Wylie, Brian Neil

    2009-10-01T23:59:59.000Z

    Graph algorithms are a key component in a wide variety of intelligence analysis activities. The Graph-Based Informatics for Non-Proliferation and Counter-Terrorism project addresses the critical need of making these graph algorithms accessible to Sandia analysts in a manner that is both intuitive and effective. Specifically we describe the design and implementation of an open source toolkit for doing graph analysis, informatics, and visualization that provides Sandia with novel analysis capability for non-proliferation and counter-terrorism.

  3. Market Analysis Toolkit | 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 Home5b9fcbce19 No revision hasInformation Earth's Heat JumpIncMAKGalway Bay(HeldManhattan,and CharacterizationAnalysis Toolkit

  4. TransportToolkit Prototype | 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 Home5b9fcbce19 No revisionEnvReviewNonInvasiveExplorationUT-gTaguspark JumpDetective:Toyo Aluminium KKCapitalTransportToolkit

  5. ParCAT: Parallel Climate Analysis Toolkit

    SciTech Connect (OSTI)

    Smith, Brian E [ORNL; Steed, Chad A [ORNL; Shipman, Galen M [ORNL; Ricciuto, Daniel M [ORNL; Thornton, Peter E [ORNL; Wehner, Michael [Lawrence Berkeley National Laboratory (LBNL); Williams, Dean N. [Lawrence Livermore National Laboratory (LLNL)

    2013-01-01T23:59:59.000Z

    Climate science is employing increasingly complex models and simulations to analyze the past and predict the future of Earth s climate. This growth in complexity is creating a widening gap between the data being produced and the ability to analyze the datasets. Parallel computing tools are necessary to analyze, compare, and interpret the simulation data. The Parallel Climate Analysis Toolkit (ParCAT) provides basic tools to efficiently use parallel computing techniques to make analysis of these datasets manageable. The toolkit provides the ability to compute spatio-temporal means, differences between runs or differences between averages of runs, and histograms of the values in a data set. ParCAT is implemented as a command-line utility written in C. This allows for easy integration in other tools and allows for use in scripts. This also makes it possible to run ParCAT on many platforms from laptops to supercomputers. ParCAT outputs NetCDF files so it is compatible with existing utilities such as Panoply and UV-CDAT. This paper describes ParCAT and presents results from some example runs on the Titan system at ORNL.

  6. The Best Ever Alarm System Toolkit

    SciTech Connect (OSTI)

    Kasemir, Kay [ORNL; Chen, Xihui [ORNL; Danilova, Katia [ORNL

    2009-01-01T23:59:59.000Z

    Learning from our experience with the standard Experimental Physics and Industrial Control System (EPICS) alarm handler (ALH) as well as a similar intermediate approach based on script-generated operator screens, we developed the Best Ever Alarm System Toolkit (BEAST). It is based on Java and Eclipse on the Control System Studio (CSS) platform, using a relational database (RDB) to store the configuration and log actions. It employs a Java Message Service (JMS) for communication between the modular pieces of the toolkit, which include an Alarm Server to maintain the current alarm state, an arbitrary number of Alarm Client user interfaces (GUI), and tools to annunciate alarms or log alarm related actions. Web reports allow us to monitor the alarm system performance and spot deficiencies in the alarm configuration. The Alarm Client GUI not only gives the end users various ways to view alarms in tree and table, but also makes it easy to access the guidance information, the related operator displays and other CSS tools. It also allows online configuration to be simply modified from the GUI. Coupled with a good "alarm philosophy" on how to provide useful alarms, we can finally improve the configuration to achieve an effective alarm system.

  7. NOAA Webinar: The U.S. Climate Resilience Toolkit | Department...

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

    to 2:30PM EDT Hosted by the National Oceanic and Atmospheric Administration (NOAA), this webinar will demonstrate the U.S. Climate Resilience Toolkit. Register for this webinar...

  8. A Cosmology Forecast Toolkit -- CosmoLib

    E-Print Network [OSTI]

    Zhiqi Huang

    2012-06-11T23:59:59.000Z

    The package CosmoLib is a combination of a cosmological Boltzmann code and a simulation toolkit to forecast the constraints on cosmological parameters from future observations. In this paper we describe the released linear-order part of the package. We discuss the stability and performance of the Boltzmann code. This is written in Newtonian gauge and including dark energy perturbations. In CosmoLib the integrator that computes the CMB angular power spectrum is optimized for a $\\ell$-by-$\\ell$ brute-force integration, which is useful for studying inflationary models predicting sharp features in the primordial power spectrum of metric fluctuations. The numerical code and its documentation are available at http://www.cita.utoronto.ca/~zqhuang/CosmoLib.

  9. Florida Conference on Recent Advances in Robotics, FCRAR 2009 -Boca Raton, Florida, May 21-22, 2009 1 RSARSim: A Toolkit for Evaluating

    E-Print Network [OSTI]

    Sukthankar, Gita Reese

    Florida Conference on Recent Advances in Robotics, FCRAR 2009 - Boca Raton, Florida, May 21-22, 2009 1 RSARSim: A Toolkit for Evaluating HRI in Robotic Search and Rescue Tasks Bennie Lewis and Gita 32816-2362 BennieLewis@knights.ucf.edu, gitars@eecs.ucf.edu ABSTRACT A well-designed human-robot

  10. SciTech Connect: Guide to Using the WIND Toolkit Validation Code

    Office of Scientific and Technical Information (OSTI)

    Toolkit Validation Code In response to the U.S. Department of Energy's goal of using 20% wind energy by 2030, the Wind Integration National Dataset (WIND) Toolkit was created to...

  11. Security Assessment Simulation Toolkit (SAST) Final Report

    SciTech Connect (OSTI)

    Meitzler, Wayne D.; Ouderkirk, Steven J.; Hughes, Chad O.

    2009-11-15T23:59:59.000Z

    The Department of Defense Technical Support Working Group (DoD TSWG) investment in the Pacific Northwest National Laboratory (PNNL) Security Assessment Simulation Toolkit (SAST) research planted a technology seed that germinated into a suite of follow-on Research and Development (R&D) projects culminating in software that is used by multiple DoD organizations. The DoD TSWG technology transfer goal for SAST is already in progress. The Defense Information Systems Agency (DISA), the Defense-wide Information Assurance Program (DIAP), the Marine Corps, Office Of Naval Research (ONR) National Center For Advanced Secure Systems Research (NCASSR) and Office Of Secretary Of Defense International Exercise Program (OSD NII) are currently investing to take SAST to the next level. PNNL currently distributes the software to over 6 government organizations and 30 DoD users. For the past five DoD wide Bulwark Defender exercises, the adoption of this new technology created an expanding role for SAST. In 2009, SAST was also used in the OSD NII International Exercise and is currently scheduled for use in 2010.

  12. The accelerator automation application toolkit workshop presentations

    SciTech Connect (OSTI)

    Howell, J.A.; Bjorklund, E.A.; Clout, P.N.; Dalesio, L.R.; Kozubal, A.J.; Mottershead, C.T.; Rothrock, R.B.; Schaller, S.C.; Stuewe, R.B.; Westervelt, R.T.

    1988-01-01T23:59:59.000Z

    Over the past 18 months on the GTA project at Los Alamos, we have been developing tools for building control systems for accelerators. The first tool developed has already demonstrated greatly reduced requirements for conventional computer programming in applying control systems to an accelerator. Even in the early stages, this work has received considerable attention and the system is currently being investigated or used at several other institutes. Further tools are either in the conceptual design, design, or implementation phase. Over the same period, a group at CERN has been developing the ideas and design for a generic software kit for the application of a control system to accelerators. The CERN software kit also addresses the technical management and documentation aspects of control systems. The purpose of the AT Division effort and the CERN kit is to greatly simplify the implementation and lifetime maintenance of an accelerator control system. Experience has shown that accelerator control systems are also applicable to other experimental physics machines. The purpose of the workshop was to explore these ideas and developments as well as other relevant developments in the field, to verify the viability of the concepts, and to develop further the written specifications for some of the components of such a toolkit. We had draft specifications prepared prior to the workshop. 21 figs.

  13. Validation of Power Output for the WIND Toolkit

    SciTech Connect (OSTI)

    King, J.; Clifton, A.; Hodge, B. M.

    2014-09-01T23:59:59.000Z

    Renewable energy integration studies require wind data sets of high quality with realistic representations of the variability, ramping characteristics, and forecast performance for current wind power plants. The Wind Integration National Data Set (WIND) Toolkit is meant to be an update for and expansion of the original data sets created for the weather years from 2004 through 2006 during the Western Wind and Solar Integration Study and the Eastern Wind Integration Study. The WIND Toolkit expands these data sets to include the entire continental United States, increasing the total number of sites represented, and it includes the weather years from 2007 through 2012. In addition, the WIND Toolkit has a finer resolution for both the temporal and geographic dimensions. Three separate data sets will be created: a meteorological data set, a wind power data set, and a forecast data set. This report describes the validation of the wind power data set.

  14. Network algorithms for information analysis using the Titan Toolkit.

    SciTech Connect (OSTI)

    McLendon, William Clarence, III; Baumes, Jeffrey (Kitware Inc., Clifton Park, NY); Wilson, Andrew T.; Wylie, Brian Neil; Shead, Timothy M.

    2010-07-01T23:59:59.000Z

    The analysis of networked activities is dramatically more challenging than many traditional kinds of analysis. A network is defined by a set of entities (people, organizations, banks, computers, etc.) linked by various types of relationships. These entities and relationships are often uninteresting alone, and only become significant in aggregate. The analysis and visualization of these networks is one of the driving factors behind the creation of the Titan Toolkit. Given the broad set of problem domains and the wide ranging databases in use by the information analysis community, the Titan Toolkit's flexible, component based pipeline provides an excellent platform for constructing specific combinations of network algorithms and visualizations.

  15. Code: A Lightweight and Flexible Mobile Code Toolkit

    E-Print Network [OSTI]

    Picco, Gian Pietro

    evaluation of mobile code technology does not exist yet, some studies already evidenced that the powerful of clientserver and mobile code in reducing the network traffic generated by management. The theoreticalCode: A Lightweight and Flexible Mobile Code Toolkit Gian Pietro Picco Dip. Automatica e

  16. Waste Toolkit A-Z Plastic cups Grundon

    E-Print Network [OSTI]

    Melham, Tom

    Waste Toolkit A-Z Plastic cups ­ Grundon Can I recycle plastic cups? Yes, you can recycle plastic cups if they are made from PET or HDPE plastic (ask your supplier to confirm the type of plastic if you do not know). If the cups are made from any other type of plastic (see symbols below) they cannot

  17. University of Oxford Energy Toolkit2011/12

    E-Print Network [OSTI]

    Melham, Tom

    to reduce its energy consumption, due to: The rising cost of electricity, gas and oil Increasing legislative and cut your energy bills. The toolkit will help you to reduce electricity, gas and oil consumption dioxide we emit under the Government's Carbon Reduction Commitment (CRC) Energy Efficiency Scheme The need

  18. Biodiversity Toolkit Why we DON'T DIG PEAT

    E-Print Network [OSTI]

    Melham, Tom

    Biodiversity Toolkit Peat free Why we DON'T DIG PEAT The collegiate University is working to help the environment and wildlife by phasing out its use of products containing peat, such as compost and soil improver.admin.ox.ac.uk/estates/environment/biodiversity Cut your carbon emissions Wildlife living in peat bogs includes foxes, Irish hares, pygmy shrews, red

  19. Concrete Browsing Of A Graphical Toolkit Library Denys Duchier

    E-Print Network [OSTI]

    Duchier, Denys

    Concrete Browsing Of A Graphical Toolkit Library Denys Duchier Department of Computer Science and promote reuse. This paper introduces Concrete Browsing as an improved method of consult- ing a graphical library, and Spreading Computation as novel paradigm for search and retrieval. A concrete browser allows

  20. Concrete Browsing Of A Graphical Toolkit Library Denys Duchier

    E-Print Network [OSTI]

    Duchier, Denys

    Concrete Browsing Of A Graphical Toolkit Library Denys Duchier Department of Computer Science and promote reuse. This paper introduces Concrete Browsing as an improved method of consult­ ing a graphical library, and Spreading Computation as novel paradigm for search and retrieval. A concrete browser allows

  1. Koon Leai Larry Tan and Kenneth J. Turner. Orchestrating Grid Services using BPEL and Globus Toolkit 4. In Madjid Merabti, Rubem Pereira, Carol Oliver and OmarAbuelma'atti, editors, Proc. 7th PGNet Symposium, pages 31-36,

    E-Print Network [OSTI]

    Turner, Ken

    , Kenneth J. Turner, University of Stirling Abstract--Grid services exploit an emerging distributed has been adapted for this purpose, using ActiveBPEL as the orchestration engine and Globus Toolkit 4 and ActiveBPEL. Manuscript received May 2, 2006. K. L. L. Tan is with the University of Stirling, Stirling FK

  2. A new development cycle of the Statistical Toolkit

    E-Print Network [OSTI]

    Batic, M; Pfeiffer, A; Pia, M G; Ribon, A

    2012-01-01T23:59:59.000Z

    The Statistical Toolkit is an open source system specialized in the statistical comparison of distributions. It addresses requirements common to different experimental domains, such as simulation validation (e.g. comparison of experimental and simulated distributions), regression testing in the course of the software development process, and detector performance monitoring. Various sets of statistical tests have been added to the existing collection to deal with the one sample problem (i.e. the comparison of a data distribution to a function, including tests for normality, categorical analysis and the estimate of randomness). Improved algorithms and software design contribute to the robustness of the results. A simple user layer dealing with primitive data types facilitates the use of the toolkit both in standalone analyses and in large scale experiments.

  3. Monitoring the grid with the globus toolkit MDS4.

    SciTech Connect (OSTI)

    Schopf, J. M.; Pearlman, L.; Miller, N.; Kesselman, C.; Foster, I.; D'Arcy, M.; Chervenak, A.; Mathematics and Computer Science; Univ. of Chicago; Univ. of Southern California; Univ. of Edinburgh

    2006-01-01T23:59:59.000Z

    The Globus Toolkit Monitoring and Discovery System (MDS4) defines and implements mechanisms for service and resource discovery and monitoring in distributed environments. MDS4 is distinguished from previous similar systems by its extensive use of interfaces and behaviors defined in the WS-Resource Framework and WS-Notification specifications, and by its deep integration into essentially every component of the Globus Toolkit. We describe the MDS4 architecture and the Web service interfaces and behaviors that allow users to discover resources and services, monitor resource and service states, receive updates on current status, and visualize monitoring results. We present two current deployments to provide insights into the functionality that can be achieved via the use of these mechanisms.

  4. E-Print Network 3.0 - accelerator modeling toolkit Sample Search...

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

    and Information Sciences 99 The NorduGrid architecture and tools P. Eerola, B. Konya, O. Smirnova Summary: Grid architecture implementation uses the Globus ToolkitTM as...

  5. Technology Cost and Performance Toolkit | 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 Office of InspectorConcentrating SolarElectric Coop, Inc Place: MissouriProgramsCentralMWacTampaInformationToolkit

  6. LEDSGP/DIA-Toolkit/How To | 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 CenterFranconia, Virginia: Energy Resources Jump to:46 - 429 ThrottledInformation Kumasi InstituteInformationsourceDIA-Toolkit/How

  7. LEDSGP/DIA-Toolkit/Tools | 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 CenterFranconia, Virginia: Energy Resources Jump to:46 - 429 ThrottledInformation KumasiTools < LEDSGP‎ | DIA-Toolkit Jump to:

  8. Project Screening and Design Toolkit | 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 CenterFranconia, Virginia: Energy ResourcesLoadingPenobscot County, Maine:Plug Power IncPowderClimateMeadows,Progressiveand Design Toolkit

  9. Distributed Renewable Energy Finance and Policy Toolkit | Open Energy

    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 Office of InspectorConcentrating Solar Power Basics (The followingDirect Energy Services Place:Information Toolkit

  10. Guide to Using the WIND Toolkit Validation Code

    SciTech Connect (OSTI)

    Lieberman-Cribbin, W.; Draxl, C.; Clifton, A.

    2014-12-01T23:59:59.000Z

    In response to the U.S. Department of Energy's goal of using 20% wind energy by 2030, the Wind Integration National Dataset (WIND) Toolkit was created to provide information on wind speed, wind direction, temperature, surface air pressure, and air density on more than 126,000 locations across the United States from 2007 to 2013. The numerical weather prediction model output, gridded at 2-km and at a 5-minute resolution, was further converted to detail the wind power production time series of existing and potential wind facility sites. For users of the dataset it is important that the information presented in the WIND Toolkit is accurate and that errors are known, as then corrective steps can be taken. Therefore, we provide validation code written in R that will be made public to provide users with tools to validate data of their own locations. Validation is based on statistical analyses of wind speed, using error metrics such as bias, root-mean-square error, centered root-mean-square error, mean absolute error, and percent error. Plots of diurnal cycles, annual cycles, wind roses, histograms of wind speed, and quantile-quantile plots are created to visualize how well observational data compares to model data. Ideally, validation will confirm beneficial locations to utilize wind energy and encourage regional wind integration studies using the WIND Toolkit.

  11. Abstracting Preparation

    E-Print Network [OSTI]

    Allen, John F.

    Guidelines & Review Manuscript Preparation Submit Your Manuscript Book Reviews Movies & Videos Contact of Biological and Chemical Sciences. Queen Mary, University of London, Mile End Road, London, UK. Abstract Two motive force for energy conversion, providing for metabolism, for active transport, and for synthesis

  12. American Institute of Aeronautics and Astronautics Development of a Distributed Design Toolkit for Analyzing

    E-Print Network [OSTI]

    Lewis, Kemper E.

    American Institute of Aeronautics and Astronautics 1 Development of a Distributed Design Toolkit - SUNY, Buffalo, NY, 14260 The distribution of a complex system design problem into smaller, coupled a toolkit that enables the modeling and analysis of distributed design process architectures using basic

  13. The svgl toolkit: enabling fast rendering of rich 2D graphics Stephane Conversy1,2

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    The svgl toolkit: enabling fast rendering of rich 2D graphics St´ephane Conversy1,2 Jean powerful graphical processors be- come available on mainstream computers, it becomes possible , a graphical toolkit that enables programmers and design- ers of interactive applications to benefit from

  14. The Wind Integration National Dataset (WIND) toolkit (Presentation)

    SciTech Connect (OSTI)

    Caroline Draxl: NREL

    2014-01-01T23:59:59.000Z

    Regional wind integration studies require detailed wind power output data at many locations to perform simulations of how the power system will operate under high penetration scenarios. The wind datasets that serve as inputs into the study must realistically reflect the ramping characteristics, spatial and temporal correlations, and capacity factors of the simulated wind plants, as well as being time synchronized with available load profiles.As described in this presentation, the WIND Toolkit fulfills these requirements by providing a state-of-the-art national (US) wind resource, power production and forecast dataset.

  15. Cinfony - combining Open Source cheminformatics toolkits behind a common interface

    E-Print Network [OSTI]

    O'Boyle, Noel M; Hutchison, Geoffrey R

    2008-12-03T23:59:59.000Z

    on molecules Atom Wraps an atom instance of the underlying toolkit MoleculeData Provides dictionary-like access to the information contained in the tag fields in SDF and MOL2 files Outputfile Handles multimolecule output file formats Smarts Wraps the SMARTS... .calcfp() output = cdk.Outputfile("sdf", "similar mols.sdf") for mol in cdk.readfile("sdf", "input file.sdf"): fp = mol.calcfp() if fp | targetfp >= 0.7: output.write(mol) output.close() Alternatively, we could just have made a single change to the original script...

  16. TECA: A Parallel Toolkit for Extreme Climate Analysis

    SciTech Connect (OSTI)

    Prabhat, Mr; Ruebel, Oliver; Byna, Surendra; Wu, Kesheng; Li, Fuyu; Wehner, Michael; Bethel, E. Wes

    2012-03-12T23:59:59.000Z

    We present TECA, a parallel toolkit for detecting extreme events in large climate datasets. Modern climate datasets expose parallelism across a number of dimensions: spatial locations, timesteps and ensemble members. We design TECA to exploit these modes of parallelism and demonstrate a prototype implementation for detecting and tracking three classes of extreme events: tropical cyclones, extra-tropical cyclones and atmospheric rivers. We process a modern TB-sized CAM5 simulation dataset with TECA, and demonstrate good runtime performance for the three case studies.

  17. LEDSGP/DIA-Toolkit/Uses | 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 CenterFranconia, Virginia: Energy Resources Jump to:46 - 429 ThrottledInformation KumasiTools < LEDSGP‎ | DIA-Toolkit Jump to:Uses

  18. LEDSGP/Transportation Toolkit/Contact Us | 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 CenterFranconia, Virginia: Energy Resources Jump to:46 - 429 ThrottledInformation KumasiTools < LEDSGP‎ | DIA-Toolkit Jump<

  19. LEDSGP/Transportation Toolkit/Key Actions | 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 CenterFranconia, Virginia: Energy Resources Jump to:46 - 429 ThrottledInformation KumasiTools < LEDSGP‎ | DIA-Toolkit Jump<Key

  20. Renewable Energy Technical Potential Toolkit | 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 Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New EnergyAnatolia Jump to:Toolkit (Redirected from Resource

  1. World Bank Renewable Energy Toolkit | 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 Home5b9fcbce19 NoPublic Utilities Address: 160 East 300 South Place:ReferenceEditWisconsin: Energy ResourcesToolkit Jump to:

  2. Regulatory and Permitting Information Desktop (RAPID) Toolkit (Poster)

    SciTech Connect (OSTI)

    Young, K. R.; Levine, A.

    2014-09-01T23:59:59.000Z

    The Regulatory and Permitting Information Desktop (RAPID) Toolkit combines the former Geothermal Regulatory Roadmap, National Environmental Policy Act (NEPA) Database, and other resources into a Web-based tool that gives the regulatory and utility-scale geothermal developer communities rapid and easy access to permitting information. RAPID currently comprises five tools - Permitting Atlas, Regulatory Roadmap, Resource Library, NEPA Database, and Best Practices. A beta release of an additional tool, the Permitting Wizard, is scheduled for late 2014. Because of the huge amount of information involved, RAPID was developed in a wiki platform to allow industry and regulatory agencies to maintain the content in the future so that it continues to provide relevant and accurate information to users. In 2014, the content was expanded to include regulatory requirements for utility-scale solar and bulk transmission development projects. Going forward, development of the RAPID Toolkit will focus on expanding the capabilities of current tools, developing additional tools, including additional technologies, and continuing to increase stakeholder involvement.

  3. Abstract--Multimedia groupware systems provide rich support for distributed team work. Yet effective design of these systems is

    E-Print Network [OSTI]

    Greenberg, Saul

    evolve design ideas. The problem is that multimedia groupware is hard to prototype because distributed that inform the design of universally accepted toolkits for building distributed multimedia systems: we1 Abstract--Multimedia groupware systems provide rich support for distributed team work. Yet

  4. E-Print Network 3.0 - analysis toolkit enabling Sample Search...

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

    Anthropomorphic Spoken Dialog Agents Shin-ichi Kawamoto1 Summary: is supported by the IPA and it will be publicly available as a software toolkit this year. 1. Introduction... ,...

  5. Appalachian Colleges Community Economic Development Partnership The Small Private Colleges Economic Development Toolkit

    E-Print Network [OSTI]

    Engel, Jonathan

    Partnerships o Evaluation: Measuring Effectiveness #12;The Small Private Colleges Economic Development ToolkitAppalachian Colleges Community Economic Development Partnership The Small Private Colleges Economic and sustainable economic development outreach programs. It contains carefully selected articles and case studies

  6. A Java Reinforcement Learning Module for the Recursive Porous Agent Simulation Toolkit

    E-Print Network [OSTI]

    Tesfatsion, Leigh

    A Java Reinforcement Learning Module for the Recursive Porous Agent Simulation Toolkit: facilitating study and experimentation with reinforcement learning in social science multi-agent simulations-implemented reinforcement learning algorithms . . . . . 34 4.1 The Roth-Erev algorithm . . . . . . . . . . . . . . . . .

  7. PART 1 OF TUTORIAL ON EXTREMES TOOLKIT (1) Installation of R software

    E-Print Network [OSTI]

    Katz, Richard

    PART 1 OF TUTORIAL ON EXTREMES TOOLKIT (1) Installation of R software R-2.9.2-win32.exe Use default options (2) Installation of Extremes Toolkit extRemes (R package for extreme value analysis): extRemes_1.60.zip ismev (R package used by extRemes): ismev_1.34.zip Lmoments (R package used by extRemes): Lmoments

  8. Supporting integrated design through interlinked tools: The Labs21 toolkit

    SciTech Connect (OSTI)

    Mathew, Paul; Bell, Geoffrey; Carlisle, Nancy; Sartor, Dale; van Geet, Otto; Lintner, William; Wirdzek, Phil

    2003-09-15T23:59:59.000Z

    The sustainable design of complex building types such as laboratories and hospitals can be particularly challenging, given their inherent complexity of systems, health and safety requirements, long-term flexibility and adaptability needs, energy use intensity, and environmental impacts. Tools such as design guides, energy benchmarking, and LEED rating systems are especially helpful to support sustainable design in such buildings. Furthermore, designers need guidance on how to effectively and appropriately use each tool within the context of an integrated design process involving multiple actors with various objectives. Toward this end, the Laboratories for the 21st Century (Labs21) program has developed an interlinked set of tools -- the Labs21 Toolkit -- to support an integrated design process for sustainable laboratories. Labs21 is a voluntary partnership program sponsored by the U.S. Environmental Protection Agency (EPA) and U.S. Department of Energy (DOE) to improve the environment al performance of U.S. laboratories. In this paper, we present the Labs21 Toolkit, and illustrate how these tools can be used to support sustainable design within an integrated design process. The tool kit includes core information tools, as well as process-related tools, as indicated below: Core information tools: -A Design Guide, which is a compendium of publications on energy efficiency in laboratories -Case Studies that showcase high-performance design features and applications. -Best Practice Guides that highlight industry-leading sustainable design strategies. -A web-based Benchmarking Tool to benchmark laboratory energy performance.Process tools: -A Design Intent Tool, which can be used to used to plan, document, and verify that a facility's design intent is being met at each stage of the design process. The Environmental Performance Criteria (EPC), a rating system specifically designed for laboratory facilities that builds on the LEED(TM) system. -A web-based Process Manual, that provides a ''portal'' to the tools and a step-by-step process for using these tools during each stage of the design process.

  9. Introduction Abstract reflection groups and abstract buildings

    E-Print Network [OSTI]

    Vogtmann, Karen

    Introduction Abstract reflection groups and abstract buildings Their geometric realizations Compactly supported cohomology L2 -cohomology Cohomology of Coxeter groups and buildings Mike Davis (work groups and buildings #12;Introduction Abstract reflection groups and abstract buildings Their geometric

  10. Transforming Abstract Interpretations by Abstract Interpretation

    E-Print Network [OSTI]

    Giacobazzi, Roberto

    an instance of the same abstract interpretation frame- work lifted to higher types, i.e. where the objectsTransforming Abstract Interpretations by Abstract Interpretation New Challenges in Language - Verona, Italy (roberto.giacobazzi|isabella.mastroeni)@univr.it Abstract. In this paper we exploit

  11. A Public Toolkit and ITS Dataset for EEG Yueran Yuan, Kai-min Chang, Yanbo Xu, Jack Mostow

    E-Print Network [OSTI]

    A Public Toolkit and ITS Dataset for EEG Yueran Yuan, Kai-min Chang, Yanbo Xu, Jack Mostow Language a classifier to estimate a student's amount of prior exposure to a given word. We make this dataset and toolkit setting. In this paper, we present a dataset from 3 years of school usage of Project LISTEN's Reading

  12. Water Security Toolkit User Manual Version 1.2.

    SciTech Connect (OSTI)

    Klise, Katherine A.; Siirola, John Daniel; Hart, David; Hart, William E.; Phillips, Cynthia A.; Haxton, Terranna; Murray, Regan; Janke, Robert; Taxon, Thomas; Laird, Carl; Seth, Arpan; Hackebeil, Gabriel; McGee, Shawn; Mann, Angelica

    2014-08-01T23:59:59.000Z

    The Water Security Toolkit (WST) is a suite of open source software tools that can be used by water utilities to create response strategies to reduce the impact of contamination in a water distribution network . WST includes hydraulic and water quality modeling software , optimizati on methodologies , and visualization tools to identify: (1) sensor locations to detect contamination, (2) locations in the network in which the contamination was introduced, (3) hydrants to remove contaminated water from the distribution system, (4) locations in the network to inject decontamination agents to inactivate, remove, or destroy contaminants, (5) locations in the network to take grab sample s to help identify the source of contamination and (6) valves to close in order to isolate contaminate d areas of the network. This user manual describes the different components of WST , along w ith examples and case studies. License Notice The Water Security Toolkit (WST) v.1.2 Copyright c 2012 Sandia Corporation. Under the terms of Contract DE-AC04-94AL85000, there is a non-exclusive license for use of this work by or on behalf of the U.S. government. This software is distributed under the Revised BSD License (see below). In addition, WST leverages a variety of third-party software packages, which have separate licensing policies: Acro Revised BSD License argparse Python Software Foundation License Boost Boost Software License Coopr Revised BSD License Coverage BSD License Distribute Python Software Foundation License / Zope Public License EPANET Public Domain EPANET-ERD Revised BSD License EPANET-MSX GNU Lesser General Public License (LGPL) v.3 gcovr Revised BSD License GRASP AT&T Commercial License for noncommercial use; includes randomsample and sideconstraints executable files LZMA SDK Public Domain nose GNU Lesser General Public License (LGPL) v.2.1 ordereddict MIT License pip MIT License PLY BSD License PyEPANET Revised BSD License Pyro MIT License PyUtilib Revised BSD License PyYAML MIT License runpy2 Python Software Foundation License setuptools Python Software Foundation License / Zope Public License six MIT License TinyXML zlib License unittest2 BSD License Utilib Revised BSD License virtualenv MIT License Vol Common Public License vpykit Revised BSD License Additionally, some precompiled WST binary distributions might bundle other third-party executables files: Coliny Revised BSD License (part of Acro project) Dakota GNU Lesser General Public License (LGPL) v.2.1 PICO Revised BSD License (part of Acro project) i Revised BSD License Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. * Neither the name of Sandia National Laboratories nor Sandia Corporation nor the names of its con- tributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS %22AS IS%22 AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IM- PLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SANDIA CORPORATION BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUD- ING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. ii Acknowledgements This work was supported by the U.S. Environmental Protection Agen

  13. The Portable Extensible Toolkit for Scientific computing Day 1: Usage and Algorithms

    E-Print Network [OSTI]

    The Portable Extensible Toolkit for Scientific computing Day 1: Usage and Algorithms Jed Brown CSCS runs performantly on a laptop No iPhone support Jed Brown (ETH Zrich) PETSc day 1 CSCS 2010-05-10 5) Same code runs performantly on a laptop No iPhone support Jed Brown (ETH Zrich) PETSc day 1 CSCS

  14. Development of a Measurement and Verification (M&V) Costing Toolkit

    E-Print Network [OSTI]

    Haberl, J. S.; Lewis, T.; Im, P.; Carlson, K. A.; Underwood, D.

    2004-01-01T23:59:59.000Z

    This paper discusses the development of a M&V Costing Toolkit that has been developed to assist the U.S. Army with the standardization of costing procedures for measuring and verifying energy savings from Energy Service Performance Contracts (ESPC...

  15. Waste Toolkit A-Z Food waste (recycling on-site)

    E-Print Network [OSTI]

    Melham, Tom

    Waste Toolkit A-Z Food waste (recycling on-site) How can I recycle food waste on-site? Recycling to be recycled. While this is better than sending waste to landfill, there is a more sustainable way to recycle and parks. See examples of Tidy Planet's customers recycling on-site: www.tidyplanet.co.uk/our-news Short

  16. U. S. Army Measurement and Verification (M&V) Costing Toolkit

    E-Print Network [OSTI]

    Haberl, J. S.; Powell, T.; Carlson, K. A.; Im, P.; Turner, W. D.

    2003-01-01T23:59:59.000Z

    This is the 2003 final report for the U.S. Army Monitoring and Verification (M&V) costs project. The purpose of this project is to develop a M&V Costing Toolkit to be used by the government or third party planners to design a M&V plan...

  17. Metaprogrammable Toolkit for Model-Integrated Computing Akos Ledeczi, Miklos Maroti, Gabor Karsai and Greg Nordstrom

    E-Print Network [OSTI]

    Maróti, Miklós

    building, constraint management, and automatic program synthesis components, are well suited for the design. Model-Integrated Computing (MIC) is well suited for the rapid design and implementation of such systemsMetaprogrammable Toolkit for Model-Integrated Computing Akos Ledeczi, Miklos Maroti, Gabor Karsai

  18. Development of an Online Toolkit for Measuring Commercial Building Energy Efficiency Performance -- Scoping Study

    SciTech Connect (OSTI)

    Wang, Na

    2013-03-13T23:59:59.000Z

    This study analyzes the market needs for building performance evaluation tools. It identifies the existing gaps and provides a roadmap for the U.S. Department of Energy (DOE) to develop a toolkit with which to optimize energy performance of a commercial building over its life cycle.

  19. AbstractAbstract Improving efficiency of thermoelectric

    E-Print Network [OSTI]

    Walker, D. Greg

    -classical transport models used to predict ZT can effectively predict thermoelectric performance of bulk materials Material PerformanceThermoelectric Material Performance 0 0.5 1 1.5 2 2.5 3 1950 1960 1970 1980 1990 2000AbstractAbstract · Improving efficiency of thermoelectric energy conversion devices is a major

  20. Statistical Abstract 2013

    E-Print Network [OSTI]

    Kansas Statistical Abstract 2013 published exclusively online by Institute for Policy & Social,chapters,or the full Kansas Statistical Abstract are permitted on the condition that sources are cited. Kansas Statistical Abstract 2013 2 #12;Table of Contents Foreword

  1. TagMe: an easy-to-use toolkit for turning the personal environment into an extended communications interface

    E-Print Network [OSTI]

    Benavides Palos, Xavier

    In this paper we present an end-user toolkit for easy creation of responsive objects and environments. TagMe consists of a wearable device that recognizes the object or surface the user is touching. The user can make ...

  2. Phase 1 Development Report for the SESSA Toolkit.

    SciTech Connect (OSTI)

    Knowlton, Robert G.; Melton, Brad J; Anderson, Robert J.

    2014-09-01T23:59:59.000Z

    The Site Exploitation System for Situational Awareness ( SESSA ) tool kit , developed by Sandia National Laboratories (SNL) , is a comprehensive de cision support system for crime scene data acquisition and Sensitive Site Exploitation (SSE). SESSA is an outgrowth of another SNL developed decision support system , the Building R estoration Operations Optimization Model (BROOM), a hardware/software solution for data acquisition, data management, and data analysis. SESSA was designed to meet forensic crime scene needs as defined by the DoD's Military Criminal Investigation Organiza tion (MCIO) . SESSA is a very comprehensive toolki t with a considerable amount of database information managed through a Microsoft SQL (Structured Query Language) database engine, a Geographical Information System (GIS) engine that provides comprehensive m apping capabilities, as well as a an intuitive Graphical User Interface (GUI) . An electronic sketch pad module is included. The system also has the ability to efficiently generate necessary forms for forensic crime scene investigations (e.g., evidence submittal, laboratory requests, and scene notes). SESSA allows the user to capture photos on site, and can read and generate ba rcode labels that limit transcription errors. SESSA runs on PC computers running Windows 7, but is optimized for touch - screen tablet computers running Windows for ease of use at crime scenes and on SSE deployments. A prototype system for 3 - dimensional (3 D) mapping and measur e ments was also developed to complement the SESSA software. The mapping system employs a visual/ depth sensor that captures data to create 3D visualizations of an interior space and to make distance measurements with centimeter - level a ccuracy. Output of this 3D Model Builder module provides a virtual 3D %22walk - through%22 of a crime scene. The 3D mapping system is much less expensive and easier to use than competitive systems. This document covers the basic installation and operation of th e SESSA tool kit in order to give the user enough information to start using the tool kit . SESSA is currently a prototype system and this documentation covers the initial release of the tool kit . Funding for SESSA was provided by the Department of Defense (D oD), Assistant Secretary of Defense for Research and Engineering (ASD(R&E)) Rapid Fielding (RF) organization. The project was managed by the Defense Forensic Science Center (DFSC) , formerly known as the U.S. Army Criminal Investigation Laboratory (USACIL) . ACKNOWLEDGEMENTS The authors wish to acknowledge the funding support for the development of the Site Exploitation System for Situational Awareness (SESSA) toolkit from the Department of Defense (DoD), Assistant Secretary of Defense for Research and Engineering (ASD(R&E)) Rapid Fielding (RF) organization. The project was managed by the Defense Forensic Science Center (DFSC) , formerly known as the U.S. Army Criminal Investigation Laboratory (USACIL). Special thanks to Mr. Garold Warner, of DFSC, who served as the Project Manager. Individuals that worked on the design, functional attributes, algorithm development, system arc hitecture, and software programming include: Robert Knowlton, Brad Melton, Robert Anderson, and Wendy Amai.

  3. LEDSGP/Transportation Toolkit/Key Actions/Assess Opportunities | Open

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia: Energy Resources Jump to:46 - 429 ThrottledInformation KumasiTools < LEDSGP‎ | DIA-Toolkit

  4. X-CSIT: a toolkit for simulating 2D pixel detectors

    E-Print Network [OSTI]

    Joy, Ashley; Hauf, Steffen; Kuster, Markus; Rter, Tonn

    2015-01-01T23:59:59.000Z

    A new, modular toolkit for creating simulations of 2D X-ray pixel detectors, X-CSIT (X-ray Camera SImulation Toolkit), is being developed. The toolkit uses three sequential simulations of detector processes which model photon interactions, electron charge cloud spreading with a high charge density plasma model and common electronic components used in detector readout. In addition, because of the wide variety in pixel detector design, X-CSIT has been designed as a modular platform so that existing functions can be modified or additional functionality added if the specific design of a detector demands it. X-CSIT will be used to create simulations of the detectors at the European XFEL, including three bespoke 2D detectors: the Adaptive Gain Integrating Pixel Detector (AGIPD), Large Pixel Detector (LPD) and DePFET Sensor with Signal Compression (DSSC). These simulations will be used by the detector group at the European XFEL for detector characterisation and calibration. For this purpose, X-CSIT has been integrat...

  5. Using the Physics-based Rendering Toolkit for Medical Reconstruction

    E-Print Network [OSTI]

    Möller, Torsten

    emission computed tomography (SPECT), one of such imaging tech- niques, creates images of the radioactive@phas.ubc.ca, MIRG/UBC 1In fact, due to the limitations of the human perceptual system and the computational power Dagenais1), Anna Celler2), and Torsten M¨oller1) Abstract-- In this paper we cast the problem of tomography

  6. Energy Research Abstracts. [DOE abstract journal

    SciTech Connect (OSTI)

    Not Available

    1981-01-01T23:59:59.000Z

    Energy Research Abstracts (ERA) provides abstracting and indexing coverage of all scientific and technical reports, journal articles, conference papers and proceedings, books, patents, theses, and monographs originated by the US Department of Energy, its laboratories, energy centers, and contractors. ERA also covers other energy information prepared in report form by federal and state government organizations, foreign governments, and domestic and foreign universities and research organizations. ERA coverage of non-report literature is limited to that generated by Department of Energy activity. ERA is comprehensive in its subject scope, encompassing the DOE's research, development, demonstration, and technological programs resulting from its broad charter for energy sources, conservation, safety, environmental impacts, and regulation. Corporate, author, subject, report number, and contract number indexes are included. ERA is available on an exchange basis to universities, research intitutions, industrial firms, and publishers of scientific information. Federal, state, and municipal agencies concerned with energy development, conservation, and usage may obtain ERA free of charge. Inquiries should be directed to the Technical Information Center, P.O. Box 62, Oak Ridge, Tennessee 37830. ERA is available to the public on a subscription basis for 24 semimonthly issues including a semiannual index and an annual index. All citations announced in ERA exist as separate records in the DOE Energy Data Base.

  7. BEMS: Abstract book

    SciTech Connect (OSTI)

    NONE

    1995-06-01T23:59:59.000Z

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

  8. Computer Abstractions and Technology

    E-Print Network [OSTI]

    Huang, Chun-Hsi

    & wheel Supersedes roller-ball mechanical mouse #12;Chapter 1 -- Computer Abstractions and Technology to building sized Embedded computers Hidden as components of systems Stringent power of machine instructions executed per operation Processor and memory system Determine how fast instructions

  9. Abstracts of contributed papers

    SciTech Connect (OSTI)

    Not Available

    1994-08-01T23:59:59.000Z

    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. Air Pollution Teaching Toolkit Manual on how to teach Air Pollution to Students of Grade 79Air Pollution Teaching Toolkit Manual on how to teach air pollution to students of Grade 79 Prepared by

    E-Print Network [OSTI]

    Charina Cabrido; Gopal Raj Joshi

    Users may reproduce and use content of this Toolkit for noncommercial purposes by informing and giving due credit to aforementioned organizations and writers who hold copyright. No other uses are permitted without the express written permission of the aforementioned organizations. Layout Design and Printing by

  11. FROM THE BLOGOSPHERE Abstractions

    E-Print Network [OSTI]

    Wu, Zhigang

    .com/nautilus and see Peer-to-Peer for news for peer-reviewers and about peer review http://blogs.nature in semi- natural field conditions over 3 years was a lot of work. I was worried something might go wrongFROM THE BLOGOSPHERE Abstractions Visit Nautilus for regular news relevant to Nature authors http://blogs.nature

  12. Programme, Abstracts, Presentations & Proceedings

    E-Print Network [OSTI]

    Programme, Abstracts, Presentations & Proceedings 24th IAEA Fusion Energy Conference October 8. #12;QR Codes for Smartphone Conference App Scan relevant QR to download the conference app QR code for Android QR code for iPhone The Conference4me application provides a digital, mobile copy of the confer

  13. An expanded framework for the advanced computational testing and simulation toolkit

    SciTech Connect (OSTI)

    Marques, Osni A.; Drummond, Leroy A.

    2003-11-09T23:59:59.000Z

    The Advanced Computational Testing and Simulation (ACTS) Toolkit is a set of computational tools developed primarily at DOE laboratories and is aimed at simplifying the solution of common and important computational problems. The use of the tools reduces the development time for new codes and the tools provide functionality that might not otherwise be available. This document outlines an agenda for expanding the scope of the ACTS Project based on lessons learned from current activities. Highlights of this agenda include peer-reviewed certification of new tools; finding tools to solve problems that are not currently addressed by the Toolkit; working in collaboration with other software initiatives and DOE computer facilities; expanding outreach efforts; promoting interoperability, further development of the tools; and improving functionality of the ACTS Information Center, among other tasks. The ultimate goal is to make the ACTS tools more widely used and more effective in solving DOE's and the nation's scientific problems through the creation of a reliable software infrastructure for scientific computing.

  14. A toolkit for integrated deterministic and probabilistic assessment for hydrogen infrastructure.

    SciTech Connect (OSTI)

    Groth, Katrina; Tchouvelev, Andrei V.

    2014-03-01T23:59:59.000Z

    There has been increasing interest in using Quantitative Risk Assessment [QRA] to help improve the safety of hydrogen infrastructure and applications. Hydrogen infrastructure for transportation (e.g. fueling fuel cell vehicles) or stationary (e.g. back-up power) applications is a relatively new area for application of QRA vs. traditional industrial production and use, and as a result there are few tools designed to enable QRA for this emerging sector. There are few existing QRA tools containing models that have been developed and validated for use in small-scale hydrogen applications. However, in the past several years, there has been significant progress in developing and validating deterministic physical and engineering models for hydrogen dispersion, ignition, and flame behavior. In parallel, there has been progress in developing defensible probabilistic models for the occurrence of events such as hydrogen release and ignition. While models and data are available, using this information is difficult due to a lack of readily available tools for integrating deterministic and probabilistic components into a single analysis framework. This paper discusses the first steps in building an integrated toolkit for performing QRA on hydrogen transportation technologies and suggests directions for extending the toolkit.

  15. EBS Radionuclide Transport Abstraction

    SciTech Connect (OSTI)

    J. Prouty

    2006-07-14T23:59:59.000Z

    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.

  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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary)morphinanInformation Desert SouthwestTechnologies |November 2011A FirstEMSLAEMSL341AACEii ABSTRACT This4 -

  17. Energy Research Abstracts; (USA)

    SciTech Connect (OSTI)

    Rutkowski, R.W.; Henline, D.M. (eds.)

    1991-01-01T23:59:59.000Z

    Energy Research Abstracts (ERA) provides abstracting and indexing coverage of all scientific and technical reports and patent applications originated by the US Department of Energy, its laboratories, energy centers, and contractors, as well as theses and conference papers and proceedings issued by these organizations in report form. Audiovisual materials, computer media (magnetic tapes, diskettes, etc.), and engineering drawings are included in this definition. ERA also covers other energy information prepared in report form by federal and state government organizations, foreign governments, and domestic and foreign universities and research organizations, provided that the full text of the document has been received by OSTI. Foreign report information is obtained through the International Energy Agency's fourteen nation Energy Technology Data Exchange, the International Atomic Energy Agency's International Nuclear Information System, or nation-to-nation agreements. The purpose of this publication is to announce documents produced or obtained by DOE that are not so readily available as journal articles, books, or patents. ERA does not cover nonreport literature. The scope of ERA encompasses DOE's research, development, demonstration, and technology programs resulting from its broad charter for energy sources, supplies, safety, environmental impacts, and regulation.

  18. EBS Radionuclide Transport Abstraction

    SciTech Connect (OSTI)

    J.D. Schreiber

    2005-08-25T23:59:59.000Z

    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.

  19. Abstract adiabatic charge pumping

    E-Print Network [OSTI]

    A. Joye; V. Brosco; F. Hekking

    2010-02-05T23:59:59.000Z

    This paper is devoted to the analysis of an abstract formula describing quantum adiabatic charge pumping in a general context. We consider closed systems characterized by a slowly varying time-dependent Hamiltonian depending on an external parameter $\\alpha$. The current operator, defined as the derivative of the Hamiltonian with respect to $\\alpha$, once integrated over some time interval, gives rise to a charge pumped through the system over that time span. We determine the first two leading terms in the adiabatic parameter of this pumped charge under the usual gap hypothesis. In particular, in case the Hamiltonian is time periodic and has discrete non-degenerate spectrum, the charge pumped over a period is given to leading order by the derivative with respect to $\\alpha$ of the corresponding dynamical and geometric phases.

  20. Advancements in Wind Integration Study Data Modeling: The Wind Integration National Dataset (WIND) Toolkit; Preprint

    SciTech Connect (OSTI)

    Draxl, C.; Hodge, B. M.; Orwig, K.; Jones, W.; Searight, K.; Getman, D.; Harrold, S.; McCaa, J.; Cline, J.; Clark, C.

    2013-10-01T23:59:59.000Z

    Regional wind integration studies in the United States require detailed wind power output data at many locations to perform simulations of how the power system will operate under high-penetration scenarios. The wind data sets that serve as inputs into the study must realistically reflect the ramping characteristics, spatial and temporal correlations, and capacity factors of the simulated wind plants, as well as be time synchronized with available load profiles. The Wind Integration National Dataset (WIND) Toolkit described in this paper fulfills these requirements. A wind resource dataset, wind power production time series, and simulated forecasts from a numerical weather prediction model run on a nationwide 2-km grid at 5-min resolution will be made publicly available for more than 110,000 onshore and offshore wind power production sites.

  1. Abstraction of Drift Seepage

    SciTech Connect (OSTI)

    J.T. Birkholzer

    2004-11-01T23:59:59.000Z

    This model report documents the abstraction of drift seepage, conducted to provide seepage-relevant parameters and their probability distributions for use in Total System Performance Assessment for License Application (TSPA-LA). Drift seepage refers to the flow of liquid water into waste emplacement drifts. Water that seeps into drifts may contact waste packages and potentially mobilize radionuclides, and may result in advective transport of radionuclides through breached waste packages [''Risk Information to Support Prioritization of Performance Assessment Models'' (BSC 2003 [DIRS 168796], Section 3.3.2)]. The unsaturated rock layers overlying and hosting the repository form a natural barrier that reduces the amount of water entering emplacement drifts by natural subsurface processes. For example, drift seepage is limited by the capillary barrier forming at the drift crown, which decreases or even eliminates water flow from the unsaturated fractured rock into the drift. During the first few hundred years after waste emplacement, when above-boiling rock temperatures will develop as a result of heat generated by the decay of the radioactive waste, vaporization of percolation water is an additional factor limiting seepage. Estimating the effectiveness of these natural barrier capabilities and predicting the amount of seepage into drifts is an important aspect of assessing the performance of the repository. The TSPA-LA therefore includes a seepage component that calculates the amount of seepage into drifts [''Total System Performance Assessment (TSPA) Model/Analysis for the License Application'' (BSC 2004 [DIRS 168504], Section 6.3.3.1)]. The TSPA-LA calculation is performed with a probabilistic approach that accounts for the spatial and temporal variability and inherent uncertainty of seepage-relevant properties and processes. Results are used for subsequent TSPA-LA components that may handle, for example, waste package corrosion or radionuclide transport.

  2. Memory abstractions for parallel programming

    E-Print Network [OSTI]

    Lee, I-Ting Angelina

    2012-01-01T23:59:59.000Z

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

  3. YT: A Multi-Code Analysis Toolkit for Astrophysical Simulation Data

    SciTech Connect (OSTI)

    Turk, Matthew J.; /San Diego, CASS; Smith, Britton D.; /Michigan State U.; Oishi, Jeffrey S.; /KIPAC, Menlo Park /Stanford U., Phys. Dept.; Skory, Stephen; Skillman, Samuel W.; /Colorado U., CASA; Abel, Tom; /KIPAC, Menlo Park /Stanford U., Phys. Dept.; Norman, Michael L.; /aff San Diego, CASS

    2011-06-23T23:59:59.000Z

    The analysis of complex multiphysics astrophysical simulations presents a unique and rapidly growing set of challenges: reproducibility, parallelization, and vast increases in data size and complexity chief among them. In order to meet these challenges, and in order to open up new avenues for collaboration between users of multiple simulation platforms, we present yt (available at http://yt.enzotools.org/) an open source, community-developed astrophysical analysis and visualization toolkit. Analysis and visualization with yt are oriented around physically relevant quantities rather than quantities native to astrophysical simulation codes. While originally designed for handling Enzo's structure adaptive mesh refinement data, yt has been extended to work with several different simulation methods and simulation codes including Orion, RAMSES, and FLASH. We report on its methods for reading, handling, and visualizing data, including projections, multivariate volume rendering, multi-dimensional histograms, halo finding, light cone generation, and topologically connected isocontour identification. Furthermore, we discuss the underlying algorithms yt uses for processing and visualizing data, and its mechanisms for parallelization of analysis tasks.

  4. Abstracts

    E-Print Network [OSTI]

    2012-05-26T23:59:59.000Z

    cus on the classification of ancient solutions in the curve shortening flow and the Ricci flow on ... has applications in heat control at the boundary of a domain.

  5. ABSTRACT

    E-Print Network [OSTI]

    Manfred Mauntz; Jrgen Gegner

    A new online diagnostics system for the continuous condition monitoring of lubricating oils in industrial gearboxes is presented. Characteristic features of emerging component damage, such as wear, contamination or chemical aging, are identified in an early stage. The OilQSens sensor effectively controls the proper operation conditions of bearings and cogwheels in gears. Also, the condition of insulating oils in transformers can be monitored. The online diagnostics system measures components of the specific complex impedance of oils. For instance, metal abrasion due to wear debris, broken oil molecules, forming acids or oil soaps result in an increase of the electrical conductivity, which directly

  6. ABSTRACT

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

    Conference on Building Commissioning Whitepaper on: Commissioning of Combined Heat and Power Systems Information was compiled with support from the U. S. Department of Energy and...

  7. Abstract

    Office of Scientific and Technical Information (OSTI)

    One such site is SASOL in South Africa, which uses ATRs licensed by Lurgi out of Germany. As stated above, KBR-designed ATRs have been installed in ammonia plants in Kitimat,...

  8. Abstracts

    E-Print Network [OSTI]

    2013-11-13T23:59:59.000Z

    Nov 16, 2013 ... Moreover, various stability results for these waves will be addressed, .... Lewis and coauthors when the measure is p-harmonic and also for p...

  9. Abstract

    E-Print Network [OSTI]

    2008-07-23T23:59:59.000Z

    excite seismic body waves in the earth. One detects these waves at seismic stations distributed over the earth's surface. Wave-equation tomography is derived...

  10. abstract

    E-Print Network [OSTI]

    1910-00-82T23:59:59.000Z

    this environment. To find and ... offers researchers an environment where the entire problem ... ware architecture for the FFT, Proceedings of ICASSP. 1998, vol...

  11. Abstracts

    E-Print Network [OSTI]

    2014-10-27T23:59:59.000Z

    Nov 1, 2014 ... The purpose of Wabash Seminar talks is to present surveys of interest to all analysts, including graduate students and scholars working in...

  12. Abstract:

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc Documentation RUCProductstwrmrAre the Effects ofAbout ScienceAbout OakMeasurement of the ν

  13. Abstract

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth (AOD)ProductssondeadjustsondeadjustAbout the Building Technologies Office About theofAbout SHAREHands on

  14. Abstract

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth (AOD)ProductssondeadjustsondeadjustAbout the Building Technologies Office About theofAbout SHAREHands onThis

  15. Abstract:

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth (AOD)ProductssondeadjustsondeadjustAbout the Building Technologies Office About theofAbout SHAREHandsJohn

  16. Abstract:

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth (AOD)ProductssondeadjustsondeadjustAbout the Building Technologies Office About theofAbout SHAREHandsJohnNew

  17. ABSTRACT

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLasDelivered‰PNGExperience4AJ01) (See95TI07) (See4AJ01)59AJ76)74AJ01)

  18. ABSTRACT

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLasDelivered‰PNGExperience4AJ01) (See95TI07) (See4AJ01)59AJ76)74AJ01)BROWNE, MICHAEL CHARLES.

  19. We will present an overview of Oak Ridge Bio-surveillance Toolkit (ORBiT), which we have developed specifically to address data analytic challenges in the realm of public health surveillance. The digitization of health related information

    E-Print Network [OSTI]

    Mukherjee, Amar

    We will present an overview of Oak Ridge Bio-surveillance Toolkit (ORBiT), which we have developed research scientist in the Computational Data Analytics Group at the Oak Ridge National Labor- atory. Her and machine learning systems, and R&D of ORBiT, the Oak Ridge Biosurveillance Toolkit. Prior to joining ORNL

  20. Mechanical Engineering Department technical abstracts

    SciTech Connect (OSTI)

    Denney, R.M. (ed.)

    1982-07-01T23:59:59.000Z

    The Mechanical Engineering Department publishes listings of technical abstracts twice a year to inform readers of the broad range of technical activities in the Department, and to promote an exchange of ideas. Details of the work covered by an abstract may be obtained by contacting the author(s). Overall information about current activities of each of the Department's seven divisions precedes the technical abstracts.

  1. ECOAS 2011 Titles and Abstracts

    E-Print Network [OSTI]

    2011-10-11T23:59:59.000Z

    sociated to other families of representations, according to the so-called .... Abstract: We use the technology of linking algebras and linking groupoids to show.

  2. Clara Aldana (Nantes) Abstract: TBA

    E-Print Network [OSTI]

    Baer, Christian

    Program Clara Aldana (Nantes) TBA Abstract: TBA Ubertino Battisti (Torino) "Fourier integral operators on manifolds with boundary and index of symplectomorphisms on manifolds with boundary" Abstract using Egorov Theorem, that U is always Fredholm and set i() = i(U ). In a joint work with S. Coriasco

  3. Technical abstracts: Mechanical engineering, 1990

    SciTech Connect (OSTI)

    Broesius, J.Y. (comp.)

    1991-03-01T23:59:59.000Z

    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.

  4. Abstract Algebra I Course Page

    E-Print Network [OSTI]

    Abstract Algebra I. MW 4:35-5:55, Skiles 246. OFFICE HOURS: Tues 11-12 or by appointment. Textbook: Topics in Algebra by I.M. Herstein. Topics covered:.

  5. HCIL Technical Report No. 99-07 (May 1999); http://www.cs.umd.edu/hcil Jazz: An Extensible 2D+Zooming Graphics Toolkit in Java

    E-Print Network [OSTI]

    Golbeck, Jennifer

    of energy has gone into building tools that support 3D graphics. This is largely due to the complexity of 3D+Zooming Graphics Toolkit in Java Benjamin B. Bederson, Britt McAlister Human-Computer Interaction Lab, Institute that supports applications using zooming object-oriented 2D graphics. It is built entirely in Java using Java2D

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

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

  8. Resources Abstracts Input Transaction Form

    E-Print Network [OSTI]

    District of Columbia, University of the

    #12;Resources Abstracts Input Transaction Form 4. Title 5. Report Date 6.Urban Aquaculture Covered The University of the District of Columbia 12. Sponsoring Organization Water Resources Research of the rainbow trout (Salmo gairdneri) in a closed recycling water system in an urban environment is described

  9. CAVERNsoft G2: A Toolkit for High Performance Tele-Immersive Collaboration

    E-Print Network [OSTI]

    Johnson, Andrew

    Chicago, IL 60607, USA 1 312 996 3002 cavern@evl.uic.edu ABSTRACT This paper describes the design, networking, database management, collaboration and high performance computing. CAVERN, the CAVE Research

  10. Educating for the Energy Sector gst Valfells

    E-Print Network [OSTI]

    Karlsson, Brynjar

    an idea about the physical basis for uncertainty of harnessing geothermal power. · Policy makers should Atkins at the Stanford Geothermal Workshop 2012 #12;Continuing education · Classical technical mechanics? · Specialist course series. ­ Niche fields. ­ A task for the geothermal community. #12;

  11. A Guide to the Petroleum Abstracts

    E-Print Network [OSTI]

    Reynolds, Albert C.

    Petroleum Abstracts A Guide to the Petroleum Abstracts Information Service Serving the Exploration Conferences Covered #12;Petroleum Abstracts . . . your global information partner. Statement of Purpose Petroleum Abstracts is an abstracting and indexing service conducted as a not-for-profit operation

  12. A Toolkit for Real-time Analysis of Dynamic Large-Scale Networks

    E-Print Network [OSTI]

    Kuipers, Fernando A.

    contains algorithms to compute metrics of static snapshots of the dynamic graph. I. INTRODUCTION Many that have played on the same team [8], and more abstract things such as functional brain networks where possible to process them in a single machine. Often, the networks are not even stored in a single location

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

  14. The Abstract Domain of Segmented Ranking Functions

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    function by abstract in- terpretation. We build our work on their proposed general framework, and we designThe Abstract Domain of Segmented Ranking Functions Caterina Urban ´Ecole Normale Sup´erieure - CNRS - INRIA, Paris, France urban@di.ens.fr Abstract. We present a parameterized abstract domain for proving

  15. Abstraction Layers for Scalable Microfluidic Biocomputers

    E-Print Network [OSTI]

    Amarasinghe, Saman

    Abstraction Layers for Scalable Microfluidic Biocomputers William Thies1 , John Paul Urbanski2 Hatsopoulos Microfluids Laboratory Massachusetts Institute of Technology {thies, urbanski, thorsen, saman}@mit.edu Abstract. Microfluidic devices are emerging as an attractive technol- ogy for automatically orchestrating

  16. abstract newtonian frameworks and their applications

    E-Print Network [OSTI]

    2012-12-05T23:59:59.000Z

    Key words: generalized equation, abstract Newton scheme, augmented Lagrangian, multiplier me- thod, local ... Specifically, in this work we concentrate on.

  17. Stone Age Distributed Computing (Extended Abstract)

    E-Print Network [OSTI]

    on the first page. Copyrights for components of this work owned by others than ACM must be honored. AbstractingStone Age Distributed Computing (Extended Abstract) Yuval Emek Distributed Computing Group ETH wattenhofer@ethz.ch ABSTRACT A new model that depicts a network of randomized finite state machines operating

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

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

    E-Print Network [OSTI]

    Ayala-Rincn, Mauricio

    Automation of Termination: Abstracting CCG through MWG Automation of Termination: Abstracting of Termination: Abstracting CCG through MWG Motivation Termination analysis is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated

  20. Analysis of complex networks using aggressive abstraction.

    SciTech Connect (OSTI)

    Colbaugh, Richard; Glass, Kristin. [New Mexico Institute of Mining and Technology, Socorro, NM; Willard, Gerald [Department of Defense, Ft. Meade, MD

    2008-10-01T23:59:59.000Z

    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.

  1. Virtual Sensors: Abstracting Data from Physical Sensors

    E-Print Network [OSTI]

    Julien, Christine

    Virtual 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: Abstracting Data from Physical Sensors Sanem Kabadayi, Adam Pridgen, and Christine Julien The Center

  2. Semi-Autonomous Intersection Management (Extended Abstract)

    E-Print Network [OSTI]

    Au, Tsz-Chiu

    Semi-Autonomous Intersection Management (Extended Abstract) Tsz-Chiu Au School of Electrical@cs.utexas.edu ABSTRACT Autonomous Intersection Management (AIM) is a reservation-based intersection control protocol. AIM was designed for the time when all, or most, of the vehicles on the road are fully autonomous

  3. Call for Abstracts-- 2014 National Environmental Justice Conference and Training Program, Deadline for Submission of Abstracts

    Broader source: Energy.gov [DOE]

    Course Title:Call for Abstracts--2014 National Environmental Justice Conference and Training Program

  4. 06241 Abstracts Collection Human Motion -Understanding, Modeling,

    E-Print Network [OSTI]

    06241 Abstracts Collection Human Motion - Understanding, Modeling, Capture and Animation. 13th Summary Human Motion - Understanding, Modeling, Capture and Animation. 13th Workshop Reinhard Klette 06241 Human Motion - Understanding, Modeling, Capture and Animation. 13th Workshop "Theoretical

  5. Pulmonary toxicology of respirable particles. [Lead abstract

    SciTech Connect (OSTI)

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

    1980-09-01T23:59:59.000Z

    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)

  6. Kansas Statistical Abstract 2005 (40th Edition)

    E-Print Network [OSTI]

    Policy Research Institute

    2008-10-21T23:59:59.000Z

    The Kansas Statistical Abstract contains state, county, and city-level data for Kansas on population, vital statistics and health, housing, elections, education, business and manufacturing, exports, employment, income, ...

  7. Kansas Statistical Abstract 2007 (42nd Edition)

    E-Print Network [OSTI]

    Policy Research Institute

    2008-10-21T23:59:59.000Z

    The Kansas Statistical Abstract contains state, county, and city-level data for Kansas on agriculture, banking and finance, business and exports, climate, communications and information, crime, education, employment and ...

  8. Kansas Statistical Abstract 2001 (36th Edition)

    E-Print Network [OSTI]

    2002-12-01T23:59:59.000Z

    The Kansas Statistical Abstract contains state, county, and city-level data for Kansas on population, vital statistics and health, housing, elections, education, business and manufacturing, exports, employment, income, ...

  9. Kansas Statistical Abstract 2008 (43rd Edition)

    E-Print Network [OSTI]

    Policy Research Institute

    2009-09-21T23:59:59.000Z

    The Kansas Statistical Abstract contains state, county, and city-level data for Kansas on agriculture, banking and finance, business and exports, climate, communications and information, crime, education, employment and ...

  10. Kansas Statistical Abstract 2009 (44th Edition)

    E-Print Network [OSTI]

    Policy Research Institute

    2011-03-02T23:59:59.000Z

    The Kansas Statistical Abstract contains state, county, and city-level data for Kansas on agriculture, banking and finance, business and exports, climate, communications and information, crime, education, employment and ...

  11. Kansas Statistical Abstract 2004 (39th Edition)

    E-Print Network [OSTI]

    Policy Research Institute

    2006-01-31T23:59:59.000Z

    The Kansas Statistical Abstract contains state, county, and city-level data for Kansas on population, vital statistics and health, housing, elections, education, business and manufacturing, exports, employment, income, ...

  12. Kansas Statistical Abstract 2003 (38th Edition)

    E-Print Network [OSTI]

    Policy Research Institute

    2004-09-01T23:59:59.000Z

    The Kansas Statistical Abstract contains state, county, and city-level data for Kansas on population, vital statistics and health, housing, elections, education, business and manufacturing, exports, employment, income, ...

  13. Kansas Statistical Abstract 2012 (47th Edition)

    E-Print Network [OSTI]

    Institute for Policy & Social Research

    2014-05-27T23:59:59.000Z

    The Kansas Statistical Abstract 2012, contains the latest available state, county, and city-level data for Kansas on population, vital statistics and health, housing, education, business and manufacturing, exports, employment, ...

  14. Kansas Statistical Abstract 2002 (37th Edition)

    E-Print Network [OSTI]

    2003-09-01T23:59:59.000Z

    The Kansas Statistical Abstract contains state, county, and city-level data for Kansas on population, vital statistics and health, housing, elections, education, business and manufacturing, exports, employment, income, ...

  15. Sandia National Laboratories: Online Abstracts and Reports

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

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

  16. Earth Sciences Division collected abstracts: 1980

    SciTech Connect (OSTI)

    Henry, A.L.; Hornady, B.F. (eds.)

    1981-10-15T23:59:59.000Z

    This report is a compilation of abstracts of papers, reports, and talks presented during 1980 at national and international meetings by members of the Earth Sciences Division, Lawrence Livermore National Laboratory. The arrangement is alphabetical (by author). For a given report, a bibliographic reference appears under the name of each coauthor, but the abstract itself is given only under the name of the first author (indicated in capital letters) or the first Earth Sciences Division author.

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

  18. Solar Site Survey Toolkit

    Broader source: Energy.gov [DOE]

    After a couple outings, a principal technologist at Sandia National Laboratories saw a need for a travel kit that would have the necessary tools to make the task of site surveys more manageable and safer. They have had great success using the kit in the field already.

  19. Alternative Fuel Implementation Toolkit

    E-Print Network [OSTI]

    ? Alternative Fuels, the Smart Choice: Alternative fuels ­ biodiesel, electricity, ethanol (E85), natural gas...........................................................................................................................................................................6 Trends and Fleet Examples: Alternative Fuel Decision Table

  20. ppt-toolkit.com

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear SecurityTensile Strain Switched5 Industrial Carbon CaptureFY08 Joint JOULECorrective Actions

  1. Residential Marketing Toolkit

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the1 -the Mid-Infrared atEffectquestionnairesU.S. EnergyEnergy

  2. BioenergizeME Toolkit

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up fromDepartmentTie Ltd: ScopeDepartment1, 2011 DRAFTofBio-OilEnergyCombustion

  3. Commercial Marketing Toolkit

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation Proposed New SubstationClean CommunitiesEFRCInformation

  4. Agricultural Marketing Toolkit

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth (AOD)ProductssondeadjustsondeadjustAbout the BuildingInnovation 2011Oversupply ManagementAgricultural

  5. Bounds Analysis by Abstract Interpretation Xiaolei Qian Allen Goldberg

    E-Print Network [OSTI]

    Goldberg, Allen

    representations fo* *r these abstract types. In this work an abstract context, i.e. model, consists * Bounds Analysis by Abstract@csl.sri.com goldberg@kestrel.edu Abstract Abstract interpretation

  6. Earth Sciences Division collected abstracts: 1979

    SciTech Connect (OSTI)

    Henry, A.L.; Schwartz, L.L.

    1980-04-30T23:59:59.000Z

    This report is a compilation of abstracts of papers, internal reports, and talks presented during 1979 at national and international meetings by members of the Earth Sciences Division, Lawrence Livermore Laboratory. The arrangement is alphabetical (by author). For a given report, a bibliographic reference appears under the name of each coauthor, but the abstract iself is given only under the name of the first author or the first Earth Sciences Division author. A topical index at the end of the report provides useful cross references, while indicating major areas of research interest in the Earth Sciences Division.

  7. Natural radiation environment III. [Lead Abstract

    SciTech Connect (OSTI)

    Gesell, T.F.; Lowder, W.M. (eds.)

    1980-01-01T23:59:59.000Z

    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)

  8. Book of Abstracts The Center for Nanoscience &

    E-Print Network [OSTI]

    Lifshitz, Ron

    Book of Abstracts 5th Workshop The Center for Nanoscience & Nanotechnology Tel Aviv University: 5TH Workshop The Center for Nanoscience & Nanotechnology Tel Aviv University February 22-24, 2009 Ha: ... " S.E.C. SCIENTIFIC EQUIPMENT CO. LTD. 5TH Workshop The Center for Nanoscience & Nanotechnology Tel

  9. Abstract AndParallel Machines Nachum Dershowitz

    E-Print Network [OSTI]

    Dershowitz, Nachum

    Abstract And­Parallel Machines Nachum Dershowitz University of Illinois Urbana, IL 61801 U are introduced. The first of them, the And­ Parallel Turing Machine, can be viewed as a generalization of the deterministic Turing machine in which the infinite tape is replaced by an infinite tree­like tape on which

  10. Equilibrium Pricing with Positive Externalities (Extended Abstract)

    E-Print Network [OSTI]

    Immorlica, Nicole

    a product in the presence of historical externalities? A low introductory price may attract early adoptersEquilibrium Pricing with Positive Externalities (Extended Abstract) Nima Anari1 , Shayan Ehsani1 an item to strategic buyers in the pres- ence of positive historical externalities, where the value

  11. Colorado Natural Heritage Program 2003 Project Abstracts

    E-Print Network [OSTI]

    Colorado Natural Heritage Program 2003 Project Abstracts #12;Cover photo: A CNHP researcher collects freshwater specimens (Pisidium spp.) at Long Slough Reservoir on the Grand Mesa of Colorado's West of Colorado's biodiversity, what efforts are underway to maintain it, and why more biological information

  12. Abstract explanations in science Christopher Pincock

    E-Print Network [OSTI]

    Pincock, Chris

    Introduction 2 2 A Case 3 3 Abstract and Causal Explanations 9 British Journal for the Philosophy of Science 22 1 Introduction In the philosophy of science discussions of explanation tend to assume that most of explanation.1 The risk of this approach is that it may turn out that explanations are not all of the same kind

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

  14. Managed Data: Modular Strategies for Data Abstraction

    E-Print Network [OSTI]

    Cook, William R.

    these mechanisms to define specific kinds of data. Managed Data allows program- mers to take control of many management mechanism, not properties of individ- ual data types. It is possible to define such featuresManaged Data: Modular Strategies for Data Abstraction Alex Loh University of Texas at Austin

  15. 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-15T23:59:59.000Z

    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.

  16. SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

    SciTech Connect (OSTI)

    B.W. ARNOLD

    2004-10-27T23:59:59.000Z

    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.

  17. AbstractAbstract Vendors of high performance computers are converging towards an

    E-Print Network [OSTI]

    AbstractAbstract Vendors of high performance computers are converging towards an architecture based full advantage of the available computing power, in order to achieve the best scalability.This new of computer time #12;Poloidal Grid: unstructured meshPoloidal Grid: unstructured mesh · Gives uniform

  18. Current Abstracts Nuclear Reactors and Technology

    SciTech Connect (OSTI)

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

    1993-01-01T23:59:59.000Z

    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.

  19. DSNF AND OTHER WASTE FORM DEGRADATION ABSTRACTION

    SciTech Connect (OSTI)

    T.A. Thornton

    2000-12-20T23:59:59.000Z

    The purpose of this analysis/model report (AMR) is to select and/or abstract conservative degradation models for DOE-(US. Department of Energy) owned spent nuclear fuel (DSNF) and the immobilized ceramic plutonium (Pu) disposition waste forms for application in the proposed monitored geologic repository (MGR) postclosure Total System Performance Assessment (TSPA). Application of the degradation models abstracted herein for purposes other than TSPA should take into consideration the fact that they are, in general, very conservative. Using these models, the forward reaction rate for the mobilization of radionuclides, as solutes or colloids, away from the waste fondwater interface by contact with repository groundwater can then be calculated. This forward reaction rate generally consists of the dissolution reaction at the surface of spent nuclear fuel (SNF) in contact with water, but the degradation models, in some cases, may also include and account for the physical disintegration of the SNF matrix. The models do not, however, account for retardation, precipitation, or inhibition of the migration of the mobilized radionuclides in the engineered barrier system (EBS). These models are based on the assumption that all components of the DSNF waste form are released congruently with the degradation of the matrix.

  20. 2013 LIST OF PUBLICATIONS REVIEWED BY PETROLEUM ABSTRACTS Petroleum Abstracts reviews the following publications on a regular basis and selects material for indexing and abstracting according to

    E-Print Network [OSTI]

    Reynolds, Albert C.

    2013 LIST OF PUBLICATIONS REVIEWED BY PETROLEUM ABSTRACTS Petroleum Abstracts reviews the following was used by Petroleum Abstracts through 2004. Beginning with 2005 issues, the Complete Title is used. TABLE OF CONTENTS SERVICE As a current-awareness service, Petroleum Abstracts Document Delivery Service (PADDS

  1. Verification of Parallel Garbage Collection by Abstract Model Checking

    E-Print Network [OSTI]

    Hagiya, Masami

    have a finite state space provided that the abstraction mapping is powerful. M¨uller and Nipkow's work working on abstract model checking. In Section 4, the abstractions we defined on garbage #12; collectionVerification of Parallel Garbage Collection by Abstract Model Checking (Extended Abstract) Masami

  2. DOE NABIR PI Workshop: Abstracts 2002

    SciTech Connect (OSTI)

    Hawkes (Editor), Dan

    2002-01-09T23:59:59.000Z

    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 place 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 is implemented through four interrelated scientific research elements (Biogeochemistry, Biomolecular Science and Engineering, Biotransformation, and Community Dynamics/Microbial Ecology); and through an element called Bioremediation and its Societal Implications and Concerns (BASIC), which addresses societal issues and potential concerns of stakeholders. The material presented at this year's workshop focuses on approximately 60 research projects funded in FY 2000-2002 by DOE's Office of Biological and Environmental Research (BER). Abstracts of NABIR research projects are provided in this book.

  3. DOE-NABIR PI Workshop: Abstracts 2003

    SciTech Connect (OSTI)

    Various

    2003-01-28T23:59:59.000Z

    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.

  4. Selected Abstracts & Bibliography of International Oil Spill Research, through 1998

    E-Print Network [OSTI]

    Louisiana Applied Oil Spill Research & Development Program Electronic Bibliography

    1998-01-01T23:59:59.000Z

    Quarterly. 7(3) Energy Research Abstracts. 1987. Spills-of-Energy Daily. 18:139. Energy Research Abstracts. 1987. FieldResponse. 96pp. ERA (Energy Research Abstracts), ETD (Energy

  5. Process Abstraction in the Verification of Temporal Properties

    E-Print Network [OSTI]

    Bruns, Glen R

    as abstraction operations. We show that an abstract process satisfies a property expressed as a temporal logic formula just if the original process satisfies a transformed formula. We define various abstraction operators and illustrate their use in verification...

  6. ABSTRACT: Bioenergy Harvesting Technologies to Supply Crop Residues...

    Energy Savers [EERE]

    ABSTRACT: Bioenergy Harvesting Technologies to Supply Crop Residues In a Densified Large Square Bale Format ABSTRACT: Bioenergy Harvesting Technologies to Supply Crop Residues In a...

  7. Asymptotic almost-equivalence of abstract evolution systems ?

    E-Print Network [OSTI]

    2008-05-13T23:59:59.000Z

    May 13, 2008 ... Abstract. We study the asymptotic behavior of almost-orbits of abstract .... In that sense our work is different but complementary to [12,11].

  8. abstracting code specific: Topics by E-print Network

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

    Poster: 4195B656 Abstract Title: Specification of Multiple Ganglion Cell Stimulation Codes for Engineering Websites Summary: ProgramPoster: 4195B656 Abstract Title:...

  9. Clad Degradation- Summary and Abstraction for LA

    SciTech Connect (OSTI)

    D. Stahl

    2004-10-01T23:59:59.000Z

    The purpose of this model report is to develop the summary cladding degradation abstraction that will be used in the Total System Performance Assessment for the License Application (TSPA-LA). Most civilian commercial nuclear fuel is encased in Zircaloy cladding. The model addressed in this report is intended to describe the postulated condition of commercial Zircaloy-clad fuel as a function of postclosure time after it is placed in the repository. Earlier total system performance assessments analyzed the waste form as exposed UO{sub 2}, which was available for degradation at the intrinsic dissolution rate. Water in the waste package quickly became saturated with many of the radionuclides, limiting their release rate. In the total system performance assessments for the Viability Assessment and the Site Recommendation, cladding was analyzed as part of the waste form, limiting the amount of fuel available at any time for degradation. The current model is divided into two stages. The first considers predisposal rod failures (most of which occur during reactor operation and associated activities) and postdisposal mechanical failure (from static loading of rocks) as mechanisms for perforating the cladding. Other fuel failure mechanisms including those caused by handling or transportation have been screened out (excluded) or are treated elsewhere. All stainless-steel-clad fuel, which makes up a small percentage of the overall amount of fuel to be stored, is modeled as failed upon placement in the waste packages. The second stage of the degradation model is the splitting of the cladding from the reaction of water or moist air and UO{sub 2}. The splitting has been observed to be rapid in comparison to the total system performance assessment time steps and is modeled to be instantaneous. After the cladding splits, the rind buildup inside the cladding widens the split, increasing the diffusion area from the fuel rind to the waste package interior. This model report summarizes the component models, developed for the two stages noted above, that are used as inputs to TSPA-LA. The model concludes that less than two percent of the fuel, including all of the stainless-steel clad fuel, received at the repository is failed (perforated) upon receipt at the repository. All failed fuel is assumed to axially split upon waste package failure exposing the fuel to oxidation from the in-package environment. TSPA-LA then calculates the release of radionuclides from the exposed volume of oxidized fuel.

  10. DSNF AND OTHER WASTE FORM DEGRADATION ABSTRACTION

    SciTech Connect (OSTI)

    J. CUNNANE

    2004-11-19T23:59:59.000Z

    Several hundred distinct types of DOE-owned spent nuclear fuel (DSNF) may potentially be disposed in the Yucca Mountain repository. These fuel types represent many more types than can be viably individually examined for their effect on the Total System Performance Assessment for the License Application (TSPA-LA). Additionally, for most of these fuel types, there is no known direct experimental test data for the degradation and dissolution of the waste form in repository groundwaters. The approach used in the TSPA-LA model is, therefore, to assess available information on each of 11 groups of DSNF, and to identify a model that can be used in the TSPA-LA model without differentiating between individual codisposal waste packages containing different DSNF types. The purpose of this report is to examine the available data and information concerning the dissolution kinetics of DSNF matrices for the purpose of abstracting a degradation model suitable for use in describing degradation of the DSNF inventory in the Total System Performance Assessment for the License Application. The data and information and associated degradation models were examined for the following types of DSNF: Group 1--Naval spent nuclear fuel; Group 2--Plutonium/uranium alloy (Fermi 1 SNF); Group 3--Plutonium/uranium carbide (Fast Flux Test Facility-Test Fuel Assembly SNF); Group 4--Mixed oxide and plutonium oxide (Fast Flux Test Facility-Demonstration Fuel Assembly/Fast Flux Test Facility-Test Demonstration Fuel Assembly SNF); Group 5--Thorium/uranium carbide (Fort St. Vrain SNF); Group 6--Thorium/uranium oxide (Shippingport light water breeder reactor SNF); Group 7--Uranium metal (N Reactor SNF); Group 8--Uranium oxide (Three Mile Island-2 core debris); Group 9--Aluminum-based SNF (Foreign Research Reactor SNF); Group 10--Miscellaneous Fuel; and Group 11--Uranium-zirconium hydride (Training Research Isotopes-General Atomics SNF). The analyses contained in this document provide an ''upper-limit'' (i.e., instantaneous degradation) model for use in the TSPA-LA model. ''Best-estimate'' models for the degradation of the fuels in each of the DSNF groups are discussed to provide a basis for selecting the upper limit model for use in the TSPA-LA model. The instantaneous degradation model is chosen for use in the TSPA-LA model because the available information shows that the degradation rate of the N Reactor fuel (which constitutes most of the DSNF inventory) is very high and because the available qualified information is insufficient to justify use of a less conservative approach. The commercial spent nuclear fuel model will be used for naval spent nuclear fuel because it has been shown to be conservative for representing naval spent nuclear fuel.

  11. Abstract--GATE, the Geant4 Application for Tomographic Emission, is a simulation platform developed for PET and

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    for PET and SPECT. It combines a powerful simulation core (the Geant4 toolkit) and a large range-animal PET scanner configuration. Simulated resolution curves and reconstructed images are shown for rotating PET scanners. Lastly, we present comparisons of simulated point-spread functions and spectra

  12. Formal Proof of Abstract Model Checking of Concurrent Garbage Collection

    E-Print Network [OSTI]

    Hagiya, Masami

    , the correctness of abstraction is not always easy to verify. In our pre- vious work, we applied abstract model with that of proving the concrete system from scratch (not by abstract model checking). In our previous work [6], whichFormal Proof of Abstract Model Checking of Concurrent Garbage Collection Koichi Takahashi Masami

  13. Abstract machines for game semantics, revisited Olle Fredriksson

    E-Print Network [OSTI]

    Ghica, Dan

    : In this paper we are developing the line of work on PAM/IAM/JAM in order to define new abstract machines whichAbstract machines for game semantics, revisited Olle Fredriksson University of Birmingham, UK Dan R. Ghica University of Birmingham, UK Abstract--We define new abstract machines for game seman- tics which

  14. Directions to Petroleum Abstracts Petroleum Abstracts' main office is located in the basement of John Rogers Hall (JRH)

    E-Print Network [OSTI]

    Reynolds, Albert C.

    Directions to Petroleum Abstracts Petroleum Abstracts' main office is located in the basement approximately 2 blocks West of South Harvard Avenue. Petroleum Abstracts' office (Room 1520) is on the basement wish to visit Petroleum Abstracts and they will contact us to direct you to our office in the basement

  15. Bundle: A Group Based Programming Abstraction for Cyber Physical Systems

    E-Print Network [OSTI]

    Stankovic, John A.

    ). Similar to other programming abstractions, a Bun- dle creates logical collections of sensing devices on feedback from the current members. The Bun- dle abstraction is implemented in Java which ensures ease

  16. On the Hardness of Optimal Auctions (Extended Abstract)

    E-Print Network [OSTI]

    Saberi, Amin

    On the Hardness of Optimal Auctions (Extended Abstract) Amir Ronen #3; Amin Saberi y Abstract We Berkeley. Email: saberi@cc.gatech.edu. problem which is perhaps the most basic in optimal auction design

  17. Policy space abstraction for a lifelong learning agent

    E-Print Network [OSTI]

    Hawasly, Majd

    2014-11-27T23:59:59.000Z

    This thesis is concerned with policy space abstractions that concisely encode alternative ways of making decisions; dealing with discovery, learning, adaptation and use of these abstractions. This work is motivated by ...

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

    SciTech Connect (OSTI)

    None

    1980-06-01T23:59:59.000Z

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

  19. A dose point kernel database using GATE Monte Carlo simulation toolkit for nuclear medicine applications: Comparison with other Monte Carlo codes

    SciTech Connect (OSTI)

    Papadimitroulas, Panagiotis; Loudos, George; Nikiforidis, George C.; Kagadis, George C. [Department of Medical Physics, School of Medicine, University of Patras, Rion, GR 265 04 (Greece) and Department of Medical Instruments Technology, Technological Educational institute of Athens, Ag. Spyridonos Street, Egaleo GR 122 10, Athens (Greece); Department of Medical Instruments Technology, Technological Educational institute of Athens, Ag. Spyridonos Street, Egaleo GR 122 10, Athens (Greece); Department of Medical Physics, School of Medicine, University of Patras, Rion, GR 265 04 (Greece)

    2012-08-15T23:59:59.000Z

    Purpose: GATE is a Monte Carlo simulation toolkit based on the Geant4 package, widely used for many medical physics applications, including SPECT and PET image simulation and more recently CT image simulation and patient dosimetry. The purpose of the current study was to calculate dose point kernels (DPKs) using GATE, compare them against reference data, and finally produce a complete dataset of the total DPKs for the most commonly used radionuclides in nuclear medicine. Methods: Patient-specific absorbed dose calculations can be carried out using Monte Carlo simulations. The latest version of GATE extends its applications to Radiotherapy and Dosimetry. Comparison of the proposed method for the generation of DPKs was performed for (a) monoenergetic electron sources, with energies ranging from 10 keV to 10 MeV, (b) beta emitting isotopes, e.g., {sup 177}Lu, {sup 90}Y, and {sup 32}P, and (c) gamma emitting isotopes, e.g., {sup 111}In, {sup 131}I, {sup 125}I, and {sup 99m}Tc. Point isotropic sources were simulated at the center of a sphere phantom, and the absorbed dose was stored in concentric spherical shells around the source. Evaluation was performed with already published studies for different Monte Carlo codes namely MCNP, EGS, FLUKA, ETRAN, GEPTS, and PENELOPE. A complete dataset of total DPKs was generated for water (equivalent to soft tissue), bone, and lung. This dataset takes into account all the major components of radiation interactions for the selected isotopes, including the absorbed dose from emitted electrons, photons, and all secondary particles generated from the electromagnetic interactions. Results: GATE comparison provided reliable results in all cases (monoenergetic electrons, beta emitting isotopes, and photon emitting isotopes). The observed differences between GATE and other codes are less than 10% and comparable to the discrepancies observed among other packages. The produced DPKs are in very good agreement with the already published data, which allowed us to produce a unique DPKs dataset using GATE. The dataset contains the total DPKs for {sup 67}Ga, {sup 68}Ga, {sup 90}Y, {sup 99m}Tc, {sup 111}In, {sup 123}I, {sup 124}I, {sup 125}I, {sup 131}I, {sup 153}Sm, {sup 177}Lu {sup 186}Re, and {sup 188}Re generated in water, bone, and lung. Conclusions: In this study, the authors have checked GATE's reliability for absorbed dose calculation when transporting different kind of particles, which indicates its robustness for dosimetry applications. A novel dataset of DPKs is provided, which can be applied in patient-specific dosimetry using analytical point kernel convolution algorithms.

  20. Invited Editorial Manually structured digital abstracts: A scaffold for automatic

    E-Print Network [OSTI]

    Gerstein, Mark

    in the publication process, and authors will then use this out- put as a starting point to shape the digital abstractInvited Editorial Manually structured digital abstracts: A scaffold for automatic text mining In the past, we have advocated the adoption of the struc- tured digital abstract to bring scientific

  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. Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

    E-Print Network [OSTI]

    Sorge, Volker

    Department of Computer Science, University of Western Ontario www.csd.uwo.ca/watt Abstract. In previous work specifying n. We call this working with "symbolic" or "abstract" values. In previous work we have givenReasoning with Generic Cases in the Arithmetic of Abstract Matrices Alan P. Sexton1 , Volker Sorge1

  3. Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

    E-Print Network [OSTI]

    Watt, Stephen M.

    Department of Computer Science, University of Western Ontario www.csd.uwo.ca/~watt Abstract. In previous work specifying n. We call this working with "symbolic" or "abstract" values. In previous work we have givenReasoning with Generic Cases in the Arithmetic of Abstract Matrices Alan P. Sexton1 , Volker Sorge1

  4. A certifying frontend for (sub)polyhedral abstract domains

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    of the overall abstract domain. The main contribution of the work described here is the design of the linkA certifying frontend for (sub)polyhedral abstract domains Alexis Fouilhe and Sylvain Boulmé Univ. Grenoble-Alpes, VERIMAG, F-38000 Grenoble, France {alexis.fouilhe,sylvain.boulme}@imag.fr Abstract. Convex

  5. No. ___________ Reviewer: ______________________________ 2014 WSU Academic Showcase Abstract Evaluation Rubric

    E-Print Network [OSTI]

    Collins, Gary S.

    , or student A student-submitted abstract has either a faculty co-author or a faculty Sponsor All work mustNo. ___________ Reviewer: ______________________________ 2014 WSU Academic Showcase Abstract Evaluation Rubric Eligibility Criteria1 Does not meet criteria Abstract is submitted by a WSU faculty, staff

  6. Abstract Local Reasoning for Concurrent Libraries: Mind the Gap

    E-Print Network [OSTI]

    Gardner, Philippa

    considerable work on combining lo- cal reasoning with abstraction. There are two main approaches. One approach, truly abstract reasoning of a tree module (such as DOM) works with predicates based on connecting treeMFPS 2014 Abstract Local Reasoning for Concurrent Libraries: Mind the Gap Philippa Gardner, Azalea

  7. From Abstract to Concrete Norms in Agent Institutions

    E-Print Network [OSTI]

    Dignum, Frank

    From Abstract to Concrete Norms in Agent Institutions Davide Grossi and Frank Dignum Utrecht accounts for how (abstract) norms can be incorporated in the (concrete) procedures constituting. This abstract is organized as follows. In Section 2 we make the problem we are focusing on concrete by means

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

    E-Print Network [OSTI]

    Ng, Chung-Sang

    2010 Fall Meeting Search Results Cite abstracts as Author(s) (2010), Title, Abstract xxxxx will present results on the scaling of reconnection rate with S, as well as turbulence levels. This work

  9. automatic modular abstractions: Topics by E-print Network

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

    Websites Summary: We propose a method for automatically generating abstract transformers for static analysis permits the analysis of loops and recursive functions. Our...

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

    SciTech Connect (OSTI)

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

    1999-05-01T23:59:59.000Z

    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.

  11. 7th international symposium on photosynthetic prokaryotes. Abstracts

    SciTech Connect (OSTI)

    Fuller, R.C.

    1991-12-31T23:59:59.000Z

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

  12. Abstract: Design and Demonstration of an Advanced Agricultural...

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

    Design and Demonstration of an Advanced Agricultural Feedstock Supply System for Lignocellulosic Bioenergy Production Abstract: Design and Demonstration of an Advanced Agricultural...

  13. Abstract Domains of Affine Relations MATT ELDER, University of Wisconsin

    E-Print Network [OSTI]

    Reps, Thomas W.

    modulo 2w, for some machine-integer width w). We show that the abstract domains of M¨uller-Olm/Seidl (MOS

  14. Molecular biology of signal transduction in plants. Abstracts

    SciTech Connect (OSTI)

    Not Available

    1991-12-31T23:59:59.000Z

    This volume contains abstracts of oral presentations and poster sessions of the 1991 Cold Springs Harbor Meeting entitled Molecular Biology of Signal Transduction in Plants.

  15. Multi-unit Auctions with Unknown Supply [Extended Abstract

    E-Print Network [OSTI]

    Saberi, Amin

    Multi-unit Auctions with Unknown Supply [Extended Abstract] Mohammad Mahdian Microsoft Research Redmond, WA, USA mahdian@microsoft.com Amin Saberi Stanford University Stanford, CA, USA saberi

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

    Energy Savers [EERE]

    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. abstract symbolic semantics: Topics by E-print Network

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

    Semantics Gregory Grefenstette Abstract Quantified self, life logging, digital eyeglasses to induce personal semantic dimensions to sift data and find what is meaningful to...

  18. Handling Nonnegative Constraints in Spectral Estimation Abstract 1 ...

    E-Print Network [OSTI]

    Abstract. We consider convex optimization problems with the. constraint that the variables form a ... component of this work in other works, must be obtained from.

  19. Abstract Presented at Synchrotron Environmental Science II (SES-II)

    E-Print Network [OSTI]

    Brookhaven National Laboratory

    Abstract Presented at Synchrotron Environmental Science II (SES-II) Argonne National Laboratory - 6 such as dioxins and furans, polychlorinated biphenyls (PCBs), and polynuclear aromatic hydrocarbons (PAHs). *Work

  20. aluminum tolerance abstract: Topics by E-print Network

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

    thermique de lchantillon. Abstract. 2014 Investigating (001) and (011) oriented monocrystalline thin foils of Cu2O in a conven-tional electron microscope enabled us to...

  1. alloy particles abstract: Topics by E-print Network

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

    thermique de lchantillon. Abstract. 2014 Investigating (001) and (011) oriented monocrystalline thin foils of Cu2O in a conven-tional electron microscope enabled us to...

  2. abstract air thermal: Topics by E-print Network

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

    thermique de lchantillon. Abstract. 2014 Investigating (001) and (011) oriented monocrystalline thin foils of Cu2O in a conven-tional electron microscope enabled us to...

  3. abstracts fsta published: Topics by E-print Network

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

    thermique de lchantillon. Abstract. 2014 Investigating (001) and (011) oriented monocrystalline thin foils of Cu2O in a conven-tional electron microscope enabled us to...

  4. Geothermal: Sponsored by OSTI -- Geothermal Energy: Current abstracts

    Office of Scientific and Technical Information (OSTI)

    Energy: Current abstracts Geothermal Technologies Legacy Collection HelpFAQ | Site Map | Contact Us | Admin Log On HomeBasic Search About Publications Advanced Search New Hot...

  5. The Holonomic Toolkit Manuel Kauers

    E-Print Network [OSTI]

    Schneider, Carsten

    for holonomic functions, written for readers who are new to the subject. We state the definition for holon- omy

  6. Advanced Network Toolkit for Assessments

    Office of Environmental Management (EM)

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergy Cooperation |South ValleyASGovLtr.pdfAboutSheet, AprilEdward Lyford-Pike, Cummins

  7. Bioenergy Toolkit | 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 Office of InspectorConcentrating SolarElectricEnergyCTBarre BiomassTHIS PAGE IS UNDER CONSTRUCTION Introduction→ Step

  8. REEEP Toolkits | 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 Home5b9fcbce19 No revisionEnvReviewNonInvasiveExplorationUT-g Grant of Access Permit5-ID-aREC Solar Jump to:and Environmental Tool

  9. Geospatial Toolkit | 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 CenterFranconia, Virginia: Energy Resources Jump to: navigation, searchGeauga County,Information(EC-LEDS) | Open Energy

  10. Virtual Toolkit | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankCombustion |Energy Usage »of| Department of Energy Ventilation SystemNovember

  11. Sandia National Laboratories: TSPEAR toolkit

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the1 -theErikGroundbreakingStandardsTCES Sandia Researchers Win CSP:ELEMENTS

  12. Geospatial Toolkit | 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 Office of InspectorConcentrating Solar Power Basics (TheEtelligenceGainSpanRate-Making Jump to:Mariana

  13. NREL: International Activities - Geospatial Toolkits

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the Contributions and Achievements ofLiz TorresSolectriaProjectsInternal NRELGeospatial

  14. Geospatial Toolkit | 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 Home5b9fcbce19 No revision has beenFfe2fb55-352f-473b-a2dd-50ae8b27f0a6TheoreticalFuelCellGeminiEnergyPower Jump(CTI

  15. Modular Verification of Timed Circuits Using Automatic Abstraction

    E-Print Network [OSTI]

    Zheng, Hao

    Modular Verification of Timed Circuits Using Automatic Abstraction Hao Zheng, Eric Mercer, Member for verification of timed circuits using automatic abstraction. This approach partitions the design into modules by the RAPPID instruction length decoder designed at Intel [2]. This design was 3 times faster while using only

  16. Abstract Interpretation with Alien Expressions and Heap Structures

    E-Print Network [OSTI]

    Leino, K. Rustan M.

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

  17. Abstract adiabatic charge pumping Institut Fourier, Universite de Grenoble 1

    E-Print Network [OSTI]

    Joye, Alain

    Abstract adiabatic charge pumping A. Joye, Institut Fourier, Universit´e de Grenoble 1 BP 74, 38402 This paper is devoted to the analysis of an abstract formula describing quantum adiabatic charge pumping with respect to , once integrated over some time interval, gives rise to a charge pumped through the system

  18. Ecological Research Division Theoretical Ecology Program. [Contains abstracts

    SciTech Connect (OSTI)

    Not Available

    1990-10-01T23:59:59.000Z

    This report presents the goals of the Theoretical Ecology Program and abstracts of research in progress. Abstracts cover both theoretical research that began as part of the terrestrial ecology core program and new projects funded by the theoretical program begun in 1988. Projects have been clustered into four major categories: Ecosystem dynamics; landscape/scaling dynamics; population dynamics; and experiment/sample design.

  19. New Blind Signatures Equivalent to Factorization (Extended Abstract)

    E-Print Network [OSTI]

    Pointcheval, David

    New Blind Signatures Equivalent to Factorization (Extended Abstract) David Pointcheval Jacques Stern Abstract In this paper, we present new blind signature schemes based on the factorization problem. They are the first blind sig- nature schemes proved secure relatively to factorization. By security, we mean

  20. Optimal Fractal Coding is NP-Hard1 (Extended Abstract)

    E-Print Network [OSTI]

    Reiterer, Harald

    Optimal Fractal Coding is NP-Hard1 (Extended Abstract) Matthias Ruhl, Hannes Hartenstein Institut f,hartenst@informatik.uni-freiburg.de Abstract In fractal compression a signal is encoded by the parameters of a contractive trans- formation whose fixed point (attractor) is an approximation of the original data. Thus fractal coding can

  1. Towards CSP Model Reformulation at Multiple Levels of Abstraction

    E-Print Network [OSTI]

    Miguel, Ian

    Towards CSP Model Reformulation at Multiple Levels of Abstraction Alan M. Frisch 1 , Brahim Hnich 2cult at another. Therefore we argue that it is essential for a system for the auto- matic reformulation of CSPs individual CSP instances, could be augmented to reformulate models at various levels of abstraction and to re

  2. Submitted Abstract on November 02, 11:49 PM

    E-Print Network [OSTI]

    Maruyama, Shigeo

    Simulation of Thermal Boundary Resistance between a Carbon Nanotube and Surrounding Materials. AUTHORS (ALL Nanotubes, Molecular Dynamics Simulation, Thermal Boundary Resistance. Abstract TITLE: Molecular Dynamics. ABSTRACT BODY: Several kind of thermal boundary resistance related to single-walled carbon nanotubes (SWNTs

  3. A Testing Strategy for Abstract Classes [Draft] Peter J. Clarke

    E-Print Network [OSTI]

    Power, James

    approach to testing abstract classes is to instantiate a concrete descendant class and test the features on concrete classes in these applications if changes are made to the abstract classes. Testing OO software via one of its concrete descendants and test the derived instance [2]. However, it is not clear

  4. Automated Requirements Testing with Abstract Oracles Bernhard K. Aichernig

    E-Print Network [OSTI]

    , a mapping between abstract and concrete test data is required. The presented framework focuses on the usage of formal requirements specifications as test ora­ cles for concrete implementations. The approach is based, then the model may serve as a test oracle and specification as well. In Fig­ A A op abstract C C op concrete r r

  5. Automated Black-Box Testing with Abstract VDM Oracles

    E-Print Network [OSTI]

    as test oracles for concrete software. The automation of the resulting testing frame-work is based of a target system. For that reason, a mapping between abstract and concrete test data is requiredAutomated Black-Box Testing with Abstract VDM Oracles Bernhard K. Aichernig Technical University

  6. Transformation of Meta-Information by Abstract Co-Interpretation

    E-Print Network [OSTI]

    Transformation of Meta-Information by Abstract Co-Interpretation Raimund Kirner and Peter Puschner based on abstract interpretation to transform meta-information in parallel with the transformation. The construction of a correct transformation function for the meta-information can be quite complicated in case

  7. Apron: A Library of Numerical Abstract Domains for Static Analysis

    E-Print Network [OSTI]

    Miné, Antoine

    Polka convex polyhedra linear equalities PPL + Wrapper convex polyhedra linear congruences Abstraction toolbox- mensions in vector spaces. Nevertheless, the domains implemented in the PPL can be interfaced to Apron

  8. Studying Professional Software Designers and their Use of Abstraction

    E-Print Network [OSTI]

    Godfrey, Michael W.

    abstractions according domain (e.g., problem domain vs. user- interface domain vs. computer-science domain and support beams, and the configurations of rooms; electrical plans map out the electrical circuits

  9. Symposium on atomic spectroscopy (SAS-83): abstracts and program

    SciTech Connect (OSTI)

    Not Available

    1983-09-01T23:59:59.000Z

    Abstracts of papers given at the symposium are presented. Session topics include: Rydbergs, optical radiators, and planetary atoms; highly ionized atoms; ultraviolet radiation; theory, ion traps, and laser cooling; beam foil; and astronomy. (GHT)

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

    SciTech Connect (OSTI)

    Not Available

    1982-09-01T23:59:59.000Z

    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)

  11. Abstract The rapidly emerging field of synthetic biology

    E-Print Network [OSTI]

    Reisslein, Martin

    Abstract The rapidly emerging field of synthetic biology originated, as synthetic biology has expanded into mammalian systems, it is increasingly more. Biomaterials will play an important role in advancing synthetic biology

  12. Exploring the Community Structure of Newsgroups [Extended Abstract

    E-Print Network [OSTI]

    Chaudhuri, Surajit

    Mohammad Mahdian Amin Saberi ABSTRACT We propose to use the community structure of Usenet for organizing Institute of Technology, At- lanta, GA. Email: saberi@cc.gatech.edu. This work was done while the last two

  13. FREE FILM SCREENING AND DISCUSSION Abstract from Jezebel Productions

    E-Print Network [OSTI]

    de Lijser, Peter

    FREE FILM SCREENING AND DISCUSSION Abstract from Jezebel Productions: "No Dinosaurs in Heaven charge: free and open to the public. THURSDAY OCTOBER 27, 2011 7:00 PM Mackey Auditorium Ruby Gerontology

  14. Abstract Interpretation for Worst and Average Case Analysis

    E-Print Network [OSTI]

    Di Pierro, Alessandra

    energy usage whilst bounding the average number of requests waiting to be served. PRISM is used phase extracts a control flow graph ­ for some classes of language this may already involve an abstract

  15. The Omniscient Garbage Collector: a Resource Analysis Framework (extended abstract)

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    The Omniscient Garbage Collector: a Resource Analysis Framework (extended abstract) Aurlien point of view, we develop the omniscient garbage collector (OGC), which decides precisely when the resource index requires an omniscient garbage collector, a NP-complete problem tightly connected

  16. Abstract Submitted for the DPP07 Meeting of

    E-Print Network [OSTI]

    Hudson, Stuart

    Abstract Submitted for the DPP07 Meeting of The American Physical Society Sorting Category: 5-interface periodic-cylinder configuration. In this work, we per- form a stability scan over pressure and for a two

  17. ,~ Abstract Submitted to 1997 Denver X-Ray Conference

    E-Print Network [OSTI]

    Brookhaven National Laboratory

    ,~ Abstract Submitted to 1997 Denver X-Ray Conference Denver, Colorado -August 4-8, 1997 BNL-.64346 being distributed through the entire volume of the particle needs further investigation. *Work supported

  18. Abstract Submitted for the DPP97 Meeting of

    E-Print Network [OSTI]

    Hammett, Greg

    Abstract Submitted for the DPP97 Meeting of The American Physical Society Sorting Category: 5 solve these problems. 1 This work supported by DoE Contract DE­AC02­76CH03073. Prefer Oral Session X

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

    SciTech Connect (OSTI)

    Not Available

    1992-12-31T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Not Available

    1993-08-05T23:59:59.000Z

    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.

  1. Axioms for Recursion in CallbyValue (Extended Abstract)

    E-Print Network [OSTI]

    the distinction between values and effectfree programs is essential [16, 6]. So here is an amusing coincidence combined with the ContinuationPassing Style (CPS) translation can be understood within the abstract

  2. A Typed Calculus Supporting Shallow Embeddings of Abstract Machines

    E-Print Network [OSTI]

    Ariola, Zena M.

    . We believe that by doing so we shed light on some essential characteristics of abstract machines in a CPS interpreter. A defunctionalized continuation is actually just a data structure representing

  3. Pattern-based Abstraction for Verifying Secrecy in Protocols

    E-Print Network [OSTI]

    , an unbounded number of principals and an unbounded size of messages. As abstract domain we essentially use sets. Lowe using the CSP model-checker FDR in 1995 [23]; #3; This work has been partially supported

  4. Abstract Data Types and UML Models* Heinrich Hussmann1

    E-Print Network [OSTI]

    Reggio, Gianna

    , Francoise Tort3 1 Department of Computer Science, Dresden University of Technology, Germany 2 DISI in order to find out to which extent it follows clean data abstraction principles. In this sense

  5. Goldschmidt Conference Abstracts Mineralogical Magazine www.minersoc.org

    E-Print Network [OSTI]

    Sparks, Donald L.

    Goldschmidt Conference Abstracts Mineralogical Magazine www.minersoc.org 1279 Role of Fe- and Mn by mineral surface area, mineralogy, pH, redox, polyvalent cations, ionic strength, and the chemical

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

    SciTech Connect (OSTI)

    None

    1999-12-01T23:59:59.000Z

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

  7. Abstracts and research accomplishments of university coal research projects

    SciTech Connect (OSTI)

    Not Available

    1991-06-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Not Available

    1992-10-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Not Available

    1992-10-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Bronson, M. [ed.

    1995-12-31T23:59:59.000Z

    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.

  11. Abstract DNA-type systems Diederik Aerts1

    E-Print Network [OSTI]

    Aerts, Diederik

    example is the observation that DNA is essentially a universal Turing machine [1, 2]. The hardware. This seems to be a continuous process that resembles the motion of finite control in a real-life Turing machine. The discrete time-steps of an abstract Turing machine can be obtained if one looks at snapshots

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

  13. Demo Abstract: MARVEL: Multiple Antenna based Relative Vehicle Localizer

    E-Print Network [OSTI]

    Sinha, Prasun

    to install especially on existing vehicles and exhibit a tradeoff between accuracy and cost. Similarly, usingDemo Abstract: MARVEL: Multiple Antenna based Relative Vehicle Localizer Dong Li , Tarun Bansal , Zhixue Lu and Prasun Sinha Department of Computer Science and Engineering The Ohio State University

  14. AbstractA total of 7244 Greenland halibut (Reinhardtius hippoglossoides,

    E-Print Network [OSTI]

    414 AbstractA total of 7244 Greenland halibut (Reinhardtius hippoglossoides, Walbaum) were tagged in Greenland waters between 1986 and 1998 to in crease information on stock delinea tions, to clarify migration routes, and to describe the seasonal movements of fjord populations. At present 517 recaptured Greenland

  15. On the algebraization of valuation semantics (extended abstract)

    E-Print Network [OSTI]

    Lisboa, Universidade Tcnica de

    On the algebraization of valuation semantics (extended abstract) Carlos Caleiro Ricardo Gon-Tarski method. Nevertheless, many interesting logics fall out of the scope of this approach. It is the case to , that represents the valuation map. Moreover, the two-sorted signature 2 will have the operations of on sort

  16. Abstract geometrical computation 4: small Turing universal signal machines

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Abstract geometrical computation 4: small Turing universal signal machines J´er^ome Durand provides several very small signal machines able to perform any compu- tation --in the classical understanding-- generated from Turing machines, cellular automata and cyclic tag systems. A halting universal

  17. A Functional Correspondence between Evaluators and Abstract Machines

    E-Print Network [OSTI]

    Hutton, Graham

    A Functional Correspondence between Evaluators and Abstract Machines Mads Sig Ager, Dariusz machine from an ordinary call-by-name evaluator and by deriving an ordinary call-by-value evaluator from Felleisen et al.'s CEK-machine. The first derivation is strikingly simpler than what can be found

  18. Call for Abstracts The Bowling Green Workshop in Applied

    E-Print Network [OSTI]

    Moore, Paul A.

    Call for Abstracts The Bowling Green Workshop in Applied Ethics and Public Policy The Ethics of Self-Defense April 26-27, 2013 The Bowling Green Workshop in Applied Ethics and Public Policy will take place in Bowling Green, Ohio on April 26-27, 2013. Speakers already slated to participate include

  19. 30 Years of Abstract Interpretation Thomas Jaudon Ball

    E-Print Network [OSTI]

    Ball, Thomas

    minute talk I gave at the 30 Years of Abstract Interpretation Workshop in San Francisco, California, USA comprised a statement of principles rather than a constitution with legal effect. Just think about it: over history); a peanut farmer from Georgia became the 39th President of the United States; Gary Gilmore

  20. Abstract Domains of Affine Relations , T. Sharma1

    E-Print Network [OSTI]

    Reps, Thomas W.

    , and stud- ies how they relate to each other. We show that the abstract domains of M¨uller-Olm/Seidl (MOS for affine-relation analysis (ARA)--one defined by M¨uller-Olm and Seidl (MOS) [19, 21] and one defined

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

    SciTech Connect (OSTI)

    NONE

    1997-11-01T23:59:59.000Z

    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.

  2. Global Nonexistence for Abstract Evolution Equations with Positive Initial Energy

    E-Print Network [OSTI]

    Pucci, Patrizia

    of the initial value problem for abstract evolution equations of the form Putt + Q(t)ut + A(t, u) = F(t, u), t J appropriately small positive values. His analysis primarily considers linear wave operators, and moreover Scientifica e Tecnologica under the auspices of the Gruppo Nazionale di Analisi Funzionale e sue Applicazioni

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

  4. Merging DBMs Efficiently Extended Abstract Alexandre David1

    E-Print Network [OSTI]

    David, Alexandre

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

  5. Prediction Games in Infinitely Rich Worlds [Extended Abstract

    E-Print Network [OSTI]

    Madani, Omid

    Prediction Games in Infinitely Rich Worlds [Extended Abstract] Omid Madani madani prediction games may make this massive learning possible. In this paper, we describe prediction games potential of prediction games is in pointing to ways of achieving powerful large-scale learning without

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

    SciTech Connect (OSTI)

    NONE

    1998-12-31T23:59:59.000Z

    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.

  7. Cyber Security via Minority Games with Epistatic Signaling (Extended Abstract)

    E-Print Network [OSTI]

    Mishra, Bud

    Cyber Security via Minority Games with Epistatic Signaling (Extended Abstract) W. Casey, L. Metcalf occurs when deceptions are employed in order to breach the security of the system, thus making the entire profiles (e.g., the distribution of players employing various kinds of vulnerability and threat predictions

  8. On the Dynamics of Total Preorders: Revising Abstract Interval Orders

    E-Print Network [OSTI]

    Meyer, Tommie

    of iterated belief revision [5­7]. In the problem of belief set revision, the tpo can be thought of as extraOn the Dynamics of Total Preorders: Revising Abstract Interval Orders Richard Booth1 and Thomas) are often used in belief revision to encode an agent's strategy for revising its belief set in response

  9. The Virtual Mesh: A Geometric Abstraction for Efficiently Computing Radiosity

    E-Print Network [OSTI]

    Petitjean, Sylvain

    , an abstraction of the input geometry that allows complex shapes to be illuminated as if they were simple are mapped while preserving their energy properties. Radiosity values are then computed on these supports, by exactly integrating curved surfaces in the resolution process, the virtual mesh allows complex scenes

  10. Abstractions for Model Checking System Security Jason Douglas Franklin

    E-Print Network [OSTI]

    School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Thesis Committee: Anupam Datta, Abstraction, Parametricity, Refinement #12;To those that favor thought before blind action. #12;iv #12. In this thesis, we develop a framework that enables au- tomated, verifiable security guarantees for a wide range

  11. Goldschmidt2014 Abstracts 723 Guano as proxy for paleoclimate

    E-Print Network [OSTI]

    Forray, Ferenc

    Goldschmidt2014 Abstracts 723 723 Guano as proxy for paleoclimate studies: Examples from Romania F-Bolyai University, Cluj-Napoca, Romania (ferenc.forray@ubbcluj.ro) 2 School of Geosciences, University of South Florida, Tampa, USA 3 "Emil Racovi" Institute of Speleology, Cluj-Napoca, Romania Paleoenvironmental

  12. Publish by Abstract RNA Extraction From Different Apple Tissues

    E-Print Network [OSTI]

    Korban, Schuyler S.

    Publish by Abstract RNA Extraction From Different Apple Tissues Rich in Polyphenols. An efficient procedure for isolating RNA from bud, internodal shoot, flower, and fruit tissues of apple has in apple fruit and flower tissues. Isolated RNA is of high qual- ity and is undegraded as assessed

  13. 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 your work, in a reasonably neat and coherent way, in the space provided. All answers must be justified work will receive no credit; an incorrect answer supported by substantially correct calculations

  14. 20 CURA REPORTER Abstract: Understanding the spatial link-

    E-Print Network [OSTI]

    Levinson, David M.

    20 CURA REPORTER Abstract: Understanding the spatial link- ages between home and work is critical decisions. This research project explored where people live and work in Minnesota to determine whether workers in different earnings groups exhibit similar patterns in "work- force flows" across county lines

  15. Electronic Spin: Abstract Mathematical or Real Physical Phenomenon

    E-Print Network [OSTI]

    S. K. Pandey

    2014-11-01T23:59:59.000Z

    In the description of electron spin obtained through the conventional Copenhagen interpretation of quantum mechanics, the concrete picture of rotation was replaced by an abstract mathematical representation; visualization or visualisability was entirely lost. The work described here takes a step towards restoring this.

  16. Demo Abstract: Testbed-Independent Experiment Specification and Execution

    E-Print Network [OSTI]

    Wichmann, Felix

    introduces two core APIs which have been de- signed according to the REST principles [1]. The Testbed of the platform and its two core programming interfaces that follow the REST architectural style. The Testbed Abstraction API, that exposes the services of the individual testbeds thorough a uniform Testing-as- a

  17. Student Research Abstract: Trustworthy Remote Entities in the Smart Grid

    E-Print Network [OSTI]

    Oxford, University of

    Student Research Abstract: Trustworthy Remote Entities in the Smart Grid Andrew J. Paverd to enhance user privacy by introducing a novel element into the smart grid architecture. The Trustworthy a group of smart meters and the external smart grid entities. The TRE enhances user privacy by providing

  18. Optimal Storage Policies with Wind Forecast Uncertainties [Extended Abstract

    E-Print Network [OSTI]

    Dalang, Robert C.

    Optimal Storage Policies with Wind Forecast Uncertainties [Extended Abstract] Nicolas Gast EPFL, IC/LCA2 1015 Lausanne Switzerland nicolas.gast@epfl.ch Dan-Cristian Tomozei EPFL, IC/LCA2 1015 Lausanne Switzerland dan-cristian.tomozei@epfl.ch Jean-Yves Le Boudec EPFL, IC/LCA2 1015 Lausanne Switzerland jean

  19. Concrete vs. Abstract Problem Formats: A Disadvantage of Prior Knowledge

    E-Print Network [OSTI]

    Heckler, Andrew F.

    Concrete vs. Abstract Problem Formats: A Disadvantage of Prior Knowledge Andrew F. Heckler experiments examine the effects of varying the relative concreteness of physics word problems on student performance.Previous studies have found that concrete representations benefit performance for relatively

  20. Improving large-sized PLC programs verification using abstractions

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Improving large-sized PLC programs verification using abstractions V. Gourcuff O. de Smet J [2005]) models of PLC programs, which can be verified with well- known model-checkers, like UPPAAL the development of industrial PLC programs up to now (John- son [2007]). Several reasons can explain

  1. Security Policy Testing via Automated Program Code Generation (Extended Abstract)

    E-Print Network [OSTI]

    Xie, Tao

    -language-specific coverage crite- ria [5, 6] and test generation algorithms [4, 5]. One limitation of these previous testingSecurity Policy Testing via Automated Program Code Generation (Extended Abstract) Ting Yu North's sophisticated access control policies. Similar to quality assurance of software systems, testing techniques [4

  2. Abstract and research accomplishments of University Coal Research Projects

    SciTech Connect (OSTI)

    NONE

    1995-06-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Not Available

    1994-12-31T23:59:59.000Z

    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.

  4. Third conference on radiation protection and dosimetry. Program and abstracts

    SciTech Connect (OSTI)

    Not Available

    1991-12-31T23:59:59.000Z

    This conference has been designed with the objectives of promoting communication among applied, research, regulatory, and standards personnel involved in radiation protection and providing them with sufficient information to evaluate their programs. To partly fulfill these objectives, a technical program consisting of more than 75 invited and contributed oral presentations encompassing all aspects of radiation protection has been prepared. General topics include external dosimetry, internal dosimetry, instruments, regulations and standards, accreditation and test programs, research advances, and applied program experience. This publication provides a summary of the technical program and a collection of abstracts of the oral presentations.

  5. Second SIAM conference on sparse matrices: Abstracts. Final technical report

    SciTech Connect (OSTI)

    NONE

    1996-12-31T23:59:59.000Z

    This report contains abstracts on the following topics: invited and long presentations (IP1 & LP1); sparse matrix reordering & graph theory I; sparse matrix tools & environments I; eigenvalue computations I; iterative methods & acceleration techniques I; applications I; parallel algorithms I; sparse matrix reordering & graphy theory II; sparse matrix tool & environments II; least squares & optimization I; iterative methods & acceleration techniques II; applications II; eigenvalue computations II; least squares & optimization II; parallel algorithms II; sparse direct methods; iterative methods & acceleration techniques III; eigenvalue computations III; and sparse matrix reordering & graph theory III.

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

    SciTech Connect (OSTI)

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

    1989-05-01T23:59:59.000Z

    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.

  7. THE DYNAMICS OF HYDROGEN ATOM ABSTRACTION FROM POLYATOMIC MOLECULES.

    SciTech Connect (OSTI)

    LIU,X.; SUITS,A.G.

    2002-11-21T23:59:59.000Z

    The hydrogen atom abstraction reaction is an important fundamental process that is extensively involved in atmospheric and combustion chemistry. The practical significance of this type of reaction with polyatomic hydrocarbons is manifest, which has led to many kinetics studies. The detailed understanding of these reactions requires corresponding dynamics studies. However, in comparison to the A + HX {radical} AH + X reactions, the study of the dynamics of A + HR {yields} AH + R reactions is much more difficult, both experimentally and theoretically (here and in the following, A stands for an atom, X stands for a halogen atom, and R stands for a polyatomic hydrocarbon radical). The complication stems from the structured R, in contrast to the structureless X. First of all, there are many internal degrees of freedom in R that can participate in the reaction. In addition, there are different carbon sites from which an H atom can be abstracted, and the dynamics are correspondingly different; there are also multiple identical carbon sites in HR and in the picture of a local reaction, there exist competitions between neighboring H atoms, and so on. Despite this complexity, there have been continuing efforts to obtain insight into the dynamics of these reactions. In this chapter, some examples are presented, including the reactions of ground state H, Cl, and O atoms, with particular focus on our recent work using imaging to obtain the differential cross sections for these reactions.

  8. Laboratory technology research: Abstracts of FY 1998 projects

    SciTech Connect (OSTI)

    NONE

    1998-11-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    NONE

    1995-12-31T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Not Available

    1987-01-01T23:59:59.000Z

    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)

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

    SciTech Connect (OSTI)

    Hazen, Terry C.

    2009-03-01T23:59:59.000Z

    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.

  12. E-Print Network 3.0 - abstract orthographic codes Sample Search...

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

    that the patient must have accessed abstract orthographic codes in order to perform the task, what he called... to construct abstract ... Source: Bowers, Jeff - Department of...

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

    SciTech Connect (OSTI)

    Hazen, Terry C.

    2007-03-14T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Burtis, M.D. [comp.] [Oak Ridge National Lab., TN (United States). Carbon Dioxide Information Analysis Center; Razuvaev, V.N.; Sivachok, S.G. [All-Russian Research Inst. of Hydrometeorological Information--World Data Center, Obninsk (Russian Federation)

    1996-10-01T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    NONE

    1996-06-01T23:59:59.000Z

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

  16. hal-00136662,version1-14Mar2007 Relational Abstract Domains for the

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    generic. 2 Related Work Abstract Domains. A key component in Abstract-Interpretation-based anal- yseshal-00136662,version1-14Mar2007 Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors Antoine Min´e DI-´Ecole Normale Sup´erieure de Paris, France, mine@di.ens.fr Abstract We present

  17. INTERACTIVE SMALL-STEP ALGORITHMS II: ABSTRACT STATE MACHINES AND THE CHARACTERIZATION THEOREM

    E-Print Network [OSTI]

    Blass, Andreas R.

    , MA 02139, U.S.A. e-mail address: brossman@mit.edu Abstract. In earlier work, the Abstract StateINTERACTIVE SMALL-STEP ALGORITHMS II: ABSTRACT STATE MACHINES AND THE CHARACTERIZATION THEOREM Machine Thesis -- that arbitrary algo- rithms are behaviorally equivalent to abstract state machines

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

    SciTech Connect (OSTI)

    Burtis, M.D. [comp.

    1994-01-01T23:59:59.000Z

    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.

  19. 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-01T23:59:59.000Z

    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.

  20. Making the abstract concrete 1 Running head: VISUALIZING MATHEMATICAL SOLUTION PROCEDURES

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Making the abstract concrete 1 Running head: VISUALIZING MATHEMATICAL SOLUTION PROCEDURES Making the Abstract Concrete: Visualizing Mathematical Solution Procedures Katharina Scheiter University of Tuebingen) (2006) 9-25" DOI : 10.1016/j.chb.2005.01.009 #12;Making the abstract concrete 2 Abstract This article

  1. Introduction Chaos Kac's program What we prove Abstract setting The abstract theorem Deriving the H-theorem Inverse solution to the Kac's program in mean-field

    E-Print Network [OSTI]

    Jensen, Max

    Introduction Chaos Kac's program What we prove Abstract setting The abstract theorem Deriving the H PDE Days, 26-27th of april 2011 Joint work with S. Mischler: arXiv:1001.2994 Joint work with S. Mischler and B. Wennberg: hal-00559132 Joint work with M. Hauray and S. Mischler in progress #12

  2. Solar and Wind Resource Assessments for Afghanistan and Pakistan

    SciTech Connect (OSTI)

    Renne, D. S.; Kelly, M.; Elliott, D.; George, R.; Scott, G.; Haymes, S.; Heimiller, D.; Milbrandt, A.; Cowlin, S.; Gilman, P.; Perez, R.

    2007-01-01T23:59:59.000Z

    The U.S. National Renewable Energy Laboratory (NREL) has recently completed the production of high-resolution wind and solar energy resource maps and related data products for Afghanistan and Pakistan. The resource data have been incorporated into a geospatial toolkit (GsT), which allows the user to manipulate the resource information along with country-specific geospatial information such as highway networks, power facilities, transmission corridors, protected land areas, etc. The toolkit allows users to then transfer resource data for specific locations into NREL's micropower optimization model known as HOMER.

  3. The influence of abstract and concrete mindsets on anticipating and guiding others' self-regulatory effortsq

    E-Print Network [OSTI]

    Freitas, Antonio L.

    The influence of abstract and concrete mindsets on anticipating and guiding others' self the impact of abstract and concrete mindsets on attention to goal-relevant aspects of others' situations. An abstract (relative to a concrete) mindset, by making accessible the cognitive operation of considering

  4. Checking Consistency of C and Verilog using Predicate Abstraction and Induction

    E-Print Network [OSTI]

    consistency between an ANSI- C program and a circuit given in Verilog using Predicate Abstraction to existing tools that perform predicate abstraction, our approach is SAT-based and allows all ANSI Abstraction, Verilog, SAT, Equivalence Checking #12;1 Introduction ANSI-C is a language designed for best

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

  6. Compiling functional pipe/stream abstractions into conventional programs: Software Pipelines

    E-Print Network [OSTI]

    Fateman, Richard J.

    Compiling functional pipe/stream abstractions into conventional programs: Software Pipelines with these technques and aware of the implementation of infinite stream/pipe abstractions in Lisp, Scheme the stream/pipe abstraction may be used, in principle, even by those who allege that all practical programs

  7. The Only Way is Up On A Tower of Abstractions for Biology

    E-Print Network [OSTI]

    Vardi, Moshe Y.

    The Only Way is Up On A Tower of Abstractions for Biology Jasmin Fisher1 , Nir Piterman2 Abstract. We draw an analogy between biology and computer hard- ware systems and argue for the need that in reverse engineering of biological systems; only by using a tower of abstractions we would be able

  8. Optimization Strategy apply to an Attribute Algorithm for the Abstract Interpretation

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Cedex FRANCE e-mail: musumbu@labri.fr Abstract Presented in this work is a novel approach to implement of the transformation and that fixed point is the abstract semantics of the given logic program. Presented in this workOptimization Strategy apply to an Attribute Algorithm for the Abstract Interpretation Kaninda

  9. Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages

    E-Print Network [OSTI]

    Zhao, Yuxiao

    of Warren's Abstract Machine. The paper complements previous work of P. Kursawe who reconstructed several for the design of abstract machines and intermediate languages. Much of that work is due to M. Wand who designedTowards a Methodology for the Design of Abstract Machines for Logic Programming Languages Ulf

  10. Titles and Abstracts Stephen Curran: A characterization of freeness by invari-

    E-Print Network [OSTI]

    Sunder, V S

    model on ran- dom graphs (based on joint work with Jones, Shlyakhtenko, Zinn Justin) Abstract of embeddable von Neumann algebras and sofic groups (based on joint work with N. Brown and K. Jung). Abstract work with M. Junge and T. Mei) Abstract: Given a discrete group G, consider a Fourier mul- tiplier Tm

  11. 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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLas Conchas recoveryLaboratory | NationalJohn Cyber SecurityAlamos NationalNeil

  12. 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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc Documentation RUCProductstwrmrAre the Effects ofAbout ScienceAbout OakMeasurement of the ν µ

  13. 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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth (AOD)ProductssondeadjustsondeadjustAbout the Building Technologies Office About theofAbout SHAREHandsJohn Rice

  14. 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-01T23:59:59.000Z

    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)

  15. Campus Toolkit What goes around comes around

    E-Print Network [OSTI]

    to as gasification, pyrolysis, waste to energy, biomass burners and Zero Waste to landfill. This has been touted

  16. Mathematical Toolkit Unlocks Some Cancer Secrets

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

    Mathematical Models Shed New Light on Cancer Mutations Mathematical Models Shed New Light on Cancer Mutations Calculations Run at NERSC Pinpoint Rare Mutants More Quickly November...

  17. Home NILM : a comprehensive energy monitoring toolkit

    E-Print Network [OSTI]

    Donnal, John Sebastian

    2013-01-01T23:59:59.000Z

    In this thesis we present two powerful new non-intrusive sensor designs, one for measuring equipment power consumption and one for measuring equipment vibration. We also discuss a unified data management framework for ...

  18. 2013 SCRM Awareness Toolkit | Department of Energy

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

    Supply Chain Poster Phase 1.pdf SCRM Poster Phase 2.pdf DOE SCRM flyerphase1bupdated (2) - srf.docx DOE SCRM bluebox messagesfinalphase1 revised themes.docx Supply Chain Threat...

  19. Cyber Security Audit and Attack Detection Toolkit

    SciTech Connect (OSTI)

    Peterson, Dale

    2012-05-31T23:59:59.000Z

    This goal of this project was to develop cyber security audit and attack detection tools for industrial control systems (ICS). Digital Bond developed and released a tool named Bandolier that audits ICS components commonly used in the energy sector against an optimal security configuration. The Portaledge Project developed a capability for the PI Historian, the most widely used Historian in the energy sector, to aggregate security events and detect cyber attacks.

  20. Voluntary Initiative: Partnerships Toolkit | Department of Energy

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

    are delivered by many different types of organizations and their partners, including utilities, state and local governments, non-profit organizations, and for-profit companies,...

  1. Automatic Scheme Selection for Toolkit Hex Meshing

    SciTech Connect (OSTI)

    TAUTGES,TIMOTHY J.; WHITE,DAVID R.

    1999-09-27T23:59:59.000Z

    Current hexahedral mesh generation techniques rely on a set of meshing tools, which when combined with geometry decomposition leads to an adequate mesh generation process. Of these tools, sweeping tends to be the workhorse algorithm, accounting for at least 50% of most meshing applications. Constraints which must be met for a volume to be sweepable are derived, and it is proven that these constraints are necessary but not sufficient conditions for sweepability. This paper also describes a new algorithm for detecting extruded or sweepable geometries. This algorithm, based on these constraints, uses topological and local geometric information, and is more robust than feature recognition-based algorithms. A method for computing sweep dependencies in volume assemblies is also given. The auto sweep detect and sweep grouping algorithms have been used to reduce interactive user time required to generate all-hexahedral meshes by filtering out non-sweepable volumes needing further decomposition and by allowing concurrent meshing of independent sweep groups. Parts of the auto sweep detect algorithm have also been used to identify independent sweep paths, for use in volume-based interval assignment.

  2. Automatic scheme selection for toolkit hex meshing

    SciTech Connect (OSTI)

    WHITE,DAVID R.; TAUTGES,TIMOTHY J.

    2000-02-17T23:59:59.000Z

    Current hexahedral mesh generation techniques rely on a set of meshing tools, which when combined with geometry decomposition leads to an adequate mesh generation process. Of these tools, sweeping tends to be the workhorse algorithm, accounting for at least 50% of most meshing applications. Constraints which must be met for a volume to be sweepable are derived, and it is proven that these constraints are necessary but not sufficient conditions for sweepability. This paper also describes a new algorithm for detecting extruded or sweepable geometries. This algorithm, based on these constraints, uses topological and local geometric information, and is more robust than feature recognition-based algorithms. A method for computing sweep dependencies in volume assemblies is also given. The auto sweep detect and sweep grouping algorithms have been used to reduce interactive user time required to generate all-hexahedral meshes by filtering out non-sweepable volumes needing further decomposition and by allowing concurrent meshing of independent sweep groups. Parts of the auto sweep detect algorithm have also been used to identify independent sweep paths, for use in volume-based interval assignment.

  3. Overview of the CCC Retrocommissioning Toolkit

    E-Print Network [OSTI]

    Friedman, H.

    2007-01-01T23:59:59.000Z

    Collaborative Output Metrics - Filtering California Commissioning Collaborative Load Profile Charting by Daytype 0.00 0.50 1.00 1.50 2.00 2.50 3.00 3.50 4.00 4.50 12: 00 A M 2: 00 A M 4: 00 A M 6: 00 A M 8: 00 A M 10: 00 A M 12: 00 P M 2: 00 P M 4: 00 P M 6...: 00 P M 8: 00 P M 10: 00 P M A v g E l ecM t r _Wat t s_p er S F Weekday Saturday Sunday Holiday California Commissioning Collaborative Scatter Plot Charts California Commissioning Collaborative System-level charting Chiller Electrical Demand vs...

  4. Shifting Innovation to Users Via Toolkits

    E-Print Network [OSTI]

    Katz, Ralph

    2002-06-07T23:59:59.000Z

    In the traditional new product development process, manufacturers first explore user needs and then develop responsive products. Developing an accurate understanding of ...

  5. LEDSGP/DIA-Toolkit | 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 CenterFranconia, Virginia: Energy Resources Jump to:46 - 429 ThrottledInformation Kumasi InstituteInformationsource History

  6. LEDSGP/tools/toolkits | 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 CenterFranconia, Virginia: Energy Resources Jump to:46 - 429 ThrottledInformationparticipants < LEDSGP‎ |features <

  7. Transportation Assessment Toolkit | 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 Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende NewSowitec do Brasil EnergiaSurPVTip forIdeas fromTransport

  8. Wind Working Group Toolkit | 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 Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende NewSowitec do BrasilGmbHWeardaleSmart LLC Jump to:Photo from

  9. Voluntary Initiative: Partnerships Toolkit | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarlyEnergyDepartment ofDepartment of Energy While dry storage technologies areto 40%forof

  10. Safety Meeting Toolkits - HPMC Occupational Health Services

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the1 -the Mid-Infrared0 ResourceAwardsSafeguards and Security Systems5,Updates >

  11. A software toolkit for acoustic respiratory analysis

    E-Print Network [OSTI]

    Yi, Gina Ann

    2004-01-01T23:59:59.000Z

    Millions of Americans suffer from pulmonary diseases. According to recent statistics, approximately 17 million people suffer from asthma, 16.4 million from chronic obstructive pulmonary disease, 12 million from sleep apnea, ...

  12. Impact Assessment Toolkit | 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 Office of Inspector GeneralDepartmentAUDIT REPORTOpen EnergyBoard"Starting a newIGUSLLC Jump

  13. Low Emission Development Strategies toolkit search

    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 Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New Energy Co Ltd JumpLightSource RenewablesLongxingwe

  14. 2030 District Program and Small Commercial Toolkit

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up from theDepartment(October-December 2013Lamps;5 Federal Energy14 Federalof50Number2030

  15. LEDS Toolkit and Framework | 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 Office of InspectorConcentrating Solar Powerstories on climateJuno Beach, Florida:KenyonKosciuskoLCA

  16. Land Use Assessment Toolkit | 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 Office of InspectorConcentrating Solar Powerstories on climateJuno Beach,October, 2012 - 08:20Emission ReductionUse

  17. Bioenergy Assessment Toolkit | 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 Office of InspectorConcentrating SolarElectricEnergyCTBarre Biomass

  18. Building Energy Assessment Toolkit | 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 Office of InspectorConcentrating SolarElectricEnergyCTBarre BiomassTHISBrickyardRepower Jump to:BuffaloNetwork Jump

  19. Category:Transportation Toolkits | 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 Office of InspectorConcentrating SolarElectricEnergyCTBarreis aCallahanWindSyracuse, NY Jump to:Operators JumpAdd a new

  20. Sustainable Forest Finance Toolkit | 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 Home5b9fcbce19 No revisionEnvReviewNonInvasiveExplorationUT-g GrantAtlas (PACAOpenSummersideJump to: navigation, searchFinance

  1. Designing Incentives Toolkit Better Buildings Residential Network

    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 Office of Inspector General Office of Audit Services AuditTransatlantic Relations &Energy

  2. Spring 2015 Virtual Toolkit | Department of Energy

    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 Office of Inspector GeneralDepartment of Energyof the AmericasDOE-STD-3020-2005 December 2005DepartmentSpring 2015

  3. Coordinated Low Emissions Assistance Network toolkit search

    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 Office of Inspector GeneralDepartmentAUDIT REPORT Americium/CuriumSunways JVGroupChoice Logo:ConergyKontorSupport for

  4. Financing Initiatives Toolkit | 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 Office of Inspector GeneralDepartmentAUDIT REPORTOpen Energy InformationInformation RoyaltyFiberblade

  5. Community Wind Toolkit | 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 Office of Inspector GeneralDepartmentAUDITOhioOglesby,Sullivan,InformationInformation SitingPhoto from

  6. Mathematical Toolkit Unlocks Some Cancer Secrets

    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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLas Conchas recovery challenge fund LasDubey selectedContractMaterials/CondensedMath

  7. Category:LEDS Toolkit | 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 Office of Inspector GeneralDepartmentAUDIT REPORTOpenWendeGuoCatalyst Renewables Jump to:En EspañolInternational

  8. Impact Assessment Toolkit | 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 CenterFranconia, Virginia: Energy Resources Jump to: navigation,Ohio:GreerHiCalifornia:ISI SolarIdanha,Information JumpMorocco

  9. Towards an Abstraction-Friendly Programming Model for High Productivity and High Performance Computing

    SciTech Connect (OSTI)

    Liao, C; Quinlan, D; Panas, T

    2009-10-06T23:59:59.000Z

    General purpose languages, such as C++, permit the construction of various high level abstractions to hide redundant, low level details and accelerate programming productivity. Example abstractions include functions, data structures, classes, templates and so on. However, the use of abstractions significantly impedes static code analyses and optimizations, including parallelization, applied to the abstractions complex implementations. As a result, there is a common perception that performance is inversely proportional to the level of abstraction. On the other hand, programming large scale, possibly heterogeneous high-performance computing systems is notoriously difficult and programmers are less likely to abandon the help from high level abstractions when solving real-world, complex problems. Therefore, the need for programming models balancing both programming productivity and execution performance has reached a new level of criticality. We are exploring a novel abstraction-friendly programming model in order to support high productivity and high performance computing. We believe that standard or domain-specific semantics associated with high level abstractions can be exploited to aid compiler analyses and optimizations, thus helping achieving high performance without losing high productivity. We encode representative abstractions and their useful semantics into an abstraction specification file. In the meantime, an accessible, source-to-source compiler infrastructure (the ROSE compiler) is used to facilitate recognizing high level abstractions and utilizing their semantics for more optimization opportunities. Our initial work has shown that recognizing abstractions and knowing their semantics within a compiler can dramatically extend the applicability of existing optimizations, including automatic parallelization. Moreover, a new set of optimizations have become possible within an abstraction-friendly and semantics-aware programming model. In the future, we will apply our programming model to more large scale applications. In particular, we plan to classify and formalize more high level abstractions and semantics which are relevant to high performance computing. We will also investigate better ways to allow language designers, library developers and programmers to communicate abstraction and semantics information with each other.

  10. E-Print Network 3.0 - asms conference abstract Sample Search...

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

    to Dean Rosenzweig Egon Borger Summary: (see also 42) by ASM models for the Chemical Abstract Machine and the -calculus and generalized... of an ASM ground model to...

  11. Abstract--A clamp-and-ratchet microstructure based on polycrystalline silicon (polysilicon) microelectromechanical

    E-Print Network [OSTI]

    Tang, William C

    Abstract-- A clamp-and-ratchet microstructure based on polycrystalline silicon (polysilicon extensions which appear to support neuronal migration. Stretching the PDMS using the clamp and ratchet

  12. Program and abstracts: IS-MPMI sixth International Symposium on Molecular Plant-Microbe Interactions

    SciTech Connect (OSTI)

    Not Available

    1992-12-31T23:59:59.000Z

    This volume provides abstracts of oral and poster presentations made for the Sixth International Symposium on Molecular Plant-Microbe Interactions.

  13. Science and engineering research semester internship, Fall 1996, abstracts and research papers

    SciTech Connect (OSTI)

    Williams, B.; Brown, E.; Davis, M.; Downs, J.; Fox, K.; Hayden, C.; Jacobsen, E.; Kraut, E.; Lawrence, S.; Legler, T.; Oram, S.; Ragland, S.; Wulff, T.

    1996-12-01T23:59:59.000Z

    This document consists of abstracts and research papers from the science and engineering research semester internship fall 1996 at Lawrence Livermore National Laboratory.

  14. Program and abstracts of the 28th conference on Great Lakes research

    SciTech Connect (OSTI)

    Not Available

    1985-01-01T23:59:59.000Z

    Abstracts of papers presented at the 28th Conference on Great Lakes Research and the annual meeting of the International Association for Great Lakes Research covered two symposia. The first was a comparison of Great Lakes and Baltic ecosystems, which provided an opportunity for international exchanges of information and insights. The second featured pollution problems in the Green Bay estuary environment that is of particular value to Wisconsin and Michigan. There are 41 separate abstracts selected for the Energy Data Base (EDB). Four of those were also selected for Energy Research Abstracts (ERA), six for Energy Abstracts for Policy Analysis (EAPA), and two for INS.

  15. E-Print Network 3.0 - abstracts volume 87-1 Sample Search Results

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

    Utrecht Collection: Mathematics 2 Technical Report Documentation Page 1. Report No. Summary: Database 16. Abstract Comprehensive and reliable databases are essential for the...

  16. E-Print Network 3.0 - abstracts is-mpmi sixth Sample Search Results

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

    RFI Detection Algorithm That Can Summary: , and Sidharth Misra Abstract--The kurtosis statistic is an effective detector of pulsed sinusoidal radio... this detection blind spot in...

  17. E-Print Network 3.0 - abstracted literature collection Sample...

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

    Collection: Biology and Medicine ; Mathematics 7 Development of a Series of National Coalbed Methane Databases Summary: Affiliation Technical Category Basin Abstract 12;...

  18. E-Print Network 3.0 - abstract words rtms Sample Search Results

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

    for the stimulation of living tissues: A biomedical engineering application of electromagnetism Summary: .Dondon@enseirb.fr, renaud.charlet-de-s@ inserm.fr, Abstract: This paper...

  19. E-Print Network 3.0 - abstract proceedings signal Sample Search...

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

    Engineering 15 VHDL & SIGNAL: A COOPERATIVE APPROACH Mohammed BELHADJ Summary: , FRANCE ABSTRACT This work presents the study done to integrate VHDL with the Signal...

  20. E-Print Network 3.0 - authority project abstracts Sample Search...

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

    Mircea Lungu and Michele Lanza Summary: projects. Most software exploration tools work at a single level of abstraction. We propose the con- cept... :www.inf.unisi.ch...

  1. E-Print Network 3.0 - abstract machine model Sample Search Results

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

    The hierarchical model for load balancing on two machines Orion Chassid Leah Epstein Abstract... Following previous work, we consider the hierarchical load balancing model on...

  2. E-Print Network 3.0 - assessment lead abstract Sample Search...

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

    Network Management Information for Light-Path Assessment Summary: Institute of Technology Abstract - In this work, we consider assessing wavelength availability using partial......

  3. CALL FOR ABSTRACTS for the 2014 National Environmental Justice Conference and Training Program

    Broader source: Energy.gov [DOE]

    The 2014 National Environmental Justice Conference and Training Program planners are inviting individuals to submit abstracts, not to exceed two pages, related to environmental justice.

  4. E-Print Network 3.0 - abstract executive summary Sample Search...

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

    like C. There are numerous... ) and there are verifiers for cryptographic protocols that work on fairly abstract descriptions, but so far very few Source: Jurjens, Jan - Fakultt...

  5. E-Print Network 3.0 - abstract state machines Sample Search Results

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

    Machine Refinement in UML-B Summary: to facilitate abstraction is also introduced. Our work makes explicit the structures of class and state machine... -B. The essential concept...

  6. Science and engineering research semester internship spring 1997 abstracts and research papers

    SciTech Connect (OSTI)

    Williams, Beverly

    1997-10-01T23:59:59.000Z

    This document consists of abstracts and research papers from the science and engineering research semester internship spring 1997 held at Lawrence Livermore National Laboratory.

  7. 2015 National Environmental Justice Conference and Training Program Call for Abstracts

    Broader source: Energy.gov [DOE]

    The 2015 National Environmental Justice Conference and Training Program planners are inviting individuals to submit abstracts, not to exceed two pages, related to environmental justice. Each...

  8. Evolution of light-induced anchoring in dye-doped nematics: Experiment and model Previous Abstract | Next Abstract | Issue Table of Contents

    E-Print Network [OSTI]

    Reznikov, Yuri

    Evolution of light-induced anchoring in dye-doped nematics: Experiment and model Previous Abstract |GZipped PS View MyArticles Evolution of light-induced anchoring in dye-doped nematics: Experiment was carried out to describe the evolution of light-induced anchoring in dye-doped nematic liquid crystals (LCs

  9. Abstract ID 616 MC-TRACE: MULTICASTING THROUGH TIME RESERVATION USING ADAPTIVE CONTROL

    E-Print Network [OSTI]

    Heinzelman, Wendi

    Abstract ID 616 1 of 7 MC-TRACE: MULTICASTING THROUGH TIME RESERVATION USING ADAPTIVE CONTROL, University of Rochester, Rochester NY Abstract- In this paper, we present Multicasting through Time Reservation using Adaptive Control for Energy efficiency (MC-TRACE), which is an energy-efficient voice

  10. The Abstract Task Graph: A Methodology for Architecture-Independent Programming of Networked Sensor Systems

    E-Print Network [OSTI]

    Prasanna, Viktor K.

    Center 3333 Coyote Hill Road Palo Alto, CA 94304 USA jreich, larner @parc.com Abstract The Abstract Task-provided code that implements the actual information processing functions in the sys- tem. Appropriate numbers and network configuration, with each node incorporating the user-provided code, automatically gen- erated glue

  11. MSWiM Demo Abstract: Direct Code Execution: Increase Simulation Realism using Unmodified Real

    E-Print Network [OSTI]

    Turletti, Thierry

    : information-centric networking over mobile ad hoc network using the PARC CCNx code, and a seamless handoffMSWiM Demo Abstract: Direct Code Execution: Increase Simulation Realism using Unmodified Real of Tokyo, Japan INRIA, France Abstract We propose to demonstrate Direct Code Execution (DCE)1 , a ns-3

  12. Re ning Abstract Machine Speci cations of the Steam Boiler Control to Well Documented

    E-Print Network [OSTI]

    Börger, Egon

    Re ning Abstract Machine Speci cations of the Steam Boiler Control to Well Documented Executable the steam boiler control speci cation problem to il- lustrate how the evolving algebra approach to the speci, in June 1995, to control the Karlsruhe steam boiler simulator satisfactorily. The abstract machines

  13. Compiling functional pipe/stream abstractions into conventional programs: Software Pipelines

    E-Print Network [OSTI]

    Fateman, Richard J.

    Compiling functional pipe/stream abstractions into conventional programs: Software Pipelines as a silly functional programming trick. We show how the stream/pipe abstraction can sometimes be converted to many students is streams (in the language of Abelson/Sussman [1]) or pipes (in the language of Norvig

  14. Tool-Assisted Unit-Test Generation and Selection Based on Operational Abstractions

    E-Print Network [OSTI]

    Xie, Tao

    Tool-Assisted Unit-Test Generation and Selection Based on Operational Abstractions Tao Xie1 of Washington, Seattle, WA 98105 Abstract. Unit testing, a common step in software development, presents a chal- lenge. When produced manually, unit test suites are often insufficient to identify defects. The main

  15. Abstract, International Applied Geochemistry Symposium, 2009 Peat groundwater as a medium for surficial geochemical exploration

    E-Print Network [OSTI]

    Abstract, International Applied Geochemistry Symposium, 2009 1 Peat groundwater as a medium-mail: stew.hamilton@ontario.ca) ABSTRACT: Kimberlite-specific chemical responses are visible in shallow peat and migrated through the Tyrell Sea sediment into shallow peat groundwater. The presence of elevated values

  16. The iTron Family of Geocast Games (Extended Abstract) Robert J. Hall

    E-Print Network [OSTI]

    Fisher, Kathleen

    hand, while physical activity and motor skill development are inherent in athletic and sports gamesThe iTron Family of Geocast Games (Extended Abstract) Robert J. Hall AT&T Labs Research Florham Park, NJ, USA hall@research.att.com Abstract--Geocast games are a new class of digital multi- player

  17. Radiological and Environmental Research Division annual report, July 1979-June 1980. [Lead abstract

    SciTech Connect (OSTI)

    Rowland, R.E.; Stehney, A.F.

    1981-05-01T23:59:59.000Z

    Separate abstracts were prepared for 19 of the 33 papers presented by the Center for Human Radiobiology for the Radiological and Environmental Research Division Annual Report. The 14 items not included are abstracts only and deal with the mechanisms and dosimetry for induction of malignancies by radium. (KRM)

  18. A Study of Loop Style and Abstraction in Pedagogic Practice David J. Barnes

    E-Print Network [OSTI]

    Kent, University of

    A Study of Loop Style and Abstraction in Pedagogic Practice David J. Barnes School of Computing: Abstraction, exit-in-the-middle problems, iteration, object orientation, pedagogy, structured programming. 1 the research tradition that our role is to question and not to worship we sought to investigate the deployment

  19. Formal verification of a static analyzer: abstract interpretation in type theory

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt xavier.leroy@inria.fr (Joint work with David Pichardie, Sandrine Blazy, Jacques-Henri Jourdan, and Vincent Laporte.) Abstract Static analysis is the automatic inference and checking of simple

  20. NOAA, 2012 Climate Prediction Applications Science Workshop, Climate Services for National Security Challenges: Abstract Submission

    E-Print Network [OSTI]

    Miami, University of

    Challenges: Abstract Submission Presentation Title: Real-time Energy and Climate Simulations: Tools Lynmar Ave., Asheville NC 28804, apjones@climateinteractive.org Presentation Abstract: Under the United.org. #12;Two journal articles are currently under review on this work, one (on the model) at "Climatic

  1. ECMI2008 Abstract Agent-Based Simulation as a Novel Decision Support Tool for Retail Managers

    E-Print Network [OSTI]

    Aickelin, Uwe

    ECMI2008 Abstract Agent-Based Simulation as a Novel Decision Support Tool for Retail Managers Dr Strategy, Learning & Change (LUBS), Leeds, LS2 9JT, UK Abstract: Intelligent agents offer a new and exciting way of understanding the world of work. We apply agent-based simulation to investigate a set

  2. From mind to matter: neural correlates of abstract and concrete mindsets

    E-Print Network [OSTI]

    Anat, Maril,

    From mind to matter: neural correlates of abstract and concrete mindsets Michael Gilead,1 Nira Scopus, Jerusalem 91905, Israel Much work in the field of social cognition shows that adopting an abstract (vs concrete) mindset alters the way people construe the world, thereby exerting substantial

  3. Edinburgh Research Explorer Quantifying the implicit process flow abstraction in SBGN-PD

    E-Print Network [OSTI]

    Millar, Andrew J.

    Edinburgh Research Explorer Quantifying the implicit process flow abstraction in SBGN-PD diagrams the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA'. in Proceedings of COMPMOD 2009. ETPCS to publication record in Edinburgh Research Explorer Published In: Proceedings of COMPMOD 2009 General rights

  4. BPM-in-the-Large Towards a higher level of abstraction in Business Process Management

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    BPM-in-the-Large ­ Towards a higher level of abstraction in Business Process Management Constantin@idi.ntnu.no Abstract. Business Process Management (BPM) has gained tremendous importance in recent years and BPM that existing approaches have problems dealing with the enormous challenges real-life BPM projects are facing

  5. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 3, MARCH 1997 157 On the Practical Need for Abstraction Relations

    E-Print Network [OSTI]

    ) and abstraction relation (right). 1.1 Prior Work on Abstraction Relations Previous work involving modular for Abstraction Relations to Verify Abstract Data Type Representations Murali Sitaraman, Member, IEEE Computer Society, Bruce W. Weide, Member, IEEE, and William F. Ogden, Member, IEEE Computer Society Abstract

  6. Competition between abstraction and exchange channels in H + HCN reaction: Full-dimensional quantum dynamics

    SciTech Connect (OSTI)

    Jiang, Bin; Guo, Hua, E-mail: hguo@unm.edu [Department of Chemistry and Chemical Biology, University of New Mexico, Albuquerque, New Mexico 87131 (United States)] [Department of Chemistry and Chemical Biology, University of New Mexico, Albuquerque, New Mexico 87131 (United States)

    2013-12-14T23:59:59.000Z

    Dynamics of the title reaction is investigated on an ab initio based potential energy surface using a full-dimensional quantum wave packet method within the centrifugal sudden approximation. It is shown that the reaction between H and HCN leads to both the hydrogen exchange and hydrogen abstraction channels. The exchange channel has a lower threshold and larger cross section than the abstraction channel. It also has more oscillations due apparently to quantum resonances. Both channels are affected by long-lived resonances supported by potential wells. Comparison with experimental cross sections indicates underestimation of the abstraction barrier height.

  7. Abstract Error Groups Via Jones Unitary Braid Group Representations at q=i

    E-Print Network [OSTI]

    Yong Zhang

    2009-02-02T23:59:59.000Z

    In this paper, we classify a type of abstract groups by the central products of dihedral groups and quaternion groups. We recognize them as abstract error groups which are often not isomorphic to the Pauli groups in the literature. We show the corresponding nice error bases equivalent to the Pauli error bases modulo phase factors. The extension of these abstract groups by the symmetric group are finite images of the Jones unitary representations (or modulo a phase factor) of the braid group at q=i or r=4. We hope this work can finally lead to new families of quantum error correction codes via the representation theory of the braid group.

  8. Effects of Word Abstractness in a Connectionist Model of Deep Dyslexia

    E-Print Network [OSTI]

    Plaut, David C.

    Effects of Word Abstractness in a Connectionist Model of Deep Dyslexia David C. Plaut School with "concrete word dyslexia." Introduction Extensive work within cognitive neuropsychology sug- gests article, "Deep Dyslexia since 1980," Coltheart, Patterson & Marshall (1987) ar- guethat deepdyslexia

  9. E-Print Network 3.0 - ads abstract service Sample Search Results

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

    search results for: ads abstract service Page: << < 1 2 3 4 5 > >> 1 Software & Systems Engineering (TUM) Service White Paper 03.07.2006 1 Summary: system behavior view....

  10. Abstract--The deployment of small (generators, heat and electrical storage, efficiency investments,

    E-Print Network [OSTI]

    Guillas, Serge

    1 Abstract--The deployment of small (generators, heat and electrical storage-CAM], extended to incorporate electrical storage options. DER-CAM chooses annual energy bill minimizing systems management systems, cogeneration, cooling, cost optimal control, dispersed storage and generation

  11. ONE-PAGE BRIEF: Competitive Grant Report EP2007-30 Abstract: The project

    E-Print Network [OSTI]

    Debinski, Diane M.

    ONE-PAGE BRIEF: Competitive Grant Report EP2007-30 Abstract: The project explored the effects Heritage Foundation More details: www.leopold.iastate.edu/ research/grants/2011-1/ EP2007-30.pdf #12;

  12. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra

    E-Print Network [OSTI]

    Boyer, Edmond

    , the Parma Polyhedra Library (PPL) [1], version 1.0, which implements several relational numerical abstract library for convex polyhedra, similar in features to the polyhedra libraries at the core of PPL and Apron

  13. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra

    E-Print Network [OSTI]

    Monniaux, David

    , the Parma Polyhedra Library (PPL) [1], version 1.0, which implements several relational numerical abstract for convex polyhedra, similar in features to the polyhedra libraries at the core of PPL and Apron. One method

  14. Eighteenth symposium on biotechnology for fuels and chemicals: Program and abstracts

    SciTech Connect (OSTI)

    NONE

    1996-12-31T23:59:59.000Z

    This volume provides the proceedings for the Eighteenth Symposium on Biotechnology for Fuels and Chemicals held May 5-9, 1996 in Gatlinburg, Tennessee. The proceedings contains abstracts for oral and poster presentations.

  15. Projected Economic Returns from Alternative Water Conservation Techniques -- Southern High Plains of Texas. (Abstract)

    E-Print Network [OSTI]

    Young, Kenneth B.; Kuehler, Anthony

    1975-01-01T23:59:59.000Z

    PLAINS OF TEXAS Kenneth B. Young and Anthony Kuehler * ABSTRACT Amounts of water available from the Ogallala aquifer are being diminished since discharge flows exceed recharge flows in the High Plains of Texas where groundwaters have been developed...

  16. E-Print Network 3.0 - abstracts search period Sample Search Results

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

    the period you wish to search. 12;2 PsycINFO user guide September 2002 Enter your search term or terms... PsycINFO user guide citations summaries abstracts journal...

  17. E-Print Network 3.0 - abstract index journal Sample Search Results

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

    www.ncbi.nlm.nih.goventrezquery.fcgi To search PubMed--fill in search box enter search terms, or enter author name, or journal titles... on Abstract or click on Display ......

  18. Abstract--Electric energy transmission is essential for the operation of competitive energy markets. Transmission

    E-Print Network [OSTI]

    Catholic University of Chile (Universidad Católica de Chile)

    1 Abstract-- Electric energy transmission is essential for the operation of competitive energy markets. Transmission expansion planning has been defined as a complex combinatorial optimization problem. The model proposed generates expansion plans under the Pareto optimality approach. It shows acceptable

  19. E-Print Network 3.0 - abstract og upload Sample Search Results

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

    (LOM) nr. 4 -2010 ISSN: 1903-248X http:forskningsnettet.dklom 1 Summary: datalogi, ph.d.-studerende Aalborg Universitet Abstract I forret 2008 blev der etableret et...

  20. Abstract The typing of single nucleotide polymorphisms (SNPs) located throughout the mitochondrial genome

    E-Print Network [OSTI]

    Abstract The typing of single nucleotide polymorphisms (SNPs) located throughout the mitochondrialGenome and subsequent primer extension. By enzymatically incorporating fluorescently labeled dideoxy- nucleotides (dd extension · Single nucleotide polymorphism · Multiplex PCR Introduction The increasing use of mitochondrial

  1. Meteoritics & Planetary Science 38, Nr 6, 871885 (2003) Abstract available online at http://meteoritics.org

    E-Print Network [OSTI]

    Hamilton, Victoria E.

    Meteoritics & Planetary Science 38, Nr 6, 871­885 (2003) Abstract available online at http://meteoritics.org 871 © Meteoritical Society, 2003. Printed in USA. Searching for the source regions of martian

  2. Geometric abstractions to support disassembly analysis N. SHYAMSUNDAR and RAJIT GADH

    E-Print Network [OSTI]

    California at Los Angeles, University of

    Geometric abstractions to support disassembly analysis N. SHYAMSUNDAR and RAJIT GADH I-mail: gadh@engr.wisc.edu Received March 1997 and accepted October 1997 Determining whether an assembly can

  3. Long-term Abstract Learning of Attentional Set Andrew B. Leber

    E-Print Network [OSTI]

    Leber, Andy

    Long-term Abstract Learning of Attentional Set Andrew B. Leber University of New Hampshire Jun in which they are used (see Cooper & Shallice, 2000; Norman & Shallice, 1986; see also Logan, 1988); after

  4. SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques

    E-Print Network [OSTI]

    Clarke, Edmund M.

    be used to bridge this gap. Such abstraction techniques must preserve all the behaviors of the concrete behavior. This This research was sponsored by the Semiconductor Research Corporation (SRC) under contract

  5. Regulatory and technical reports (abstract index journal): Annual compilation for 1996, Volume 21, No. 4

    SciTech Connect (OSTI)

    Sheehan, M.A.

    1997-04-01T23:59:59.000Z

    This compilation is the annual cumulation of bibliographic data and abstracts for the formal regulatory and technical reports issued by the U.S. Nuclear Regulatory Commission (NRC) Staff and its contractors.

  6. AbstractStock-rebuilding time iso pleths relate constant levels of fishing

    E-Print Network [OSTI]

    519 AbstractStock-rebuilding time iso pleths relate constant levels of fishing mortality (F. Iso pleths calculated in previous studies by deterministic models approximate median, rather than mean

  7. E-Print Network 3.0 - agenda abstracts index Sample Search Results

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

    Science and Engineering Pohang, Republic of Korea lcj80,hugman,gblee@postech.ac.kr Abstract... This work presents an agenda-based approach to improve the robustness of the...

  8. E-Print Network 3.0 - abstracting domain expertise Sample Search...

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

    in an Organizational Setting David W. McDonald Information and Computer... @ics.uci.edu ABSTRACT This work explores how information systems can be augmented to assist users in...

  9. E-Print Network 3.0 - abstracts anais da Sample Search Results

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

    Textura de superf citas com sistemas de part Summary: , 22451041 Rio de Janeiro, RJ, Brasil lhf@icad.puc-rio.br Abstract. We present a new method for applying... coordenadas da...

  10. E-Print Network 3.0 - abstract 2006-2007 progress Sample Search...

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

    WiMAX Forum "WiMAX ForumTM" and "WiMAX Forum CERTIFIEDTM" are Summary: , Scheduling PHY Model: Channel models, MIMO, ..., PHY abstraction 12;Copyright 2004, 2005, 2006, 2007...

  11. Abstract --Cybersecurity research demands extensive experimentation to be validated. This experimentation is

    E-Print Network [OSTI]

    Faber, Ted

    1 Abstract -- Cybersecurity research demands extensive experimentation to be validated to modern society, concerns about cybersecurity become increasingly important. The challenge of securing. In response to these factors, the cybersecurity research community demands increasingly realistic

  12. Goldschmidt Conference Abstracts 2008A360 Mineralogical coevolution of the geo-

    E-Print Network [OSTI]

    Downs, Robert T.

    Goldschmidt Conference Abstracts 2008A360 Mineralogical coevolution of the geo- and biospheres R, USA The mineralogy of terrestrial planets evolves as a consequence of varied physical, chemical 1500 different mineral species. Biological processes began to affect Earth's surface mineralogy

  13. Math 402/502 Introduction to Abstract Algebra II Spring 2010 Instructor Amites Sarkar

    E-Print Network [OSTI]

    Sarkar, Amites

    Math 402/502 Introduction to Abstract Algebra II Spring 2010 Instructor Amites Sarkar Text, Wednesdays, Thursdays and Fridays, in 216 Bond Hall. My phone number is 650 7569 and my e-mail is amites.sarkar

  14. Math 401 Introduction to Abstract Algebra Winter 2009 Instructor Amites Sarkar

    E-Print Network [OSTI]

    Sarkar, Amites

    Math 401 Introduction to Abstract Algebra Winter 2009 Instructor Amites Sarkar Text A First Course number is 650 7569 and my e-mail is amites.sarkar@wwu.edu #12;

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

    SciTech Connect (OSTI)

    NONE

    1995-03-01T23:59:59.000Z

    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.

  16. Short note on achievable LIP rates using the Warren Abstract Prolog Machine

    SciTech Connect (OSTI)

    Gabriel, J.; Lindholm, T.G.; Lusk, E.L.; Overbeek, R.A.

    1984-10-01T23:59:59.000Z

    The Abstract Prolog Machine proposed by David Warren in 1983 has attracted a great deal of interest. The authors have implemented a loader and an interpreter for the Warren Machine in C, and an assembler in Prolog for the Warren Machine instruction set. The work was done on a VAX 11/780. This document summarizes attainable LIP rates for the VAX, demonstrates that a portable implementation of Prolog on a VAX is capable of reaching 80 to 110 instructions per logical inference, and offers some quantitative basis for evaluating the relative merits of interpreting abstract machine code in C versus compiling directly to C.

  17. March 19, 2008 1 Abstract--In this paper, we continue to analyze optimal

    E-Print Network [OSTI]

    Oren, Shmuel S.

    optimal power flow (DCOPF) used to dispatch generators to meet load in an efficient manner. We then useMarch 19, 2008 1 Abstract--In this paper, we continue to analyze optimal dispatch of generation the state of the transmission element (line or transformer). Previous research showed a 25% savings

  18. Abstract A model of "distributed cognition" is con-trasted with the "mental representation" model exempli-

    E-Print Network [OSTI]

    Kirsh, David

    of human cognition. By the same token, however, T&C's use of the MR model subjects their efforts to a setAbstract A model of "distributed cognition" is con- trasted with the "mental representation" model, this model characterizes cognition as "co-con- structed" by the participants. This approach is thus partic

  19. Abstract This paper reviews specific issues and challenges in reactive power management within the competitive electricity

    E-Print Network [OSTI]

    Gross, George

    and physical considerations and so depends on the market players and the electricity market rules. Reactive local nature of reactive power restricts its ability to be transmitted over electrically large distancesAbstract ­ This paper reviews specific issues and challenges in reactive power management within

  20. SOLAR BATTERY CHARGERS FOR NIMH BATTERIES1 Abstract -This paper proposes new solar battery

    E-Print Network [OSTI]

    Lehman, Brad

    SOLAR BATTERY CHARGERS FOR NIMH BATTERIES1 Abstract - This paper proposes new solar battery chargers for NiMH batteries. Used with portable solar panels, existing charge control methods are shown of consumer portable solar arrays. These new arrays are lightweight, durable, and flexible and have been

  1. Abstract--Thoracocardiography approach pretends to non-invasively monitor stroke volume by inductive

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Abstract--Thoracocardiography approach pretends to non- invasively monitor stroke volume. The purpose of this study was to investigate the potential of thoracocardiography to estimate stroke volumes while apnea with open glottis. We hypothesized that, when glottis is open, stroke volumes would

  2. Abstract--Understanding the in-teractions between kelp beds and

    E-Print Network [OSTI]

    189 Abstract--Understanding the in- teractions between kelp beds and nearshore fish is essential for fishes. In this study fish communities were inves- tigated in south-central Alaska kelp beds characterized by a range of sub- strate complexity and varying den- sities of both perennial understory kelps

  3. Abstract No. jone0514 Elemental Distributions for NY/NJ Harbor Sediments

    E-Print Network [OSTI]

    Brookhaven National Laboratory

    Abstract No. jone0514 Elemental Distributions for NY/NJ Harbor Sediments K. Jones (BNL), H. Feng (Montclair State U.) and A. Lanzirotti (U. of Chicago) Beamline(s): X26A Sediments in the New York/New Jersey Waterways Sediments, is a useful material for use in investigation of the spatial variability. This standard

  4. Abstract No. jone0499 FTIR Measurement of Organic Functional Groups in NY/NJ Harbor Sediments

    E-Print Network [OSTI]

    Brookhaven National Laboratory

    Abstract No. jone0499 FTIR Measurement of Organic Functional Groups in NY/NJ Harbor Sediments H. Jones (BNL) Beamline(s): U2B Sediments in urban rivers and estuaries are usually contaminated contaminated sediments cause to the environment and human health is now widely recognized and has stimulated

  5. BOOK OF ABSTRACTS The 12 th International Symposium on Society and Resource Management

    E-Print Network [OSTI]

    Book Of Abstracts; Wolfgang Haider (chair

    2006-01-01T23:59:59.000Z

    www.issrm2006.rem.sfu.ca Text was entered into the abstract database directly by the authors, who are therefore responsible for the content and accuracy. Opinions expressed may not necessarily reflect the position of the ISSRM 2006 Organizing Committee, Simon Fraser University or University of British Columbia. The 12 th International Symposium on Society and Resource Management

  6. A Do-It-All-Cipher for RFID: Design Requirements (Extended Abstract)

    E-Print Network [OSTI]

    A Do-It-All-Cipher for RFID: Design Requirements (Extended Abstract) Markku-Juhani O. Saarinen that are present in real-life RFID systems. We give an overview of requirements emerging or already present in the widely deployed EPCGlobal Gen2 and ISO / IEC 18000-63 passive UHF RFID air interface standards

  7. Thirty-seventh ORNL/DOE conference on analytical chemistry in energy technology: Abstracts of papers

    SciTech Connect (OSTI)

    NONE

    1997-12-31T23:59:59.000Z

    Abstracts only are given for papers presented during the following topical sessions: Opportunities for collaboration: Industry, academic, national laboratories; Developments in sensor technology; Analysis in containment facilities; Improving the quality of environmental data; Process analysis; Field analysis; Radiological separations; Interactive analytical seminars; Measurements and chemical industry initiatives; and Isotopic measurements and mass spectroscopy.

  8. ABSTRACT. The corrosion behavior of iron-aluminum alloys and their potential

    E-Print Network [OSTI]

    DuPont, John N.

    ABSTRACT. The corrosion behavior of iron-aluminum alloys and their potential as protective corrosion claddings in sul- fidizing environments were investigated. As-solidified castings of Fe-Al alloys characterization of the corrosion scales consisted of sur- face and cross-sectional microscopy in combination

  9. Abstract--Airborne pollution and explosive gases threaten human health and occupational safety, therefore generating high

    E-Print Network [OSTI]

    Mason, Andrew

    Abstract--Airborne pollution and explosive gases threaten human health and occupational safety and a thumb-drive sized prototype system. I. INTRODUCTION xposure to air pollution consistently ranks among to occupational safety as energy demands rise. Airborne pollutants and explosive gases vary in both time and space

  10. Demo Abstract: A Cooja-based Tool for Maintaining Sensor Network Coverage Requirements in a Building

    E-Print Network [OSTI]

    Sreenan, Cormac J.

    Design, Reliability, Performance Keywords Sensor Networks, Post-Deployment, Coverage Maintenance 1 Technologies Research Center (UTRC) Ireland Ltd FedorS@utrc.utc.com ABSTRACT Contiki's Cooja is a very popular requirement when active nodes fail and report failures that require phys- ical maintenance. This tool allows

  11. VT-2014-00407.R1 1 Abstract--Simulation-based design optimization of an electric

    E-Print Network [OSTI]

    Papalambros, Panos

    of a motor design, thus confining its application to the early conceptual design stage. Practical electric analysis accuracy and efficiency, direct integration of a motor model into a system optimization model hasVT-2014-00407.R1 1 Abstract--Simulation-based design optimization of an electric vehicle (EV

  12. Abstract--Recent developments on mobile devices and wireless technologies enable new technical capabilities for the

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Abstract-- Recent developments on mobile devices and wireless technologies enable new technical technologies and the widespread use of mobile devices. In the professional environment, training employees the first time in 1994[1]. Here, location, identity, time, environment, and mobile technology have been

  13. Abstract This paper proposes Hierarchical Mobile Router Advertisement (HMRA) that manages hierarchy of

    E-Print Network [OSTI]

    of the Ministry of Science and Technology, 2003, Korea. more mobile routers (MRs) that connect it to the globalAbstract This paper proposes Hierarchical Mobile Router Advertisement (HMRA) that manages hierarchy of the mobile routers in nested mobile networks. Nested mobile network contains mobile networks

  14. Holte, Mkadmi, Zimmer, MacDonald 1 AI Journal (Revised) Speeding Up Problem Solving by Abstraction

    E-Print Network [OSTI]

    Holte, Robert

    Holte, Mkadmi, Zimmer, MacDonald 1 AI Journal (Revised) Speeding Up Problem Solving by Abstraction, Uxbridge, England, UB8 3PH. Robert.Zimmer@brunel.ac.uk A.J. MacDonald Electrical Eng. Dept., Brunel to drive between two locations in a city or country. #12;Holte, Mkadmi, Zimmer, MacDonald 2 AI Journal

  15. Abstract Southwest Greenland provides wintering grounds for 70% (~460,000) of the northern common

    E-Print Network [OSTI]

    Abstract Southwest Greenland provides wintering grounds for 70% (~460,000) of the northern common in the eastern Canadian Arctic and western Greenland (Abraham and Finney 1986; Boertmann et al. 1996; Merkel 2004a). All birds from western Greenland and most Canadian breeders, about 70% (463

  16. Advances in Electrical and Computer Engineering Abstract--The linear, binary, block codes with no equally

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Advances in Electrical and Computer Engineering 1 Abstract-- The linear, binary, block codes block codes is proposed. These codes are seen as sources with memory and the information quantities H(S,X), H(S), H(X), H(X|S), H(S|X), I(S,X) are derived. On the base of these quantities, the code

  17. Abstract --In electromagnetic applications, hysteresis phenomena in magnetic materials are responsible of

    E-Print Network [OSTI]

    Boyer, Edmond

    rotation. Furthermore, based on the balance of chemical equation analogies, this model has the advantage13. M M Abstract -- In electromagnetic applications, hysteresis phenomena in magnetic materials the implementation proceeding used for some hysteresis material models and how they are applied in a sensor study

  18. ABSTRACT Genomics and bioinformatics have the vast potential to identify genes that cause disease by investigating

    E-Print Network [OSTI]

    Hammock, Bruce D.

    ABSTRACT Genomics and bioinformatics have the vast potential to identify genes that cause disease by investigating whole-genome databases. Comparison of an individual's geno- type with a genomic database these metabolic profiles with genomic, expression, and proteomic databases. Application of the knowledge of indi

  19. Abstract--Thirty-three skipjack tuna (Katsuwonus pelamis) (53-73 cm fork

    E-Print Network [OSTI]

    379 Abstract--Thirty-three skipjack tuna (Katsuwonus pelamis) (53-73 cm fork length) were caught) Vertical movement patterns of skipjack tuna (Katsuwonus pelamis) in the eastern equatorial Pacific Ocean, California 92037-1508 Limited information on the vertical movements of skipjack tuna (Kat- suwonus pelamis

  20. CAB Abstracts includes over 7,200,000 bibliographic records dating from 1910 to

    E-Print Network [OSTI]

    Kammen, Daniel M.

    . · Terms can be connected with search operators: AND, OR, NOT, or SAME. · If no operators are specified, abstracts, and descriptors (subject terms); choose Title from the drop-down search menu to restrict your articles by Kenneth J. Carpenter, click , enter Carpenter K in the search box, and click Move To. 2. Click

  1. Abstract.-Stable nitrogen (/ll5Nl and carbon (/ll3CI isotope measure-

    E-Print Network [OSTI]

    540 Abstract.-Stable nitrogen (/ll5Nl and carbon (/ll3CI isotope measure- ments were used and the Gulfof Mexico Loop Current. Use of stable isotopes to assess groups of king mackerel, Scomberomorus caval), the carbon isotopic composition of a food source is not substantially altered during assimilation. De

  2. Abstracts of papers presented at SRI '95 Status of the Advanced Photon Source at Argonne National

    E-Print Network [OSTI]

    Abstracts of papers presented at SRI '95 Status of the Advanced Photon Source at Argonne National Laboratory David E. Moncton Advanced Photon Source, Argonne National Laboratory, Argonne, Illinois 60439 Presented on 18 October 1995 The Advanced Photon Source at Argonne National Laboratory is a third

  3. Regulatory and technical reports: (Abstract index journal). Compilation for first quarter 1997, January--March

    SciTech Connect (OSTI)

    Sheehan, M.A.

    1997-06-01T23:59:59.000Z

    This compilation consists of bibliographic data and abstracts for the formal regulatory and technical reports issued by the U.S. Nuclear Regulatory Commission (NRC) Staff and its contractors. This compilation is published quarterly and cummulated annually. Reports consist of staff-originated reports, NRC-sponsored conference reports, NRC contractor-prepared reports, and international agreement reports.

  4. IDENTIFICATION NUMBER: 4ME20 Abstract--Artificial welding of melt-textured YBCO blocks

    E-Print Network [OSTI]

    Politècnica de Catalunya, Universitat

    1 IDENTIFICATION NUMBER: 4ME20 Abstract--Artificial welding of melt-textured YBCO blocks opens the superconducting quality of the welds, we have developed a Hall probe mapping system, able to record the local to characterize welded samples prepared with a new Ag induced surface melting joining technique. The magnetization

  5. ABSTRACT. Keyhole plasma arc welding is a unique arc welding process for deep

    E-Print Network [OSTI]

    Zhang, YuMing

    ABSTRACT. Keyhole plasma arc welding is a unique arc welding process for deep penetration. To ensure the quality of the welds, the presence of the keyhole is crit- ical. Understanding of the keyhole will certainly benefit the improvement of the process and weld quality. Currently, the size of the keyhole

  6. International Kimberlite Conference Long Abstract 1 ECLOGITES FROM THE GRIB KIMBERLITE PIPE,

    E-Print Network [OSTI]

    Taylor, Lawrence A.

    8th International Kimberlite Conference Long Abstract 1 ECLOGITES FROM THE GRIB KIMBERLITE PIPE kimberlite pipe, Grib, in the Arkhangelsk Province of Russia. GEOLOGY OF THE ARKHANGELSK REGION The East is mostly in the form of sub-volcanic pipes (diatremes), together with some sills and dikes (Sinitsin & Grib

  7. AbstractThe red porgy, Pagrus pag rus, is an important reef fish in several

    E-Print Network [OSTI]

    81 Abstract­The red porgy, Pagrus pag rus, is an important reef fish in several offshore fisheries a fishery-independent source. Red porgy attain a maximum age of at least 18 years and 733 mm total length revealed a difference in mean length at age of red porgy from the three sources. Red porgy in fishery

  8. AbstractThe red snapper (Lutjanus campechanus) is currently under rig

    E-Print Network [OSTI]

    653 Abstract­The red snapper (Lutjanus campechanus) is currently under rig orous federal and state of annuli in otolith thin sections have been used to age many species of fish, including red snapper. However, the utility of this method for aging red snapper has been questioned by those who dispute both

  9. Abstract Cultivated tomato (Lycopersicon esculentum) encompass a wide range of fruit shape and size variants.

    E-Print Network [OSTI]

    van der Knaap, Esther

    Abstract Cultivated tomato (Lycopersicon esculentum) encompass a wide range of fruit shape and size variants. This variation can be used to genetically dissect the mo- lecular basis of ovary and fruit morphology. The cultivar Long John displays an extremely elongated fruit pheno- type, while the wild relative

  10. Abstract Cultivated tomatoes (Lycopersicon esculen-tum) encompass a wide range of fruit size and shape

    E-Print Network [OSTI]

    van der Knaap, Esther

    Abstract Cultivated tomatoes (Lycopersicon esculen- tum) encompass a wide range of fruit size of ovary and fruit development. One fruit shape variant is displayed by the cultivar Sun 1642 (TA491). TA491 has an elongated fruit phenotype, while the wild relative L. pimpinellifolium LA1589 produces

  11. Fee-For-Service Contracts in the Pharmaceutical Industry (Extended Abstract)

    E-Print Network [OSTI]

    Lin, Xiaodong

    Fee-For-Service Contracts in the Pharmaceutical Industry (Extended Abstract) Kathleen Martino and Yao Zhao Starting from 2005, the pharmaceutical industry has experienced a drastic change in the pricing contracts between manufacturers and distributors as the industry moved from the dominating Buy

  12. Electronic copy available at: http://ssrn.com/abstract=1647901 Improving Empirical Estimation of Demographic Drivers

    E-Print Network [OSTI]

    of Demographic Drivers: Fertility, Child Mortality & Malaria Ecology Gordon C. McCorda Columbia University Dalton of Demographic Drivers: Fertility, Child Mortality & Malaria Ecology Abstract Much of Africa has yet to go. Results show that child mortality is a powerfully robust driver of fertility behavior. Meeting

  13. I. Abstract Vegetation plays an important role in the surface energy and water balance of wetlands.

    E-Print Network [OSTI]

    Nebraska-Lincoln, University of

    55 I. Abstract Vegetation plays an important role in the surface energy and water balance or reverse the downward trend in streamflow. In this study, we investigated the energy and water balance had been sprayed with herbicide (and remained only as dead, standing biomass). Energy balance

  14. Unifying Undergraduate Artificial Intelligence Robotics: Layers Of Abstraction Over Two Channels

    E-Print Network [OSTI]

    Crabbe, Frederick

    Unifying Undergraduate Artificial Intelligence Robotics: Layers Of Abstraction Over Two Channels, Robotics often appears as a collection of disjoint, some- times antagonistic sub-fields. The lack robotics, and shows how these traditional sub-fields fit in to the whole. Finally, it presents a curriculum

  15. 1. ABSTRACT A 1.4-GHz LC voltage-controlled oscillator has

    E-Print Network [OSTI]

    Lee, Thomas H.

    1. ABSTRACT A 1.4-GHz LC voltage-controlled oscillator has been implemented in a MOSIS 0.5-m CMOS integrated, low noise, low power voltage-controlled oscillator (VCO). For higher quality receivers, an LC the overall phase noise. In this paper, we present such an LC voltage-controlled oscillator fabricated through

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

    E-Print Network [OSTI]

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

  17. Abstract PCR recombination describes a process of in vitro chimera formation from non-identical templates.

    E-Print Network [OSTI]

    Wendel, Jonathan F.

    Abstract PCR recombination describes a process of in vitro chimera formation from non") in a common nu- cleus, intergenic chimeras can form during the PCR am- plification of any gene. Here we report transcripts amplified via RT-PCR (Zaphiropoulos 1998). Chimera formation appears to be minimally influenced

  18. Abstract--Although Locational Marginal Pricing (LMP) plays an important role in many restructured wholesale power

    E-Print Network [OSTI]

    Tesfatsion, Leigh

    1 Abstract-- Although Locational Marginal Pricing (LMP) plays an important role in many Terms-- Locational marginal pricing, wholesale power market, AC optimal power flow, DC optimal power congestion by means of Locational Marginal Pricing (LMP), i.e., the pricing of power by the location

  19. Abstract--Implementation of Distribution Automation (DA) and Demand Side Management (DSM) intended to serve both

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Abstract--Implementation of Distribution Automation (DA) and Demand Side Management (DSM) intended with differentiate QoS in a multitasking environment. I. INTRODUCTION ODERN society demands a reliable and high by the distribution utility for the security. REMPLI (Remote Energy Management over Power Lines and Internet) system

  20. Abstract--This paper describes experimental results aiming at analyzing lithium-ion batteries performances

    E-Print Network [OSTI]

    Boyer, Edmond

    Abstract--This paper describes experimental results aiming at analyzing lithium-ion batteries (SOH) of cells. Index Terms--Lithium-ion batteries, Aging, EIS, State Of Charge, State Of Health, Fuzzy Logic System. I. INTRODUCTION Lithium ion secondary batteries are now being used in wide applications