text:
Description file for NLCD92 contiguous raster coverage file
NLE Websites -- All DOE Office Websites (Extended Search)
Readme file for NLCD92 contiguous raster coverage file Abstract: This data set is one complete raster coverage of the USGS National Land Cover Data (NLCD). The NLCD is a 21-class...
Science Conference Proceedings (OSTI)
Page 1. Page 2. Page 3. iii Abstract The Construction and Building Subcommittee of the National Science and Technology ...
Abstract: New low-dimensional materials such as graphene and hexagonal boron nitride (hBN) have opened up new opportunities in experimental condensed matter physics, chemistry,...
Adaptation of the SGT6-6000G to a Dynamic Adaptation of the SGT6-6000G to a Dynamic Power Generation Market Ed Bancalari - Manager, SGT6-6000G Frame Pedy Chan - Project Engineer, SGT6-6000G Frame POWER-GEN International 2005 - Las Vegas, Nevada December 6-8th Abstract This paper describes the U.S. market conditions in which the SGT6-6000G was designed and its evolution to accommodate the current and future market requirements. The U.S. market drivers during the SGT6-6000G design were deregulation and replacing the old base load generation, such as old coal plants, with high efficiency/output power and low emissions combined cycle plants. The SGT6-6000G was originally designed primarily for base load operation, but also with sufficient cyclic life margin on its critical components to make it inherently suitable for
Scientific Applications: BRAD: the brookhaven raster display
A multiconsole computer display system has been designed that provides very rich displays at low unit cost. Each BRAD (Brookhaven RAster Display) console can plot tens of thousands of points, or up to 4000 characters at 30 frames per second. After an ... Keywords: TV display console, TV graphics terminal, computer display, computer graphics, computer raster display, digital TV display, inexpensive graphic terminal, multiconsole computer graphics, swept raster TV computer display, swept raster computer display
D. Ophir; S. Rankowitz; B. J. Shepherd; R. J. Spinrad
Fusions of Description Logics and Abstract Description Franz Baader 1 Carsten Lutz 1 Holger Sturm 2 Frank Wolter 3
E-Print Network (OSTI)
the DLs (i) ALCF , which extends the basic DL ALC by functional roles (features) and the same descriptions is known to be decidable [30, 44, 3]. However, their union ALCF +;�?;t has an undecidable subsumption problem [5]. This undecidability result depends on the fact that, in ALCF +;�?;t , the role
Wolter, Frank
An architecture for interactive raster graphics
A radical reappraisal of the 3-D Interactive raster graphics pipeline has resulted In an experimental architecture for a workstation which is currently being evaluated at the CWI. The principal features of this architecture are that It: - concentrates ... Keywords: angular Interpolation, architecture, display controller, interactive, object space hidden surface removal, raster graphics, systolic array
A. A. M. Kuijk; E. H. Blake; P. J. W. ten Hagen
Hall C Raster VETO/FLAG Generator
SciTech Connect
When one rasters a beam over a target using a standard sign wave control signal, one finds that the beam tends to remain at the edges and corners of the target longer than in the center. This is due to the beam slowing down before reversing direction as it rasters back and forth. The extra time spent at the edges tends to cause anomalous results during certain nuclear physics experiments. This circuit tracks the X and Y raster waveforms and sends out a NIM and TTL veto/flag pulse when X2 and Y2 is greater than a user set threshold based on the percent of the peak voltage on the Y input. This can be used to limit one's data to a circular region in the center of the target. This circuit automatically compensates for changing frequency and voltage to maintain a constant percent trigger from .4 V to 5 V peak to peak. Delay through the circuit is less than 30 nsec.
Randy Wojcik; Chen Yan
Exploring Tile-Based Rasterization Alternatives for Mobile Devices.
??Investigation on Tile-Based Rasterization on Mobile Devices. External traffic on mobile devices is a major part of power consumption. We start with a critical evaluation� (more)
Van der Weide, M.C.A.
Classification of raster maps for automatic feature extraction
Raster maps are widely available and contain useful geographic features such as labels and road lines. To extract the geographic features, most research work relies on a manual step to first extract the foreground pixels from the maps using the distinctive ... Keywords: color histogram, color moments, color-coherence vectors, content-based image retrieval, image similarity, luminance-boundary histogram, raster map classification
Yao-Yi Chiang; Craig A. Knoblock
RaveGrid: Raster-to-Vector Graphics for Image Data
RaveGrid: Raster-to-Vector Graphics for Image Data. Sriram Swaminarayan and Lakshman Prasad. Converts raster images to scalable . vector images Enables object ...
E-connections of abstract description systems Oliver Kutz 1 , Carsten Lutz 2 , Frank Wolter 1 and Michael Zakharyaschev 3
Laboratory Argonne, IL 60439 {carns,slang,robl,firstname.lastname@example.com, {harms,allcock,email@example.com Abstract/P system at the Argonne Leadership Computing Facility (ALCF). The ALCF makes large allocations available
Random and Raster: Display Technologies and the Development of Videogames
Videogame developers have utilized many types of display technology, from oscilloscopes to Teletypes to high-definition LCD displays. Two significant early display technologies, raster scan and random scan CRTs, played a ...
Montfort, Nick
Adding a True 3-D Display to a Raster Graphics System
This Experimental 3-D Graphics System Can Be Added to Standard Raster Graphics Systems at Modest Expense. It Promises Much Broader Access to Effective 3-D Display.
H. Fuchs; S. M. Pizer; Li Ching Tsai; S. H. Bloomberg; E. R. Heinz
Parallel processor-based raster graphics system architecture
DOE Patents (OSTI)
An apparatus for generating raster graphics images from the graphics command stream includes a plurality of graphics processors connected in parallel, each adapted to receive any part of the graphics command stream for processing the command stream part into pixel data. The apparatus also includes a frame buffer for mapping the pixel data to pixel locations and an interconnection network for interconnecting the graphics processors to the frame buffer. Through the interconnection network, each graphics processor may access any part of the frame buffer concurrently with another graphics processor accessing any other part of the frame buffer. The plurality of graphics processors can thereby transmit concurrently pixel data to pixel locations in the frame buffer.
Littlefield, Richard J. (Seattle, WA)
Abstract pathfinder
We present Abstract Pathfinder, an extension to the Java Pathfinder (JPF) verification tool-set that supports data abstraction to reduce the large data domains of a Java program to small, finite abstract domains, making the program more amenable to verification. ... Keywords: Java pathfinder, abstraction, state space traversal
Artem Khyzha; Pavel Par�zek; Corina S. P?s?reanu
Efficient Depth of Field Rasterization Using a Tile Test Based on Half-Space Culling
For depth of field (DOF) rasterization, it is often desired to have an efficient tile versus triangle test, which can conservatively compute which samples on the lens that need to execute the sample-in-triangle test. We present a novel test for this, ... Keywords: I.3.7 [Computer Graphics]: Three-Dimensional Graphics and Realism�Visible line/surface algorithms, culling, depth of field, rasterization
Tomas Akenine-M�ller; Robert Toth; Jacob Munkberg; Jon Hasselgren
& DEVELOPMENT: & DEVELOPMENT: PROGRAM ABSTRACTS Energy Efficiency and Renewable Energy Office of Transportation Technologies Office of Advanced Automotive Technologies Catalyst Layer Bipolar Plate Electrode Backing Layers INTEGRATED SYSTEMS Polymer Electrolyte Membrane Fuel Cells Fuel Cell Stack
Network Abstractions:
Abstractions: Abstractions: The first step towards a programmable WAN Inder Monga TIP 2013 January 15 th , 2013 Lawrence Berkeley National Laboratory U.S. Department of Energy | Office of Science Ongoing Science Revolution Data-intensive Science * Era of 'Big-Data' Exascale, HPC and Future Data Centers * Optics to the end 12/18/12 2 Inder Monga, OTS Demo Lawrence Berkeley National Laboratory U.S. Department of Energy | Office of Science Data Integration Bringing together 'big-data' from various sources Dataset Experiment Data Simulation Data Observation Data Source: Kathy Yelick Lawrence Berkeley National Laboratory U.S. Department of Energy | Office of Science Distributed Data, consolidated computation Elephant Flows: 'big-data' movement for Science, end-to-end
Accessibility analysis and modelling in public transport networks: a raster based approach
Accessibility is an important factor in the development of land-use patterns and urban settlements, and these two components are considered linked close together. With the increasing attention payed to reduction of CO2 emissions, focus has been turned ... Keywords: GIS, accessibility, public transportation, raster-based modelling
Morten Fuglsang; Henning Sten Hansen; Bernd M�nier
Effects of Pulse Duration on Bulk Laser Damage in 350-nm Raster-Scanned DKDP
In this paper we present the results of bulk damage experiments done on Type-I1 DKDP triple harmonic generator crystals that were raster conditioned with 351-355 nm wavelengths and pulse durations of 4 and 23.2 ns. In the first phase of experiments 20 different scan protocols were rastered into a sample of rapid growth DKDP. The sample was then rastered at damage-causing fluences to determine the three most effective protocols. These three protocols were scanned into a 15-cm sample of conventional-growth DKDP and then exposed to single shots of a I-cm beam from LLNL's Optical Sciences Laser at fluences ranging from 0.5 - 1.5X of the 10% damage probability fluence and nominal pulse durations of 0.1,0.3,0.8,3.2,7.0 and 20 ns. The experiment showed that pulse durations in the 1-3 ns range were much more effective at conditioning than pulses in the 16.3 ns range and that the multiple pass 'peak fluence' scan was more effective than the single pass 'leading edge' scan for 23.2 ns XeF scans.
Runkel, M; Bruere, J; Sell, W; Weiland, T; Milam, D; Hahn, D E; Nostrand, M C
abstract data type
Definition of abstract data type, possibly with links to more information and implementations. NIST. abstract data type. (definition). ...
Testbed Description
Testbed Description R&D Overview 100G Testbed Testbed Description Testbed Results Current Testbed Research Proposal Process Terms and Conditions Virtual Circuits (OSCARS)...
Making abstract domains condensing
In this article, we show that reversible analyses of logic languages by abstract interpretation can be performed without loss of precision by systematically refining abstract domains. This is obtained by adding to the abstract domain the minimal amount ... Keywords: Abstract domain, abstract interpretation, completeness, condensation, linear logic, logic program analysis
Roberto Giacobazzi; Francesco Ranzato; Francesca Scozzari
Complementation in abstract interpretation
Reduced product of abstract domains is a rather well-known operation for domain composition in abstract interpretation. In this article, we study its inverse operation, introducing a notion of domain complementation in abstract interpretation. Complementation ... Keywords: abstract domain, abstract interpretation, closure operator, complementation, functional and logic programming, program analysis
Agostino Cortesi; Gilberto Fil�; Francesco Ranzato; Roberto Giacobazzi; Catuscia Palamidessi
Fair Model Checking of Abstractions (Extended Abstract)
. The abstract transitions (dashed and fat arrows) are explained further on. A transition system models of a model by ignoring certain static aspects. Such a reduction is usually necessary to render model checking
Dams, Dennis
Making abstract interpretations complete
Completeness is an ideal, although uncommon, feature of abstract interpretations, formalizing the intuition that, relatively to the properties encoded by the underlying abstract domains, there is no loss of information accumulated in abstract computations. ...
?-connections of Description Logics
this paper is to summarize the general transfer results for E- connections that have recently been obtained in [7]. The generality of the results is due to the fact that are defined and investigated using the framework of so-called abstract description systems (ADSs), a common generalization of description logics, modal logics, logics of time and space, and many other logical formalisms [2]. Thus, we can connect not only DLs with DLs, but also, say, description logics with spatial logics [8]. A natural interpretation of link relations in this context would then be, for instance, to describe the spatial extension of abstract (DL) objects
Oliver Kutz; Carsten Lutz; Frank Wolter; Michael Zakharyaschev
SSRL30 Abstracts
abstracts highlighting research activities conducted over the past year at SSRL for oral and poster presentations at the Users' Meeting. Please use the abstract submission...
Abstract for Andreas Ross
Ross Argonne National Laboratory & University of Wisconsin Madison Precision Gravity and Effective Field Theories The effective field theory description yields a systematic...
Abstract for Nicolas Michel
Nicolas Michel Oak Ridge National Laboratory Description of loosely bound and resonant states with Gamow expansion techniques Recently, the shell model in the complex k-plane (the...
Abstract Control Password: 247211
another abstract: Same Program Help: Instructions Troubleshooting Report a Technical Problem Status 1 2 3
LaBean, Thomas H.
View-Augmented Abstractions
This paper introduces view-augmented abstractions, which specialize an underlying numeric domain to focus on a particular expression or set of expressions. A view-augmented abstraction adds a set of materialized views to the original domain. View augmentation ... Keywords: Numeric abstract domains, abstract-interpretation precision, view maintenance
Matt Elder; Denis Gopan; Thomas Reps
Equational descriptions of languages ?
This paper is a survey on the equational descriptions of languages. The first part is devoted to Birkhoff�s and Reiterman�s theorems on equational descriptions of varieties. Eilenberg�s variety theorem and its successive generalizations form the second part. The more recent results on equational descriptions of lattices of languages are presented in the third part of the paper. Equations have been used for a long time in mathematics to provide a concise description of various mathematical objects. This article roughly follows a historical approach to present such equational descriptions for formal languages, ranging over a period of 45 years: from Sch�tzenberger�s characterization of star-free languages [36] to the following recent result of [18]: Every lattice of languages admits an equational description. This evolution was made possible by a gradual abstraction of the notion of equation. The story really starts in 1935 with Birkhoff�s theorem on equational
Jean-�ric Pin
The F-Buffer: A Rasterization-Order FIFO Buffer for Multi-Pass Rendering
Multi-pass rendering is a common method of virtualizing graphics hardware to overcome limited resources. Most current multi-pass rendering techniques use the RGBA framebuffer to store intermediate results between each pass. This method of storing intermediate results makes it difficult to correctly render partially-transparent surfaces, and reduces the performance of shaders that need to preserve more than one intermediate result between passes. We propose an alternative approach to storing intermediate results that solves these problems. This approach stores intermediate colors (or other values) that are generated by a rendering pass in a FIFO buffer as the values exit the fragment pipeline. On a subsequent pass, the contents of the FIFO buffer are fed into the top of the fragment pipeline. We refer to this FIFO buffer as a fragment-stream buffer (or F-buffer), because this approach has the effect of associating intermediate results with particular rasterization fragments, rather than with an (x,y) location in the framebuffer. Implementing an F-buffer requires some changes to current mainstream graphics architectures, but these changes can be minor. We describe the design space associated with implementing an F-buffer, and compare the F-buffer to recirculating pipeline designs. We implement F-buffers in the Mesa software renderer, and demonstrate our programmable-shading system running on top of this renderer. CR Categories: I.3.1 [Computer Graphics]: Hardware Architecture---Graphics processors; I.3.7 [Computer Graphics]: Three-Dimensional Graphics and Realism---Color, shading, shadowing, and texture 1
William R. Mark; Kekoa Proudfoot
2013 AAOCS Abstract Outline
Guidelines for submission Please submit abstracts by Friday the 20th September 2013 - Submissions can be for oral or poster presentations (please indicate preference) - Submit a single paragraph abstract of ...
Quality Standards for Abstracts
QUALITY STANDARDS FOR ABSTRACTS American Oil Chemists� Society (AOCS) An abstract allows you to concisely convey to the scientific community the value and importance of your research. Its restricted length allows the reader to quickly eva
Abstract for Gergana Stoitcheva
Gergana Stoitcheva Oak Ridge National Laboratory Shifted Contour Monte-Carlo method for Nuclear Structure The shell model is one of the most successful descriptions of many-fermion...
Energy.gov (U.S. Department of Energy (DOE)) Indexed Site
CALL FOR ABSTRACTS CALL FOR ABSTRACTS For the 2014 National Environmental Justice Conference and Training Program (Due to the recent Federal Government Shutdown, the dates for the submission and acceptance of Abstracts have been extended as set forth below) 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. Each abstract should include the submitter's name, affiliation and full contact information. The overall conference theme is Enhancing Communities Through Capacity Building and Technical Assistance. The subtheme for the 2014 conference is: Environmental Justice: The Next Twenty Years. The conference planners are interested in panel presentations,
Stone Description
United States, Minnesota, Sandstone, Jordan, 9RA33, 26687, y, Front Face (South), Dscf0282.jpg. No 9RA33 is: Description. buff. rust-spotted. fine grain ...
About this Abstract
Abstract Scope, With the rapid development of Home appliance and automobile ... Major energy consuming media is mixed gas and natural gas which is�...
Abstract Scope, Because the surface pores of porous Si3N4 could decrease mechanical properties and absorb moisture seriously, its application as insulation�...
Abstract for Prashanth Jaikumar
McGill University, Montreal, Canada Neutrino Emission from Phases of Dense Matter in Compact Stars Abstract: Neutron stars are astrophysical neutrino factories which cool...
CALL FOR ABSTRACTS CALL FOR ABSTRACTS For the 2013 National Environmental Justice Conference and Training Program The 2013 National Environmental Justice Conference and Training Program planners are inviting individuals to submit abstracts of no less than 1 page and no more than 2 pages related to environmental justice. The conference will focus on Enhancing Communities Through Capacity Building and Technical Assistance. However, all environmental justice related abstracts will be considered. Individuals selected to present or moderate will serve on a voluntary basis. All moderators and presenters MUST register for the conference. Since the registration is free for most participants, conference travel expenses and hotel accommodations will be at the participant's expense. Each abstract should include the submitter's
SSRL28 Abstract Submission
Visitor Info Visitor Info General Info Need more information? Contact: Cathy Knotts Manager, URA SSRL, MS 99 2575 Sand Hill Road Menlo Park, CA 94025 28th Annual Stanford Synchrotron Radiation Laboratory Users' Meeting Menlo Park, California USA October 17-19, 2001 Oral Abstract Submissions - Due August 24 Poster Abstract Submissions - Due September 28 Users are invited to submit abstracts highlighting research activities conducted over the past year at SSRL for poster presentations at the Users' Meeting. Please use the abstract submission form via the web. POSTER SESSION Posters will be displayed throughout the meeting and will be highlighted during a poster session and reception on Thursday, October 19. The poster session will be located just steps away from the main auditorium and the vendor display area. Users presenting posters must also register for the Users' Meeting.
102nd Abstracts
102nd Abstracts Meetings, Conferences and Short Courses aocs AOCS Annual Meeting & Expo Call for Papers Conferences Congress control dispersions edible exhibit expo fats functions fundamentals industry lecithin Meetings nutrition oils process qual
101st Abstracts
101st Abstracts Meetings, Conferences and Short Courses aocs AOCS Annual Meeting & Expo Call for Papers Conferences Congress control dispersions edible exhibit expo fats functions fundamentals industry lecithin Meetings nutrition oils process qua
103rd Abstracts
103rd Abstracts Meetings, Conferences and Short Courses aocs AOCS Annual Meeting & Expo Call for Papers Conferences Congress control dispersions edible exhibit expo fats functions fundamentals industry lecithin Meetings nutrition oils process qual
99th Abstracts
99th Abstracts Meetings, Conferences and Short Courses aocs AOCS Annual Meeting & Expo Call for Papers Conferences Congress control dispersions edible exhibit expo fats functions fundamentals industry lecithin Meetings nutrition oils process qual
104th Abstracts
104th Abstracts Meetings, Conferences and Short Courses aocs AOCS Annual Meeting & Expo Call for Papers Conferences Congress control dispersions edible exhibit expo fats functions fundamentals industry lecithin Meetings nutrition oils process qual
Abstracts of contributed papers
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.
Not Available
United States, New York, Limestone, Sandy Hill, 8RA6, 26828, y, Front Face (South), Dscf0268_6.jpg. No 8RA6 is: Description. dark gray. fine grain. ...
Nuclear Energy Research Initiative Nuclear Energy Research Initiative U.S. DEPARTMENT OF ENERGY INTERNATIONAL NUCLEAR ENERGY RESEARCH INITIATIVE United States/Japan ABSTRACT Principal Investigator (U.S.): S. Michael Modro, Idaho National Engineering and Environmental Laboratory Principal Investigator (Japan): Professor Hideki Matsui, Institute for Materials Research, Tohoku University Collaborators: University of Michigan, University of
Program Description
Program Description Program Description Discover E (Engineering) is an evening of interesting, interactive and fun engineering, science, math, and technology demonstrations for K-12 students and their parents or guardians. It is held in conjunction with National Engineers Week which is celebrated at the time of George Washington's birthday, our nation's first President, who was a military engineer and land surveyor. Activities include 30-50 interactive demonstrations of basic engineering, science, technology and math principles that may include robots, reverse engineering, casting, crystal structures, forensic science, the effects of liquid nitrogen, slide rule, sound waves, electrostatics, mechanics, materials properties and materials
Program Description Program Description SAGE, the Summer of Applied Geophysical Experience, is a unique educational program designed to introduce students in geophysics and related fields to "hands on" geophysical exploration and research. The program emphasizes both teaching of field methods and research related to basic science and a variety of applied problems. SAGE is hosted by the National Security Education Center and the Earth and Environmental Sciences Division of the Los Alamos National Laboratory. * teaches modern geophysical exploration techniques: seismic reflection and refraction, gravity and magnetics, electromagnetics (including magnetotellurics), and electrical resistivity * involves extensive hands-on field experience * integrates geophysical methods to solve real
Temporal abstraction in intelligent clinical data analysis: A survey
Objective: Intelligent clinical data analysis systems require precise qualitative descriptions of data to enable effective and context sensitive interpretation to take place. Temporal abstraction (TA) provides the means to achieve such descriptions, ... Keywords: Decision support systems, Intelligent data analysis, Intensive care, Patient monitoring, Temporal abstraction, Temporal reasoning
Michael Stacey; Carolyn McGregor
Abstract for Pierre Capel
Pierre Capel Pierre Capel Michigan State University Theoretical description of breakup reactions of halo nuclei Since their discovery in the mid-80's halo nuclei have attracted many theoretical and experimental studies. These nuclei indeed exhibit a very peculiar structure: they can be seen as a core containing most of the nucleons to which one or two neutrons are loosely bound. These valence neutrons have a high probability of presence at large distances from the other nucleons, and form a sort of halo around the core. Due to their short lifetime, these nuclei cannot be studied with usual spectroscopic techniques, and one must resort to indirect methods like breakup reactions. In these reactions, the core-halo structure dissociates through interaction with a target. The extraction of reliable structure information from these
Abstract for Jorge Segovia
Grupo de Fısica Nuclear and IUFFyM, Universidad de Salamanca Grupo de Fısica Nuclear and IUFFyM, Universidad de Salamanca Constituent Quark Model Description of Heavy Meson Phenomenology The scientific community has witnessed what is called the golden age for heavy quarko- nium physics, dawned a decade ago and initiated by the confluence of exciting theoretical advances in QCD and an explosion of related experimental activity. At low energies of QCD, where the hadron properties are involved, perturbative calculations cannot be applied and other methods should be developed to deal with. Among them, constituent quark models, which incorporate the main properties of QCD, describe quite well mesons and baryons as composite objects made of constituent valence quarks. An investigation of heavy meson properties within the framework of
SSRL29 Abstract Form
Users are invited to submit abstracts highlighting research activities conducted over the past year at SSRL for oral or poster presentation at the meeting. Posters will be displayed throughout the meeting and will be highlighted during a poster session and reception on Monday, October 7. Graduate students submitting posters must also register for the Users' Meeting and are eligible for one of the poster prizes. All posters require submission of this form no later than September 23 to guarantee space and inclusion in the program materials. Users are invited to submit abstracts highlighting research activities conducted over the past year at SSRL for oral or poster presentation at the meeting. Posters will be displayed throughout the meeting and will be highlighted during a poster session and reception on Monday, October 7. Graduate students submitting posters must also register for the Users' Meeting and are eligible for one of the poster prizes. All posters require submission of this form no later than September 23 to guarantee space and inclusion in the program materials. Please Note: Fields marked with require entry. General Presentation Information Please select a presentation type: Oral Presentation Poster Presentation Invited Presentation: Users' Meeting Invited Presentation: Workshop Speaker
EBS Radionuclide Transport Abstraction
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.
J.D. Schreiber
Project Description
Project Description Project Description The Energy Policy Act of 2005 (EPAct 2005), the Energy Independence and Security Act of 2007 (EISA 2007), and Presidential Executive Order 13423 all contain requirements for Federal facilities to decrease energy consumption and increase the use of renewable energy by the year 2015. To provide leadership in meeting these requirements, DOE, in partnership with the General Services Administration (GSA), has installed a rooftop solar electric, or PV, system on the roof of DOE's headquarters in Washington, D.C. The 205 kilowatt (kW) installation is one of the largest of its kind in the Nation's capital. A display in the For- restal building will show the power output of the PV system during the day and the energy produced over
Biological & Environmental Research Abstracts Database
Office of Scientific and Technical Information (OSTI)
Submit Ober Abstracts All project abstracts should be submitted via email to: Please include the project title and principal investigator's name along with the abstract submission....
Abstract List.PDF
Synthesis Workshop: University of Virginia, October 7-11, 2000 Synthesis Workshop: University of Virginia, October 7-11, 2000 LIST OF PRESENTATIONS and ACCOMPANYING ABSTRACTS Monday October 7, 2001 Relevance of SAFARI 2000: Science to National and International Program Goals 09:00 - 09:10 Official Welcome to the University of Virginia/Opening of the Synthesis Workshop Prof. Gene Block, Provost, University of Virginia 09:10 - 09:30 SAFARI 2000 - Past, Present, Future Asst. Prof. Robert J. Swap, University of Virginia 09:30 - 09:50 Relevance of SAFARI 2000 to the NASA ESE Dr. Diane Wickland, NASA HQ and Prof. Chris O. Justice, University of Maryland 09:50 - 10:10 Relevance of SAFARI 2000 to South Africa's National Research Foundation, the Department of Arts, Culture, Science and Technology
Abstract Deducibility and. . .
Deducibility and Domain Theory by Vladimir Yu. Sazonov 1 ;2 Dept. of Computer Science Rutgers University New Brunswick, New Jersey 08903 Dmitri I. Sviridenko Siberian Branch of Russian Acad. of Sci. Novosibirsk 1 Permanent Member: Computer Logic Laboratory, Program Systems Institute of Russian Acad. of Sci., Pereslavl-Zalessky, 152140, Russia. E-mail: firstname.lastname@example.com 2 Supported by RFBR (project 96-01-01717) and INTAS (project 93-845). DIMACS is a cooperative project of Rutgers University, Princeton University, AT&T Bell Laboratories and Bellcore. DIMACS is an NSF Science and Technology Center, funded under contract STC--91--19999; and also receives support from the New Jersey Commission on Science and Technology. ABSTRACT 1 According to the thesis "computability = deducibility" [4] here are investigated intensional aspects of domain theory as mathematical theory of computability (cf. e.g. [1--4]). A logistic system is any pair of sets A = hA; Ri, w...
Vladimir Yu. Sazonov; Dmitri I. Sviridenko
Descriptions of Past Research
This product is a compilation of over one-hundred product summaries describing EPRI research performed over the previous twenty years. The summaries are arranged according to categories of generators, steam turbines, software, Technology Innovation (formerly Strategic Science and Technology) reports, and miscellaneous. Each product summary contains an abstract, a description of objective, approach, and results, and an EPRI perspective. This document is a useful reference resource for EPRI member organiza...
Problem Description
Description Description Model Domain 2-D Radial Grid System : 1000 m x 60 m 25 m 25 m 10 m Hydrate Zone 1000 m Shale Shale Discretization Model 1 (200 x 30) r direction : 200 cells logarithmically distributed from r w = 0.10795 m to r 200 = 1000 m (inner most grid size Δr 1 = 0.02 m, see "P5_discretization.xls") z direction : 30 cells (5 x 5 m, 20 x 0.5 m, 5 x 5 m) Model 2 (200 x 11) r direction : 200 cells logarithmically distributed from r w = 0.10795 m to r 200 = 1000 m (inner most grid size Δr 1 = 0.02 m, see "P5_discretization.xls") z direction : 11 cells (5 x 5 m, 1 x 10.0 m, 5 x 5 m) Model 3 (50 x 30) r direction : 50 cells logarithmically distributed from r w = 0.10795 m to r 50 = 1000 m (inner most grid size Δr 1 = 0.02 m, see "P5_discretization.xls")
14th LAC Congress Abstracts
Abstracts from the 2011 Latin American Congress 14th LAC Congress Abstracts 14th AOCS Latin American Congress and Exhibition on Fats and Oils Resumenes/Abstracts Resumenes aparecen en el mismo idioma de la presentaci�n....
The trace partitioning abstract domain
In order to achieve better precision of abstract interpretation-based static analysis, we introduce a new generic abstract domain, the trace partitioning abstract domain. We develop a theoretical framework allowing a wide range of instantiations of the ...
Xavier Rival; Laurent Mauborgne
and Environmental Research Abstracts Database. Please logon. Logon Name: Password: Logon CommentsEmail Us * SecurityDisclaimer Notices * BER Abstracts Last Updated: September 27...
General Abstracts: Structural Materials Division
May 1, 2007 ... Non-member price: 208.00. TMS Student Member price: 141.00. Product In Stock . Description These papers are based on presentations�...
... the C50 report. However, no attempt is made to estimate or include the value of labor in do-it-yourself jobs. The types of ...
SAND2007-2331 SAND2007-2331 Unlimited Release Printed April 2007 Autothermal Reforming of Natural Gas to Synthesis Gas Reference: KBR Paper #2031 Steven F. Rice and David P. Mann Prepared by Sandia National Laboratories Albuquerque, New Mexico 87185 and Livermore, California 94550 Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy's National Nuclear Security Administration under Contract DE-AC04-94AL85000. Approved for public release; further dissemination unlimited. Issued by Sandia National Laboratories, operated for the United States Department of Energy by Sandia Corporation. NOTICE: This report was prepared as an account of work sponsored by an agency of the United
penetrating radar survey and tracer observations at the West Pearl penetrating radar survey and tracer observations at the West Pearl Queen carbon sequestration pilot site, New Mexico Thomas H. Wilson*, Arthur W. Wells, J. Rodney Diehl, Grant S. Bromhal, Duane H. Smith, and William Carpenter*, National Energy Technology Laboratory (NETL), Pittsburgh, PA & Morgantown, WV & *West Virginia University Department of Geology and Geography The potential for leakage of injected CO 2 at carbon sequestration sites is a significant concern in the design and deployment of long-term carbon sequestration efforts. Effective and reliable monitoring of near-surface environments in the vicinity of these sites is essential to ensure the viability of sequestration activities as well as long term public and environmental safety. Identification of geological features such as faults, fracture zones,
Proper maintenance can help vehicles perform as designed, positively affecting fuel economy, emissions, and overall driveability. This paper addresses the issue of whether air filter replacement improves fuel economy. Described are measured results for increasing air filter pressure drop in turbocharged diesel-engine-powered vehicles, with primary focus on changes in vehicle fuel economy but also including
Energy use associated with air filtration is a recognized issue that is mentioned in sales literature of filter manufacturers, however, there is little information on the...
... effective for extraction of sulfur and mercury from coals and other ... (3) Long, SE; Kelly, WR "Certification of SRM 1635, Coal; Constituent: Mercury (Hg ...
... quantities and the three components of velocity ... the original experiment, flow visualization provided some ... Symmetric behavior was observed for the ...
windows in residential buildings offer the potential for the windows to transmit solar radiation when it is useful (the heating season) and to minimize solar transmission...
Host: Bobby Sumpter, firstname.lastname@example.com, 865.574.4973 Tuesday, June 11, 2013 11:00 am Iran Thomas Auditorium, 8600 Polymer-Based Photovoltaics: Chemistry Beyond Covalency, and...
Pat Collier, email@example.com, 865.576.3638 Thursday, November 14, 2013 11:00 am Iran Thomas Auditorium, 8600 Applying Physico-Chemical Laws in Oncology: Predicting...
dioxide, and contributes to climate change. Modeling of the U.S. commercial building stock 1 indicates that 6.5% of all end-use energy (3.2% in offices) is for heating and...
... into processes for designing, manufacturing, marketing, and distributing ... the movement of fire gases) and multi ... to thermal, flow, gas, and particulate ...
of Engineering for Gas Turbines and Power, 111, pp. 211-217. 3. Engel, R.J., Tyler, P.J., Wood, L.R., Entenmann, D.T., 1991, "Reliability, Availability Usage in the Development of...
Inc., the Management and Operating Contractor for the DOE's Naval Petroleum and Oil Shale Reserves in Colorado, Utah, and Wyoming. Project work was directed by Project...
standardized BoP equipment (such as heat recovery steam generator, steam turbine, condenser, etc.) with similar performance levels. The gas turbine service Long Term Program...
... AG, 4734 (1992); RR Jones, CS Raman, S. W. Schumacher, PH Bucksbaum, Phys. ... Q. Turchette, C. Hood, W. Lange, H. Mabushi, HJ Kimble, Phys. ...
Dimensional Computational Fluid Dynamics and Conduction Simulations of Heat Transfer in Horizontal Window Frames with Internal Cavities Arlid Gustavsen, Norwegian University for...
friendly solid oxide fuel cell (SOFC) modules for use with commonly available fossil fuels at low cost. In order to quickly achieve the necessary manufacturing volume...
Preface....................................................................................................................................... p.4
unknown authors
A re-evaluation of the Molten Salt Breeder Reactor concept has revealed problems related to its safety and to the complexity of the reprocessing considered. A reflection is carried out anew in view of finding innovative solutions leading to the Thorium Molten Salt Reactor concept. Several main constraints are established and serve as guides to parametric evaluations. These then give an understanding of the influence of important core parameters on the reactor�s operation. The aim of this paper is to discuss this vast research domain and to single out the Molten Salt Reactor configurations that deserve further evaluation.
L. Mathieu; D. Heuer; R. Brissot; C. Le Brun; E. Liatard; J. -m. Loiseaux; O. M�plan; E. Merle-lucotte; A. Nuttin; J. Wilson; C. Garzenne; D. Lecarpentier; E. Walle
More and more, educational frameworks and accreditation bodies recommend implementing a system to evaluate and improve the quality of higher education institutions. This paper describes a student self-evaluation of a French engineering school which was carried out with an external institution as client. It describes the methodology and standards adopted by the students in order to conduct the evaluation, interview stakeholders, and rate compliance with maturity levels. An analysis of the quantitative and qualitative results of this evaluation is drawn, both from the quality assurance and student perspectives. The benefits, bias, and difficulties of this student-led institution evaluation are discussed. Finally, in this paper, the authors identify the skills specific to quality assurance engineers which this project allowed students to develop. They conclude on possible future issues concerning evaluation, such as student-led cross-evaluations among institutions. This paper will permit readers (i) to identify the strengths and weaknesses of a student-led evaluation, (ii) to validate or not the opportunity of dedicated student projects within their programs to facilitate the continuous improvement loop, and (iii) to underline specific student skills developed in such projects.
Claire Lassudrie; Juha Kontio; Siegfried Rouvrais
Enginners ASHRAE Standard 62) specify minimum ventilation rates without taking into account the impact of those rates on IAQ. Innovative ventilation management is...
study of buildings and facilities constructed at Savannah River Site to produce heavy water in the 400D Area. It was prepared in accordance with a Memorandum of Agreement...
... to be identified as such or does not want ... the Truth?, Fire Safety Science Proceedings of the ... Public Works Canada (1981) Life Safety and Disabled ...
Research Project Description
Research Project Description No job description found Current Research Opportunities Regulatory Science Course Development Fellowship Health and Medical Emergency Management...
Data Abstraction for CSP-OZ
. CSP-OZ is an integrated formal method which combines the state-oriented method Object-Z with the process algebra CSP, thereby allowing a description of static as well as dynamic aspects of a system. Checking correctness of CSP-OZ specifications can be done via a translation into (FDR-)CSP, on which automatic verification can be performed with the tool FDR if the resulting CSP process is not too large to be processed. This paper investigates how data abstraction techniques can be used to bring a translated specification within range of automatic verification. 1
Heike Wehrheim
Welcome to the Biological and Environmental Research Abstracts Database The U.S. Department of Energy's Office of Biological and Environmental Research (BER) conducts research in...
Some Abstract Pivot Algorithms (REVISED)
Several problems in the theory of combinatorial geometries (or matroids) are solved by means of algorithms which involve the notion of "abstract pivots". The main example is the Edmonds-Fulkerson partition theorem, which ...
Green, Curtis
International Pharmaceutical Abstracts (IPA) What is International Pharmaceutical Abstracts?
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
Saskatchewan, University of
Mechanical Engineering Department technical abstracts
The Mechanical Engineering Department publishes abstracts twice a year to inform readers of the broad range of technical activities in the Department, and to promote an exchange of ideas. Details of the work covered by an abstract may be obtained by contacting the author(s). General information about the current role and activities of each of the Department's seven divisions precedes the technical abstracts. Further information about a division's work may be obtained from the division leader, whose name is given at the end of each divisional summary. The Department's seven divisions are as follows: Nuclear Test Engineering Division, Nuclear Explosives Engineering Division, Weapons Engineering Division, Energy Systems Engineering Division, Engineering Sciences Division, Magnetic Fusion Engineering Division and Materials Fabrication Division.
Online Search Aids Petroleum Abstracts
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
Reynolds, Albert C.
Aspects of abstraction in software development
Abstraction is a fundamental tool of human thought in every context. This essay briefly reviews some manifestations of abstraction in everyday life, in engineering and mathematics, and in software and system development. Vertical and horizontal abstraction ... Keywords: Abstraction, Analogic model, Bottom-up design, Free abstraction, Grounded abstraction, Horizontal abstraction, Monsters, Refinement, Theory, Top-down design, Vertical abstraction
Michael Jackson
Abstract On the Automorphism Tower
In this thesis I study the automorphism tower of free nilpotent groups. Our main tool in studying the automorphism tower is to embed every group as a lattice in some Lie group. Using known rigidity results the automorphism group of the discrete group can be embedded into the automorphism group of the Lie group. This allows me to lift the description of the derivation tower of the free nilpotent Lie algebra to obtain information about the automorphism tower of the free nilpotent group. The main result in this thesis states that the automorphism tower of the free nilpotent group ?(n, d) on n generators and nilpotency class d, stabilizes after finitely many steps. If the nilpotency class is small compared to the number of generators we have that the height of the automorphism tower is at most
Of Free Nilpotent Groups; Martin Dimitrov Kassabov
Towards Service Description Logics
Semantic service description and matchmaking are needed in embedded and disappearing computing, cooperative multiagent systems, and the semantic web. Standard program semantics formalizations are not suited to modeling service semantics, because they ... Keywords: description logics, semantic web
Piero A. Bonatti
Physical and Chemical Environmental Abstraction Model
As directed by a written development plan (CRWMS M&O 1999a), Task 1, an overall conceptualization of the physical and chemical environment (P/CE) in the emplacement drift is documented in this Analysis/Model Report (AMR). Included are the physical components of the engineered barrier system (EBS). The intended use of this descriptive conceptualization is to assist the Performance Assessment Department (PAD) in modeling the physical and chemical environment within a repository drift. It is also intended to assist PAD in providing a more integrated and complete in-drift geochemical model abstraction and to answer the key technical issues raised in the U.S. Nuclear Regulatory Commission (NRC) Issue Resolution Status Report (IRSR) for the Evolution of the Near-Field Environment (NFE) Revision 2 (NRC 1999). EBS-related features, events, and processes (FEPs) have been assembled and discussed in ''EBS FEPs/Degradation Modes Abstraction'' (CRWMS M&O 2000a). Reference AMRs listed in Section 6 address FEPs that have not been screened out. This conceptualization does not directly address those FEPs. Additional tasks described in the written development plan are recommended for future work in Section 7.3. To achieve the stated purpose, the scope of this document includes: (1) the role of in-drift physical and chemical environments in the Total System Performance Assessment (TSPA) (Section 6.1); (2) the configuration of engineered components (features) and critical locations in drifts (Sections 6.2.1 and 6.3, portions taken from EBS Radionuclide Transport Abstraction (CRWMS M&O 2000b)); (3) overview and critical locations of processes that can affect P/CE (Section 6.3); (4) couplings and relationships among features and processes in the drifts (Section 6.4); and (5) identities and uses of parameters transmitted to TSPA by some of the reference AMRs (Section 6.5). This AMR originally considered a design with backfill, and is now being updated (REV 00 ICN1) to address the design without backfill. This design change is described in ''Monitored Geologic Repository Project Description Document'' (CRWMS M&O 2000c). The design change will result in a greater ability of the waste packages to reject heat after closure of the repository, thereby maintaining the two thermal requirements. The first requirement is for protection of the fuel cladding, and the second requires that a section of the rock pillar between drifts remain below the boiling temperature of water, providing a path for water drainage.
E. Nowak
sample abstract for 2005 WOCA
Release of Ammonia from SCR / SNCR Fly Ashes Release of Ammonia from SCR / SNCR Fly Ashes Carol Cardone, Ann Kim and Karl Schroeder U.S. Dept. of Energy, NETL, PO Box 10940, Pittsburgh, PA 15236 KEYWORDS: fly ash, ammoniated fly ash, leaching Abstract One of the goals of the Department of Energy is to increase the utilization of coal utilization byproducts (CUB) to 50% by 2010. This will require both developing new markets and maintaining traditional ones such as the use of fly ash in concrete. However, the addition of pollution control devices can introduce side-effects that affect the marketability of the CUB. Such can be the case when NO x control is achieved using selective catalytic or non-catalytic reduction (SCR or SNCR). Depending on site-specific details, the ammonia slip (un-reacted NH
Plan Descriptions & Summaries
Plan Descriptions & Summaries Retiree Insurance Plans Retiree health and welfare benefits are managed by AonHewitt and Associates. Contact Retiree Insurance Providers Plan...
Data support in process model abstraction
Process model abstraction is an effective approach to reduce the complexity and increase the understandability of process models. Several techniques provide process model abstraction capabilities, but none of them includes data in the abstraction procedure. ... Keywords: business process management, data, data abstraction framework, process model abstraction
Andreas Meyer; Mathias Weske
Improving the Raster Scanning Methods used with X-ray Fluorescence to See the Ancient Greek Text of Archimedes (SULI Paper)
X-ray fluorescence is being used to detect the ancient Greek copy of Archimedes work. The copy of Archimedes text was erased with a weak acid and written over to make a prayer book in the Middle Ages. The ancient parchment, made of goat skin, has on it some of Archimedes most valuable writings. The ink in the text contains iron which will fluoresce under x-ray radiation. My research project deals with the scanning and imaging process. The palimpsest is put in a stage that moves in a raster format. As the beam hits the parchment, a germanium detector detects the iron atoms and discriminates against other elements. Since the computer scans in both forwards and backwards directions, it is imperative that each row of data lines up exactly on top of the next row. There are several parameters to consider when scanning the parchment. These parameters include: speed, count time, shutter time, x-number of points, and acceleration. Formulas were made to relate these parameters together. During the actual beam time of this project, the scanning was very slow going; it took 30 hours to scan 1/2 of a page. Using the formulas, the scientists doubled distance and speed to scan the parchment faster; however, the grey scaled data was not lined up properly causing the images to look blurred. My project was is to find out why doubling the parameters caused blurred images, and to fix the problem if it is fixable.
Griffin, Isabella B.; /Norfolk State U. /SLAC, SSRL
Sequence-based abstract interpretation of Prolog
Abstract interpretation is a general methodology for systematic development of program analyses. An abstract interpretation framework is centered around a parametrized non-standard semantics that can be instantiated by various domains to approximate ... Keywords: Prolog, abstract interpretation, static analysis
Baudouin Le Charlier; Sabina Rossi; Pascal Van Hentenryck
Connecting abstract description systems Oliver Kutz, Frank Wolter, and Michael Zakharyaschev.
allows users to refer to these systems (and any other endpoint) by simple symbolic names (e.g., alcf-performance parallel storage systems at ALCF and NERSC [5]. Each data point represents the average performance achieved configurations: running between a single data transfer node (DTN) at ALCF and NERSC ("go-single-ep"), and (the
Econnections of abstract description systems Oliver Kutz a , Carsten Lutz b , Frank Wolter a ,
for basic members of the ALC family to un- decidable for ALC extended with functional roles (ALCF). Note for ALCF, which should be contrasted with the decidability of query entailment and containment in this DL with and without the UNA. An analogous statement fails for ALCF, e.g. because the ABox A = {f(a, b), f(a, b )}, f
Baader, Franz
Processor Description Languages
Efficient design of embedded processors plays a critical role in embedded systems design. Processor description languages and their associated specification, exploration and rapid prototyping methodologies are used to find the best possible design for ... Keywords: Computer Architecture, Computer Science
Prabhat Mishra; Nikil Dutt
B Plant facility description
Buildings 225B, 272B, 282B, 282BA, and 294B were removed from the B Plant facility description. Minor corrections were made for tank sizes and hazardous and toxic inventories.
Chalk, S.E.
General Abstracts: Materials Processing and Manufacturing Division
Jan 1, 2007 ... Non-member price: 132.00. TMS Student Member price: 97.00. Product In Stock. Description These papers are based on presentations�...
Recognition of Abstract Regions in Cartographic Maps
In the human interpretation of cartographic maps the areas we shall call abstract regions consist of several symbols (map objects), which are grouped to a single object. This abstraction process is an important part of human map interpretation. Abstract ... Keywords: cognitive modeling, formal methods, map generalization, map interpretation, region abstraction, spatial concepts
Joe Heike Steinhauer; Tom Wiese; Christian Freksa; Thomas Barkowsky
Assessment of Early Toxicity and Response in Patients Treated With Proton and Carbon Ion Therapy at the Heidelberg Ion Therapy Center Using the Raster Scanning Technique
Puropose: To asses early toxicity and response in 118 patients treated with scanned ion beams to validate the safety of intensity-controlled raster scanning at the Heidelberg Ion Therapy Center. Patients and Methods: Between November 2009 and June 2010, we treated 118 patients with proton and carbon ion radiotherapy (RT) using active beam delivery. The main indications included skull base chordomas and chondrosarcomas, salivary gland tumors, and gliomas. We evaluated early toxicity within 6 weeks after RT and the initial clinical and radiologic response for quality assurance in our new facility. Results: In all 118 patients, few side effects were observed, in particular, no high numbers of severe acute toxicity were found. In general, the patients treated with particle therapy alone showed only a few single side effects, mainly Radiation Therapy Oncology Group/Common Terminology Criteria grade 1. The most frequent side effects and cumulative incidence of single side effects were observed in the head-and-neck patients treated with particle therapy as a boost and photon intensity-modulated RT. The toxicities included common radiation-attributed reactions known from photon RT, including mucositis, dysphagia, and skin erythema. The most predominant imaging responses were observed in patients with high-grade gliomas and those with salivary gland tumors. For skull base tumors, imaging showed a stable tumor outline in most patients. Thirteen patients showed improvement of pre-existing clinical symptoms. Conclusions: Side effects related to particle treatment were rare, and the overall tolerability of the treatment was shown. The initial response was promising. The data have confirmed the safe delivery of carbon ions and protons at the newly opened Heidelberg facility.
Rieken, Stefan; Habermehl, Daniel; Nikoghosyan, Anna; Jensen, Alexandra [Department of Radiation Oncology, University Hospital of Heidelberg, Heidelberg (Germany); Haberer, Thomas [Heidelberg Ion Therapy Center, Heidelberg (Germany); Jaekel, Oliver [Heidelberg Ion Therapy Center, Heidelberg (Germany); Department of Medical Physics, German Cancer Research Center (DKFZ), Heidelberg (Germany); Muenter, Marc W.; Welzel, Thomas; Debus, Juergen [Department of Radiation Oncology, University Hospital of Heidelberg, Heidelberg (Germany); Combs, Stephanie E., E-mail: firstname.lastname@example.com [Department of Radiation Oncology, University Hospital of Heidelberg, Heidelberg (Germany)
University Location Project Description
Location Project Description Location Project Description Boise State University Boise, Idaho Boise State University has undertaken a study of the structural setting and geothermal potential at Neal Hot Springs that will integrate geology, geochemistry, and geophysics to analyze the site on the western Snake River plain. Boise State will determine if Neal Hot Springs sustains the necessary rock dilation and conduit pathways for hydrothermal fluid flow and successful geothermal development. The result will be new data acquisition, including a deep geophysical survey and fault surface data. Colorado School of Mines Golden, Colorado Colorado School of Mines will conduct an investigation near Homedale, Idaho, an area that straddles volcanic rock and unconsolidated sediments.
Detailed Course Module Description
Course Module Description Course Module Description Module/Learning Objectives Level of Detail in Module by Audience Consumers Gen Ed/ Community College Trades 1. Energy Issues and Building Solutions High High High Learning Objectives: * Define terms of building science, ecological systems, economics of consumption * Relate building science perspective, ecology, social science * Explain historical energy and environmental issues related to buildings * Compare Site and source energy * Examine the health, safety and comfort issues in buildings * Examine the general context for building solutions (zero energy green home with durability as the goal) * Explain a basic overview of alternative energy (total solar flux) - do we have enough energy * Examine cash flow to homeowners
Improving abstract interpretations by combining domains
In this paper we consider static analyses based on abstract interpretation of logic programs over combined domains. It is known that analyses over combined domains potentially provide more information than obtainable by performing the independent abstract ...
M. Codish; A. Mulkers; M. Bruynooghe; M. Garc�a de la Banda; M. Hermenegildo
What is Abstract Algebraic Logic? Umberto Rivieccio
Via Balbi 4 - Genoa, Italy email firstname.lastname@example.com Abstract Our aim is to answer the question
Priestley, Hilary
A logical model for relational abstract domains
In this article we introduce the notion of Heyting completion in abstract interpretation. We prove that Heyting completion provides a model for Cousot's reduced cardinal power of abstract domains and that it supplies a logical basis to specify relational ... Keywords: Heyting completion, abstract interpretation, closure operators, condensing analysis, constraint logic programming, directional types, domains, intuitionistic logic, reduced cardinal power, static analysis
Roberto Giacobazzi; Francesca Scozzari
Generativity and dynamic opacity for abstract types
The standard formalism for explaining abstract types is existential quantification. While it provides a sufficient model for type abstraction in entirely statically typed languages, it proves to be too weak for languages enriched with forms of dynamic ... Keywords: abstract types, dynamic typing, encapsulation, existential types, generativity, opacity
Andreas Rossberg
Format for Generic Task Description
Task: Submitting Proposals. Containing Scenario: Fast Tracking a Battery Standard Description: Review of the proposed ...
Proposal Review Panel Descriptions
Proposal Review Panel Descriptions Proposal Review Panel Descriptions To ensure competent scientific review, a proposal may be assigned to a different panel (at the discretion of the Review Panel Chair), or the panel may seek additional ad hoc reviews from other experts. High-Pressure This panel reviews scattering and diffraction proposals that focus on materials at high pressure. Techniques such as (but not limited to) diffraction, nuclear resonant scattering, and inelastic x-ray scattering for materials at high pressure are appropriate for this panel to consider. Instrumentation This panel reviews proposals related to the development of beamline instrumentation, sample environments, x-ray optical components, and/or detectors that are relevant to synchrotron radiation research. This panel
NAICS Codes Description:
Codes Codes Description: Filters: Date Signed only show values between '10/01/2006' and '09/30/2007', Contracting Agency ID show only ('8900'), Contracting Office ID show only ('00001') Contracting Agency ID: 8900, Contracting Office ID: 00001 NAICS Code NAICS Description Actions Action Obligation 541519 OTHER COMPUTER RELATED SERVICES 251 $164,546,671 541611 ADMINISTRATIVE MANAGEMENT AND GENERAL MANAGEMENT CONSULTING SERVICES 236 $52,396,806 514210 DATA PROCESSING SERVICES 195 $28,941,727 531210 OFFICES OF REAL ESTATE AGENTS AND BROKERS 190 $6,460,652 541330 ENGINEERING SERVICES 165 $33,006,079 163 $11,515,387 541690 OTHER SCIENTIFIC AND TECHNICAL CONSULTING SERVICES 92 $40,527,088 531390 OTHER ACTIVITIES RELATED TO REAL ESTATE 79 -$659,654 337214 OFFICE FURNITURE (EXCEPT WOOD) MANUFACTURING 78 $1,651,732
Biological and Environmental Research (BER) Abstracts Database...
Future (improving the ability to understand, predict, and mitigate the impacts of energy production and use on climate change). The BER Abstracts Database is publicly...
Evaluating Model Abstractions: A Quantitative Approach
An \\evaluation " approach devised for an inductive reasoning system called Logic-based Discrete-event Inductive Reasoner is the focus of this paper. The underlying inductive reasoning methodology utilizes abstractions as its primary means to deal with lack ofknowledge. Based on abstractions and their treatments as assumptions, the Logic-based Discrete-event Inductive Reasoning system allows non-monotonic predictions. The evaluation approach takes into account explicitly the role of abstractions employed in non-monotonically derived multiple predictions. These predictions are ranked according to the type and number of abstractions used. The proposed evaluation approach is also discussed in relation to the dichotomy of model validation and simulation correctness.
Hessam S. Sarjoughian; Bernard P. Zeigler; Francois E. Cellier
Biological and Environmental Research (BER) Abstracts Database
Call for Abstracts | Department of Energy
Act Requests Stakeholder Relations 2013 National Environmental Justice Conference and Training Program Call for Abstracts Please join us for the 2013 National Environmental...
ABBREVIATION DESCRIPTION ABBREVIATION DESCRIPTION AAVP ARM Aerial Vehicles Program ACP Atmospheric Chemistry Program ACP - CE ACP - Capital Equipment AmeriFlux AmeriFlux ARM Atmospheric Radiation Measurement (ARM) ARM - CE ARM - Capital Equipment ARM Facility Atmospheric Radiation Measurement Climate Research Facility ARM Facility- CCRI Atmospheric Radiation Measurement Climate Research Facility (Climate Change Research Initiative) ARM - Science Atmospheric Radiation Measurement Science Program ARM-CCRI ARM-CCRI ARM-Infrastr Atmospheric Radiation Measurement-Infrastructure Artificial Retina ASP Atmospheric Science Program
This article considers static analysis based on abstract interpretation of logic programs over combined domains. It is known that analyses over combined domains provide more information potentially than obtained by the independent analyses. However, ... Keywords: abstract interpretation, logic programming, program analysis
Michael Codish; Anne Mulkers; Maurice Bruynooghe; Maria Garc�a de la Banda; Manuel Hermenegildo
MCO Monitoring activity description
Spent Nuclear Fuel remaining from Hanford's N-Reactor operations in the 1970s has been stored under water in the K-Reactor Basins. This fuel will be repackaged, dried and stored in a new facility in the 200E Area. The safety basis for this process of retrieval, drying, and interim storage of the spent fuel has been established. The monitoring of MCOS in dry storage is a currently identified issue in the SNF Project. This plan outlines the key elements of the proposed monitoring activity. Other fuel stored in the K-Reactor Basins, including SPR fuel, will have other monitoring considerations and is not addressed by this activity description.
Collected abstracts on particle beam diagnostic systems
This report contains a compilation of abstracts on work related to particle beam diagnostics for high temperature plasmas. The abstracts were gathered in early 1978 and represent the status of the various programs as of that date. It is not suggested that this is a comprehensive list of all the work that is going on in the development of particle beam diagnostics, but it does provide a representative view of the work in this field. For example, no abstracts were received from the U.S.S.R. even though they have considerable activity in particle beam diagnostics.
Hickok, R.L.
Number: 1394 Description: In what ...
... Number: 1752 Description: When was the Oklahoma City bombing? ... name of the plane that dropped the Atomic Bomb on Hiroshima? ...
Pulmonary toxicology of respirable particles. [Lead abstract
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)
Sanders, C.L.; Cross, F.T.; Dagle, G.E.; Mahaffey, J.A. (eds.)
DOE-NABIR PI Workshop: Abstracts
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
Hawkes editor, Dan
DOE-NABIR Pi Workshop: Abstracts
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
Number: 894 Description: How far is it ...
... Number: 1198 Description: When was Hiroshima bombed? ... 1264 Description: What is the atomic weight of ...
Earth Sciences Division collected abstracts: 1980
DOE Green Energy (OSTI)
This report is a compilation of abstracts of papers, reports, and talks presented during 1980 at national and international meetings by members of the Earth Sciences Division, Lawrence Livermore National Laboratory. The arrangement is alphabetical (by author). For a given report, a bibliographic reference appears under the name of each coauthor, but the abstract itself is given only under the name of the first author (indicated in capital letters) or the first Earth Sciences Division author.
Henry, A.L.; Hornady, B.F. (eds.)
Minimum Description Length Model Selection
Minimum Description Length Model Selection Problems and Extensions Steven de Rooij #12;#12;Minimum Description Length Model Selection Problems and Extensions #12;ILLC Dissertation Series DS-2008-07 For further-mail: email@example.com homepage: http://www.illc.uva.nl/ #12;Minimum Description Length Model Selection
Description of Proposed Action
Carlsbad Field Office Carlsbad Field Office RECORD OF CATEGORICAL EXCLUSION DETERMINATION 1 Description of Proposed Action Performance of a three-dimensional seismic survey line on approximately 2,409 acres contained within the WIPP Land Withdrawal Area as part of a larger survey to determine whether hydrocarbons are present in the region in quantities that warrant extraction and development. Number and Title of Applicable Categorical Exclusion B3.1 Site Characterization/Environmental Monitoring Activities covered by this Categorical Exclusion include, but are not limited to, site characterization and environmental monitoring under CERCLA and RCRA. Specific activities include, but are not limited to: (a) Geological, geophysical (such as gravity, magnetic, electrical, seismic, and radar), geochemical, and
Project Name/Description
RCA CM-3 Risk Management RCA CM-3 Risk Management Projects/Programs - RMPs, Tools, and SMEs Project Name/Description (see note below) DOE Program DOE RMP Contractor RMP Combined RMP Tools Database/Risk Analysis SMEs Federal/M&O/Consultant Integrated Biorefinery Research Facility Project EE X Research Support Facility Project EE X National Synchrotron Light Source II Project SC X 12 GeV Upgrade Project (TJL) SC X Physical Sciences Facility Project (PNNL) SC X P6, Pertmaster, Excel Mike Shay, Jason Gatelum ITER SC X (internation al pgm) P6, Pertmaster, Risk Checklist, Risk Assessor Handbook John Tapia, Colin Williams, Allen Bishop SING & SING II (SNS, OR) SC X Excel, Analytic Hierarchy, P6 Barbara Thibadeau Modernization of Lab Fac. (ORNL)
1990 fuel cell seminar: Program and abstracts
This volume contains author prepared short resumes of the presentations at the 1990 Fuel Cell Seminar held November 25-28, 1990 in Phoenix, Arizona. Contained herein are 134 short descriptions organized into topic areas entitled An Environmental Overview, Transportation Applications, Technology Advancements for Molten Carbonate Fuel Cells, Technology Advancements for Solid Fuel Cells, Component Technologies and Systems Analysis, Stationary Power Applications, Marine and Space Applications, Technology Advancements for Acid Type Fuel Cells, and Technology Advancement for Solid Oxide Fuel Cells.
The ''Yucca Mountain Site Description'' summarizes, in a single document, the current state of knowledge and understanding of the natural system at Yucca Mountain. It describes the geology; geochemistry; past, present, and projected future climate; regional hydrologic system; and flow and transport within the unsaturated and saturated zones at the site. In addition, it discusses factors affecting radionuclide transport, the effect of thermal loading on the natural system, and tectonic hazards. The ''Yucca Mountain Site Description'' is broad in nature. It summarizes investigations carried out as part of the Yucca Mountain Project since 1988, but it also includes work done at the site in earlier years, as well as studies performed by others. The document has been prepared under the Office of Civilian Radioactive Waste Management quality assurance program for the Yucca Mountain Project. Yucca Mountain is located in Nye County in southern Nevada. The site lies in the north-central part of the Basin and Range physiographic province, within the northernmost subprovince commonly referred to as the Great Basin. The basin and range physiography reflects the extensional tectonic regime that has affected the region during the middle and late Cenozoic Era. Yucca Mountain was initially selected for characterization, in part, because of its thick unsaturated zone, its arid to semiarid climate, and the existence of a rock type that would support excavation of stable openings. In 1987, the United States Congress directed that Yucca Mountain be the only site characterized to evaluate its suitability for development of a geologic repository for high-level radioactive waste and spent nuclear fuel.
A.M. Simmons
Domain-specific abstractions and compiler transformations
Domain-specific abstractions and compiler Domain-specific abstractions and compiler transformations Domain-specific abstractions and compiler transformations March 4, 2013 sadayappan Saday Sadayappan Department of Computer Science and Engineering, Ohio State University Recent trends in architecture are making multicore parallelism as well as heterogeneity ubiquitous. This creates significant chalenges to application developers as well as compiler implementations. Currently it is virtually impossible to achieve performance portability of high-performance applications, i.e., develop a single version of source code for an application that achieves high performance on different parallel computer platforms. Different implementations of compute intensive core functions are generally needed for different target platforms, e.g., for multicore
Abstracts: Constructivity, Complexity, and Fuzziness (CCF '99)
s: Constructivity, Complexity, and Fuzziness (CCF '99) D.S. Bridges, C.S. Calude and L.S. Dediu (Editors) CDMTCS-110 July 1999 Centre for Discrete Mathematics and Theoretical Computer Science Constructivity, Complexity, and Fuzziness (CCF '99) University "Dunarea de Jos" Galati, Romania 26--28 August 1999 Abstracts D.S. Bridges, C.S. Calude, L.S. Dediu (Editors) Introduction These are the abstracts of talks to be given at the Workshop CCF '99 (Constructivity, Complexity, and Fuzziness) to be held at the University "Dunarea de Jos", Galati, Romania, on 26--28 August 1999. The workshop was organised by the University "Dunarea de Jos", Galati, Romania, the Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, New Zealand and the Department of Mathematics and Statistics, University of Canterbury, Christchurch, New Zealand. In most cases the abstract refers to a single lecture on an aspect of one of the three subjects in the title of the ...
D. S. Bridges; D. S. Bridges; L.S. Dediu (eds.); C.S. Calude; C. S. Calude; L. S. Dediu (editors; L. S. Dediu (editors
Earth Sciences Division collected abstracts: 1979
This report is a compilation of abstracts of papers, internal reports, and talks presented during 1979 at national and international meetings by members of the Earth Sciences Division, Lawrence Livermore Laboratory. The arrangement is alphabetical (by author). For a given report, a bibliographic reference appears under the name of each coauthor, but the abstract iself is given only under the name of the first author or the first Earth Sciences Division author. A topical index at the end of the report provides useful cross references, while indicating major areas of research interest in the Earth Sciences Division.
Henry, A.L.; Schwartz, L.L.
Model Checking Complete Requirements Specifications Using Abstraction
Although model checking has proven remarkably effective in detecting errors in hardware designs, its success in the analysis of software specifications has been limited. Model checking algorithms for hardware verification commonly use Binary Decision ... Keywords: SCR, abstraction, model checking, requirements specification, verification
Ramesh Bharadwaj; Constance L. Heitmeyer
Full abstraction for nominal Scott domains
We develop a domain theory within nominal sets and present programming language constructs and results that can be gained from this approach. The development is based on the concept of orbit-finite subset, that is, a subset of a nominal sets that is ... Keywords: denotational semantics, domain theory, full abstraction, nominal sets, symmetry
Steffen L�sch; Andrew M. Pitts
Abstraction and analysis of clinical guidance trees
Objectives: The aims of this work were: to define an abstract notation for interactive decision trees; to formally analyse exploration errors in such trees through automated translation to Lotos (language of temporal ordering specification); to generate ... Keywords: CGT, Decision tree, Formal method, Healthcare, Lotos
Kenneth J. Turner
BASE: Using Abstraction to Improve Fault Tolerance
contract F30602-98-1-0237 monitored by the Air Force Research Laboratory. Rodrigo Rodrigues was partially. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit be requested from Publications Dept., ACM, Inc., 1515 Broadway, New York, NY 10036 USA, fax: +1 (212) 869
Hunt, Galen
Unification of Concept Terms --Extended Abstract --
Unification of Concept Terms -- Extended Abstract -- Franz Baader \\Lambda LuFg Theoretical Computer of the domain can be described by concept terms, i.e., expressions that are built from atomic concepts (unary. The atomic concepts and concept terms represent sets of individuals, whereas roles represent binary relations
Denotational abstract interpretation of logic programs
Logic-programming languages are based on a principle of separation �logic� and �control.�. This means that they can be given simple model-theoretic semantics without regard to any particular execution mechanism (or proof procedure, ... Keywords: Boolean functions, abstract interpretation, dataflow analysis, global analysis, groundness analysis
Kim Marriott; Harald S�ndergaard; Neil D. Jones
Colorado Natural Heritage Program 2003 Project Abstracts
Colorado Natural Heritage Program 2003 Project Abstracts #12;Cover photo: A CNHP researcher. On a good evening, we end on a positive note, and feel lucky that we have the opportunity to work in a field that is so relevant to future generations. As the Colorado Natural Heritage Program continued our quest
Quantum one-time programs (extended abstract)
Quantum one-time programs (extended abstract) Anne Broadbent1 , Gus Gutoski2 , and Douglas Stebila3 1 Institute for Quantum Computing and Department of Combinatorics and Optimization University of Waterloo, Waterloo, Ontario, Canada email@example.com 2 Institute for Quantum Computing and School
International Association for Cryptologic Research (IACR)
Integrated Safety Management (ISM) - System Descriptions
System Descriptions Integrated Safety Management (ISM) ism logo Sample DOE Contractor ISM System Descriptions Sample DOE Site Office ISM System Descriptions DOE HQ Program Office...
Original Workshop Proposal and Description
Workshop Proposal and Description Visualization Requirements for Computational Science and Engineering Applications Proposal for a DoE Workshop to Be Held at the...
A correspondence between temporal description logics
ABSTRACT. In this paper, we investigate the relationship between two decidable interval-based temporal description logics that have been proposed in the literature, T L-ALCF and ALCF(A). Although many aspects of these two logics are quite similar, the two logics suggest two rather different paradigms for representing temporal conceptual knowledge. In this paper, we exhibit a reduction from T L-ALCF concepts to ALCF(A) concepts that serves two purposes: first, it nicely illustrates the relationship between the two knowledge representation paradigms; and second, it provides a tight PSPACE upper bound for T L-ALCF concept satisfiabiliy, whose complexity was previously unknown.
Ro Artale; Carsten Lutz; Tu Dresden (germany
A Meta-Model for Textual Use Case Description
A Use Case is a specification of interactions involving a system and external actors of that system. The capability for use case modeling has been integrated to the Unified Modeling Language (UML) since its inception. However, use cases are only defined at an abstract level, as the UML Specification does not discuss use case description in text form. In this paper, we propose an abstract syntax for textual use case description as a meta-model extension of the UML Specification. This meta-model is based on elements commonly found in use case templates. The meta-model also includes OCL constraints for ensuring consistency with the UML specification.
St�phane S. Som�
Low Dose Radiation Program: Workshop VI Abstracts
Workshop VI Principal Investigator and Abstracts Workshop VI Principal Investigator and Abstracts Anderson, Carl Whole Genome Analysis of Functional Protein Binding Sites and DNA Methylation: Application to p53 and Low Dose Ionizing Radiation. Averbeck, Dietrich Cellular Responses at Low Doses of Ionizing Radiation. Azzam, Edouard Adaptive Responses to Low Dose/Low Dose-Rate ?-Rays in Normal Human Fibroblasts: The Role of Oxidative Metabolism. Bailey, Susan The Role of Telomere Dysfunction in Driving Genomic Instability. Balajee, Adayabalam Low Dose Radiation Induced DNA Damage Signaling and Repair Responses in Human 3-Dimensional Skin Model System. Barcellos-Hoff, Mary Helen Imaging Bioinformatics for Mapping Multidimensional Responses. Barcellos-Hoff, Mary Helen Biological Response to Radiation Mediated through the Microenvironment and
Subwog 12-D tritium technology meeting. Abstracts
The first Subwog 12-D Tritium Technology Meeting was held at the Westinghouse Savannah River Site during the week of May 21, 1990. Subwog 12-D was created as a subwog of JOWOG 12 to address the need to understand tritium applications throughout the entire weapons complex. This includes weapons related concerns, but is primarily intended to cover tritium production and handling, environmental, safety and health issues, compatibility with materials in general; and facility design, commissioning and decommissioning activities. Tritium technology issues discussed included the physical and chemical properties, kinetics, storage, reservoir loading techniques, isotope exchange, radiolysis/aging, process and handling technology, compatibility, purification and filtering, analysis, monitoring methods, function testing, packaging and shipping, environmental and operational safety, facility design and safety, glovebox atmosphere clean-up systems, glovebox/facility decommissioning, tritium production target materials, and tritium recovery. This document provides a collection of most of the unclassified extended abstracts and abstracts presented at Subwog 12-D.
Parker, M.J.; Addis, R.P.
FFCAct Clearinghouse, Directory of abstracts. Revision 1
The Federal Facility Compliance Act (FFCAct) Clearinghouse is a card catalog of information about the FFCAct and its requirements for developing Site Treatment Plans (STP). The information available in the clearinghouse includes abstracts describing computer applications, technical reports, and a list of technical experts. Information can be accessed for use in responding to FFCAct requirements, and the clearinghouse provides search capabilities on particular topics and issues related to STP development. Appendix A includes: contacts from each site, for which contact has been made, who are developing STPs; the FFCAct Clearinghouse Fact Sheet and; additional hard copy forms to be used to populate the database. This report contains 50 abstracts related to the Radioactive Waste Technical Support Program.
Harwood, T.
National Photovoltaics Program annual review meeting. Abstracts
The 1985 Annual Review of the United States Department of Energy's National Photovoltaic Program was held at the Mayflower Hotel in Washington, DC on March 28, 1985. During the morning session, the three field centers within the National Program (Solar Energy Research Institute, Jet Propulsion Laboratory, and Sandia National Laboratories) presented summaries of their activities. This document contains abstracts and visual materials related to those presentations.
Property:Abstract | Open Energy Information
Open Energy Info (EERE)
Abstract Abstract Jump to: navigation, search This is a property of type Text. Pages using the property "Abstract" Showing 25 pages using this property. (previous 25) (next 25) 2 2-D Magnetotellurics At The Geothermal Site At Soultz-Sous-Forets- Resistivity Distribution To About 3000 M Depth + With the aim of investigating the possibilities of magnetotelluric methods for the exploration of potential Enhanced Geothermal System (EGS) sites in the Upper Rhine valley, a 2-D magnetotelluric (MT) survey has been carried out on a 13 km long profile across the thermal anomaly in the area of the geothermal power plant of Soultz-sous-Forets in the winter 2007/08. Despite strong artificial noise, processing using remote referencing and Sutarno phase consistent smoothing revealed significant results from 10 out of 16 sites. Indication for 1-D structures was found in the shortest periods, 2-D effects in the periods up to 40 s, and 3-D effects in the long period range. Since 3-D effects were found in the longer periods, 2-D inversion was carried out for periods smaller than 40 s. The results of the inversion are consistent with the geology of the geothermal site and distinguish well the sediments from the granitic basement including the structures given by the faults. A conductive anomaly with a resistivity of about 3 Ωm has been found at a depth down to 2000 m in the area of the Soultz and Kutzenhausen faults, which is attributed to geothermal processes.
Abstract for Paul-Henri Heenen
Paul-Henri Heenen Paul-Henri Heenen Service de Physique Nucleaire, Universite Libre de Bruxelles, Belgium Why and how to go beyond the mean-field method. Applications to neutron deficient Pb isotopes The Hartree-Fock Bogoliubov method with effective interactions has been extremely successful in the description of the properties of exotic nuclei. However, to work in an intrinsic system of reference has several drawbacks and is justified only for nuclei with well defined deformation. The main deficiencies of the wave functions are that they are not eigenstates of angular momentum and particle number and that they have a fixed deformation. A single framework permits to cure these deficiencies: the generator coordinate method, which is equivalent to a configuration mixing method. I will show how this can be done in the particular mean-field
The fuzzy description logic ALCFLH
We present the fuzzy description logic ALCF LH. ALCF LH is based on ALCF H, but linear hedges are used instead of exponential ones. This allows to solve the entailment and the subsumption problem in a fuzzy description logic, where arbitrary concepts and roles may be modified. 1
Steffen H�lldobler; Nguyen Hoang Nga; Technische Universit�t Dresden; Tran Dinh Khang
Current Abstracts Nuclear Reactors and Technology
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.
Bales, J.D.; Hicks, S.C. [eds.
Interfacing microbiology and biotechnology. Conference abstracts
The Interfacing Microbiology and Biotechnology Conference was attended by over 100 faculty, post-docs, students, and research scientists from the US, Europe, and Latin America. The conference successfully stimulated communication and the dissemination of knowledge among scientists involved in basic and applied research. The focus of the conference was on microbial physiology and genetics and included sessions on C1 metabolism, archaeal metabolism, proteases and chaperones, gene arrays, and metabolic engineering. The meeting provided the setting for in-depth discussions between scientists who are internationally recognized for their research in these fields. The following objectives were met: (1) The promotion of interaction and future collaborative projects among scientists involved in basic and applied research which incorporates microbial physiology, genetics, and biochemistry; (2) the facilitation of communication of new research findings through seminars, posters, and abstracts; (3 ) the stimulation of enthusiasm and education among participants including graduate and undergraduate students.
Maupin, Julia A.
VEST: Abstract Vector Calculus Simplification in Mathematica
We present a new package, VEST (Vector Einstein Summation Tools), that performs abstract vector calculus computations in Mathematica. Through the use of index notation, VEST is able to reduce scalar and vector expressions of a very general type using a systematic canonicalization procedure. In addition, utilizing properties of the Levi-Civita symbol, the program can derive types of multi-term vector identities that are not recognized by canonicalization, subsequently applying these to simplify large expressions. In a companion paper [1], we employ VEST in the automation of the calculation of Lagrangians for the single particle guiding center system in plasma physics, a computation which illustrates its ability to handle very large expressions. VEST has been designed to be simple and intuitive to use, both for basic checking of work and more involved computations. __________________________________________________
J. Squire, J. Burby and H. Qin
This article considers static analysis based on abstract interpretation of logic programs over combined domains. It is known that analyses over combined domains provide more information potentially than obtained by the independent analyses. However, the construction of a combined analysis often requires redefining the basic operations for the combined domain. A practical ap-proach to maintain precision in combined analyses of logic programs which reuses the individual analyses and does not redefine the basic operations is illustrated, The advantages of the approach are that (1) proofs of correctness for the new domains are not required and (2) implementations can be reused. The approach is demonstrated by showing that a combined sharing analysis � constructed from �old� proposals � compares well with other �new� proposals suggested in recent
Michael Codish; Anne Mulkers; Maurice Bruynooghe; Maria Garcia De La Banda; Manuel Hermenegildo
THE FUZZY DESCRIPTION LOGIC ALCFLH Steffen Holldobler, Nguyen Hoang Nga
, Vietnam email@example.com ABSTRACT In this paper, we present the fuzzy description logic ALCF LH. ALCF LH is based on ALCF H, but linear hedges are used instead of exponential ones. This allows to solve hedges. They have been applied to fuzzy logic in various ways (see e.g. [3]). In ALCF H [1, 2] hedges
Hoelldobler, Steffen
Unification of Concept Terms in Description Logics Franz Baader \\Lambda
Unification of Concept Terms in Description Logics Franz Baader \\Lambda LuFg Theoretical Computer, USA email: email@example.com Abstract Unification of concept terms is a new kind of in ference concept names by con cept terms before testing for equivalence. We show that this inference problem
Coordinate-independent font description using Kanji as an example
, font-independent character descriptions are important for a systematic approach to automated and semi-automated font design. This is particularly so for large character sets such as Kanji. The paper defines a completely coordinate-independent notation for Kanji, which contains all the necessary information to produce legible character sketches. KEY WORDS Abstract character description Coordinate- independent font Large fonts Kanji Prolog 1 INTRODUCTION In his comment on Knuth's METAFONT [1], Hofstadter [2] envisions that a futuregeneration font design system should consist of a) an abstract description of characters in terms of roles such as `crossbar'; b) `an ability to generalize from a few letterforms ... to an entire typeface', and c) `an integration of perception with generation'. Intermixing of structure and parameter values leads to tools for the implementation of fonts and metafonts based on the concepts of procedural, functional, and structured programming [1,3,4]. How...
Martin J. D�rst
Path predicate abstraction by complete interval property checking
This paper describes a method to create an abstract model from a set of properties fulfilling a certain completeness criterion. The proposed abstraction can be understood as a path predicate abstraction. As in predicate abstraction, certain concrete ...
Joakim Urdahl; Dominik Stoffel; J�rg Bormann; Markus Wedler; Wolfgang Kunz
Virtual Grids: Resource Abstractions for Grid Applications 8/9/2004 The Virtual Grid Description Language: vgDL
of distributed grid application? - What resource models are sufficient to enable expression by the programmer CNode Execution DatabasesDatabases Figure 5. Parallel Workers and Databases EOL (EOL3) Smart-Distributed Databases Databases Figure 6. Smart-Distributed EOL (EOL4) Data Smart Distributed EOL (EOL5) EOL5 has all
Chien, Andrew A.
A handbook for executives and non-executives in healthcare organisations February 2006DH INFORMATION READER BOX Policy HR / Workforce
When incorrect prices are determined in the market, the IMO can replace the incorrect prices with administered prices in accordance with the Market Rules within two business days. Suppliers and consumers that respond to high prices that are later determined to be incorrect and replaced by lower administered prices lose significant production and income and become hesitant to respond to price signals otherwise provided. To increase their confidence in the price signals, they market participants would like to be compensated for losses in the event that prices are corrected/administered and they would like to be notified of potential price corrections as close to real-time as possible. Non-market participants who independently respond to pricing signals in the market may also suffer from a loss of production and income as a result of incorrectly posted prices. However, the issues related to non-market participants will not be included in this particular discussion. Background The current Market Rules allow for the IMO to administer price when the market
When incorrect prices are determined in the market, the IMO can replace the incorrect prices with administered prices in accordance with the Market Rules within two business days. Suppliers and consumers that respond to high prices that are later determined to be incorrect and replaced by lower administered prices may lose significant production and income and subsequently become hesitant to respond to price signals otherwise provided. To increase their confidence in the price signals, they market participants would like to be compensated for losses in the event that prices are corrected/administered and they would like to be notified of potential price corrections as close to real-time as possible. Non-market participants who independently respond to pricing signals in the market may also suffer from a loss of production and income as a result of incorrectly posted prices. However, the issues related to non-market participants will not be included inunder this particular discussionissue. Background The current Market Rules allow for the IMO to administer price when the market pricing mechanisms are not functioning normally (Chapter 7, Section 8,4). More specifically, the IMO will administer prices under in the following three situations: � Failure to publish prices due to a forced or planned outage to the hardware, software or communications systems that support the dispatch algorithm � The published prices are incorrect due to incorrect inputs to the dispatch algorithm � Market suspension There have been a number of occasions when prices have been administered, such as during the market suspension resulting from the August 2003 blackout or, more typically, on occasions when market related systems fail or are on outage. Often price is administered automatically before incorrect prices can be published, but at times the incorrect prices cannot and are not detected before being published and must be changed after the fact.
Description of CBECS Building Types
U.S. Energy Information Administration (EIA) Indexed Site
Description of Building Types Description of Building Types Description of CBECS Building Types In the Commercial Buildings Energy Consumption Survey (CBECS), buildings are classified according to principal activity, which is the primary business, commerce, or function carried on within each building. Buildings used for more than one of the activities described below are assigned to the activity occupying the most floorspace at the time of the interview. Thus, a building assigned to a particular principal activity category may be used for other activities in a portion of its space or at some time during the year. In the 1999 CBECS, respondents were asked to place their building into a sub-category that was a more specific activity than has been collected in prior surveys. This was done to ensure the quality of the data; after data collection, the subcategories were combined into these more general building categories, which are consistent with prior CBECS surveys.
Notices Description: Entergy Services, Inc.
19 Federal Register 19 Federal Register / Vol. 76, No. 139 / Wednesday, July 20, 2011 / Notices Description: Entergy Services, Inc. Response to May 13, 2011 Deficiency Letter. Filed Date: 07/12/2011. Accession Number: 20110712-5164. Comment Date: 5 p.m. Eastern Time on Tuesday, August 02, 2011. Docket Numbers: ER11-2206-001. Applicants: Alta Wind V, LLC. Description: Alta Wind V, LLC, Notice of Non-Material Change in Status. Filed Date: 07/13/2011. Accession Number: 20110713-5091. Comment Date: 5 p.m. Eastern Time on Wednesday, August 03, 2011. Docket Numbers: ER11-3727-001. Applicants: El Segundo Energy Center LLC. Description: El Segundo Energy Center LLC submits tariff filing per 35.17(b): Supplement to Application for Market-Based Rate Authority to be effective 8/5/2011.
The purpose of this facility description document (FDD) is to establish requirements and associated bases that drive the design of the Canister Handling Facility (CHF), which will allow the design effort to proceed to license application. This FDD will be revised at strategic points as the design matures. This FDD identifies the requirements and describes the facility design, as it currently exists, with emphasis on attributes of the design provided to meet the requirements. This FDD is an engineering tool for design control; accordingly, the primary audience and users are design engineers. This FDD is part of an iterative design process. It leads the design process with regard to the flowdown of upper tier requirements onto the facility. Knowledge of these requirements is essential in performing the design process. The FDD follows the design with regard to the description of the facility. The description provided in this FDD reflects the current results of the design process.
J.F. Beesley
Search Term(s) Search Term(s) (supports AND and OR operators and phrase in "double quotes") Register Number Title Abstract Principal Investigator PI Lookup Institution Institution Lookup City Adelaide SA 5001 Aiken Albany Albuquerque Alcoa Center Alexandria Ames Amherst Anchorage Ann Arbor Ardmore Argonne Arlington Asheville Athens Atlanta Auburn Auburn University Augusta Aurora Austin Bailrigg, Lancaster UK, LA1 4Y Baltimore Bar Harbor Batavia Baton Rouge Beaufort Beaverton Belleville Bellevue Bellingham Beltsville Berkeley Bern Bethesda Billerica Bilthoven Binghamton Birmingham Blacksburg Bloomington Boise Boston Bothell Boulder Bozeman Bronx Bronxville Brooklyn Buffalo Burlington Calverton Cambridge Cambridge CB1 4RN Canal Point Carbondale Champaign Chapel Hill Charleston Charlottesville Chestnut Hill Chicago Chico Cincinnati Claremont Clayton Clemson Cleveland Clifton Park Colchester Cold Spring Harbor College Park College Station Colorado Springs Columbia Columbus Concord Cookeville Copenhagen Coral Gables Corvallis Dallas Danville Davis Dayton DeBilt DeKalb Delft Denton Denver Des Plaines Detroit Docklands, Victoria Downsview Duarte Durham East Lansing El Paso Esch-sur-Alzette Essen Eugene Evanston Fairbanks Fairfax Falmouth Flagstaff Fort Collins Gainesville Gaithersburg Galveston Germantown Gloucester Point Golden Grand Forks Grand Junction Great Falls Greenbelt Greenville Guelph Halifax Hamburg Hamilton, Ontario Hampton Hanover Hattiesburg Helsinki Hershey Honolulu Houghton Houston Hunt Valley Huntsville Hyde Park Idaho Falls Indianapolis Iowa City Irvine Ithaca Jerusalem Kalamazoo Kansas City Kennewick Kent Keystone Kingston Kingsville Klamath Falls Knoxville LS2 9JT La Jolla La Jolla, Lafayette Lake Placid Lakewood Lanham Laramie Las Cruces Las Vegas Lausanne Lawrence Lawrenceville Leawood Lethbridge Lewes Lexington Lincoln Little Rock Livermore Loma Linda London London NW1 2BE Los Alamos Los Angeles Louisville Lubbock Lutherville Lyngby Madison Manchester Manhattan Mayaguez McLean Medford Melbourne Memphis Menands Menlo Park Merced Mercer Island Miami Middlesex Middletown Millbrook Milwaukee Minneapolis Mississippi State Missoula Moab Mobile Modena Moffett Field Monash, Australia Monterey Montreal Montreal (Quebec) Morgantown Moscow Moss Landing Mountain View Nashua Nashville New Brunswick New Haven New Orleans New York Newark Newport News Newtown Square Norfolk Norman North Dartmouth Norwich Notre Dame Oak Brook Oak Ridge Oakdale Oakland Oklahoma City Old Westbury Omaha Ontario Ontario K1N 6N5 Orlando Orono Ottawa Oxford Oxon Palisades Palo Alto Pasadena Pasco Peoria Philadelphia Phoenix Piscataway Pittsburgh Placitas Plymouth Portland Potsdam Princeton Providence Pullman Radnor Raleigh Rapid City Reading Redmond Reno Rensselaer Research Triangle Pk Reston Richland Richmond Riverside Roanoke Rochester Rockville Rohnert Park Rome Royal Oak Salt Lake City San Antonio San Diego San Francisco San Fransisco San Jose San Marcos Santa Barbara Santa Cruz Santa Fe Santa Monica Santiago Savannah Scranton Seattle Sequims Sharon Hill Shreveport Silver Spring Silverthorne Sioux Falls Socorro Sonoma St. Louis St. Paul St. Petersburg Stanford State College Stennis Space Center Stennis Space Ctr. Stillwater Stockholm Stockton Stony Brook Storrs Storrs Mansfield Stowe Syracuse Tallahassee Tampa Tempe Thousand Oaks Toledo Toronto Toronto, ON Troy Tucson Tulsa Tuscaloosa Tuskegee Ulm University University Park Upton Urbana Victoria Walpole Waltham Washington Watkinsville West Kingston West Lafayette Westhampton Beach Wheeling Winston-Salem Woodland Park Woods Hole Worcester Yorktown Heights
Science Accelerator Resource Descriptions, Office of Scientific...
Resource Descriptions Below you will find descriptions of each of the scientific and technical resources searchable in the Science Accelerator. DOE Data Explorer Locate collections...
Microscopic Description of Induced Fission
Selected aspects of the description of neutron-induced fission in 240Pu in the framework of the nuclear energy density functional theory at finite temperature are presented. In particular, we discuss aspects pertaining to the choice of thermodynamic state variables, the evolution of fission barriers as function of the incident neutron energy, and the temperatures of the fission fragments.
N. Schunck
The Impact of Distributed Programming Abstractions on Application Energy Consumption
The Impact of Distributed Programming Abstractions on Application Energy Consumption Young-Woo Kwon measure and analyze the impact of distributed programming abstractions on application energy consumption future efforts in creating energy efficient distributed programming abstractions. Keywords: energy
Ryder, Barbara G.
Framework for abstractive summarization using text-to-text generation
We propose a new, ambitious framework for abstractive summarization, which aims at selecting the content of a summary not from sentences, but from an abstract representation of the source documents. This abstract representation relies on the concept ...
Pierre-Etienne Genest; Guy Lapalme
Text REtrieval Conference (TREC) System Description
Text REtrieval Conference (TREC) System Description. Organization Name: Los Alamos National Laboratory, Run ID: lanl981. ...
Quality Assurance Requirements and Description
QjCivilianRadioactive QjCivilianRadioactive Was'fe Management QA: QA QVALITY ASSURANCE REQUIREMENTS AND DESCRIPTION DOEIRW-0333P Revisiol1 20 Effective Date: 10-01-2008 LarrY Newman, DlrectQr Office of Quality As,surance ~~--~-_._._- Edward F. Spr at III, Di or Office of Civilian Radioactive Waste Management Date I/Jf/4t' , . - - - Date OCRWM Title: Quality Assurance Requirements and Description DOEIRW-0333P, Revision 20 Office of Civilian Radioactive Waste Management Quality Assurance Policy Page: 2 of 160 Successful implementation of the Office of Civilian Radioactive Waste Management (OCRWM) Quality Assurance (QA) program is essential for the OCRWM to carry out its mission. Our mission is to manage and dispose ofbigh-Ievel radioactive waste and spent nuclear fuel in a manner that protects health, safety, and the environment; enhances national and energy security; and merits
Energy Energy Consumption Survey (CBECS) > Description of Building Types Description of CBECS Building Types In the Commercial Buildings Energy Consumption Survey (CBECS), buildings are classified according to principal activity, which is the primary business, commerce, or function carried on within each building. Buildings used for more than one of the activities described below are assigned to the activity occupying the most floorspace at the time of the interview. Thus, a building assigned to a particular principal activity category may be used for other activities in a portion of its space or at some time during the year. In the 1999 and 2003 CBECS, respondents were asked to place their building into a sub-category that was a more specific activity than has been collected in prior surveys. This was done to ensure the quality of the data; after data collection, the subcategories were combined into these more general building categories, which are consistent with prior CBECS surveys.
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement
The authors propose a scalable abstraction-refinement method for model checking invariant properties on large sequential circuits, which is based on fine-grain abstraction and simultaneous analysis of all abstract counterexamples of the shortest length. ... Keywords: Abstraction refinement, binary decision diagram (BDD), formal verification, model checking, satisfiability (SAT)
Chao Wang; Bing Li; HoonSang Jin; G. D. Hachtel; F. Somenzi
The purpose of this system description document (SDD) is to establish requirements that drive the design of the spent nuclear fuel (SNF) aging system and associated bases, which will allow the design effort to proceed. This SDD will be revised at strategic points as the design matures. This SDD identifies the requirements and describes the system design, as it currently exists, with emphasis on attributes of the design provided to meet the requirements. This SDD is an engineering tool for design control; accordingly, the primary audience and users are design engineers. This SDD is part of an iterative design process. It leads the design process with regard to the flow down of upper tier requirements onto the system. Knowledge of these requirements is essential in performing the design process. The SDD follows the design with regard to the description of the system. The description provided in the SDD reflects the current results of the design process. Throughout this SDD, the term aging cask applies to vertical site-specific casks and to horizontal aging modules. The term overpack is a vertical site-specific cask that contains a dual-purpose canister (DPC) or a disposable canister. Functional and operational requirements applicable to this system were obtained from ''Project Functional and Operational Requirements'' (F&OR) (Curry 2004 [DIRS 170557]). Other requirements that support the design process were taken from documents such as ''Project Design Criteria Document'' (PDC) (BSC 2004 [DES 171599]), ''Site Fire Hazards Analyses'' (BSC 2005 [DIRS 172174]), and ''Nuclear Safety Design Bases for License Application'' (BSC 2005 [DIRS 171512]). The documents address requirements in the ''Project Requirements Document'' (PRD) (Canori and Leitner 2003 [DIRS 166275]). This SDD includes several appendices. Appendix A is a Glossary; Appendix B is a list of key system charts, diagrams, drawings, lists and additional supporting information; and Appendix C is a list of procedures that will be used to operate the system.
L.L. Swanson
The purpose of this revision of the System Description Document (SDD) is to establish requirements that drive the design of the electrical power system and their bases to allow the design effort to proceed to License Application. This SDD is a living document that will be revised at strategic points as the design matures over time. This SDD identifies the requirements and describes the system design as they exist at this time, with emphasis on those attributes of the design provided to meet the requirements. This SDD has been developed to be an engineering tool for design control. Accordingly, the primary audience are design engineers. This type of SDD leads and follows the design process. It leads the design process with regard to the flow down of upper tier requirements onto the system. Knowledge of these requirements is essential to performing the design process. This SDD follows the design with regard to the description of the system. The description provided in the SDD is a reflection of the results of the design process to date. Functional and operational requirements applicable to this system are obtained from ''Project Functional and Operational Requirements'' (F&OR) (Siddoway, 2003). Other requirements to support the design process have been taken from higher level requirements documents such as ''Project Design Criteria Document'' (PDC) (Doraswamy 2004), the fire hazards analyses, and the preclosure safety analysis. The above mentioned low-level documents address ''Project Requirements Document'' (PRD) (Canori and Leitner 2003) requirements. This SDD includes several appendices with supporting information. Appendix B lists key system charts, diagrams, drawings, and lists; and Appendix C is a list of system procedures.
M. Maniyar
The purpose of this revision of the System Design Description (SDD) is to establish requirements that drive the design of the electrical support system and their bases to allow the design effort to proceed to License Application. This SDD is a living document that will be revised at strategic points as the design matures over time. This SDD identifies the requirements and describes the system design as they exist at this time, with emphasis on those attributes of the design provided to meet the requirements. This SDD has been developed to be an engineering tool for design control. Accordingly, the primary audience/users are design engineers. This type of SDD both ''leads'' and ''trails'' the design process. It leads the design process with regard to the flow down of upper tier requirements onto the system. Knowledge of these requirements is essential in performing the design process. The SDD trails the design with regard to the description of the system. The description provided in the SDD is a reflection of the results of the design process to date. Functional and operational requirements applicable to electrical support systems are obtained from the ''Project Functional and Operational Requirements'' (F&OR) (Siddoway 2003). Other requirements to support the design process have been taken from higher-level requirements documents such as the ''Project Design Criteria Document'' (PDC) (Doraswamy 2004), and fire hazards analyses. The above-mentioned low-level documents address ''Project Requirements Document'' (PRD) (Canon and Leitner 2003) requirements. This SDD contains several appendices that include supporting information. Appendix B lists key system charts, diagrams, drawings, and lists, and Appendix C includes a list of system procedures.
S. Roy
Descriptive Model of Generic WAMS
The Department of Energy�s (DOE) Transmission Reliability Program is supporting the research, deployment, and demonstration of various wide area measurement system (WAMS) technologies to enhance the reliability of the Nation�s electrical power grid. Pacific Northwest National Laboratory (PNNL) was tasked by the DOE National SCADA Test Bed Program to conduct a study of WAMS security. This report represents achievement of the milestone to develop a generic WAMS model description that will provide a basis for the security analysis planned in the next phase of this study.
Hauer, John F.; DeSteese, John G.
Content of System Design Descriptions
DOE-STD-3024-2011 August 2011 ________________________ Superseding DOE-STD-3024-98 DOE STANDARD CONTENT OF SYSTEM DESIGN DESCRIPTIONS U.S. Department of Energy AREA EDCO Washington, D.C. 20585 DISTRIBUTION STATEMENT A. Approved for public release; distribution is unlimited. NOT MEASUREMENT SENSITIVE DOE-STD-3024-2011 ii Available on the Department of Energy Technical Standards web page at http://www.hss.energy.gov/nuclearsafety/ns/techstds/ DOE-STD-3024-2011 iii CONTENTS PAGE Foreword ..................................................................................................................................................... iv 1. PURPOSE ............................................................................................................................................1
Precise goal-independent abstract interpretation of constraint logic programs
We present a goal-independent abstract interpretation framework for constraint logic programs, and prove the sufficiency of a set of conditions for abstract domains to ensure that the analysis will never lose precision. Along the way, we formally define ...
Peter Schachte
Event Order Abstraction for Parametric Real-Time System Verification
We present a new abstraction technique, event order abstraction (EOA), for parametric safety verification of real-time systems in which ``correct orderings of events'' needed for system correctness are maintained by timing ...
Umeno, Shinya
Texture tile considerations for raster graphics
As a technique for rendering texture in images, texture tiles meet the subjective criterion of visual acceptability. A texture tile is a digital array of stored texture information that is replicated on a surface within an image. The purpose is to give ... Keywords: Aliasing, Computer graphics, Footprint, Level-of-detail, Sampling, Shading, Texture, Texture tile
William Dungan, Jr.; Anthony Stenger; George Sutty
Review of James Hartley's research on structured abstracts
Structured abstracts have been employed in biomedical journals for more than 20 years. Professor James Hartley in the School of Psychology, Keele University, UK has published over 25 research papers and conducted systematic studies on structured abstracts. ... Keywords: James Hartley, structured abstracts
Chunfang Zhang; Xueli Liu
Parametric abstraction of behavioral modes for model-based diagnosis
In the present paper we address the problem of automatically abstracting the behavioral modes of system components on the basis of their indiscriminability in a diagnostic setting. Our goal is to abstract the original model in such a way as to provide ... Keywords: Model-based diagnosis, abstraction, model compilation
Gianluca Torta; Pietro Torasso
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates
Existing software model checkers based on predicate abstraction and refinement typically perform poorly at verifying the absence of buffer overflows, with analyses depending on the sizes of the arrays checked. We observe that many of these analyses can ... Keywords: safety verification, counterexample-guided abstraction refinement, proof templates, software model checkers, predicate abstraction, buffer overflows verification, array traversal idioms, PtYasm, Verisec suite
T. E. Hart; K. Ku; A. Gurfinkel; M. Chechik; D. Lie
Number: 1 Description: How did the ...
... Number: 80 Description: What part did ITT (International Telephone and Telegraph) and Anaconda Copper play in the ...
Number: 1 Description: What powers did ...
... top> Number: 10 Description: What is one of the major problems with electronic producing turbines (windmills) in California? ...
Site Acquisition Description/ Category Contracting Office Solicitation
Description Category Contracting Office Solicitation Method Contract Type Estimated Dollar Range Pre-Solicitation Conference Industry Meetings Draft- Solicitation Synopsis...
Expressive fuzzy description logics over lattices
It is generally accepted that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. In this paper we present a fuzzy description logics framework based on certainty lattices. Our main feature ... Keywords: Certainty lattices, Description logics, Fuzzy description logics, Inverse roles, Role hierarchies, Transitive roles
Yuncheng Jiang; Yong Tang; Ju Wang; Peimin Deng; Suqin Tang
Estimated Cost Description Determination Date:
Title, Location Title, Location Estimated Cost Description Determination Date: 2010 LCLS Undulator 2 is envisioned to be a 0.2 - 2keV FEL x-ray source, capable of delivering x-rays to End Station A (ESA), located in the existing Research Yard at SLAC. It will also be configurable as a non- FEL hard x-ray source capable of delivering a chirped x-ray pulse for single-shot broad-spectrum measurements. The project would entail reconstruction of the electron beam transport to End Station A, construction and installation of a new undulator in the tunnel upstream of ESA and beam dump, and construction and installation of x-ray transport, optics, and diagnostics in ESA. It also includes the construction of an annex to End Station A , providing hutches for experiment stations.
and posted 2/10/2011 and posted 2/10/2011 *Title, Location Estimated Cost Description Determination Date: uncertain Transmittal to State: uncertain EA Approval: uncertain $50,000 FONSI: uncertain Determination Date: uncertain Transmittal to State: uncertain EA Approval: uncertain FONSI: uncertain Total Estimated Cost $70,000 Attachment: Memo, Moody to Marcinowski, III, SUBJECT: NEPA 2011 APS for DOE-SRS, Dated: Annual NEPA Planning Summary Environmental Assessments (EAs) Expected to be Initiated in the Next 12 Months Department of Energy (DOE) Savannah River Site (SRS) Jan-11 Estimated Schedule (**NEPA Milestones) South Carolina Department of Health and Environmental Control (SCDHEC) issued a National Pollutant Discharge Elimination System (NPDES) Industrial Stormwater General Permit (IGP) # SCR000000 November 12, with an effective date of January
Directions to Petroleum Abstracts Petroleum Abstracts' main office is located in the basement of John Rogers Hall (JRH)
Directions to Petroleum Abstracts Petroleum Abstracts' main office is located in the basement Tucker Drive in Tulsa, Oklahoma. Directions to the TU campus are included below. Visitor parking of the library that you wish to visit Petroleum Abstracts and they will contact us to direct you to our office
Abstracts | U.S. DOE Office of Science (SC)
Office of Science (SC) Website
Abstracts Abstracts Chemical Sciences, Geosciences, & Biosciences (CSGB) Division CSGB Home About Research Areas Scientific Highlights Reports & Activities Principal Investigators' Meetings BES Home Third DOE BES Separations Research Workshop Abstracts Print Text Size: A A A RSS Feeds FeedbackShare Page Third DOE/BES Separations Research Workshop Presentation Abstracts Last Modified May 18, 1999 High Pressure and High Temperature Spectroscopic Studies of Supercritical Fluid Solutions Clement R. Yonker Understanding on a molecular level the intermolecular interactions underlying separations and extractions in supercritical fluids is important to extend these useful solvents to new separation technologies and chemical synthesis in addition to providing a basis for improving existing
Selected Translated Abstracts of Chinese-Language Climate Change Publications
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.
Cushman, R.M.; Burtis, M.D.
24th Annual Anomalous Absorption Conference. Book of abstracts
This report contains abstracts on topics in the following areas: parametric instabilities; hohlraum physics; laser plasma physics with short pulses; and rayleigh-taylor instability and hydrodynamics.
2nd Annual DOE-ERSP PI Meeting: Abstracts
dissolution process. Abstracts Development of Modeling Methodsdissolution, ion exchange, and surface complexation. These latter reac- tions are incorporated into the LB method
Hazen, Terry C.
Abstract - The ICSI Notary: Lessons and Insights from a Large ...
Abstract title: The ICSI Notary: Lessons and Insights from a Large ... ongoing live measurement effort aimed at understanding the global SSL/TLS ...
Poster Abstract of Eighteenth ARM STM: Sort by Title
Z., Marchand, R., and Ackerman, T. A Comparison of Water Uptake by Aerosols Using Two Thermodynamic Models ABSTRACT, POSTER Xu, L. and Penner, J. ACRF Data Acquisition and...
Numerical Simulation of Inertia Welding of Inconel 718 (Abstract)
Edison Joining Technology Centre, 1250 Arthur E. Adams Drive,. Columbus, OH 43221. Abstract. This paper presents the results of numerical simulations and�...
7th international symposium on photosynthetic prokaryotes. Abstracts
This book contains the abstracts of all the presentations made either in oral or poster form, at the VII International Symposium on Photosynthetic Prokaryotes.
Fuller, R.C.
Materials for Nuclear Power: Digital Resource Center - ABSTRACT ...
Jun 27, 2007 ... Topic Title: ABSTRACT: Radiation Damage and Alteration of Zircon from a 3.3 Ga Porphyritic Granite Topic Summary: J. Valley, et. al.,�...
Poster Abstract of Nineteenth ARM STM: Sort by Title
POSTER Ayers, J., Minnis, P., Palikonda, R., Yost, C., Spangenberg, D., Chang, F., and Nguyen, L. Computing Precipitation Rates in Assumed-PDF Cloud Schemes ABSTRACT Pincus, R.,...
[Abstracts from US Department of Energy contractors` meeting
A series of abstracts is given on the subjects of theory for multiply charged ions and low- and high-energy collisions involving multiply charged ions. 23 refs.
Richard, P.
National Renewable Energy Report for SWERA: Ghana (Abstract...
Renewable Energy Report for SWERA: Ghana (Abstract):��The National Renewable Energy Report describes the energy situation in Ghana and identifies solar and wind...
Molecular biology of signal transduction in plants. Abstracts
This volume contains abstracts of oral presentations and poster sessions of the 1991 Cold Springs Harbor Meeting entitled Molecular Biology of Signal Transduction in Plants.
Microsoft Word - Poster Abstract_2010_Montana State U.doc
th Annual SECA Workshop Poster Session ABSTRACT Surface Charge Redistribution in SOFC Materials Y. U. Idzerda , M. Finsterbusch, and A. Lussier Physics Department, Montana State...
NIST Paper Submission Abstract _CT-Google _DRAFT _Feb 6 ...
DigiCert-Google Abstract � Certificate Transparency Submitted for NIST Workshop to be held April 10-11, 2013 Submitted � February 15, 2013 ...
Hanford Personnel Dosimeter supporting studies FY-1980. [Lead abstract
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)
Endres, G.W.R.; Cummings, F.M.; Aldrich, J.M.; Thorson, M.R.; Kathren, R.L.
CHI '06 Extended Abstracts on Human Factors in Computing Systems
Welcome to the CHI 2006 Extended Abstracts. We hope that you will enjoy this year's extended abstracts and the changes that we have made. For the first time this year, we encouraged submissions from six different sub-communities of the human-computer ...
Gary Olson; Robin Jeffries
PTask: operating system abstractions to manage GPUs as compute devices
We propose a new set of OS abstractions to support GPUs and other accelerator devices as first class computing resources. These new abstractions, collectively called the PTask API, support a dataflow programming model. Because a PTask graph consists ... Keywords: GPGPU, GPUs, OS design, accelerators, dataflow, gestural interface, operating systems
Christopher J. Rossbach; Jon Currey; Mark Silberstein; Baishakhi Ray; Emmett Witchel
Interactive watercolor rendering with temporal coherence and abstraction
This paper presents an interactive watercolor rendering technique that recreates the specific visual effects of lavis watercolor. Our method allows the user to easily process images and 3d models and is organized in two steps: an abstraction step that ... Keywords: abstraction, non-photorealistic rendering, temporal coherence, watercolor
Adrien Bousseau; Matt Kaplan; Jo�lle Thollot; Fran�ois X. Sillion
Geothermal environmental projects publication list with abstracts 1975-1978
This report contains 119 abstracts of publication resulting from or closely related to geothermal environmental projects conducted by the Environmental Sciences Division at Lawrence Livermore Laboratory. Publications are listed chronologically from 1975 through 1978. The main entries are numbered sequentially, and include the full citation, an abstract, and selected keywords. This section is followed by an author index, and a keyword index.
Ricker, Y.E.; Anspaugh, L.R.
Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
Abstract interpretation of PROLOG programs has attracted many researchers in recent years, partly because of the potential for optimization in PROLOG compilers and partly because of the declarative nature of logic programming languages that make them ... Keywords: PROLOG, abstract interpretation, fixpoint algorithm
Baudouin Le Charlier; Pascal Van Hentenryck
Property:File/Description | Open Energy Information
Description Description Jump to: navigation, search Property Name File/Description Property Type Text Description Description of the file's contents/purpose. Pages using the property "File/Description" Showing 25 pages using this property. (previous 25) (next 25) A Australia-Solar-Map.png + Average Daily Solar Exposure: Australia B BOEMRE OCS.oil.gas.2007-12.map.pdf + Outer Continental Shelf (OCS) Oil & Gas Leasing Program 2007 - 2012 BOEMRE US.CSB.Map.pdf + US Continental Shelf Boundary (CSB) Areas BOEMRE US.CSB.bathy.map.pdf + Outer Continental Shelf (OCS) Boundary Areas, in color BOEMRE atlantic.OCS.multiple.use.map.2003.pdf + Multiple Uses of the Atlantic Outer Continental Shelf BOEMRE lease.platforms.santa.barb.map.5.2010.pdf + Federal Leases in Pacific Ocean, near Santa Maria Basin
Poster Abstract of Seventeenth ARM STM: Sort by Title
7 Science Team Meeting 7 Science Team Meeting 2007 Proceedings Proceedings Sorted by Title Proceedings Sorted by Author Proceedings Sorted by Category Cover image Poster Abstract of the Seventeenth Atmospheric Radiation Measurement (ARM) Science Team Meeting ARM-CONF-2007, March 2007 Monterey, California View poster abstract by Author or Category or Title. 10 Years of External Data ABSTRACT, POSTER Ma, L., Wagener, R., Gregory, L., Liang, M., Tilp, A., and Cialella, A. A Comparison of Broad-band Fluxes at the Main and Auxiliary AMF Sites During the RADAGAST Campaign. ABSTRACT, POSTER Settle, J. A Comparison of Cloud Radar Profiles of Cloud Occurrence with MMF Simulated Radar Profiles as a Function of the Large-Scale Atmospheric State ABSTRACT, POSTER Marchand, R., Beagley, N., and Ackerman, T.
Cryptographic Scalability Challenges in the Smart Grid (Extended Abstract)
presents a novel architecture called the Meta- Grid based on Grid computing concepts for resource provi (a) the overall architecture of the MetaGrid with a description of the different functional and communication resources. The resource provision- ing architecture presented in this paper, called the Meta- Grid
Smith, Sean W.
Business Case Slide 12: High-Volume: Casks - Description
Casks - Description Previous Slide Next Slide Table of Contents High-Volume: Casks - Description Description Use DUO2 to enhance the shielding efficiency in spent fuel casks for...
Property:WellFieldDescription | Open Energy Information
Jump to: navigation, search Property Name WellFieldDescription Property Type String Description A description of the well field in the geothermal area This is a property...
Microsoft Word - 564M_Biomass_Project Descriptions FINAL 120409...
564MBiomassProject Descriptions FINAL 120409 Microsoft Word - 564MBiomassProject Descriptions FINAL 120409 Microsoft Word - 564MBiomassProject Descriptions FINAL 120409 More...
POSTER DESCRIPTION: Poster Title: "Distributed Electric Power...
DESCRIPTION: Poster Title: "Distributed Electric Power from Bio-based and Fossil Fuels" Entity: Technology Management, Inc. 9718 Lake Shore Blvd., Cleveland, Ohio 44108 Author(s):...
Machinist Pipeline/Apprentice Program Program Description
Machinist PipelineApprentice Program Program Description The Machinist Pipeline Program was created by the Prototype Fabrication Division to fill a critical need for skilled...
Property:Wavemaking Description | Open Energy Information
Description Description Jump to: navigation, search Property Name Wavemaking Description Property Type Text Pages using the property "Wavemaking Description" Showing 25 pages using this property. (previous 25) (next 25) A Alden Large Flume + Wave generators not yet designed Alden Small Flume + Period adjustable electronically, height adjustable mechanically Alden Wave Basin + Period adjustable electronically, height adjustable mechanically C Carderock Maneuvering & Seakeeping Basin + Irregular waves with a spectrum resembling typical ocean wave patterns with appropriate scale reductions. Carderock Tow Tank 2 + Irregular waves with a spectrum resembling typical ocean wave patterns with appropriate scale reductions Carderock Tow Tank 3 + Irregular waves with a spectrum resembling typical ocean wave patterns with appropriate scale reductions.
Emplacement Drift System Description Document
The Emplacement Drift System is part of the Engineered Barrier System and provides the interface between the various waste package (WP) systems and the Ground Control System. In conjunction with the various WPs, the Emplacement Drift System limits the release and transport of radionuclides from the WP to the Natural Barrier following waste emplacement. Collectively, the Emplacement Drift System consists of the structural support hardware (emplacement drift invert and WP emplacement pallet) and any performance-enhancing barriers (drip shields and invert ballast) installed or placed in the emplacement drifts. The Emplacement Drift System is entirely located within the emplacement drifts in the subsurface portion of the Monitored Geologic Repository (MGR); specifically, it is physically bounded by the Subsurface Facility System, the Ground Support System, and the Natural Barrier. The Emplacement Drift System supports the key MGR functions of limiting radionuclide release to the Natural Barrier, minimizing the likelihood of a criticality external to the WPs, limiting natural and induced environmental effects, and providing WP support. The Emplacement Drift System limits radionuclide release to the Natural Barrier by controlling the movement of radionuclides within the emplacement drift and to the Natural Barrier, and by limiting water contact with the WPs. The Emplacement Drift System provides physical support and barriers for emplaced WPs that reduce water contact. The Emplacement Drift WP spacing supports the thermal loading performance by complimenting drift layout and orientation as described in the system description document for the Subsurface Facility System. The Emplacement Drift System supports the WP and also provides an environment that aids in enhancing WP confinement performance. As part of the Engineered Barrier System, the Emplacement Drift System interfaces with the WP systems. The Emplacement Drift System also interfaces with the Natural Barrier, Subsurface Facility System, and Ground Control System for the space and location of emplaced WPs, for the controlled release of radionuclides, and for controlling the heat, chemical, and physical effects that interact between these systems. The Emplacement Drift System interfaces with the Subsurface Ventilation System for preclosure heat removal from WPs. The Emplacement Drift System interfaces with the Waste Emplacement/Retrieval System and the Performance Confirmation Emplacement Drift Monitoring System for equipment clearance for the emplacement, retrieval, and monitoring of waste.
Eric Loros
Classes: an abstract data type facility for the C language
Language constructs for definition and use of abstract data types ease the design and maintenance of large programs. This paper describes the C class concept, an extension to the C language providing such constructs. A class is defined ...
Bjarne Stroustrup
Small Business Innovation Research. Abstracts of Phase I awards, 1999
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.
S. Advances in Cloud Satellite Remote Sensing for ARM ABSTRACT, POSTER Minnis, P., Nguyen, L., Chang, F., Palikonda, R., Khaiyer, M., Trepte, Q., Yost, C., Smith, W., Sun-Mack,...
International congress on DNA damage and repair: Book of abstracts
This document contains the abstracts of 105 papers presented at the Congress. Topics covered include the Escherichia coli nucleotide excision repair system, DNA repair in malignant transformations, defective DNA repair, and gene regulation. (TEM)
Earth Sciences Division annual report 1981. [Lead abstract
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)
Compile-time Derivation of Variable Dependency Using Abstract Interpretation
Traditional schemes for abstract interpretation-based global analysis of logic programs generally focus on obtaining procedure argument mode and type information. Variable sharing information is often given only the attention needed to preserve the correctness of the analysis. However, such sharing information can be very useful. In particular, it can be used for predicting runtime goal independence, which can eliminate costly run-time checks in and-parallel execution. In this paper, a new algorithm for doing abstract interpretation in logic programs is described which concentrates on inferring the dependencies of the terms bound to program variables with increased precision and at all points in the execution of the program, rather than just at a procedure level. Algorithms are presented for computing abstract entry and success substitutions which extensively domain independent fixpoint algorithm is presented and described in detail. The algorithms are illustrated with examples. Finally, results from an implementation of the abstract interpreter are presented. 1
K. Muthukumar; M. Hermenegildo
ADAPT: abstraction hierarchies to better simulate teamwork under dynamics
In this paper we present a lightweight teamwork implementation by using abstraction hierarchies. The basis of this implementation is ADAPT, which supports Autonomous Dynamic Agent Planning for Teamwork. ADAPT's novelty ...
Meirav Hadad; Avi Rosenfeld
SERS internship Fall 1992--Spring 1993: Abstract and research papers
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.
FREE FILM SCREENING AND DISCUSSION Abstract from Jezebel Productions
FREE FILM SCREENING AND DISCUSSION Abstract from Jezebel Productions: "No Dinosaurs in Heaven charge: free and open to the public. THURSDAY OCTOBER 27, 2011 7:00 PM Mackey Auditorium Ruby Gerontology
de Lijser, Peter
CHI '05 Extended Abstracts on Human Factors in Computing Systems
On behalf of the Technical Program Committee, welcome to the CHI 2005 conference DVD! The Extended Abstracts portion of this disc includes submissions from all conference venues except Papers (which you can find in the Conference Proceedings section). ...
Gerrit van der Veer; Carolyn Gale
Property Checking Driven Abstract Interpretation-Based Static Analysis
Concrete semantics used for abstract interpretation analyses are generally expressed as fixpoints. Checking a property on this kind of semantics can be done by intersecting the fixpoint with a specification related to the property. In this paper, we ...
Damien Mass�
A Few Graph-Based Relational Numerical Abstract Domains
This article presents the systematic design of a class of relational numerical abstract domains from non-relational ones. Constructed domains represent sets of invariants of the form (vj - vi � C), where vj ...
Antoine Min�
Extending soft sets with description logics
Molodtsov initiated the concept of soft set theory, which can be used as a generic mathematical tool for dealing with uncertainty. Description Logics (DLs) are a family of knowledge representation languages which can be used to represent the terminological ... Keywords: Description logics, Extended soft sets, Soft sets, Terminology
Yuncheng Jiang; Yong Tang; Qimai Chen; Ju Wang; Suqin Tang
Abstracts and research accomplishments of university coal research projects
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.
Fifth international fungus spore conference. [Abstracts]: Final technical report
This folio contains the proceedings of the Fifth International Fungal Spore Conference held August 17-21, 1991 at the Unicoi State Park at Helen, Georgia. The volume contains abstracts of each oral presentation as well as a collection of abstracts describing the poster sessions. Presentations were organized around the themes (1) Induction of Sporulation, (2) Nuclear Division, (3) Spore Formation, (4) Spore Release and Dispersal, and (4) Spore Germination.
Timberlake, W.E.
ARM - Publications: Science Team Meeting Documents: Abstracts sorted by
Meeting Meeting 2005 Proceedings Proceedings Sorted by Title Proceedings Sorted by Author Science Team Meeting Proceedings Cover image Proceedings of the Fifteenth Atmospheric Radiation Measurement (ARM) Science Team Meeting ARM-CONF-2005, March 2005 Daytona Beach, Florida For proper viewing, extended abstracts should be viewed with Adobe Acrobat Reader. Download the latest version from the Adobe Reader website. * Poster abstract only; an extended abstract was not provided by the author(s). View session papers by Author or Title. A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Abdou, W. Determination of Aerosol and Surface Reflectance Characteristics at the ARM CART Site Using MISR Observations* Ackerman, A. Factors Controlling the Properties of Multi-Phase Arctic
Low Dose Radiation Program: Workshops, Proceedings, Abstracts and Programs
Workshops, Proceedings, Abstracts and Programs Workshops, Proceedings, Abstracts and Programs UPDATE: Investigators' Workshop Postponed The annual Low Dose Radiation Research Program Investigators' Workshop typically held in April or May has been postponed until next year. Please keep checking the website for updates. 2010 The 2010 DOE Low Dose Radiation Research Investigators' Workshop was held April 12-14, 2010, at the Renaissance M Street Hotel in Washington, D.C. In addition to 34 plenary talks and more than 70 poster presentations made by the program investigators, participants heard guest speakers from the National Cancer Institute and from sister low-dose programs in Europe and Japan. See link for investigators' abstracts. 2009 The DOE Low Dose Radiation Research Investigators' Workshop VIII was held
PARS II Course Descriptions | Department of Energy
Descriptions Descriptions PARS II Course Descriptions Sign up for PARS 102 or PARS 103, depending on your project assessment role and function. PARS 104 will be offered to site contractors as part of Dekker's Contractor deployment training. # Course Name Course Description Intended Audience PARS 102 Monthly Updating and Reporting Duration: 4 hrs Introduction to PARS II, finding and selecting projects in your domain, viewing Oversight and Assessment (OA) data, viewing Contractor Project Performance (CPP) dashboards, updating your monthly status assessment, adding attachments, and running standard, pre-built reports. Individuals who do not require monthly update training will be excused approximately one half hour early. FPD and Program staff who update the OA Monthly Status, but not other OA data.
Individual Reuse in Description Logic Reasoning
Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowledge bases (KBs), mainly because they end up building very large models. To address ...
Boris Motik; Ian Horrocks
Concise descriptions of subsets of structured sets
We study the problem of economical representation of subsets of structured sets, that is, sets equipped with a set cover. Given a structured set U, and a language L whose expressions define subsets of U, the problem of Minimum Description ...
Alberto O. Mendelzon; Ken Q. Pu
Multimedia Semantic Features and Image Content Description
Content-based indexing and retrieval of images and video requires a proper semantic description for image content. This paper discusses the mapping of high-level, application-specific, features to the visual primitives that are accessible through image ...
M. Cavazza; R. J. Green; I. J. Palmer
Qualitatitive description : light in the urban environment
The quality of our built environment is difficult to describe and to regulate; using light as an example, this thesis develops a descriptive framework using elementary, dynamic and connective forms. The combination of these ...
Stuebing, Susan
VEHICLE DETAILS, BATTERY DESCRIPTION AND SPECIFICATIONS Vehicle...
Page 1 VEHICLE DETAILS, BATTERY DESCRIPTION AND SPECIFICATIONS Vehicle Details Base Vehicle: 2011 Nissan Leaf VIN: JN1AZ0CP5BT000356 Propulsion System: BEV Electric Machine: 80 kW...
This document establishes requirements for Emergency Response Organization Training. This program description applies to all Project Hanford Management Contract (PHMC) contractor and subcontractor employees who are identified to fulfill Hanford Site Emergency Response Organization (ERO) positions.
Multiple-description multistage vector quantization
Multistage vector quantization (MSVQ) is a technique for low complexity implementation of high-dimensional quantizers, which has found applications within speech, audio, and image coding. In this paper, a multiple-description MSVQ (MD-MSVQ) targeted ...
Pradeepa Yahampath
CALIPSO Lidar Description and Performance Assessment
This paper provides background material for a collection of Cloud�Aerosol Lidar with Orthogonal Polarization (CALIOP) algorithm papers that are to be published in the Journal of Atmospheric and Oceanic Technology. It provides a brief description ...
William H. Hunt; David M. Winker; Mark A. Vaughan; Kathleen A. Powell; Patricia L. Lucker; Carl Weimer
Abstract Title: "The Regional Sales Tax: An Innovative Approach to
Abstract Title: "The Regional Sales Tax: An Innovative Approach to State Transportation Finance and decreased federal transportation funding, alternative funding sources for transportation investment have become crucial to the provision of future infrastructure and the overall economic viability of the United
Wang, Yuhang
Environment, First-Order Abstraction in Multiagent Systems
Current practice in multiagent systems typically associates the environment with resources external to the agents and infrastructure for communication. Advanced uses of the environment are infrastructures for indirect coordination such as digital pheromones, or support for governed interaction as in electronic institutions. Yet, in general, the notion of environment is not well defined. Functionalities of the environment are often dealt with implicitly, or in an ad-hoc manner. This is not only poor engineering practice, it also hinders engineers to exploit the full potential of the environment in multiagent systems. In this paper, we put forward the environment as an explicit part of multiagent systems. We give a definition of the environment that states that the environment is a first-order abstraction in multiagent systems with a dual role: (1) the environment provides the surrounding conditions for agents to exists, which implies that the environment is an essential part of every multiagent system, and (2) the environment provides an exploitable design abstraction to build multiagent system applications. We discuss responsibilities of the environment in multiagent systems and we present a reference model for the environment that can serve as a basis for environment engineering. To illustrate the power of the environment as design abstraction, we show how the environment is successfully exploited in a real world application. Considering the environment as a first-order abstraction in multiagent systems opens up new horizons for research and development in multiagent systems. 1.
Danny Weyns; Andrea Omicini; James Odell
Enabledness-based program abstractions for behavior validation
Code artifacts that have nontrivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. This work addresses the problem ... Keywords: Source-code validation, enabledness abstractions
Guido De Caso; Victor Braberman; Diego Garbervetsky; Sebastian Uchitel
National conference on environmental remediation science and technology: Abstracts
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.
Towards an Abstraction for Remote Evaluation in Erlang
as parameters as well. 4. Considerations for Proposed Solutions Although solutions for handling remote spawning codebases are handled, a remote node may also require that certain code dependencies use the local versionTowards an Abstraction for Remote Evaluation in Erlang Adrian Francalanza CS, ICT, University
Francalanza, Adrian
A high-level abstraction of shared accesses
We describe the design and use of the tape mechanism, a new high-level abstraction of accesses to shared data for software DSMs. Tapes consolidate and generalize a number of recent protocol optimizations, including update-based locks ... Keywords: DSM, programming libraries, shared memory, update protocols
Peter J. Keleher
Nanotube Boiler 1 Abstract--Controlled copper evaporation at attogram
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
Paris-Sud XI, Université de
Nineteenth annual actinide separations conference: Conference program and abstracts
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.
Bronson, M. [ed.
Human Genome Program Report. Part 2, 1996 Research Abstracts
DOE R&D Accomplishments (OSTI)
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.
MEETING ABSTRACT Open Access Predominant role of Tax sumoylation in
MEETING ABSTRACT Open Access Predominant role of Tax sumoylation in Tax-induced NF-kB activation of the NF-kB pathway, a property that is required for HTLV-1-induced T cell immortalization. Tax activates the NF-kB pathway by acting both at cytoplasmic and nuclear levels. In the cytoplasm, Tax binds
ABSTRACT RENDERINGS OF DIFFERENT TIMES AND DAYS ADVANCED FENESTRATION BTDF REDIRECTING DAYLIGHT-directional Videogoniophotometer for Advanced Fenestration Systems. PhD thesis, Swiss Federal Institute of Technology (EPFL), 2004 on a standard PC. Using the standard CIE Sky Model [5], the system can render qualitatively accurate images
Linhardt, Robert J.
Towards an optimized abstracted topology design in cloud environment
The rapid development and diversification of Cloud services occurs in a very competitive environment. The number of actors providing Infrastructure as a Service (IaaS) remains limited, while the number of PaaS (Platform as a Service) and SaaS (Software ... Keywords: Cloud computing, Distributed storage, Heuristic, Integer linear programming, Resource virtualization, Scheduled traffic, Service provisioning, Topology abstraction
Rosy Aoun; Chinwe E. Abosi; Elias A. Doumith; Reza Nejabati; Maurice Gagnaire; Dimitra Simeonidou
Human genome program report. Part 2, 1996 research abstracts
Student Research Abstract: Trustworthy Remote Entities in the Smart Grid
Student Research Abstract: Trustworthy Remote Entities in the Smart Grid Andrew J. Paverd to enhance user privacy by introducing a novel element into the smart grid architecture. The Trustworthy a group of smart meters and the external smart grid entities. The TRE enhances user privacy by providing
Oxford, University of
Geosensor Data Abstraction for Environmental Monitoring Application1
sensor data types and for providing derived and often integrated information. To effectively handle integrated grid layers. Within each cell, a slope vector is used to represents the trend of the observed. To handle dynamic sensor data, the proposed abstraction model also supports rapid data update by using
Nittel, Silvia
Microsoft Word - BPA DEIS TOC Abstract Summary.doc
Draft Environmental Impact Statement Draft Environmental Impact Statement July 2010 DOE/EIS-0422 Central Ferry-Lower Monumental 500-kilovolt Transmission Line Project Draft Environmental Impact Statement Bonneville Power Administration July 2010 Abstract DEIS i Central Ferry - Lower Monumental 500-kilovolt Transmission Line Project Responsible Agency: U.S. Department of Energy (DOE), Bonneville Power Administration (BPA) Cooperating Agency: Washington Energy Facility Site Evaluation Council (EFSEC) Title of Proposed Project: Central Ferry-Lower Monumental 500-kilovolt Transmission Line Project, DOE/EIS - 0422 State Involved: Washington Abstract: BPA is proposing to construct, operate, and maintain a 38- to 40-mile-long 500-kilovolt (kV) transmission line in Garfield, Columbia, and Walla Walla counties, Washington. The proposed line would
AbstractProduction of two types of superconducting
68271-AB 68271-AB Abstract submitted to the 17 th International Conf. on Magnet Technology, Geneva, Sept. 24-28, 2001 Test Results for Prototypes of the Twin Aperture Dipoles for the LHC Insertion Region* J. Muratore, M. Anerella, J. Cozzolino, G. Ganetis, A. Ghosh, R. Gupta, M. Harrison, A. Jain, A. Marone, S. Plate, J. Schmalzle, R. Thomas, P. Wanderer, E. Willen and K.C. Wu Brookhaven National Laboratory, P.O. Box 5000, Upton, NY 11973-5000 Abstract-The Superconducting Magnet Division at Brookhaven National Laboratory (BNL) is building 26 insertion region dipoles of various types for the Large Hadron Collider (LHC) at CERN. These 9.45 m-long, 8 cm aperture magnets use the same coil design as the arc dipoles for the Relativistic Heavy Ion Collider (RHIC) at BNL. The
Abstract and research accomplishments of University Coal Research Projects
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.
Determination of variable dependence information through abstract interpretation
Traditional schemes for abstract interpretation-based global analysis of logic programs generally focus on obtaining procedure argument mode and type information. Variable sharing information is often given only the attention needed to preserve the correctness of the analysis. However, such sharing information can be very useful. In particular, it can be used for predicting run-time goal independence, which can eliminate costly run-time checks in interpretation in logic programs is described which infers the dependencies of the terms bound to program variables with increased precision and at all points in the execution of the program, rather than just at a procedure level. Algorithms are presented for computing abstract entry and success substitutions which extensively keep track of variable aliasing and term dependence information. The algorithms are illustrated with examples. 1
Rethinking Abstractions for Big Data: Why, Where, How, and What
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.
Mary Hall; Robert M. Kirby; Feifei Li; Miriah Meyer; Valerio Pascucci; Jeff M. Phillips; Rob Ricci; Jacobus Van der Merwe; Suresh Venkatasubramanian
Microsoft Word - Poster Abstract_2010_Case Western.doc
Title: Title: Mn valence in lanthanum strontium manganite determined by x-ray photoelectron spectroscopy and electron energy loss spectroscopy Entities: Rolls-Royce Fuel Cell Systems (US) Inc., North Canton, Ohio 44720; and Department of Materials Science and Engineering, Case Western Reserve University, Cleveland, Ohio 44106 Author(s): Shao-Ju Shih, Reza Sharghi-Moshtaghin, Mark R. DeGuire, Richard Goettler, Zhien Liu, Shung- Ik Lee, and Arthur H. Heuer E-mail address and phone number: firstname.lastname@example.com 216-368-4221 Brief description of poster contents (no more than 2 paragraphs): Lanthanum strontium manganite (La1-xSrxMnO3-y) (LSM) is widely used as the cathode in solid oxide fuel cells because of its long-term stability and good performance when operated at
Microsoft Word - Poster Abstract_2010_MSRI-SBRI.docx
Enhanced Tolerance to Coal Contaminants Enhanced Tolerance to Coal Contaminants Materials & Systems Research, Inc. (MSRI) 5395 W 700 S, Salt Lake City, UT 84104 Joonho Koh firstname.lastname@example.com / 801-530-4987 ext.18 (Brief description of poster contents) While a complete replacement of the current nickel and zirconia cermet anode is neither practically beneficial nor technically feasible for many reasons, some modification on the current anode may enhance resistance to the key coal contaminants. Slightly modified cermet anodes are being developed at MSRI for the purpose of demonstrating electrochemical performance as well as tolerance to coal contaminants. In the small business innovation research Phase-I, we showed that the current state-of-the-art cells have significant tolerance to hydrogen sulfide. We also
The purpose of this system description document (SDD) is to establish requirements that drive the design of the surface industrial heating, ventilation, and air-conditioning (HVAC) system and its bases to allow the design effort to proceed to license application. This SDD will be revised at strategic points as the design matures. This SDD identifies the requirements and describes the system design, as it currently exists, with emphasis on attributes of the design provided to meet the requirements. This SDD is an engineering tool for design control; accordingly, the primary audience and users are design engineers. This SDD is part of an iterative design process. It leads the design process with regard to the flowdown of upper tier requirements onto the system. Knowledge of these requirements is essential to performing the design process. The SDD follows the design with regard to the description of the system. The description that provided in this SDD reflects the current results of the design process.
M.M. Ansari
Business Case Slide 29: High-Value: Energy Uses - Description
Uses - Description Previous Slide Next Slide Table of Contents High-Value: Energy Uses - Description Description Use DUO2 as the core component of advanced energy systems Fuel cell...
A survey of temporal extensions of description logics
This paper surveys the temporal extensions of description logics appearearing in the literature. The analysis considers a large spectrum of approaches appearearing in the temporal description logics area: from the loosely coupled approaches � which ... Keywords: description logics, temporal logics
Alessandro Artale; Enrico Franconi
Small Business Innovation Research: Abstracts of Phase 1 awards, 1994
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.
Microsoft Word - HQ ISM System Description Final
National Nuclear Security Administration (NNSA)
NA-1 SD 450.4-1 NA-1 SD 450.4-1 Approved: 10-23-07 National Nuclear Security Administration Headquarters Integrated Safety Management System Description This NNSA Headquarters Integrated Safety Management System Description describes the NNSA Headquarters role in establishing expectations and accomplishing work in a safe and environmentally sound manner to successfully execute the NNSA mission and strategic goals. NNSA senior managers strongly support and are personally committed to implementation of the policy and principles of Integrated Safety Management. Approved: &? .> ,& o & k Thomas P. D7Ago, tino Administrator h Table of Contents EXECUTIVE SUMMARY .............................................................................................................
Void fraction system computer software design description
This document describes the software that controls the void fraction instrument. The format of the document may differ from typical Software Design Reports because it was created with a graphical programming language. Hardware is described in Section 2. The purpose of this document is describe the software, so the hardware description is brief. Software is described in Section 3. LabVIEW was used to develop the viscometer software, so Section 3 begins with an introduction to LabVIEW. This is followed by a description of the main program. Finally each Westinghouse developed subVI (sub program) is discussed.
Gimera, M.
Third conference on radiation protection and dosimetry. Program and abstracts
This conference has been designed with the objectives of promoting communication among applied, research, regulatory, and standards personnel involved in radiation protection and providing them with sufficient information to evaluate their programs. To partly fulfill these objectives, a technical program consisting of more than 75 invited and contributed oral presentations encompassing all aspects of radiation protection has been prepared. General topics include external dosimetry, internal dosimetry, instruments, regulations and standards, accreditation and test programs, research advances, and applied program experience. This publication provides a summary of the technical program and a collection of abstracts of the oral presentations.
Abstracted publications related to the Hanford environment, 1980 to 1988
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.
Becker, C.D.; Gray, R.H.
Microsoft Word - 338M_Geothermal_Project_Descriptions | Department...
Marketing Administration Other Agencies You are here Home Microsoft Word - 338MGeothermalProjectDescriptions Microsoft Word - 338MGeothermalProjectDescriptions Microsoft...
Business Case Slide 6: High-Volume: Repository - Description
Volume: Repository - Description Description of potential uses Structural component of cask (basket, wall) as a cermet Cermet: DUO2 particles embedded in steel matrix Fill material...
Business Case Slide 22: High-Value: Catalysts - Description
Catalysts - Description Graduate student examining candidate DU-bearing catalyst Graduate student examining candidate DU-bearing catalyst Description Use DUO2 to catalyze chemical...
The hydrogen atom abstraction reaction is an important fundamental process that is extensively involved in atmospheric and combustion chemistry. The practical significance of this type of reaction with polyatomic hydrocarbons is manifest, which has led to many kinetics studies. The detailed understanding of these reactions requires corresponding dynamics studies. However, in comparison to the A + HX {radical} AH + X reactions, the study of the dynamics of A + HR {yields} AH + R reactions is much more difficult, both experimentally and theoretically (here and in the following, A stands for an atom, X stands for a halogen atom, and R stands for a polyatomic hydrocarbon radical). The complication stems from the structured R, in contrast to the structureless X. First of all, there are many internal degrees of freedom in R that can participate in the reaction. In addition, there are different carbon sites from which an H atom can be abstracted, and the dynamics are correspondingly different; there are also multiple identical carbon sites in HR and in the picture of a local reaction, there exist competitions between neighboring H atoms, and so on. Despite this complexity, there have been continuing efforts to obtain insight into the dynamics of these reactions. In this chapter, some examples are presented, including the reactions of ground state H, Cl, and O atoms, with particular focus on our recent work using imaging to obtain the differential cross sections for these reactions.
Course descriptions Center for Energy Commerce
., Unconventional Petroleum Resources in California, California Division of Oil and Gas, 1982 Minerals ManagementSPE -120174-PP The Future of California's Oil Supply Gregory D. Croft, University of California. The abstract must contain conspicuous acknowledgment of SPE copyright. Abstract Once an oil exporter
Westfall, Peter H.
Three-Dimensional Descriptions Based on the Analysis of the Invariant and Quasi-Invariant Properties of Some Curved-Axis Generalized Cylinders
Abstract�We address the recovery of object-level 3-D descriptions of some classes of curved-axis generalized cylinders. For this, the first part of the paper analyzes the projective properties of two common generic shapes, planar right constant generalized ... Keywords: Shape description, generalized cylinders, invariants, quasi-invariants, segmentation, grouping.
Mourad Zerroug; Ramakant Nevatia
Property:Technology Description | Open Energy Information
Description Description Jump to: navigation, search Property Name Technology Description Property Type Text Pages using the property "Technology Description" Showing 25 pages using this property. (previous 25) (next 25) M MHK Technologies/14 MW OTECPOWER + MINIMIZE SURFACE ACTIVITIES TO REDUCE THE CAPITAL COST AND TO IMPROVE EFFICIENCY ALTERNATE WORKING FLUIDS ARE USED FOR ENHANCED POWER EFFICIENCY IN OPTEC POWER HYBRID CYCLES ARE USED TO IMPROVE POWER AND NEED WITH SUBSEA HEAT EXCHANGERS ADVANCED SUPPORTING VESSEL CONCEPT AND FREE STANDING RISER TECHNOLOGIES TO WITH STAND HARSH OCEAN ENVIRONMENT IN DEEPWATER HAD BEEN DEVELOPED FOR THIS OPTEC POWER IT IS THE ONLY RELIABLE AND PROFITABLE RENEWABLE ENERGY SOURCE FOR THE NEED OF WORLD ENERGY FOR THE NEXT DECADE DESALINATION AND HDROGEN PRODUCTION ARE LINKED TO THE POWER GENERATION OF THE OTEC POWER FOR SEVERAL BY PRODUCTS COST EFFECTIVE PRODUCTION CLEAN ENERGY AND CLEAN WATER IS THE GOAL OF OTECPOWER INC OUR 14 MW OTEC POWER COSTS 50 MILLION USD ALL EQUIPMENT HAD BEEN DESINGED AND A FEW OF THEM ARE TESTED FOR OIL AND GAS INDUSTRY APPLICATION WHICHA RE BEING USED FOR OTECPOWER A RELIABLE AND FEASIBLE OTECPOWER IS PROPOSED
Description of master thesis Robotic transportation
Description of master thesis Robotic transportation Jan Holdgaard-Thomsen & Søren Markersen In hospitals a significant amount of resources is spent on transportation of goods, e.g. blood samples, medicine, food, and trash. Usually these transportation tasks are carried out by humans. A current research
Bolander, Thomas
Beth definability in expressive description logics
The Beth definability property, a well-known property from classical logic, is investigated in the context of description logics (DLs): if a general LTBox implicitly defines an L-concept in terms of a given signature, where L is a DL, then does there ...
Balder Ten Cate; Enrico Franconi; ?nan� Seylan
Dry Ice vs. Pipette Experiment Description
Dry Ice vs. Pipette Experiment Description Dry ice (solid) is put into the bulb of a pipette, plastic pipette 1 ice cube sized piece of dry ice Butter knife (or some object to break dry ice) Gloves (surgical gloves will not work, they must protect hands from dry ice) Safety glasses for demonstrator
Latent semantic description of iconic scenes
It is proposed an approach for the automatic description of scenes using a LSA�like technique. The described scenes are composed by a set of elements that can be geometric forms or iconic representation of objects. Every icon is characterized by ...
Filippo Vella; Giovanni Pilato; Giorgio Vassallo; Salvatore Gaglio
Low Dose Radiation Research Program: Research Program Workshop I Abstracts
Genetic Factors Affecting Susceptibility to Low-Dose Radiation Genetic Factors Affecting Susceptibility to Low-Dose Radiation William F. Morgan and John H.J. Petrini Radiation Oncology Research Laboratory, University of Maryland at Baltimore, Baltimore, MD Summary: The goal of our application is to improve the scientific basis for understanding potential risks to the population from low dose radiation exposure based on potential genetic differences that may modulate an individual's sensitivity to low doses of radiation. Abstract: The goal of this application is to improve the scientific basis for understanding potential risks to the population from low dose radiation exposure. We propose to address specific genetic factors that affect individual susceptibility to low dose radiation and ask the question do genetic differences exist that make some individuals more sensitive to
Microsoft Word - Poster Abstract_2010_WVU.doc
Syngas Trace Contaminants on SOFC Anode Performance Syngas Trace Contaminants on SOFC Anode Performance Ismail Celik National Institute for Fuel Cell Technology West Virginia University firstname.lastname@example.com Abstract National Institute for Fuel Cell Technology (NIFT) at West Virginia University (WVU) is a center of excellence on research related to fuel cell technology specifically and, in general, to clean power generation from coal derived fuels as well as renewable energy. The research cluster is based on a multi-scale, multi- disciplinary approach, conducted by nine faculty members in four departments at WVU including collaboration with the National Energy Technology Laboratory. NIFT members are conducting research to establish the tolerance limits of contaminant levels in the coal syngas for SOFCs and to predict the lifetime of the
Microsoft PowerPoint - aps2007-abstract.ppt
on MSE: theory S. Scott (PPPL) J. Ko, I. Hutchinson (PSFC/MIT) H. Yuh (Nova Photonics) Poster NP8.00087 49 th Annual Meeting, DPP-APS Orlando, FL November 2007 Abstract A standard calibration technique for Motional Stark Effect (MSE) diagnostics is to compare the polarization direction of Doppler-shifted Hα emission from a diagnostic neutral beam (DNB) that is fired into a gas-filled torus to the pitch angle inferred from known toroidal and vertical fields. However, the polarization direction of Hα emission from "secondary" beam neutrals that ionize, gyrate about field lines, and then charge exchange a second time differs from the polarization direction of the primary beam neutrals and thus confuses the calibration results. We compute the ratio of secondary-to-primary H emission, I
WAIVER ACTION - WAIVER ACTION - ABSTRACT REQUESTER CONTRACT SCOPE OF WORK RATIONAL FOR DECISION DISPOSITION General Motors Conduct research, development and Cost Sharing 20 percent Recommended Corporation testing of 30 KW proton-exchange- membrane (PEM) fuel cell propulsion systems 0 STATEMENT OF CONSIDERATIONS REQUEST BY GENERAL MOTORS CORPORATION FOR AN ADVANCE WAIVER OF DOMESTIC AND FOREIGN RIGHTS UNDER CONTRACT NO. DE-AC02-90CH10435, W(A)-90- 056, CH-0663 The Allison Gas Turbine Division of the General Motors Corporation (hereafter GM), a large business, has petitioned for an advance waiver of patent rights under DOE Contract No. DE-AC02- 90CH10435. The contract, yet to be definitized, resulted from an RFP issued in January 1990. As set out in the attached waiver petition, GM has requested that domestic and foreign title to
Microsoft Word - BPA PFEIS Cover Abstract.doc
Final Environmental Impact Statement Final Environmental Impact Statement February 2011 DOE/EIS-0422 Central Ferry-Lower Monumental 500-kilovolt Transmission Line Project Final Environmental Impact Statement Bonneville Power Administration February 2011 FEIS i Central Ferry - Lower Monumental 500-kilovolt Transmission Line Project Responsible Agency: U.S. Department of Energy (DOE), Bonneville Power Administration (BPA) Cooperating Agency: Washington Energy Facility Site Evaluation Council (EFSEC) Title of Proposed Project: Central Ferry-Lower Monumental 500-kilovolt Transmission Line Project, DOE/EIS - 0422 State Involved: Washington Abstract: BPA is proposing to construct, operate, and maintain a 38- to 40-mile-long 500-kilovolt (kV) transmission line in Garfield, Columbia, and Walla Walla counties, Washington. The proposed line would
Laboratory technology research: Abstracts of FY 1998 projects
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.
15. international conference on plant growth substances: Program -- Abstracts
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.
Predicting the Pipeline Behavior of Superscalar Processors by Abstract Interpretation
Interpretation Jorn Schneider , Reinhard Wilhelm Christian Ferdinand Universitat des Saarlandes AbsInt Angewandte Informatik GmbH Fachbereich Informatik Universitat des Saarlandes Postfach 15 11 50 Starterzentrum { Gebaude 45 D-66041 Saarbrucken, Germany D-66123 Saarbrucken, Germany email@example.com, firstname.lastname@example.com firstname.lastname@example.com Abstract For real time systems not only the logical function is important but also the timing behavior, e. g. hard real time systems must react inside their deadlines. To guarantee this it is necessary to know upper bounds for the worst case execution times (WCETs). The accuracy of the prediction of WCETs depends strongly on the ability to model the features of the target processor.
Schneider; Reinhard Wilhelm; Christian Ferdin; Universitat Des Saarl; Es Absint Angew; Te Informatik Gmbh
Algebraic specification and program development by stepwise refinement (Extended Abstract)
. Various formalizations of the concept of "refinement step" as used in the formal development of programs from algebraic specifications are presented and compared. 1 Introduction Algebraic specification aims to provide a formal basis to support the systematic development of correct programs from specifications by means of verified refinement steps. Obviously, a central piece of the puzzle is how best to formalize concepts like "specification", "program" and "refinement step". Answers are required that are simple, elegant and general and which enjoy useful properties, while at the same time taking proper account of the needs of practice. Here I will concentrate on the last of these concepts, but first I need to deal with the other two. For "program", I take the usual approach of algebraic specification whereby programs are modelled as many-sorted algebras consisting of a collection of sets of data values together with functions over those sets. This level of abstraction is commens...
Donald Sannella
Reasoning with rough description logics: An approximate concepts approach
The current research progress and the existing problems of uncertain or imprecise knowledge representation and reasoning in description logics are analyzed in this paper. Approximate concepts are introduced to description logics based on rough set theory, ... Keywords: Approximate concepts, Concepts, Description logics, Rough description logics, Rough set theory
Yuncheng Jiang; Ju Wang; Suqin Tang; Bao Xiao
Standard-C hydrogen monitoring system, system design description
Standard-C cabinet arrangement system design description for the Standard Hydrogen Monitoring System.
Schneider, T.C., Westinghouse Hanford
Action, Time and Space in Description Logics
{carns,slang,robl,firstname.lastname@example.com, {harms,allcock,email@example.com Abstract--Computational science/P) system at the Argonne Leadership Computing Facility (ALCF) at Argonne National Laboratory. The ALCF makes
A New Operational Model for Satellite-Derived Irradiances: Description and
A New Operational Model for Satellite-Derived Irradiances: Description and A New Operational Model for Satellite-Derived Irradiances: Description and Validation Dataset Summary Description (Abstract): We present a new simple model capable of exploiting geostationary satellite visible images for the production of site/time specific global and direct irradiances The new model features new clear sky global and direct irradiance functions, a new cloud-index-to-irradiance index function, a new global-to-direct-irradiance conversion model. The model can also exploit operationally available snow cover resource data, while deriving local ground specular reflectance characteristics from the stream of incoming satellite data. Validation against 10 US locations representing a wide range of climatic environments indicates that model performance is
Compilation, Synthesis, and Simulation of Hardware Description Languages - The Compositional Models of HDL's
Compilation, Synthesis, and Simulation of Hardware Description Languages --- The Compositional Models of HDL's by Szu-Tsung Cheng Doctor of Philosophy in Computer Science University of California, Berkeley Professor Robert K. Brayton, Chair With the advent of advanced CAD tools, people are now able to design multimillion gate chips. Generally, each of these tools has its specific view and model of the world. To represent designs in such a way that tools can understand and manipulate them, one needs to use certain languages. Hardware Description Languages (HDLs) like Verilog or VHDL are developed as description languages or simulator programming languages to describe the behavior of circuits at various abstraction levels. However, they suffer from the fact that they are based on the event-driven model, which does not match well with the Finite State Machine (FSM) model which is used by lots of synthesis, cycle-simulation, or verification engines. Therefore, one needs to maintain multi...
Szu-Tsung Cheng; Szu-tsung Cheng; Szu-tsung Cheng
Description of Energy Intensity Tables (12)
3. Description of Energy Intensity Data Tables 3. Description of Energy Intensity Data Tables There are 12 data tables used as references for this report. Specifically, these tables are categorized as tables 1 and 2 present unadjusted energy-intensity ratios for Offsite-Produced Energy and Total Inputs of Energy for 1985, 1988, 1991, and 1994; along with the percentage changes between 1985 and the three subsequent years (1988, 1991, and 1994) tables 3 and 4 present 1988, 1991, and 1994 energy-intensity ratios that have been adjusted to the mix of products shipped from manufacturing establishments in 1985 tables 5 and 6 present unadjusted energy-intensity ratios for Offsite-Produced Energy and Total Inputs of Energy for 1988, 1991, and 1994; along with the percentage changes between 1988 and the two subsequent
Abstracts of Phase 1 awards, (fiscal year) 1987
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)
Functional Description for UTWorkstation 5.0
This report, a "Functional Description" or "FD", describes improvements for the EPRI Underground Transmission Workstation (UTW) to make the programs in the workstation more useful and easier to use. The information described in this report is based on a survey and meeting of member utility advisors that provided comments on desirable features, errors ("bugs") and other changes that should be made based upon their current needs at their respective utilities. In addition to describing software changes, the...
Preserved Access to Abstract Letter Identities Despite Abolished Letter . . .
In this paper, we discuss the letter processing difficulties of a patient (MS) with pure alexia after left hemisphere stroke who is unable to read any words aloud despite preserved writing and good performance at naming orally spelled words. MS is completely unable to name visually presented letters even though she can name them when they are presented in other modalities. Despite her poor naming, she can distinguish correctly oriented letters from mirror reversals and can perform accurate cross-case matching of visually presented letters. It, therefore, appears that MS is able to access the abstract identity of visually presented letters despite her total inability to name them. This is a more precise form of letter processing impairment than that which has been reported in previous cases of pure alexic patients who are unable to name visually presented letters [Caplan, L.R., & HedleyWhite, T. (1974). Cueing and memory function in alexia without agraphia: a case report. Brain, 115, 251-262; Miozzo, M., & Caramazza, A. (1998). Varieties of pure alexia: the case of failure to access graphemic representations. Cognitive Neuropsychology, 15, 203-238; Sevush, S., & Heilman, K.M. (1984). A case of literal alexia. Brain & Language, 22, 92-108]. It suggests that representations of the graphemic identities of letters used in reading are either modality specific or else they are hemisphere specific [Saffran, E.M., & Coslett, H.B. (1998). Implicit vs. letter-by-letter reading in pure alexia: a tale of two systems. Cognitive Neuropsychology, 15, 141-165]. Her letter processing impairment also appears to be different from that observed in a letter-by-letter reader [Perri, R., Bartolomeo, P., & Silveri, M.C. (1996). Letter dyslexia in a letter-by-letter reader. Brain & Language, 53,...
R. Mycroft; J. R. Hanley B; J. Kay A
4th Annual DOE-ERSP PI Meeting: Abstracts
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.
Wind: wind power density GIS data at 50m above ground and 1km resolution
7018 7018 Varnish cache server Wind: wind power density GIS data at 50m above ground and 1km resolution for Ghana from NREL Dataset Summary Description (Abstract): Raster GIS data, exported as BIL file, 50 m wind power density for Ghana. Note: BIL files can be converted to raster data in ArcInfo using the IMAGEGRID command. (Purpose): To provide information on the wind resource potential in Ghana. Values range from 0 to 620 meters. (Supplemental Information):***** Spatial Reference Information (Beg) *****Projection ParametersCoordinate System:Projection Transverse MercatorZunits W/m2Units MetersSpheroid: WGS84ParametersScale factor at central meridian: 1.0000Longitude of central meridian: -1 0 0.0Latitude of origin: 8 0 0.0False easting: 0False northing: 0Spatial InformationRaster:Number of Columns:
Cuba from NREL Cuba from NREL Dataset Summary Description (Abstract): Raster GIS data, exported as BIL file, 50 m wind power density for Cuba. Note: BIL files can be converted to raster data in ArcInfo using the IMAGEGRID command. (Purpose): To provide information on the wind resource potential in Cuba. Values range from 0 to 547. (Supplemental Information): ***** Spatial Reference Information (Beg) *****Projection ParametersCoordinate System:Projection CylindricalZunits W/m2Units MetersSpheroid: SphereParametersProjection Type 1Longitude of central meridian: -79 32 40.2Latitude of standard parallel: 21 33 21.6Spatial InformationRaster:Number of Columns: 1360Number of Rows: 628Pixel Resolution (m): 1000Data Type: integer***** Spatial Reference Information (End) *****
Shell model description of zirconium isotopes
We calculate the low-lying spectra and several high-spin states of zirconium isotopes (Z=40) with neutron numbers from N=50 to N=58 using a large valence space with the {sup 78}Ni inert core, which a priori allows one to study the interplay between spherical and deformed configurations, necessary for the description of nuclides in this part of the nuclear chart. The effective interaction is derived by monopole corrections of the realistic G matrix. We reproduce essential nuclear properties, such as subshell closures in {sup 96}Zr and {sup 98}Zr. The spherical-to-deformed shape transition in {sup 100}Zr is addressed as well.
Sieja, K. [GSI-Helmholtzzentrum fuer Schwerionenforschung mbH., Planckstrasse 1, D-64-220 Darmstadt (Germany); Institut fuer Kernphysik, Technische Universitaet Darmstadt, D-64289 Darmstadt (Germany); Nowacki, F. [Institute Pluridisciplinaire Hubert Curien, 23 rue du Loess, Strasbourg (France); Langanke, K. [Institut fuer Kernphysik, Technische Universitaet Darmstadt, D-64289 Darmstadt (Germany); Frankfurt Institute for Advanced Studies, D-60438 Frankfurt am Main (Germany); Martinez-Pinedo, G. [GSI-Helmholtzzentrum fuer Schwerionenforschung mbH., Planckstrasse 1, D-64-220 Darmstadt (Germany)
Hamiltonian description of the ideal fluid
Fluid mechanics is examined from a Hamiltonian perspective. The Hamiltonian point of view provides a unifying framework; by understanding the Hamiltonian perspective, one knows in advance (within bounds) what answers to expect and what kinds of procedures can be performed. The material is organized into five lectures, on the following topics: rudiments of few-degree-of-freedom Hamiltonian systems illustrated by passive advection in two-dimensional fluids; functional differentiation, two action principles of mechanics, and the action principle and canonical Hamiltonian description of the ideal fluid; noncanonical Hamiltonian dynamics with examples; tutorial on Lie groups and algebras, reduction-realization, and Clebsch variables; and stability and Hamiltonian systems.
Morrison, P.J.
System design description PFP thermal stabilization
The purpose of this document is to provide a system design description and design basis for the Plutonium Finishing P1ant (PFP) Thermal Stabilization project. The sources of material for this project are residues scraped from glovebox floors and materials already stored in vault storage that need further stabilizing to meet the 3013 storage requirements. Stabilizing this material will promote long term storage and reduced worker exposure. This document addresses: function design, equipment, and safety requirements for thermal stabilization of plutonium residues and oxides.
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.
COG Software Architecture Design Description Document
This COG Software Architecture Design Description Document describes the organization and functionality of the COG Multiparticle Monte Carlo Transport Code for radiation shielding and criticality calculations, at a level of detail suitable for guiding a new code developer in the maintenance and enhancement of COG. The intended audience also includes managers and scientists and engineers who wish to have a general knowledge of how the code works. This Document is not intended for end-users. This document covers the software implemented in the standard COG Version 10, as released through RSICC and IAEA. Software resources provided by other institutions will not be covered. This document presents the routines grouped by modules and in the order of the three processing phases. Some routines are used in multiple phases. The routine description is presented once - the first time the routine is referenced. Since this is presented at the level of detail for guiding a new code developer, only the routines invoked by another routine that are significant for the processing phase that is being detailed are presented. An index to all routines detailed is included. Tables for the primary data structures are also presented.
Buck, R M; Lent, E M
Business Case Slide 25: High-Value: Semiconductors - Description
Semiconductors - Description Receipt of rare DUO crystals at ORNL Receipt of rare DUO2 crystals at ORNL Description Use DUO2 as a semiconductor material Computer CPU or RAM chips...
System design description for the HMT Rotation Motor Heater System
This document is the design description for the Rotation Motor Heater System on waste tank 241-SY-101. The description includes the certified vendor (CV) file number, operators instructions, and heater sizing calculations.
Vargo, G.F. Jr.
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
In this paper, we present automated formal verification of the DHCP Failover protocol. We conduct bounded model-checking for the protocol using Timeout Order Abstraction (TO-Abstraction), a technique to abstract a given ...
Description of the Google update summarizer at TAC-2011
Page 1. Description of the Google update summarizer at TAC-2011 Jean-Yves Delort Google Research Brandschenkestrasse ...
PCR Kit Name Manufacturer Kit Description Profiler Plus ...
Page 1. PCR Kit Name Manufacturer Kit Description Profiler Plus Applied Biosystems AmpFLSTR� Profiler Plus� (Part Number 4303326) ...
SY101 in situ viscometer instrument system design description
This documents the design and description of the in situ viscometer, developed for the hydrogen mitigation project.
Pearce, K.L.; Stokes, T.I.; Vagelatos, N.
MCDL: a reduced but extensible multimedia contents description language
Multimedia contents are more and more present in our life and their presentation usually rests on a text-based description that defines rules and properties of such contents and is produced by markup description languages (e.g., XML, MPEG7-DDL and SMIL). ... Keywords: MPEG7-DDL, SMIL, contents sychronization, multimedia contents description
M. Furini
Property:Description | Open Energy Information
This is a property of type Text. This is a property of type Text. Pages using the property "Description" Showing 25 pages using this property. (previous 25) (next 25) 1 1.5-ft Wave Flume Facility + Automated data acquisition and control system 10-ft Wave Flume Facility + Automated data acquisition and control system 11-ft Wave Flume Facility + Automated data acquisition and control system 2 2-ft Flume Facility + Automated data acquisition and control system 3 3-ft Wave Flume Facility + Automated data acquisition and control system 5 5-ft Wave Flume Facility + Automated data acquisition and control system 6 6-ft Wave Flume Facility + Automated data acquisition and control system A Alden Large Flume + Differential pressure transducers, acoustic profiling, propeller meters, load cells, computer data acquisition systems.
Electricity Delivery and Energy Reliability PROGRAM DESCRIPTION
2 2 Electricity Delivery and Energy Reliability PROGRAM DESCRIPTION The Office of Electricity Delivery and Energy Reliability (OE) leads national efforts to modernize the electric grid, enhance security and reliability of energy infrastructure, and facilitate recovery from disruptions to the energy supply. As stated in the President's A Policy Framework for the 21 st Century Grid, a smarter, modernized electric grid is fundamental to transforming the Nation's energy system and securing US leadership in a clean energy future. OE supports activities that enable innovation across the energy sector, empower American consumers, and secure our energy future. OE consists of three programs: Research and Development; Permitting, Siting and Analysis; and Infrastructure Security and Energy Restoration.
Selections for Industrial Technologies Program Recovery Act Funding Selections for Industrial Technologies Program Recovery Act Funding Deployment of Combined Heat and Power (CHP) Systems, District Energy Systems, Waste Energy Recovery Systems, and Efficient Industrial Equipment Award Winners City and State Project Description Total DOE Funding Air Products and Chemicals, Inc. Middletown, OH Waste Energy Project at the AK Steel Corporation Middletown Works. The project will construct a combined cycle power generation plant at the Middletown, OH, works of AK Steel that will capture and process the blast furnace gas (BFG). The BFG, generated in ironmaking operations, is either flared or used to make steam needed for industrial processes . Currently, over 50% of the BFG is flared. This project will utilize
Acquisition Acquisition Description/ Category Contracting Office Solicitation Method Contract Type Estimated Dollar Range Pre-Solicitation Conference/ Industry Meetings Draft- Solicitation Synopsis Solicitation Receipt of Proposal Anticipated Evaluations Complete/Award Paducah GDP http://www.emcbc.doe.g ov/pgdp%20deactivatio n/ EMCBC Multiple award IDIQ contract holders Cost Plus Award Fee with Fixed Price clins $600M- $680M 5/1/2013 5/29/2013 N/A 8/9/2013 Jul-Sep 2013 Oct-Dec 2014 ETEC EMCBC Small Business Firm-Fixed Price & Fixed Unit Rate Price CLINS $25M-$40M 9/19/2013 Jul-Sep 2013 Oct-Dec 2013 Oct-Dec 2013 Jan-Mar 2014 Jul-Sep 2014 Lab Services EMCBC Small Business Fixed Price $40M-$60M Jan-Mar 2014 Jan-Mar 2014 Jan-Mar 2014 Apr-Jun 2014 Apr-Jun 2014 Jan-Mar 2015
Office of Legacy Management (LM)
INCOMING DOCUMENT CONTROL FORM DOCUMENT DESCRIPTION ORGANIZATIO )ATE COMPLETED: ACTION NUMBER: I ! I I DOCUMENT CONTROL DATE INITIALS DATA BASE: ACTION LOG: FILED: To : Doug Tonkay, OTS Decen From: MIchele Landis, dRW Subject: Draft report ~ Result= of the Radiologic; Former Ore Storage Site, Palmerton, Pennsylvania Attached is one copy of the draft report. PIE provide your comments to me by January 16, 1990. tlichele Landis ,9, 1989 "ey at the review and Results of the Radiological SJrvey at the Former Ore S&age Site, Palmerton, PennsylvLnia (PPOOI) J. L Quikd J. W. Cdchdr W. D. &rei ! I : HEALTH AND t5UEI-Y RESEARCH DMSi Waste Management Research and Development Prc (Activity No. AH 10 05 00 0; NEAHOOl) RESULTS OF 'I-HE RADIOLOGICAL SURV
Title, Location, Document Number Estimated Cost Description
Moody to Lev, SUBJECT: NEPA 2012 APS for DOE-SRS, Dated: JAN 25 2012 Moody to Lev, SUBJECT: NEPA 2012 APS for DOE-SRS, Dated: JAN 25 2012 Title, Location, Document Number Estimated Cost Description EA Determination Date: uncertain Transmittal to State: uncertain EA Approval: uncertain FONSI: uncertain EA Determination Date: uncertain Transmittal to State: uncertain EA Approval: uncertain FONSI: uncertain Total Estimated Cost $65,000 Annual NEPA Planning Summary NEPA Reviews of Proposals to Implement Enterprise SRS Initiatives unknown The Savannah River Site Strategic Plan for 2011 - 2015 describes 12 initiatives that Enterprise SRS will pursue by applying SRS's management core competencies in nuclear materials. Implementation of new missions resulting from this effort will likely require NEPA review. However, until firm proposals are developed
Thermodynamics of quantum informational systems - Hamiltonian description
It is often claimed, that from a quantum system of d levels, and entropy S and heat bath of temperature T one can draw kT(ln d -S) amount of work. However, the usual arguments based on Szilard engine are not fully rigorous. Here we prove the formula within Hamiltonian description of drawing work from a quantum system and a heat bath, at a cost of entropy of the system. We base on the derivation of thermodynamical laws and quantities in [R. Alicki, J. Phys. A, 12, L103 (1979)] within a weak coupling limit. Our result provides fully physical scenario for extracting thermodynamical work from quantum correlations [J. Oppenheim et al. Phys. Rev. Lett. 89, 180402 (2002)]. We also derive Landauer principle as a consquence of second law within the considered model.
Robert Alicki; Michal Horodecki; Pawel Horodecki; Ryszard Horodecki
SSL Selections Descriptions v6.xls
Zip Code Zip Code Project Description DOE Funding Total Project Value Cambrios Sunnyvale, CA 94085-4520 Solution-Processable Transparent Conductive Hole Injection Electrode for Organic Light-Emitting Diode (OLED) SSL. This project seeks to develop a cost-effective replacement for indium tin oxide for use as an electrode in OLED lighting devices. Indium is both rare and very expensive. $1,199,971 $1,846,110 University of Rochester Rochester, NY 14627-0216 Development and Utilization of Host Materials for White Phosphorescent OLEDs. This project seeks to produce white OLEDs with > 100 lm/W efficiency after light extraction enhancement and > 10,000 hour operating time, by making a new class of emissive materials. $1,239,071 $1,376,746 WhiteOptics, LLC
Geometric Complexity and Minimum Description Length Principle
The question of how one should decide among competing explanations of data is at the heart of the scientific enterprise. Quantitative methods of selecting among models have been advanced over the years without an underlying theoretical framework to guide the enterprise and evaluate new developments. In this paper, we show that differential geometry provides a unified understanding of the model selection problem. Foremost among its contributions is a reconceptualization of the problem as one of counting probability distributions. This reconceptualization naturally leads to development of a "geometric" complexity measure, which turns out to be equal to the Minimum Description Length (MDL) complexity measure Rissanen (1996) recently proposed. We demonstrate an application of the geometric complexity measure to model selection in cognitive psychology, with models of cognitive modeling in three different areas (psychophysics, information integration, categorization).
In Jae Myung; Shaobo Zhang; Mark A. Pitt
Monitored Geologic Repository Project Description Document
The primary objective of the Monitored Geologic Repository Project Description Document (PDD) is to allocate the functions, requirements, and assumptions to the systems at Level 5 of the Civilian Radioactive Waste Management System (CRWMS) architecture identified in Section 4. It provides traceability of the requirements to those contained in Section 3 of the Yucca Mountain Site Characterization Project Requirements Document (YMP RD) (YMP 2001a) and other higher-level requirements documents. In addition, the PDD allocates design related assumptions to work products of non-design organizations. The document provides Monitored Geologic Repository (MGR) technical requirements in support of design and performance assessment in preparing for the Site Recommendation (SR) and License Application (LA) milestones. The technical requirements documented in the PDD are to be captured in the System Description Documents (SDDs) which address each of the systems at Level 5 of the CRWMS architecture. The design engineers obtain the technical requirements from the SDDs and by reference from the SDDs to the PDD. The design organizations and other organizations will obtain design related assumptions directly from the PDD. These organizations may establish additional assumptions for their individual activities, but such assumptions are not to conflict with the assumptions in the PDD. The PDD will serve as the primary link between the technical requirements captured in the SDDs and the design requirements captured in US Department of Energy (DOE) documents. The approved PDD is placed under Level 3 baseline control by the CRWMS Management and Operating Contractor (M&O) and the following portions of the PDD constitute the Technical Design Baseline for the MGR: the design characteristics listed in Table 1-1, the MGR Architecture (Section 4.1), the Technical Requirements (Section 5), and the Controlled Project Assumptions (Section 6).
P. Curry
Electric Markets Technical Assistance Program: FY1999 Grant Descriptions
FY1999 Grant FY1999 Grant Descriptions and Contact Information Electric Markets Technical Assistance Program: FY1999 Grant Descriptions and Contact Information Public Benefits and Distributed Generation Outreach Project The National Association of Regulatory Utility Commissioners (NARUC) will hold collaborative workshops with key stakeholders to build consensus on effective policy options for emerging competitive distributed generation markets. FY1999 Grant Descriptions and Contact Information More Documents & Publications Electric Restructuring Outreach Activities and Information Dissemination to State Public Utility Regulators Electric Markets Technical Assistance Program: FY2001 Grant Descriptions and Contact Information Electric Markets Technical Assistance Program: FY2003 Grant Descriptions
Selected translated abstracts of Russian-language climate-change publications: I, Surface energy budget
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.
Burtis, M.D. [comp.
Selected translated abstracts of Russian-language climate-change publications. 4: General circulation models
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.
Burtis, M.D. [comp.] [Oak Ridge National Lab., TN (United States). Carbon Dioxide Information Analysis Center; Razuvaev, V.N.; Sivachok, S.G. [All-Russian Research Inst. of Hydrometeorological Information--World Data Center, Obninsk (Russian Federation)
AHTR Refueling Systems and Process Description
The Advanced High-Temperature Reactor (AHTR) is a design concept for a central station-type [1500 MW(e)] Fluoride salt-cooled High-temperature Reactor (FHR) that is currently undergoing development by Oak Ridge National Laboratory for the US. Department of Energy, Office of Nuclear Energy's Advanced Reactor Concepts program. FHRs, by definition, feature low-pressure liquid fluoride salt cooling, coated-particle fuel, a high-temperature power cycle, and fully passive decay heat rejection. The overall goal of the AHTR development program is to demonstrate the technical feasibility of FHRs as low-cost, large-size power producers while maintaining full passive safety. The AHTR is approaching a preconceptual level of maturity. An initial integrated layout of its major systems, structures, and components (SSCs), and an initial, high-level sequence of operations necessary for constructing and operating the plant is nearing completion. An overview of the current status of the AHTR concept has been recently published and a report providing a more detailed overview of the AHTR structures and mechanical systems is currently in preparation. This report documents the refueling components and processes envisioned at this early development phase. The report is limited to the refueling aspects of the AHTR and does not include overall reactor or power plant design information. The report, however, does include a description of the materials envisioned for the various components and the instrumentation necessary to control the refueling process. The report begins with an overview of the refueling strategy. Next a mechanical description of the AHTR fuel assemblies and core is provided. The reactor vessel upper assemblies are then described. Following this the refueling path structures and the refueling mechanisms and components are described. The sequence of operations necessary to fuel and defuel the reactor is then discussed. The report concludes with a discussion of the levels of maturity of the various SSCs to provide guidance for future technology developments. The conceptual design information presented in this report is very preliminary in nature. Significant uncertainty remains about several aspects of the process and even the radiation and mechanical performance of plate-type coated-particle fuel.
Varma, Venugopal Koikal [ORNL; Holcomb, David Eugene [ORNL; Bradley, Eric Craig [ORNL; Zaharia, Nathaniel M [ORNL; Cooper, Eliott J [ORNL
The Advanced High-Temperature Reactor (AHTR) is a design concept for a central station-type [1500 MW(e)] Fluoride salt�cooled High-temperature Reactor (FHR) that is currently undergoing development by Oak Ridge National Laboratory for the US. Department of Energy, Office of Nuclear Energy�s Advanced Reactor Concepts program. FHRs, by definition, feature low-pressure liquid fluoride salt cooling, coated-particle fuel, a high-temperature power cycle, and fully passive decay heat rejection. The overall goal of the AHTR development program is to demonstrate the technical feasibility of FHRs as low-cost, large-size power producers while maintaining full passive safety. The AHTR is approaching a preconceptual level of maturity. An initial integrated layout of its major systems, structures, and components (SSCs), and an initial, high-level sequence of operations necessary for constructing and operating the plant is nearing completion. An overview of the current status of the AHTR concept has been recently published [1], and a report providing a more detailed overview of the AHTR structures and mechanical systems is currently in preparation. This report documents the refueling components and processes envisioned at this early development phase. The report is limited to the refueling aspects of the AHTR and does not include overall reactor or power plant design information. The report, however, does include a description of the materials envisioned for the various components and the instrumentation necessary to control the refueling process. The report begins with an overview of the refueling strategy. Next a mechanical description of the AHTR fuel assemblies and core is provided. The reactor vessel upper assemblies are then described. Following this the refueling path structures and the refueling mechanisms and components are described. The sequence of operations necessary to fuel and defuel the reactor is then discussed. The report concludes with a discussion of the levels of maturity of the various SSCs to provide guidance for future technology developments. The conceptual design information presented in this report is very preliminary in nature. Significant uncertainty remains about several aspects of the process and even the radiation and mechanical performance of plate-type coated-particle fuel.
Varma, V.K.; Holcomb, D.E.; Bradley, E.C.; Zaharia, N.M.; Cooper, E.J.
Abstract Submission
L. Modeling and Simulation of Processes, Microstructures, and Behavior � M. Bulk Metallic Glasses, Nanocrystalline Materials, and Ultrafine-Grain Materials � N.
extended abstract
temperature is lowered to 700 �C prior to flowing propane into the chamber. ... of propane gas at higher temperature enhances void formation, leading to�...
Session Abstract
This special session will discuss some fundamental testing issues in analog and mixed signal circuits and present some innovative techniques to make analog/mixed signal (MS) test coverage evaluation as robust as digital. Unlike digital circuits, there ...
Abstract Introduction
fraction using the UFO-TDMA A method for detecting the presence of organic fraction in nucleation mode sized
P. Vaattovaara; M. R�s�nen; T. K�hn; J. Joutsensaari; A. Laaksonen; Tables Figures
Abstract - CECM
... this uniquification, operations like substitution, set operations, and simplification, all of which require testing for equality, are sped up by an order of magnitude.
sample abstract
carbonization with propane as a carbon-based precursor gas at 1150 �C or 1250 ... SiC films when propane gas is introduced into the growth environment at 700�...
FIRETEC: A transport description of wildfire behavior
Wildfires are a threat to human life and property, yet they are an unavoidable part of nature and in some instances they are necessary for the natural maintenance and evolution of forests. Investigators have attempted to describe the behavior (speed, direction, modes of spread) of wildfires for over fifty years. Current models for numerical description are mainly algebraic and based on statistical or empirical ideas. The authors describe, in contrast, a transport model called FIRETEC, which is a self-determining fire behavior model. The use of transport formulations connects the propagation rates to the full conservation equations for energy, momentum, species concentrations, mass, and turbulence. In this text, highlights of the model formulation and results are described. The goal of the FIRETEC model is to describe average behavior of the gases and fuels. It represents the essence of the combination of many small-scale processes without resolving each process in complete detail. The FIRETEC model is implemented into a computer code that examines line-fire propagation in a vertical spatial cut parallel to the direction of advancement. With this code the authors are able to examine wind effects, slope effects, and the effects of nonhomogeneous fuel distribution.
Linn, R.R.; Harlow, F.H.
Annotated bibliography of radioactive waste management publications at Pacific Northwest Laboratory, January 1978 through July 1982. [831 abstracts
This bibliography lists publications (831 abstracts) from the Pacific Northwest Laboratory's Department of Energy sponsored research and development programs from January 1978 through July of 1982. The abstracts are grouped in subject categories, as shown in the table of contents. Entries in the subject index also facilitate access by subject, e.g., High-Level Radioactive Wastes. Three indexes, each preceded by a brief description, are provided: personal author, subject, and report number. Cited are research reports, journal articles, books, patents, theses, and conference papers. Excluded are technical progress reports. Since 1978 the Nuclear Waste Management Quarterly Progress Report has been published under the series number PNL-3000. Beginning in 1982, this publication has been issued semiannually, under the series number PNL-4250. This bibliography is the successor to two others, BNWL-2201 (covering the years 1965-1976) and PNL-4050 (1975-1978). It is intended to provide a useful reference to literature in waste management written or compiled by PNL staff.
Microsoft Word - Tab 2d - Project Descriptions Press Format ...
Project Descriptions Press Format - SAI TPPs - Final.doc More Documents & Publications Solar America Initiative Low Cost High Concentration PV Systems for Utility Power Generation...
Tank Monitoring and Control System (TMACS) Version Description Document (VDD)
This document updates the Version Description Document with the changes incorporated in the Revision 11.2 software installation on the Tank Monitor and Control System (TMACS).
graphicsQC-package Quality Control for Graphics Description Details
Description The package provides functions to generate graphics files, compare them with �model� files, and report the results. License GPL-2
Stephen Gardiner; Paul Murrell; Maintainer Paul Murrell; Stephen Gardiner
Descriptions of Past Research: Generation Sector Nondestructive Evaluation
Descriptions of Past Research: Generation Sector Nondestructive Evaluation contains summaries of many past Electric Power Research Institute (EPRI) nondestructive evaluation (NDE) research and development (R&D) efforts.
New Mexico Hydrogen Fuels Challenge Program Description The New...
New Mexico Hydrogen Fuels Challenge Program Description The New Mexico Hydrogen Fuels Challenge is an event that provides a hands-on opportunity for middle school students (grades...
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)
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)
Abstract of the 13th Toyota Conference on Affective Minds (1999). METALEARNING, NEUROMODULATION AND EMOTION
Abstract of the 13th Toyota Conference on Affective Minds (1999). METALEARNING, NEUROMODULATION this equation says is that when taking an action a, both the #12;Abstract of the 13th Toyota Conference
Doya, Kenji
An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs
Static global analyses based on abstract interpretation have been used to derive properties of programs. The analyses differ in the expressiveness of the abstract domains and the precision and efficiency of domain operations. We extend an abstract domain defined by Jacobs and Langen and present new abstract domain operations to derive freeness, groundness, and sharing of variables in logic programs. Analysis of non-trivial programs shows that our method is more precise and more efficient than previous proposals.
Renganathan Sundararajan; John S. Conery
Interval analysis of microcontroller code using abstract interpretation of hardware and software
Static analysis is often performed on source code where intervals -- possibly the most widely used numeric abstract domain -- have successfully been used as a program abstraction for decades. Binary code on microcontroller platforms, however, is different ... Keywords: abstract interpretation, binary code, embedded systems, interval analysis, static analysis
J�rg Brauer; Thomas Noll; Bastian Schlich
System Management Ontology Description Logic Formalization of CIM
SMO System Management Ontology Description Logic Formalization of CIM Andrea Cal`i, Diego Calvanese Information Model (CIM) has the goal of providing a suitable approach for modeling systems and networks using the object-oriented paradigm. In this document we illustrate how to map CIM onto an expressive Description
Calvanese, Diego
Characterization of imaging phone cameras using minimum description length principle
In this paper, a new Minimum Description Length (MDL) approach for the characterization of a mobile phone's color camera is presented. The use of high-order polynomials, Fourier sine series, and artificial neural networks (ANN) for solving this problem ... Keywords: artificial neural network, high-order polynomial, imaging mobile phone, minimum description length
Adrian Burian; Aki Happonen; Mihaela Cirlugea
Description Logic in a nutshell Seminar ,,Resources for Computational Linguists"
person city location located_in.location ... 8 #12;Resources for Comp` Linguists 07 Description Logics - Michaela Regneri & Magdalena Wolska Description Logic - Terms · (atomic) concepts C denoting sets of individuals (person) unary predicates in FOL · (atomic) roles R: (loves) binary predicates in FOL · complex
Prasad, Sanjiva
Fuzzy description logics with general t-norms and datatypes
Fuzzy description logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, current ... Keywords: Fuzzy description logics, Fuzzy logic, Fuzzy ontologies, Logic for the semantic web
Fernando Bobillo; Umberto Straccia
PSpace Reasoning with the Description Logic ALCF(D)
PSpace Reasoning with the Description Logic ALCF(D) CARSTEN LUTZ, Institute for Theoretical and disagreements ALCF(D). We show that, for both logics, the standard reasoning tasks concept satis#12;ability Oxford University Press #12; 536 PSpace Reasoning with the Description Logic ALCF(D) #12;xed extension
NEXP TIME-complete description logics with concrete domains
Concrete domains are an extension of Description Logics (DLs) that allow one to integrate reasoning about conceptual knowledge with reasoning about "concrete qualities" of real-world entities such as their sizes, weights, and durations. In this article, ... Keywords: Computational complexity, NExpTime-completeness, concrete domains, description logic, domino problem, post correspondence problem
Carsten Lutz
Description of interest regions with local binary patterns
This paper presents a novel method for interest region description. We adopted the idea that the appearance of an interest region can be well characterized by the distribution of its local features. The most well-known descriptor built on this idea is ... Keywords: Image matching, Local binary patterns, Object recognition, Region description, Region detection, SIFT
Marko Heikkil�; Matti Pietik�inen; Cordelia Schmid
Efficient description logic reasoning in prolog: The dlog system
Traditional algorithms for description logic (DL) instance retrieval are inefficient for large amounts of underlying data. As DL is becoming more and more popular in areas such as the Semantic Web and information integration, it is very important to ... Keywords: description logic, large data sets, logic programming, open world, resolution
Gergely Luk�csy; P�ter Szeredi
Descriptive Model of a Generic WAMS | Department of Energy
Descriptive Model of a Generic WAMS Descriptive Model of a Generic WAMS Descriptive Model of a Generic WAMS The Department of Energy's (DOE) Transmission Reliability Program is supporting the research, deployment, and demonstration of various wide area measurement system (WAMS) technologies to enhance the reliability of the Nation's electrical power grid. Pacific Northwest National Laboratory (PNNL) was tasked by the DOE National SCADA Test Bed Program to conduct a study of WAMS security. This report represents achievement of the milestone to develop a generic WAMS model description that will provide a basis for the security analysis planned in the next phase of this study. Descriptive Model of a Generic WAMS More Documents & Publications Securing Wide Area Measurement Systems 2012 Advanced Applications Research & Development Peer Review - Day 1
DOE-RL Integrated Safety Management System Description
The purpose of this Integrated Safety Management System Description (ISMSD) is to describe the U.S. Department of Energy (DOE), Richland Operations Office (RL) ISMS as implemented through the RL Integrated Management System (RIMS). This ISMSD does not impose additional requirements but rather provides an overview describing how various parts of the ISMS fit together. Specific requirements for each of the core functions and guiding principles are established in other implementing processes, procedures, and program descriptions that comprise RIMS. RL is organized to conduct work through operating contracts; therefore, it is extremely difficult to provide an adequate ISMS description that only addresses RL functions. Of necessity, this ISMSD contains some information on contractor processes and procedures which then require RL approval or oversight. This ISMSD does not purport to contain a full description of the contractors' ISM System Descriptions.
Learning description of term patterns using glossary resources
In this paper, we describe a method of automatic extraction of knowledge patterns using in term descriptions from glossary, and using them to extract term description from technical texts. A brief introduction of the problem will be presented. After that, knowledge patterns and related works are discussed. By statistical analysis, we will show that these patterns can be learned, and we will propose a method to learn these pattern based on discover collocation of important verbs and nouns represent main concepts in the domain. Evaluation have been made showing that using the method, we can extract half of the correct descriptions, with a noise just one third. 1.
Le An Ha; Wolverhampton Wv Sb
Program and abstracts: IS-MPMI sixth International Symposium on Molecular Plant-Microbe Interactions
This volume provides abstracts of oral and poster presentations made for the Sixth International Symposium on Molecular Plant-Microbe Interactions.
Abstracts submitted for the thirtieth annual meeting, Division of Plasma Physics
This paper contains abstracts presented at the 13th annual meeting of the American Physical Society, Division of Plasma Physics. (LSP)
CALL FOR ABSTRACTS for the 2014 National Environmental Justice Conference and Training Program
Energy.gov (U.S. Department of Energy (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.
Biomedical research with cyclotron produced radionuclides. Progress report, January 1, 1979-June 30, 1980. [Lead Abstract
Separate abstracts were prepared for the 24 papers presented in this progress report dealing with the use of radionuclides produced by the cyclotron. (KRM)
Laughlin, J.S.; Benua, R.S.; Gelbard, A.S.
Thermionics. A bibliography with abstracts. Search period covered: 1970--Apr 1975. [190 references
Research on thermionic power generation, power plant design, converter design, and basic research on thermionic materials are cited in the bibliography. Spacecraft applications are included. (Contains 190 abstracts).
Grooms, D.W.
Hanford Site existing irradiated fuel storage facilities description
This document describes facilities at the Hanford Site which are currently storing spent nuclear fuels. The descriptions provide a basis for the no-action alternatives of ongoing and planned National Environmental Protection Act reviews.
Willis, W.L.
A Numerical Study of Cirrus Clouds. Part I: Model Description
This article, the first of a two-part series, presents a detailed description of a two-dimensional numerical cloud model directed toward elucidating the physical processes governing the evolution of cirrus clouds. The two primary scientific ...
Hui-Chun Liu; Pao K. Wang; Robert E. Schlesinger
Wellness Peer Program Volunteer Job Description Wellness Peer Programs
Wellness Peer Program Volunteer Job Description Wellness Peer Programs: Leave The Pack Behind & Wellness Centre, UTSC Mental Wellness mental health awareness program focusing on mental health, coping on healthy relationships, sexually transmitted infections and birth control Health & Wellness Centre
Kronzucker, Herbert J.
Technical Qualification Program Description - Integrated Support Center, Chicago Office
DEPART ENT of Office of DEPART ENT of Office of ENERGY I Science Integrated Support Center Chicago Office Technical Qualification Program Description ~~~~~~'?£H(.k:1/Zi.':"r'fl. ; ;!. / ; h tJ/ tl oxa nn e E. Purucker, M anager ~ Office of Science - Chicago Office Technical Qualification Program Description Revision 2, November 2010 CONCURRENCE The Office of Science-Chicago Office (SC-CH) is the sponsor for this Technical Qualification Program (TQP) Description. This is applicable to SC-CH, New Brunswick Laboratory (NBLL Ames Site Office (AMSO) and Argonne Site Office (ASO). These offices are in joint participation and endorsement of the SC-CH Technical Qualification Program process and have also provided concurrence below. The SC-CH Manager is the approval authority for this program description.
1 Total Cost DOE Cost Recipient Cost 3,200,000 29,600,000 14,800,000 14,800,000 * Project Description: The principal objective of the project is to transition Amonix's...
Description of BEF�s Green Tag Product
Description of BEF's Green Tag Product 1 February 22, 2001 In a green tag sale, the power from the new renewable energy facility is not physically delivered to the customer, but...
Business Case Slide 26: High-Value: Semiconductors - Description...
(cont.) Previous Slide Next Slide Table of Contents High-Value: Semiconductors - Description (cont.) Measuring the photo-voltaic properties of a DUO2 diode at NREL Measuring the...
Nuggeteer: automatic nugget-based evaluation using descriptions and judgements
The TREC Definition and Relationship questions are evaluated on the basis of information nuggets that may be contained in system responses. Human evaluators provide informal descriptions of each nugget, and judgements (assignments of nuggets to responses) ...
Gregory Marton; Alexey Radul
Editor: Joe Metzger Status: DRAFT (v1.0) Date: 2010-12-1 1 General Service Description for DICE Network Diagnostic Services The DICE collaboration network diagnostic service will...
Extended caching, backjumping and merging for expressive description logics
With this contribution we push the boundary of some known optimisations such as caching to the very expressive Description Logic $\\mathcal{SROIQ}$. The developed method is based on a sophisticated dependency management and a precise unsatisfiability ...
Andreas Steigmiller; Thorsten Liebig; Birte Glimm
NEXPTIME-Complete Description Logics with Concrete Domains
Concrete domains are an extension of Description Logics (DLs) allowing to integrate reasoning about conceptual knowledge with reasoning about "concrete properties" of objects such as sizes, weights, and durations. It is known that reasoning with ALC(D), ...
Modelling structured domains using description graphs and logic programming
Although OWL 2 is widely used to describe complex objects such as chemical molecules, it cannot represent �structural' features of chemical entities (e.g., having a ring). A combination of rules and description graphs (DGs) has been proposed ...
Despoina Magka; Boris Motik; Ian Horrocks
Data complexity in the ?L family of description logics
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability. We identify a large number of intractable extensions of EL, but also ...
Adila Krisnadhi; Carsten Lutz
Descriptions of Past Research: Boiler Life and Availability Improvement Program
Descriptions of Past Research: Boiler Life and Availability Improvement Program contains summaries of many past Electric Power Research Institute (EPRI) Boiler Life and Availability Improvement Program research and development (R&D) efforts.
VEHICLE AND BATTERY DESCRIPTIONS AND SPECIFICATIONS Vehicle Details
Page 1 VEHICLE AND BATTERY DESCRIPTIONS AND SPECIFICATIONS Vehicle Details Base Vehicle: 2011 Honda CR-Z VIN: JHMZF1C67BS004466 Electric Machine 1 : 10 kW (peak), permanent magnet...
Page 1 VEHICLE AND BATTERY DESCRIPTIONS AND SPECIFICATIONS Vehicle Details Base Vehicle: 2011 Honda CR-Z VIN: JHMZF1C64BS002982 Electric Machine 1 : 10 kW (peak), permanent magnet...
Development of a body force description for compressor stability assessment
This thesis presents a methodology for a body force description of a compressor with particular application to compressor stability calculations. The methodology is based on extracting blade forces from an axisymmetric ...
Kiwada, George (George Ford)
FACT SHEET: Clean Coal University Research Awards and Project Descriptions
FACT SHEET: Clean Coal University Research Awards and Project FACT SHEET: Clean Coal University Research Awards and Project Descriptions FACT SHEET: Clean Coal University Research Awards and Project Descriptions As part of President Obama's all-of-the-above approach to American energy, the Energy Department announced on June 6, 2012, that nine universities have won awards for research projects that will continue to support innovation and development of clean coal technologies. This fact sheet includes detailed project descriptions for each university-led research award. FACT SHEET_ Clean Coal University Project Descriptions_0.pdf More Documents & Publications University Coal Research Program 2013 Selections Report on Assessment of Environmentally--Assisted Fatigue for LWR Extended Service Conditions FAQS Reference Guide - Mechanical Systems
Hard Spring Wheat Variety Descriptions Resistance To2
1 Hard Spring Wheat Variety Descriptions Resistance To2 Quality Factors Straw Stem Leaf Foliar Head; S =susceptible; VS =very susceptible; NA = data not available. #12;2 Hard White Spring Wheat Descriptions HWS 36.6 35.7 58.4 15.0 14.7 Kanata HWS 35.5 35.5 60.0 15.9 15.6 LSD 5% -- 3.2 -- 1.4 0.8 -- HWS-Hard
Dyer, Bill
Summary description of the Fast Flux Test Facility
This document has been compiled and issued to provide an illustrated engineering summary description of the FFTF. The document is limited to a description of the plant and its functions, and does not cover the extensive associated programs that have been carried out in the fields of design, design analysis, safety analysis, fuels development, equipment development and testing, quality assurance, equipment fabrication, plant construction, acceptance testing, operations planning and training, and the like.
Cabell, C.P. (comp.)
Plutonium Immobilization Project System Design Description for Can Loading System
The purpose of this System Design Description (SDD) is to specify the system and component functions and requirements for the Can Loading System and provide a complete description of the system (design features, boundaries, and interfaces), principles of operation (including upsets and recovery), and the system maintenance approach. The Plutonium Immobilization Project (PIP) will immobilize up to 13 metric tons (MT) of U.S. surplus weapons usable plutonium materials.
Kriikku, E.
Program and Abstracts: DOE Solar Program Review Meeting 2004, 25--28 October 2004, Denver, Colorado
This booklet contains the agenda and abstracts for the 2004 U.S. DOE Solar Energy Technologies Program Review Meeting. The meeting was held in Denver, Colorado, October 25-28, 2004. More than 240 abstracts are contained in this publication. Topic areas for the research papers include laboratory research, program management, policy analysis, and deployment of solar technologies.
6th international conference on biophysics and synchrotron radiation. Program/Abstracts
This STI product consists of the Program/Abstracts book that was prepared for the participants in the Sixth International Conference on Biophysics and Synchrotron Radiation that was held August 4-8, 1998, at the Advanced Photon Source, Argonne National Laboratory. This book contains the full conference program and abstracts of the scientific presentations.
Pittroff, Connie; Strasser, Susan Barr [lead editors
A framework for distributed mediation of temporal-abstraction queries to clinical databases
Objective:: The specification and creation of a distributed system that integrates medical knowledge bases with time-oriented clinical databases; the goal is to answer complex temporal queries regarding both raw data and its abstractions, such as are ... Keywords: Clinical systems, Knowledge-based systems, Mediators, Medical informatics, Temporal abstraction, Temporal reasoning
David Boaz; Yuval Shahar
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable the steam boiler control specification problem to il lustrate how the evolving algebra approach and Specification, in June 1995, to control the Karlsruhe steam boiler simulator satisfactorily. The abstract
Börger, Egon
Re ning Abstract Machine Speci cations of the Steam Boiler Control to Well Documented
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
A general framework for semantics-based bottom-up abstract interpretation of logic programs
The theory of abstract interpretation provides a formal framework to develop advanced dataflow analysis tools. The idea is to define a nonstandard semantics which is able to compute, in finite time, an approximated model of the program. In this paper, ... Keywords: abstract interpretation, logic programming, program analysis
Roberto Barbuti; Roberto Giacobazzi; Giorgio Levi
AN ABSTRACT APPROACH TO DOMAIN PERTURBATION FOR PARABOLIC EQUATIONS AND PARABOLIC VARIATIONAL Australia Abstract. We study the behaviour of solutions of linear non-autonomous parabolic equations subject of func- tion spaces for non-autonomous parabolic problems is equivalent to Mosco convergence of function
Sydney, University of
The National Energy Strategy- The Role of Geothermal Technology Development: Abstracts
These are the abstracts for DOE Geothermal Program Review VIII, San Francisco, April 1990. The full Proceedings of this Review are also available in the OSTI ECD. (DJE 2005)
Biology Division progress report, October 1, 1978-May 31, 1980. [Lead abstract
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)
Eighteenth symposium on biotechnology for fuels and chemicals: Program and abstracts
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.
Abstract This research investigates the requirements for proactive service delivery for heavy industrial equipment
Abstract This research investigates the requirements for proactive service delivery for heavy. Keywords: Service contract, heavy industrial equipment, proactive service delivery, reference model. 1 Introduction Manufacturers of heavy industry are increasingly expanding into the service sector, not just
Hsu, Cheng
Overview of the biomedical and environmental programs at the Oak Ridge National Laboratory. [Lead abstract
Separate abstracts were prepared for each of the 6 chapters presented by the six divisions involved in the Biomedical and Environmental Sciences Program at Oak Ridge National Laboratory. The introduction is not covered by an abstract and deals with the environmental, health and safety considerations of energy technology decisions, the major initiatives now being taken by these 6 divisions, and recent major accomplishments in the biomedical and environmental science program. (KRM)
Pfuderer, H.A.; Moody, J.B. (comps.)
PROGRAM AND ABSTRACTS LPI Contribution No. 1375SPACE RESOURCES ROUNDTABLE IX
Any opinions, findings, and conclusions or recommendations expressed in this volume are those of the author(s) and do not necessarily reflect the views of the National Aeronautics and Space Administration. Material in this volume may be copied without restraint for library, abstract service, education, or personal research purposes; however, republication of any paper or portion thereof requires the written permission of the authors as well as the appropriate acknowledgment of this publication. Abstracts in this volume may be cited as
Michael B. Duke; Colorado School Of Mines; Leslie Gertsch
Microsoft Word - Proposal Form Description and Guidelines-rev.doc
Form Description and Form Description and Guidelines Please read the Proposal Form Description and Guidelines entirely before submitting a CNM Proposal You must register online through the User Facility Registration System BEFORE submitting a CNM Proposal. All individuals coming to Argonne must register, receive a badge number, and receive access permission for arrival. You will receive a badge number by e-mail. To log on to the Online User Proposal System for the first time, enter your badge number and also use your badge number for your initial password. Once you are logged in, the system will ask you to change your password. The CNM proposal has seven sections, each accessed by a tab on the online form. Note: All proposals MUST be submitted through the web-based system.
Property:Distributed Generation/Site Description | Open Energy Information
Generation/Site Description Generation/Site Description Jump to: navigation, search This is a property of type String. The allowed values for this property are: Agricultural Commercial-Hotel Commercial-Ice Arena Commercial-High Rise Office Commercial-Low Rise Office Commercial-Refrigerated Warehouse Commercial-Restaurant Commercial-Retail Store Commercial-Supermarket Commercial-Theater Commercial-Other Institutional-Hospital/Health Care Institutional-Nursing Home Institutional-School/University Institutional-Other Residential-Multifamily-Single Building Residential-Multifamily-Multibuilding Residential-Single Family Industrial-Food Processing Industrial-Plastics Processing Industrial-Wood Products Industrial-Other Testing Laboratory Water Utility Other Utility Other Pages using the property "Distributed Generation/Site Description"
Waste receiving and processing plant control system; system design description
The Plant Control System (PCS) is a heterogeneous computer system composed of numerous sub-systems. The PCS represents every major computer system that is used to support operation of the Waste Receiving and Processing (WRAP) facility. This document, the System Design Description (PCS SDD), includes several chapters and appendices. Each chapter is devoted to a separate PCS sub-system. Typically, each chapter includes an overview description of the system, a list of associated documents related to operation of that system, and a detailed description of relevant system features. Each appendice provides configuration information for selected PCS sub-systems. The appendices are designed as separate sections to assist in maintaining this document due to frequent changes in system configurations. This document is intended to serve as the primary reference for configuration of PCS computer systems. The use of this document is further described in the WRAP System Configuration Management Plan, WMH-350, Section 4.1.
DOE-RL Integrated Safety Management System Program Description
The purpose of this Integrated Safety Management System (ISMS) Program Description (PD) is to describe the U.S. Department of Energy (DOE), Richland Operations Office (RL) ISMS as implemented through the RL Integrated Management System (RIMS). This PD does not impose additional requirements but rather provides an overview describing how various parts of the ISMS fit together. Specific requirements for each of the core functions and guiding principles are established in other implementing processes, procedures, and program descriptions that comprise RIMS. RL is organized to conduct work through operating contracts; therefore, it is extremely difficult to provide an adequate ISMS description that only addresses RL functions. Of necessity, this PD contains some information on contractor processes and procedures which then require RL approval or oversight.
A Temporal Description Logic for Reasoning about Actions and Plans
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal languages are members of the family of Description Logics, which are characterized by high expressivity combined with good computational properties. The subsumption problem for a class of temporal Description Logics is investigated and sound and complete decision procedures are given. The basic language TL-F is considered #rst: it is the composition of a temporal logic TL # able to express interval temporal networks # together with the non-temporal logic F # a Feature Description Logic. It is proven that subsumption in this language is an NP-complete problem. Then it is shown how to reason with the more expressive languages TLU-FU and TL-ALCF . The former adds disjunction both at...
TDE Ecosystem Model Intercomparison Data Archive: Model Descriptions
Model Descriptions Model Descriptions BGC++ BIOME-BGC CANOAK EALCO ecosys INTRASTAND LaRS LINKAGES v2.1 LoTEC MAESTRA NuCM PnET II SPA Literature Cited A total of 13 models were used in this study covering a range of temporal scales, spatial complexity, and mechanistic detail (Figure 1). Eight of the models (8) used an hourly time step, four models used a daily time step, and only one model used a monthly time step (i.e., PnET-II). Most models provided estimates for both stand carbon and water budgets, but other were limited to either the carbon (MAESTRA) or water (LINKAGES and NuCM) budgets. The most mechanistically complex models (ecosys, CLASS, LaRS, and CANOAK) also used a complete energy balance. A brief description of each of the models is provided below. BGC++ The BGC++ model (Hunt et al. 1999) simulates carbon, nitrogen, and
SVM-SVDD: a new method to solve data description problem with negative examples
Support Vector Data Description(SVDD) is an important method to solve data description or one-class classification problem. In original data description problem, only positive examples are provided in training. The performance of SVDD can be improved ...
Zhigang Wang, Zeng-Shun Zhao, Changshui Zhang
Published in Solar Energy - Vol. 73, 5, pp. 307-317, (2002) Published in Solar Energy - Vol. 73, 5, pp. 307-317, (2002) 1 of 23 A NEW OPERATIONAL MODEL FOR SATELLITE-DERIVED IRRADIANCES DESCRIPTION AND VALIDATION Richard Perez * Pierre Ineichen ** Kathy Moore * Marek Kmiecik * Cyril Chain *** Ray George **** Frank Vignola ***** * ASRC - The University at Albany, Albany, NY, USA ** CUEPE - University of Geneva, Geneva, Switzerland *** Vaulx-en-Velin, France **** NREL, Golden, CO, USA ***** University of Oregon, Eugene, OR, USA Published in Solar Energy - Vol. 73, 5, pp. 307-317, (2002) 2 of 23 ABSTRACT We present a new simple model capable of exploiting geostationary satellite visible images for the production of site/time specific global and direct irradiances The new model features new clear sky global and direct irradiance functions, a new
ACTION DESCRIPTION MEMORANDUM ACTION DESCRIPTION MEMORANDUM PROPOSED DECONTAMINATION OF THREE BUILDINGS AT THE UNIVERSITY OF CHICAGO CONTAMINATED AS A RESULT OF PREVIOUS MED/AEC ACTIVITIES Prepared by Environmental Research Division Argonne National Laboratory Argonne, Illinois December 1983 Prepared for U.S. Department of Energy Oak Ridge Operations Technical Services Division Oak Ridge, Tennessee II-39 CONTENTS Page Summary of Proposed Action ....................... 1 Setting . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . .. 1 Background and Need for Action ..................... 2 Proposed Remedial Action ........................ 3 Potential Issues ................... ......... 4 Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . .. 6 Tables. ............ .................. 7 References ................... ............ 8
The Subsumption Problem of the Fuzzy Description Logic ALCF H
We present the fuzzy description logic ALCF H where primitive concepts are modified by means of hedges taken from hedge algebras. ALCF H is strictly more expressive than Fuzzy-ALC defined in [9]. We show that given a linearly ordered set of hedges primitive concepts can be modified to any desired degree by prefixing them with appropriate chains of hedges. Furthermore, we define a decision procedure for the unsatisfiability problem in ALCF H and for the subsumption problem in a fragment of ALCF H. Key words: fuzzy logic, hedge algebras, description
Steffen H�lldobler; Hans-peter St�rr
Nuclear science abstracts (NSA) database 1948--1974 (on the Internet)
Nuclear Science Abstracts (NSA) is a comprehensive abstract and index collection of the International Nuclear Science and Technology literature for the period 1948 through 1976. Included are scientific and technical reports of the US Atomic Energy Commission, US Energy Research and Development Administration and its contractors, other agencies, universities, and industrial and research organizations. Coverage of the literature since 1976 is provided by Energy Science and Technology Database. Approximately 25% of the records in the file contain abstracts. These are from the following volumes of the print Nuclear Science Abstracts: Volumes 12--18, Volume 29, and Volume 33. The database contains over 900,000 bibliographic records. All aspects of nuclear science and technology are covered, including: Biomedical Sciences; Metals, Ceramics, and Other Materials; Chemistry; Nuclear Materials and Waste Management; Environmental and Earth Sciences; Particle Accelerators; Engineering; Physics; Fusion Energy; Radiation Effects; Instrumentation; Reactor Technology; Isotope and Radiation Source Technology. The database includes all records contained in Volume 1 (1948) through Volume 33 (1976) of the printed version of Nuclear Science Abstracts (NSA). This worldwide coverage includes books, conference proceedings, papers, patents, dissertations, engineering drawings, and journal literature. This database is now available for searching through the GOV. Research Center (GRC) service. GRC is a single online web-based search service to well known Government databases. Featuring powerful search and retrieval software, GRC is an important research tool. The GRC web site is at http://grc.ntis.gov.
FORMALISMS FOR MORPHOGRAPHEMIC DESCRIPTION Alan Black. Graeme Ritchie.
FORMALISMS FOR MORPHOGRAPHEMIC DESCRIPTION Alan Black. Graeme Ritchie. Dept of Arr~.~al I.; Pulman, Steve G.; Black, Alan W.; and Ru~ell Graham J. 1987 A Compu- tation&! Framework For Lex ~ ~ . Russell Graham J.; Pulman, Steve G.; Ritchle, Gzaeme D.; and Black, Alan W. 1986 A Dic- tionary
Integrated Requirements Management System and System Design Description
This document provides a System Design Description (SDD) for the Integrated Requirements Management System (IRMS) database. The database manager chosen for this task was the Dynamic Object Oriented Requirements System (DOORS) Version 5.0 or greater. The schema for the IRMS is described with respect to the CH2M Hill Hanford Group, Inc requirements management processes.
An informal description of Standard OIL and Instance OIL
An informal description of Standard OIL and Instance OIL 28 November 2000 Sean Bechhofer (1) Jeen to be specified in some language. This paper introduces the newest version of OIL the ontology inference layer of the DAML language, with working name DAML-OIL, was proposed in a message to the rdf-logic mailing list
Ohlbach, Hans Jürgen
Flammable gas tank exhauster interlock (FGTEI) computer software design description
Modicon Compact Programmable Logic Controller (PLC). The device configuration integrates the isolation and current-carrying capacities of mechanical relays with the logic and programming sophistication of the PLC. This document provides descriptions of components and tasks involved in the PLC system for controlling and monitoring the FGTEI. All control functions required by the PLC, and how they are implemented, are described in detail.
Smith, S.0.
Modicon Compact Programmable Logic Controller (PLC). The device configuration integrates the isolation and current- carrying capacities of mechanical relays with the logic and programming sophistication of the PLC. This revised document provides descriptions of components and tasks involved in the PLC system for controlling and monitoring the FGTEI. All control functions required by the PLC, and how they are implemented, are described in detail.
Smith, S.O., Westinghouse Hanford
Flammable gas tank exhauster interlock (LFGTEI) computer software design description
Smith, S.O.; Irvitt, R.W., Fluor Daniel Hanford
Fusions of Description Logics Franz Baader and Carsten Lutz
in the fusion is still decidable. As an example, we consider the DLs (i) ALCF , which extends the basic DL ALC, subsumption of concept descriptions is known to be decidable [9, 11, 1]. However, their union ALCF +;�?;t has an undecidable subsumption problem [2]. This undecidability result depends on the fact that, in ALCF +;�?
Representing a Robotic Domain Using Temporal Description Logics
in Section 2, the temporal language TLALCF is introduced in Section 3. The lan guage syntax is first (undefinedness) p; q ! f j (atomic feature) p ffi q (path) Figure 1: Syntax rules for the ALCF Description Logic the model theoretic semantics of TLALCF , together with a formal definition of the subsumption and instance
Franconi, Enrico
Representing a robotic domain using temporal description logics
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The ... Keywords: Action Representation, Description Logic, Robotics, Temporal Logic
Description: Lithium batteries are used daily in our work
with batteries from the same package or with the same expiration date. Avoid at all costs batteries that haveDescription: Lithium batteries are used daily in our work activities from flashlights, cell phones containing one SureFire 3-volt non-rechargeable 123 lithium battery and one Interstate 3-volt non
Description of Facilities and Resources Oak Ridge National Laboratory
1 Description of Facilities and Resources Oak Ridge National Laboratory and the UT-ORNL Joint National Laboratory (ORNL) hosts three petascale computing facilities: the Oak Ridge Leadership Computing Center (NCRC), formed as collaboration between ORNL and the National Oceanographic and Atmospheric
HEAT THAT GROWS ON TREES Short description of timber energy
HEAT THAT GROWS ON TREES 6 Short description of timber energy · Along with hydro-electric power, wood is Switzerland's most important energy source. · Wood is CO2-neutral: in sustainably managed, a balance is maintained between growth and combustion). · Wood energy represents a welcome potential use
Framework for an automated comparison of description logic reasoners
OWL is an ontology language developed by the W3C, and although initially developed for the Semantic Web, OWL has rapidly become a de facto standard for ontology development in general. The design of OWL was heavily influenced by research in description ...
Tom Gardiner; Dmitry Tsarkov; Ian Horrocks
Hanford to Host ISMS Safety Workshop in Kennewick: Abstracts Due in June
Hanford to Host ISMS Safety Workshop in Kennewick: Abstracts Due in Hanford to Host ISMS Safety Workshop in Kennewick: Abstracts Due in June for September Event Hanford to Host ISMS Safety Workshop in Kennewick: Abstracts Due in June for September Event May 18, 2011 - 12:00pm Addthis Media Contact Cameron Hardy, DOE (509) 376-5365 email@example.com RICHLAND, WASH. - The U.S. Department of Energy (DOE) at Hanford will hold its annual DOE Integrated Safety Management (ISM) Champions Workshop on September 12-15, 2011, at the Three Rivers Convention Center in Kennewick, Wash. DOE's Richland Operations Office and Office of River Protection are hosting this year's event. The purpose of the workshop is to promote a robust safety culture and educate attendees on safety developments and environmental compliance methods for effective implementation of the
Abstract Tracking System | U.S. DOE Office of Science (SC)
Archives » Abstract Tracking System Archives » Abstract Tracking System Basic Energy Sciences (BES) BES Home About Research Facilities Science Highlights Benefits of BES Funding Opportunities Basic Energy Sciences Advisory Committee (BESAC) News & Resources Program Summaries Brochures Reports Accomplishments Presentations BES and Congress Science for Energy Flow Seeing Matter Scale of Things Chart Contact Information Basic Energy Sciences U.S. Department of Energy SC-22/Germantown Building 1000 Independence Ave., SW Washington, DC 20585 P: (301) 903-3081 F: (301) 903-6594 E: email@example.com More Information » Archives Abstract Tracking System Print Text Size: A A A RSS Feeds FeedbackShare Page The Division of Materials Sciences and Engineering (DMSE) within the Office of Basic Energy Sciences has entered the summaries of its FY 2005 - FY 2007
Microsoft Word - Poster Abstract_2010_CMU_High Surface Area Materials.docx
1th Annual SECA Workshop Poster Abstract 1th Annual SECA Workshop Poster Abstract Topic: High Surface Area, Mesoporous (La, Sr)MnO 3 For Solid Oxide Fuel Cell Cathodes Robin Chao, Graduate Student in Carnegie Mellon University 5700 Bunkerhill St. Apt 705, Pittsburgh, PA 15206 USA, firstname.lastname@example.com, 412-260-5687 Dr. John Kitchin, Professor of Chemical Engineering in Carnegie Mellon University 5000 Forbes Ave, Pittsburgh PA, 15213, firstname.lastname@example.com, 412-268-7803 Dr. Paul Salvador, Professor of Material Science and Engineering in Carnegie Mellon University 149 Roberts Eng Hall, Pittsburgh, PA 15213, firstname.lastname@example.com, 412-268-2702 Abstract: The efficiency of the solid oxide fuel cell is limited by the cathode polarizations. One essential approach is to include high-surface-area cathode materials into the fabrication. However, conventional synthesis methods to
Conceptual Framework and Levels of Abstraction for a Complex Large-Scale System
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.�
Simpson, Mary J.
Regulatory and technical reports (abstract index journal): Annual compilation for 1994. Volume 19, Number 4
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.
A New Approach to Abstract Machines - Introduction to the Theory of Configuration Machines
An abstract machine is a theoretical model designed to perform a rigorous study of computation. Such a model usually consists of configurations, instructions, programs, inputs and outputs for the machine. In this paper we formalize these notions as a very simple algebraic system, called a configuration machine. If an abstract machine is defined as a configuration machine consisting of primitive recursive functions then the functions computed by the machine are always recursive. The theory of configuration machines provides a useful tool to study universal machines.
Luo, Zhaohua
Energy conservation: industry (a bibliography with abstracts). Report for 1964-May 1979
Potential methods of conserving energy, including fuel and materials substitutions, are considered for various industries. Many abstracts deal with reports that also cover processes used, amount of energy consumed, and environmental considerations of energy conserving options. Industries covered include food, paper, chemical, cement, metals, petroleum refining, contract construction, synthetic rubber, plastics, drug manufacturing, and stone, clay, and glass. Energy conservation through the use of waste heat is covered in a related Published Search entitled Waste Heat Utilization. The updated bibliography contains 298 abstracts, 74 of which are new entries to the previous edition.
Hundemann, A.S.
Pacific Northwest Laboratory annual report for 1979 to the DOE Assistant Secretary for Environment. Part 1. Biomedical sciences. [Lead abstract
Separate abstracts were prepared for the 101 individual papers presented in this annual report. (ERB)
Thirty-seventh ORNL/DOE conference on analytical chemistry in energy technology: Abstracts of papers
Abstracts only are given for papers presented during the following topical sessions: Opportunities for collaboration: Industry, academic, national laboratories; Developments in sensor technology; Analysis in containment facilities; Improving the quality of environmental data; Process analysis; Field analysis; Radiological separations; Interactive analytical seminars; Measurements and chemical industry initiatives; and Isotopic measurements and mass spectroscopy.
Defining and Model Checking Abstractions of Complex Railway Models using CSP||B
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
Doran, Simon J.
Compiling Statemate Statecharts into CSP and verifying them using FDR --abstract
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
Roscoe, Bill
Abstract--Eventually, prediction of transformer thermal performance for dynamic loading will be made using models
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
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests F. Bouquet, P presents a computer aided model-based test generation method. We propose this approach as a com- plement to the LTG (Leirios Test Generator) method, which extracts functional tests out of a formal behavioral model
Abstract We have isolated a plant NOTCHLESS (NLE) homolog from the wild potato species Solanum
52820). Sequence analysis of ScNLE protein A BLAST search of the GenBank protein database revealed transcription factors, we searched the ScNLE promoter for different sequence motifs recog- nizedAbstract We have isolated a plant NOTCHLESS (NLE) homolog from the wild potato species Solanum
Regulatory and technical reports: (Abstract index journal). Compilation for first quarter 1997, January--March
This compilation consists of bibliographic data and abstracts for the formal regulatory and technical reports issued by the U.S. Nuclear Regulatory Commission (NRC) Staff and its contractors. This compilation is published quarterly and cummulated annually. Reports consist of staff-originated reports, NRC-sponsored conference reports, NRC contractor-prepared reports, and international agreement reports.
Sheehan, M.A.
NOAA, 2012 Climate Prediction Applications Science Workshop (CPASW), Climate Services for National Security Challenges: Abstract Submission
Security Challenges: Abstract Submission Presentation Title: The Impact of Climate Variability on Biofuel liters in 1996 to 24.6 billion liters in 2007 (Renewable Fuels Association, 2008), and the target annual use of biofuels by 2022 specified in the 2007 Energy Independence and Security Act is 136 billion
Miami, University of
Demonstration Abstract: WARP A Flexible Platform for Clean-Slate Wireless Medium Access Protocol Design
Demonstration Abstract: WARP A Flexible Platform for Clean-Slate Wireless Medium Access Protocol University Wireless Open-Access Research Platform (WARP) provides a high performance research tool for clean-slate provides a general environment for a clean-slate MAC/PHY de- velopment unlike other platforms which rely
Knightly, Edward W.
Multilevel and hybrid architecture for device abstraction and context information management in smart home environments
Hardware device management, and context information acquisition and abstraction are key factors to develop the ambient intelligent paradigm in smart homes. This work presents an architecture that addresses these two problems and provides a usable framework ... Keywords: frameworks, middleware, smart home
V�ctor Pel�ez; Roberto Gonz�lez; Luis �ngel San Mart�n; Antonio Campos; Vanesa Lobato
Abstract--This paper describes experimental results aiming at analyzing lithium-ion batteries performances
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
Abstract--Time-driven Switching (TDS) networks with non-immediate forwarding (NIF) provides scheduling
Abstract-- Time-driven Switching (TDS) networks with non-immediate forwarding (NIF) provides that with NIF scheduling complexity may grow exponentially. Efficiently finding a schedule from an exponential formulation of the NIF scheduling problem, under a wide variety of networking requirements, then introduces
Baldi, Mario
Abstract Within the tropical and subtropical oceans, tuna forage opportunistically on a wide variety of prey.
Abstract Within the tropical and subtropical oceans, tuna forage opportunistically on a wide of yellowfin tuna, Thunnus albacares (23.5154.0 cm FL), collected from nearshore Fish Aggregating Devices on small juveniles. Yellowfin tuna changed their diets significantly between 45 and 50 cm forklength (ca. 1
Hawai'i at Manoa, University of
Abstract--Substation data integration is facilitated by existence and appropriate connection of Intelligent Electronic
1 Abstract--Substation data integration is facilitated by existence and appropriate connection and substation topology transitions etc. Processed data may be used locally and/or communicated to remote sites (neighboring substations and/or control centers). The paper presents software that implements substation data
Kezunovic, Mladen
International Kimberlite Conference Long Abstract 1 ECLOGITES FROM THE GRIB KIMBERLITE PIPE,
8th International Kimberlite Conference Long Abstract 1 ECLOGITES FROM THE GRIB KIMBERLITE PIPE xenoliths in kimberlites and alkali basalts are of great scientific interest because they can provide kimberlite pipe, Grib, in the Arkhangelsk Province of Russia. GEOLOGY OF THE ARKHANGELSK REGION The East
Taylor, Lawrence A.
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis
This article describes the design and implementation of a system, called TSL (for Transformer Specification Language), that provides a systematic solution to the problem of creating retargetable tools for analyzing machine code. TSL ... Keywords: Abstract interpretation, dataflow analysis, dynamic analysis, machine-code analysis, static analysis, symbolic analysis
Junghee Lim; Thomas Reps
Abstract-Homing and navigation capabilities are essential for many Autonomous Underwater Vehicle
Abstract- Homing and navigation capabilities are essential for many Autonomous Underwater Vehicle, speed bias and underwater currents affect dead-reckoning measurements. All operation need to have INTRODUCTION Actually, there is a real challenge on application of Autonomous Underwater Vehicle, particularly
Neuromorphic modeling abstractions and simulation of large-scale cortical networks
Biological neural systems are well known for their robust and power-efficient operation in highly noisy environments. We outline key modeling abstractions for the brain and focus on spiking neural network models. We discuss aspects of neuronal processing ... Keywords: GPU, computational neuroscience, parallel processing, spiking neural networks, synapse, vision
Jeffrey L. Krichmar; Nikil Dutt; Jayram M. Nageswaran; Micah Richert
Abstract--Examination of hard parts recovered from scats (feces) is cur-
445 Abstract--Examination of hard parts recovered from scats (feces) is cur- rently the most common have resulted from the accumulation of irregularly shaped or large prey parts in the stomach (Kiyota et and are regur- gitated from the stomach, whereas small prey parts pass through the digestive system
A fix for fixation? rerepresenting and abstracting as creative processes in the design of information systems
Fixation prevents the associations that are bridges to new designs. The inability to see alternative solutions, or even to see how to map known solutions onto current problems, is a particularly acute problem in the design of software-intensive systems. ... Keywords: Abstraction, Design of Information Systems, Fluency: Originality, Rerepresentation
Doris Zahner; Jeffrey v. Nickerson; Barbara Tversky; James e. Corter; Jing Ma
Abstract -The paper discusses automated substation data integration and analysis. Recorded data collected
Control and Data Acquisition (SCADA) and Energy Management System (EMS) applications of substation environment of substation automation project. It provides data to a number of application including automated1 Abstract--With the deregulation and restructuring of utility industry, many substation automation
Abstract--With the deregulation and restructuring of utility industry, many substation automation applications are being
Abstract--Nowadays, most substations are equipped with Intelligent Electronic Devices (IEDs) performing data collection.
Symposium on intermediate-range atmospheric-transport processes and technology assessment. [Lead Abstract
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)
Regulatory and technical reports (abstract index journal): Annual compilation for 1997. Volume 22, Number 4
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.
Extended abstracts. Volume 78-1. [Seattle, Wash. , May 21--26, 1978
Extended abstracts (2 or 3 pages in length) are presented for 581 papers presented at this meeting. Sessions of the following divisions are included: Corrosion, Dielectrics and Insulation, Electronics, Electrothermics and Metallurgy, Energy Technology Group, Industrial Electrolytic, Organic and Biological Electrochemistry, and Physical Electrochemistry. (RWR)
GOClonto: An ontological clustering approach for conceptualizing PubMed abstracts
Concurrent with progress in biomedical sciences, an overwhelming of textual knowledge is accumulating in the biomedical literature. PubMed is the most comprehensive database collecting and managing biomedical literature. To help researchers easily understand ... Keywords: Conceptualization, Fuzzy Ants clustering, GOClonto, Gene ontology, Lingo, Ontological clustering, Ontology generation, PubMed abstract, Suffix tree clustering, Tolerance rough set
Hai-Tao Zheng; Charles Borchert; Hong-Gee Kim
ICCG-10: Tenth international conference on crystal growth. Oral presentation abstracts
Oral presentation abstracts from the tenth International Conference on Crystal Growth (ICCG) (Aug. 16-21, 1992) are provided. Topics discussed at the conference include superconductors, semiconductors, nucleation, crystal growth mechanisms, and laser materials. Organizing committees, ICCG advisory board and officers, and sponsors of the conference are also included.
Twenty-ninth ORNL/DOE conference on analytical chemistry in energy technology. Abstracts of papers
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)
SOLAR BATTERY CHARGERS FOR NIMH BATTERIES1 Abstract -This paper proposes new solar battery
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
Lehman, Brad
Seventeenth symposium on biotechnology for fuels and chemicals. Program and abstracts
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.
Role of point defects/defect complexes in silicon device processing. Book of abstracts, fourth workshop
The 41 abstracts are arranged into 6 sessions: impurities and defects in commercial substrates: their sources, effects on material yield, and material quality; impurity gettering in silicon: limits and manufacturability of impurity gettering and in silicon solar cells; impurity/defect passivation; new concepts in silicon growth: improved initial quality and thin films; and silicon solar cell design opportunities.
Second workshop role of point defects/defect complexes in silicon device fabrication. Book of abstracts
Abstracts are presented of 24 papers, arranged under the following session/panel headings: defects and impurities in commercial photovoltaic Si substrates, point defects and point defect processes, impurity gettering for Si solar cells, gettering in Si solar cells, and passivation of impurities and defects.
Thermochemistry of radicals formed by hydrogen abstraction from 1-butanol, 2-methyl-1-propanol, and butanal
, 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
Truhlar, Donald G
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
We use multi-stage programming, monads and Ocaml's advanced module system to demonstrate how to eliminate all abstraction overhead from generic programs, while avoiding any inspection of the resulting code. We demonstrate this clearly with Gaussian Elimination ... Keywords: Functor, Generative, Genericity, Linear algebra, MetaOCaml, Staging, Symbolic
Jacques Carette; Oleg Kiselyov
Abstract. Doxycycline (Dc) has been demonstrated to inhibit cell growth and induce apoptosis in tumor cells,
Abstract. Doxycycline (Dc) has been demonstrated to inhibit cell growth and induce apoptosis of apoptosis, whereas the role of the caspase-9 was limited. Keywords. Doxycycline, apoptosis, mitochondria by inhibiting bacterial protein syn- thesis. Doxycycline (Dc) is a semi-synthetic tetracycline made by modifying
Tian, Weidong
Between MDPs and Semi-MDPs: A Framework for Temporal Abstraction in
to a distant city, as well as primitive actions such as mus- cle twitches and joint torques. Overall, we show to a distant city. To decide whether or not to go, the benefits of the trip must be weighed against the expense this ability to work flexibly with multiple overlapping time scales? Temporal abstraction has been explored
Sutton, Richard S.
Between MDPs and SemiMDPs: A Framework for Temporal Abstraction
, and traveling to a distant city, as well as prim itive actions such as muscle twitches and joint torques to undertake a journey to a distant city. To decide whether or not to go, the benefits of the trip must with multiple overlap ping time scales? Temporal abstraction has been explored in AI at least since the early
Baveja, Satinder Singh
Meteoritics & Planetary Science 39, Nr 2, 217231 (2004) Abstract available online at http://meteoritics.org
Meteoritics & Planetary Science 39, Nr 2, 217231 (2004) Abstract available online at http of Sciences, Moscow, Russia 119334 *Corresponding author. E-mail: email@example.com (Received 21 July, bowl-shaped depression, where the average slope is at or below the angle of repose (about 30
Collins, Gareth
CAB Abstracts includes over 7,200,000 bibliographic records dating from 1910 to
. · 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
Kammen, Daniel M.
Automatic representation of semantic abstraction of geographical data by means of classification
Providing Geographical Information Systems (GIS) with the mechanisms for processing geographical data based on their semantic abstraction is a task that at present is carried out in a number of research given their scope of applications. Tackling this ... Keywords: classification, geographical data, ontology, semantic
Rainer Larin Fonseca; Eduardo Garea Llano
Validating candidate gene-mutation relations in MEDLINE abstracts via crowdsourcing
We describe an experiment to elicit judgments on the validity of gene-mutation relations in MEDLINE abstracts via crowdsourcing. The biomedical literature contains rich information on such relations, but the correct pairings are difficult to extract ... Keywords: annotation, crowdsourcing, mutations, text mining
John D. Burger; Emily Doughty; Sam Bayer; David Tresner-Kirsch; Ben Wellner; John Aberdeen; Kyungjoon Lee; Maricel G. Kann; Lynette Hirschman
Biology and Medicine Division annual report, 1981-1982. [Lead abstract
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)
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
Website Policies and Important Links
Search capabilities provided by DOE/OSTI