National Library of Energy BETA

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 QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EA Jump to:ofEnia SpAFlexStock|GenesaGeographic coordinatesHoweToolkit

  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. Toolkits and interface creativity Saul Greenberg

    E-Print Network [OSTI]

    Greenberg, Saul

    Science + Business Media, LLC 2006 Abstract Interface toolkits in ordinary application areas let average undone or it becomes a poorly functioning hack. Because programmers lack appropriate training and only

  4. Integrated: Geospatial Toolkit GIS data for Nicaragua from NREL...

    Open Energy Info (EERE)

    Nicaragua from NREL (Abstract): Geographic Information Systems (GIS) data intended for use in the Geospatial toolkit or with any GIS software. (Purpose): The Solar and Wind Energy...

  5. Integrated: Geospatial Toolkit GIS data for Cuba from NREL -...

    Open Energy Info (EERE)

    Cuba from NREL (Abstract): Geographic Information Systems (GIS) data intended for use in the Geospatial toolkit or with any GIS software. (Purpose): The Solar and Wind Energy...

  6. Alternative energy design toolkit

    E-Print Network [OSTI]

    Sukkasi, Sittha

    2004-01-01

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

  7. Abstracts

    E-Print Network [OSTI]

    2013-11-13

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

  8. The MR Toolkit Peers Package and Experiment Chris Shaw and Mark Green

    E-Print Network [OSTI]

    Shaw, Chris

    The MR Toolkit Peers Package and Experiment Chris Shaw and Mark Green Department of Computing Science University of Alberta Edmonton, Alberta, T6G 2H1, CANADA cdshaw,mark@cs.ualberta.ca November 17, 1994 Abstract The MR Toolkit Peer Package is an extension to the MR Toolkit that allows multiple

  9. Spring 2015 Virtual Toolkit | Department of Energy

    Energy Savers [EERE]

    Virtual Toolkit Spring 2015 Virtual Toolkit Virtual Toolkit for the Spring 2015 BioenergizeME Infographic Challenge. bioenergizemetoolkit2015.pdf More Documents & Publications...

  10. ABSTRACT

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

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

  11. A Stateful Web Augmentation Toolkit

    E-Print Network [OSTI]

    Webber, Matthew J. (Matthew James)

    2010-01-01

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

  12. The model coupling toolkit.

    SciTech Connect (OSTI)

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

    2001-04-13

    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.

  13. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would like submit the following comments response NAESBCommercial-Marketing-Toolkit Sign In

  14. A Stochastic Processes Toolkit for Risk Management Damiano Brigo

    E-Print Network [OSTI]

    Brigo, Damiano

    A Stochastic Processes Toolkit for Risk Management Damiano Brigo , Antonio Dalessandro , Matthias Neugebauer§ , Fares Triki¶ 15 November 2007 Abstract In risk management it is desirable to grasp, although for a number of risk management applications the models developed here suffice for the first step

  15. GOODS AND SERVICES TAX (GST) The federal Goods and Services Tax (GST) applies to the majority of goods and services purchased by the

    E-Print Network [OSTI]

    Northern British Columbia, University of

    and Services" for more detailed information. The University is eligible to claim a 67% rebate of GST paid. The University's financial information system (Banner) calculates the rebate automatically when vendor invoices are paid. The The procurement card system (FAST) will also calculate a rebate when the GST portion of each

  16. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration wouldMass map shines lightGeospatial Toolkit The Geospatial Toolkit is an NREL-developed

  17. WPN 10-3: Procurement Toolkit CD

    Office of Energy Efficiency and Renewable Energy (EERE)

    To issue the Procurement Toolkit CD to all Grantees, to share with their local agencies, for use in the Weatherization Assistance Program.

  18. Review: Focus on Educating for Sustainability: Toolkit for Academic Libraries

    E-Print Network [OSTI]

    LoweWincentsen, Dawn

    2015-01-01

    Focus on Educating for Sustainability: Toolkit for AcademicFocus on Educating for Sustainability: Toolkit for Academicof chapters on sustainability in academic libraries, from

  19. Guidelines and Toolkits for Urban Transport Development in Medium...

    Open Energy Info (EERE)

    Guidelines and Toolkits for Urban Transport Development in Medium Sized Cities in India Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Guidelines and Toolkits for Urban...

  20. LBNL: Architecture 2030 District Toolkit - 2015 Peer Review ...

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

    Architecture 2030 District Toolkit - 2015 Peer Review LBNL: Architecture 2030 District Toolkit - 2015 Peer Review Presenter: Cindy Regnier, LBNL View the Presentation LBNL:...

  1. Architecture 2030 District Toolkit - 2014 BTO Peer Review | Department...

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

    Architecture 2030 District Toolkit - 2014 BTO Peer Review Architecture 2030 District Toolkit - 2014 BTO Peer Review Presenter: Cindy Regnier, Lawrence Berkeley National Laboratory...

  2. Sustainable Design and Green Building Toolkit

    E-Print Network [OSTI]

    Sustainable Design and Green Building Toolkit F O R L O C A L G O V E R N M E N T S EPA 904B10001 | June 2010 #12;Disclaimer The Sustainable Design and Green Building Toolkit for Local Governments presented at non-EPA Web sites, or guarantee the validity of the information provided. iSustainable Design

  3. Campus Toolkit What goes around comes around

    E-Print Network [OSTI]

    compostable items such as paper plates and food ware that is approved by Cedar Grove Composting or Biode2 ZERO WASTE Campus Toolkit What goes around comes around #12;11 Zero Waste Campus Toolkit created Campus Zero Waste Program. Graphics and formatting by Charles Taylor-Love and Alex Fallenstedt

  4. Advanced Network Toolkit for Assessments

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

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

  5. Publishing, Interpreting and Negotiating Scholarly Hypertexts: Evolution of an Approach and Toolkit

    E-Print Network [OSTI]

    Publishing, Interpreting and Negotiating Scholarly Hypertexts: Evolution of an Approach and Toolkit Simon Buckingham Shum & Tamara Sumner KMI-TR-57 December, 1997 Submitted for publication [http://kmi.open.ac.uk/kmi-abstracts/kmi-tr-57-abstract.html]. #12;Publishing, Interpreting and Negotiating Scholarly Hypertexts: Evolution

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

  7. Comparison of open source visual analytics toolkits.

    SciTech Connect (OSTI)

    Crossno, Patricia Joyce; Harger, John R.

    2010-11-01

    We present the results of the first stage of a two-stage evaluation of open source visual analytics packages. This stage is a broad feature comparison over a range of open source toolkits. Although we had originally intended to restrict ourselves to comparing visual analytics toolkits, we quickly found that very few were available. So we expanded our study to include information visualization, graph analysis, and statistical packages. We examine three aspects of each toolkit: visualization functions, analysis capabilities, and development environments. With respect to development environments, we look at platforms, language bindings, multi-threading/parallelism, user interface frameworks, ease of installation, documentation, and whether the package is still being actively developed.

  8. Link to Change Management Toolkit: www.shef.ac.uk/hr/guidance/change/toolkit WITH EFFECT FROM 1 MAY 2013

    E-Print Network [OSTI]

    Dixon, Peter

    Human Resources. 1 Link to Change Management Toolkit: www.shef.ac.uk/hr/guidance/change with the Change Management Policy and suite of documents. 1.7 It is recognised that all change, on an individual to Change Management Toolkit: www.shef.ac.uk/hr/guidance/change/toolkit 2.1.3. All necessary and relevant

  9. A toolkit for building earth system models

    SciTech Connect (OSTI)

    Foster, I.

    1993-03-01

    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. A toolkit for building earth system models

    SciTech Connect (OSTI)

    Foster, I.

    1993-03-01

    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.

  11. A toolkit for detecting technical surprise.

    SciTech Connect (OSTI)

    Trahan, Michael Wayne; Foehse, Mark C.

    2010-10-01

    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.

  12. Knowledge information management toolkit and method

    DOE Patents [OSTI]

    Hempstead, Antoinette R.; Brown, Kenneth L.

    2006-08-15

    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.

  13. Application experiences with the Globus toolkit.

    SciTech Connect (OSTI)

    Brunett, S.

    1998-06-09

    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.

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

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

    - Best Practice DesignConfiguration Cyber Security Audit and Attack Detection Toolkit: National SCADA Test Bed May 2008 DOEOE National SCADA Test Bed Fiscal Year 2009 Work Plan...

  15. Integrated: Geospatial Toolkit GIS data for Oaxaca from NREL...

    Open Energy Info (EERE)

    show good potential for renewable energy projects. The toolkit displays renewable energy data along with information about the geography, location of population centers,...

  16. Integrated: Geospatial Toolkit GIS data for India from NREL ...

    Open Energy Info (EERE)

    show good potential for renewable energy projects. The toolkit displays renewable energy data along with information about the geography, location of population centers,...

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

    SciTech Connect (OSTI)

    Young, K.

    2014-04-01

    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. Link to Change Management Toolkit: www.shef.ac.uk/hr/guidance/change/toolkit WITH EFFECT FROM 1 MAY 2013

    E-Print Network [OSTI]

    Dixon, Peter

    Human Resources. 1 Link to Change Management Toolkit: www.shef.ac.uk/hr/guidance/change/toolkit WITH EFFECT FROM 1 MAY 2013 CHANGE MANAGEMENT POLICY INTRODUCTION Change, and the need for change of staff. The purpose of the Change Management policy and its related procedures (for Restructuring

  19. 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 QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavyAgencyTendo New EnergyWind Power Co Ltd JumpAssessment Toolkit

  20. 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 Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EISTJThin Film SolarTown ofTransportToolkit Prototype Jump to:

  1. 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 QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowaWisconsin:PontiacInformationAssessment Toolkit Jump to: navigation,

  2. 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 QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy ElectricalsFTLTechnologySA Jump to:Impact Assessment Toolkit

  3. WAP Memorandum 015: Weatherization Financial Toolkit – 2 CFR 200 Regulations and Procurement Procedures

    Office of Energy Efficiency and Renewable Energy (EERE)

    This Memorandum serves to update and supersede the Financial Toolkit, previously issued in Weatherization Program Notice (WPN) 12-4, Weatherization Assistance Program Financial Management Training Toolkit dated December 9, 2011, and the Procurement Toolkit previously issued in WPN 10-3, Procurement Toolkit CD, dated October 30, 2009.

  4. Monitoring Extreme-scale Lustre Toolkit

    SciTech Connect (OSTI)

    Brim, Michael J; Lothian, Josh

    2015-01-01

    We discuss the design and ongoing development of the Monitoring Extreme-scale Lustre Toolkit (MELT), a unified Lustre performance monitoring and analysis infrastructure that provides continuous, low-overhead summary information on the health and performance of Lustre, as well as on-demand, in-depth problem diagnosis and root-cause analysis. The MELT infrastructure leverages a distributed overlay network to enable monitoring of center-wide Lustre filesystems where clients are located across many network domains. We preview interactive command-line utilities that help administrators and users to observe Lustre performance at various levels of resolution, from individual servers or clients to whole filesystems, including job-level reporting. Finally, we discuss our future plans for automating the root-cause analysis of common Lustre performance problems.

  5. Data Exploration Toolkit for serial diffraction experiments

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

    Zeldin, Oliver B.; Brewster, Aaron S.; Hattne, Johan; Uervirojnangkoorn, Monarin; Lyubimov, Artem Y.; Zhou, Qiangjun; Zhao, Minglei; Weis, William I.; Sauter, Nicholas K.; Brunger, Axel T.

    2015-01-23

    Ultrafast diffraction at X-ray free-electron lasers (XFELs) has the potential to yield new insights into important biological systems that produce radiation-sensitive crystals. An unavoidable feature of the 'diffraction before destruction' nature of these experiments is that images are obtained from many distinct crystals and/or different regions of the same crystal. Combined with other sources of XFEL shot-to-shot variation, this introduces significant heterogeneity into the diffraction data, complicating processing and interpretation. To enable researchers to get the most from their collected data, a toolkit is presented that provides insights into the quality of, and the variation present in, serial crystallography datamore »sets. These tools operate on the unmerged, partial intensity integration results from many individual crystals, and can be used on two levels: firstly to guide the experimental strategy during data collection, and secondly to help users make informed choices during data processing.« less

  6. Vision on tap : an online computer vision toolkit

    E-Print Network [OSTI]

    Chiu, Kevin (Kevin Geeyoung)

    2011-01-01

    In this thesis, we present an online toolkit, based on a combination of a Scratch-based programming environment and computer vision libraries, manifested as blocks within the environment, integrated with a community platform ...

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

    Energy Savers [EERE]

    National SCADA Test Bed May 2008 Cyber Security Audit and Attack Detection Toolkit: National SCADA Test Bed May 2008 This project of the cyber security audit and attack detection...

  8. Development of the Potential Energy Savings Estimation (PESE) Toolkit 

    E-Print Network [OSTI]

    Liu, J.; Baltazar, J. C.; Claridge, D. E.

    2010-01-01

    This study has developed a prototype computer tool called the Potential Energy Savings Estimation (PESE) Toolkit. Baltazar’s methodology for potential energy savings estimation from EBCx/retrofit measures has been improved ...

  9. Integrated: Geospatial Toolkit for Honduras from NREL - Datasets...

    Open Energy Info (EERE)

    and easy to use geographic toolkit that allows non-GIS users to relate the renewable energy resource (solar and wind) data to other geographic data, such as land use, protected...

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

  11. Validation of Power Output for the WIND Toolkit

    SciTech Connect (OSTI)

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

    2014-09-01

    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.

  12. Lead User's theory adapted to services: Towards Service User's Toolkit

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    1 Lead User's theory adapted to services: Towards Service User's Toolkit E. Stevens Prof under the perspective of networks and communities. Lead User's theory (LUT) focused mainly is to adapt lead user's theory and practice to the specific case of the intangible processes and services

  13. Waste Toolkit A-Z Electrical (non-hazardous)

    E-Print Network [OSTI]

    Melham, Tom

    Waste Toolkit A-Z Electrical (non-hazardous) What are non-hazardous electrical items? Non-hazardous of non-haz WEEE? Departments must make their own arrangements (and pay for) for the collection of non-hazardous not be used for the disposal of non-hazardous waste. What is considered hazardous? If your waste is classified

  14. Capturing and Using Knowledge about the Use of Visualization Toolkits

    SciTech Connect (OSTI)

    Del Rio, Nicholas R.; Pinheiro da Silva, Paulo

    2012-11-02

    When constructing visualization pipelines using toolkits such as Visualization Toolkit (VTK) and Generic Mapping Tools (GMT), developers must understand (1) what toolkit operators will transform their data from its raw state to some required view state and (2) what viewers are available to present the generated view. Traditionally, developers learn about how to construct visualization pipelines by reading documentation and inspecting code examples, which can be costly in terms of the time and effort expended. Once an initial pipeline is constructed, developers may still have to undergo a trial and error process before a satisfactory visualization is generated. This paper presents the Visualization Knowledge Project (VisKo) that is built on a knowledge base of visualization toolkit operators and how they can be piped together to form visualization pipelines. Developers may now rely on VisKo to guide them when constructing visualization pipelines and in some cases, when VisKo has complete knowledge about some set of operators (i.e., sequencing and parameter settings), automatically generate a fully functional visualization pipeline.

  15. University of Oxford Energy Toolkit2011/12

    E-Print Network [OSTI]

    Melham, Tom

    's Carbon Management Strategy go to: www.admin.ox.ac.uk/estates/environment/energy/ carbonmanagementstrategyUniversity of Oxford Energy Toolkit2011/12 www.admin.ox.ac.uk/estates/environment/energy emissions through our carbon management strategy. It is now even more important that the University acts

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

    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.

  17. LEDSGP/Transportation 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 Center Home Page on QA:QAsource History View NewTexas: EnergyKulpsville, Pennsylvania: EnergyContactLEDSGP/Transportation Toolkit/Tools

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

  19. Guide to Using the WIND Toolkit Validation Code

    SciTech Connect (OSTI)

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

    2014-12-01

    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.

  20. 14 Market-Oriented Cloud Computing and the Cloudbus Toolkit Rajkumar Buyya1,2

    E-Print Network [OSTI]

    Buyya, Rajkumar

    1 14 Market-Oriented Cloud Computing and the Cloudbus Toolkit Rajkumar Buyya1,2 , Suraj Pandey1 , and Christian Vecchiola1 1 Cloud Computing and Distributed Systems (CLOUDS) Laboratory, Department of Computing OF CONTENTS 14 Market-Oriented Cloud Computing and the Cloudbus Toolkit

  1. Intel Cluster Toolkit Compiler Edition 3.2 for Linux* OS

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Intel® Cluster Toolkit Compiler Edition 3.2 for Linux* OS Getting Started Guide Intel Corporation.2 Installation of Intel® Cluster Toolkit Compiler Edition on 32-Bit and 64-Bit Nodes that Share a Common /opt .................................................................24 4.6 Running an MPI Program Using Intel® MPI Library on Linux* ..................25 4

  2. Intel Cluster Toolkit Compiler Edition 3.2 for Linux* OS

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Intel® Cluster Toolkit Compiler Edition 3.2 for Linux* OS Tutorial Intel Corporation (Revision.2 Installation of Intel® Cluster Toolkit Compiler Edition on 32-Bit and 64-Bit Nodes that Share a Common /opt..................................................................24 4.6 Running an MPI Program Using Intel® MPI Library on Linux....................25 4

  3. USAID Toolkit for Increasing Energy Access | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page| Open Energy Information Serbia-EnhancingEt Al.,Turin, New York: EnergyU.S. EPA RegionforUSto Alter USACEEnergyToolkit

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

    SciTech Connect (OSTI)

    Caroline Draxl: NREL

    2014-01-01

    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.

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

    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.

  6. File:RAPID Toolkit Flyer.pdf | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoopButtePowerEdisto ElectricMonasterwindCAESRAPID Toolkit Flyer.pdf Jump to:

  7. BioenergizeME Infographic Challenge 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 Rank EERE: Alternative Fuels DataEnergy Webinar:I DueBETO Quiz -TechnologiesRubricToolkit BioenergizeME

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

    SciTech Connect (OSTI)

    Young, K. R.; Levine, A.

    2014-09-01

    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.

  9. music21: A Toolkit for Computer-Aided Musicology and Symbolic Music Data

    E-Print Network [OSTI]

    Cuthbert, Michael Scott

    Music21 is an object-oriented toolkit for analyzing, searching, and transforming music in symbolic (score- based) forms. The modular approach of the project allows musicians and researchers to write simple scripts rapidly ...

  10. Developing an interactive social-emotional toolkit for autism spectrum disorders

    E-Print Network [OSTI]

    Madsen, Miriam A

    2010-01-01

    A development process consisting of participatory design and iterative implementation was carried out to create a framework for interactive emotion-learning, the Interactive Social-Emotional Toolkit (iSET). iSET is a novel ...

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

    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

  12. AbstractAbstract Improving efficiency of thermoelectric

    E-Print Network [OSTI]

    Walker, D. Greg

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

  13. ResGrid: A Grid-Aware Toolkit for Reservoir Uncertainty Analysis

    E-Print Network [OSTI]

    Allen, Gabrielle

    Anisotropical Ratio (SGSIM) Reservoir Uncertainty Analysis · Responses to factors are obtained by modelsResGrid: A Grid-Aware Toolkit for Reservoir Uncertainty Analysis Z. Lei, D. Huang, A. Kulshrestha & performance prediction ­ Sensitivity analysis & uncertainty assessment ­ History matching (model verification

  14. A Toolkit for Managing Enterprise Privacy Policies Michael Backes, Birgit Pfitzmann, and Matthias Schunter

    E-Print Network [OSTI]

    Backes, Michael

    A Toolkit for Managing Enterprise Privacy Policies Michael Backes, Birgit Pfitzmann, and Matthias proposed by IBM. The basic definition is refinement, i.e., the question whether fulfilling one policy been #12;102 Michael Backes, Birgit Pfitzmann, and Matthias Schunter collected has to govern the use

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

    SciTech Connect (OSTI)

    Wang, Na

    2013-03-13

    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.

  16. A Wavelet Toolkit for Visualization and Analysis of Large Data Sets In Earthquake Research

    E-Print Network [OSTI]

    Erlebacher, Gordon

    A Wavelet Toolkit for Visualization and Analysis of Large Data Sets In Earthquake Research G in earthquake physics and other nonlinear problems in the solid earth geosciences. Keywords: wavelets, visualization, grid computing, collaboration, web-based maps, earthquakes 1 Introduction As in many other fields

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

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

  18. THE GEORGE MASON UNIVERSITY TALENT ACQUISITION TOOLKIT A guide to the search and onboarding process

    E-Print Network [OSTI]

    ) BEFORE THE SEARCH, determine the opportunities that exist within your department/unit and review job opportunities and determine who chooses to begin or continue their career at Mason. Please spend time reviewing this hiring toolkit and use it to strengthen your skills and commitment in hiring the best and brightest

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

    E-Print Network [OSTI]

    Dutta, Prabal

    --Miscellaneous General Terms Architecture, Design, Experimentation, Performance Keywords Building monitoring, EnergyAn Energy-Harvesting Sensor Architecture and Toolkit for Building Monitoring and Event Detection a new architecture for design- ing building-monitoring focused energy-harvesting sensors. The key

  20. The Gridbus Toolkit for Service Oriented Grid and Utility Computing: An Overview and Status Report

    E-Print Network [OSTI]

    Buyya, Rajkumar

    , and (3) motivates the grid service consumers to trade-off between deadline, budget, and the required1 The Gridbus Toolkit for Service Oriented Grid and Utility Computing: An Overview and Status Report Rajkumar Buyya and Srikumar Venugopal Grid Computing and Distributed Systems Laboratory Department

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

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

  2. Protovis: A Graphical Toolkit for Visualization Michael Bostock and Jeffrey Heer

    E-Print Network [OSTI]

    Heer, Jeffrey

    the final graphic. Modern charting software may support a dozen or more chart types, such as pie and line, toolkits, 2D graphics. 1 INTRODUCTION A popular approach to visualization is to import data into charting soft- ware, specify a desired chart type, and then tweak visual parameters as needed to produce

  3. Building Replicated Internet Services Using TACT: A Toolkit for Tunable Availability and Consistency Tradeoffs

    E-Print Network [OSTI]

    Vahdat, Amin

    Building Replicated Internet Services Using TACT: A Toolkit for Tunable Availability of scalable, high-performance, highly-available and fault-tolerant systems. Replication is an important ap in lower system availability in the presence of network partitions. Thus, there is a fundamen- tal tradeoff

  4. Phase 1 Development Report for the SESSA Toolkit.

    SciTech Connect (OSTI)

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

    2014-09-01

    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.

  5. Abstract Algebra done Concretely

    E-Print Network [OSTI]

    2004-02-19

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

  6. Programme, Abstracts, Presentations & Proceedings

    E-Print Network [OSTI]

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

  7. BEMS: Abstract book

    SciTech Connect (OSTI)

    1995-06-01

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

  8. Math 453: Abstract Algebra

    E-Print Network [OSTI]

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

  9. Configuration Structures (extended abstract)

    E-Print Network [OSTI]

    Pratt, Vaughan

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

  10. PREDICATE ABSTRACTION a dissertation

    E-Print Network [OSTI]

    Dill, David L.

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

  11. Abstract Interpretation patrick cousot

    E-Print Network [OSTI]

    Cousot, Patrick

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

  12. Abstracting over Semantic Theories 

    E-Print Network [OSTI]

    Holt, Alexander G B

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

  13. Abstraction for web programming 

    E-Print Network [OSTI]

    Yallop, Jeremy

    2010-01-01

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

  14. Abstracts of contributed papers

    SciTech Connect (OSTI)

    Not Available

    1994-08-01

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

  15. Abstract Interpretation patrick cousot

    E-Print Network [OSTI]

    Cousot, Patrick

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

  16. PREDICATE ABSTRACTION a dissertation

    E-Print Network [OSTI]

    Dill, David L.

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

  17. Design and Evaluation of Opal2: A Toolkit for Scientific Software as a Service Sriram Krishnan, Luca Clementi, Jingyuan Ren, Philip Papadopoulos and Wilfred Li

    E-Print Network [OSTI]

    Krishnan, Sriram

    Design and Evaluation of Opal2: A Toolkit for Scientific Software as a Service Sriram Krishnan. Opal2 is a toolkit for wrapping scientific applications as Web services on Grid and cloud computing machine images. In this paper, we describe the overall philosophy and architecture of the Opal2 framework

  18. LEDSGP/Transportation Toolkit/Key Actions/Create a Baseline | 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 QA:QA J-E-1 SECTION J APPENDIXsource History ViewInformation Actions(Redirected from Transportation Toolkit/Key

  19. LEDSGP/Transportation Toolkit/Key Actions/Develop Alternative Scenarios |

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIXsource History ViewInformation Actions(Redirected from Transportation Toolkit/KeyOpen

  20. Toolkit Model for SN-03 Final Proposal (ratecases/sn03)

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effectWorking With U.S.Week DayDr.Theories81 to 1990BeToo Crowded to ToolKit Model

  1. EBS Radionuclide Transport Abstraction

    SciTech Connect (OSTI)

    J. Prouty

    2006-07-14

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

  2. ABSTRACTS FOR PAPERS PUBLISHED

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

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

  3. ABSTRACTS FOR PAPERS SUBMITTED

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

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

  4. ABSTRACTS OF PAPERS PUBLISHED

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

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

  5. ABSTRACTS OF PAPERS PUBLISHED

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

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

  6. ABSTRACTS OF PAPERS PUBLISHED

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

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

  7. ABSTRACTS OF PAPERS PUBLISHED

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

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

  8. ABSTRACTS OF PAPERS PUBLISHED

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

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

  9. ABSTRACTS OF PAPERS PUBLISHED

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

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

  10. EBS Radionuclide Transport Abstraction

    SciTech Connect (OSTI)

    J.D. Schreiber

    2005-08-25

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

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

    SciTech Connect (OSTI)

    Groth, Katrina; Tchouvelev, Andrei V.

    2014-03-01

    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.

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

    SciTech Connect (OSTI)

    Marques, Osni A.; Drummond, Leroy A.

    2003-11-09

    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.

  13. Modeling of a Flooding Induced Station Blackout for a Pressurized Water Reactor Using the RISMC Toolkit

    SciTech Connect (OSTI)

    Mandelli, Diego; Prescott, Steven R; Smith, Curtis L; Alfonsi, Andrea; Rabiti, Cristian; Cogliati, Joshua J; Kinoshita, Robert A

    2011-07-01

    In the Risk Informed Safety Margin Characterization (RISMC) approach we want to understand not just the frequency of an event like core damage, but how close we are (or are not) to key safety-related events and how might we increase our safety margins. The RISMC Pathway uses the probabilistic margin approach to quantify impacts to reliability and safety by coupling both probabilistic (via stochastic simulation) and mechanistic (via physics models) approaches. This coupling takes place through the interchange of physical parameters and operational or accident scenarios. In this paper we apply the RISMC approach to evaluate the impact of a power uprate on a pressurized water reactor (PWR) for a tsunami-induced flooding test case. This analysis is performed using the RISMC toolkit: RELAP-7 and RAVEN codes. RELAP-7 is the new generation of system analysis codes that is responsible for simulating the thermal-hydraulic dynamics of PWR and boiling water reactor systems. RAVEN has two capabilities: to act as a controller of the RELAP-7 simulation (e.g., system activation) and to perform statistical analyses (e.g., run multiple RELAP-7 simulations where sequencing/timing of events have been changed according to a set of stochastic distributions). By using the RISMC toolkit, we can evaluate how power uprate affects the system recovery measures needed to avoid core damage after the PWR lost all available AC power by a tsunami induced flooding. The simulation of the actual flooding is performed by using a smooth particle hydrodynamics code: NEUTRINO.

  14. Fuzzy Chemical Abstract Machines

    E-Print Network [OSTI]

    Syropoulos, Apostolos

    2009-01-01

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

  15. Literature Review of Uncertainty of Analysis Methods (Inverse Model Toolkit), Report to the Texas Commission on Environmental Quality 

    E-Print Network [OSTI]

    Haberl, J. S.; Cho, S.

    2004-01-01

    This report reviews the reported uncertainty of ASHRAE’s Inverse Model Toolkit (IMT) analysis method and the linear, and change-point linear algorithms that it uses by reviewing the published literature on the related accuracy of IMT and its...

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

    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.

  17. A flooding induced station blackout analysis for a pressurized water reactor using the RISMC toolkit

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

    Mandelli, Diego; Prescott, Steven; Smith, Curtis; Alfonsi, Andrea; Rabiti, Cristian; Cogliati, Joshua; Kinoshita, Robert

    2015-05-17

    In this paper we evaluate the impact of a power uprate on a pressurized water reactor (PWR) for a tsunami-induced flooding test case. This analysis is performed using the RISMC toolkit: the RELAP-7 and RAVEN codes. RELAP-7 is the new generation of system analysis codes that is responsible for simulating the thermal-hydraulic dynamics of PWR and boiling water reactor systems. RAVEN has two capabilities: to act as a controller of the RELAP-7 simulation (e.g., component/system activation) and to perform statistical analyses. In our case, the simulation of the flooding is performed by using an advanced smooth particle hydrodynamics code calledmore »NEUTRINO. The obtained results allow the user to investigate and quantify the impact of timing and sequencing of events on system safety. The impact of power uprate is determined in terms of both core damage probability and safety margins.« less

  18. Development of a Toolkit for Calculating Linear, Change-Point Linear and Multiple-Linear Inverse Building Energy Analysis Models, ASHRAE Research Project 1050-RP, Final Report 

    E-Print Network [OSTI]

    Kissock, J. K.; Haberl, J. S.; Claridge, D. E.

    2002-11-01

    This report summarizes the results of ASHRAE Research Project 1050: Development of a Toolkit for Calculating Linear, Change-Point Linear and Multiple Linear Inverse Building Energy Analysis Models. The Inverse Modeling ...

  19. NetCooperate User Manual NetCooperate is a toolkit for calculating host-microbe and microbe-microbe cooperation, available as an

    E-Print Network [OSTI]

    Borenstein, Elhanan

    NetCooperate User Manual NetCooperate is a toolkit for calculating host-microbe and microbe-microbe To determine the BSS between a host and endosymbiont or the MCI between a pair of microbes, the user simply

  20. Recent advances in the development of MOST: an open-source, vendor and technology independent toolkit for building monitoring, data preprocessing and visualization 

    E-Print Network [OSTI]

    Glawischnig, S.; Appel, R.; Zach, R.; Mahdavi, A.

    2012-01-01

    ?Loss/?never used What we want ? Continuous Reports ? Live Performance? Visualization ? Fault?Detection ? Reccomendations for Operation ? Personal?Feedback Monitoring?System?Toolkit Framework ? Google?Web?Toolkit ? Plain Java??>?converted to platform... optimized JavaScript ? User?Interface?Library ? No dedicated user interface ? Reusable components ? Drag?and Drop ? Primary interaction method ? Highlighting of droppable areas ? Modular ? Use?cases 3D?Viewer ? Use?cases ? Lead?user?within?3D...

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

    E-Print Network [OSTI]

    Berger, Ulrich

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

  2. Memory abstractions for parallel programming

    E-Print Network [OSTI]

    Lee, I-Ting Angelina

    2012-01-01

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

  3. Abstracts

    E-Print Network [OSTI]

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

  4. Abstract

    E-Print Network [OSTI]

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

  5. Abstracts

    E-Print Network [OSTI]

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

  6. Abstract

    E-Print Network [OSTI]

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

  7. Abstracts

    E-Print Network [OSTI]

    2015-05-22

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

  8. Abstracts

    E-Print Network [OSTI]

    2015-05-22

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

  9. Abstract

    Office of Scientific and Technical Information (OSTI)

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

  10. Abstracts

    E-Print Network [OSTI]

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

  11. Abstracts

    E-Print Network [OSTI]

    2012-05-26

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

  12. Abstract

    E-Print Network [OSTI]

    1910-20-30

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

  13. Abstract

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

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

  14. Abstract

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

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

  15. Abstract

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

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

  16. Abstract:

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

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

  17. Abstract:

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

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

  18. ABSTRACT

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

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

  19. Abstract:

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

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

  20. ABSTRACT

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

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

  1. ABSTRACT

    Office of Scientific and Technical Information (OSTI)

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

  2. ABSTRACT

    Office of Scientific and Technical Information (OSTI)

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

  3. Abstract

    Office of Scientific and Technical Information (OSTI)

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

  4. Automatic Term-Level Abstraction

    E-Print Network [OSTI]

    Brady, Bryan

    2011-01-01

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

  5. The Fusion Machine (extended abstract)

    E-Print Network [OSTI]

    Gardner, Philippa

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

  6. Technical abstracts: Mechanical engineering, 1990

    SciTech Connect (OSTI)

    Broesius, J.Y.

    1991-03-01

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

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

    E-Print Network [OSTI]

    Saskatchewan, University of

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

  8. Virtual World Grammar (Extended Abstract)

    E-Print Network [OSTI]

    Rodríguez, Inmaculada

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

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

  10. Parameter Sweep and Optimization of Loosely Coupled Simulations Using the DAKOTA Toolkit

    SciTech Connect (OSTI)

    Elwasif, Wael R [ORNL; Bernholdt, David E [ORNL; Pannala, Sreekanth [ORNL; Allu, Srikanth [ORNL; Foley, Samantha S [ORNL

    2012-01-01

    The increasing availability of large scale computing capabilities has accelerated the development of high-fidelity coupled simulations. Such simulations typically involve the integration of models that implement various aspects of the complex phenomena under investigation. Coupled simulations are playing an integral role in fields such as climate modeling, earth systems modeling, rocket simulations, computational chemistry, fusion research, and many other computational fields. Model coupling provides scientists with systematic ways to virtually explore the physical, mathematical, and computational aspects of the problem. Such exploration is rarely done using a single execution of a simulation, but rather by aggregating the results from many simulation runs that, together, serve to bring to light novel knowledge about the system under investigation. Furthermore, it is often the case (particularly in engineering disciplines) that the study of the underlying system takes the form of an optimization regime, where the control parameter space is explored to optimize an objective functions that captures system realizability, cost, performance, or a combination thereof. Novel and flexible frameworks that facilitate the integration of the disparate models into a holistic simulation are used to perform this research, while making efficient use of the available computational resources. In this paper, we describe the integration of the DAKOTA optimization and parameter sweep toolkit with the Integrated Plasma Simulator (IPS), a component-based framework for loosely coupled simulations. The integration allows DAKOTA to exploit the internal task and resource management of the IPS to dynamically instantiate simulation instances within a single IPS instance, allowing for greater control over the trade-off between efficiency of resource utilization and time to completion. We present a case study showing the use of the combined DAKOTA-IPS system to aid in the design of a lithium ion battery (LIB) cell, by studying a coupled system involving the electrochemistry and ion transport at the lower length scales and thermal energy transport at the device scales. The DAKOTA-IPS system provides a flexible tool for use in optimization and parameter sweep studies involving loosely coupled simulations that is suitable for use in situations where changes to the constituent components in the coupled simulation are impractical due to intellectual property or code heritage issues.

  11. OpenADR Open Source Toolkit: Developing Open Source Software for the Smart Grid

    E-Print Network [OSTI]

    McParland, Charles

    2012-01-01

    McParland. “Open Automated Demand Response Communicationshttp://openadr.lbl.gov PIER Demand Response Research Center,Laboratory Abstract—Demand response (DR) is becoming an

  12. Ozone Conference II: Abstract Proceedings

    SciTech Connect (OSTI)

    None

    1999-11-01

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

  13. An abstract approach to music.

    SciTech Connect (OSTI)

    Kaper, H. G.; Tipei, S.

    1999-04-19

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

  14. Mobile Agent Abstractions: Formulation and Implementation

    E-Print Network [OSTI]

    Joshi, Rushikesh K.

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

  15. Flexible Hardware Abstraction for Wireless Sensor Networks

    E-Print Network [OSTI]

    California at Berkeley, University of

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

  16. Scoring an Abstract Contemporary Silent Film

    E-Print Network [OSTI]

    Frost, Crystal

    2014-01-01

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

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

  18. Bayesian Algorithmic Mechanism Design [Extended Abstract

    E-Print Network [OSTI]

    Hartline, Jason D.

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

  19. Classification and Utilization of Abstractions for Optimization

    E-Print Network [OSTI]

    Yi, Qing

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

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

  1. Sandia Energy - Online Abstracts and Reports

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

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

  2. Analysis of complex networks using aggressive abstraction.

    SciTech Connect (OSTI)

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

    2008-10-01

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

  3. EGS Abstract for Nice, April, 1998

    E-Print Network [OSTI]

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

  4. DOE-NABIR Pi Workshop: Abstracts

    E-Print Network [OSTI]

    Various

    2003-01-01

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

  5. DOE-NABIR PI Workshop: Abstracts

    E-Print Network [OSTI]

    Hawkes editor, Dan

    2002-01-01

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

  6. Transformations of Conditional Rewrite Systems (Extended Abstract)

    E-Print Network [OSTI]

    Gramlich, Bernhard

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

  7. Pulmonary toxicology of respirable particles. [Lead abstract

    SciTech Connect (OSTI)

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

    1980-09-01

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

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

    E-Print Network [OSTI]

    Mojahedi, Mohammad

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

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

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

    E-Print Network [OSTI]

    Gadsby, David

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

  11. ABSTRACT OF THESIS LINE ASSOCIATIVE REGISTERS

    E-Print Network [OSTI]

    Dietz, Henry G. "Hank"

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

  12. Virtual Sensors: Abstracting Data from Physical Sensors

    E-Print Network [OSTI]

    Julien, Christine

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

  13. Goldschmidt Conference Abstracts 2005 Mineral Surface Reactivity

    E-Print Network [OSTI]

    Sparks, Donald L.

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

  14. Static single information form for abstract compilation

    E-Print Network [OSTI]

    Robbiano, Lorenzo

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

  15. Natural radiation environment III. [Lead Abstract

    SciTech Connect (OSTI)

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

    1980-01-01

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

  16. Market User Interface Design [Extended Abstract

    E-Print Network [OSTI]

    Chen, Yiling

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

  17. AbstractThe satellite-borne

    E-Print Network [OSTI]

    Kansas, University of

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

  18. Abstract interpretation from a denotational semantics

    E-Print Network [OSTI]

    Schmidt, David A.

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

  19. Briefly Noted Automatic Indexing and Abstracting of

    E-Print Network [OSTI]

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

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

  1. Stone Age Distributed Computing (Extended Abstract)

    E-Print Network [OSTI]

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

  2. Abstract polymer models with general pair interactions

    E-Print Network [OSTI]

    Aldo Procacci

    2008-11-26

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

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

  4. BioenergizeME Toolkit

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

    TECHNOLOGY 1. How do plants capture and store energy from the sun? Describe a process for harvesting energy from plants for sustainable transportation fuels. Include mention of the...

  5. Alternative Fuel Implementation Toolkit

    E-Print Network [OSTI]

    ? Alternative Fuels, the Smart Choice: Alternative fuels ­ biodiesel, electricity, ethanol (E85), natural gas

  6. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsiclouddenDVA N C E D B L O O D S TA I N P A T T E R N A

  7. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration wouldMassR&D100Nationalquestionnaires 0 Averagequestionnaires 7tniLighting Sign

  8. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effectWorkingLosThe 26thI D- 6 0 4 2 r m m m m port m fm fpolicy |POSTERSpend by

  9. Automatic identification of abstract online groups

    DOE Patents [OSTI]

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

    2014-04-15

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

  10. Internal and External Logics of Abstract Interpretations

    E-Print Network [OSTI]

    Schmidt, David A.

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

  11. Extracting program logics from abstract interpretations

    E-Print Network [OSTI]

    Schmidt, David A.

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

  12. SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

    SciTech Connect (OSTI)

    B.W. ARNOLD

    2004-10-27

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

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

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

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

  14. ABSTRACT TAMANG, APIL. A Multilevel Method

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

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

  15. Sandia Energy - Online Abstracts and Reports

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

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

  16. Sandia Energy - Online Abstracts and Reports

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

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

  17. Current Abstracts Nuclear Reactors and Technology

    SciTech Connect (OSTI)

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

    1993-01-01

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

  18. GEOTOOLS: A TOOLKIT FOR FLUVIAL SYSTEM ANALYSIS1 Brian P. Bledsoe, Michael C. Brown, and, David A. Raff 2

    E-Print Network [OSTI]

    Bledsoe, Brian

    . Raff 2 ABSTRACT: Detailed mechanistic modeling of hydrogeomorphic processes in fluvial systems of analysis tools for fluvial systems written in Visual Basic for Applications/Excel. Based on flow time series and basic geomorphic data, GeoTools auto- mates computation of numerous hydrologic, hydraulic

  19. A posteriori soundness for non-deterministic abstract interpretations

    E-Print Network [OSTI]

    Might, Matt

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

  20. DOE-NABIR PI Workshop: Abstracts 2003

    SciTech Connect (OSTI)

    Various

    2003-01-28

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

  1. Composable abstractions for synchronization in dynamic threading platforms

    E-Print Network [OSTI]

    Sukha, Jim

    2011-01-01

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

  2. Comparison of the CPU and memory performance of StatPatternRecognition (SPR) and Toolkit for MultiVariate Analysis (TMVA)

    E-Print Network [OSTI]

    Palombo, Giulio

    2011-01-01

    High Energy Physics data sets are often characterized by a huge number of events. Therefore, it is extremely important to use statistical packages able to efficiently analyze these unprecedented amounts of data. We compare the performance of the statistical packages StatPatternRecognition (SPR) and Toolkit for MultiVariate Analysis (TMVA). We focus on how CPU time and memory usage of the learning process scale versus data set size. As classifiers, we consider Random Forests, Boosted Decision Trees and Neural Networks. For our tests, we employ a data set widely used in the machine learning community, "Threenorm" data set, as well as data tailored for testing various edge cases. For each data set, we constantly increase its size and check CPU time and memory needed to build the classifiers implemented in SPR and TMVA. We show that SPR is often significantly faster and consumes significantly less memory. For example, the SPR implementation of Random Forest is by an order of magnitude faster and consumes an order...

  3. Comparison of the CPU and memory performance of StatPatternRecognition (SPR) and Toolkit for MultiVariate Analysis (TMVA)

    E-Print Network [OSTI]

    Giulio Palombo

    2011-03-28

    High Energy Physics data sets are often characterized by a huge number of events. Therefore, it is extremely important to use statistical packages able to efficiently analyze these unprecedented amounts of data. We compare the performance of the statistical packages StatPatternRecognition (SPR) and Toolkit for MultiVariate Analysis (TMVA). We focus on how CPU time and memory usage of the learning process scale versus data set size. As classifiers, we consider Random Forests, Boosted Decision Trees and Neural Networks. For our tests, we employ a data set widely used in the machine learning community, "Threenorm" data set, as well as data tailored for testing various edge cases. For each data set, we constantly increase its size and check CPU time and memory needed to build the classifiers implemented in SPR and TMVA. We show that SPR is often significantly faster and consumes significantly less memory. For example, the SPR implementation of Random Forest is by an order of magnitude faster and consumes an order of magnitude less memory than TMVA on Threenorm data.

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

    SciTech Connect (OSTI)

    1980-06-01

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

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

    E-Print Network [OSTI]

    Selinger, Peter

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

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

    E-Print Network [OSTI]

    Selinger, Peter

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

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

    E-Print Network [OSTI]

    Gotsman, Alexey

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

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

    E-Print Network [OSTI]

    Gotsman, Alexey

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

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

    E-Print Network [OSTI]

    Krebsbach, Kurt D.

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

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

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

    E-Print Network [OSTI]

    Schmidt, Ralf

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

  12. Math 4323: Intro to Abstract Algebra Second Exam

    E-Print Network [OSTI]

    Schmidt, Ralf

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

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

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

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

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

    E-Print Network [OSTI]

    2009-05-25

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

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

    Office of Scientific and Technical Information (OSTI)

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

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

    Office of Scientific and Technical Information (OSTI)

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

  17. 7th international symposium on photosynthetic prokaryotes. Abstracts

    SciTech Connect (OSTI)

    Fuller, R.C.

    1991-12-31

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

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

    SciTech Connect (OSTI)

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

    1999-05-01

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

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

    E-Print Network [OSTI]

    Hazen, Terry C.

    2007-01-01

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

  20. SYSTEM DEMONSTRATION NATURAL LANGUAGE GENERATION WITH ABSTRACT MACHINE

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Blass, Andreas R.

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

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

    E-Print Network [OSTI]

    Lumsdaine, Andrew

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

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

    E-Print Network [OSTI]

    Janson, Svante

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

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

    SciTech Connect (OSTI)

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

    1981-02-01

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

  6. Abstract polymer models with general pair interactions Aldo Procacci

    E-Print Network [OSTI]

    Procacci, Aldo

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

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

    E-Print Network [OSTI]

    Hoepman, Jaap-Henk

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

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

    E-Print Network [OSTI]

    Afek, Yehuda

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

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

    E-Print Network [OSTI]

    Perry, Dewayne E.

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

  10. Timed Relational Abstractions For Sampled Data Control Systems

    E-Print Network [OSTI]

    Sankaranarayanan, Sriram

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

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

    E-Print Network [OSTI]

    Robbiano, Lorenzo

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

  12. Abstraction and Implementation of a Lightweight Distributed Termination Protocol

    E-Print Network [OSTI]

    Dobson, Simon

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

  13. Abstract True Concurrency: Adhesive Processes Paolo Baldan1

    E-Print Network [OSTI]

    Baldan, Paolo

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Janson, Svante

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

  16. Abstract Interpretation with Alien Expressions and Heap Structures

    E-Print Network [OSTI]

    Leino, K. Rustan M.

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

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

    E-Print Network [OSTI]

    Peterson, James K

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

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

    E-Print Network [OSTI]

    Ruml, Wheeler

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

  19. BioenergizeME Virtual Toolkit

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

    of biomass; history of bioenergy 6.2 WORKFORCE AND EDUCATION The major resources used for energy production have changed over time depending on ecosystem diversity, abundance,...

  20. Texas Education Agency Graduation Toolkit

    E-Print Network [OSTI]

    Rock, Chris

    Physics & Chemistry or an advanced science course · An advanced science course Social Studies (3 credits.twc.state.tx.us Technical College Credential BR14-130-02 Choices determine options Most of the very best jobs available now

  1. Carleton University Visual Identity Toolkit

    E-Print Network [OSTI]

    Dawson, Jeff W.

    THE LOGO/IDENTITY TREATMENT IN DETAIL FACULTIES, SCHOOLS AND ANCILLARY UNITS FACULTY, SCHOOL AND ANCILLARY UNIT IDENTITIES IN DETAIL NON-ACADEMIC ANCILLARY UNIT IDENTITIES A NOTE ON THE VISUAL IDENTITIES of Carleton's faculties, schools and ancillary units, as well as communications materials such as brochures

  2. Online Toolkit Fosters Bioenergy Innovation

    Broader source: Energy.gov [DOE]

    The construction of this facility that will nearly triple the amount of renewable diesel produced domestically.

  3. 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 QA:QAsource History View New PagesSustainable UrbanKentucky: EnergyGateway1997)Information(EC-LEDS) | Open

  4. 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 QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EA Jump to:ofEnia SpAFlexStock|GenesaGeographic

  5. 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 Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EIS Report UrlNM-b < RAPID‎ | RoadmapAK-abFD-aRAcellSocial andREEEP

  6. 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 QA:QA J-E-1 SECTION J APPENDIXsource History View New Pages Recent Changes All Special Pages SemanticLoading map...

  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 QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowaWisconsin:Pontiac Biomass Facility Jump to: navigation, searchBioenergy

  8. BioenergizeME Virtual 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: Alternative FuelsofProgram:Y-12Power, IncBio Centers Announcement at theproduceƈ GOAL: SOCIAL139

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

    SciTech Connect (OSTI)

    Not Available

    1993-08-05

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

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

    SciTech Connect (OSTI)

    Not Available

    1982-09-01

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

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

    E-Print Network [OSTI]

    Santos, Ana M. C.

    2012-01-01

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

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

    E-Print Network [OSTI]

    Smith, Jeffrey Statler

    2004-09-30

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

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

    E-Print Network [OSTI]

    Gebremedhin, Assefaw Hadish

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

  14. Fast Directed Model Checking via Russian Doll Abstraction

    E-Print Network [OSTI]

    Hoffmann, Jörg -FR 6.2

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

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

    SciTech Connect (OSTI)

    None

    1999-12-01

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

  16. Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation

    E-Print Network [OSTI]

    Xie, Fei

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

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

    E-Print Network [OSTI]

    Hazen, Terry C.

    2009-01-01

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

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

    SciTech Connect (OSTI)

    Not Available

    1992-12-31

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

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

    E-Print Network [OSTI]

    Su, Xiao

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

  20. Abstracts and research accomplishments of university coal research projects

    SciTech Connect (OSTI)

    Not Available

    1991-06-01

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

  1. Vulnerability analysis for complex networks using aggressive abstraction.

    SciTech Connect (OSTI)

    Colbaugh, Richard; Glass, Kristin L.

    2010-06-01

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

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

    SciTech Connect (OSTI)

    Not Available

    1992-10-01

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

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

    SciTech Connect (OSTI)

    Not Available

    1992-10-01

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

  4. The Complexity of Pure Nash Equilibria [Extended Abstract

    E-Print Network [OSTI]

    Fabrikant, Alex

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

  5. The Complexity of Pure Nash Equilibria [Extended Abstract

    E-Print Network [OSTI]

    Fabrikant, Alex

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

  6. Improving large-sized PLC programs verification using abstractions

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Kortenkamp, David

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

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

    E-Print Network [OSTI]

    Dietz, Henry G. "Hank"

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  13. Announcement and Call for Abstracts SMAR 2013 Istanbul

    E-Print Network [OSTI]

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

  14. Call for Abstracts Society of Tribologists and Lubrication Engineers

    E-Print Network [OSTI]

    Haase, Markus

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

  15. Byzantine Agreement in Polynomial Expected Time [Extended Abstract

    E-Print Network [OSTI]

    Saia, Jared

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

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

    E-Print Network [OSTI]

    Hespanha, João Pedro

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

  17. FAST ABSTRACT: Vulnerability Discovery Modeling using Weibull Distribution

    E-Print Network [OSTI]

    Malaiya, Yashwant K.

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

  18. Abstract State Machines at the Cusp of the Millenium

    E-Print Network [OSTI]

    Börger, Egon

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

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

    E-Print Network [OSTI]

    Heidemann, John

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

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

    E-Print Network [OSTI]

    Ferrer, Gabriel J.

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

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

    E-Print Network [OSTI]

    Goldreich, Oded

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

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

    E-Print Network [OSTI]

    Goldreich, Oded

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

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

    E-Print Network [OSTI]

    de Figueiredo, Luiz Henrique

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

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

    E-Print Network [OSTI]

    Chauve, Cedric

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

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

    E-Print Network [OSTI]

    Robbiano, Lorenzo

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

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

    SciTech Connect (OSTI)

    1997-11-01

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

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

    SciTech Connect (OSTI)

    Not Available

    1982-09-01

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

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

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

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

    E-Print Network [OSTI]

    Bertossi, Leopoldo

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

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

    E-Print Network [OSTI]

    Perry, Dewayne E.

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

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

    E-Print Network [OSTI]

    Miller, Dale

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

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

    E-Print Network [OSTI]

    Wurtele, Eve Syrkin

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

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

    SciTech Connect (OSTI)

    NONE

    1998-12-31

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

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

    E-Print Network [OSTI]

    Cortes, Corinna

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

  16. Understanding and Abstracting Total Data Center Power Steven Pelley

    E-Print Network [OSTI]

    Wenisch, Thomas F.

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

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

    E-Print Network [OSTI]

    Kirby, Mike

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

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

    E-Print Network [OSTI]

    Jahanian, Farnam

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

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

    E-Print Network [OSTI]

    Winckler, Marco Antonio Alba

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

  20. Studying Professional Software Designers and their Use of Abstraction

    E-Print Network [OSTI]

    Godfrey, Michael W.

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

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

    E-Print Network [OSTI]

    Zhou, Gang

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

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

    E-Print Network [OSTI]

    Spreen, Dieter

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

  3. prop_num pi_lname title Abstract 71313 CHARLES

    E-Print Network [OSTI]

    Nishikawa, Ken-Ichi

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

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

    E-Print Network [OSTI]

    Sannella, Don

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

  5. Poster Abstract: Community Sensor Grids Deployment and Usage

    E-Print Network [OSTI]

    Bhattacharya, Amiya

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

  6. Goldschmidt Conference Abstracts 2005 Cosmogenic Nuclides and Surface Processes

    E-Print Network [OSTI]

    Zreda, Marek

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

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

    SciTech Connect (OSTI)

    Bronson, M.

    1995-12-31

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

  8. Trace Partitioning in Abstract Interpretation Based Static Analyzers

    E-Print Network [OSTI]

    Mauborgne, Laurent

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

  9. Trace Partitioning in Abstract Interpretation Based Static Analyzers

    E-Print Network [OSTI]

    Mauborgne, Laurent

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

  10. Shape Analysis through Predicate Abstraction and Model Checking

    E-Print Network [OSTI]

    Namjoshi, Kedar

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

  11. Abstract Interpretation with Alien Expressions and Heap Structures

    E-Print Network [OSTI]

    Chang, Bor-Yuh Evan

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

  12. Abstract Interpretation with Alien Expressions and Heap Structures

    E-Print Network [OSTI]

    Chang, Bor-Yuh Evan

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

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

    E-Print Network [OSTI]

    Grumberg, Orna

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

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

    E-Print Network [OSTI]

    Dams, Dennis

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

  15. Availability Bars for Calendar Scheduling AbstractAndrew Faulring

    E-Print Network [OSTI]

    Myers, Brad A.

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

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

  17. Abstract and research accomplishments of University Coal Research Projects

    SciTech Connect (OSTI)

    1995-06-01

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

  18. Time delay for an abstract quantum scattering process

    E-Print Network [OSTI]

    S. Richard

    2011-03-20

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

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

    E-Print Network [OSTI]

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

    2013-06-14

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

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

    SciTech Connect (OSTI)

    Not Available

    1994-12-31

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

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

    SciTech Connect (OSTI)

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

    1989-05-01

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

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

    E-Print Network [OSTI]

    Ya. I. Grushka

    2015-04-14

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

  3. 1. Abstract -algebra AF-algebra AF-algebra C

    E-Print Network [OSTI]

    Ishii, Hitoshi

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

  4. ModelChecking Infinite StateSpace Systems with FineGrained Abstractions Using SPIN

    E-Print Network [OSTI]

    Chechik, Marsha

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

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

    SciTech Connect (OSTI)

    1995-12-31

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

  6. An abstract continuity theorem of the Lyapunov exponents

    E-Print Network [OSTI]

    Pedro Duarte; Silvius Klein

    2015-07-10

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

  7. Laboratory technology research: Abstracts of FY 1998 projects

    SciTech Connect (OSTI)

    NONE

    1998-11-01

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

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

    SciTech Connect (OSTI)

    Not Available

    1987-01-01

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

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

    SciTech Connect (OSTI)

    Hazen, Terry C.

    2009-03-01

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

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

    E-Print Network [OSTI]

    Teschner, Matthias

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

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

    SciTech Connect (OSTI)

    Hazen, Terry C.

    2007-03-14

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

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

    SciTech Connect (OSTI)

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

    1995-10-01

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

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

    SciTech Connect (OSTI)

    1996-06-01

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

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

    SciTech Connect (OSTI)

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

    1996-10-01

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

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

    SciTech Connect (OSTI)

    Burtis, M.D.

    1994-01-01

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

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

    SciTech Connect (OSTI)

    Burtis, M.D.

    1992-09-01

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

  17. 0-6487-P1 / 5-6235-01-P1 USER'S GUIDE FOR PET: PROJECT EVALUATION

    E-Print Network [OSTI]

    Kockelman, Kara M.

    0-6487-P1 / 5-6235-01-P1 USER'S GUIDE FOR PET: PROJECT EVALUATION TOOLKIT Dr. Kara Kockelman Dan 5-6235: Implementation of Project Evaluation Toolkit for Abstracted Networks AUGUST 2012 Performing of Transportation and the Federal Highway Administration. #12;User's Guide for PET: Project Evaluation Toolkit

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

    E-Print Network [OSTI]

    Paraná, Universidade Federal do

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Chen, Tsuei-Fen

    2010-10-12

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Giacobazzi, Roberto

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

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

    E-Print Network [OSTI]

    Swift, Michael

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

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

    E-Print Network [OSTI]

    Drager, Kirk W.

    2014-08-31

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

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

    E-Print Network [OSTI]

    Ronquist, Fredrik

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Gemperline, Mark

    1984-01-01

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

  9. Abstracting Preparation

    E-Print Network [OSTI]

    Allen, John F.

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

  10. Abstracting Preparation

    E-Print Network [OSTI]

    de Weck, Olivier L.

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

  11. talk abstracts

    E-Print Network [OSTI]

    2015-11-06

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

  12. Abstract As

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

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

  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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsicloudden Documentation DataStreamsTotalproposalsAbout SAGEAboutJ. Sutherland and P. S.

  14. Abstract Measurement

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

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

  15. Network Abstractions:

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room NewsInformationJessework usesofPublications TheScience4.21 4.43EnergyAuthor:

  16. Error abstractions

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would like submitKansasCommunitiesof Energy ServicesEnergy4thwrites out the header html.

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

    E-Print Network [OSTI]

    Grosu, Radu

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

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

    E-Print Network [OSTI]

    Ramanujam, J. "Ram"

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

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

    E-Print Network [OSTI]

    Power, James

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

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

    E-Print Network [OSTI]

    Solecki, Slawomir

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

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

    E-Print Network [OSTI]

    Solecki, Slawomir

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

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

    E-Print Network [OSTI]

    Solecki, Slawomir

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

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

    E-Print Network [OSTI]

    Sciore, Edward

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

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

    E-Print Network [OSTI]

    Miller, Dale

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

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

    E-Print Network [OSTI]

    Miller, Dale

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

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

    E-Print Network [OSTI]

    Miller, Dale

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

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

    E-Print Network [OSTI]

    Holte, Robert

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

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

    E-Print Network [OSTI]

    Soskov, Ivan N.

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

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

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

    E-Print Network [OSTI]

    Cordy, James R.

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

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

    E-Print Network [OSTI]

    2012-01-01

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

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

    SciTech Connect (OSTI)

    Not Available

    1980-01-01

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

  13. Voluntary Initiative: Partnerships Toolkit | Department of Energy

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

    Residential energy efficiency programs are delivered by many different types of organizations and their partners, including utilities, state and local governments, non-profit...

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

    Energy Savers [EERE]

    Based Service Contracting (pdf) Where in Federal Contracting? Best Practices & Samples NASA best practices examples Air Force Best Practices for Performance-Based Service...

  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. Rapid Deployment Energy Efficiency (RDEE) Toolkit

    SciTech Connect (OSTI)

    none,

    2009-12-09

    Provides detailed program design and implementation guides to help entities choose successful efficiency programs with funds from the American Recovery and Reinvestment Act of 2009.

  17. ATAT -A software toolkit for modeling coupled

    E-Print Network [OSTI]

    van de Walle, Axel

    Configurational disorderLattice vibrations #12;The Cluster Expansion Formalism with Coarse-Graining E1,,n F1,,n JT #12-1996)) F 1 ln i eEi 1 ln i eEi 1 ln eF F 1 ln i eEi where kBT1 #12;First-principles lattice and Engineering Department #12;A matter of time... Time Human Computer 1980 2005 Time needed to complete a given

  18. Designing Incentives Toolkit Better Buildings Residential Network

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

    enough and what to incentivize. When aligned with program goals, incentives can be a very useful tool in achieving home energy upgrades. Definition Incentives provide motivation to...

  19. Wind Integration National Dataset (WIND) Toolkit

    Office of Energy Efficiency and Renewable Energy (EERE)

    For utility companies, grid operators and other stakeholders interested in wind energy integration, collecting large quantities of high quality data on wind energy resources is vitally important....

  20. Cyber Security Audit and Attack Detection Toolkit

    SciTech Connect (OSTI)

    Peterson, Dale

    2012-05-31

    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.

  1. Safety Meeting Toolkits - HPMC Occupational Health Services

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

    Cold and Flu Prevention Hand Washing Healthy Sleep Heat Stress Radon Signs of a Heart Attack Signs of a Stroke Coping with Stress & Change Skin Cancer Awareness Choose My...

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

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

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

    practices, policies, and terms so that heshe can be a 'cyber aware' user of the Internet at work and at home. The OCIO sponsors quarterly cybersecurity awareness campaigns...

  4. Waste Toolkit A-Z Bits & Bobs

    E-Print Network [OSTI]

    Melham, Tom

    : pipette packaging, tape rolls, plastic items, lids, CDs ­ the list is endless... How much does it cost

  5. Fellowships Toolkit: A Reference Guide to

    E-Print Network [OSTI]

    Xie, Xiaoliang Sunney

    .S. Citizens and Non-Resident Aliens Office of the Controller January 1, 2015 #12;Table of Contents 2 residents and for non-resident aliens. If the recipient of the payment is a non-employee ­ and you know what implications are for U.S. tax residents and for non-resident aliens. If you need help determining what type

  6. Waste Toolkit A-Z Wooden Pallets

    E-Print Network [OSTI]

    Melham, Tom

    Plastics (non-contaminated plastic only ­ contact TR Recycling for details) Soil & green waste Wooden industry and used for mulch or compost products. Cost TR Recycling generally costs less than a skip

  7. A toolkit for high-throughput, cross-

    E-Print Network [OSTI]

    Cai, Long

    , Mihail Sarov, Sylke Winkler, Kamil A Lipinski & Pavel Tomancak We generated two complementary genomic. pseudoobscurab 88% 12% 0.12% 8.25% 3.65% Mapped clones (15,204 D.mel / 1,924 D.pse) Sequencing failures (1,426 D.mel / 142 D.pse) BLAST failures (20 D.mel / 1 D.pse) Chimeric clones (530 D.mel / 525 D.pse) 74% 26% 0.04% 5

  8. Waste Toolkit A-Z Clothes & textiles

    E-Print Network [OSTI]

    Oxford, University of

    development. In 2011 they raised £300,000 to support projects tackling poverty and saving lives around

  9. Home NILM : a comprehensive energy monitoring toolkit

    E-Print Network [OSTI]

    Donnal, John Sebastian

    2013-01-01

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

  10. SEP Toolkit Overview | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i nAandSummaryDIST OF COLUMBIANorthSEP PADepartment of EnergyOverview.pdf

  11. 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 QA:QAsource History View NewTexas: Energy Resources JumpNewTexas:HydrothermallyIFBIdea OneIllumitexMorocco JumpImpact

  12. 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 Center Home Page on QA:QAsource History View NewTexas: EnergyKulpsville, Pennsylvania: Energy ResourcesLEDSGP/AnnualEvent2014 <

  13. 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 Center Home Page on QA:QAsource History View NewTexas: EnergyKulpsville, Pennsylvania: Energy

  14. 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 Center Home Page on QA:QAsource History View NewTexas: EnergyKulpsville,LEDSGP/activities <LEDSGP/home

  15. 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 QA:QA J-E-1 SECTION J APPENDIX E LISTStar EnergyLawler,Coal TechnologiesClioCommunity

  16. 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 QA:QA J-E-1 SECTION J APPENDIX E LISTStar Energy LLCLtd Jump to: navigation, searchsource History ViewEnFederalLEDS

  17. 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 QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavyAgency (IRENA) JumpLiterature Review Home Qinsun'sHillwe missing

  18. 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 QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavyAgencyTendo New EnergyWindState GridWindLtd Jump to:Smart

  19. 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 QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EAInvervar HydroElectric Cooperative(Redirected fromUni Land

  20. 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 QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EAInvervar HydroElectricColorado: EnergyLamartine NavarroAssessment

  1. 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:Financing ToolInternationalReportOffice | DepartmentVery Large2015BETHEL, AKTemplatePARS6

  2. 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:Financing ToolInternationalReportOffice | DepartmentVery Large2015BETHEL, AKTemplatePARS6Cindy

  3. 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 Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EIS ReportEuropeEnergySustainability Center of theEurope ResearchForest

  4. Category:RAPID 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 QA:QA J-E-1 SECTION JEnvironmentalBowerbank,CammackFLIR Jump to:RAPID Roadmap Contact Properties Jump to:source

  5. 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 Home Page on QA:QA J-E-1 SECTION J APPENDIXsource HistoryScenarios TowardsInformationMarietta, Georgia:MarineMark RicheyMarket

  6. 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 QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowaWisconsin:Pontiac Biomass Facility Jump to: navigation, search

  7. 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 QA:QA J-E-1 SECTION J APPENDIX ECoopButte County,Camilla,Thermal Gradient Holes Jump to: navigation, searchTrade

  8. Voluntary Initiative: Partnerships 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 DeliciousMathematics And Statistics » USAJobs Search USAJobsAdvancedVeteran LeadershipVisionFinal U.S.

  9. Workplace Charging Toolkit: Workshop Outreach Presentation Template |

    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 DeliciousMathematics And Statistics » USAJobs SearchAMERICA'SEnergyofThe

  10. 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 QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy Electricals Ltd BHELEurope Limited JumpAG JumpConsorcioCERSIL

  11. 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 QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy ElectricalsFTL Solar Jump to:Fenglilai

  12. 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 QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy ElectricalsFTL Solar Jump to:Fenglilai

  13. Social Media 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirley Ann JacksonDepartment ofOffice|inWestMayBuilding K-25 cleanup atDepartment ofHow to manageThis

  14. Better Buildings Residential Network Social Media Toolkit

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirley Ann JacksonDepartment|Marketing, LLC |Energy Advisor the fishworked with hundreds ofSocial

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

    SciTech Connect (OSTI)

    Not Available

    1992-12-31

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

  16. Biomedical research with cyclotron produced radionuclides. Progress report, January 1, 1979-June 30, 1980. [Lead Abstract

    SciTech Connect (OSTI)

    Laughlin, J.S.; Benua, R.S.; Gelbard, A.S.

    1980-09-01

    Separate abstracts were prepared for the 24 papers presented in this progress report dealing with the use of radionuclides produced by the cyclotron. (KRM)

  17. Demo Abstract: The SpiderBat Ultrasound Positioning System Georg Oberholzer, Philipp Sommer, Roger Wattenhofer

    E-Print Network [OSTI]

    Demo Abstract: The SpiderBat Ultrasound Positioning System Georg Oberholzer, Philipp Sommer, Roger Wattenhofer Computer Engineering and Networks Laboratory ETH Zurich, Switzerland sommer

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

    SciTech Connect (OSTI)

    None, None

    1997-04-01

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

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

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

    Office of Energy Efficiency and Renewable Energy (EERE)

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

  1. 9/21/2000 Elements of Software Fall 2000 1 Interfaces and Abstract Classes

    E-Print Network [OSTI]

    Browne, James C.

    1 9/21/2000 Elements of Software ­ Fall 2000 1 Interfaces and Abstract Classes Comparison of class Object Interface Abstract Class 9/21/2000 Elements of Software ­ Fall 2000 2 Interfaces being invoked is based on the particular object being referenced at the time #12; 2 9/21/2000 Elements

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  3. Teaching With Concrete and Abstract Visual Representations: Effects on Students' Problem Solving, Problem Representations, and

    E-Print Network [OSTI]

    Reisslein, Martin

    Teaching With Concrete and Abstract Visual Representations: Effects on Students' Problem Solving/or abstract visual problem representa- tions during instruction on students' problem-solving practice, near outperformed Groups A and C on problem-solving practice in Experiments 1 and 2 and outperformed Group C

  4. Demo Abstract: Common Sense: Participatory Urban Sensing Using a Network of Handheld Air Quality Monitors

    E-Print Network [OSTI]

    Aoki, Paul M.

    people die each year from the effects of air pollution [6]. Unfortunately, while variations in airDemo Abstract: Common Sense: Participatory Urban Sensing Using a Network of Handheld Air Quality Abstract Poor air quality is a global health issue, causing serious problems like asthma, cancer, and heart

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

    SciTech Connect (OSTI)

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

    1981-05-01

    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)

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

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

    E-Print Network [OSTI]

    Clarke, Edmund M.

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

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

    E-Print Network [OSTI]

    Theobald, Michael

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

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

    E-Print Network [OSTI]

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

  10. 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 Annapolis, Maryland 21402 Abstract From a Computer Science and Artificial Intelligence perspec- tive to undergraduates. The paper presents an alternative synthesis of the various sub-fields of Artificial Intelligence

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

    E-Print Network [OSTI]

    Giacobazzi, Roberto

    Complete Abstract Interpretations made Constructive Roberto Giacobazzi ? Francesco Ranzato Belzoni 7, 35131 Padova, Italy franz@math.unipd.it Abstract. Completeness is a desirable, although general form of completeness, where concrete semantic functions can have differ­ ent domains and ranges

  12. Abstract Planning with Unknown Object Quantities and Properties Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein

    E-Print Network [OSTI]

    Zilberstein, Shlomo

    01003 Abstract State abstraction has been widely used for state aggregation in approaches to AI search common. For instance, consider a simplified recycling problem where a recycling robot must pick up objects from a set of unknown number of bins, perform a sensing action to determine recyclability

  13. abstract word representations 1 In defense of abstractionist theories of repetition priming and word identification.

    E-Print Network [OSTI]

    Bowers, Jeff

    abstract word representations 1 In defense of abstractionist theories of repetition priming and word identification. Jeffrey S. Bowers Department of Experimental Psychology University of Bristol 8 Woodland Rd Bristol, BS8-1TN j.bowers@bris.ac.uk 011 44 0117 928-8573 Running head: abstract word

  14. Poster Abstract -WSN-Erlang: a Functional, High Level Approach to WSN Development

    E-Print Network [OSTI]

    Cugola, Gianpaolo

    Poster Abstract - WSN-Erlang: a Functional, High Level Approach to WSN Development Alessandro@elet.polimi.it Abstract--The complexity in designing, coding, and testing WSN applications is considered among the most relevant factors that limit the diffusion of WSN technology. In this work we claim that Erlang

  15. ON THE CONCEPT OF (HOMO)MORPHISM : A KEY NOTION IN THE LEARNING OF ABSTRACT ALGEBRA

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    ON THE CONCEPT OF (HOMO)MORPHISM : A KEY NOTION IN THE LEARNING OF ABSTRACT ALGEBRA Thomas Algebra more accessible. I. INTRODUCTION In our context, Abstract Algebra means the discipline devoted to the study of algebraic structures, according to the new paradigm established after the publication of van

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

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

    SciTech Connect (OSTI)

    Jiang, Bin; Guo, Hua

    2013-12-14

    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.

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

    E-Print Network [OSTI]

    Chefaoui, Rosa María

    2011-01-01

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

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

    E-Print Network [OSTI]

    Boyer, Edmond

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

  20. Abstract Surface plasmon resonance (SPR) biosensors are optical sensors exploiting special electromagnetic waves

    E-Print Network [OSTI]

    Abstract Surface plasmon resonance (SPR) biosensors are optical sensors exploiting special detection of biological ana- lytes and analysis of biomolecular interactions where SPR biosensors provide biosensors and discusses recent advances in de- velopment and applications of SPR biosensors. Keywords

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

    SciTech Connect (OSTI)

    Sheehan, M.A.

    1997-04-01

    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.

  2. "Proofs and Fundamentals: A First Course in Abstract Mathematics" Ethan D. Bloch

    E-Print Network [OSTI]

    Bloch, Ethan

    ERRATA FOR "Proofs and Fundamentals: A First Course in Abstract Mathematics" Ethan D. Bloch Birkh let me know by email or regular mail at the following address: Ethan D. Bloch Bard College Annandale

  3. Poster Abstract: Wireless Sensor Networks for Structural Health Sukun Kim, Shamim Pakzad, David Culler, James Demmel

    E-Print Network [OSTI]

    California at Berkeley, University of

    Poster Abstract: Wireless Sensor Networks for Structural Health Monitoring Sukun Kim, Shamim Pakzad Experimentation, Reliability, Design Keywords Wireless Sensor Networks, Structural Health Monitoring, Deployment, Large-Scale 1 Introduction Structural Health Monitoring (SHM) is estimating the state of structural

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

    SciTech Connect (OSTI)

    1996-12-31

    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.

  5. Abstract Amendment of orchard soil with low-glucosinolate Brassica napus (rape) seed meal

    E-Print Network [OSTI]

    Cohen, Michael F.

    Abstract Amendment of orchard soil with low- glucosinolate Brassica napus (rape) seed meal (RSM on sites previously planted to apple or related tree crops. Amendment of soil with Brassica napus (rape

  6. Biology Division progress report, October 1, 1978-May 31, 1980. [Lead abstract

    SciTech Connect (OSTI)

    Not Available

    1980-10-01

    Separate abstracts were prepared for each of the four sections into which this progress report has been divided. The report also contains sections related to interdivision activities and educational activities. (ERB)

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

    E-Print Network [OSTI]

    Thompson, Mary R.

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

  8. Efficient resolution of security-sensitive values in Android using abstract interpretation

    E-Print Network [OSTI]

    Petters, Dmitrij

    2014-01-01

    In this thesis I present a design for an efficient and sound abstract interpretation-based Value Analysis which calculates field values of security-relevant Android API class instances. The analysis is an important component ...

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

    E-Print Network [OSTI]

    British Columbia, University of

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

  10. Math 4323: Introduction to Abstract Algebra I Fall 2014, University of Oklahoma

    E-Print Network [OSTI]

    Schmidt, Ralf

    Math 4323: Introduction to Abstract Algebra I Fall 2014, University of Oklahoma Section 001, MWF 10 with Disabilities: The University of Oklahoma is committed to providing rea- sonable accommodation for all students

  11. Regulatory and technical reports (abstract index journal). Second quarter 1996, April--June

    SciTech Connect (OSTI)

    Sheehan, M.A.

    1996-08-01

    This report contains bibliographic data and abstracts for the formal regulatory and technical reports issued by the U.S. Nuclear Regulatory Commission (US NRC) staff and it`s contractors.

  12. Math 453 Abstract Algebra sample 1. Find gcd(123,745) 2. Find the ...

    E-Print Network [OSTI]

    2015-09-18

    Math 453 Abstract Algebra sample. 1. Find gcd(123,745). 2. Find the inverse of 23 in Z71. 3. Find the last two digits of 15100. 4. Prove that the set of all 2 × 2 ...

  13. Abstract--Unmanned Air Vehicles (UAVs) have several advantages and disadvantages compared with Unmanned

    E-Print Network [OSTI]

    Florida, University of

    , Florida. Recently, unmanned aerial vehicles (UAVs) have been used more extensively for militaryAbstract--Unmanned Air Vehicles (UAVs) have several advantages and disadvantages compared with Unmanned Ground Vehicles (UGVs). Both systems have different mobility and perception abilities. UAV systems

  14. Abstract Earthworms are keystone detritivores that can influence primary producers by changing

    E-Print Network [OSTI]

    Thomas, David D.

    Abstract Earthworms are keystone detritivores that can influence primary producers by changing+Business Media B.V. 2006 #12;Lumbricus terrestris Æ Keystone species Æ Minnesota forests Æ New York forests

  15. Poster Abstract: Practical Limits of WiFi Time-of-Flight Echo Techniques

    E-Print Network [OSTI]

    Lenders, Vincent

    Giustiniano Institute IMDEA Networks Madrid, Spain domenico.giustiniano@imdea.org Vincent Lenders Armasuisse Thun, Switzerland vincent.lenders@armasuisse.ch Abstract--Time-of-flight echo techniques have been

  16. Pacific Northwest Laboratory annual report for 1979 to the DOE Assistant Secretary for Environment. Part 1. Biomedical sciences. [Lead abstract

    SciTech Connect (OSTI)

    Not Available

    1980-02-01

    Separate abstracts were prepared for the 101 individual papers presented in this annual report. (ERB)

  17. A Tale of Two Toolkits: Relating Infrastructure and Use in Flexible CSCW Toolkits

    E-Print Network [OSTI]

    Dourish,Paul

    . On the one hand, it aims to reduce programmer effort by providing prefabricated, reusable software modules building houses from prefab- #12;2 ricated parts, this makes the application developer's task simpler (and

  18. Conceptual Framework and Levels of Abstraction for a Complex Large-Scale System

    SciTech Connect (OSTI)

    Simpson, Mary J.

    2005-03-23

    A conceptual framework and levels of abstraction are created to apply across all potential threats. Bioterrorism is used as a complex example to describe the general framework. Bioterrorism is unlimited with respect to the use of a specific agent, mode of dissemination, and potential target. Because the threat is open-ended, there is a strong need for a common, systemic understanding of attack scenarios related to bioterrorism. In recognition of this large-scale complex problem, systems are being created to define, design and use the proper level of abstraction and conceptual framework in bioterrorism. The wide variety of biological agents and delivery mechanisms provide an opportunity for dynamic scale changes by the linking or interlinking of existing threat components. Concurrent impacts must be separated and evaluated in terms of a given environment and/or ‘abstraction framework.’

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

    SciTech Connect (OSTI)

    1995-03-01

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

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

    E-Print Network [OSTI]

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

  1. Abstract The concurrent goals of cement hydration are to percolate (bridge) the original

    E-Print Network [OSTI]

    Bentz, Dale P.

    Abstract The concurrent goals of cement hydration are to percolate (bridge) the original cement. The initial volume, particle size distribution, and flocculation/dispersion state of the cement particles have and the alkali content of the cement pastes. Finally, it is proposed that future efforts in this field

  2. Abstract--Although wireless microsensors can add performance-enhancing and energy-saving intelligence to

    E-Print Network [OSTI]

    Rincon-Mora, Gabriel A.

    Abstract--Although wireless microsensors can add performance-enhancing and energy-saving implants [2] use to improve performance and save energy. Collecting, processing, storing, and transmitting] and recharging an onboard battery CBAT [6], the system can save battery energy and operate later, on demand

  3. 2013-2014 DYF Awardees' Info and Abstracts 1. Name (Last, First): Breton, Timothy

    E-Print Network [OSTI]

    is essential to meet global needs. One major problem, however, is reproductive failure that limits production second behind oil at $9 billion annually. Most fisheries are overexploited, and future aquaculture growth Abstract: #12;Fish farming has the potential to provide protein to the growing world population but has

  4. Abstract A generalized Nash Blow-up M0 with respect to coherent subsheaves of locally

    E-Print Network [OSTI]

    Sertöz, Ali Sinan

    Abstract A generalized Nash Blow-up M0 with respect the localized classes of graph construction is given. Nash residue for singular holomorphic foliations is defined and it is shown that the residue of Baum-Bott and the Nash residue differ by a term that comes

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

    E-Print Network [OSTI]

    Adya, Atul

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

  6. TAS-2013-0043 1 Abstract--Fuel cells are electrochemical energy converters

    E-Print Network [OSTI]

    Boyer, Edmond

    TAS-2013-0043 1 Abstract--Fuel cells are electrochemical energy converters which allow generation. Fuel cells are then by essence low voltage sources , so that for most practical applications of the perfectly direct current relies upon a fuel cell fed by hydrogen. The main advantages to be taken from fuel

  7. A Data Abstraction Architecture for Mission Operations Scott Bell*, David Kortenkamp*, Jack Zaientz**

    E-Print Network [OSTI]

    Kortenkamp, David

    of numeric values, advanced au- tomation software is similar to humans in being optimized for symbolic- ponents and connections that allow engineers to build and maintain data abstraction systems. Our on an input message stream. Whether performed on the message content or the message envelope

  8. AN ABSTRACT OF A THESIS TYPESETTING TTU MASTER AND DOCTORAL THESIS

    E-Print Network [OSTI]

    Ablamowicz, Rafal

    AN ABSTRACT OF A THESIS TYPESETTING TTU MASTER AND DOCTORAL THESIS WITH LATEX Rafal Ablamowicz of templates posted at http://math.tntech.edu/TTUthesis/thesis.html when typesetting in LATEX a master or a doctoral thesis according to current re- quirements of TTU Graduate School. We will review the requirements

  9. Abstract--An evolutionary "Third Way" approach for restructuring the electricity industry is proposed, striking a

    E-Print Network [OSTI]

    Oren, Shmuel S.

    Abstract-- An evolutionary "Third Way" approach for restructuring the electricity industry aspects of implementing this role within liberalized wholesale markets are also examined. Index Terms--Electricity of the electricity industry that builds on lessons learned from experience and the principle of risk management

  10. Power Sources for Wireless Sensor Abstract. Wireless sensor networks are poised to become a very significant

    E-Print Network [OSTI]

    Frechette, Luc G.

    Power Sources for Wireless Sensor Networks Abstract. Wireless sensor networks are poised to become a very significant enabling technology in many sectors. Already a few very low power wireless sensor environment, alternative power sources must be employed. This paper reviews many potential power sources

  11. Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

    E-Print Network [OSTI]

    Chang, Bor-Yuh Evan

    INRIA/CNRS/ENS Paris, xavier.rival@ens.fr Abstract. Dynamic language library developers face a challenging problem: ensuring that their libraries will behave correctly for a wide variety of client programs without having access to those client programs. This problem stems from the common use of two defining

  12. Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

    E-Print Network [OSTI]

    Rival, Xavier

    . Dynamic language library developers face a challenging problem: ensuring that their libraries will behave stems from the common use of two defining features for dynamic languages: callbacks into client code, the second abstraction tracks attribute name/value pairs across the execution of a library. We implement

  13. Pluggable Abstract Domains for Analyzing Embedded Software Nathan Cooprider John Regehr

    E-Print Network [OSTI]

    Regehr, John

    of cXprop, an analysis and trans- formation tool for C that implements "conditional X propagation size reduction of 8.2% through RAM compression. Categories and Subject Descriptors D.3.4 [Programming functions conforming to an abstract domain interface that we developed. cXprop can operate in three modes

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

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

    E-Print Network [OSTI]

    Rincon-Mora, Gabriel A.

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

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

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

    E-Print Network [OSTI]

    Amoros, Jaume

    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

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

    E-Print Network [OSTI]

    Hsu, Cheng

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

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

  1. Thermochemistry of radicals formed by hydrogen abstraction from 1-butanol, 2-methyl-1-propanol, and butanal

    E-Print Network [OSTI]

    Truhlar, Donald G

    , and butanal Ewa Papajak, Prasenjit Seal, Xuefei Xu, and Donald G. Truhlar Citation: J. Chem. Phys. 137, 104314 abstraction from 1-butanol, 2-methyl-1-propanol, and butanal Ewa Papajak, Prasenjit Seal, Xuefei Xu- propanol, and butanal. Electronic structure calculations for all conformers of the radicals were car- ried

  2. Demo Abstract: Distributed Control of a Swarm of Buildings Connected to a Smart Grid

    E-Print Network [OSTI]

    Simunic, Tajana

    Demo Abstract: Distributed Control of a Swarm of Buildings Connected to a Smart Grid Baris Aksanli1 simulator, called Smart Grid Swarm Simulator (S2Sim). S2Sim simulates the grid dynam- ics (power, voltage cost function. Some exam- ples of cost functions are reduced energy consumption, re- duced electricity

  3. Abstract--Gear hobbing is a common method of manufacturing high precision involute gears. The thorough

    E-Print Network [OSTI]

    Aristomenis, Antoniadis

    Abstract-- Gear hobbing is a common method of manufacturing high precision involute gears importance in order to produce helical and spur gears as they influence the cost of the manufacturing process and the quality of the produced gear. HOB3D is a simulation code that enables users to simulate the process

  4. Abstract--Whole-gear efficiency (the proportion of fish passing between

    E-Print Network [OSTI]

    278 Abstract--Whole-gear efficiency (the proportion of fish passing between the otter doors elassodon), rex sole (Glyptocephalus zachirus), and Dover sole (Microsto- mus pacificus). Whole-gear, flathead sole, and rex sole. For Dover sole, how- ever, whole-gear efficiency declined from a maximum of 33

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

    SciTech Connect (OSTI)

    Not Available

    1981-10-01

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

  6. Abstract--Implementation of Distribution Automation (DA) and Demand Side Management (DSM) intended to serve both

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    by the distribution utility for the security. REMPLI (Remote Energy Management over Power Lines and Internet) system of distribution network. They should be monitored and controlled in DA system. The load monitoring and estimationAbstract--Implementation of Distribution Automation (DA) and Demand Side Management (DSM) intended

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

    E-Print Network [OSTI]

    Habel, Annegret

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

  8. 2/Donald M. Knutson-Abstract: Biological and chemical control agents for

    E-Print Network [OSTI]

    2/Donald M. Knutson- Abstract: Biological and chemical control agents for control of dwarfZinclrocarpon g i l i i i , dwarf mistletoe, biological control, chemical control. INTRODUCTION Forest managers organisms and with chemicals that can be applied to infected trees and which selectively kill the dwarf

  9. Demo Abstract: Toward Data-driven Demand-Response Optimization in a Campus Microgrid

    E-Print Network [OSTI]

    Hwang, Kai

    Demo Abstract: Toward Data-driven Demand-Response Optimization in a Campus Microgrid Yogesh Simmhan-driven demand response optimization (DR) in the USC campus microgrid, as part of the Los An- geles Smart Grid consumer in Los Angeles, is serving as a campus microgrid testbed and ex- ploring informatics

  10. Abstract--Fecundity in striped mullet (Mugil cephalus) from South Carolina

    E-Print Network [OSTI]

    822 Abstract--Fecundity in striped mullet (Mugil cephalus) from South Carolina correlated highly that striped mullet that recruit into South Carolina estuaries spawn from October through April. Manuscript cephalus L.) in South Carolina estuaries* Christopher J. McDonough William A. Roumillat Charles A. Wenner

  11. Abstract--Cloud computing is a style of computing in which dynamically scalable and commonly virtualized

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    for Cloud Security Hongwei Li1 , Yuanshun Dai1,2 , Bo Yang1 1 University of Electronic Science comprehensive security solutions to attain assurance of the cloud's treatment of security issues. Independent1 Abstract--Cloud computing is a style of computing in which dynamically scalable and commonly

  12. #061212-008 1 Abstract A new type of surface vehicle/buoy is needed for

    E-Print Network [OSTI]

    Wood, Stephen L.

    #061212-008 1 Abstract ­ A new type of surface vehicle/buoy is needed for marine biological studies, and fluorescein. Index Terms-- Autonomous Marine Vehicle, Autonomous Mobile Buoy, Coastal Observatories, Self is a completely redesigned NOMAD buoy with the ability to pull up anchor and traverse under power to a new

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

  14. CMOC Abstract: Keynote CMOS Image Sensors From Zero to Billions: A Story of Technology Innovation

    E-Print Network [OSTI]

    Fossum, Eric R.

    Innovation Eric R. Fossum, Thayer School of Engineering at Dartmouth Abstract Innovation is the process of taking a discovery or invention, and translating it to a product that can be commercialized. In the early into useful products not only for space, but also for down-to-earth use [1]. The CMOS image sensor "camera

  15. Abstract The O2 requirements for biomass pro-duction and supplying maintenance energy de-

    E-Print Network [OSTI]

    Daugulis, Andrew J.

    Abstract The O2 requirements for biomass pro- duction and supplying maintenance energy de- mands-state data. For benzene and ethylbenzene, the biomass yield on O2, YX=O2 , was estimated on a cell dry weight.022 mgO2 mg CDW­1 h­1 , respec- tively. Keywords Bioscrubber Æ BTEX Æ Maintenance energy Æ Oxygen

  16. Meteoritics & Planetary Science 41, Nr 2, 263284 (2006) Abstract available online at http://meteoritics.org

    E-Print Network [OSTI]

    2006-01-01

    ://meteoritics.org 263 © The Meteoritical Society, 2006. Printed in USA. Petrography and geochemistry of five new Apollo 24 August 2005) Abstract­We present the petrography and geochemistry of five 2­4 mm basalt fragments, we present the petrography and geochemistry of five new basaltic fragments from the Apollo 16 site

  17. Biology and Medicine Division annual report, 1981-1982. [Lead abstract

    SciTech Connect (OSTI)

    Not Available

    1983-04-01

    Separate abstracts were prepared for the 61 research reports in the 1981-1982 annual report for the Biology and Medicine Division of the Lawrence Berkeley Laboratory. Programs reviewed include research medicine, Donner Pavilion, environmental physiology, radiation biophysics and structural biophysics. (KRM)

  18. Poster Abstract: Reliable and Energy-Efficient Bulk-Data Dissemination in Wireless Sensor Networks

    E-Print Network [OSTI]

    Poster Abstract: Reliable and Energy-Efficient Bulk-Data Dissemination in Wireless Sensor Networks of the most common applications of wireless sensor networks. Such networks are an extremely useful tool- suming and costly. Network reprogramming protocols allow to distribute code updates over the wireless

  19. Meteoritics & Planetary Science 41, Nr 5, 785796 (2006) Abstract available online at http://meteoritics.org

    E-Print Network [OSTI]

    Zare, Richard N.

    2006-01-01

    @mail.arc.nasa.gov (Received 16 November 2005; revision accepted 03 February 2006) Abstract­The polycyclic aromatic nitrogen water or water mixed with methanol or methane and exposed to ultraviolet (UV) radiation. Upon warming photolysis of the methanol- and methane-containing ices. In addition, possible methoxyquinolines or quinoline

  20. PachyRand: SQL Randomization for the PostgreSQL JDBC Driver Extended Abstract

    E-Print Network [OSTI]

    PachyRand: SQL Randomization for the PostgreSQL JDBC Driver Extended Abstract Michael E. Locasto content stored in SQL databases. Such systems take input directly from the client via HTML forms. Without proper input validation, these systems are vulnerable to SQL injection at- tacks. The predominant defense