National Library of Energy BETA

Sample records for abstracts is-mpmi sixth

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

  2. Sixth International Conference on Precipitation: Predictability of Rainfall at the Various Scales. Abstracts

    SciTech Connect (OSTI)

    None

    1998-06-29

    This volume contains abstracts of the papers presented at the Sixth International Conference on Precipitation: Predictability of Rainfall at the various scales, held at the Mauna Lani Bay and Bungalows, Hawaii, June 29 - July 1, 1998. The main goal of the conference was to bring together meteorologists, hydrologists, mathematicians, physicists, statisticians, and all others who are interested in fundamental principles governing the physical processes of precipitation. The results of the previous conferences have been published in issues of the Journal of Geophysical Research and Journal of Applied Meteorology. A similar format is planned for papers of this conference.

  3. ICENES `91:Sixth international conference on emerging nuclear energy systems. Program and abstracts

    SciTech Connect (OSTI)

    Not Available

    1991-12-31

    This document contains the program and abstracts of the sessions at the Sixth International Conference on Emerging Nuclear Energy Systems held June 16--21, 1991 at Monterey, California. These sessions included: The plenary session, fission session, fission and nonelectric session, poster session 1P; (space propulsion, space nuclear power, electrostatic confined fusion, fusion miscellaneous, inertial confinement fusion, {mu}-catalyzed fusion, and cold fusion); Advanced fusion session, space nuclear session, poster session 2P, (nuclear reactions/data, isotope separation, direct energy conversion and exotic concepts, fusion-fission hybrids, nuclear desalting, accelerator waste-transmutation, and fusion-based chemical recycling); energy policy session, poster session 3P (energy policy, magnetic fusion reactors, fission reactors, magnetically insulated inertial fusion, and nuclear explosives for power generation); exotic energy storage and conversion session; and exotic energy storage and conversion; review and closing session.

  4. Abstract--Design of a fully differential sixth order GHz range gm-C lowpass filter for DS-CDMA UWB (ultra wideband)

    E-Print Network [OSTI]

    Ha, Dong S.

    Abstract--Design of a fully differential sixth order GHz range gm-C lowpass filter for DS-CDMA UWB voltage of 1.8 V. Index Terms--DS-CDMA, UWB, gm-C filter, negative resistance load, lowpass filter I-amps with bandwidth in the range of tens of GHz. Transconductor capacitor (gm-C) filters are well suited

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

  6. ABSTRACT

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

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

  7. The Sixth Power Plan: Toward a Clean

    E-Print Network [OSTI]

    The Sixth Power Plan: Toward a Clean Energy Future Council Document 2010-01 February 2010 Apub is eco- nomical and reliable. The Sixth Northwest Power Plan: Toward a Clean Energy Future Improved efficiency is about a third of the cost of building new power plants fueled by natural gas, coal or wind

  8. Sixth Dimension | 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 ReportEurope GmbH Jump to:Idaho-Utah |RenovablesSixth Dimension Jump

  9. ICENES '91:Sixth international conference on emerging nuclear energy systems

    SciTech Connect (OSTI)

    Not Available

    1991-01-01

    This document contains the program and abstracts of the sessions at the Sixth International Conference on Emerging Nuclear Energy Systems held June 16--21, 1991 at Monterey, California. These sessions included: The plenary session, fission session, fission and nonelectric session, poster session 1P; (space propulsion, space nuclear power, electrostatic confined fusion, fusion miscellaneous, inertial confinement fusion, [mu]-catalyzed fusion, and cold fusion); Advanced fusion session, space nuclear session, poster session 2P, (nuclear reactions/data, isotope separation, direct energy conversion and exotic concepts, fusion-fission hybrids, nuclear desalting, accelerator waste-transmutation, and fusion-based chemical recycling); energy policy session, poster session 3P (energy policy, magnetic fusion reactors, fission reactors, magnetically insulated inertial fusion, and nuclear explosives for power generation); exotic energy storage and conversion session; and exotic energy storage and conversion; review and closing session.

  10. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Sandiford, Mike

    .long@sa.gov.au See author affiliations at end. ABSTRACT Australia is amongst the forefront of Enhanced Geothermal high-permeability systems of fluid-borne crustal heat, commercially-viable geothermal systemsPROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University

  11. Sixth Northwest Conservation and Electric Power Plan Sixth Power Plan Action Plan

    E-Print Network [OSTI]

    activities. CONSERVATION Energy efficiency is the first priority resource in the Northwest Power Act. The Council's analysis for the Sixth Power Plan strongly affirmed that energy efficiency improvements provide planning requirements, state and utility programs, and the Northwest Energy Efficiency Taskforce

  12. Sixth Northwest Conservation and Electric Power Plan Chapter 7: Transmission

    E-Print Network [OSTI]

    Sixth Northwest Conservation and Electric Power Plan Chapter 7: Transmission Summary of Key..................................................................................................................................... 1 Northwest Transmission Planning), there was concern that there had been little progress on addressing the developing transmission issues in the region

  13. Sixth national stakeholder workshop summary report

    SciTech Connect (OSTI)

    NONE

    1999-03-01

    On June 17--18, 1998, the Department of Energy`s (DOE) Office of Worker and Community Transition convened its sixth National Stakeholder Workshop at the Ramada Plaza Hotel Old Town in Alexandria, Virginia. Approximately 325 stakeholders attended representing DOE headquarters and field offices, contractors, labor organizations, state and local government, education and community interest groups. The meeting addressed the progress made on the issues and challenges identified at the last stakeholder`s meeting in Oakland, California on April 9--11, 1997. Also discussed were the full range of the Department`s work force issues and creative solutions to the inherent challenges of simultaneously implementing the Department`s post Cold-War mission, work force restructuring guidance, contract reform objectives, asset disposition, performance-based management requirements, and business process improvement policies. The format of the Workshop included several plenary sessions and a number of small group discussion sessions. The small group sessions focused on topics related to labor issues, work force restructuring, work force planning, community transition, and employee concerns. The sessions provided a wide range of views on worker and community transition issues. The plenary sessions of the Workshop included presentations on the following topics: welcome and introductions; opening remarks; building a better labor-management relationship; keynote speech from Secretary of Energy Federico Pena; meeting tomorrow`s challenges (early site closures); harnessing the contracting process to encourage local growth; and, the British experience in economic conversion.

  14. The Sixth VLBA Calibrator Survey: VCS6

    E-Print Network [OSTI]

    L. Petrov; Y. Y. Kovalev; E. B. Fomalont; D. Gordon

    2008-07-21

    This paper presents the sixth part to the Very Long Baseline Array (VLBA) Calibrator Survey. It contains the positions and maps of 264 sources of which 169 were not previously observed with very long baseline interferometry (VLBI). This survey, based on two 24 hour VLBA observing sessions, was focused on 1) improving positions of 95 sources from previous VLBA Calibrator surveys that were observed either with very large a priori position errors or were observed not long enough to get reliable positions and 2) observing remaining new flat-spectrum sources with predicted correlated flux density in the range 100-200 mJy that were not observed in previous surveys. Source positions were derived from astrometric analysis of group delays determined at the 2.3 and 8.6 GHz frequency bands using the Calc/Solve software package. The VCS6 catalogue of source positions, plots of correlated flux density versus projected baseline length, contour plots and fits files of naturally weighted CLEAN images, as well as calibrated visibility function files are available on the Web at http://vlbi.gsfc.nasa.gov/vcs6

  15. Sixth Northwest Conservation and Electric Power Plan Chapter 5: Demand Response

    E-Print Network [OSTI]

    Sixth Northwest Conservation and Electric Power Plan Chapter 5: Demand Response Summary of Key.............................................................................................................. 1 Demand Response in the Fifth Power Plan........................................................................................... 3 Demand Response in the Sixth Power Plan

  16. 851 S.W. Sixth Avenue, Suite 1100 Portland, Oregon 97204-1348 Executive Director

    E-Print Network [OSTI]

    851 S.W. Sixth Avenue, Suite 1100 Portland, Oregon 97204-1348 Executive Director www progress report on various activities that are underway. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503

  17. The Sixth Vital Sign Fna Forms New Committee To Tackle Low Health Literacy

    E-Print Network [OSTI]

    Fernandez, Eduardo

    The Sixth Vital Sign Fna Forms New Committee To Tackle Low Health Literacy Nearly half of all are looking at health literacy as the sixth vital sign." Health literacy is more than a patient's reading

  18. Sixth Northwest Conservation and Electric Power Plan Appendix D: Wholesale Electricity Price Forecast

    E-Print Network [OSTI]

    Sixth Northwest Conservation and Electric Power Plan Appendix D: Wholesale Electricity Price........................................................................................ 13 Fuel Prices................................................................................................................................. 14 Carbon Dioxide Prices

  19. Energy Efficiency in the Future The Sixth Northwest Power Plan, 2010

    E-Print Network [OSTI]

    Resource Portfolio CumulativeResources (AverageMegawatts) Energy efficiency is at the heart of the SixthEnergy Efficiency in the Future The Sixth Northwest Power Plan, 2010 The plan,the sixth five megawatts). This efficiency,combined with new renewable energy,could delay investments in new fossil

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

  1. Sixth Northwest Conservation and Electric Power Plan Chapter 9: Developing a Resource Strategy

    E-Print Network [OSTI]

    Sixth Northwest Conservation and Electric Power Plan Chapter 9: Developing a Resource Strategy..................................................................................................................................... 1 Developing a Resource Strategy ......................................................................................................................... 7 Interpreting Portfolio Costs

  2. Sixth Northwest Conservation and Electric Power Plan Appendix K: The Smart Grid

    E-Print Network [OSTI]

    Sixth Northwest Conservation and Electric Power Plan Appendix K: The Smart Grid Introduction..................................................................................................................................... 1 Components of the Smart Grid.............................................................................................................. 2 Benefits from the Smart grid

  3. Sixth Northwest Conservation and Electric Power Plan Chapter 12: Capacity and Flexibility Resources

    E-Print Network [OSTI]

    ..................................................................................................................................... 2 Power System Requirements: Capacity, Energy, and FlexibilitySixth Northwest Conservation and Electric Power Plan Chapter 12: Capacity and Flexibility Resources................................................... 2 Capacity: Meeting Peak Demand

  4. Sixth Northwest Conservation and Electric Power Plan Appendix C: Demand Forecast

    E-Print Network [OSTI]

    Sixth Northwest Conservation and Electric Power Plan Appendix C: Demand Forecast Energy Demand .............................................................. 23 Electricity Demand Growth in the West............................................................................................................................... 28 Estimating Electricity Demand in Data Centers

  5. Sixth Northwest Conservation and Electric Power Plan Appendix A: Fuel Price Forecast

    E-Print Network [OSTI]

    Sixth Northwest Conservation and Electric Power Plan Appendix A: Fuel Price Forecast Introduction................................................................................................................................. 3 Price Forecasts ............................................................................................................................ 5 U.S. Natural Gas Commodity Prices

  6. Sixth Northwest Conservation and Electric Power Plan Chapter 8: Direct Use of Natural Gas

    E-Print Network [OSTI]

    Sixth Northwest Conservation and Electric Power Plan Chapter 8: Direct Use of Natural Gas....................................................................... 1 Analysis of the Direct Use of Natural Gas for the Sixth Power Plan electricity to natural gas for residential space and water heating a lower-cost and lower-risk alternative

  7. CENICS 2013 The Sixth International Conference on Advances in Circuits, Electronics and Micro-

    E-Print Network [OSTI]

    Privman, Vladimir

    CENICS 2013 The Sixth International Conference on Advances in Circuits, Electronics and Micro- electronics ISBN: 978-1-61208-302-5 August 25-31, 2013 Barcelona, Spain CENICS 2013 Editors Vladimir Privman://thinkmind.org/index.php?view=instance&instance=CENICS+2013 #12;CENICS 2013 Foreword The Sixth International Conference on Advances in Circuits, Electronics

  8. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    , and the Sixth Plan may include a recommendation for research and development on carbon sequestration. Woody

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

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

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

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

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

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

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

  16. Sixth clean coal technology conference: Proceedings. Volume 2: Technical papers

    SciTech Connect (OSTI)

    NONE

    1998-12-01

    The Sixth Clean Coal Technology Conference focused on the ability of clean coal technologies (CCTs) to meet increasingly demanding environmental requirements while simultaneously remaining competitive in both international and domestic markets. Conference speakers assessed environmental, economic, and technical issues and identified approaches that will help enable CCTs to be deployed in an era of competing, interrelated demands for energy, economic growth, and environmental protection. Recognition was given to the dynamic changes that will result from increasing competition in electricity and fuel markets and industry restructuring, both domestically and internationally. Volume 2 contains 28 papers related to fluidized-bed combustion, coal gasification for combined cycle power plants, the Liquid Phase Methanol Process, use of coal in iron making, air pollution control of nitrogen oxides, coke making, and hot gas cleanup.

  17. The Sixth Omega Laser Facility Users Group Workshop

    SciTech Connect (OSTI)

    Petrasso, R. D.

    2014-10-01

    A capacity gathering of over 100 researchers from 25 universities and laboratories met at the Laboratory for Laser Energetics (LLE) for the Sixth Omega Laser Facility Users Group (OLUG) workshop. The purpose of the 2.5-day workshop was to facilitate communications and exchanges among individual OMEGA users, and between users and the LLE management; to present ongoing and proposed research; to encourage research opportunities and collaborations that could be undertaken at the Omega Laser Facility and in a complementary fashion at other facilities [such as the National Ignition Facility (NIF) or the Laboratoire pour l’Utilisation des Lasers Intenses (LULI)]; to provide an opportunity for students, postdoctoral fellows, and young researchers to present their research in an informal setting; and to provide feedback from the users to LLE management about ways to improve and keep the facility and future experimental campaigns at the cutting edge.

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

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

  20. Jane Gray Research Greenhouse and IB Sixth Floor Greenhouse Department of Integrative Biology

    E-Print Network [OSTI]

    Jane Gray Research Greenhouse and IB Sixth Floor Greenhouse Department of Integrative Biology UC Berkeley - 200 Centennial Dr. Greenhouse Space Request Form Date of Request____________ Expected time frame_____________________E-mail______________________________________ --------------------------------------------------------------------------------------------------------------------- Greenhouse Environmental Specifications Watering instructions

  1. Sixth Northwest Conservation and Electric Power Plan Appendix H: Demand Response

    E-Print Network [OSTI]

    Sixth Northwest Conservation and Electric Power Plan Appendix H: Demand Response Introduction consumers' levels of service unchanged, demand response is a change in use of electricity at particular..................................................................................................................................... 1 Demand Response in the Council's Fifth Power Plan

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

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

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

  5. Higher Education and the New Technologies,” Sixth International Conference on Higher Education, University of Lancaster, Lancaster England

    E-Print Network [OSTI]

    Gardner, David P.

    1984-01-01

    EDUCATION AND THE NEW TECHNOLOGIES Sixth Internationalto discuss these new technologies from two perspectives. Thethe transformations the new technology will bring, probably

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

  7. Sixth clean coal technology conference: Proceedings. Volume 1: Policy papers

    SciTech Connect (OSTI)

    NONE

    1998-12-01

    The Sixth Clean Coal Technology Conference focused on the ability of clean coal technologies (CCTs) to meet increasingly demanding environmental requirements while simultaneously remaining competitive in both international and domestic markets. Conference speakers assessed environmental, economic, and technical issues and identified approaches that will help enable CCTs to be deployed in an era of competing, interrelated demands for energy, economic growth, and environmental protection. Recognition was given to the dynamic changes that will result from increasing competition in electricity and fuel markets and industry restructuring, both domestically and internationally. Volume 1 contains 38 papers arranged under the following topical sections: International business forum branch; Keynote session; Identification of the issues; CCTs--Providing for unprecedented environmental concerns; Domestic competitive pressures for CCTs; Financing challenges for CCTs; New markets for CCTs; Clean coal for the 21st century: What will it take? Conclusions and recommendations. The clean coal technologies discussed include advanced pulverized coal-fired boilers, atmospheric fluidized-bed combustion (FBC), pressurized FBC, integrated gasification combined-cycle systems, pressurized pulverized coal combustion, integrated gasification fuel cell systems, and magnetohydrodynamic power generation.

  8. Proceedings of the sixth annual conference on fossil energy materials

    SciTech Connect (OSTI)

    Cole, N.C.; Judkins, R.R.

    1992-07-01

    The Sixth Annual Conference on Fossil Energy Materials was held in Oak Ridge, Tennessee, on May 12--14, 1992. The meeting was sponsored by the US Department of Energy's Office of Fossil Energy through the Advanced Research and Technology Development (AR TD) Materials Program, and ASM International. The objective of the AR TD Materials Program is to conduct research and development on materials for longer-term fossil energy applications as well as for generic needs of various fossil fuel technologies. The management of the Program has been decentralized to the DOE Field Office, Oak Ridge with Oak Ridge National Laboratory (ORNL) as the technical support contractor. The research is performed by staff members at ORNL and by a substantial number of researchers at other national laboratories, universities, and in private industry. The work is divided into the following categories: (1) ceramics, (2) development and corrosion resistance of iron aluminide, advanced austenitic and chromium-niobium alloys, and (3) technology assessment and technology transfer. This conference is held each year to review the work on all of the projects of the Program. The agenda for the meeting is given in Appendix A, and a list of attendees is presented in Appendix B. ASM International cosponsored the conference, for which we are especially grateful.

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

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

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

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

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

  14. ABSTRACTS OF PAPERS PUBLISHED

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

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

  15. ABSTRACTS OF PAPERS PUBLISHED

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

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

  16. ABSTRACTS OF PAPERS PUBLISHED

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

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

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

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

  19. 851 S.W. Sixth Avenue, Suite 1100 Portland, Oregon 97204-1348 Executive Director

    E-Print Network [OSTI]

    A question was raised regarding generating resources assumed in the Sixth Power Plan versus the power plants TO: Power Committee FROM: Ken Dragoon SUBJECT: Generation Data Update and Database Improvements that have subsequently been built or are under will review that current status of the generating database

  20. Sixth Northwest Conservation and Electric Power Plan Chapter 3: Electricity Demand Forecast

    E-Print Network [OSTI]

    Sixth Northwest Conservation and Electric Power Plan Chapter 3: Electricity Demand Forecast Summary.............................................................................................. 11 Demand From Plug-in Hybrid Electric Vehicles (PHEV megawatt-hours of electricity in 2007. That demand is expected to grow to 25,000 average megawatts by 2030

  1. Sixth Northwest Conservation & Electric Power Plan Cost and Availability of Wind

    E-Print Network [OSTI]

    1 Sixth Northwest Conservation & Electric Power Plan Cost and Availability of Wind Integration and Conservation Council Wind Integration Costs · Reserving capacity for within-hour balancing is costly the system without the need to reserve flexible capacity for within-hour balancing of wind generation #12;3 5

  2. Proceedings of the sixth international symposium on methodologies for intelligent systems (Poster Session)

    SciTech Connect (OSTI)

    Harber, K.S.

    1991-09-01

    This volume contains papers which have been selected for the poster Session at the Sixth International Symposium for Intelligent Systems held October 1991, The following major areas were covered: expert systems; intelligent databases; knowledge representation; learning and adaptive systems; and logic for artificial intelligence. Nineteen full papers are included. (GHH)

  3. Sixth Northwest Conservation and Electric Power Plan Chapter 14: Regional Adequacy Standards

    E-Print Network [OSTI]

    ) to assess the adequacy of the North American bulk power supply. In 2005, the Council and the Bonneville Power Administration created the Northwest Resource Adequacy Forum to aid the Council in developingSixth Northwest Conservation and Electric Power Plan Chapter 14: Regional Adequacy Standards

  4. Proceedings of FuelCell2008 Sixth International Fuel Cell Science, Engineering and Technology Conference

    E-Print Network [OSTI]

    Papalambros, Panos

    optimization study. For a new technology, such as fuel cells, it is also important to include uncertaintiesProceedings of FuelCell2008 Sixth International Fuel Cell Science, Engineering and Technology Conference June 16-18, 2008, Denver, Colorado, USA FUELCELL2008-65111 OPTIMAL DESIGN OF HYBRID ELECTRIC FUEL

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

  6. Memory abstractions for parallel programming

    E-Print Network [OSTI]

    Lee, I-Ting Angelina

    2012-01-01

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

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

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

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

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

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

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

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

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

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

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

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

  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 OutreachProductswsicloudwsicloudden Documentation DataStreamsTotalproposalsAbout SAGEAbout theAboutN ERSCHands

  19. Abstract

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

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

  20. Abstract:

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

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

  1. Abstract:

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

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

  2. ABSTRACT

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

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

  3. Abstract:

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

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

  4. ABSTRACT

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

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

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

  6. ABSTRACT

    Office of Scientific and Technical Information (OSTI)

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

  7. Abstract

    Office of Scientific and Technical Information (OSTI)

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

  8. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University The Triassic sandstone reservoirs of the Paris Basin (France) have attractive geothermal potential for district heating. However, previous exploitations of these reservoirs have revealed re-injection problems

  9. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University resources and the practical technological and economic aspects of resource exploitation while remaining continued in use until the present. For example, the basic framework for geothermal resource

  10. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    carried out. Basic design and process-dependent variables of NSGH, exergy and economic parameters. Engineering-and-physical research and technical and economic substantiation of NSGH constructionPROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University

  11. Late Antique Plague Ships: Sixth-Century C.E. Trade Routes and Their Role in Transmitting the Justinianic Plague 

    E-Print Network [OSTI]

    Kofahl, Meko

    2013-07-29

    The major European epidemic of bubonic plague in the sixth century C.E. – named for the ruling Byzantine emperor, Justinian – devastated the empire at the same time that outside pressures in the form of Goths, Vandals, ...

  12. Training of nuclear facility personnel: proceedings of the sixth symposium

    SciTech Connect (OSTI)

    Not Available

    1985-04-01

    Separate abstracts are included for each of the papers presented concerning excellence in operator training; achieving excellence through the accreditation process; managing and organizing the training function; operations training methods and processes; the role of simulators in achieving excellence; maintenance and technical training methods and processes; staffing and qualifying the training organization; and measuring training effectiveness.

  13. Automatic Term-Level Abstraction

    E-Print Network [OSTI]

    Brady, Bryan

    2011-01-01

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

  14. The Sixth Annual DOE Solid-State Lighting Market Introduction Workshop

    Broader source: Energy.gov [DOE]

    More than 275 lighting leaders from across North America gathered in Seattle July 12–14, 2011, for the sixth annual Solid-State Lighting (SSL) Market Introduction Workshop, hosted by DOE. The diverse audience spanned the spectrum from industry, to government, to efficiency organizations, to utilities, to municipalities, to designers and specifiers, to retailers and distributors. The purpose was to share the latest insights, updates, and strategies for the successful market introduction of high-quality solid-state lighting products.

  15. Proceedings of the sixth international conference on fluidized bed combustion. Volume III. Technical sessions

    SciTech Connect (OSTI)

    1980-08-01

    The Sixth International Conference on Fluidized Bed Combustion was held April 9-11, 1980, at the Atlanta Hilton, Atlanta, Georgia. It was sponsored by the US Department of Energy, the Electric Power Research Institute, the US Environmental Protection Agency, and the Tennessee Valley Authority. Forty-five papers from Vol. III of the proceedings have been entered individually into EDB and ERA. Two papers had been entered previously from other sources. (LTN)

  16. Proceedings of the Sixth International Conference on Fluidized Bed Combustion. Volume 1. Plenary sessions

    SciTech Connect (OSTI)

    1980-08-01

    The Sixth International Conference on Fluidized Bed Combustion was held at the Atlanta Hilton, Atlanta, Georgia, April 9-11, 1980. The papers in this volume involved presentation of the research and development programs of the US (US DOE, TVA, EPRI and US EPA), United Kingdom, Federal Republic of Germany and the People's Republic of China. Eight papers from Vol. 1 (Plenary Sessions) of the proceedings have been entered individually into EDB and ERA. (LTN)

  17. ARPA-E to Hold Sixth Annual Energy Innovation Summit | 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: DemonstrationProgram |to Hold Sixth Annual Energy

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

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

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

  1. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    retirements announced Continuing wind power development and further challenges for integration/balancing, Power Planning Division Director SUBJECT: Update on Mid-Term Assessment for the Sixth Power Plan Staff scope and specific topics to be addressed in the Mid-Term Assessment for the Sixth Power Plan

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

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

  4. Transformations in Lighting: The Sixth Annual Solid-State Lighting R&D Workshop

    Broader source: Energy.gov [DOE]

    More than 400 SSL technology leaders from industry, research organizations, universities, national laboratories, manufacturing, energy efficiency organizations, utilities and municipalities gathered in San Francisco, CA to participate in the "Transformations in Lighting" Solid-State Lighting Workshop on February 3-5, 2009. The workshop, hosted by DOE, with sponsors BetaLED, Echelon, Pacific Gas & Electric, and Southern California Edison, was the sixth annual DOE meeting to accelerate SSL technology advances and guide market introduction of quality SSL products. The workshop brought together a diverse gathering of participants - from the R&D community to lighting designers and architects - to share insights, ideas, and updates on the rapidly evolving SSL market.

  5. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    reservoirs are characterized by high temperatures and saline formation waters. Figure 1: Regions of potential1 PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University and to characterize the various fluid- material surface interactions in an EGS. These interactions were described

  6. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    EGS site (Nevada) were used for the modeling analysis. A five-spot well configuration in a twoPROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University the thermal and hydraulic aspects of a CO2-EGS system look promising, major uncertainties remain with regard

  7. Sixth International Conference on Solid State Lighting, edited by Ian T. Ferguson, Nadarajah Narendran, Tsunemasa Taguchi, Ian E. Ashdown,

    E-Print Network [OSTI]

    Weiss, Sharon

    Sixth International Conference on Solid State Lighting, edited by Ian T. Ferguson, Nadarajah/$15 · doi: 10.1117/12.680774 Proc. of SPIE Vol. 6337 63370A-1 Cadmium Selenide Nanocrystals as White-Light, there has been great interest in developing direct white-light phosphors for solid state lighting. Current

  8. Sixth International Conference on Aeolian Research, Guelph, Canada. 2006 Barchan dune morphodynamics and linear dune formation on Mars

    E-Print Network [OSTI]

    Bourke, Mary C.

    Sixth International Conference on Aeolian Research, Guelph, Canada. 2006 Barchan dune morphodynamics and linear dune formation on Mars Mary C. Bourke, Planetary Science Institute, Tucson, mbourke@psi.edu Observations of sand dunes in satellite images indicate a wide variety of dune forms on Mars. Similar to Earth

  9. In Proc. Sixth World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida, An Infrastructure for Secure Interoperability of Agents

    E-Print Network [OSTI]

    In Proc. Sixth World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida on the P2P bandwagon. However, as with other emerging technologies, these companies and organizations is distributed. This new technology, which includes both autonomous and mobile agents, addresses many

  10. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Foulger, G. R.

    PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 - February 2, 2011 SGP-TR-191 MAPPING DEEP STRUCTURE IN GEOTHERMAL AREAS of volcanic and geothermal areas has always been limited by the absence of local microearthquakes at depth

  11. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Foulger, G. R.

    PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 - February 2, 2011 SGP-TR-191 Mapping Deep Structure in Geothermal Areas 3LE U.K. g.r.foulger@durham.ac.uk Tomographic study of volcanic and geothermal areas has always been

  12. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    % capacity factor over a typical project life of 30 years; and (b) innovations in field management have led1 PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 - February 2, 2011 SGP-TR-191 FIFTY YEARS OF POWER GENERATION

  13. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    be able to be maintained for more than 30 years with small decreases in reservoir pressure and temperaturePROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University RESERVOIR MODEL OF THE TAKIGAMI GEOTHERMAL FIELD, OITA, JAPAN Saeid Jalilinasrabady1 , Ryuichi Itoi1

  14. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    and the resource has been cooled by the 30 years of reinjection. The thermal breakthrough (Tb) is expected to occur are next to 30 years old. They would need to be restored or shut down for scaling and/or corrosion problemsPROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University

  15. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    for lifetimes between 30-100 years, with a 90% confidence interval of 98-1200 MWth. Lumped parameter modeling the past 20 years. INTRODUCTION The OBGA comprises the regions of low temperature geothermal activityPROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University

  16. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    and the resource has been cooled by the 30 years of reinjection. The thermal breakthrough (Tb) is expected to occurPROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University AT THE SCALE OF THE GEOTHERMAL HEATING DOUBLET IN THE PARIS BASIN, FRANCE. M.Le Brun1* , V.Hamm1 , S.Lopez1 , P

  17. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    transferred to Zorlu Energy Group for 30 years. After this transfer, the Group has started to work on bothPROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University OF KIZILDERE GEOTHERMAL FIELD IN TURKEY Füsun S. Tut Haklidir, Taylan Akin, Aygün Güney, Aye Alpagut Bükülmez

  18. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    to develop in Oligocene time (approximately 30 million years ago) and continues to be an active tectonic zonePROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 - February 2, 2011 SGP-TR-191 RESERVOIR RESPONSE TO 28 YEARS OF PRODUCTION

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

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

  1. Proceedings of the sixth international conference on fluidized bed combustion. Volume II. Technical sessions

    SciTech Connect (OSTI)

    1980-08-01

    The Sixth International Conference on Fluidized Bed Combustion was held April 9-11, 1980, at the Atlanta Hilton, Atlanta, Georgia. It was sponsored by the US Department of Energy, the Electric Power Research Institute, the US Environmental Protection Agency, and the Tennessee Valley Authority. The papers covered recent developments in atmospheric and pressurized fluidized-bed combustion, especially the design, operation and control of pilot and demonstration plants. The cleanup of combustion products and the erosion, corrosion and fouling of gas turbines was emphasized also. Fifty-five papers from Volume 2 of the proceedings have been entered individually into EDB and ERA; five papers had been entered previously from other sources. (LTN)

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

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

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

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

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

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

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

  9. Sandia Energy - Online Abstracts and Reports

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

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

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

  11. Sensitivity Achieved by the LIGO and Virgo Gravitational Wave Detectors during LIGO's Sixth and Virgo's Second and Third Science Runs

    E-Print Network [OSTI]

    The LIGO Scientific Collaboration; The Virgo Collaboration

    2012-03-15

    We summarize the sensitivity achieved by the LIGO and Virgo gravitational wave detectors for low-mass compact binary coalescence (CBC) searches during LIGO's sixth science run and Virgo's second and third science runs. We present strain noise power spectral densities (PSDs) which are representative of the typical performance achieved by the detectors in these science runs. The data presented here and in the accompanying web-accessible data files are intended to be released to the public as a summary of detector performance for low-mass CBC searches during S6 and VSR2-3.

  12. Convergent sum of gradient expansion of the kinetic-energy density functional up to the sixth order term using Pade approximant

    E-Print Network [OSTI]

    A. Sergeev; R. Jovanovic; S. Kais; F. H. Alharbi

    2015-08-27

    The gradient expansion of the kinetic energy functional, when applied for atoms or finite systems, usually grossly overestimates the energy in the fourth order and generally diverges in the sixth order. We avoid the divergence of the integral by replacing the asymptotic series including the sixth order term in the integrand by a rational function. Pade approximants show moderate improvements in accuracy in comparison with partial sums of the series. The results are discussed for atoms and Hooke law model for two electron atoms.

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

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

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

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

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

  18. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    Together the four utilities represent almost half of Washington retail electric sales and about one quarter of regional electric sales. In the Council's 2011 regional conservation progress report the #12;851 S.W. Sixth savings. Reported Utility Sales and Local Program Savings & Expenditures for 2011 Utility Sales (MWa

  19. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    competition between fuels and electricity in consumption · Estimate the cost of generation from fuel- fired are important assumptions for the draft Sixth Power Plan. They help determine the demand for electricity as well as the cost of electricity generation, and, therefore, the wholesale and retail prices of electricity

  20. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    power system planning: ­ Historically focused on energy ­ Hydro system has provided ample capacity. Eden Oregon Joan M. Dukes Oregon April 2, 2009 MEMORANDUM TO: Power Committee FROM: Maury Galbraith issues in the Council's Sixth Power Plan. Capacity, the ability to meet peak hour loads, and flexibility

  1. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    SUBJECT: Cost and Availability of Ancillary Services for Wind Integration At the September Power Committee Meeting, staff presented an overview of how power system operators use ancillary services to balance loads to be used in the Sixth Power Plan for the cost and availability of ancillary services for wind integration

  2. Journal of Counter-Ordnance Technology (Sixth International Sym um on Technology and Mine Problem, NPS, 10-13 Uncertainty in Acoustic Mine Detection Due to

    E-Print Network [OSTI]

    Chu, Peter C.

    alternative to nuclear submarines. Technological advancements in battery design have resulted in higherJournal of Counter-Ordnance Technology (Sixth International Sym um on Technology and Mine Problem advantage of nuclear submarines is negligible to these countries. Mines come in a multitude of variations

  3. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    purposes, including flood control, irrigation, power production, navigation, recreation and municipal water Director, Power Planning SUBJECT: Columbia River High Water Operations The Council has seen presentations-world example of the kinds of problems that were discussed in principle in Chapter 12 of the Sixth Power Plan

  4. The Sixth Taiwan International Symposium on Statistical Physics: Lattice Model and Complex System (StatPhys-Taiwan-2002) was held at the Academia Sinica

    E-Print Network [OSTI]

    Preface The Sixth Taiwan International Symposium on Statistical Physics: Lattice Model and Complex System (StatPhys-Taiwan-2002) was held at the Academia Sinica (Taipei) from 26 May­29 May 2002 and the Hui-Sun Forest Area of the National Chung Hsing University (Taichung) from 30 May­1 June 2002. StatPhys-Taiwan

  5. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    system. Attachment #12;The Sixth Power Plan: Toward a Clean Energy Future The Northwest's energy of a vision for the Power Plan at the April meeting, public affairs staff has developed a statement and actions, or it could also be included in the Power Plan. We will discuss a draft vision statement

  6. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    will be helpful in developing the Sixth Power Plan. Geothermal is one of the more attractive renewable energy renewable development to date has been focused. A summary of the Raft River geothermal project and its Morlan SUBJECT: Presentation on the Raft River Geothermal Project The Council will receive a briefing

  7. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    SUBJECT: Draft Sixth Plan Electricity Price Forecasts At the December Power Committee meeting, staff additional forecasts that reflect the results of an updated fuel price forecast, an updated projection into the Council's Regional Portfolio Model as a projection of the long-term trend of future wholesale electricity

  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. Supporting technology for enhanced oil recovery: Sixth amendment and extension to Annex IV enhanced oil recovery thermal processes

    SciTech Connect (OSTI)

    Reid, T.B. (USDOE Bartlesville Project Office, OK (United States)); Rivas, O. (INTEVEP, Filial de Petroleos de Venezuela, SA, Caracas (Venezuela))

    1991-10-01

    This report contains the results of efforts under the six tasks of the Sixth Amendment and Extension of Annex 4, Enhanced Oil Recovery Thermal Processes of the Venezuela/USA Agreement. The report is presented in sections (for each of the 6 tasks) and each section contains one or more reports prepared by various individuals or groups describing the results of efforts under each of the tasks. A statement of each task, taken from the agreement, is presented on the first page of each section. The tasks are numbered 44 through 49. Tasks are: DOE-SUPRI-laboratory research on steam foam, CAT-SCAN, and in-situ combustion; INTEVEP-laboratory research and field projects on steam foam; DOE-NIPER-laboratory research and field projects light oil steam flooding; INTEVEP-laboratory research and field studies on wellbore heat losses; DOE-LLNL-laboratory research and field projects on electromagnetic induction tomography; INTEVEP-laoboratory research on mechanistic studies.

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

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

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

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

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

  9. Metamaterials '2012: The Sixth International Congress on Advanced Electromagnetic Materials in Microwaves and Optics

    E-Print Network [OSTI]

    Lassas, Matti

    in Microwaves and Optics Transformation Optics Based Cloaked Sensors Allan Greenleaf ,1 , Yaroslav Kurylev2 in alphabetical order. The paper will be presented by M.L. Abstract Ideal transformation optics cloaking application, the sensor mode of a cloak makes it possible to use transformation optics to hide sensors

  10. ABSTRACT TAMANG, APIL. A Multilevel Method

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

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

  11. Sandia Energy - Online Abstracts and Reports

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

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

  12. Sandia Energy - Online Abstracts and Reports

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

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

  13. Current Abstracts Nuclear Reactors and Technology

    SciTech Connect (OSTI)

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

    1993-01-01

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

  14. 851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive Director 800-452-5161

    E-Print Network [OSTI]

    851 S.W. Sixth Avenue, Suite 1100 Steve Crow 503-222-5161 Portland, Oregon 97204-1348 Executive. ________________________________________ q:\\jf\\ww\\2012\\71012 p4 sw market cm.docx #12;6/28/2012 1 111 Rob Diffely, BPA NW Power-Through-Cooling Regulations on Southwest Market 22 Outline Ò Background Ò Calculating the SW Surplus Ò OTC Clean Water Act

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

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

  17. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    -mail: hector.carlos.pulido@pemex.com ABSTRACT Complex reservoir geometries can influence the results obtained

  18. Proceedings of the sixth annual conference on fossil energy materials. Fossil Energy AR and TD Mateials Program

    SciTech Connect (OSTI)

    Cole, N.C.; Judkins, R.R.

    1992-07-01

    The Sixth Annual Conference on Fossil Energy Materials was held in Oak Ridge, Tennessee, on May 12--14, 1992. The meeting was sponsored by the US Department of Energy`s Office of Fossil Energy through the Advanced Research and Technology Development (AR&TD) Materials Program, and ASM International. The objective of the AR&TD Materials Program is to conduct research and development on materials for longer-term fossil energy applications as well as for generic needs of various fossil fuel technologies. The management of the Program has been decentralized to the DOE Field Office, Oak Ridge with Oak Ridge National Laboratory (ORNL) as the technical support contractor. The research is performed by staff members at ORNL and by a substantial number of researchers at other national laboratories, universities, and in private industry. The work is divided into the following categories: (1) ceramics, (2) development and corrosion resistance of iron aluminide, advanced austenitic and chromium-niobium alloys, and (3) technology assessment and technology transfer. This conference is held each year to review the work on all of the projects of the Program. The agenda for the meeting is given in Appendix A, and a list of attendees is presented in Appendix B. ASM International cosponsored the conference, for which we are especially grateful.

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

  20. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    -mail: hector.carlos.pulido@pemex.com ABSTRACT An alternative method, named to as direct synthesis, is proposed

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

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

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

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

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

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

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

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

  9. T. Melham and J. O'Leary, `A Functional HDL in ReFLect', in M. Sheeran and T. Melham (eds.), Sixth International Workshop on Designing Correct Circuits: Vienna, 2526 March 2006

    E-Print Network [OSTI]

    Melham, Tom

    T. Melham and J. O'Leary, `A Functional HDL in ReFLect', in M. Sheeran and T. Melham (eds.), Sixth 2006 (Vienna, 2006). A Functional HDL in ReFLect TOM MELHAM JOHN O'LEARY Computing Laboratory Strategic

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

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

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

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

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

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

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

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

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

  19. CALIFORNIA Sixth Edition

    E-Print Network [OSTI]

    million for the support of renewable electricity generation technologies. These funds will be collected 31, 2002, to support existing, new, and emerging renewable electricity generation technologies Purchases Account (which is divided into the Customer Credit Subaccount and Consumer Education). Table 1

  20. Sixth Progress Report f

    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-effect Photovoltaics -7541 UnlimitedShiftwater vaporRisks:Sitesix

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Su, Xiao

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

  10. Abstracts and research accomplishments of university coal research projects

    SciTech Connect (OSTI)

    Not Available

    1991-06-01

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

  11. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    , a floor deicing system was installed. This consists of a heating grid system placed in the floor emission from the oil burners, I recommended a geothermal solution for the floor and the roof heating.aniko@uni-miskolc.hu ABSTRACT The floor of the entrance tunnel to an underground waste deposit system in Hungary is exposed

  12. PROCEEDINGS, Thirty-Sixth Workshop on Geothermal Reservoir Engineering Stanford University, Stanford, California, January 31 -February 2, 2011

    E-Print Network [OSTI]

    Stanford University

    INVESTIGATION PROGRAM K. Brockbank1 , C. Bromley2 and T. Glynn-Morris1 1 Contact Energy Wairakei Power Station.brockbank@contactenergy.co.nz ABSTRACT In 2008 Contact Energy undertook a comprehensive research program investigating subsidence by the green band. All wells are shown by green dots with the 13 boreholes drilled for the subsidence program

  13. Vulnerability analysis for complex networks using aggressive abstraction.

    SciTech Connect (OSTI)

    Colbaugh, Richard; Glass, Kristin L.

    2010-06-01

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

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

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

  16. The Complexity of Pure Nash Equilibria [Extended Abstract

    E-Print Network [OSTI]

    Fabrikant, Alex

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

  17. The Complexity of Pure Nash Equilibria [Extended Abstract

    E-Print Network [OSTI]

    Fabrikant, Alex

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

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

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

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

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

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

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

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

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

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

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

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

  9. FAST ABSTRACT: Vulnerability Discovery Modeling using Weibull Distribution

    E-Print Network [OSTI]

    Malaiya, Yashwant K.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    SciTech Connect (OSTI)

    Not Available

    1994-12-31

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

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

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

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

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

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

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

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

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

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

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

  3. Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009, Knoxville, Tennessee, April 5-9, 2009, on CD-ROM, American Nuclear Society, LaGrange Park, IL

    E-Print Network [OSTI]

    Heljanko, Keijo

    , automation 1 INTRODUCTION In nuclear power plants (NPPs), novel digitalized I&C systems enable complicatedSixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, on CD-ROM, American Nuclear Society, LaGrange Park, IL (2009) VERIFICATION OF SAFETY LOGIC DESIGNS

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

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

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

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

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

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

  10. The sixth Standing Committee Meeting

    Office of Environmental Management (EM)

    Waste Processing Facility (DWPF) at Savannah River and the melter design for WTP at Hanford were highlighted. The other key proposed improvement to increase throughput and avoid...

  11. PROCEEDINGS SIXTH INTERNATIONAL SYMPOSIUM ON

    E-Print Network [OSTI]

    thermally stratify every year, but stratification in the shallow western basin is rare and very brief Erie during 2004 and 2005. Circulation within and between the basins are studied. The thermal structure and exchange processes during summer stratification and early fall indicates that both barotropic

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Chefaoui, Rosa María

    2011-01-01

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  11. NOAA, 2012 Climate Prediction Applications Science Workshop (CPASW), Climate Services for National Security Challenges: Abstract Submission

    E-Print Network [OSTI]

    Miami, University of

    . This information is downscaled and is then analyzed with respect to various ecosystem drivers such as rain during Security Challenges: Abstract Submission Presentation Title: Forecasting Global Ecosystem Change Pressure into statements of local consequence. We have been able to turn climate forecasts into ecosystem maps that reflect

  12. Microbial Origin of Desert Varnish Abstract. Scanning electron microscopy and energy dispersive x-ray analyse,

    E-Print Network [OSTI]

    Dorn, Ron

    Reports Microbial Origin of Desert Varnish Abstract. Scanning electron microscopy and energy bacteria support a microbial originfor manganese-) films. Varnish microbes can be cultured and produce environments appear to be a product of microbial activity. Desert varnish is a natural coating dominatedby

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

    SciTech Connect (OSTI)

    1998-04-01

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

  14. Abstract--Commercial harvest of red sea urchins began in Washington state

    E-Print Network [OSTI]

    662 Abstract--Commercial harvest of red sea urchins began in Washington state in 1971. Harvests peaked in the late 1980s and have since declined substan tially in Washington and other areas of the U in Washington. Manuscript accepted 28 March 2002. Fish. Bull. 100:662­673 (2002). Effects of experimental

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

    E-Print Network [OSTI]

    Eppstein, Margaret J.

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

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

    E-Print Network [OSTI]

    Istrail, Sorin

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

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

    E-Print Network [OSTI]

    Hammock, Bruce D.

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

  18. Electronic copy available at: http://ssrn.com/abstract=2188621 United States Patent and Trademark Office

    E-Print Network [OSTI]

    Sekhon, Jasjeet S.

    Electronic copy available at: http://ssrn.com/abstract=2188621 United States Patent and Trademark" (dataset) a new dataset of trademark applications and registrations derived from the U.S. Patent with the agency's responsibility to make patent and trademark information available to the public. The dataset

  19. Category Theory in Ontology Research: Concrete Gain from an Abstract Approach

    E-Print Network [OSTI]

    Hitzler, Pascal

    with the challenge of integrating information from different distributed sources. In the first place, this requiresCategory Theory in Ontology Research: Concrete Gain from an Abstract Approach Markus Kr¨otzsch Pascal Hitzler Marc Ehrig York Sure Institute AIFB, University of Karlsruhe, Germany; {mak

  20. Program Sponsor Abstract Deadline Amount Allowable Costs Eligibility URL Notes MARC Undergraduate

    E-Print Network [OSTI]

    Hammack, Richard

    Program Sponsor Abstract Deadline Amount Allowable Costs Eligibility URL Notes NIH MARC Expenses; F&A; Supplements An eligible institution may apply for and hold only one MARC U- STAR academic for another MARC under this FOA. John Ryan was awarded a MARC in FY11 that will not be completed until 2015

  1. A Grey-Box Approach to Automated Mechanism Design (Extended Abstract)

    E-Print Network [OSTI]

    Parsons, Simon

    A Grey-Box Approach to Automated Mechanism Design (Extended Abstract) Jinzhong Niu, Kai Cai auction mechanisms using the framework of the TAC Market Design Game and relates the performance that the strongest mechanisms we found using this approach are able to win the Market Design Game against known

  2. On the Utility of Abstraction in Labeling Actors in Social Networks Computer Science Department

    E-Print Network [OSTI]

    Honavar, Vasant

    such that actors are associated with labels that can be in many forms: labels which denote political or religiousOn the Utility of Abstraction in Labeling Actors in Social Networks Ngot Bui Computer Science--Social networks are naturally represented as het- erogeneous networks with multiple types of objects e.g., actors

  3. Abstract--Despite growing interest in the behavior of electromyographic signals during muscle fatigue, few studies

    E-Print Network [OSTI]

    Carvalho, João Luiz

    Abstract--Despite growing interest in the behavior of electromyographic signals during muscle fatigue, few studies investigate fatigue recovery. In this work, we use surface electromyographic signals for each experimental group: 1, 2, 4, 8, 24 and 48 hours. Surface electromyographic signals were acquired

  4. Abstract--Energy consumption and the concomitant Green House Gases (GHG) emissions of network infrastructures are

    E-Print Network [OSTI]

    Politècnica de Catalunya, Universitat

    Abstract--Energy consumption and the concomitant Green House Gases (GHG) emissions of network on the overall power consumption and on the GHG emissions with just 25% of green energy sources. I. INTRODUCTION]. In the zero carbon approach, renewable (green) energy sources (e.g. sun, wind, tide) are employed and no GHGs

  5. Abstract: In the era of Big Data are traditional analysis tools and concepts drawn from signal

    E-Print Network [OSTI]

    Columbia University

    Abstract: In the era of Big Data are traditional analysis tools and concepts drawn from signal data are often conveniently represented by graphs, with the data becoming functions or signals for Networked Data" Professor José M. F. Moura November 19, 2013 11:00AM Davis Auditorium Electrical Engineering

  6. Open Giant Intelligent Information Systems and Its Agent-Oriented Abstraction Mechanism

    E-Print Network [OSTI]

    Cao, Longbing

    Open Giant Intelligent Information Systems and Its Agent-Oriented Abstraction Mechanism Longbing intelligent information systems, an open giant intelligent information system is a special kind of complex information system, and then we discussed the challenges of agent-based computing for dealing with the above

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

    E-Print Network [OSTI]

    Botea, Adi

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

  8. Seventeenth symposium on biotechnology for fuels and chemicals. Program and abstracts

    SciTech Connect (OSTI)

    NONE

    1995-05-01

    This volume contains the abstracts of oral and poster presentations made at the Seventeenth Symposium on Biotechnology for Fuels and Chemicals. Session titles include Thermal, Chemical, and Biological Processing; Applied Biological Research; Bioprocessing Research; Special Topics Discussion Groups; Process Economics and Commercialization; and Environmental Biotechnology.

  9. Demo Abstract: Wireless Sensor Network for Substation Monitoring: Design and Deployment

    E-Print Network [OSTI]

    Nasipuri, Asis

    -voltage substations, lower installation cost, and utilization of the distributed pro- cessing capabilities of wirelessDemo Abstract: Wireless Sensor Network for Substation Monitoring: Design and Deployment Asis-Transmissions & Substations 9625 Research Drive Charlotte, NC 28262 {lvanderz,birodriguez} @epri.com Ralph McKosky, Joseph

  10. Original Paper Abstract: Phosphoinositide-specific phospholipase C (PI-PLC)

    E-Print Network [OSTI]

    Bhattacharyya, Madan Kumar

    Original Paper Abstract: Phosphoinositide-specific phospholipase C (PI-PLC) hydrolyzes the membrane. DNA synthesis, a measure of cell growth, was significantly suppressed by the PI-PLC-specific inhibitor,5-pyrrolidinedione did not cause any suppression. Acti- vation of PI-PLC by MS salts increased DNA synthesis and abol

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

    E-Print Network [OSTI]

    Lehman, Brad

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

  12. A generator of efficient strongly typed abstract syntax trees in Java

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A generator of efficient strongly typed abstract syntax trees in Java Mark van den Brand1 to extract, transform, store and pro- duce information that is key to their functionality. We present a Java a strongly typed data-structure with maximal sub-term sharing in Java. Practical experience shows

  13. Twenty-ninth ORNL/DOE conference on analytical chemistry in energy technology. Abstracts of papers

    SciTech Connect (OSTI)

    Not Available

    1986-01-01

    This booklet contains separate abstracts of 55 individual papers presented at this conference. Different sections in the book are titled as follows: laser techniques; resonance ionization spectroscopy; laser applications; new developments in mass spectrometry; analytical chemistry of hazardous waste; and automation and data management. (PLG)

  14. IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract

    E-Print Network [OSTI]

    Jones, Alan G.

    IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract Giza, Egypt the first order nature of major crustal and upper mantle boundaries and to define electric structures to mark the northern extent of the Archean-age Repulse Bay Block. The electric Moho is observed

  15. IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract

    E-Print Network [OSTI]

    Jones, Alan G.

    IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract Giza, Egypt , September 18-24, 2010 20th IAGA WG 1.2 Workshop on Electromagnetic Induction in the Earth 1 of 4 Giza, Egypt, September 18-24, 201 Southern Africa Lithosphere: Comparison of Seismic and Electrical Parameters Alan G

  16. IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract

    E-Print Network [OSTI]

    Jones, Alan G.

    IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract Giza, Egypt , September 18-24, 2010 20th IAGA WG 1.2 Workshop on Electromagnetic Induction in the Earth 1 of 1 Giza, Egypt the regional-scale electrical conductivity substructure of southern Africa and to infer from it the tectonic

  17. IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract

    E-Print Network [OSTI]

    Jones, Alan G.

    IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract Giza, Egypt , September 18-24, 2010 20th IAGA WG 1.2 Workshop on Electromagnetic Induction in the Earth 1 of 4 Giza, Egypt, September 18-24, 201 First deep electrical resistivity structure of the southern Congo craton David Khoza

  18. IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract

    E-Print Network [OSTI]

    Jones, Alan G.

    IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract Giza, Egypt , September 18-24, 2010 20th IAGA WG 1.2 Workshop on Electromagnetic Induction in the Earth Giza, Egypt to study the electrical properties of this suture zone to lithospheric depths. Broadband and long period

  19. IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract

    E-Print Network [OSTI]

    Jones, Alan G.

    IAGA WG 1.2 on Electromagnetic Induction in the Earth 20th Workshop Abstract Giza, Egypt , September 18-24, 2010 20th IAGA WG 1.2 Workshop on Electromagnetic Induction in the Earth 1 of 1 Giza, Egypt. In this work, we invert MT data (sensitive to electrical resistivity) in both one-dimensional (1D) and two

  20. Abstract--We investigate the use of Particle Swarm Optimization (PSO) in automated cryptanalysis of classical

    E-Print Network [OSTI]

    Youssef, Amr M.

    Abstract-- We investigate the use of Particle Swarm Optimization (PSO) in automated cryptanalysis of classical simple substitution ciphers. Based on our experimental results, PSO-based attacks proved and transposition. Particle swarm optimization (PSO) [3] is a population based, self-adaptive search optimization

  1. Abstract--This paper addresses the problem of controlling wind energy conversion systems (WECS) which involve

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Abstract-- This paper addresses the problem of controlling wind energy conversion systems (WECS-inverter. The goal of control is to maximize wind energy extraction and this needs letting the wind turbine rotor wind energy extraction) only for one wind speed value depending on the considered value of turbine

  2. Abstract --Our approach to laboratory education in power electronics and electric machines is presented. The approach

    E-Print Network [OSTI]

    Kimball, Jonathan W.

    1 Abstract --Our approach to laboratory education in power electronics and electric machines Power electronics and electric machines are largely appli- cation driven but draws from a broad the performance of a converter. Simi- larly, the study of electric machines requires practical demon- stration so

  3. Abstract--This paper presents a control-theoretic approach to performance management of Internet Web

    E-Print Network [OSTI]

    Gautam, Natarajan

    Abstract-- This paper presents a control-theoretic approach to performance management of Internet with respect to load conditions, the proposed approach can be applied to a variety of resource management on automatically managing server resources, under dynamically changing load and operating conditions, strongly

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

    E-Print Network [OSTI]

    Kent, University of

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

  5. AbstractAge and growth of the swordfish (Xiphias gladius) in Taiwan

    E-Print Network [OSTI]

    822 Abstract­Age and growth of the swordfish (Xiphias gladius) in Taiwan waters was studied from.) in the waters around Taiwan determined from anal-fin rays Chi-Lu Sun Sheng-Ping Wang Su-Zan Yeh Institute of Oceanography National Taiwan University No. 1, Sec. 4, Roosevelt Road Taipei, Taiwan 106 E-mail address (for C

  6. Demo Abstract: Energy Transference for Sensornets Affan A. Syed Young Cho John Heidemann

    E-Print Network [OSTI]

    Heidemann, John

    Demo Abstract: Energy Transference for Sensornets Affan A. Syed Young Cho John Heidemann USC continuous monitoring, 24x7, at remote, inaccessible locations making energy man- agement a critical part of most sensornets. The sensornet research community has explored energy conservation and energy

  7. Demo Abstract: Energy Transference for Sensornets ISI Technical Report ISI-TR-2010-669

    E-Print Network [OSTI]

    Heidemann, John

    Demo Abstract: Energy Transference for Sensornets ISI Technical Report ISI-TR-2010-669 November, inaccessible locations making energy man- agement a critical part of most sensornets. The sensornet research community has explored energy conservation and energy harvesting to address this problem of long-lived sen

  8. WDS-Based Layer 2 Routing for Wireless Mesh Networks [Extended Abstract

    E-Print Network [OSTI]

    Chuah, Chen-Nee

    - struct flow-based MAC tables at each wireless router. For an incoming packet, the router will matchWDS-Based Layer 2 Routing for Wireless Mesh Networks [Extended Abstract] Dhruv Gupta, Jason Le-communication Networks]: Network Architecture and Design--wireless communication General Terms design

  9. TCAS-I 10038 1 Abstract--The potential application space for miniaturized

    E-Print Network [OSTI]

    Rincon-Mora, Gabriel A.

    --Harvesting/harnessing energy, vibration, piezoelectric, electrostatic, wireless microsensor, battery charger, rectifierTCAS-I 10038 1 Abstract--The potential application space for miniaturized systems like wireless to such an extent that sustaining critical power-hungry functions like wireless communication is problematical

  10. Sanda Bujacic, Department of Mathematics, University of Zagreb, Croatia Linear Forms in Logarithms (abstract)

    E-Print Network [OSTI]

    . The seventh Hilbert problem was dealing with the transcendence of for algebraic = 0, 1 and irrational (abstract) Four Faces of Number Theory, W¨urzburg, July, 2014. Hilbert's problems form a list of twenty are algebraic numbers such that log 1, log 2 are linearly independent over Q, then 1 log 1 + 2 log 2 = 0, 1, 2

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

    E-Print Network [OSTI]

    Kammen, Daniel M.

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

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

    E-Print Network [OSTI]

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

  13. Abstract--Magnetic Resonance Imaging (MRI) guided nanorobotic systems that could perform diagnostic, curative

    E-Print Network [OSTI]

    Mavroidis, Constantinos

    groups have employed magnetized micro/ nanoparticles and have implemented magnetic propulsion techniquesAbstract-- Magnetic Resonance Imaging (MRI) guided nanorobotic systems that could perform on the use of a MRI scanner to induce the required external driving forces to guide magnetic nanocapsules

  14. Abstract Sex allocation theory predicts that parents should bias investment toward the offspring sex that con-

    E-Print Network [OSTI]

    Casto, Joseph M.

    Abstract Sex allocation theory predicts that parents should bias investment toward the offspring sex that con- fers higher relative fitness on the parents. When variance in reproductive success reproductive allocation toward sons. Modification of the primary sex ratio is one mechanism by which avian

  15. An AggreGATE Network Abstraction for Mobile Devices Ganesh Ananthanarayanan, David Zats

    E-Print Network [OSTI]

    California at Berkeley, University of

    An AggreGATE Network Abstraction for Mobile Devices Ganesh Ananthanarayanan, David Zats Motivation Mobile devices increasingly have multiple interfaces (Cellular, Wi-Fi, Bluetooth) Proliferation of mobile decisions at the proxy/mobile device (Power, Cost ($$)) Single mobile device: Uploads to server using proxy

  16. Abstract. Experimental enthalpies of formation have been approximated using single-point HartreeFock

    E-Print Network [OSTI]

    Csonka, Gábor István

    Abstract. Experimental enthalpies of formation have been approximated using single-point Hartree from the G2/97 thermochem- istry database (containing small molecules) together with natural population deviations from the experimental enthalpies of formation for the selected 51 molecules are 1.15, 3.96, and 2

  17. ACES 2014 Poster Directory First Name Last Name Organization Country Email Conference Theme Abstract Title

    E-Print Network [OSTI]

    Florida, University of

    of Technology, Akure Nigeria Nigeria balogunbolutito@ yahoo.com Ecosystem Service Identification Production-WEST NIGERIA. Pamela Barclay ORISE Fellow EPA United States barclay.pamela@ epa.gov Ecosystem Services Abstract Title Jesse Caputo SUNY ESF United States jcaputo@esf.edu Using Ecosystem Services for Energy

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Saks, Michael

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

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

    E-Print Network [OSTI]

    Kimball, Jonathan W.

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

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

    E-Print Network [OSTI]

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

  2. ORAL PRESENTATION ABSTRACT Design of an Electro-ocular and Temperature sensing device for the

    E-Print Network [OSTI]

    Haykin, Simon

    ORAL PRESENTATION ABSTRACT Design of an Electro-ocular and Temperature sensing device for the Non-invasive Health Monitoring System by Aiyush Bansal Electrical and Biomedical Engineering Biomedical that is acquired from the head is the temperature emanating directly from the hypothalamus, the temperature

  3. Abstract--This paper presents ambient mechanical vibrations as an alternative source for energy harvesting, especially

    E-Print Network [OSTI]

    Kumar, Ratnesh

    Abstract--This paper presents ambient mechanical vibrations as an alternative source for energy harvesting, especially beneficial where alternatives such as light, wind, biomass and thermal energy are limited, e.g., powering underground sensors. Transduction of ambient kinetic energy, e.g., the vibrations

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

    SciTech Connect (OSTI)

    K. Mon

    2001-08-29

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

  5. 209th ECS Meeting, Abstract #1265, copyright ECS MICROMACHINED CERAMIC PLATFORM FOR

    E-Print Network [OSTI]

    Pace, Norman

    209th ECS Meeting, Abstract #1265, copyright ECS MICROMACHINED CERAMIC PLATFORM FOR LIVING NEURONAL ceramic chips for guided growth of living neurons and their interfacing into functional networks. Our core-organized nanoporous alumina, micromachining alumina ceramic to create patterns for guided neuronal growth

  6. Oecologia (2000) 124:270279 Springer-Verlag 2000 Abstract Disturbance frequency, intensity, and areal ex-

    E-Print Network [OSTI]

    McCabe, Declan

    2000-01-01

    Oecologia (2000) 124:270­279 © Springer-Verlag 2000 Abstract Disturbance frequency, intensity The intensity, frequency, and area of disturbance may de- termine the abundance and species richness of an assem for recoloniza- tion. If disturbance frequency is greater than the rate of competitive exclusion, diversity may

  7. Compiling Statemate Statecharts into CSP and verifying them using FDR --abstract

    E-Print Network [OSTI]

    Roscoe, Bill

    Compiling Statemate Statecharts into CSP and verifying them using FDR -- abstract Bill Roscoe developed for tackling the state exploration problem in the CSP/FDR framework would work in the setting from Statecharts into CSP. I developed the translation as a program written in CSP (making heavy use

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

    E-Print Network [OSTI]

    Doran, Simon J.

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

  9. Reasoning Patterns in Bayesian Games An extended abstract of this paper was published in AAMAS 2011.

    E-Print Network [OSTI]

    Pfeffer, Avi

    Pfeffer Charles River Analytics 625 Mt. Auburn St. Cambridge, MA 02138 apfeffer@cra.com ABSTRACT Game- fore cannot afford long-running computations. Also, agents need to be adaptive and perform well even if the situation changes, hence they cannot be employed with pre-computed optimal solutions fitting the particular

  10. Abstract El'gygytgyn Crater Lake, NE Siberia was investigated for sedimentological proxies for

    E-Print Network [OSTI]

    Garneau, Michelle

    Abstract El'gygytgyn Crater Lake, NE Siberia was investigated for sedimentological proxies for regional climate change with a focus on the past 65 ka. Sedimentological parameters assessed rela- tive extensive sedimentological study of limnic sediment proxies of this age from Chukotka (Fig. 1

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

    E-Print Network [OSTI]

    Graves, Stephen C.

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

  12. Abstract Polymer beads have been used to absorb high concentrations of phenol from soil

    E-Print Network [OSTI]

    Daugulis, Andrew J.

    and placed in a bioreactor, which was then inoculated with a phenol-degrading microbial consortium. All of the phenol contained within the polymer beads was shown to desorb from the polymer matrix and was degradedAbstract Polymer beads have been used to absorb high concentrations of phenol from soil decreasing

  13. Electronic copy available at: http://ssrn.com/abstract=2227002 Inequality and Innovativeness

    E-Print Network [OSTI]

    become restricted ­ inequality of access lowers rates of innovation and the extent of that declineElectronic copy available at: http://ssrn.com/abstract=2227002 Inequality and Innovativeness Scott that analyze the relationship between inequality of access and rates of innovation as well as correlative data

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

    E-Print Network [OSTI]

    Krovi, Venkat

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

  15. VT-2009-01401.R3 1 Abstract--Combining mobile platforms such as manned or

    E-Print Network [OSTI]

    unmanned aerial vehicles (UAVs) deployed in a reconnaissance scenario, using the low level packet simulator 2009- 2047 for the US Air Force [4] envisions swarming unmanned aerial vehicles (UAVs) communicatingVT-2009-01401.R3 1 Abstract--Combining mobile platforms such as manned or unmanned vehicles

  16. Abstract Title: Image Informatics Tools for the Analysis of Retinal Images

    E-Print Network [OSTI]

    California at Santa Barbara, University of

    Barbara, Santa Barbara, CA. Keywords: 682 retinal detachment, 541 image processing, 543 imagingAbstract Title: Image Informatics Tools for the Analysis of Retinal Images Presentation Start/End Time: Wednesday, May 03, 2006, 11:15 AM - 1:00 PM Location: Hall B/C Reviewing Code: 289 retinal

  17. Demo Abstract: Supporting Interoperability of Things in IoT Systems

    E-Print Network [OSTI]

    Mei, Alessandro

    : lastname@di.uniroma1.it. ABSTRACT The Internet of the future will be of things: Large scale IoT systems in the framework of EU FP7 Lighthouse project IoT-A: Internet of Things--Architecture (http the term Internet of Things was coined in '99 in the context of a supply chain management [1], a variety

  18. Abstract--Quantitative volumetric measurement and feature analysis for various clinical applications require image

    E-Print Network [OSTI]

    Abstract--Quantitative volumetric measurement and feature analysis for various clinical of a region of interest, which reflects the shape characteristics and volumetric variation of the target or deterministic solution to the PV effect, and its successful implementation could improve quantitative volumetric

  19. thesis abstract: Potential impacts of climate change on the distribution of freshwater fishes in French streams and uncertainty of projections

    E-Print Network [OSTI]

    Buisson, Laëtitia

    2009-01-01

    by Núria Roura-Pascual thesis abstract Understanding theand update ISSN 1948-6596 thesis abstract Potential impactsthe aim of my PhD thesis was to assess the potential impacts

  20. Radiation physics, biophysics and radiation biology. Progress report for October 1, 1979-September 30, 1980. [Lead abstract

    SciTech Connect (OSTI)

    Rossi, H.H.; Hall, E.J.

    1980-07-01

    Separate abstracts were prepared for 31 of the 32 papers presented in this progress report. The other paper is represented by an abstract only and deals with field shaping and recalibration of x-ray facilities.