Powered by Deep Web Technologies
Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


1

Biopower  

Energy.gov (U.S. Department of Energy (DOE))

Biopower is the production of electricity or heat from biomass resources. With 10 gigawatts of installed capacity, biopower technologies are proven options in the United States today.

2

biopower | OpenEI  

Open Energy Info (EERE)

biopower biopower Dataset Summary Description No description given. Source National Renewable Energy Laboratory Date Released July 03rd, 2012 (2 years ago) Date Updated July 03rd, 2012 (2 years ago) Keywords biopower csp geothermal hydropower hydrothermal Renewable Energy Technical Potential rooftop United States utility-scale wind Data text/csv icon United States Renewable Energy Technical Potential (csv, 7.7 KiB) Quality Metrics Level of Review Some Review Comment Temporal and Spatial Coverage Frequency Time Period License License Open Data Commons Public Domain Dedication and Licence (PDDL) Comment Rate this dataset Usefulness of the metadata Average vote Your vote Usefulness of the dataset Average vote Your vote Ease of access Average vote Your vote Overall rating Average vote Your vote

3

Biopower: The Green Technology for Sustainable Development  

Science Conference Proceedings (OSTI)

According to the projections of UNIDO, the domestic coal reserves would exhaust, if the demand by consuming industries continue to grow at the current pace. It also leads to climate change. Biopower is a sustainable green technology to tackle this problem. ... Keywords: Renewable Energy, Biomass, Biopower, Biopower Technology

Ansu Abraham

2009-11-01T23:59:59.000Z

4

Energy Basics: Biopower  

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

Biomass Biofuels Biopower Anaerobic Digestion Bio-Based Products Biomass Resources Geothermal Hydrogen Hydropower Ocean Solar Wind Biopower Biopower is the production of...

5

Today's biopower  

DOE Green Energy (OSTI)

Biomass is a proven option for electricity generation. A diverse range of biopower producers includes electric utilities, independent power producers, and the pulp and paper industry. To help expand opportunities for biomass power production, the U.S. Department of Energy established the Biopower Program and is sponsoring efforts to increase the productivity of dedicated energy crops. The Program aims to double biomass conversion efficiencies, thus reducing biomass power generation costs. These efforts will promote industrial and agricultural growth, improve the environment, create jobs, increase U.S. energy security, and provide new export markets.

Shepherd, P.

2000-06-02T23:59:59.000Z

6

NREL: Learning - Biopower  

NLE Websites -- All DOE Office Websites (Extended Search)

Biopower Biopower Biopower, or biomass power, is the use of biomass to generate electricity. Biopower system technologies include direct-firing, cofiring, gasification, pyrolysis, and anaerobic digestion. Most biopower plants use direct-fired systems. They burn bioenergy feedstocks directly to produce steam. This steam drives a turbine, which turns a generator that converts the power into electricity. In some biomass industries, the spent steam from the power plant is also used for manufacturing processes or to heat buildings. Such combined heat and power systems greatly increase overall energy efficiency. Paper mills, the largest current producers of biomass power, generate electricity or process heat as part of the process for recovering pulping chemicals. Co-firing refers to mixing biomass with fossil fuels in conventional power

7

Biopower Program Technology Overview  

DOE Green Energy (OSTI)

The U.S. Department of Energy (DOE) works with industry and other partners through the Biopower Program to develop and validate renewable, biomass-based electrical generation systems.

Not Available

2001-10-01T23:59:59.000Z

8

Biopower Program, activities overview  

DOE Green Energy (OSTI)

Biomass is a proven option for electricity generation. A diverse range of biopower producers includes electric utilities, independent power producers, and the pulp and paper industry. To help expand opportunities for biomass power production, the U.S. Department of Energy established the Biopower Program and is sponsoring efforts to increase the productivity of dedicated energy crops. The Program aims to double biomass conversion efficiencies, thus reducing biomass power generation costs. These efforts will promote industrial and agricultural growth, improve the environment, create jobs, increase U.S. energy security, and provide new export markets.

Shepherd, P.

2000-06-02T23:59:59.000Z

9

Small modular biopower systems  

DOE Green Energy (OSTI)

Biomass is a proven option for electricity generation. A diverse range of biopower producers includes electric utilities, independent power producers, and the pulp and paper industry. To help expand opportunities for biomass power production, the U.S. Department of Energy established the Biopower Program and is sponsoring efforts to increase the productivity of dedicated energy crops. The Program aims to double biomass conversion efficiencies, thus reducing biomass power generation costs. These efforts will promote industrial and agricultural growth, improve the environment, create jobs, increase U.S. energy security, and provide new export markets.

Shepherd, P.

2000-06-02T23:59:59.000Z

10

Biopower Basics | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Biopower Basics Biopower Basics Biopower Basics August 14, 2013 - 12:35pm Addthis Biopower is the production of electricity or heat from biomass resources. With 10 gigawatts of installed capacity, biopower technologies are proven options in the United States today. Biopower technologies include direct combustion, co-firing, and anaerobic digestion. Direct Combustion Most electricity generated from biomass is produced by direct combustion using conventional boilers. These boilers primarily burn waste wood products from the agriculture and wood-processing industries. When burned, the wood produces steam, which spins a turbine. The spinning turbine then activates a generator that produces electricity. Co-Firing Co-firing involves replacing a portion of the petroleum-based fuel in

11

Biopower Basics | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Biopower Basics Biopower Basics Biopower Basics August 14, 2013 - 12:35pm Addthis Biopower is the production of electricity or heat from biomass resources. With 10 gigawatts of installed capacity, biopower technologies are proven options in the United States today. Biopower technologies include direct combustion, co-firing, and anaerobic digestion. Direct Combustion Most electricity generated from biomass is produced by direct combustion using conventional boilers. These boilers primarily burn waste wood products from the agriculture and wood-processing industries. When burned, the wood produces steam, which spins a turbine. The spinning turbine then activates a generator that produces electricity. Co-Firing Co-firing involves replacing a portion of the petroleum-based fuel in

12

Definition: Biopower | Open Energy Information  

Open Energy Info (EERE)

Biopower Biopower Jump to: navigation, search Dictionary.png Biopower The use of biomass to produce electric power or heat. Biopower system technologies include direct-firing, cofiring, gasification, pyrolysis, and anaerobic digestion.[1][2][3] View on Wikipedia Wikipedia Definition Also Known As Biomass power Related Terms Bioenergy, Biomass, Biofuels, biomass, electricity generation, fuel cell References ↑ http://www.nrel.gov/learning/re_biopower.html ↑ http://cta.ornl.gov/bedb/glossary.shtml ↑ http://www.energysavers.gov/your_home/electricity/index.cfm/mytopic=10450 Retrieve LikeLike UnlikeLike You like this.Sign Up to see what your friends like. d from "http://en.openei.org/w/index.php?title=Definition:Biopower&oldid=493044" Category: Definitions What links here

13

Tool Support for Visualizing CSP in UML  

Science Conference Proceedings (OSTI)

In this paper, we propose an approach to translating UML to CSP that allows one to utilize both UML and CSP in a system design. To do so, we divide the visualization task based on three aspects of CSP: (i) the dynamics behavior, (ii) the static architecture, ... Keywords: CSP, UML, class diagram, state diagram

Muan Yong Ng; Michael J. Butler

2002-10-01T23:59:59.000Z

14

Feasible distributed CSP models for scheduling problems  

Science Conference Proceedings (OSTI)

A distributed constraint satisfaction problem (DisCSP) is a CSP in which variables and constraints are distributed among multiple automated agents. Many researchers have developed techniques for solving DisCSPs. They assume for simplicity that each agent ... Keywords: Constraint satisfaction, Distributed CSP, Holonic system, Multi-agent system, Scheduling

Miguel A. Salido; Adriana Giret

2008-08-01T23:59:59.000Z

15

Biopower Tool Webinar | Open Energy Information  

Open Energy Info (EERE)

Biopower Tool Webinar Biopower Tool Webinar Jump to: navigation, search Tool Summary Name: Biopower Tool Webinar Agency/Company /Organization: National Renewable Energy Laboratory, United States Department of Energy, Centro de Energías Renovables (CER) Sector: Energy Focus Area: Biomass, - Biofuels Resource Type: Maps, Training materials, Webinar References: Biopower Tool Webinar[1] Logo: Biopower Tool Webinar This webinar demonstrates uses for the Bio-power Tool, an interactive geospatial application allowing users to view biomass resources, infrastructure, and other relevant information, as well as query the data and conduct initial screening analyses. Webinar Video BATscreen.JPG Presentation Biopower Assessment Tool Presentation Announcement Wednesday, December 1, 2010 12-1 p.m. Golden, CO

16

csp | OpenEI  

Open Energy Info (EERE)

csp csp Dataset Summary Description This dataset is from the report Operational water consumption and withdrawal factors for electricity generating technologies: a review of existing literature (J. Macknick, R. Newmark, G. Heath and K.C. Hallett) and provides estimates of operational water withdrawal and water consumption factors for electricity generating technologies in the United States. Estimates of water factors were collected from published primary literature and were not modified except for unit conversions. Source National Renewable Energy Laboratory Date Released August 28th, 2012 (2 years ago) Date Updated Unknown Keywords coal consumption csp factors geothermal PV renewable energy technologies Water wind withdrawal Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Operational water consumption and withdrawal factors for electricity generating technologies (xlsx, 32.3 KiB)

17

NREL: Learning - Student Resources on Biopower  

NLE Websites -- All DOE Office Websites (Extended Search)

with these technologies, see the introduction to biopower. High School and College Level Biomass Pyrolysis Network Provides information on scientific and technological...

18

JGI - CSP FAQs  

NLE Websites -- All DOE Office Websites (Extended Search)

CSP Frequently Asked Questions CSP | Overview | How to Propose a Project | Review Process | DOE Relevance Proposal Schedule | FAQ What can I get from the CSP program? The...

19

BioPower Application (United States) | Open Energy Information  

Open Energy Info (EERE)

BioPower Application (United States) BioPower Application (United States) Jump to: navigation, search Tool Summary LAUNCH TOOL Name: BioPower Application (United States) Focus Area: Ethanol Topics: Potentials & Scenarios Website: rpm.nrel.gov/biopower/biopower/launch Equivalent URI: cleanenergysolutions.org/content/biopower-application-united-states,ht Language: English Policies: Deployment Programs DeploymentPrograms: Demonstration & Implementation BioPower is an interactive map for comparing biomass feedstocks and biopower by location. This tool helps users select from and apply biomass data layers to a map as well as query and download biopower and feedstock data. The analysis function offers common conversion factors that allow users to determine the potential biopower production for a selected

20

Using CSP to verify sequential consistency  

Science Conference Proceedings (OSTI)

This paper shows how the theory of Communicating Sequential Processes (CSP) can be used to establish that a protocol guarantees sequential consistency. The protocol in question is an accepted design based upon lazy caching; it is an ideal example for ... Keywords: CSP, lazy caching protocol, sequential consistency, specification, verification

Gavin Lowe; Jim Davies

1999-06-01T23:59:59.000Z

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


21

Anonymity and CSP for Voting Systems Murat Moran, James Heather, Steve Schneider  

E-Print Network (OSTI)

Anonymity and CSP for Voting Systems Murat Moran, James Heather, Steve Schneider Department Processes (CSP). In addition, we formalise conventional voting system with CSP and analyse whether our and the weak anonymity is more suitable specification for the voting processes. Keywords: anonymity, CSP

Doran, Simon J.

22

A biopower triumph -- The gasification story  

DOE Green Energy (OSTI)

Biomass is a proven option for electricity generation. A diverse range of biopower producers includes electric utilities, independent power producers, and the pulp and paper industry. To help expand opportunities for biomass power production, the U.S. Department of Energy established the Biopower Program and is sponsoring efforts to increase the productivity of dedicated energy crops. The Program aims to double biomass conversion efficiencies, thus reducing biomass power generation costs. These efforts will promote industrial and agricultural growth, improve the environment, create jobs, increase U.S. energy security, and provide new export markets.

Shepherd, P.

2000-06-02T23:59:59.000Z

23

BPRe Biopower Renewable Energy Inc | Open Energy Information  

Open Energy Info (EERE)

BPRe Biopower Renewable Energy Inc BPRe Biopower Renewable Energy Inc Jump to: navigation, search Name BPRe Biopower Renewable Energy Inc. Place Bad Nauheim, Hessen, Germany Zip 61231 Sector Biomass Product BPRe focusses on electricity generation from biomass. With its partners the company is active throughout the value chain. BPRe's headquarter is in Oregon, Aloha; the operating office in Germany. References BPRe Biopower Renewable Energy Inc.[1] LinkedIn Connections CrunchBase Profile No CrunchBase profile. Create one now! This article is a stub. You can help OpenEI by expanding it. BPRe Biopower Renewable Energy Inc. is a company located in Bad Nauheim, Hessen, Germany . References ↑ "BPRe Biopower Renewable Energy Inc." Retrieved from "http://en.openei.org/w/index.php?title=BPRe_Biopower_Renewable_Energy_Inc&oldid=342998"

24

Highlights of Biopower Technical Assessment: State of the Industry and the Technology  

SciTech Connect

This report summarizes the findings of the Biopower Technical Assessment, which reviews the state of the biopower industry and the technology for producing electricity and heat from biomass.

Bain, R. L.; Amos, W. P.; Downing, M.; Perlack, R. L.

2003-04-01T23:59:59.000Z

25

A CSP Approach to Control in Event-B Steve Schneider1  

E-Print Network (OSTI)

A CSP Approach to Control in Event-B Steve Schneider1 , Helen Treharne1 , and Heike Wehrheim2 1 CSP to provide ex- plicit control flow for an Event-B model and alternatively to provide a way as the basis of a running example to illustrate the framework. Keywords: Event-B, CSP, control flow

Paris-Sud XI, Université de

26

Comparison of problem model change mechanisms issued from CSP and TRIZ  

E-Print Network (OSTI)

1 Comparison of problem model change mechanisms issued from CSP and TRIZ RRoollaanndd DDee GGuuiioo satisfaction problem (CSP), on the other hand. Keywords: over-constrained problems, dialectical methods issued from CSP and TRIZ 2 · a set of evaluation parameters, which represent the objective of the problem

Paris-Sud XI, Université de

27

WELtec BioPower GmbH | Open Energy Information  

Open Energy Info (EERE)

Saxony, Germany Zip 49377 Sector Services Product WELtec BioPower provides turnkey biogas plants and related services. Coordinates 52.728997, 8.286404 Loading map......

28

NREL: Energy Analysis - Biopower Results - Life Cycle Assessment...  

NLE Websites -- All DOE Office Websites (Extended Search)

Biopower Results - Life Cycle Assessment Review For more information, visit: Special Report on Renewable Energy Sources and Climate Change Mitigation: Bioenergy OpenEI: Data,...

29

Keyword programming in Java  

E-Print Network (OSTI)

Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of unordered keywords provided by the user into a valid expression. ...

Little, Danny Greg

30

Discriminative keyword spotting  

Science Conference Proceedings (OSTI)

This paper proposes a new approach for keyword spotting, which is based on large margin and kernel methods rather than on HMMs. Unlike previous approaches, the proposed method employs a discriminative learning procedure, in which the learning phase aims ... Keywords: Discriminative models, Keyword spotting, Large margin and kernel methods, Speech recognition, Spoken term detection, Support vector machines

Joseph Keshet; David Grangier; Samy Bengio

2009-04-01T23:59:59.000Z

31

Capturing conflict and confusion in CSP  

Science Conference Proceedings (OSTI)

Traditionally, developers of concurrent systems have adopted two distinct approaches: those with truly concurrent semantics and those with interleaving semantics. In the coarser interleaving interpretation parallelism can be captured in terms of non-determinism ... Keywords: CSP, Petri nets, automatic verification, conflict, confusion, interleaving concurrency, true concurrency

Christie Marrne Bolton

2007-07-01T23:59:59.000Z

32

Adding conflict and confusion to CSP  

Science Conference Proceedings (OSTI)

In the development of concurrent systems two differing approaches have arisen: those with truly concurrent semantics and those with interleaving semantics. The difference between these two approaches is that in the coarser interleaving ... Keywords: CSP, Petri nets, automatic verification, conflict, confusion, interleaving concurrency, true concurrency

Christie Bolton

2005-07-01T23:59:59.000Z

33

Property:PotentialBiopowerGaseousGeneration | Open Energy Information  

Open Energy Info (EERE)

PotentialBiopowerGaseousGeneration PotentialBiopowerGaseousGeneration Jump to: navigation, search Property Name PotentialBiopowerGaseousGeneration Property Type Quantity Description The estimated potential energy generation from gaseous biopower for a particular place. Use this type to express a quantity of energy. The default unit for energy on OpenEI is the Kilowatt hour (kWh), which is 3,600,000 Joules. http://en.wikipedia.org/wiki/Unit_of_energy It's possible types are Watt hours - 1000 Wh, Watt hour, Watthour Kilowatt hours - 1 kWh, Kilowatt hour, Kilowatthour Megawatt hours - 0.001 MWh, Megawatt hour, Megawatthour Gigawatt hours - 0.000001 GWh, Gigawatt hour, Gigawatthour Joules - 3600000 J, Joules, joules Pages using the property "PotentialBiopowerGaseousGeneration" Showing 25 pages using this property. (previous 25) (next 25)

34

Property:PotentialBiopowerGaseousMass | Open Energy Information  

Open Energy Info (EERE)

PotentialBiopowerGaseousMass PotentialBiopowerGaseousMass Jump to: navigation, search Property Name PotentialBiopowerGaseousMass Property Type Quantity Description The potential mass of gaseous biopower material for a place. Use this type to express a quantity of magnitude, or an object's resistance to acceleration. The default unit is the kilogram (kg). http://en.wikipedia.org/wiki/Kilogram Acceptable units (and their conversions) are: Kilograms - 1 kg, kilo, kilogram, kilograms, Kilogram, kilogramme, kilos Grams - 1000 g, gram, gramme, grams Tonnes - 0.001 tonnes, metric tons, Tonnes, Metric Tonnes Pounds - 2.205 lbs, pounds, pound, Pounds, Lbs Stone - 0.1575 stones, st, stone Ounces - 35.27 ounces, oz, Ounces, ounce BDT - 0.001 BDT, Bone Dry Tonnes, bdt Pages using the property "PotentialBiopowerGaseousMass"

35

Property:PotentialBiopowerSolidGeneration | Open Energy Information  

Open Energy Info (EERE)

PotentialBiopowerSolidGeneration PotentialBiopowerSolidGeneration Jump to: navigation, search Property Name PotentialBiopowerSolidGeneration Property Type Quantity Description The estimated potential energy generation from solid biopower for a particular place. Use this type to express a quantity of energy. The default unit for energy on OpenEI is the Kilowatt hour (kWh), which is 3,600,000 Joules. http://en.wikipedia.org/wiki/Unit_of_energy It's possible types are Watt hours - 1000 Wh, Watt hour, Watthour Kilowatt hours - 1 kWh, Kilowatt hour, Kilowatthour Megawatt hours - 0.001 MWh, Megawatt hour, Megawatthour Gigawatt hours - 0.000001 GWh, Gigawatt hour, Gigawatthour Joules - 3600000 J, Joules, joules Pages using the property "PotentialBiopowerSolidGeneration" Showing 25 pages using this property. (previous 25) (next 25)

36

CSP'960H/CSP-960S Installation Guide  

E-Print Network (OSTI)

CSP'960H/CSP-960S Installation Guide 4-634-979-01 TM Read First! 1^00 - 3lG - 755; #12;CSP-960H/CSP CSP-960H only) J Sony CDU926S CD-R Drive Unit User's Guide Use this manual as a guide to help you. If all the items are not found, please contact your Sony dealer before proceeding. G CSP-960H/960S CD

Kleinfeld, David

37

JGI - CSP Overview  

NLE Websites -- All DOE Office Websites (Extended Search)

Overview of the Community Science Program CSP | Overview | How to Propose a Project | Review Process | DOE Relevance Proposal Schedule | FAQ What is the Community Science Program?...

38

Property:PotentialBiopowerSolidCapacity | Open Energy Information  

Open Energy Info (EERE)

PotentialBiopowerSolidCapacity PotentialBiopowerSolidCapacity Jump to: navigation, search Property Name PotentialBiopowerSolidCapacity Property Type Quantity Description The nameplate capacity technical potential from solid biopower for a particular place. Use this property to express potential electric energy generation, such as Nameplate Capacity. The default unit is megawatts (MW). For spatial capacity, use property Volume. Acceptable units (and their conversions) are: 1 MW,MWe,megawatt,Megawatt,MegaWatt,MEGAWATT,megawatts,Megawatt,MegaWatts,MEGAWATT,MEGAWATTS 1000 kW,kWe,KW,kilowatt,KiloWatt,KILOWATT,kilowatts,KiloWatts,KILOWATT,KILOWATTS 1000000 W,We,watt,watts,Watt,Watts,WATT,WATTS 1000000000 mW,milliwatt,milliwatts,MILLIWATT,MILLIWATTS 0.001 GW,gigawatt,gigawatts,Gigawatt,Gigawatts,GigaWatt,GigaWatts,GIGAWATT,GIGAWATTS

39

Property:PotentialBiopowerGaseousCapacity | Open Energy Information  

Open Energy Info (EERE)

PotentialBiopowerGaseousCapacity PotentialBiopowerGaseousCapacity Jump to: navigation, search Property Name PotentialBiopowerGaseousCapacity Property Type Quantity Description The nameplate capacity technical potential from gaseous biopower for a particular place. Use this property to express potential electric energy generation, such as Nameplate Capacity. The default unit is megawatts (MW). For spatial capacity, use property Volume. Acceptable units (and their conversions) are: 1 MW,MWe,megawatt,Megawatt,MegaWatt,MEGAWATT,megawatts,Megawatt,MegaWatts,MEGAWATT,MEGAWATTS 1000 kW,kWe,KW,kilowatt,KiloWatt,KILOWATT,kilowatts,KiloWatts,KILOWATT,KILOWATTS 1000000 W,We,watt,watts,Watt,Watts,WATT,WATTS 1000000000 mW,milliwatt,milliwatts,MILLIWATT,MILLIWATTS 0.001 GW,gigawatt,gigawatts,Gigawatt,Gigawatts,GigaWatt,GigaWatts,GIGAWATT,GIGAWATTS

40

Evergreen Biopower LLC Biomass Facility | Open Energy Information  

Open Energy Info (EERE)

Evergreen Biopower LLC Biomass Facility Evergreen Biopower LLC Biomass Facility Jump to: navigation, search Name Evergreen Biopower LLC Biomass Facility Facility Evergreen Biopower LLC Sector Biomass Owner Freres Lumber Co. Location Lyons, Oregon Coordinates 44.7745664°, -122.6150855° Loading map... {"minzoom":false,"mappingservice":"googlemaps3","type":"ROADMAP","zoom":14,"types":["ROADMAP","SATELLITE","HYBRID","TERRAIN"],"geoservice":"google","maxzoom":false,"width":"600px","height":"350px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"wmsoverlay":"","layers":[],"controls":["pan","zoom","type","scale","streetview"],"zoomstyle":"DEFAULT","typestyle":"DEFAULT","autoinfowindows":false,"kml":[],"gkml":[],"fusiontables":[],"resizable":false,"tilt":0,"kmlrezoom":false,"poi":true,"imageoverlays":[],"markercluster":false,"searchmarkers":"","locations":[{"text":"","title":"","link":null,"lat":44.7745664,"lon":-122.6150855,"alt":0,"address":"","icon":"","group":"","inlineLabel":"","visitedicon":""}]}

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


41

SIC (MUltiple SIgnal Classification) CSP (Cross-power Spectrum Phase)  

E-Print Network (OSTI)

2ch CSP ( ) 1 MU- SIC (MUltiple SIgnal Classification) CSP (Cross- power Spectrum Phase) [1, 2, 3, 4] [5, 6] [7, 8, 9, 10] [7] CSP CSP [8] [9] CSP [10] Estimation of talker's head orientation based (Kobe univ.) [11] 2ch CSP CSP CSP CSP 2 CSP GCC-PHAT (Generalized Cross- Correlation PHAse Transform

Takiguchi, Tetsuya

42

Modeling of CSP, KPN and SR systems with systemC  

Science Conference Proceedings (OSTI)

In this chapter we show the ability to specify with SystemC under the restrictions imposed by several model of computations, namely CSP, KPN and SR. Specifying under these MoCs provides some important properties, specially deterrninism and more protection ... Keywords: CSP, KPN, SR, model of computation, system-level design, systemC

Fernando Herrera; Pablo Snchez; Eugenio Villar

2004-01-01T23:59:59.000Z

43

Robust Talker Direction Estimation Based on Weighted CSP Analysis and Maximum Likelihood Estimation  

Science Conference Proceedings (OSTI)

This paper describes a new talker direction estimation method for front-end processing to capture distant-talking speech by using a microphone array. The proposed method consists of two algorithms: One is a TDOA (Time Delay Of Arrival) estimation algorithm ... Keywords: robust talker direction estimation, CSP analysis, CSP coefficient subtraction, ML estimation, microphone array

Yuki Denda; Takanobu Nishiura; Yoichi Yamashita

2006-03-01T23:59:59.000Z

44

A CSP-based framework for the specification, verification, and implementation of adaptive systems  

Science Conference Proceedings (OSTI)

The process algebra CSP is tailored for the specification and verification of reactive systems. Such systems react upon external stimuli by adjusting their internal behavior, e.g., to recover from errors. Adaptive systems can be regarded as a subclass ... Keywords: adaptive systems, csp, modeling, verification

Bjrn Bartels; Moritz Kleine

2011-05-01T23:59:59.000Z

45

The Complexity of #CSP  

E-Print Network (OSTI)

Bulatov (2008) has given a dichotomy for the counting constraint satisfaction problem (#CSP). A problem from #CSP is characterised by a constraint language, a fixed, finite set of relations over a finite domain. An instance of the problem uses these relations to constrain the variables in a larger set. Bulatov showed that the problem of counting the satisfying assignments of instances of any problem from #CSP is either in polynomial time (FP) or is #P-complete. His proof draws heavily on techniques from universal algebra and cannot be understood without a secure grasp of that field. We give an elementary proof of Bulatov's dichotomy, based on succinct representations, which we call frames, of a class of highly structured relations, which we call strongly rectangular. We show that these are precisely the relations which are invariant under a Mal'tsev polymorphism. En route, we give a simplification of a decision algorithm for strongly rectangular constraint languages due to Bulatov and Dalmau (2006).

Dyer, Martin

2010-01-01T23:59:59.000Z

46

CSP Today | Open Energy Information  

Open Energy Info (EERE)

CSP Today Place London, United Kingdom Zip E1 6PX Product Organiser of conferences for STEG and CPV technologies. References CSP Today1 LinkedIn Connections CrunchBase Profile No...

47

Agridea BioPower GmbH | Open Energy Information  

Open Energy Info (EERE)

Agridea BioPower GmbH Agridea BioPower GmbH Jump to: navigation, search Name Agridea BioPower GmbH Place Luebbecke, North Rhine-Westphalia, Germany Zip 32312 Product German developer and operator of biogas plants. Coordinates 52.303048°, 8.612882° Loading map... {"minzoom":false,"mappingservice":"googlemaps3","type":"ROADMAP","zoom":14,"types":["ROADMAP","SATELLITE","HYBRID","TERRAIN"],"geoservice":"google","maxzoom":false,"width":"600px","height":"350px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"wmsoverlay":"","layers":[],"controls":["pan","zoom","type","scale","streetview"],"zoomstyle":"DEFAULT","typestyle":"DEFAULT","autoinfowindows":false,"kml":[],"gkml":[],"fusiontables":[],"resizable":false,"tilt":0,"kmlrezoom":false,"poi":true,"imageoverlays":[],"markercluster":false,"searchmarkers":"","locations":[{"text":"","title":"","link":null,"lat":52.303048,"lon":8.612882,"alt":0,"address":"","icon":"","group":"","inlineLabel":"","visitedicon":""}]}

48

Property:PotentialBiopowerSolidMass | Open Energy Information  

Open Energy Info (EERE)

Property Property Edit with form History Facebook icon Twitter icon » Property:PotentialBiopowerSolidMass Jump to: navigation, search Property Name PotentialBiopowerSolidMass Property Type Quantity Description The potential mass of solid biopower material for a place. Use this type to express a quantity of magnitude, or an object's resistance to acceleration. The default unit is the kilogram (kg). http://en.wikipedia.org/wiki/Kilogram Acceptable units (and their conversions) are: Kilograms - 1 kg, kilo, kilogram, kilograms, Kilogram, kilogramme, kilos Grams - 1000 g, gram, gramme, grams Tonnes - 0.001 tonnes, metric tons, Tonnes, Metric Tonnes Pounds - 2.205 lbs, pounds, pound, Pounds, Lbs Stone - 0.1575 stones, st, stone Ounces - 35.27 ounces, oz, Ounces, ounce

49

CSP/85 1\\fanual David Middleton  

E-Print Network (OSTI)

TR 85-010 CSP/85 1\\fanual · David Middleton ·. ! June 1985 1 #12;· ... CSP/85: User a.nd implementation manual. David Middleton March 1985 Introduction. CSP/85 is a re-implementation of the CSP/80 by Jazayeri et al. in 1980 Int. Conf. on Parallel Processing (August) [IEEE]. CSP/80: A Language

North Carolina at Chapel Hill, University of

50

User manual for Timed-CSP Simulator  

E-Print Network (OSTI)

Timed Csp Simulator is based on the presentation of Timed Csp in [4]. For a brief discussion of the tool architecture see [1, 2]. The semantical questions regarding simulating Timed Csp are discussed in [3].

Hoang Nga Nguyen; Markus Roggenbach

2012-01-01T23:59:59.000Z

51

CSP ANNUAL MEETING Thursday, April 18  

E-Print Network (OSTI)

CSP ANNUAL MEETING Thursday, April 18 The Commons Hotel, Pinnacle and Continental Breakfast 9:00 AM Welcome and CSP Overview - Prof. Marc Hillmyer. William Dichtel, Cornell University 4:30 - 6:30 PM CSP student

Blanchette, Robert A.

52

Literature Review and Sensitivity Analysis of Biopower Life-Cycle Assessments and Greenhouse Gas Emission  

Science Conference Proceedings (OSTI)

Biomass power offers utilities a potential pathway to increase their renewable generation portfolios for compliance with renewable energy standards and to reduce greenhouse gas (GHG) emissions relative to current fossil-based technologies. To date, a large body of life-cycle assessment (LCA) literature assessing biopowers life-cycle GHG emissions has been published.Phase A of this project performed an exhaustive search of the biopower LCA literature yielding 117 references that ...

2013-01-30T23:59:59.000Z

53

A Simulator for Timed CSP  

E-Print Network (OSTI)

Time is an integral aspect of computer systems. It is essential for modelling a systems performance, but may also affect its safety or security. Timed CSP [Sch00] conservatively extends the process algebra CSP with timed primitives, where real numbers ? 0 model how time passes with reference to a single, conceptually global, clock. While there have been approaches for model checking Timed CSP ([Sch00, DHSZ06]), to the best of our knowledge we are the first to present a simulator for Timed CSP. Here, we restrict time to rational values only. Theoretically, this limits the expressibility of the language. Practically, this limitation turns out to be negligible (for instance all examples of Schneiders book [Sch00] can be dealt with in our simulator). The simulator is the outcome of an undergraduate project at Swansea University [Dra11]. Our Timed CSP simulator extends the open source tool ProB [Leu]. ProBs CSP simulator works as follows: The CSP specification is analyzed by a parser (written in Haskell) and translated to a representation in Prolog. A CSP Interpreter (in Prolog) stores the firing rules of CSPs operational semantics. The Simulator (also in Prolog) determines the actions available and the resultant states. A GUI (written in Tcl/Tk) allows the user to interact with the Simulator. Timed CSP is closed under rational time [DNR11]. Consider, for example, the following firing rule ( t ? stands for a timed transition of duration t): P d? ? P ? (P ?d Q) d?

Marc Dragon; Andy Gimblett; Markus Roggenbach; Jens Bendisposto; Cliff Jones; Michael Leuschel; Er Romanovsky; Tiziana Margaria; Julia Padberg; Gabriele Taentzer; Marc Dragon; Andy Gimblett; Markus Roggenbach

2011-01-01T23:59:59.000Z

54

Timed CSP: A Retrospective Joel Ouaknine 1  

E-Print Network (OSTI)

APC 2005 Timed CSP: A Retrospective Jo¨el Ouaknine 1 Oxford University Computing Laboratory, UK Timed CSP, from its inception nearly twenty years ago to very recent semantical and algorithmic developments. Key words: Process algebra, Timed CSP. Timed CSP was first proposed in 1986 by Reed and Roscoe

Schneider, Steve

55

CSP Policies & Procedures Process for Grade Appeals  

E-Print Network (OSTI)

CSP Policies & Procedures Process for Grade Appeals Grade Appeals ­ Generally speaking, once grades

Leistikow, Bruce N.

56

Communication and Computation in Distributed CSP Algorithms  

E-Print Network (OSTI)

Communication and Computation in Distributed CSP Algorithms C`esar Fern`andez1 , Ram´on B´ejar1 in the context of networked distributed systems. In order to study the performance of Distributed CSP (DisCSP consider two complete DisCSP algorithms: asynchronous backtracking (ABT) and asynchronous weak commitment

Krishnamachari, Bhaskar

57

JGI - CSP Proposal Schedule  

NLE Websites -- All DOE Office Websites (Extended Search)

Proposal Schedule Proposal Schedule CSP | Overview | How to Propose a Project | Review Process | DOE Relevance Proposal Schedule | FAQ Small-scale Microbial/Metagenome Proposals - reviewed twice yearly Small-scale proposals for specific types of microbial and metagenome projects are accepted on a continuous basis and will be reviewed twice a year. Letters of intent are not required. Deadline for submission is 60 days prior to the review date. Next review dates (submission deadline in parentheses): January 2014 (Nov 22, 2013) July 2014 (May 23, 2014) Submit small-scale microbial/metagenome proposals anytime using the Work Initiation Process (WIP) interface. Synthetic Biology proposals Synthetic biology proposals are accepted on a continuous basis and will be reviewed twice a year. Letters of intent are not required. Deadline for

58

Biopower Technical Assessment: State of the Industry and the Technology  

DOE Green Energy (OSTI)

This report provides an assessment of the state of the biopower industry and the technology for producing electricity and heat from biomass. Biopower (biomass-to-electricity generation), a proven electricity generating option in the United States and with about 11 GW of installed capacity, is the single largest source of non-hydro renewable electricity. This 11 GW of capacity encompasses about 7.5 GW of forest product industry and agricultural industry residues, about 3.0 GW of municipal solid waste-based generating capacity and 0.5 GW of other capacity such as landfill gas based production. The electricity production from biomass is being used and is expected to continue to be used as base load power in the existing electrical distribution system. An overview of sector barriers to biopower technology development is examined in Chapter 2. The discussion begins with an analysis of technology barriers that must be overcome to achieve successful technology pathways leading to the commercialization of biomass conversion and feedstock technologies. Next, an examination of institutional barriers is presented which encompasses the underlying policies, regulations, market development, and education needed to ensure the success of biopower. Chapter 3 summarizes biomass feedstock resources, characteristics, availability, delivered prices, requirements for processing, and the impediments and barriers to procurement. A discussion of lessons learned includes information on the California biomass energy industry, lessons from commercial biopower plants, lessons from selected DOE demonstration projects, and a short summary of the issues considered most critical for commercial success is presented in Chapter 4. A series of case studies, Chapter 5, have been performed on the three conversion routes for Combined Heat and Power (CHP) applications of biomass--direct combustion, gasification, and cofiring. The studies are based on technology characterizations developed by NREL and EPRI. Variables investigated include plant size and feed cost, and both cost of electricity and cost of steam are estimated using a discounted cash flow analysis. The economic basis for cost estimates is given. Environmental considerations are discussed in Chapter 6. Two primary issues that could create a tremendous opportunity for biomass are global warming and the implementation of Phase II of Title IV of the Clean Air Act Amendment of 1990 (CAAA). The environmental benefits of biomass technologies are among its greatest assets. Global warming is gaining greater salience in the scientific community and among the general population. Biomass use can play an essential role in reducing greenhouse gases, thus reducing the impact on the atmosphere. Cofiring biomass and fossil fuels and the use of integrated biomass gasification combined cycle systems can be an effective strategy for electric utilities to reduce their emissions of greenhouse gases. The final chapter reviews pertinent Federal government policies. U.S. government policies are used to advance energy strategies such as energy security and environmental quality. Many of the benefits of renewable energy are not captured in the traditional marketplace economics. Government policies are a means of converting non-economic benefits to an economic basis, often referred to as ''internalizing'' of ''externalities.'' This may be accomplished by supporting the research, development, and demonstration of new technologies that are not funded by industry because of projected high costs or long development time lines.

Bain, R. L.; Amos, W. P.; Downing, M.; Perlack, R. L.

2003-01-01T23:59:59.000Z

59

Palladium-Catalyzed Homocoupling Reactions between Two Csp3  

E-Print Network (OSTI)

Palladium-Catalyzed Homocoupling Reactions between Two Csp3 -Csp3 Centers Aiwen Lei and Xumu Zhang A novel palladium-catalyzed coupling reaction between two Csp3-Csp3 centers has been investigated

Zhang, Xumu

60

csp land use | OpenEI Community  

Open Energy Info (EERE)

csp land use Home Sfomail's picture Submitted by Sfomail(48) Member 25 June, 2013 - 12:10 Solar Land Use Data on OpenEI acres csp land use how much land land requirements pv land...

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


61

DOE JGI CSP 2012 PI Workshop  

NLE Websites -- All DOE Office Websites (Extended Search)

CSP 2012 PI Workshop DOE Joint Genome Institute Walnut Creek, California The DOE-JGI is organizing a two-day workshop for Principal Investigators on successful CSP 2012 proposals...

62

The complexity of weighted and unweighted #CSP  

E-Print Network (OSTI)

We give some reductions among problems in (nonnegative) weighted #CSP which restrict the class of functions that needs to be considered in computational complexity studies. Our reductions can be applied to both exact and approximate computation. In particular, we show that a recent dichotomy for unweighted #CSP can be extended to rational-weighted #CSP.

Bulatov, Andrei; Goldberg, Leslie Ann; Jalsenius, Markus; Jerrum, Mark; Richerby, David

2010-01-01T23:59:59.000Z

63

CSP Theorems for Communicating B Machines  

E-Print Network (OSTI)

CSP Theorems for Communicating B Machines Steve Schneider and Helen Treharne Technical Report CSD #12;#12;Introduction 1 Abstract. Recent work on combining CSP and B has provided ways of describing sys- tems comprised of components described in both B (to express requirements on state) and CSP (to

Doran, Simon J.

64

CNMP, CSP, EMS and Writing It Down  

E-Print Network (OSTI)

CNMP, CSP, EMS and Writing It Down Bill Bland UWEX and UW-Madison, Soil Science #12;Documentation-Pest Management Program · CSP-Conservation Security Program #12;EMS Framework · EMS - "Environmental Management · Monitor progress · Review-each priority and EMS #12;CSP - Records Required · Conservation Security Program

Balser, Teri C.

65

CSP and NU(4) Libor Barto  

E-Print Network (OSTI)

CSP and NU(4) Libor Barto joint work with Marcin Kozik Department of Algebra, Charles University of Algebra, Charles University in Prague, Czech Republic CSP and NU(4) #12;Everything is finite Everything is finite Libor Barto, Marcin Kozik Department of Algebra, Charles University in Prague, Czech Republic CSP

Barto, Libor

66

Actes JFPC 2006 CSP dynamiques en configuration  

E-Print Network (OSTI)

Actes JFPC 2006 CSP dynamiques en configuration Article Jeune Chercheur JFPC'06 Thomas van'Albi-Carmaux, Route de Teillet, 81013 Albi Cedex 09 {vanouden, gaborit, aldanond, vareille}@enstimac.fr Résumé Les CSP, la configuration fait ressortir des besoins qui peuvent difficilement être traités par des CSP clas

Paris-Sud XI, Université de

67

Security properties and CSP Steve Schneider  

E-Print Network (OSTI)

Security properties and CSP Steve Schneider Royal Holloway, University of London Egham, Surrey, TW, the use of a process algebra such as Communicating Sequential Processes (CSP) seems appropriate to describe and analyse them. This paper explores ways in which security properties may be described as CSP

Doran, Simon J.

68

Verifying Statemate Statecharts Using CSP and FDR  

E-Print Network (OSTI)

Verifying Statemate Statecharts Using CSP and FDR A.W. Roscoe and Z. Wu Oxford University Computing of statecharts. We use the CSP/FDR framework to model complex systems designed in statecharts, and check translation from statecharts into CSP and exploited it in both theoretical and prac- tical senses. 1

Roscoe, Bill

69

Page 1 of 5 OUA CSP Procedures  

E-Print Network (OSTI)

Page 1 of 5 OUA CSP Procedures Author(s): Kayla Polak Date Issued: March 2013 Issuing Area: Flexible Learning Support Subject: OUA Commonwealth Supported Places (CSP) Circulation: University OUA CSP award courses. As the Flexible Learning Support office at Curtin University is the conduit

70

Labelling Heuristics for CSP Application Domains  

E-Print Network (OSTI)

Labelling Heuristics for CSP Application Domains Zeynep K#16;z#16;ltan Computer Science Division an application domain as a family of CSP models, so as to exhibit the generic constraint store for all models store and the domain propagation during search is analysed, so as to infer | before modelling any CSP

Rossi, Francesca

71

Verifying authentication protocols with CSP Steve Schneider  

E-Print Network (OSTI)

Verifying authentication protocols with CSP Steve Schneider Department of Computer Science Royal of Communicating Sequential Processes (CSP). It is il- lustrated by an examination of the Needham-Schroeder public of authentication protocols, built on top of the gen- eral CSP semantic framework. This approach aims to combine

Doran, Simon J.

72

State of the Science of Biopower Life-Cycle Greenhouse Gas Emissions  

Science Conference Proceedings (OSTI)

Biomass power offers utilities a potential pathway to increase their renewable generation portfolio for compliance with renewable energy standards and to reduce greenhouse gas emissions relative to current fossil-based technologies. To date, a large body of life-cycle assessment (LCA) literature assessing biopower's life-cycle greenhouse gas (GHG) emissions has been published. An exhaustive search of the biopower LCA literature yielded 117 references that passed quality and relevance screening criteria. ...

2011-12-30T23:59:59.000Z

73

BioPower Systems Pty Ltd | Open Energy Information  

Open Energy Info (EERE)

Systems Pty Ltd Systems Pty Ltd Jump to: navigation, search Name BioPower Systems Pty Ltd Address Suite 145 National Innovation Centre Australian Technology Park Place Eveleigh Zip 1430 Sector Marine and Hydrokinetic Phone number +61 2 9209 4237 Website http://www.biopowersystems.com Region Australia LinkedIn Connections CrunchBase Profile No CrunchBase profile. Create one now! This company is listed in the Marine and Hydrokinetic Technology Database. This company is involved in the following MHK Projects: BioSTREAM Pilot Plant bioWAVE Pilot Plant This company is involved in the following MHK Technologies: bioBase bioSTREAM bioWave This article is a stub. You can help OpenEI by expanding it. Retrieved from "http://en.openei.org/w/index.php?title=BioPower_Systems_Pty_Ltd&oldid=678254

74

Towards automatic building of document keywords  

Science Conference Proceedings (OSTI)

Document keywords are associated to documents as summarized versions of the documents' content. Considering that the number of documents is quickly growing every day, the availability of these keywords is very important. Although, usually keywords are ...

Joaquim Silva; Gabriel Lopes

2010-08-01T23:59:59.000Z

75

Data Abstraction for CSP-OZ  

E-Print Network (OSTI)

. 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

1999-01-01T23:59:59.000Z

76

JGI - CSP Proposal Study Panel  

NLE Websites -- All DOE Office Websites (Extended Search)

User Programs User Programs Project Management Office Community Science Program Emerging Technologies Opportunity Program Technology Development Pilot Program Genomic Encyc. of Bacteria and Archaea MyJGI: Information for Collaborators The CSP Proposal Study Panel CSP | Overview | How to Propose a Project | Review Process | DOE Relevance Proposal Schedule | Project Management | Forms | FAQ | People and Contacts Members Nina Agabian University of California, San Francisco, http://www.ucsf.edu Chris Amemiya Benaroya Research Institute at Virginia Mason, http://www.benaroyaresearch.org Gary L. Andersen Lawrence Berkeley National Laboratory, http://www.lbl.gov Jo Ann Banks Purdue University, http://www.purdue.edu John Battista Louisiana State University, http://www.lsu.edu Fred Brockman

77

An Introductory wander around CSP. Sometimes mentioning extensions.  

E-Print Network (OSTI)

An Introductory wander around CSP. Sometimes mentioning extensions. A.E.Lawrence A ... 1960 1965 1970 1975 1980 1985 1990 1995 2000 2005 Semaphores Monitors Events: CSP CSP CCS -calculus CPA Semaphores Monitors Events: CSP CSP CCS -calculus The crucial idea of the atomic event was from Dijkstra. CPA

Lawrence, Adrian

78

Symmetry in CSP solutions Nicoleta Neagu and Boi Faltings  

E-Print Network (OSTI)

Symmetry in CSP solutions Nicoleta Neagu and Boi Faltings Artificial Intelligence Laboratory (LIA for finding symmetric solutions of in a CSP. This method is using local symmetries of the CSP structure and research upon searching CSP solutions but few of them watch the relations between CSP solutions. In certain

Flener, Pierre

79

On the expressiveness of CSP A.W. Roscoe  

E-Print Network (OSTI)

On the expressiveness of CSP A.W. Roscoe February 16, 2011 Abstract We define "CSP express every operator of Hoare's CSP. Furthermore we show that every op- erator with CSP-like operational semantics can be simulated in CSP with the addition of an exception-throwing operator P A Q in which any

Oxford, University of

80

A generic theorem prover of CSP refinement  

E-Print Network (OSTI)

Abstract. We describe a new tool called Csp-Prover which is an interactive theorem prover dedicated to refinement proofs within the process algebra Csp. It aims specifically at proofs for infinite state systems, which may also involve infinite non-determinism. Semantically, Csp-Prover supports both the theory of complete metric spaces as well as the theory of complete partial orders. Both these theories are implemented for infinite product spaces. Technically, Csp-Prover is based on the theorem prover Isabelle. It provides a deep encoding of Csp. The tools architecture follows a generic approach which makes it easy to adapt it for various Csp models besides those studied here: the stable failures model F and the traces model T. 1

Yoshinao Isobe; Markus Roggenbach

2005-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


81

JGI - How to Propose a CSP Project  

NLE Websites -- All DOE Office Websites (Extended Search)

How to Propose a CSP Project How to Propose a CSP Project CSP | Overview | How to Propose a Project | Review Process | DOE Relevance Proposal Schedule | FAQ How do I submit my proposal? Proposals for synthetic biology and small-scale microbial and metagenome projects may be submitted at any time as brief white papers and will be reviewed every six months. Deadline for submission is 60 days prior to the review. See proposal schedule for specific dates. Submit a small-scale microbial/metagenome or synthetic biology proposal For the CSP15 annual call, a letter of intent is required to submit a proposal to JGI. Submitters whose letters of intent/proposals are approved will receive further instructions via email. Submit a CSP annual proposal For the CSP15 JGI-EMSL joint call, a letter of intent is required to submit

82

csp2B: A Practical Approach To Combining CSP and B  

E-Print Network (OSTI)

This paper describes the tool csp2B which provides a means of combining CSP-like descriptions with standard B specifications. The notation of CSP provides a convenient way of describing the order in which the operations of a B machine may occur. The function of the tool is to convert CSP-like specifications into standard machine-readable B specifications which means that they may be animated and appropriate proof obligations may be generated. Use of

Michael Butler

1999-01-01T23:59:59.000Z

83

Materials for Fuel Cells and CSP Applications  

Science Conference Proceedings (OSTI)

Mar 4, 2013 ... Materials in Clean Power Systems VIII: Durability of Materials : Materials for Fuel Cells and CSP Applications Sponsored by: TMS Structural...

84

JGI - CSP Review Process & Contract Documents  

NLE Websites -- All DOE Office Websites (Extended Search)

Review Process and Contract Documents CSP | Overview | How to Propose a Project | Review Process | DOE Relevance Proposal Schedule | FAQ Review Process Full proposals will go...

85

JGI - CSP Sequencing Plans for 2007  

NLE Websites -- All DOE Office Websites (Extended Search)

K90 mix) Why? Muyzer Delft Univ. of Technology Home > Sequencing > Sequencing Plans > CSP Sequencing Plans for 2007 UC logo DOE logo Contact Us Credits Disclaimer Access...

86

Temporal Logic Model Checking of CSP:  

E-Print Network (OSTI)

We study the possibility of doing LTL model checking on CSP speci cations in the context of re nement. We present a technique to perform LTL model checking of CSP processes using re nement checking in general and the FDR tool in particular. We present a tool which automates the translation process from LTL model checking to CSP re nement. Also, if time permits, we will present another tool which uses latest generation Prolog technology to symbolically animate, compile, and model check CSP speci cations.

Tools And Techniques; Michael Leuschel; Ivan Wolton; Thierry Massart; Laksono Adhianto

2001-01-01T23:59:59.000Z

87

Rapid automatic keyword extraction for information retrieval ...  

Methods and systems for rapid automatic keyword extraction for information retrieval and analysis. Embodiments can include parsing words in an ...

88

SunShot Initiative: Self-Cleaning CSP Collectors  

NLE Websites -- All DOE Office Websites (Extended Search)

Self-Cleaning CSP Collectors to someone by E-mail Share SunShot Initiative: Self-Cleaning CSP Collectors on Facebook Tweet about SunShot Initiative: Self-Cleaning CSP Collectors on...

89

SunShot Initiative: CSP Tower Air Brayton Combustor  

NLE Websites -- All DOE Office Websites (Extended Search)

CSP Tower Air Brayton Combustor to someone by E-mail Share SunShot Initiative: CSP Tower Air Brayton Combustor on Facebook Tweet about SunShot Initiative: CSP Tower Air Brayton...

90

Distant Observer Tool Quickly Identifies Costly Flaws in CSP...  

NLE Websites -- All DOE Office Websites (Extended Search)

combined to accurately define optical efficiency problems in concentrating solar power (CSP) plants. In a typical 100-megawatt (MW) CSP plant, an optical efficiency gain or loss...

91

SunShot Initiative: CSP Systems Research and Development  

NLE Websites -- All DOE Office Websites (Extended Search)

CSP Systems Research and Development The SunShot Initiative concentrating solar power (CSP) program funds research and development within the industry, national laboratories, and...

92

SunShot Initiative: CSP Heat Integration for Baseload Renewable...  

NLE Websites -- All DOE Office Websites (Extended Search)

CSP Heat Integration for Baseload Renewable Energy Deployment to someone by E-mail Share SunShot Initiative: CSP Heat Integration for Baseload Renewable Energy Deployment on...

93

Supporting Selective Formalism in CSP++ with Process-Specific Storage.  

E-Print Network (OSTI)

??Communicating Sequential Processes (CSP) is a formal language whose primary purpose is to model and verify concurrent systems. The CSP++ toolset was created to embody (more)

Gumtie, Alicia

2012-01-01T23:59:59.000Z

94

CSP for binary conservative relational structures  

E-Print Network (OSTI)

We prove that whenever A is a 3-conservative relational structure with only binary and unary relations then the algebra of polymorphisms of A either has no Taylor operation (i.e. CSP(A) is NP-complete), or generates a congruence meet semidistributive variety (i.e. CSP(A) has bounded width).

Kazda, Alexandr

2011-01-01T23:59:59.000Z

95

Model-Checking CSP-Z  

E-Print Network (OSTI)

Abstract. Model-checking is now widely recognised as an efficient method for analysing computer system properties, such as deadlock-freedom. Its practical applicability is due to existing automatic tools which deal with tedious proofs. Another increasingly research area is formal language integration where the capabilities of each language are used to capture precisely some aspects of a system. In this paper we describe a formal strategy for deadlock analysis of specifications in CSP-Z (a language which integrates CSP and Z). We also show how FDR (a modelchecker originally developed for CSP) can be adapted for CSP-Z. Finally, we present a subset of a CSP-Z formal specification of a real Brazilian artificial microsatellite, and use FDR to check that the specification is deadlock-free.

Alexandre Mota; Augusto Sampaio

1998-01-01T23:59:59.000Z

96

Potential of distributed wood-based biopower systems serving basic electricity needs in rural Uganda  

E-Print Network (OSTI)

$/odt), a low capacity factor for the biopower system of 0.5 (therefore requiring installation of a larger unit, State University of New York, College of Environmental Sciences and Forestry (SUNY-ESF), One Forestry to compete with alternative sources of electricity: Cost and land use estimates assumed a rather high

Vermont, University of

97

Tool support for CSP-CASL  

E-Print Network (OSTI)

This work presents the design of the specification language CSP-CASL, and the design and implementation of parsing and static analysis tools for that language. CSP-CASL is an extension of the algebraic specification language CASL, adding support for the specification of reactive systems in the style of the process algebra CSP. While CSP-CASL has been described and used in previous works, we present the first formal description of the languages syntax and static semantics. Indeed, this is the first formalisation of the static semantics of any CSP-like language of which we are aware. We describe CSP-CASL both informally and formally. We introduce and systematically describe its various components, with examples, and consider various design decisions made along the way. On the formal side, we present grammars for its abstract and concrete syntax, specify its static semantics in the style of natural semantics, and formulate a solution to the problem of computation of local top elements of CSP-CASL specifications. Going on, we describe tool support for the language, as implemented using the functional programming language Haskell; in particular, we have a parser utilising the monadic combinator library Parsec, and a static analyser directly implementing our static semantics in Haskell. The implementation extends HETS, an existing toolset for specifications written in heterogeneous combinations of languages based on CASL. Declaration This work has not been previously accepted in substance for any degree and is not being concurrently submitted in candidature for any degree.

Andy Gimblett

2007-01-01T23:59:59.000Z

98

The #CSP Dichotomy is Decidable Martin Dyer1  

E-Print Network (OSTI)

The #CSP Dichotomy is Decidable Martin Dyer1 and David Richerby 1 School of Computing, University dichotomy for the counting constraint satisfaction problem (#CSP): for any constraint language , the problem-complete problem, it is immediate that this general form of CSP, known as uniform CSP is, itself, NP

Paris-Sud XI, Université de

99

Relaxing B Sharing Restrictions within CSP B Arnaud Lanoix1  

E-Print Network (OSTI)

Relaxing B Sharing Restrictions within CSP B Arnaud Lanoix1 , Olga Kouchnarenko2 , Samuel Colin3 of state sharing in CSP B specifications: B machines controlled by various CSP parts are supposed without creating inconsistencies in CSP B specifications. To achieve this, we present an approach where

Paris-Sud XI, Université de

100

A verified development of hardware using CSP B  

E-Print Network (OSTI)

A verified development of hardware using CSP B Alistair McEwan Department of Computing University show how a combination of the process algebra CSP and the state-based formalism B, combined into a single notation called CSP B can be used in the formal development of hardware. The use of CSP B

Schneider, Steve

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


101

An Incremental and Nonbinary CSP Solver: The Hyperpolyhedron Search Algorithm  

E-Print Network (OSTI)

An Incremental and Non­binary CSP Solver: The Hyperpolyhedron Search Algorithm Miguel A. Salido and scheduling can be expressed in a natural way as a Constraint Satisfaction Problem (CSP). It is well known that a non­binary CSP can be transformed into an equivalent binary CSP using some of the actual techniques

Rossi, Francesca

102

Constraint Orientated Specification with CSP and Real Time Temporal Logic  

E-Print Network (OSTI)

Constraint Orientated Specification with CSP and Real Time Temporal Logic Justin Pearson Department Processes (CSP) [Hoa85] and a version of Propositional Temporal Logic (PTL), derived from [Eme90]. CSP. The behaviour of a CSP process is dependent on its environment; it is therefore difficult to assert global

Kent, University of

103

Structured CSP A Process Algebra as an Institution  

E-Print Network (OSTI)

Structured CSP ­ A Process Algebra as an Institution Till Mossakowski1 and Markus Roggenbach2 1 Kingdom, M.Roggenbach@Swan.ac.uk Abstract. We introduce two institutions for the process algebra Csp, one for Csp. With a small example we demonstrate that structuring indeed makes sense for Csp. 1 Introduction

Mossakowski, Till - Deutschen Forschungszentrum für Künstliche Intelligenz & Fachbereich 3

104

Structured CSP --A Process Algebra as an Institution #  

E-Print Network (OSTI)

Structured CSP -- A Process Algebra as an Institution # Till Mossakowski 1 and Markus Roggenbach 2 Csp, one for the traces model, and one for the stable failures model. The construction is generic institution) also for Csp. With a small example we demonstrate that structuring indeed makes sense for Csp. 1

Mossakowski, Till - Deutschen Forschungszentrum für Künstliche Intelligenz & Fachbereich 3

105

Model checking Timed CSP Philip Armstrong Gavin Lowe Joel Ouaknine  

E-Print Network (OSTI)

Model checking Timed CSP Philip Armstrong Gavin Lowe Jo¨el Ouaknine A.W. Roscoe Oxford University Department of Computer Science Abstract Though Timed CSP was developed 25 years ago and the CSP for Timed CSP. In this paper we report on the creation of such a version, based on the digitisation results

Ouaknine, Joël

106

Rational Deployment of CSP Heuristics  

E-Print Network (OSTI)

Heuristics are crucial tools in decreasing search effort in varied fields of AI. In order to be effective, a heuristic must be efficient to compute, as well as provide useful information to the search algorithm. However, some well-known heuristics which do well in reducing backtracking are so heavy that the gain of deploying them in a search algorithm might be outweighed by their overhead. We propose a rational metareasoning approach to decide when to deploy heuristics, using CSP backtracking search as a case study. In particular, a value of information approach is taken to adaptive deployment of solution-count estimation heuristics for value ordering. Empirical results show that indeed the proposed mechanism successfully balances the tradeoff between decreasing backtracking and heuristic computational overhead, resulting in a significant overall search time reduction.

Tolpin, David

2011-01-01T23:59:59.000Z

107

GIS keyword | OpenEI Community  

Open Energy Info (EERE)

GIS keyword GIS keyword Home > Groups > Geospatial NickL's picture Submitted by NickL(46) Member 25 June, 2012 - 21:45 geospatial data GIS GIS data Explore the geospatial datasets in OpenEI's datasets by using the keyword GIS to filter search results. Over 220 results contain the GIS keyword and include US and global energy data. Search solar, wind, biomass and wave energy resources. Do you have GIS data you would like to share? Please add it to OpenEI's growing datasets and let the community know what you've shared. Groups: Geospatial Login to post comments Latest discussions NickL GIS keyword Posted: 25 Jun 2012 - 21:45 by NickL Groups Menu You must login in order to post into this group. Latest discussion comments No comments have been made yet Recent content Hi-Yes, you are correct wi...

108

CSP Technology, Markets and Development Presentation | Open Energy  

Open Energy Info (EERE)

CSP Technology, Markets and Development Presentation CSP Technology, Markets and Development Presentation Jump to: navigation, search Tool Summary LAUNCH TOOL Name: CSP Technology, Markets and Development Presentation Agency/Company /Organization: National Renewable Energy Laboratory Sector: Energy Focus Area: Solar, - Concentrating Solar Power Topics: Market analysis, Technology characterizations Resource Type: Presentation, Training materials Website: prod-http-80-800498448.us-east-1.elb.amazonaws.com//w/images/0/0a/CSP_ References: CSP Technology, Markets and Development Presentation[1] Presentation References ↑ "CSP Technology, Markets and Development Presentation" Retrieved from "http://en.openei.org/w/index.php?title=CSP_Technology,_Markets_and_Development_Presentation&oldid=686664"

109

Fuel Economy and Emissions of the Ethanol-Optimized Saab 9-5 Biopower  

Science Conference Proceedings (OSTI)

Saab Automobile recently released the BioPower engines, advertised to use increased turbocharger boost and spark advance on ethanol fuel to enhance performance. Specifications for the 2.0 liter turbocharged engine in the Saab 9-5 Biopower 2.0t report 150 hp on gasoline and a 20% increase to 180 hp on E85 (nominally 85% ethanol, 15% gasoline). While FFVs sold in the U.S. must be emissions certified on Federal Certification Gasoline as well as on E85, the European regulations only require certification on gasoline. Owing to renewed and growing interest in increased ethanol utilization in the U.S., a European-specification 2007 Saab 9-5 Biopower 2.0t was acquired by the Department of Energy and Oak Ridge National Laboratory (ORNL) for benchmark evaluations. Results show that the BioPower vehicle's gasoline equivalent fuel economy on the Federal Test Procedure (FTP) and the Highway Fuel Economy Test (HFET) are on par with similar U.S.-legal flex-fuel vehicles. Regulated and unregulated emissions measurements on the FTP and the US06 aggressive driving test (part of the supplemental FTP) show that despite the lack of any certification testing requirement in Europe on E85 or on the U.S. cycles, the BioPower is within Tier 2, Bin 5 emissions levels (note that full useful life emissions have not been measured) on the FTP, and also within the 4000 mile US06 emissions limits. Emissions of hydrocarbon-based hazardous air pollutants are higher on Federal Certification Gasoline while ethanol and aldehyde emissions are higher on ethanol fuel. The advertised power increase on E85 was confirmed through acceleration tests on the chassis dyno as well as on-road.

West, Brian H [ORNL; Lopez Vega, Alberto [ORNL; Theiss, Timothy J [ORNL; Graves, Ronald L [ORNL; Storey, John Morse [ORNL; Lewis Sr, Samuel Arthur [ORNL

2007-01-01T23:59:59.000Z

110

SunShot Initiative: CSP Systems Research and Development  

NLE Websites -- All DOE Office Websites (Extended Search)

CSP Systems Research and CSP Systems Research and Development to someone by E-mail Share SunShot Initiative: CSP Systems Research and Development on Facebook Tweet about SunShot Initiative: CSP Systems Research and Development on Twitter Bookmark SunShot Initiative: CSP Systems Research and Development on Google Bookmark SunShot Initiative: CSP Systems Research and Development on Delicious Rank SunShot Initiative: CSP Systems Research and Development on Digg Find More places to share SunShot Initiative: CSP Systems Research and Development on AddThis.com... Concentrating Solar Power Systems Parabolic Trough Linear Fresnel Power Tower Dish Engine Components Competitive Awards Staff Photovoltaics Systems Integration Balance of Systems CSP Systems Research and Development The SunShot Initiative concentrating solar power (CSP) program funds

111

Model-Checking CSP-OZ Specifications with FDR  

E-Print Network (OSTI)

CSP-OZ is a formal method integrating two different specifications formalisms into one: the formalism Object-Z for the description of static aspects, and the process algebra CSP for the description of the dynamic behaviour of systems. The semantics of CSP-OZ is failure divergence taken from the process algebra side. In this paper we propose a method for checking correctness of CSP-OZ specifications via a translation into the CSP dialect of the model checker FDR.

Clemens Fischer; Heike Wehrheim

1999-01-01T23:59:59.000Z

112

Session: CSP Advanced Systems -- Advanced Overview (Presentation)  

DOE Green Energy (OSTI)

The project description is: (1) it supports crosscutting activities, e.g. advanced optical materials, that aren't tied to a single CSP technology and (2) it supports the 'incubation' of new concepts in preliminary stages of investigation.

Mehos, M.

2008-04-01T23:59:59.000Z

113

CSP Tower Air Brayton Combustor (Fact Sheet)  

SciTech Connect

Southwest Research Institute is one of the 2012 SunShot CSP R&D awardees for their advanced power cycles. This fact sheet explains the motivation, description, and impact of the project.

Not Available

2012-09-01T23:59:59.000Z

114

Verifying statemate statecharts using CSP and FDR  

Science Conference Proceedings (OSTI)

We propose a framework for the verification of statecharts. We use the CSP/FDR framework to model complex systems designed in statecharts, and check for system consistency or verify special properties within the specification. We have developed an automated ...

A. W. Roscoe; Z. Wu

2006-11-01T23:59:59.000Z

115

Boosting CSP Production with Thermal Energy Storage  

Science Conference Proceedings (OSTI)

Combining concentrating solar power (CSP) with thermal energy storage shows promise for increasing grid flexibility by providing firm system capacity with a high ramp rate and acceptable part-load operation. When backed by energy storage capability, CSP can supplement photovoltaics by adding generation from solar resources during periods of low solar insolation. The falling cost of solar photovoltaic (PV) - generated electricity has led to a rapid increase in the deployment of PV and projections that PV could play a significant role in the future U.S. electric sector. The solar resource itself is virtually unlimited; however, the actual contribution of PV electricity is limited by several factors related to the current grid. The first is the limited coincidence between the solar resource and normal electricity demand patterns. The second is the limited flexibility of conventional generators to accommodate this highly variable generation resource. At high penetration of solar generation, increased grid flexibility will be needed to fully utilize the variable and uncertain output from PV generation and to shift energy production to periods of high demand or reduced solar output. Energy storage is one way to increase grid flexibility, and many storage options are available or under development. In this article, however, we consider a technology already beginning to be used at scale - thermal energy storage (TES) deployed with concentrating solar power (CSP). PV and CSP are both deployable in areas of high direct normal irradiance such as the U.S. Southwest. The role of these two technologies is dependent on their costs and relative value, including how their value to the grid changes as a function of what percentage of total generation they contribute to the grid, and how they may actually work together to increase overall usefulness of the solar resource. Both PV and CSP use solar energy to generate electricity. A key difference is the ability of CSP to utilize high-efficiency TES, which turns CSP into a partially dispatchable resource. The addition of TES produces additional value by shifting the delivery of solar energy to periods of peak demand, providing firm capacity and ancillary services, and reducing integration challenges. Given the dispatchability of CSP enabled by TES, it is possible that PV and CSP are at least partially complementary. The dispatchability of CSP with TES can enable higher overall penetration of the grid by solar energy by providing solar-generated electricity during periods of cloudy weather or at night, when PV-generated power is unavailable. Such systems also have the potential to improve grid flexibility, thereby enabling greater penetration of PV energy (and other variable generation sources such as wind) than if PV were deployed without CSP.

Denholm, P.; Mehos, M.

2012-06-01T23:59:59.000Z

116

Functional Characterization of the csp Homologs of E. coli K-12.  

E-Print Network (OSTI)

??E. coli K-12 contains nine csp paralogs, cspA cspI. Although the csp paralogs are conserved sequences that produce highly similar proteins, expression of each (more)

Ventrice, Christina

2004-01-01T23:59:59.000Z

117

BioPower Atlas and BioFuels Atlas | Open Energy Information  

Open Energy Info (EERE)

BioPower Atlas and BioFuels Atlas BioPower Atlas and BioFuels Atlas Jump to: navigation, search Tool Summary LAUNCH TOOL Name: BioPower Atlas and BioFuels Atlas Agency/Company /Organization: National Renewable Energy Laboratory Sector: Energy Focus Area: Biomass Topics: Resource assessment Resource Type: Dataset, Maps, Software/modeling tools User Interface: Website Website: maps.nrel.gov/bioenergyatlas Country: United States Web Application Link: maps.nrel.gov/biomass Cost: Free UN Region: Northern America Coordinates: 37.09024°, -95.712891° Loading map... {"minzoom":false,"mappingservice":"googlemaps3","type":"ROADMAP","zoom":14,"types":["ROADMAP","SATELLITE","HYBRID","TERRAIN"],"geoservice":"google","maxzoom":false,"width":"600px","height":"350px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"wmsoverlay":"","layers":[],"controls":["pan","zoom","type","scale","streetview"],"zoomstyle":"DEFAULT","typestyle":"DEFAULT","autoinfowindows":false,"kml":[],"gkml":[],"fusiontables":[],"resizable":false,"tilt":0,"kmlrezoom":false,"poi":true,"imageoverlays":[],"markercluster":false,"searchmarkers":"","locations":[{"text":"","title":"","link":null,"lat":37.09024,"lon":-95.712891,"alt":0,"address":"","icon":"","group":"","inlineLabel":"","visitedicon":""}]}

118

Complexity of Counting CSP with Complex Weights  

E-Print Network (OSTI)

We give a complexity dichotomy theorem for the counting Constraint Satisfaction Problem (#CSP in short) with complex weights. To this end, we give three conditions for its tractability. Let F be any finite set of complex-valued functions, then we prove that #CSP(F) is solvable in polynomial time if all three conditions are satisfied; and is #P-hard otherwise. Our complexity dichotomy generalizes a long series of important results on counting problems: (a) the problem of counting graph homomorphisms is the special case when there is a single symmetric binary function in F; (b) the problem of counting directed graph homomorphisms is the special case when there is a single not-necessarily-symmetric binary function in F; and (c) the standard form of #CSP is when all functions in F take values in {0,1}.

Cai, Jin-Yi

2011-01-01T23:59:59.000Z

119

Solving planning-graph by compiling it into CSP  

E-Print Network (OSTI)

Although the deep affinity between Graphplan's backward search, and the process of solving constraint satisfaction problems has been noted earlier, these relations have hither-to been primarily used to adapt CSP search techniques into the backward search phase of Graphplan. This paper describes GP-CSP, a system that does planning by automatically converting Graphplan's planning graph into a CSP encoding, and solving the CSP encoding using standard CSP solvers. Our comprehensive empirical evaluation of GP-CSP demonstrates that it is quite competitive with both standard Graphplan and Blackbox system, which compiles planning graphs into SAT encodings. We discuss the many advantages offered by focusing on CSP encodings rather than SAT encodings, including the fact that by exploiting implicit constraint representations, GP-CSP tends to be less susceptible to memory blow-up associated with methods that compile planning problems into SAT encodings. Our work is inspired by t...

Minh Binh Do; Subbarao Kambhampati

2000-01-01T23:59:59.000Z

120

NREL: Technology Transfer - NREL Mission and CSP Highlighted ...  

National Renewable Energy Laboratory Technology Transfer NREL Mission and CSP Highlighted in Innovation Magazine April 29, 2008. Laboratory Director ...

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


121

Overview of the 1000 MW CSP Southwest Initiative (Presentation)  

DOE Green Energy (OSTI)

This presentation discusses the costs, potential, and benefits of large-scale concentrating solar power (CSP) deployment.

Mehos, M. S.

2004-07-01T23:59:59.000Z

122

EBSD Analysis of Complex Microstructures of CSP Processed Low ...  

Science Conference Proceedings (OSTI)

Symposium, Characterization of Minerals, Metals, and Materials. Presentation Title, EBSD Analysis of Complex Microstructures of CSP Processed Low Carbon...

123

Actes JFPC 2007 Hybridation de prouveurs CSP et apprentissage  

E-Print Network (OSTI)

Actes JFPC 2007 Hybridation de prouveurs CSP et apprentissage Julien Vion CRIL-CNRS FRE 2499'approche générique la plus efficace pour résoudre des Problèmes de Satisfaction de Contraintes (CSP) difficiles et de de contraintes ainsi que des affecta- tions gloutonnes. Sur un grand nombre d'instances de CSP

Paris-Sud XI, Université de

124

Proposal of CSP based Network Design and Construction  

E-Print Network (OSTI)

Proposal of CSP based Network Design and Construction Session:Network and Protocol Short PaperWire network. The design was based on a formal method using CSP ( Communicating Sequential Processes]. In this paper we discuss the reason why we use CSP as a formal design method for the router-network system

Fukunaga, Chikara

125

Polymorphisms of small digraphs, and the complexity of CSP  

E-Print Network (OSTI)

Polymorphisms of small digraphs, and the complexity of CSP Libor Barto & David Stanovsk´y Charles Olomouc, February 2010 David Stanovsk´y (Prague) Polymorphisms & CSP 1 / 13 #12;Outline The aim: digraphs problem Outline of the talk: 1 Motivation = introduction to the complexity of CSP 2 Results

Stanovsky, David

126

CSP and anonymity Steve Schneider and Abraham Sidiropoulos  

E-Print Network (OSTI)

CSP and anonymity Steve Schneider and Abraham Sidiropoulos Department of Computer Science Royal. This paper is concerned with the property of anonymity. It proposes a de nition of anonymity within the CSP notation, discusses the approach taken by CSP to anonymity with respect to di erent view- points

Doran, Simon J.

127

Testing for Refinement in CSP Ana Cavalcanti1  

E-Print Network (OSTI)

Testing for Refinement in CSP Ana Cavalcanti1 and Marie-Claude Gaudel2 1 University of York Abstract. CSP is a well-established formalism for modelling and verifi- cation of concurrent reactive work on algebraic reasoning and model checking. Testing techniques based on CSP models, however, have

Paris-Sud XI, Université de

128

TOWARDS STANDARDIZATION OF CSP YIELD ASSESSMENTS Richard Meyer  

E-Print Network (OSTI)

TOWARDS STANDARDIZATION OF CSP YIELD ASSESSMENTS Richard Meyer 1 , Hans Georg Beyer 2 , Jörg. In the field of concentrating solar power (CSP) standardized procedures for the assessment of energy yields funding for CSP. Other technologies such as wind energy or photovoltaics have already implemented many

Heinemann, Detlev

129

Using a PVS Embedding of CSP to Verify Authentication Protocols  

E-Print Network (OSTI)

Using a PVS Embedding of CSP to Verify Authentication Protocols To be presented at TPHOLs'97, Bell for a veri cation method described in 14]. The PVS formalization consists of a semantic embedding of CSP]. In 14], Schneider presents such a method based on CSP 7]. The approach relies onageneral

Doran, Simon J.

130

Department of Computing CSP||B modelling for railway verification  

E-Print Network (OSTI)

University of Surrey Department of Computing Computing Sciences Report CS-12-03 CSP||B modelling Schneider Helen Treharne March 30th 2012 #12;CSP||B modelling for railway verification: the double junction work in verifying railway systems through CSP k B modelling and analysis. In particular we consider

Doran, Simon J.

131

The Complexity of Weighted Boolean #CSP with Mixed Signs  

E-Print Network (OSTI)

The Complexity of Weighted Boolean #CSP with Mixed Signs Andrei Bulatova , Martin Dyerb , Leslie constraint satisfaction problem (CSP), which corresponds to the case where all functions in have range {0, 1}. The problem we consider here is to compute the partition function of a given instance of weighted CSP; that is

Bulatov, Andrei

132

Processus communicants Communication synchrone CSP/CCS/-calcul  

E-Print Network (OSTI)

Processus communicants Communication synchrone CSP/CCS/-calcul Rendez-vous étendu Ada Huitième partie Processus communicants CSP/Ada Systèmes concurrents 2 / 44 #12;Processus communicants Communication synchrone CSP/CCS/-calcul Rendez-vous étendu Ada Principes Synchronisation Désignation

Grigoras, .Romulus

133

CSP is expressive enough for A.W. Roscoe  

E-Print Network (OSTI)

CSP is expressive enough for A.W. Roscoe Oxford University Computing Laboratory {Bill.Roscoe@comlab.ox.ac.uk} Abstract. Recent results show that Hoare's CSP, augmented by one additional operator, can express every operator whose operational semantics are expressible in a new notation and are therefore "CSP

Oxford, University of

134

Department of Computing Stepwise Refinement in Event-B||CSP  

E-Print Network (OSTI)

in Event-B||CSP Part 1: Safety Steve Schneider, Helen Treharne and Heike Wehrheim March 12th 2011 #12;Stepwise Refinement in Event-B CSP Part 1: Safety Steve Schneider1 Helen Treharne1 Heike Wehrheim2 1, 2011 Contents 1 Introduction 3 2 CSP 3 2.1 Notation

Doran, Simon J.

135

Relaxing B Sharing Restrictions within CSP B Arnaud Lanoix1  

E-Print Network (OSTI)

Relaxing B Sharing Restrictions within CSP B Arnaud Lanoix1 , Olga Kouchnarenko2 , Samuel Colin3.poirriez@univ-valenciennes.fr Abstract. This paper addresses the issue of state sharing in CSP B specifications: B machines controlled by various CSP parts are supposed not to refer to, share or modify the same state space. However, some kinds

Paris-Sud XI, Université de

136

CSP duality and trees of bounded pathwidth Catarina Carvalhoa  

E-Print Network (OSTI)

CSP duality and trees of bounded pathwidth Catarina Carvalhoa , V´ictor Dalmaub , Andrei Krokhin satisfaction problem (CSP) provides a framework in which it is possible to express, in a natural way, many.g., [11, 18]) that the CSP can be cast as the following fundamental problem: given two finite relational

Krokhin, Andrei

137

Using CSP for protocol analysis: the Needham-Schroeder  

E-Print Network (OSTI)

Using CSP for protocol analysis: the Needham-Schroeder Public-Key Protocol Steve Schneider Royal approach for analysis and veri cation of authentication properties in CSP. It is illustrated to the analysis of authentication protocols, built on top of the general CSP semantic framework. This approach

Doran, Simon J.

138

Concurrent and Real Time Systems: the CSP approach Steve Schneider  

E-Print Network (OSTI)

Concurrent and Real Time Systems: the CSP approach by Steve Schneider First published 1999 Systems the CSP approach Steve Schneider A Wiley-Interscience Publication JOHN WILEY & SONS, INC. New York Whitehead This book provides an introduction to Communicating Sequential Processes (CSP) and its use

Doran, Simon J.

139

The Complexity of Weighted Boolean #CSP , Sangxia Huang2  

E-Print Network (OSTI)

The Complexity of Weighted Boolean #CSP Modulo k Heng Guo1 , Sangxia Huang2 , Pinyan Lu3@gmail.com Abstract We prove a complexity dichotomy theorem for counting weighted Boolean CSP modulo k for any similar to the one for the complex weighted Boolean #CSP, found by [Cai, Lu and Xia, STOC 2009]. Then we

Paris-Sud XI, Université de

140

Using a PVS Embedding of CSP to Verify Authentication Protocols  

E-Print Network (OSTI)

Using a PVS Embedding of CSP to Verify Authentication Protocols To be presented at TPHOLs'97, Bell for a verification method described in [14]. The PVS formalization consists of a semantic embedding of CSP for this purpose [3, 16, 12, 9]. In [14], Schneider presents such a method based on CSP [7]. The approach relies

Dutertre, Bruno

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


141

Assumption-Commitment Support for CSP Model Checking  

E-Print Network (OSTI)

AVoCS 2006 Assumption-Commitment Support for CSP Model Checking Nick Moffat1 Systems Assurance using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form-Guarantee, CSP, Model Checking, Compositional Reasoning 1 Introduction The principle of compositional program

Paris-Sud XI, Université de

142

CSP duality and trees of bounded pathwidth Catarina Carvalhoa  

E-Print Network (OSTI)

CSP duality and trees of bounded pathwidth Catarina Carvalhoa , V´ictor Dalmaub , Andrei Krokhin problem (CSP) provides a framework in which it is possible to express, in a natural way, many.g., [10, 14]) that the CSP can be cast as the following fundamental problem: given two finite relational

Krokhin, Andrei

143

Timed CSP and Object-Z John Derrick  

E-Print Network (OSTI)

Timed CSP and Object-Z John Derrick Computing Laboratory, University of Kent, Canterbury, CT2 7NF a simple integration of timed CSP and Object-Z. Following existing work, the components in such an inte- gration are written as either Object-Z classes, or timed CSP processes, and are combined together using

Kent, University of

144

Polymorphic CSP Type Checking Ping Gao and Robert Esser  

E-Print Network (OSTI)

Polymorphic CSP Type Checking Ping Gao and Robert Esser Concurrent and Real­time Systems Laboratory@cs.adelaide.edu.au Abstract Communicating Sequential Processes (CSP) is a lan­ guage used to describe and reason about between a conventional functional lan­ guage type checker and a type checker for the CSP language

Esser, Robert

145

CSP DICHOTOMY FOR SPECIAL POLYADS LIBOR BARTO AND JAKUB BULIN  

E-Print Network (OSTI)

CSP DICHOTOMY FOR SPECIAL POLYADS LIBOR BARTO AND JAKUB BUL´IN Abstract. For a digraph H, the Constraint Satisfaction Problem with template H, or CSP(H), is the problem of deciding whether a given input digraph G admits a homomorphism to H. The CSP dichotomy conjecture of Feder and Vardi states that for any

Barto, Libor

146

Towards Validating a Platoon of Cristal Vehicles using CSP B  

E-Print Network (OSTI)

Towards Validating a Platoon of Cristal Vehicles using CSP B Samuel Colin1, Arnaud Lanoix1, Olga of Cristal vehicles is developed using the combination, named CSP B, of two well-known formal methods properties in a compositional way. We make use of previous theoretical results on CSP B to validate

Paris-Sud XI, Université de

147

SunShot Initiative: CSP Systems R&D  

NLE Websites -- All DOE Office Websites (Extended Search)

CSP Systems R&D to someone by E-mail Share SunShot Initiative: CSP Systems R&D on Facebook Tweet about SunShot Initiative: CSP Systems R&D on Twitter Bookmark SunShot Initiative:...

148

Rapid automatic keyword extraction for information retrieval and analysis  

SciTech Connect

Methods and systems for rapid automatic keyword extraction for information retrieval and analysis. Embodiments can include parsing words in an individual document by delimiters, stop words, or both in order to identify candidate keywords. Word scores for each word within the candidate keywords are then calculated based on a function of co-occurrence degree, co-occurrence frequency, or both. Based on a function of the word scores for words within the candidate keyword, a keyword score is calculated for each of the candidate keywords. A portion of the candidate keywords are then extracted as keywords based, at least in part, on the candidate keywords having the highest keyword scores.

Rose, Stuart J (Richland, WA); Cowley,; Wendy E (Richland, WA); Crow, Vernon L (Richland, WA); Cramer, Nicholas O (Richland, WA)

2012-03-06T23:59:59.000Z

149

Simulations Some results for probabilistic CSP 3/29 Background Testing theory pCSP Simulations Some results Background  

E-Print Network (OSTI)

Goal: Specification and proof methodologies for probabilistic concurrent systems Nondeterminism + Probability why necessary? ? Nondeterminism intrinsic to specification development la CSP ? underspecified components expressed using nondeterminism COMP ? OPTION ? underspecified COMP more specified ? Analysis of concurrent systems requires nondeterminism ?- internal choice of CSP 4/29 Background Testing theory pCSP Simulations Some results Background

Matthew Hennessy

2008-01-01T23:59:59.000Z

150

Models for CSP with availability information  

E-Print Network (OSTI)

We consider models of CSP based on recording what events are available as possible alternatives to the events that are actually performed. We present many different varieties of such models. For each, we give a compositional semantics, congruent to the operational semantics, and prove full abstraction and no-junk results. We compare the expressiveness of the different models.

Lowe, Gavin

2010-01-01T23:59:59.000Z

151

SolarPaces International CSP Project Information | Open Energy Information  

Open Energy Info (EERE)

SolarPaces International CSP Project Information SolarPaces International CSP Project Information Jump to: navigation, search Tool Summary LAUNCH TOOL Name: SolarPaces International CSP Project Information Agency/Company /Organization: National Renewable Energy Laboratory Sector: Energy Focus Area: Renewable Energy, Solar Topics: Implementation, Market analysis, Background analysis Resource Type: Dataset Website: www.nrel.gov/csp/solarpaces/ References: SolarPaces International CSP Project Information[1] Summary "Working with member countries, SolarPACES-Solar Power and Chemical Energy Systems-has compiled data on concentrating solar power (CSP) projects around the world that have plants that are either operational, under construction, or under development. CSP technologies include parabolic trough, linear Fresnel reflector, power tower, and dish/engine

152

Concentrating Solar Power Services CSP Services | Open Energy Information  

Open Energy Info (EERE)

Concentrating Solar Power Services CSP Services Concentrating Solar Power Services CSP Services Jump to: navigation, search Name Concentrating Solar Power Services (CSP Services) Place Cologne, Germany Zip D-51143 Sector Solar Product A spin-out of the DLR Institute of Technical Thermodynamics, providing consulting, due diligence and component testing for Solar Thermal Electricity Generation (STEG). References Concentrating Solar Power Services (CSP Services)[1] LinkedIn Connections CrunchBase Profile No CrunchBase profile. Create one now! This article is a stub. You can help OpenEI by expanding it. Concentrating Solar Power Services (CSP Services) is a company located in Cologne, Germany . References ↑ "Concentrating Solar Power Services (CSP Services)" Retrieved from "http://en.openei.org/w/index.php?title=Concentrating_Solar_Power_Services_CSP_Services&oldid=343830

153

On Exact Algorithms for Permutation CSP  

E-Print Network (OSTI)

In the Permutation Constraint Satisfaction Problem (Permutation CSP) we are given a set of variables $V$ and a set of constraints C, in which constraints are tuples of elements of V. The goal is to find a total ordering of the variables, $\\pi\\ : V \\rightarrow [1,...,|V|]$, which satisfies as many constraints as possible. A constraint $(v_1,v_2,...,v_k)$ is satisfied by an ordering $\\pi$ when $\\pi(v_1)CSP} for arity 2 or 3 can be solved by Held-Karp type algorithms in time $O^*(2^n)$, but no algorithm is known for arity at least 4 with running time significantly better than $2^{O(n\\log{n})}$. In this paper we resolve the gap by showing that {\\sc Arity 4 Permutati...

Kim, Eun Jung

2012-01-01T23:59:59.000Z

154

An approximation trichotomy for Boolean #CSP  

E-Print Network (OSTI)

We give a trichotomy theorem for the complexity of approximately counting the number of satisfying assignments of a Boolean CSP instance. Such problems are parameterised by a constraint language specifying the relations that may be used in constraints. If every relation in the constraint language is affine then the number of satisfying assignments can be exactly counted in polynomial time. Otherwise, if every relation in the constraint language is in the co-clone IM_2 from Post's lattice, then the problem of counting satisfying assignments is complete with respect to approximation-preserving reductions in the complexity class #RH\\Pi_1. This means that the problem of approximately counting satisfying assignments of such a CSP instance is equivalent in complexity to several other known counting problems, including the problem of approximately counting the number of independent sets in a bipartite graph. For every other fixed constraint language, the problem is complete for #P with respect to approximation-prese...

Dyer, Martin; Jerrum, Mark

2007-01-01T23:59:59.000Z

155

DOE JGI CSP 2012 PI Workshop  

NLE Websites -- All DOE Office Websites (Extended Search)

Agenda Agenda Monday, January 23 8:15am Shuttle bus departs from the Walnut Creek Marriott 8:30 Sign In and Continental Breakfast at JGI 9:00-9:15 Introductions, Workshop Overview and Goals Metagenome Program overview Susannah Tringe 9:15-9:30 JGI Prokaryotic Super Program Overview Nikos Kyrpides 9:30-9:45 JGI Microbial Program Overview Tanja Woyke 9:45-10:00 JGI Fungal Program Overview Igor Grigoriev 10:00-10:15 JGI Sequencing Technologies Feng Chen 10:15-10:30 Questions 10:30-10:45 Break 10:45-11:15 Rhizosphere Grand Challenge and CSP2012 Plant-Microbe interactions projects Susannah Tringe 11:15-11:35 CSP2012: Plant associated metagenomes--Microbial community diversity and host control of community assembly across model and emerging plant ecological genomics systems Jeff Dangl

156

Refinement-oriented probability for CSP  

E-Print Network (OSTI)

Jones and Plotkin give a general construction for forming a probabilistic powerdomain over any directed-complete partial order [Jon90, JP89]. We apply their technique to the failures/divergences semantic model for Communicating Sequential Processes [Hoa85]. The resulting probabilistic model supports a new binary operator, probabilistic choice, and retains all operators of CSP including its two existing forms of choice. An advantage of using the general construction is that it is easy to see which CSP identities remain true in the probabilistic model. A surprising consequence however is that probabilistic choice distributes through all other operators; such algebraic mobility means that the syntactic position of the choice operator gives little information about when the choice actually must occur. That in turn leads to some interesting interaction between probability and nondeterminism. A simple communications protocol is used to illustrate the probabilistic algebra, and several sugg...

Carroll Morgan; Annabelle McIver; Karen Seidel; J.W. Sanders

1995-01-01T23:59:59.000Z

157

System Description of a SAT-based CSP Solver Naoyuki Tamura1  

E-Print Network (OSTI)

System Description of a SAT-based CSP Solver Sugar Naoyuki Tamura1 , Tomoya Tanjo2 , and Mutsunori description of a SAT-based CSP solver Sugar submitted to the Third International CSP Solver Compe- tition. The Sugar solver solves a finite linear CSP and MAX-CSP by translating it into a SAT problem using the order

Banbara, Mutsunori

158

Time integration of reacting flows with CSP tabulation.  

SciTech Connect

This paper presents recent progress on the use of Computational Singular Perturbation (CSP) techniques for time integration of stiff chemical systems. The CSP integration approach removes fast time scales from the reaction system, thereby enabling integration with explicit time stepping algorithms. For further efficiency improvements, a tabulation strategy was developed to allow reuse of the relevant CSP quantities. This paper outlines the method and demonstrates its use on the simulation of hydrogen-air ignition.

Frenklach, Michael (University of California at Berkeley, CA); Marzouk, Youssef M. (Massachusetts Institute of Technology, Cambridge, MA); Valorani, Mauro (Universita di Roma "La Sapienza," Rome, Italy); Goussis, Dimitris A. (National Technical University of Athens, Athens, Greece); Najm, Habib N.; Debusschere, Bert J.

2009-04-01T23:59:59.000Z

159

Actes JFPC 2005 Une autre conversion de SAT vers CSP  

E-Print Network (OSTI)

Actes JFPC 2005 Une autre conversion de SAT vers CSP Olivier ROUSSEL CRIL - CNRS FRE 2499 rue de l tour, peut être di- rectement transformée en un problème CSP binaire. Cette transformation est basée. Nous montrons également que le maintien de la k-consistance sur le problème CSP est équivalent à l

Paris-Sud XI, Université de

160

Using structural information in XML keyword search effectively  

Science Conference Proceedings (OSTI)

The popularity of XML has exacerbated the need for an easy-to-use, high precision query interface for XML data. When traditional document-oriented keyword search techniques do not suffice, natural language interfaces and keyword search techniques that ... Keywords: Correlation Mining, Keyword Queries, XML

Arash Termehchy; Marianne Winslett

2011-03-01T23:59:59.000Z

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


161

Web Information Organization Using Keyword Distillation Based Clustering  

Science Conference Proceedings (OSTI)

This paper describes a system that conducts search result clustering for several thousands of Web pages, and elaborates cluster labels through keyword distillation. Keyword distillation is a method that properly handles spelling variations, transliterations, ... Keywords: clustering, open search engine, keyword unification

Tomohide Shibata; Yasuo Bamba; Keiji Shinzato; Sadao Kurohashi

2009-09-01T23:59:59.000Z

162

Flow Phenomena in an Extra Wide CSP-mold-experimental ...  

Science Conference Proceedings (OSTI)

Presentation Title, Flow Phenomena in an Extra Wide CSP-mold-experimental Investigations. Author(s), Rdiger Bahrmann, Antje Rckert, Herbert Pfeifer.

163

NREL: Technology Transfer - First Hybrid CSP-Coal Power Plant ...  

First Hybrid CSP-Coal Power Plant is Fired Up in Colorado July 23, 2010. On June 30, Xcel Energy began operating an experimental power plant near ...

164

Techno-economic Appraisal of Concentrating Solar Power Systems (CSP).  

E-Print Network (OSTI)

?? The diffusion of Concentrating Solar Power Systems (CSP) systems is currently taking place at a much slower pace than photovoltaic (PV) power systems. This (more)

Gasti, Maria

2013-01-01T23:59:59.000Z

165

Modeling and Analysis of CSP Systems (Fact Sheet), Thermal Systems...  

NLE Websites -- All DOE Office Websites (Extended Search)

The models can also help analysts assess the potential market penetration and economic impact of CSP under different policy and deployment scenarios. The Solar Advisor Model (SAM)...

166

WYCLRN_NIHR CSP Information_R&D Department_v4.0_081107 Page 1 of 1 NIHR CSP Information / Contact  

E-Print Network (OSTI)

WYCLRN_NIHR CSP Information_R&D Department_v4.0_081107 Page 1 of 1 NIHR CSP Information / Contact R NHS Permission (NIHR CSP) will coordinate and streamline the processes associated with gaining permission for research performed within the NHS. NIHR CSP, which is being rolled out across the NHS from 18

Wirosoetisno, Djoko

167

Specifying authentication using signal events in CSP Siraj A. Shaikh (first and corresponding author)  

E-Print Network (OSTI)

1 Specifying authentication using signal events in CSP Siraj A. Shaikh (first and corresponding in the process algebra Communicating Sequential Processes (CSP) to specify authentication. The purpose, security protocols, CSP, formal specification, Kerberos 1. Introduction Schneider [1] uses Communicating

Doran, Simon J.

168

A novel power block for CSP systems  

SciTech Connect

Concentrating Solar Thermal Power (CSP) and in particular parabolic trough, is a proven large-scale solar power technology. However, CSP cost is not yet competitive with conventional alternatives unless subsidized. Current CSP plants typically include a condensing steam cycle power block which was preferably designed for a continuous operation and higher operating conditions and therefore, limits the overall plant cost effectiveness and deployment. The drawbacks of this power block are as follows: (i) no power generation during low insolation periods (ii) expensive, large condenser (typically water cooled) due to the poor extracted steam properties (high specific volume, sub-atmospheric pressure) and (iii) high installation and operation costs. In the current study, a different power block scheme is proposed to eliminate these obstacles. This power block includes a top Rankine cycle with a back pressure steam turbine and a bottoming Kalina cycle comprising another back pressure turbine and using ammonia-water mixture as a working fluid. The bottoming (moderate temperature) cycle allows power production during low insolation periods. Because of the superior ammonia-water vapor properties, the condensing system requirements are much less demanding and the operation costs are lowered. Accordingly, air cooled condensers can be used with lower economical penalty. Another advantage is that back pressure steam turbines have a less complex design than condensing steam turbines which make their costs lower. All of these improvements could make the combined cycle unit more cost effective. This unit can be applicable in both parabolic trough and central receiver (solar tower) plants. The potential advantage of the new power block is illustrated by a detailed techno-economical analysis of two 50 MW parabolic trough power plants, comparing between the standard and the novel power block. The results indicate that the proposed plant suggests a 4-11% electricity cost saving. (author)

Mittelman, Gur [ASP Ltd., Advanced Solar Power, Industrial Zone, Be'er Tuviyya (Israel); Epstein, Michael [Solar Research Facilities Unit, Weizmann Institute of Science (Israel)

2010-10-15T23:59:59.000Z

169

Demonstration of a Small Modular BioPower System Using Poultry Litter  

SciTech Connect

The purpose of this project was to assess poultry grower residue, or litter (manure plus absorbent biomass), as a fuel source for Community Power Corporation's small modular biopower system (SMB). A second objective was to assess the poultry industry to identify potential ''on-site'' applications of the SMB system using poultry litter residue as a fuel source, and to adapt CPC's existing SMB to generate electricity and heat from the poultry litter biomass fuel. Bench-scale testing and pilot testing were used to gain design information for the SMB retrofit. System design approach for the Phase II application of the SMB was the goal of Phase I testing. Cost estimates for an onsite poultry litter SMB were prepared. Finally, a market estimate was prepared for implementation of the on-farm SMB using poultry litter.

John P. Reardon; Art Lilley; Jim Wimberly; Kingsbury Browne; Kelly Beard; Jack Avens

2002-05-22T23:59:59.000Z

170

Demonstration of a Small Modular BioPower System Using Poultry Litter  

DOE Green Energy (OSTI)

The purpose of this project was to assess poultry grower residue, or litter (manure plus absorbent biomass), as a fuel source for Community Power Corporation's small modular biopower system (SMB). A second objective was to assess the poultry industry to identify potential ''on-site'' applications of the SMB system using poultry litter residue as a fuel source, and to adapt CPC's existing SMB to generate electricity and heat from the poultry litter biomass fuel. Bench-scale testing and pilot testing were used to gain design information for the SMB retrofit. System design approach for the Phase II application of the SMB was the goal of Phase I testing. Cost estimates for an onsite poultry litter SMB were prepared. Finally, a market estimate was prepared for implementation of the on-farm SMB using poultry litter.

John P. Reardon; Art Lilley; Jim Wimberly; Kingsbury Browne; Kelly Beard; Jack Avens

2002-05-22T23:59:59.000Z

171

On CSP and the Algebraic Theory of Effects  

E-Print Network (OSTI)

We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors or effect deconstructors; it also provides a link with functional programming, being a refinement of Moggi's seminal monadic point of view. There is a natural algebraic theory of the constructors whose free algebra functor is Moggi's monad; we illustrate this by characterising free and initial algebras in terms of two versions of the stable failures model of CSP, one more general than the other. Deconstructors are dealt with as homomorphisms to (possibly non-free) algebras. One can view CSP's action and choice operators as constructors and the rest, such as concealment and concurrency, as deconstructors. Carrying this programme out results in taking deterministic external choice as constructor rather than general external choice. However, binary deconstructors, such as the CSP concurrency operator, provide unresolved difficulties. We conclude by presenting a combination of CSP with Mog...

van Glabbeek, Rob

2010-01-01T23:59:59.000Z

172

MUSE CSP: An Extension to the Constraint Satisfaction Problem  

E-Print Network (OSTI)

This paper describes an extension to the constraint satisfaction problem (CSP) called MUSE CSP (MUltiply SEgmented Constraint Satisfaction Problem). This extension is especially useful for those problems which segment into multiple sets of partially shared variables. Such problems arise naturally in signal processing applications including computer vision, speech processing, and handwriting recognition. For these applications, it is often difficult to segment the data in only one way given the low-level information utilized by the segmentation algorithms. MUSE CSP can be used to compactly represent several similar instances of the constraint satisfaction problem. If multiple instances of a CSP have some common variables which have the same domains and constraints, then they can be combined into a single instance of a MUSE CSP, reducing the work required to apply the constraints. We introduce the concepts of MUSE node consistency, MUSE arc consistency, and MUSE path consistency. We th...

Randall A. Helzerman; Mary P. Harpe

1996-01-01T23:59:59.000Z

173

Unsupervised spoken keyword spotting and learning of acoustically meaningful units  

E-Print Network (OSTI)

The problem of keyword spotting in audio data has been explored for many years. Typically researchers use supervised methods to train statistical models to detect keyword instances. However, such supervised methods require ...

Zhang, Yaodong, Ph. D. Massachusetts Institute of Technology

2009-01-01T23:59:59.000Z

174

An approximation trichotomy for Boolean #CSP  

E-Print Network (OSTI)

We give a trichotomy theorem for the complexity of approximately counting the number of satisfying assignments of a Boolean CSP instance. Such problems are parameterised by a constraint language specifying the relations that may be used in constraints. If every relation in the constraint language is affine then the number of satisfying assignments can be exactly counted in polynomial time. Otherwise, if every relation in the constraint language is in the co-clone IM2 from Posts lattice, then the problem of counting satisfying assignments is complete with respect to approximation-preserving reductions in the complexity class #RH?1. This means that the problem of approximately counting satisfying assignments of such a CSP instance is equivalent in complexity to several other known counting problems, including the problem of approximately counting the number of independent sets in a bipartite graph. For every other fixed constraint language, the problem is complete for #P with respect to approximation-preserving reductions, meaning that there is no fully polynomial randomised approximation scheme for counting satisfying assignments unless NP=RP. 1

Martin Dyer; Leslie Ann Goldberg; Mark Jerrum

2007-01-01T23:59:59.000Z

175

SunShot Initiative: Next-Generation Solar Collectors for CSP  

NLE Websites -- All DOE Office Websites (Extended Search)

Next-Generation Solar Collectors Next-Generation Solar Collectors for CSP to someone by E-mail Share SunShot Initiative: Next-Generation Solar Collectors for CSP on Facebook Tweet about SunShot Initiative: Next-Generation Solar Collectors for CSP on Twitter Bookmark SunShot Initiative: Next-Generation Solar Collectors for CSP on Google Bookmark SunShot Initiative: Next-Generation Solar Collectors for CSP on Delicious Rank SunShot Initiative: Next-Generation Solar Collectors for CSP on Digg Find More places to share SunShot Initiative: Next-Generation Solar Collectors for CSP on AddThis.com... Concentrating Solar Power Systems Components Competitive Awards CSP Research & Development Thermal Storage CSP Recovery Act Baseload CSP SunShot Multidisciplinary University Research Initiative CSP Heat Integration for Baseload Renewable Energy Deployment

176

Structure-aware indexing for keyword search in databases  

Science Conference Proceedings (OSTI)

Most of existing methods of keyword search over relational databases find the Steiner trees composed of relevant tuples as the answers. They identify the Steiner trees by discovering the rich structural relationships between tuples, and neglect the fact ... Keywords: database, indexing, keyword search, ranking, tuple unit

Guoliang Li; Jianhua Feng; Jianyong Wang

2009-11-01T23:59:59.000Z

177

Automatic generation of CSP || B skeletons from xUML models  

E-Print Network (OSTI)

Automatic generation of CSP || B skeletons from xUML models Edward Turner, Helen Treharne, Steve. CSP B is a formal approach to specification that combines CSP and B. In this paper we present our tool that automatically trans- lates a subset of executable UML (xUML) models into CSP B, for the purpose of verification

Doran, Simon J.

178

Changing System Interfaces Consistently: a New Refinement Strategy for CSP B  

E-Print Network (OSTI)

Changing System Interfaces Consistently: a New Refinement Strategy for CSP B Steve Schneider refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B to change the events of a CSP process and the B machines when refining a system. Notions of refinement based

Doran, Simon J.

179

Feasible Distributed CSP Models for Scheduling Problems Miguel A. Salido, Adriana Giret  

E-Print Network (OSTI)

Feasible Distributed CSP Models for Scheduling Problems Miguel A. Salido, Adriana Giret Universidad satisfaction problem (DisCSP) is a CSP in which variables and constraints are distributed among multiple are distributed by using our model. Key words: distributed CSP, constraint satisfaction, holonic system, multi

Salido, Miguel Angel

180

Introducing mobility into CSP B Steve Schneider, Helen Treharne, and Beeta Vajar  

E-Print Network (OSTI)

AVoCS 2007 Introducing mobility into CSP B Steve Schneider, Helen Treharne, and Beeta Vajar Department of Computing University of Surrey Guildford, Surrey, UK Abstract CSP B is a combination of CSP, the semantic foundation for pi |B is cumbersome for reasoning about systems, and a CSP based approach may

Schneider, Steve

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


181

Combining Local Search and Constraint Propagation to find a minimal change solution for a Dynamic CSP  

E-Print Network (OSTI)

CSP Nico Roos, Yongping Ran, and Jaap van den Herik Universiteit Maastricht , Institute for Knowledge may change over time. Each separate change may invoke a new CSP formulation. The resulting sequence of CSPs is denoted as a Dynamic CSP. A valid solution of one CSP in the sequence need not be a solution

Roos, Nico

182

Sugar++: A SAT-Based MAX-CSP/COP Solver Tomoya Tanjo1  

E-Print Network (OSTI)

Sugar++: A SAT-Based MAX-CSP/COP Solver Tomoya Tanjo1 , Naoyuki Tamura2 , and Mutsunori Banbara2 1 describes some features of Sugar++, a SAT-based MAX- CSP/COP solver entering the Third International CSP Solver Competition. In our approach, a MAX-CSP is translated into a Constraint Optimization Problem (COP

Banbara, Mutsunori

183

Sugar Competition Results Discussion Future Sugar: A SAT-based CSP Solver  

E-Print Network (OSTI)

Sugar Competition Results Discussion Future . . . .. . . Sugar: A SAT-based CSP Solver --Results summary of the 3rd intertional CSP solver competition-- Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara-based CSP Solver --Results summary of #12;Sugar Competition Results Discussion Future Outline .. Sugar CSP

Banbara, Mutsunori

184

CSP, PVS and a Recursive Authentication Protocol Jeremy Bryans and Steve Schneider  

E-Print Network (OSTI)

CSP, PVS and a Recursive Authentication Protocol Jeremy Bryans and Steve Schneider Department In this paper we consider the nature of machine proofs used in the CSP approach to the veri cation of authentication protocols using the process algebra CSP Hoa85]. The CSP syntax provides a natural and precise way

Doran, Simon J.

185

LINEAR-PROGRAMMING DESIGN AND ANALYSIS OF FAST ALGORITHMS FOR MAX 2-CSP  

E-Print Network (OSTI)

LINEAR-PROGRAMMING DESIGN AND ANALYSIS OF FAST ALGORITHMS FOR MAX 2-CSP ALEXANDER D. SCOTT AND GREGORY B. SORKIN Abstract. The class Max (r, 2)-CSP (or simply Max 2-CSP) consists of constraint(G) (13/75 + o(1))m, which gives a faster Max 2-CSP algorithm that uses exponential space: running in time

Scott, Alexander Alexander

186

Probing the Depths of CSP-M: A new fdr-compliant Validation Tool  

E-Print Network (OSTI)

Probing the Depths of CSP-M: A new fdr-compliant Validation Tool Michael Leuschel and Marc Fontaine,fontaine}@cs.uni-duesseldorf.de Abstract. We present a new animation and model checking tool for CSP. The tool covers the CSP-M language in the source code, has an LTL model checker and can be used for combined CSP B specifications. During

Southampton, University of

187

Solving planninggraph by compiling it into CSP Minh Binh Do \\Lambda & Subbarao Kambhampati  

E-Print Network (OSTI)

Solving planning­graph by compiling it into CSP Minh Binh Do \\Lambda & Subbarao Kambhampati to adapt CSP search techniques into the backward search phase of Graphplan. This paper describes GP­CSP, a system that does planning by automati­ cally converting Graphplan's planning graph into a CSP encoding

Kambhampati, Subbarao

188

Solving planning-graph by compiling it into CSP Minh Binh Do & Subbarao Kambhampati  

E-Print Network (OSTI)

Solving planning-graph by compiling it into CSP Minh Binh Do & Subbarao Kambhampati Department to adapt CSP search techniques into the backward search phase of Graphplan. This paper describes GP-CSP, a system that does planning by automati- cally converting Graphplan's planning graph into a CSP encoding

Kambhampati, Subbarao

189

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

E-Print Network (OSTI)

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

190

Forbidden lists (NP and CSP for combinatorialists)  

E-Print Network (OSTI)

We present a definition of the class NP in combinatorial context as the set of languages of structures defined by finitely many forbidden lifted substructures. We apply this to special syntactically defined subclasses and show how they correspond to naturally defined (and intensively studied) combinatorial problems. We show that some types of combinatorial problems like edge colorings and graph decompositions express the full computational power of the class NP. We then characterize Constraint Satisfaction Problems (i.e. H-coloring problems) which are expressible by finitely many forbidden lifted substructures. This greatly simplifies and generalizes the earlier attempts to characterize this problem. As a corollary of this approach we perhaps find a proper setting of Feder and Vardi analysis of CSP languages within the class MMSNP.

Kun, Gabor

2007-01-01T23:59:59.000Z

191

SunShot Initiative: Power Block R&D for CSP Systems  

NLE Websites -- All DOE Office Websites (Extended Search)

Power Block R&D for CSP Systems Power Block R&D for CSP Systems to someone by E-mail Share SunShot Initiative: Power Block R&D for CSP Systems on Facebook Tweet about SunShot Initiative: Power Block R&D for CSP Systems on Twitter Bookmark SunShot Initiative: Power Block R&D for CSP Systems on Google Bookmark SunShot Initiative: Power Block R&D for CSP Systems on Delicious Rank SunShot Initiative: Power Block R&D for CSP Systems on Digg Find More places to share SunShot Initiative: Power Block R&D for CSP Systems on AddThis.com... Concentrating Solar Power Systems Components Collectors Receivers Power Block Thermal Storage Systems Analysis Competitive Awards Staff Photovoltaics Systems Integration Balance of Systems Power Block R&D for CSP Systems Power plant components and systems for concentrating solar power (CSP)

192

SunShot Initiative: Receiver R&D for CSP Systems  

NLE Websites -- All DOE Office Websites (Extended Search)

Receiver R&D for CSP Systems to Receiver R&D for CSP Systems to someone by E-mail Share SunShot Initiative: Receiver R&D for CSP Systems on Facebook Tweet about SunShot Initiative: Receiver R&D for CSP Systems on Twitter Bookmark SunShot Initiative: Receiver R&D for CSP Systems on Google Bookmark SunShot Initiative: Receiver R&D for CSP Systems on Delicious Rank SunShot Initiative: Receiver R&D for CSP Systems on Digg Find More places to share SunShot Initiative: Receiver R&D for CSP Systems on AddThis.com... Concentrating Solar Power Systems Components Collectors Receivers Power Block Thermal Storage Systems Analysis Competitive Awards Staff Photovoltaics Systems Integration Balance of Systems Receiver R&D for CSP Systems The DOE SunShot CSP Program aims to significantly increase operating

193

OpenEI/Tool/Keyword Cleanweb Hackathon | Open Energy Information  

Open Energy Info (EERE)

to: navigation, search A list of all pages that have property "OpenEIToolKeyword" with value "Cleanweb Hackathon" ActiveGreenScore + Badema + Clean Home Massachusetts + Divya...

194

Property:OpenEI/Tool/Keyword | Open Energy Information  

Open Energy Info (EERE)

Keyword Keyword Jump to: navigation, search Property Name OpenEI/Tool/Keyword Property Type String Pages using the property "OpenEI/Tool/Keyword" Showing 25 pages using this property. (previous 25) (next 25) A ActiveGreenScore + Cleanweb Hackathon +, Boston +, Community Generated + Alternative Fueling Station Locator + Featured + Autonomie Automotive Simulation Tool + Energy Efficiency and Renewable Energy (EERE) Tools + B BEST v2 + Challenge Generated +, Green Button Apps + BEopt + EERE tool +, BEopt + BITES + Featured + BIY - Budget It Yourself + Challenge Generated +, Green Button Apps + Badema + Cleanweb Hackathon +, Boston +, Community Generated + Bioenergy KDF + Energy Efficiency and Renewable Energy (EERE) Tools + Biofuels Techno-Economic Models + EERE tool +, Biofuels Techno-Economic Models +

195

National Library of Energy : Main View : Search Results for Keyword...  

Office of Scientific and Technical Information (OSTI)

Site Map Contact Us Enter Search Terms Search Advanced Search Search: Keyword: "oil shale" Did you mean ? Create new alert from this search Modify Search My Selections (0)...

196

National Library of Energy : Main View : Search Results for Keyword...  

Office of Scientific and Technical Information (OSTI)

Site Map Contact Us Enter Search Terms Search Advanced Search Search: Keyword: "fission theory" Did you mean ? Create new alert from this search Modify Search My Selections (0)...

197

National Library of Energy : Main View : Search Results for Keyword...  

Office of Scientific and Technical Information (OSTI)

Site Map Contact Us Enter Search Terms Search Advanced Search Search: Keyword: "plasma research" Did you mean ? Create new alert from this search Modify Search My Selections (0)...

198

Conference (2010)" A tool for checking CSP||B specifications ?  

E-Print Network (OSTI)

This paper reports about our experience with building a simple tool to assist us in the verification of CSP||B specifications. Our primary research goal is methodological: we aim at understanding and modeling

Huu Nghia Nguyen; Jean-pierre Jacquot; Loria Nancy Universit

2010-01-01T23:59:59.000Z

199

A new algorithm for sampling CSP solutions uniformly at random  

Science Conference Proceedings (OSTI)

The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. Our method relies on expressing the constraint network as a uniform probability distribution over its solutions and then sampling from ...

Vibhav Gogate; Rina Dechter

2006-09-01T23:59:59.000Z

200

SunShot CSP Program Review 2013 Presentation Guidelines  

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

Concentrating Solar Power SunShot CSP Program Review 2013 Hilton Phoenix EastMesa | Phoenix, AZ | April 23-25, 2013 Presentation Guidelines * Each award will be allotted either a...

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


201

Self-Cleaning CSP Collectors, Concentrating Solar Power (Fact Sheet)  

Science Conference Proceedings (OSTI)

Boston University is one of the 2012 SunShot CSP R&D awardees for their advanced collectors. This fact sheet explains the motivation, description, and impact of the project.

Not Available

2012-09-01T23:59:59.000Z

202

DOE to Invest up to $60 Million for Advanced CSP  

DOE to Invest up to $60 Million for Advanced CSP April 30, 2008. DOE announced a funding opportunity for up to $60 million over 5 years to support the ...

203

Combining CSP and B for Specification and Property Verification  

E-Print Network (OSTI)

Abstract. ProB is a model checking tool for the B Method. In this paper we present an extension of ProB that supports checking of specifications written in a combination of CSP and B. We explain how the notations are combined semantically and give an overview of the implementation of the combination. We illustrate the benefit that appropriate use of CSP, in conjunction with our tool, gives to B developments both for specification and for verification purposes.

Michael Butler; Michael Leuschel

2005-01-01T23:59:59.000Z

204

Keyword Proximity Search over Large and Complex RDF Database  

Science Conference Proceedings (OSTI)

In this paper, we propose a keyword proximity search approach that can be applied to large and complex RDF database. We model RDF database as undirected data graph, construct three indexes for each data graph, only one index need be loaded into memory. ... Keywords: RDF, proximity, link join, node pruning

Zhen Niu; Hai-Tao Zheng; Yong Jiang; Shu-Tao Xia; Hui-Qiu Li

2012-12-01T23:59:59.000Z

205

COMMUNICATING SEQUENTIAL PROCESSES C.A.R. Hoare's Communicating Sequential Processes CSP is a model-language  

E-Print Network (OSTI)

CSP is a model-language hybrid for describing concurrent and distributed computation. A CSP program the corresponding primitive. Guarded commands are used to introduce indeterminacy. CSP is a language fragment of CSP have been with issues of program correctness and operating systems description. CSP shows its

Filman, Robert E.

206

Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan  

E-Print Network (OSTI)

This paper reviews the connections between Graphplan's planning-graph and the dynamic constraint satisfaction problem and motivates the need for adapting CSP search techniques to the Graphplan algorithm. It then describes how explanation based learning, dependency directed backtracking, dynamic variable ordering, forward checking, sticky values and random-restart search strategies can be adapted to Graphplan. Empirical results are provided to demonstrate that these augmentations improve Graphplan's performance significantly (up to 1000x speedups) on several benchmark problems. Special attention is paid to the explanation-based learning and dependency directed backtracking techniques as they are empirically found to be most useful in improving the performance of Graphplan.

Kambhampati, S

2011-01-01T23:59:59.000Z

207

SunShot Initiative: High-Efficiency Thermal Energy Storage System for CSP  

NLE Websites -- All DOE Office Websites (Extended Search)

High-Efficiency Thermal Energy High-Efficiency Thermal Energy Storage System for CSP to someone by E-mail Share SunShot Initiative: High-Efficiency Thermal Energy Storage System for CSP on Facebook Tweet about SunShot Initiative: High-Efficiency Thermal Energy Storage System for CSP on Twitter Bookmark SunShot Initiative: High-Efficiency Thermal Energy Storage System for CSP on Google Bookmark SunShot Initiative: High-Efficiency Thermal Energy Storage System for CSP on Delicious Rank SunShot Initiative: High-Efficiency Thermal Energy Storage System for CSP on Digg Find More places to share SunShot Initiative: High-Efficiency Thermal Energy Storage System for CSP on AddThis.com... Concentrating Solar Power Systems Components Competitive Awards CSP Research & Development Thermal Storage CSP Recovery Act

208

SunShot Initiative: Collectors R&D for CSP Systems  

NLE Websites -- All DOE Office Websites (Extended Search)

Collectors R&D for CSP Systems to Collectors R&D for CSP Systems to someone by E-mail Share SunShot Initiative: Collectors R&D for CSP Systems on Facebook Tweet about SunShot Initiative: Collectors R&D for CSP Systems on Twitter Bookmark SunShot Initiative: Collectors R&D for CSP Systems on Google Bookmark SunShot Initiative: Collectors R&D for CSP Systems on Delicious Rank SunShot Initiative: Collectors R&D for CSP Systems on Digg Find More places to share SunShot Initiative: Collectors R&D for CSP Systems on AddThis.com... Concentrating Solar Power Systems Components Collectors Receivers Power Block Thermal Storage Systems Analysis Competitive Awards Staff Photovoltaics Systems Integration Balance of Systems Collectors R&D for CSP Systems Collectors-whether for trough, tower (heliostat), linear Fresnel or dish

209

OpenEI/PageKeyword Energy Incentives | Open Energy Information  

Open Energy Info (EERE)

to: navigation, search A list of all pages that have property "OpenEIPageKeyword" with value "Energy Incentives" Previous Results 1- 20 Next (20 | 50 | 100 | 250 | 500) 2003...

210

OpenEI/Tool/Keyword Boston | Open Energy Information  

Open Energy Info (EERE)

to: navigation, search A list of all pages that have property "OpenEIToolKeyword" with value "Boston" ActiveGreenScore + Badema + Clean Home Massachusetts + Divya Energy Solar...

211

OpenEI/PageKeyword solar lighting | Open Energy Information  

Open Energy Info (EERE)

page Share this page on Facebook icon Twitter icon OpenEIPageKeyword solar lighting Jump to: navigation, search A list of all pages that have property "OpenEI...

212

OpenEI/PageKeyword Solar Installations | Open Energy Information  

Open Energy Info (EERE)

Data Special page Share this page on Facebook icon Twitter icon OpenEIPageKeyword Solar Installations Jump to: navigation, search A list of all pages that have property...

213

OpenEI/PageKeyword Electricity Tariffs | Open Energy Information  

Open Energy Info (EERE)

Special page Share this page on Facebook icon Twitter icon OpenEIPageKeyword Electricity Tariffs Jump to: navigation, search A list of all pages that have property "OpenEI...

214

OpenEI/PageKeyword Electricity | Open Energy Information  

Open Energy Info (EERE)

Special page Share this page on Facebook icon Twitter icon OpenEIPageKeyword Electricity Jump to: navigation, search A list of all pages that have property "OpenEI...

215

OpenEI/PageKeyword Electricity Rates | Open Energy Information  

Open Energy Info (EERE)

Special page Share this page on Facebook icon Twitter icon OpenEIPageKeyword Electricity Rates Jump to: navigation, search A list of all pages that have property "OpenEI...

216

Unsupervised spoken keyword spotting via segmental DTW on Gaussian posteriorgrams  

E-Print Network (OSTI)

In this paper, we present an unsupervised learning framework to address the problem of detecting spoken keywords. Without any transcription information, a Gaussian Mixture Model is trained to label speech frames with a ...

Glass, James R.

217

OpenEI/PageKeyword energy savings | Open Energy Information  

Open Energy Info (EERE)

Data Special page Share this page on Facebook icon Twitter icon OpenEIPageKeyword energy savings Jump to: navigation, search A list of all pages that have property "OpenEI...

218

The tractability of CSP classes defined by forbidden patterns  

E-Print Network (OSTI)

The constraint satisfaction problem (CSP) is a general problem central to computer science and artificial intelligence. Although the CSP is NP-hard in general, considerable effort has been spent on identifying tractable subclasses. The main two approaches consider structural properties (restrictions on the hypergraph of constraint scopes) and relational properties (restrictions on the language of constraint relations). Recently, some authors have considered hybrid properties that restrict the constraint hypergraph and the relations simultaneously. Our key contribution is the novel concept of a CSP pattern and classes of problems defined by forbidden patterns (which can be viewed as forbidding generic subproblems). We describe the theoretical framework which can be used to reason about classes of problems defined by forbidden patterns. We show that this framework generalises relational properties and allows us to capture known hybrid tractable classes. Although we are not close to obtaining a dichotomy concern...

Cooper, David A Cohen Martin C; Salamon, Andrs Z

2011-01-01T23:59:59.000Z

219

A CSP Account of Event-B Refinement  

E-Print Network (OSTI)

Event-B provides a flexible framework for stepwise system development via refinement. The framework supports steps for (a) refining events (one-by-one), (b) splitting events (one-by-many), and (c) introducing new events. In each of the steps events can moreover possibly be anticipated or convergent. All such steps are accompanied with precise proof obligations. Still, it remains unclear what the exact relationship - in terms of a behaviour-oriented semantics - between an Event-B machine and its refinement is. In this paper, we give a CSP account of Event-B refinement, with a treatment for the first time of splitting events and of anticipated events. To this end, we define a CSP semantics for Event-B and show how the different forms of Event-B refinement can be captured as CSP refinement.

Schneider, Steve; Wehrheim, Heike; 10.4204/EPTCS.55.9

2011-01-01T23:59:59.000Z

220

CSP: Perspectives and Opportunities Webinar | Open Energy Information  

Open Energy Info (EERE)

CSP: Perspectives and Opportunities Webinar CSP: Perspectives and Opportunities Webinar Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Concentrating Solar Power Overview Webinar Agency/Company /Organization: National Renewable Energy Laboratory, United States Department of Energy, Centro de Energías Renovables (CER) Sector: Energy Focus Area: Solar, - Concentrating Solar Power Resource Type: Webinar, Training materials Website: www.nrel.gov/csp/ References: Concentrating Solar Power Overview [1] Webinar Video Click here to watch the webinar https://mmancusa.webex.com/mmancusa/ldr.php?AT=pb&SP=MC&rID=42294577&rKey=2b8c3800c9c1c824 Presentation Speaker Biography Craig S. Turchi-Senior Engineer II Ph.D. Chemical Engineering, North Carolina State University B.S. Chemical Engineering, Texas A&M University

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


221

Advanced Heat Transfer Fluids for Concentrated Solar Power (CSP)  

NLE Websites -- All DOE Office Websites (Extended Search)

Science Science Computing, Environment & Life Sciences Energy Engineering & Systems Analysis Photon Sciences Physical Sciences & Engineering Energy Frontier Research Centers Science Highlights Postdoctoral Researchers Advanced Heat Transfer Fluids for Concentrated Solar Power (CSP) Applications November 1, 2011 Tweet EmailPrint The current levelized cost of energy (LCOE) from concentrated solar power (CSP) is ~ $0.11/kWh. The U.S. Department of Energy has set goals to reduce this cost to ~$0.07/kWh with 6 hours of storage by 2015 and to ~$0.05/kWh with 16 hours of storage by 2020. To help meet these goals, scientists at Argonne National Laboratory are working to improve the overall CSP plant efficiency by enhancing the thermophysical properties of heat transfer

222

An Automatic Translation of CSP to Handel-C  

E-Print Network (OSTI)

Abstract. We present tools that convert a subset of CSP into Handel-C code. Handel-C was derived from the original occam concurrency language, but has a syntax similar to the standard C programming language. It compiles to produce files to program an FPGA. We thus now have a process that can directly generate hardware from a verified high-level description. The CSP to Handel-C translator makes use of the Lex and Yacc programming tools. The Handel-C code produced is functional, but not necessarily optimized for all situations. The translator has been tested using several CSP scripts of varying complexity. The functionality of the resulting Handel-C programs has been verified with simulations, and two scripts were further checked with successful implementations on an FPGA. 1.

Jonathan D. Phillips; G. S. Stiles

2004-01-01T23:59:59.000Z

223

Generalizing GraphPlan by Formulating Planning as a CSP  

E-Print Network (OSTI)

We examine the approach of encoding planning problems as CSPs more closely. First we present a simple CSP encoding for planning problems and then a set of transformations that can be used to eliminate variables and add new constraints to the encoding. We show that our transformations uncover additional structure in the planning problem, structure that subsumes the structure uncovered by GRAPHPLAN planning graphs. We solve the CSP encoded planning problem by using standard CSP algorithms. Empirical evidence is presented to validate the effectiveness of this approach to solving planning problems, and to show that even a prototype implementation is more effective than standard GRAPHPLAN. Our prototype is even competitive with far more optimized planning graph based implementations. We also demonstrate that this approach can be more easily lifted to more complex types of planning than can planning graphs. In particular, we show that the approach can be easily extended to planning with resources.

Adriana Lopez; Fahiem Bacchus

2003-01-01T23:59:59.000Z

224

Generic CSP Performance Model for NREL's System Advisor Model: Preprint  

SciTech Connect

The suite of concentrating solar power (CSP) modeling tools in NREL's System Advisor Model (SAM) includes technology performance models for parabolic troughs, power towers, and dish-Stirling systems. Each model provides the user with unique capabilities that are catered to typical design considerations seen in each technology. Since the scope of the various models is generally limited to common plant configurations, new CSP technologies, component geometries, and subsystem combinations can be difficult to model directly in the existing SAM technology models. To overcome the limitations imposed by representative CSP technology models, NREL has developed a 'Generic Solar System' (GSS) performance model for use in SAM. This paper discusses the formulation and performance considerations included in this model and verifies the model by comparing its results with more detailed models.

Wagner, M. J.; Zhu, G.

2011-08-01T23:59:59.000Z

225

CSP 587: Software Quality Management S. Kan, Software Quality engineering, Addison-Wesley.  

E-Print Network (OSTI)

CSP 587: Software Quality Management Texts S. Kan, Software Quality engineering, Addison hours · Quality Appraisal Programs 5 hours SEI's Capability Maturity Model ISO 9000 Total 45 hours CSP

Heller, Barbara

226

CSP 550: Internet Programming Andrew Tanenbaum and M. Steen, Distributed Systems: Principles and Paradigms, 2002.  

E-Print Network (OSTI)

CSP 550: Internet Programming Texts Andrew Tanenbaum and M. Steen, Distributed Systems: Principles and SOAP 9 hours Total 45 hours Edited March 2006 (html, css checks) CSP 550: Internet Programming - CS

Heller, Barbara

227

CSP 543: Multimedia Networking Atel Puri, Tsuhan Chen, Multimedia Systems, Standards, and Networks, ISBN 082479303X  

E-Print Network (OSTI)

CSP 543: Multimedia Networking Texts Atel Puri, Tsuhan Chen, Multimedia Systems, Standards Wireless 6 hours Total 45 hours Edited March 2006 (html, css checks) CSP 543: Multimedia Networking - CS

Heller, Barbara

228

CSP 581: Applied AI Programming Peter Norvig, Paradigms of AI Programming: Case Studies in Common Lisp  

E-Print Network (OSTI)

CSP 581: Applied AI Programming Texts Peter Norvig, Paradigms of AI Programming: Case Studies LISP Programs 4 hours Total 42 hours CSP 581: Applied AI Programming - CS Dept, Illinois Insti... 1

Heller, Barbara

229

Combining Metaheuristics and CSP Algorithms to solve Sudoku Marlos C. Machado and Luiz Chaimowicz  

E-Print Network (OSTI)

Combining Metaheuristics and CSP Algorithms to solve Sudoku Marlos C. Machado and Luiz Chaimowicz Problem (CSP) domain that speed up the solution's search process by decreasing its search space and its

Chaimowicz, Luiz

230

SunShot Initiative: Baseload CSP Generation Integrated with Sulfur-Based  

NLE Websites -- All DOE Office Websites (Extended Search)

CSP Generation CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage to someone by E-mail Share SunShot Initiative: Baseload CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage on Facebook Tweet about SunShot Initiative: Baseload CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage on Twitter Bookmark SunShot Initiative: Baseload CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage on Google Bookmark SunShot Initiative: Baseload CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage on Delicious Rank SunShot Initiative: Baseload CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage on Digg Find More places to share SunShot Initiative: Baseload CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage on

231

SunShot Initiative: American Recovery and Reinvestment Act of 2009 CSP  

NLE Websites -- All DOE Office Websites (Extended Search)

American Recovery and American Recovery and Reinvestment Act of 2009 CSP Awards to someone by E-mail Share SunShot Initiative: American Recovery and Reinvestment Act of 2009 CSP Awards on Facebook Tweet about SunShot Initiative: American Recovery and Reinvestment Act of 2009 CSP Awards on Twitter Bookmark SunShot Initiative: American Recovery and Reinvestment Act of 2009 CSP Awards on Google Bookmark SunShot Initiative: American Recovery and Reinvestment Act of 2009 CSP Awards on Delicious Rank SunShot Initiative: American Recovery and Reinvestment Act of 2009 CSP Awards on Digg Find More places to share SunShot Initiative: American Recovery and Reinvestment Act of 2009 CSP Awards on AddThis.com... Concentrating Solar Power Systems Components Competitive Awards CSP Research & Development

232

SunShot Initiative: Thermal Storage R&D for CSP Systems  

NLE Websites -- All DOE Office Websites (Extended Search)

Thermal Storage R&D for CSP Systems to someone by E-mail Share SunShot Initiative: Thermal Storage R&D for CSP Systems on Facebook Tweet about SunShot Initiative: Thermal Storage...

233

China Solar Power CSP aka General Solar Power Yantai Co Ltd ...  

Open Energy Info (EERE)

Power CSP aka General Solar Power Yantai Co Ltd Jump to: navigation, search Name China Solar Power (CSP) (aka General Solar Power Yantai Co Ltd) Place China Sector Solar Product A...

234

Planning as Constraint Satisfaction: Solving the planning-graph by compiling it into CSP  

E-Print Network (OSTI)

Although the deep affinity between Graphplan's backward search, and the process of solving constraint satisfaction problems has been noted earlier, these relations have hither-to been primarily used to adapt CSP search techniques into the backward search phase of Graphplan. This paper describes GP-CSP, a system that does planning by automatically converting Graphplan's planning graph into a CSP encoding, and solving the CSP encoding using standard CSP solvers. Our comprehensive empirical evaluation of GP-CSP demonstrates that it is superior to both standard Graphplan and Blackbox system, which compiles planning graphs into SAT encodings. Our results show that CSP encodings outperform SAT encodings in terms of both space and time requirements. The space reduction is particularly important as it makes GP-CSP less susceptible to the memory blow-up associated with SAT compilation methods. Our work is inspired by the success of van Beek & Chen's CPLAN system. However, in contrast...

Minh Binh Do; Subbarao Kambhampati

2001-01-01T23:59:59.000Z

235

Distant Observer Tool Quickly Identifies Costly Flaws in CSP Fields (Fact Sheet)  

SciTech Connect

Remote control digital photography and metrology are combined to accurately define optical efficiency problems in concentrating solar power (CSP) plants.

Not Available

2012-12-01T23:59:59.000Z

236

NREL's FY09 CSP Resource Assessment Plans: Solar Resource Assessment Workshop  

DOE Green Energy (OSTI)

Solar Resource Assessment Workshop, Denver CO, Oct 29, 2008 presentation: NREL's FY09 CSP Resource Assessment Plans

Renne, D.

2008-10-29T23:59:59.000Z

237

Optimization Case Study of CSP Temperature Cycle and Board Bending Reliability  

E-Print Network (OSTI)

RE1-3 1 Optimization Case Study of CSP Temperature Cycle and Board Bending Reliability Ian R attach, CSP, chip scale package, solder joint reliability, fatigue cracking, board flex sensitivity of our CSP products because of a tensile sensitivity that was not characterized by a controlled test

Harvey, Ian R.

238

Combining CSP and ObjectZ: Finite or Infinite Trace Semantics?  

E-Print Network (OSTI)

Combining CSP and Object­Z: Finite or Infinite Trace Semantics? Clemens Fischer Universit semantics as a means of combin­ ing CSP with Object­Z. The purpose of this combination is to more effectively specify complex, concurrent systems: while CSP is ideal for modelling systems of concurrent

Smith, Graeme

239

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

E-Print Network (OSTI)

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.

240

CSP Agenda C-4(b) Part 2 NMFS's Determination of Logical Outgrowth  

E-Print Network (OSTI)

3/14/2012 CSP Agenda C-4(b) Part 2 NMFS's Determination of Logical Outgrowth For Potential Changes) request for analysis of charter management measures not included in the CSP Preferred Alternative (Part 4 published on July 22, 2011 (76 FR 44156). The proposed CSP would (1) establish sector allocations

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


241

CSP DICHOTOMY FOR SPECIAL TRIADS LIBOR BARTO, MARCIN KOZIK, MIKLOS MAROTI, AND TODD NIVEN  

E-Print Network (OSTI)

CSP DICHOTOMY FOR SPECIAL TRIADS LIBOR BARTO, MARCIN KOZIK, MIKL´OS MAR´OTI, AND TODD NIVEN Abstract. For a fixed digraph G, the Constraint Satisfaction Problem with the template G, or CSP. The dichotomy conjecture of Feder and Vardi states that CSP(G), for any choice of G, is solvable in polynomial

Maróti, Miklós

242

(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability  

E-Print Network (OSTI)

(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability Hubie Chen 1 and V#19. The constraint satisfaction problem (CSP) can be formu- lated as the problem of deciding, given a pair (A; B) of relational struc- tures, whether or not there is a homomorphism from A to B. Although the CSP is in general

Dalmau, Victor

243

Using CSP||B Components: Application to a Platoon of Vehicles  

E-Print Network (OSTI)

Using CSP||B Components: Application to a Platoon of Vehicles Samuel Colin1, Arnaud Lanoix1, Olga- tionalities and services. It is specified using the combination, named CSP B, of two well-known formal methods: formal methods, CSP||B, compositional modelling, specification, ver- ification, case study 1 Introduction

Paris-Sud XI, Université de

244

Revivals, stuckness and the hierarchy of CSP models A.W. Roscoe  

E-Print Network (OSTI)

Revivals, stuckness and the hierarchy of CSP models A.W. Roscoe December 9, 2007 Abstract We give details of a new model for CSP introduced in response to work by Fournet et al [8]. This is the stable revivals model R alluded to in [22]. We provide the full semantics for CSP in this model, indicate why

Roscoe, Bill

245

Configuration et CSP avec variables `a existence conditionnee Thomas van Oudenhove  

E-Print Network (OSTI)

Configuration et CSP avec variables `a existence conditionn´ee Thomas van Oudenhove Directeurs de contraintes, par le biais des CSP, ´etait une approche adapt´ee `a cette probl´ematique. Cependant, le concept ces approches. Mots-cl´es configuration de produit -- contraintes -- CSP -- r´esolution -- filtrage 1

Paris-Sud XI, Université de

246

A tool for checking CSP||B specifications Huu Nghia Nguyen, Jean-Pierre Jacquot  

E-Print Network (OSTI)

A tool for checking CSP||B specifications Huu Nghia Nguyen, Jean-Pierre Jacquot LORIA ­ Nancy in the verification of CSP||B specifications. Our primary research goal is methodological: we aim at understanding. One specification may require the use of B for managing some complex data structure, of CSP

Paris-Sud XI, Université de

247

THE CSP DICHOTOMY HOLDS FOR DIGRAPHS WITH NO SOURCES AND NO SINKS  

E-Print Network (OSTI)

THE CSP DICHOTOMY HOLDS FOR DIGRAPHS WITH NO SOURCES AND NO SINKS (A POSITIVE ANSWER conjectured in 1990 (using the language of graph homomorphisms) a CSP dichotomy for digraphs with no sources hered- itarily hard digraphs. Further, we show that the CSP dichotomy for digraphs with no sources

Barto, Libor

248

FDR3 --A Modern Refinement Checker for CSP Thomas Gibson-Robinson, Philip Armstrong,  

E-Print Network (OSTI)

FDR3 -- A Modern Refinement Checker for CSP Thomas Gibson-Robinson, Philip Armstrong, Alexandre.roscoe}@cs.ox.ac.uk Abstract. FDR3 is a complete rewrite of the CSP refinement checker FDR2, incorporating a significant number describe the new algorithm that FDR3 uses to construct its in- ternal representation of CSP processes

Oxford, University of

249

Propagation de Contraintes et Listes Tabou pour le CSP Mohammad DIB, Alexandre CAMINADA, Hakim MABED  

E-Print Network (OSTI)

Propagation de Contraintes et Listes Tabou pour le CSP Mohammad DIB, Alexandre CAMINADA, Hakim pour le CSP. Nous proposons une méthode déterministe qui permet de gérer dynamiquement des coupes dans percentages. 1 INTRODUCTION Un problème de satisfaction de contraintes (CSP) [1] est défini par un ensemble de

Paris-Sud XI, Université de

250

Nordic Journal of Computing 10(2003), 135. TIMED CSP = CLOSED TIMED -AUTOMATA  

E-Print Network (OSTI)

Nordic Journal of Computing 10(2003), 1­35. TIMED CSP = CLOSED TIMED -AUTOMATA JO¨EL OUAKNINE CSP which significantly increase expressiveness. As a result, we are able to capture some of the most of the finite-state fragment of this augmented version of Timed CSP as that of closed timed -automata

Ouaknine, Joël

251

Rework of CSP: the effect on surface intermetallic Electronics Manufacturing Research Group, School of Aeronautical, Mechanical  

E-Print Network (OSTI)

Rework of CSP: the effect on surface intermetallic growth T.A. Nguty Electronics Manufacturing resulted in the development of ball grid array (BGA), chip scale packages (CSP) and flip chip technologies (CSP) are defined as packages that are no larger than 1.2 times the area of the die (Chung and Haskell

Ekere, Ndy

252

The past, present and future of protocol checking with CSP and FDR  

E-Print Network (OSTI)

AVoCS 2006 The past, present and future of protocol checking with CSP and FDR Bill Roscoe1 Oxford of these meetings was the development of the CSP model of cryptographic protocols, following Gavin Lowe's discovery the particular advantages of using a process algebra, and CSP in particular, for modelling cryptoprotocols

Paris-Sud XI, Université de

253

The Design and Performance of SpaceWire Router-network using CSP  

E-Print Network (OSTI)

The Design and Performance of SpaceWire Router-network using CSP Session:Components Short Paper the point of view of robustness and security using CSP (Communication Sequential Processes) method, one Correspondong author:fukunaga@tmu.ac.jp 1 Occam has been originally developed by Inmos Limited inspired by CSP[3

Fukunaga, Chikara

254

Refinement and verification of concurrent systems specified in ObjectZ and CSP  

E-Print Network (OSTI)

Refinement and verification of concurrent systems specified in Object­Z and CSP Graeme Smith­Z and CSP. A common semantic basis for the two languages enables a unified method of refinement to be used, based upon CSP refinement. To enable state­based techniques to be used for the Object­Z components

Smith, Graeme

255

On CSP and the Algebraic Theory of Effects Rob van Glabbeek and Gordon Plotkin  

E-Print Network (OSTI)

On CSP and the Algebraic Theory of Effects Rob van Glabbeek and Gordon Plotkin Abstract We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect in terms of two versions of the stable failures model of CSP, one more general than the other

Plotkin, Gordon

256

To appear in EPTCS. A CSP account of Event-B refinement  

E-Print Network (OSTI)

To appear in EPTCS. A CSP account of Event-B refinement Steve Schneider Department of Computing a CSP account of Event-B refinement, with a treatment for the first time of splitting events and of anticipated events. To this end, we define a CSP seman- tics for Event-B and show how the different forms

Doran, Simon J.

257

Nordic Journal of Computing 10(2003), 1--35. TIMED CSP = CLOSED TIMED #AUTOMATA  

E-Print Network (OSTI)

Nordic Journal of Computing 10(2003), 1--35. TIMED CSP = CLOSED TIMED #­AUTOMATA JO ? EL OUAKNINE CSP which significantly increase expressiveness. As a result, we are able to capture some of the most of the finite­state fragment of this augmented version of Timed CSP as that of closed timed #­automata

Ouaknine, Joël

258

Average Outgoing Quality of CSP-C Continuous Sampling Plan under Short  

E-Print Network (OSTI)

Average Outgoing Quality of CSP-C Continuous Sampling Plan under Short Run Production Processes S and Technology, Pohang, South Korea ABSTRACT A CSP-C continuous sampling plan is a new single-level continuous number to the CSP-1 plan for the application of continuous production processes. In this new plan

Jun, Chi-Hyuck

259

Combining CSP and ObjectZ: Finite or Infinite Trace Semantics?  

E-Print Network (OSTI)

Combining CSP and Object­Z: Finite or Infinite Trace Semantics? Clemens Fischer Universit semantics as a means of com­ bining CSP with Object­Z. The purpose of this combination is to more effectively specify complex, concurrent systems: while CSP is ideal for modelling systems of concurrent

Olderog, Ernst-Rüdiger

260

Directing exploratory search: reinforcement learning from user interactions with keywords  

Science Conference Proceedings (OSTI)

Techniques for both exploratory and known item search tend to direct only to more specific subtopics or individual documents, as opposed to allowing directing the exploration of the information space. We present an interactive information retrieval system ... Keywords: adaptive interfaces, data mining, information filtering, machine learning, recommender systems

Dorota Glowacka; Tuukka Ruotsalo; Ksenia Konuyshkova; kumaripaba Athukorala; Samuel Kaski; Giulio Jacucci

2013-03-01T23:59:59.000Z

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


261

Search forKeyword More Make TBO your  

E-Print Network (OSTI)

Search forKeyword More · Make TBO your Home Page · Advertise with us · Web site feedback Welcome in Comcast after its stock dropped 12 percent. WORLD Oil Sets Record Oil prices set a new record Tuesday. Light crude for September delivery climbed 70 cents to $46.75 in New York trading. On an inflation

Richardson, Martin C.

262

Top-K nearest keyword search on large graphs  

Science Conference Proceedings (OSTI)

It is quite common for networks emerging nowadays to have labels or textual contents on the nodes. On such networks, we study the problem of top-k nearest keyword (k-NK) search. In a network G modeled as an undirected graph, each node is ...

Miao Qiao, Lu Qin, Hong Cheng, Jeffrey Xu Yu, Wentao Tian

2013-08-01T23:59:59.000Z

263

Second moment method for a family of boolean CSP  

E-Print Network (OSTI)

The estimation of phase transitions in random boolean Constraint Satisfaction Problems (CSP) is based on two fundamental tools: the first and second moment methods. While the first moment method on the number of solutions permits to compute upper bounds on any boolean CSP, the second moment method used for computing lower bounds proves to be more tricky and in most cases gives only the trivial lower bound 0. In this paper, we define a subclass of boolean CSP covering the monotone versions of many known NP-Complete boolean CSPs. We give a method for computing non trivial lower bounds for any member of this subclass. This is achieved thanks to an application of the second moment method to some selected solutions called characteristic solutions that depend on the boolean CSP considered. We apply, as an example, this method to establish that the threshold r_{k} of monotone 1-in-k-SAT is \\log k/k\\leq r_{k}\\leq\\log^{2}k/k

Boufkhad, Yacine

2011-01-01T23:59:59.000Z

264

Both the Caspase CSP-1 and a Caspase-Independent Pathway Promote Programmed Cell Death in Parallel to  

E-Print Network (OSTI)

Both the Caspase CSP-1 and a Caspase-Independent Pathway Promote Programmed Cell Death in Parallel in the invertebrate nematode Caenorhabditis elegans. The C. elegans genome contains four caspase genes (ced-3, csp-1, csp-2, and csp-3), of which only ced-3 has been demonstrated to promote apoptosis. Here, we show

Horvitz, H. Robert

265

SunShot Initiative: Component R&D for CSP Systems  

NLE Websites -- All DOE Office Websites (Extended Search)

Component R&D for CSP Systems to Component R&D for CSP Systems to someone by E-mail Share SunShot Initiative: Component R&D for CSP Systems on Facebook Tweet about SunShot Initiative: Component R&D for CSP Systems on Twitter Bookmark SunShot Initiative: Component R&D for CSP Systems on Google Bookmark SunShot Initiative: Component R&D for CSP Systems on Delicious Rank SunShot Initiative: Component R&D for CSP Systems on Digg Find More places to share SunShot Initiative: Component R&D for CSP Systems on AddThis.com... Concentrating Solar Power Systems Components Collectors Receivers Power Block Thermal Storage Systems Analysis Competitive Awards Staff Photovoltaics Systems Integration Balance of Systems Component R&D for CSP Systems Graphic showing five color blocks in a circular formation that represent the technical goals and cost targets for each component in the CSP system.

266

Containment, Equivalence and Coreness from CSP to QCSP and beyond  

E-Print Network (OSTI)

The constraint satisfaction problem (CSP) and its quantified extensions, whether without (QCSP) or with disjunction (QCSP_or), correspond naturally to the model checking problem for three increasingly stronger fragments of positive first-order logic. Their complexity is often studied when parameterised by a fixed model, the so-called template. It is a natural question to ask when two templates are equivalent, or more generally when one "contain" another, in the sense that a satisfied instance of the first will be necessarily satisfied in the second. One can also ask for a smallest possible equivalent template: this is known as the core for CSP. We recall and extend previous results on containment, equivalence and "coreness" for QCSP_or before initiating a preliminary study of cores for QCSP which we characterise for certain structures and which turns out to be more elusive.

Madelaine, Florent

2012-01-01T23:59:59.000Z

267

Update on the Southwest 1000 MW CSP Initiative  

Science Conference Proceedings (OSTI)

The 1000 MW CSP project was initiated in FY02 based on a Congressional request of the DOE to investigate the feasibility of 1000 MW of Concentrating Solar Power in the Southwest by 2006. The original charge has grown and involved a number of activities including: outreach to the SW states, support of state-level activities in NM, CA, and CO, and analysis in support of the Western Governors' Association (WGA) 30 GW Clean Energy Initiative.

Mancini, T.; Mehos, M.; Wilkins, F.; Morse, F.

2005-11-01T23:59:59.000Z

268

On the kernelization of ranking r-CSP in tournaments  

E-Print Network (OSTI)

A Ranking r-Constraint Satisfaction Problem (ranking r-CSP) consists of a ground set of vertices V, an arity r > 2, a parameter k and a constraint system c, where c is a function which maps rankings of r-sized subsets of V to {0,1}. The objective is to decide if there exists a ranking ? of the vertices satisfying all but at most k constraints. Famous ranking r-CSP include the Feedback Arc Set in Tournaments and Betweenness in Tournaments problems. We consider these problems from the kernelization viewpoint. We first prove that Feedback Arc Set in Bipartite Tournaments admits a kernel with O(k^2) vertices, improving the previous bound of O(k^3) vertices. Next, we prove that so-called l_r-simply characterized ranking r-CSP admit linear vertex-kernels whenever they admit constant-factor approximation algorithms. This implies that r-Betweenness in Tournaments and r-Transitive Feedback Arc Set In Tournaments admit linear vertex-kernels. Finally, we consider another generalization of Feedback Arc Set in Tournaments...

Perez, Anthony

2012-01-01T23:59:59.000Z

269

Text analysis of MEDLINE for discovering functional relationships among genes: evaluation of keyword extraction weighting schemes  

Science Conference Proceedings (OSTI)

One of the key challenges of microarray studies is to derive biological insights from the gene-expression patterns. Clustering genes by functional keyword association can provide direct information about the functional links among genes. However, ... Keywords: BEA-PARTITION, DNA microarray lists, MEDLINE, bioinformatics, clustering analysis, data mining, gene clustering, gene expression patterns, information extraction, keyword association, keyword extraction, keyword weighting, text analysis

Ying Liu; Shamkant B. Navathe; Alex Pivoshenko; Venu G. Dasigi; Ray Dingledine; Brian J. Ciliax

2006-06-01T23:59:59.000Z

270

SunShot Initiative: Component R&D for CSP Systems  

NLE Websites -- All DOE Office Websites (Extended Search)

Component R&D for CSP Systems Component R&D for CSP Systems Graphic showing five color blocks in a circular formation that represent the technical goals and cost targets for each component in the CSP system. Enlarge image The SunShot Initiative goal is to reduce the levelized cost of electricity generated by concentrating solar power (CSP) to $0.06 per kilowatt hour (kWh) or less, without any subsidy, by the year 2020. Concentrating solar power systems have different system configurations, such as trough, tower, linear Fresnel or dish, but they all share similar components. The SunShot CSP program funds research and development within the industry, national laboratories and universities to achieve the technical and economic targets for the following CSP component technologies:

271

Actes JFPC 2012 Compilation de CSP en Set-labeled Diagram  

E-Print Network (OSTI)

Actes JFPC 2012 Compilation de CSP en Set-labeled Diagram Alexandre Niveau H´el`ene Fargier C parfois ^etre ex´ecut´ees en ligne et en temps limit´e. Dans ce cas, la r´esolution du CSP n'est pas assez´e- sente l'assignation d'une variable ; l'ensemble des solu- tions d'un CSP correspond `a l'ensemble des

Paris-Sud XI, Université de

272

2-triangulation de micro-structure pour la resolution de CSP Samba Ndojh NDIAYE  

E-Print Network (OSTI)

2-triangulation de micro-structure pour la r´esolution de CSP Samba Ndojh NDIAYE LSIS - UMR CNRS Cedex 20 (France) samba.ndiaye@lsis.org R´esum´e : Un CSP ou probl`eme de satisfaction de contraintes probl`eme de d´ecision associ´e `a un CSP est NP-complet. Dans [J´egou, 1993], J´egou propose une m

Paris-Sud XI, Université de

273

Technical Report CSPOZ: A Combination of ObjectZ and CSP  

E-Print Network (OSTI)

Technical Report CSP­OZ: A Combination of Object­Z and CSP TRCF­97­2 Clemens Fischer University@informatik.uni­oldenburg.de Date: April 30, 1997 Document Id: TRCF­97­2 #12; #12; CSP­OZ: A Combination of Object­Z and CSP Clemens­mail: Fischer@Informatik.Uni­Oldenburg.de Abstract In this paper we define a combination of Object­Z and CSP

Habel, Annegret

274

Performance Calculations and Optimization of a Fresnel Direct Steam Generation CSP Plant with Heat Storage.  

E-Print Network (OSTI)

?? This master thesis deals with the performance calculations of a 9MW linear Fresnel CSP plant withdirect steam generation built by the Solar Division of (more)

Schlaifer, Perrine

2013-01-01T23:59:59.000Z

275

Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la rsolution de CSP.  

E-Print Network (OSTI)

??Un trs grand nombre de problmes combinatoires appartient la famille des problmes de satisfaction de contraintes (Constraint Satisfaction Problem ou CSP) : configuration, ordonnancement, (more)

Dib, Mohammad

2010-01-01T23:59:59.000Z

276

The characterization of Csp (Cold Shock Protein) from the Antarctic archaeon, Methanogenium frigidum.  

E-Print Network (OSTI)

??Cold shock proteins (Csp) are small acidic proteins that fold into ?-barrel structures with five anti-parallel ?-strands and are involved in essential cellular processes. Upon (more)

Giaquinto, Laura

2006-01-01T23:59:59.000Z

277

A Fast Algorithm for Eye Detection Using Two-Dimensional CSP Akiko SUZUKI Tetsuya TAKIGUCHI Yasuo ARIKI  

E-Print Network (OSTI)

CSP A Fast Algorithm for Eye Detection Using Two-Dimensional CSP Akiko SUZUKI Tetsuya TAKIGUCHI Yasuo ARIKI 1. , CSP Crosspower-Spectrum Phase 2 [1] [2][3] CSP 2. W ? H I(x, y) w ? h T(i, j) R(x, y) R(x, y) (4) 3. CSP 1 CSP I(x, y) T(i, j) I(1, 2) = x,y I(x, y)e-j1x e-j2y (5) T(1, 2) = i,j T(i, j)e-j1

Takiguchi, Tetsuya

278

Unbiased Statistics of a CSP - A Controlled-Bias Generator  

E-Print Network (OSTI)

We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two aspects of the problem: defining a measure of complexity and generating random unbiased instances. For the first problem, we rely on a general framework and a measure of complexity we presented at CISSE08. For the generation problem, we restrict our analysis to the Sudoku example and we provide a solution that also explains why it is so difficult.

Berthier, Denis

2011-01-01T23:59:59.000Z

279

A Dichotomy for 2-Constraint Forbidden CSP Patterns  

E-Print Network (OSTI)

Although the CSP (constraint satisfaction problem) is NP-complete, even in the case when all constraints are binary, certain classes of instances are tractable. We study classes of instances defined by excluding subproblems. This approach has recently led to the discovery of novel tractable classes. The complete characterisation of all tractable classes defined by forbidding patterns (where a pattern is simply a compact representation of a set of subproblems) is a challenging problem. We demonstrate a dichotomy in the case of forbidden patterns consisting of either one or two constraints. This has allowed us to discover new tractable classes including, for example, a novel generalisation of 2SAT.

Cooper, Martin C

2012-01-01T23:59:59.000Z

280

CSP 586: Software Modeling and Development with UML Jim Conallen. Building Web Applications with UML, Addison-Wesley  

E-Print Network (OSTI)

CSP 586: Software Modeling and Development with UML Texts Jim Conallen. Building Web Applications · UML for Web Design 3 hours Total 45 hours CSP 586: Software Modeling and Development with UML 1 of 1

Heller, Barbara

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


281

CSP 541: Internet Technologies W.R. Stevens, TCP/IP Illustrated, Volume 1, Addison-Wesley, ISBN 0201633469  

E-Print Network (OSTI)

CSP 541: Internet Technologies Texts W.R. Stevens, TCP/IP Illustrated, Volume 1, Addison March 2006 (html, css checks) CSP 541: Internet Technologies - CS Dept, Illinois Institut... 1 of 1 #12;

Heller, Barbara

282

A CSP View on UMLRT structure diagrams Clemens Fischer, ErnstRudiger Olderog and Heike Wehrheim  

E-Print Network (OSTI)

A CSP View on UML­RT structure diagrams Clemens Fischer, Ernst­R¨udiger Olderog and Heike Wehrheim UML­RT structure diagrams together with the formal method CSP­OZ combining CSP and Object­Z. While CSP­OZ is used for specifying the system components themselves (by CSP­OZ classes), UML­RT diagrams provide

Olderog, Ernst-Rüdiger

283

SunShot Initiative: Baseload CSP Generation Integrated with Sulfur-Based  

NLE Websites -- All DOE Office Websites (Extended Search)

CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage General Atomics logo Graphic of a diagram of squares and circles connected by arrows. Sulfur-based TES can compensate for diurnal and seasonal insolation fluctuations. General Atomics, under the Baseload CSP FOA, is demonstrating the engineering feasibility of using a sulfur-based thermochemical cycle to store heat from a CSP plant and support baseload power generation. Approach There are three main project objectives under this award: Study the sulfur generating disproportionation reaction and develop it into a practical engineering process step. Carry out preliminary process components design and experimental validation. The engineering data will be used for process integration between the CSP plant, the sulfur processing and storage plant, and the electricity generation unit.

284

From k-SAT to k-CSP: Two Generalized Algorithms  

E-Print Network (OSTI)

Constraint satisfaction problems (CSPs) models many important intractable NP-hard problems such as propositional satisfiability problem (SAT). Algorithms with non-trivial upper bounds on running time for restricted SAT with bounded clause length k (k-SAT) can be classified into three styles: DPLL-like, PPSZ-like and Local Search, with local search algorithms having already been generalized to CSP with bounded constraint arity k (k-CSP). We generalize a DPLL-like algorithm in its simplest form and a PPSZ-like algorithm from k-SAT to k-CSP. As far as we know, this is the first attempt to use PPSZ-like strategy to solve k-CSP, and before little work has been focused on the DPLL-like or PPSZ-like strategies for k-CSP.

Li, Liang; Liu, Tian; Xu, Ke

2008-01-01T23:59:59.000Z

285

Drivers and Barriers in the Current Concentrated Solar Power (CSP) Market  

Open Energy Info (EERE)

Drivers and Barriers in the Current Concentrated Solar Power (CSP) Market Drivers and Barriers in the Current Concentrated Solar Power (CSP) Market (Webinar) Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Drivers and Barriers in the Current Concentrated Solar Power (CSP) Market (Webinar) Focus Area: Solar Topics: Market Analysis Website: www.leonardo-energy.org/webinar-drivers-and-barriers-current-csp-marke Equivalent URI: cleanenergysolutions.org/content/drivers-and-barriers-current-concentr Language: English Policies: Regulations Regulations: Mandates/Targets This video teaches users about the four major types of concentrating solar power technologies (CSP): parabolic trough, tower concentrators, linear Fresnel lenses and dish engine systems. It also provides an overview of the trends in the market and research that should be performed in order to make

286

Mechanical Bending Technique for Determining CSP Design and Assembly Mark R. Larsen, Ian R. Harvey Ph.D.,  

E-Print Network (OSTI)

S34-3-1 Mechanical Bending Technique for Determining CSP Design and Assembly Weaknesses Mark R at the Chip Size Package (CSP) solder fillet. Mechanically stressing the package serves as a valuable tool bending results compare different CSP architectures thus demonstrating the utility of the test technique

Harvey, Ian R.

287

Some problems THE Galois connection Clones and algebras The lattice of clones Completeness CSP Open problems Clones and Galois connections  

E-Print Network (OSTI)

Some problems THE Galois connection Clones and algebras The lattice of clones Completeness CSP Open aa #12;Some problems THE Galois connection Clones and algebras The lattice of clones Completeness CSP Completeness CSP Open problems Final remarks aa #12;Some problems THE Galois connection Clones and algebras

Pöschel, Reinhard

288

URL: http://www.elsevier.nl/locate/entcs/volume68.html 18 pages Timed CSP = Closed Timed Automata 1  

E-Print Network (OSTI)

URL: http://www.elsevier.nl/locate/entcs/volume68.html 18 pages Timed CSP = Closed Timed Automata 1 70118, USA Abstract We study the expressive power of an augmented version of Timed CSP and show constraints. We also show that this new version of Timed CSP is expressive enough to capture the most widely

Ouaknine, Joël

289

ABSTRACT: The effect of the cotton storage trisaccharide raf-finose and cottonseed storage protein (CSP) in combination on  

E-Print Network (OSTI)

(CSP) in combination on aflatoxin production by Aspergillus flavus was investigated. The ability and CSP was the sole nitrogen source, aflatoxin levels were stimulated up to fourfold above those or raffinose was capable of providing accessible carbon to A. flavus. Raffi- nose and CSP in developing

Cotty, Peter J.

290

Prepared by Jane DiCosimo 1 March 9, 2012 Roadmap to March 2012 CSP Agenda C-4(b) Part 1  

E-Print Network (OSTI)

Prepared by Jane DiCosimo 1 March 9, 2012 Roadmap to March 2012 CSP Agenda C-4(b) Part 1 Halibut Catch Sharing Plan (CSP) Preferred Alternative (PA); 2) an evaluation of new information since it selected its CSP PA to determine if it meets its objectives under the CSP; 3) a discussion paper of other

291

The Complexity of Approximating Bounded-Degree Boolean #CSP  

E-Print Network (OSTI)

The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs with bounded-degree instances for constraint languages containing the two unary constant relations {0} and {1}. When the maximum degree is at least 25 we obtain a complete classification of the complexity of this problem. It is exactly solvable in polynomial-time if every relation in the constraint language is affine. It is equivalent to the problem of approximately counting independent sets in bipartite graphs if every relation can be expressed as conjunctions of {0}, {1} and binary implication. Otherwise, there is no FPRAS unless NP=RP. For lower degree bounds, additional cases arise in which the complexity is related to the complexity of approximately counting independent sets in hypergraphs.

Dyer, Martin; Jalsenius, Markus; Richerby, David

2009-01-01T23:59:59.000Z

292

Characterization of a New Charge Sensitive Preamplifier (CSP) for the Electromagnetic Calorimeters of the ALICE Experiment  

Science Conference Proceedings (OSTI)

The ALICE calorimeters PHOS and EMCal (including its extension DCal) are based on Avalanche Photo-Diode (APD) photosensors with Charge Sensitive Preamplifiers (CSPs) for readout of the scintillating elements. A new CSP has been developed on the basis of the design of the PHOS CSP, but modified to meet the requirements of the EMCal and DCal. Modifications were made specifically for a different APD choice with different characteristics, and also with the goals of less noise, faster rise time, and reduced cost. This paper presents a detailed description of the new CSP features and the test results.

Wang, Yaping [Inst. of Particle Physics/Key Lab. of Quark and Lepton Physics, Central China Normal Univ., Wuhan, C; Muller, Hans [CERN, Geneva, Switzerland; Cai, Xu [Inst. of Particle Physics/Key Lab. of Quark and Lepton Physics, Central China Normal Univ., Wuhan, C; Zhou, Daicui [Inst. of Particle Physics/Key Lab. of Quark and Lepton Physics, Central China Normal Univ., Wuhan, C; Awes, Terry C [ORNL; Yin, Zhongbao [Inst. of Particle Physics/Key Lab. of Quark and Lepton Physics, Central China Normal Univ., Wuhan, C

2012-01-01T23:59:59.000Z

293

OpenEI/PageKeyword green home designs | Open Energy Information  

Open Energy Info (EERE)

to: navigation, search A list of all pages that have property "OpenEIPageKeyword" with value "green home designs" Gateway:Incentives and Policies + Property: OpenEIPageKeyword...

294

OpenEI/PageKeyword solar home heating | Open Energy Information  

Open Energy Info (EERE)

to: navigation, search A list of all pages that have property "OpenEIPageKeyword" with value "solar home heating" Gateway:Solar + Property: OpenEIPageKeyword Value: solar home...

295

OpenEI/PageKeyword green home plans | Open Energy Information  

Open Energy Info (EERE)

to: navigation, search A list of all pages that have property "OpenEIPageKeyword" with value "green home plans" Gateway:Incentives and Policies + Property: OpenEIPageKeyword...

296

OpenEI/PageKeyword home solar panels | Open Energy Information  

Open Energy Info (EERE)

to: navigation, search A list of all pages that have property "OpenEIPageKeyword" with value "home solar panels" Gateway:Solar + Property: OpenEIPageKeyword Value: home solar...

297

OpenEI/PageKeyword home solar power | Open Energy Information  

Open Energy Info (EERE)

to: navigation, search A list of all pages that have property "OpenEIPageKeyword" with value "home solar power" Gateway:Solar + Property: OpenEIPageKeyword Value: home solar...

298

Self Managing Top-k (Summary, Keyword) Indexes in XML Retrieval  

Science Conference Proceedings (OSTI)

Retrieval queries that combine structural constraints with keyword search represent a significant challenge to XML data management systems. Queries are expected to be answered as efficiently and effectively as in traditional keyword search, while satisfying ...

Mariano P. Consens; Xin Gu; Yaron Kanza; Flavio Rizzolo

2007-04-01T23:59:59.000Z

299

Sandia capabilities for the measurement, characterization, and analysis of heliostats for CSP.  

Science Conference Proceedings (OSTI)

The Concentrating Solar Technologies Organization at Sandia National Laboratories has a long history of performing important research, development, and testing that has enabled the Concentrating Solar Power Industry to deploy full-scale power plants. Sandia continues to pursue innovative CSP concepts with the goal of reducing the cost of CSP while improving efficiency and performance. In this pursuit, Sandia has developed many tools for the analysis of CSP performance. The following capabilities document highlights Sandia's extensive experience in the design, construction, and utilization of large-scale testing facilities for CSP and the tools that Sandia has created for the full characterization of heliostats. Sandia has extensive experience in using these tools to evaluate the performance of novel heliostat designs.

Andraka, Charles E.; Christian, Joshua Mark; Ghanbari, Cheryl M.; Gill, David Dennis; Ho, Clifford Kuofei; Kolb, William J.; Moss, Timothy A.; Smith, Edward J.; Yellowhair, Julius

2013-07-01T23:59:59.000Z

300

Optimal Constant-Time Approximation Algorithms and (Unconditional) Inapproximability Results for Every Bounded-Degree CSP  

E-Print Network (OSTI)

Raghavendra (STOC 2008) gave an elegant and surprising result: if Khot's Unique Games Conjecture (STOC 2002) is true, then for every constraint satisfaction problem (CSP), the best approximation ratio is attained by a certain simple semidefinite programming and a rounding scheme for it. In this paper, we show that a similar result holds for constant-time approximation algorithms in the bounded-degree model. Specifically, we present the followings: (i) For every CSP, we construct an oracle that serves an access, in constant time, to a nearly optimal solution of a basic LP relaxation of the CSP. (ii) Using the oracle, we present a constant-time rounding scheme that achieves an approximation ratio coincident with the integrality gap of the basic LP. (iii) We give a generic conversion from integrality gaps of basic LPs to hardness results. All of those results are ``unconditional.'' Therefore, for every bounded-degree CSP, we give the best constant-time approximation algorithm among all.

Yoshida, Yuichi

2010-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


301

Next-Generation Solar Collectors for CSP, Concentrating Solar Power (Fact Sheet)  

Science Conference Proceedings (OSTI)

3M Company is one of the 2012 SunShot CSP R&D awardees for their advanced collectors. This fact sheet explains the motivation, description, and impact of the project.

Not Available

2012-09-01T23:59:59.000Z

302

The Long-Term Market Potential of Concentrating Solar Power (CSP) Systems  

Science Conference Proceedings (OSTI)

This chapter will examine the conditions under which thermal CSP systems might play a large role in the global energy system. CSP technologies, such as troughs or power towers, have a large advantage over other solar technologies in that they offer the potential for firm power delivery, mitigating intermittency issues. These systems require relatively cloud-free conditions to operate, which limits their geographic applicability.

Smith, Steven J.

2012-10-30T23:59:59.000Z

303

The first steps towards a standardized methodology for CSP electricity yield analysis.  

Science Conference Proceedings (OSTI)

The authors have founded a temporary international core team to prepare a SolarPACES activity aimed at the standardization of a methodology for electricity yield analysis of CSP plants. This core team has drafted a structural framework for a standardized methodology and the standardization process itself. The structural framework has to assure that the standardized methodology is applicable to all conceivable CSP systems, can be used on all levels of the project development process and covers all aspects affecting the electricity yield of CSP plants. Since the development of the standardized methodology is a complex task, the standardization process has been structured in work packages, and numerous international experts covering all aspects of CSP yield analysis have been asked to contribute to this process. These experts have teamed up in an international working group with the objective to develop, document and publish standardized methodologies for CSP yield analysis. This paper summarizes the intended standardization process and presents the structural framework of the methodology for CSP yield analysis.

Wagner, Michael (National Renewable Energy Laboratories, Golden, CO); Hirsch, Tobias (German Aerospace Center (DLR), Institute of Technical Thermodynamics, Stuttgart,Germany); Benitez, Daniel (Flagsol, Cologne, Germany); Eck, Markus (German Aerospace Center (DLR), Institute of Technical Thermodynamics, Stuttgart,Germany); Ho, Clifford Kuofei

2010-08-01T23:59:59.000Z

304

Model-Checking CSP-Z: Strategy, Tool Support and Industrial Application  

E-Print Network (OSTI)

Model-checking is now widely accepted as an ecient method for analysing computer system properties, such as deadlock-freedom. Its practical applicability is due to existing automatic tools which deal with tedious proofs. Another research area of increasing interest is formal language integration where the capabilities of each language are used to capture precisely some aspects of a system. In this paper we propose a general strategy for model-checking CSP-Z specications using as tool support the FDR model-checker. The CSP-Z language is a semantical integration of CSP and Z, such that CSP handles the concurrent aspects of a system, and Z the data structures part. We also present a modular approach for model-checking complex CSP-Z specications, specically to verify deadlock-freedom. Finally, we present a CSP-Z specication for a subset of a real Brazilian articial microssatellite, and apply the proposed strategy to prove that this specication is deadlock-free. Key words: Model-Chec...

Alexandre Mota; Augusto Sampaio

2001-01-01T23:59:59.000Z

305

A weighted CSP approach to cost-optimal planning  

Science Conference Proceedings (OSTI)

For planning to come of age, plans must be judged by a measure of quality, such as the total cost of actions. This paper describes an optimal-cost planner which guarantees global optimality whenever the planning problem has a solution. We code the extraction ... Keywords: Optimal planning, planning graph, soft arc consistency, soft constraints

Martin C. Cooper; Marie de Roquemaurel; Pierre Rgnier

2011-01-01T23:59:59.000Z

306

Min CSP on four elements: moving beyond submodularity  

Science Conference Proceedings (OSTI)

We report new results on the complexity of the valued constraint satisfaction problem (VCSP). Under the unique games conjecture, the approximability of finite-valued VCSP is fairly well-understood. However, there is yet no characterisation of VCSPs that ... Keywords: bisubmodularity, combinatorial optimisation, computational complexity, constraint satisfaction problems, submodularity

Peter Jonsson; Fredrik Kuivinen; Johan Thapper

2011-09-01T23:59:59.000Z

307

Help - Keywords  

NLE Websites -- All DOE Office Websites (Extended Search)

Name Conference Name Subject Table of Contents, if available Enter one or more search terms in any order. Use the asterisk (*) to truncate a word. (For example,...

308

Feasibility Study of Economics and Performance of Biopower at the Chanute Air Force Base in Rantoul, Illinois. A Study Prepared in Partnership with the Environmental Protection Agency for the RE-Powering America's Land Initiative: Siting Renewable Energy on Potentially Contaminated Land and Mine Sites  

DOE Green Energy (OSTI)

The U.S. Environmental Protection Agency (EPA), in accordance with the RE-Powering America's Land initiative, selected the Former Chanute Air Force Base site in Rantoul, Illinois, for a feasibility study of renewable energy production. The National Renewable Energy Laboratory (NREL) was contacted to provide technical assistance for this project. The purpose of this study was to assess the site for a possible biopower system installation and estimate the cost, performance, and impacts of different biopower options.

Scarlata, C.; Mosey, G.

2013-05-01T23:59:59.000Z

309

Energy Basics: Biopower  

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

electricity. Co-Firing Co-firing involves replacing a portion of the petroleum-based fuel in high-efficiency coal-fired boilers with biomass. Co-firing has been successfully...

310

Biopower | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

stoker units. Co-firing biomass can significantly reduce the sulfur dioxide emissions of coal-fired power plants and is a least-cost renewable energy option for many power...

311

Combining statistical data analysis techniques to extract topical keyword classes from corpora  

Science Conference Proceedings (OSTI)

We present an unsupervised method for the generation from a textual corpus of sets of keywords, that is, words whose occurrences in a text are strongly connected with the presence of a given topic. Each of these classes is associated with one of the ... Keywords: Statistical Data Analysis, Topic Characterization, Topic Detection, Unsupervised Classification

Mathias Rossignol; Pascale Sbillot

2005-01-01T23:59:59.000Z

312

Chile-NREL Renewable Energy Center and CSP Activities | Open Energy  

Open Energy Info (EERE)

NREL Renewable Energy Center and CSP Activities NREL Renewable Energy Center and CSP Activities Jump to: navigation, search Logo: Chile's Renewable Energy Center and Concentrating Solar Power Name Chile's Renewable Energy Center and Concentrating Solar Power Agency/Company /Organization National Renewable Energy Laboratory Partner Chile's National Commission on Energy Sector Energy Focus Area Solar Topics Background analysis Website http://www.cne.cl/cnewww/openc Program Start 2009 Country Chile South America References NREL International Program Overview Abstract NREL will be providing support for the CSP solicitation process and technical assistance for the Renewable Energy Center. Current Activities "Chile's National Commission on Energy (CNE) together with others is establishing a new renewable energy center to serve as a clearinghouse of

313

A Precision Photometric Comparison between SDSS-II and CSP Type Ia Supernova Data  

Science Conference Proceedings (OSTI)

Consistency between Carnegie Supernova Project (CSP) and SDSS-II Supernova Survey ugri measurements has been evaluated by comparing Sloan Digital Sky Survey (SDSS) and CSP photometry for nine spectroscopically confirmed Type Ia supernova observed contemporaneously by both programs. The CSP data were transformed into the SDSS photometric system. Sources of systematic uncertainty have been identified, quantified, and shown to be at or below the 0.023 mag level in all bands. When all photometry for a given band is combined, we find average magnitude differences of equal to or less than 0.011 mag in ugri, with rms scatter ranging from 0.043 to 0.077 mag. The u-band agreement is promising, with the caveat that only four of the nine supernovae are well observed in u and these four exhibit an 0.038 mag supernova-to-supernova scatter in this filter.

Mosher, J.; /Pennsylvania U.; Sako, M.; /Pennsylvania U.; Corlies, L.; /Pennsylvania U. /Columbia U.; Folatelli, G.; /Tokyo U. /Carnegie Inst. Observ.; Frieman, J.; /Chicago U., KICP /Chicago U., Astron. Astrophys. Ctr.; Holtzman, J.; /New Mexico State U.; Jha, S.W.; /Rutgers U., Piscataway; Kessler, R.; /Chicago U., Astron. Astrophys. Ctr. /Chicago U., KICP; Marriner, J.; /Fermilab; Phillips, M.M.; /Carnegie Inst. Observ.; Stritzinger, M.; /Aarhus U. /Stockholm U., OKC /Bohr Inst. /Carnegie Inst. Observ.

2012-06-01T23:59:59.000Z

314

A PRECISION PHOTOMETRIC COMPARISON BETWEEN SDSS-II AND CSP TYPE Ia SUPERNOVA DATA  

SciTech Connect

Consistency between Carnegie Supernova Project (CSP) and SDSS-II Supernova Survey ugri measurements has been evaluated by comparing Sloan Digital Sky Survey (SDSS) and CSP photometry for nine spectroscopically confirmed Type Ia supernova observed contemporaneously by both programs. The CSP data were transformed into the SDSS photometric system. Sources of systematic uncertainty have been identified, quantified, and shown to be at or below the 0.023 mag level in all bands. When all photometry for a given band is combined, we find average magnitude differences of equal to or less than 0.011 mag in ugri, with rms scatter ranging from 0.043 to 0.077 mag. The u-band agreement is promising, with the caveat that only four of the nine supernovae are well observed in u and these four exhibit an 0.038 mag supernova-to-supernova scatter in this filter.

Mosher, J.; Sako, M.; Corlies, L. [Department of Physics and Astronomy, University of Pennsylvania, 209 South 33rd Street, Philadelphia, PA 19104 (United States); Folatelli, G. [Institute for the Physics and Mathematics of the Universe (IPMU), University of Tokyo, 5-1-5 Kashiwanoha, Kashiwa, Chiba 277-8583 (Japan); Frieman, J.; Kessler, R. [Department of Astronomy and Astrophysics, University of Chicago, 5640 South Ellis Avenue, Chicago, IL 60637 (United States); Holtzman, J. [Department of Astronomy, MSC 4500, New Mexico State University, P.O. Box 30001, Las Cruces, NM 88003 (United States); Jha, S. W. [Department of Physics and Astronomy, Rutgers, the State University of New Jersey, 136 Frelinghuysen Road, Piscataway, NJ 08854 (United States); Marriner, J. [Center for Particle Astrophysics, Fermi National Accelerator Laboratory, P.O. Box 500, Batavia, IL 60510 (United States); Phillips, M. M.; Morrell, N. [Las Campanas Observatory, Carnegie Observatories, Casilla 601, La Serena (Chile); Stritzinger, M. [Oskar Klein Centre for Cosmo Particle Physics, AlbaNova University Center, 106 91 Stockholm (Sweden); Schneider, D. P., E-mail: jmosher@sas.upenn.edu [Department of Astronomy and Astrophysics, Pennsylvania State University, 525 Davey Laboratory, University Park, PA 16802 (United States)

2012-07-15T23:59:59.000Z

315

A Comparison of Supercritical Carbon Dioxide Power Cycle Configurations with an Emphasis on CSP Applications (Presentation)  

SciTech Connect

Recent research suggests that an emerging power cycle technology using supercritical carbon dioxide (s-CO2) operated in a closed-loop Brayton cycle offers the potential of equivalent or higher cycle efficiency versus supercritical or superheated steam cycles at temperatures relevant for CSP applications. Preliminary design-point modeling suggests that s-CO2 cycle configurations can be devised that have similar overall efficiency but different temperature and/or pressure characteristics. This paper employs a more detailed heat exchanger model than previous work to compare the recompression and partial cooling cycles, two cycles with high design-point efficiencies, and illustrates the potential advantages of the latter. Integration of the cycles into CSP systems is studied, with a focus on sensible heat thermal storage and direct s-CO2 receivers. Results show the partial cooling cycle may offer a larger temperature difference across the primary heat exchanger, thereby potentially reducing heat exchanger cost and improving CSP receiver efficiency.

Neises, T.; Turchi, C.

2013-09-01T23:59:59.000Z

316

A Precision Photometric Comparison between SDSS-II and CSP Type Ia Supernova Data  

E-Print Network (OSTI)

Consistency between Carnegie Supernova Project (CSP) and SDSS-II supernova (SN) survey ugri measurements has been evaluated by comparing SDSS and CSP photometry for nine spectroscopically confirmed Type Ia supernova observed contemporaneously by both programs. The CSP data were transformed into the SDSS photometric system. Sources of systematic uncertainty have been identified, quantified, and shown to be at or below the 0.023 magnitude level in all bands. When all photometry for a given band is combined, we find average magnitude differences of equal to or less than 0.011 magnitudes in ugri, with rms scatter ranging from 0.043 to 0.077 magnitudes. The u band agreement is promising, with the caveat that only four of the nine supernovae are well-observed in u and these four exhibit an 0.038 magnitude supernova-to-supernova scatter in this filter.

Mosher, J; Corlies, L; Folatelli, G; Frieman, J; Holtzman, J; Jha, S W; Kessler, R; Marriner, J; Phillips, M M; Stritzinger, M; Morrell, N; Schneider, D P

2012-01-01T23:59:59.000Z

317

CSP 585: Object-Oriented Design Patterns Gamma, Helm, Ralph, and Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software,  

E-Print Network (OSTI)

CSP 585: Object-Oriented Design Patterns Texts Gamma, Helm, Ralph, and Vlissides, Design Patterns and Design Patterns 5 hours Total 43 hours Edited March 2006. (html, css checks) CSP 585: Object

Heller, Barbara

318

CSP 542: Internet Design and Analysis Eric Siegel, Designing Quality-of-Service Solutions for the Enterprise, John Wiley and Sons, ISBN 0471333131  

E-Print Network (OSTI)

CSP 542: Internet Design and Analysis Texts Eric Siegel, Designing Quality-of-Service Solutions March 2006 (html, css checks) CSP 542: Internet Design and Analysis - CS Dept, Illinois ... 1 of 1 #12;

Heller, Barbara

319

An Evolutionary Path for Concentrating Thermal Solar Power Technologies: A New Approach for Modeling CSP Power Costs and Potential  

SciTech Connect

Concentrating thermal solar power (CSP) technology is a potentially competitive power generation option, particularly in arid regions where direct sunlight is abundant. We examine the potential role of CSP power plants and their contribution to carbon emissions reduction. The answers to these questions depend on the cost of electricity generated by CSP plants. Although a few studies have projected future CSP costs based on assumptions for technology advancement and the effect of economies of scale and learning curves, few studies have considered the combined effects of intermittency, solar irradiance changes by season, and diurnal and seasonal system load changes. Because the generation of a solar plant varies over a day and by season, the interactions between CSP generators and other generators in the electric system can play an important role in determining costs. In effect, CSP electricity generation cost will depend on the CSP market penetration. This paper examines this relationship and explores possible evolutionary paths for CSP technologies with and without thermal storage.

Zhang, Yabei; Smith, Steven J.

2008-05-08T23:59:59.000Z

320

Scaling Effects in the CSP Phase Transition \\Lambda Ian P. Gent y , Ewan MacIntyre, y Patrick Prosser y , and Toby Walsh z  

E-Print Network (OSTI)

Scaling Effects in the CSP Phase Transition \\Lambda Ian P. Gent y , Ewan MacIntyre, y Patrick of Strathclyde April 18, 1995 Abstract Phase transitions in constraint satisfaction problems (CSP's) are the subject of intense study. We identify an order parameter for random binary CSP's. There is a rapid

St Andrews, University of

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


321

OpenEI/PageKeyword home energy efficiency | Open Energy Information  

Open Energy Info (EERE)

to: navigation, search A list of all pages that have property "OpenEIPageKeyword" with value "home energy efficiency" Gateway:Incentives and Policies + Property: OpenEI...

322

OpenEI/PageKeyword solar power lighting | Open Energy Information  

Open Energy Info (EERE)

Share this page on Facebook icon Twitter icon OpenEIPageKeyword solar power lighting Jump to: navigation, search A list of all pages that have property "OpenEI...

323

OpenEI/PageKeyword Utility Rate Database | Open Energy Information  

Open Energy Info (EERE)

page Share this page on Facebook icon Twitter icon OpenEIPageKeyword Utility Rate Database Jump to: navigation, search A list of all pages that have property "OpenEI...

324

SunShot Initiative: High-Efficiency Thermal Energy Storage System for CSP  

NLE Websites -- All DOE Office Websites (Extended Search)

High-Efficiency Thermal Energy Storage System for CSP High-Efficiency Thermal Energy Storage System for CSP ANL logo Photo of a black and white porous material magnified 50 times by a microscope. Microstructure of the highly thermal conductive foam that will be used for the prototype TES system. Image from ANL Argonne National Laboratory and project partner Ohio Aerospace Institute, under the National Laboratory R&D competitive funding opportunity, will design, develop, and test a prototype high-temperature and high-efficiency thermal energy storage (TES) system with rapid charging and discharging times. By increasing the efficiency of TES systems, this project aims to lower the capital costs of concentrating solar power (CSP) systems. Approach The research team is developing and evaluating a novel approach for TES at temperatures greater than 700˚C for CSP systems. The approach uses high thermal conductivity and high-porosity graphite foams infiltrated with a phase change material (PCM) to provide TES in the form of latent heat.

325

Concentrating Solar Power: Best Practices Handbook for the Collection and Use of Solar Resource Data (CSP)  

DOE Green Energy (OSTI)

As the world looks for low-carbon sources of energy, solar power stands out as the most abundant energy resource. Harnessing this energy is the challenge for this century. Photovoltaics and concentrating solar power (CSP) are two primary forms of electricity generation using sunlight. These use different technologies, collect different fractions of the solar resource, and have different siting and production capabilities. Although PV systems are most often deployed as distributed generation sources, CSP systems favor large, centrally located systems. Accordingly, large CSP systems require a substantial investment, sometimes exceeding $1 billion in construction costs. Before such a project is undertaken, the best possible information about the quality and reliability of the fuel source must be made available. That is, project developers need to have reliable data about the solar resource available at specific locations to predict the daily and annual performance of a proposed CSP plant. Without these data, no financial analysis is possible. This handbook presents detailed information about solar resource data and the resulting data products needed for each stage of the project.

Stoffel, T.; Renne, D.; Myers, D.; Wilcox, S.; Sengupta, M.; George, R.; Turchi, C.

2010-09-01T23:59:59.000Z

326

Enabling Greater Penetration of Solar Power via the Use of CSP with Thermal Energy Storage  

DOE Green Energy (OSTI)

At high penetration of solar generation there are a number of challenges to economically integrating this variable and uncertain resource. These include the limited coincidence between the solar resource and normal demand patterns and limited flexibility of conventional generators to accommodate variable generation resources. Of the large number of technologies that can be used to enable greater penetration of variable generators, concentrating solar power (CSP) with thermal energy storage (TES) presents a number of advantages. The use of storage enables this technology to shift energy production to periods of high demand or reduced solar output. In addition, CSP can provide substantial grid flexibility by rapidly changing output in response to the highly variable net load created by high penetration of solar (and wind) generation. In this work we examine the degree to which CSP may be complementary to PV by performing a set of simulations in the U.S. Southwest to demonstrate the general potential of CSP with TES to enable greater use of solar generation, including additional PV.

Denholm, P.; Mehos, M.

2011-11-01T23:59:59.000Z

327

Keyword index to citations in "Bibliography on CO2 Effects on Vegetation and Eco  

NLE Websites -- All DOE Office Websites (Extended Search)

Keyword index to citations in "Bibliography on CO2 Effects on Vegetation and Ecosystems: Keyword index to citations in "Bibliography on CO2 Effects on Vegetation and Ecosystems: 1990-1999 Literature" (Michael H. Jones and Peter S. Curtis, editors), ORNL/CDIAC-129, July 2000 (http://cdiac.esd.ornl.gov/epubs/cdiac/cdiac129/cdiac129.html) Numbers following each keyword refer to the numbers preceding the citations in the WordPerfect and ASCII text listings of the bibliography. 1,5-BISPHOSPHATE 1965 1,5-BISPHOSPHATE CARBOXYLASE 98, 878 1,5-BISPHOSPHATE CARBOXYLASE OXYGENASE 370 1,5-DIPHOSPHATE CARBOXYLASE 253 16S RDNA 1452 18TH-CENTURY ENGLAND 45 1989 FACE EXPERIMENT 1155 1-AMINOCYCLOPROPANE-1-CARBOXYLATE OXIDASE 667 1-AMINOCYCLOPROPANE-1-CARBOXYLIC ACID 524, 762-764, 1241, 1471, 1472, 1622, 1696, 2632 2,4-DICHLOROPHENOL 1368 24-H 317 280-320 NM 2475

328

Keywords: Photovoltaic System, fault-tolerance, recon-figurable PV panel  

E-Print Network (OSTI)

1 Keywords: Photovoltaic System, fault-tolerance, recon- figurable PV panel Photovoltaic (PV plants, and satellites. The output power of a PV cell (also called solar cell) is dependent on the solar irradiance level and temperature. Figure 1 shows PV cell output current-voltage and power

Pedram, Massoud

329

Long-Term Modeling of Solar Energy: Analysis of Concentrating Solar Power (CSP) and PV Technologies  

DOE Green Energy (OSTI)

This report presents an overview of research conducted on solar energy technologies and their implementation in the ObjECTS framework. The topics covered include financing assumptions and selected issues related to the integration of concentrating thermal solar power (CSP) and photovoltaics PV technologies into the electric grid. A review of methodologies for calculating the levelized energy cost of capital-intensive technologies is presented, along with sensitivity tests illustrating how the cost of a solar plant would vary depending on financing assumptions. An analysis of the integration of a hybrid concentrating thermal solar power (CSP) system into the electric system is conducted. Finally a failure statistics analysis for PV plants illustrates the central role of solar irradiance uncertainty in determining PV grid integration characteristics.

Zhang, Yabei; Smith, Steven J.

2007-08-16T23:59:59.000Z

330

On the design of sponsored keyword advertising slot auctions: An analysis of a generalized second-price auction approach  

Science Conference Proceedings (OSTI)

The generalized second-priceauction mechanism is commonly used in research in the context of keyword advertising slot auctioning. The mechanism sets the clearing prices for advertising slots on a search engine's Web pages such that the advertiser will ... Keywords: Advertising, Auctions, Click-through rate, Economic analysis, Electronic markets, Keywords, Location, Online advertising, Search engines, Sponsored search

He Huang; Robert J. Kauffman

2011-03-01T23:59:59.000Z

331

A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between  

E-Print Network (OSTI)

In this paper we introduce "hybrid" Max 2-CSP formulas consisting of "simple clauses", namely conjunctions and disjunctions of pairs of variables, and general 2-variable clauses, which can be any integer-valued functions of pairs of boolean variables. This allows an algorithm to use both efficient reductions specific to AND and OR clauses, and other powerful reductions that require the general CSP setting. We use new reductions introduced here, and recent reductions such as "clause-learning" and "2-reductions" generalized to our setting's mixture of simple and general clauses. Parametrizing an instance by the fraction p of non-simple clauses, we give an exact (exponential-time) algorithm that is the fastest known polynomial-space algorithm for p=0 (which includes the well-studied Max 2-Sat problem but also instances with arbitrary mixtures of AND and OR clauses); the only efficient algorithm for mixtures of AND, OR, and general integer-valued clauses; and tied for fastest for general Max 2-CSP (p=1). Since a ...

Gaspers, Serge

2009-01-01T23:59:59.000Z

332

Feasibility Study of Biopower in East Helena, Montana. A Study Prepared in Partnership with the Environmental Protection Agency for the RE-Powering America's Land Initiative: Siting Renewable Energy on Potentially Contaminated Land and Mine Sites  

DOE Green Energy (OSTI)

The U.S. Environmental Protection Agency (EPA) developed the RE-Powering America's Land initiative to reuse contaminated sites for renewable energy generation when aligned with the community's vision for the site. The former American Smelting and Refining Company (Asarco) smelter in East Helena, Montana, was selected for a feasibility study under the initiative. Biomass was chosen as the renewable energy resource based on the wood products industry in the area. Biopower was selected as the technology based on Montana's renewable portfolio standard (RPS) requiring utilities to purchase renewable power.

Moriarty, K.

2013-02-01T23:59:59.000Z

333

Keyword index to unclassified ORGDP formal reports, July 1947--September 1973  

SciTech Connect

KWIC (Keywords in Context) permuted-title index is presented for all of the formal unclassified K-reports (July 1947 through September 1973) that have contributed significantly to gaseous diffusion technology. An author index and a document number index are also included. These latter two indexes contain complete citations to the original documents. (auth) ion efficiency of neon isotopes by gaseous diffusion as a function of pressure with three significantiy different types of geometrical flow channels was made. The experimental apparatus for performing the study and some results are described. A large body of data was collected. A complete description of the work is presently in publication. (TFD)

Ferguson, J.B.; Fraser, R.J.

1974-01-01T23:59:59.000Z

334

Using Multi-Modal Semantic Association Rules to fuse keywords and visual features automatically for Web image retrieval  

Science Conference Proceedings (OSTI)

A recent trend for image search is to fuse the two basic modalities of Web images, i.e., textual features (usually represented by keywords) and visual features for retrieval. The key issue is how to associate the two modalities for fusion. In this paper, ... Keywords: Association rule mining, Inverted file, Multi-Modal Semantic Association Rule (MMSAR), Relevance Feedback (RF), Web image retrieval

Ruhan He; Naixue Xiong; Laurence T. Yang; Jong Hyuk Park

2011-07-01T23:59:59.000Z

335

Physics Procedia 34 (2012) 70 79 1875-3892 2012 Published by Elsevier B.V. Selection and/or peer review under responsibility of the Organising Committee of the CSP 2012  

E-Print Network (OSTI)

/or peer review under responsibility of the Organising Committee of the CSP 2012 Conference. doi:10.1016/j

Berthier, Ludovic

337

An automatic procedure for the simplification of chemical kinetic mechanisms based on CSP  

SciTech Connect

An algorithm is developed to generate simplified (skeletal) kinetic mechanisms from a given detailed one. The algorithm is able to replicate the dynamics of a user-specified set of species (chosen from the original set) when a finite set of sampling points, D, in the chemistry configuration space is given. The simplification procedure involves discarding elementary reactions and species that are deemed unimportant to the fast and slow dynamics of a set of specific scalars. The criteria used in deciding which elementary reactions or species to discard are based on the computational singular perturbation (CSP) method. The procedure involves applying the CSP analysis to each point in D and an algorithm to assemble the simplified mechanism, the validity of which extends to all points in D and is tailored for the set of specified scalars. This algorithm provides a convenient way to construct comprehensive simplified mechanisms, applicable over a wide range of parameters and combustion processes. The effectiveness of this new algorithm is demonstrated by constructing simplified mechanisms for three methane/air reactive systems: autoignition in a constant-pressure reactor, a premixed flame, and a counterflow diffusion flame. (author)

Valorani, Mauro; Creta, Francesco [Dipartimento di Meccanica e Aeronautica, Via Eudossiana 18, 00184 Rome (Italy); Goussis, Dimitris A. [Palaio Faliro 17562 (Greece); Lee, Jeremiah C. [United Technologies Research Center, East Hartford, CT 06108 (United States); Najm, Habib N. [Sandia National Laboratories, Livermore, CA 94550 (United States)

2006-07-15T23:59:59.000Z

338

Methodology for Constructing Reduced-Order Power Block Performance Models for CSP Applications: Preprint  

DOE Green Energy (OSTI)

The inherent variability of the solar resource presents a unique challenge for CSP systems. Incident solar irradiation can fluctuate widely over a short time scale, but plant performance must be assessed for long time periods. As a result, annual simulations with hourly (or sub-hourly) timesteps are the norm in CSP analysis. A highly detailed power cycle model provides accuracy but tends to suffer from prohibitively long run-times; alternatively, simplified empirical models can run quickly but don?t always provide enough information, accuracy, or flexibility for the modeler. The ideal model for feasibility-level analysis incorporates both the detail and accuracy of a first-principle model with the low computational load of a regression model. The work presented in this paper proposes a methodology for organizing and extracting information from the performance output of a detailed model, then using it to develop a flexible reduced-order regression model in a systematic and structured way. A similar but less generalized approach for characterizing power cycle performance and a reduced-order modeling methodology for CFD analysis of heat transfer from electronic devices have been presented. This paper builds on these publications and the non-dimensional approach originally described.

Wagner, M.

2010-10-01T23:59:59.000Z

339

Analysis of the Texas A&M University System's Construction Project Delivery Method Performance: CMAR and CSP  

E-Print Network (OSTI)

In recent decades, the use of construction manager-at-risk (CMAR) has surged as an innovative construction project delivery method in comparison to traditional competitive bid procurement methods. The conceptual pros and cons of the method are widely accepted throughout the construction industry; however, very little quantitative research exists validating such beliefs. The study presented in this technical paper empirically compares the performance of CMAR to that of the more traditional method of competitive sealed proposal (CSP) in the construction of higher educational facilities. In a study of 33 projects constructed by The Texas A&M University System, 19 procured using CMAR and 14 procured using CSP, observed results show a reduction in schedule growth and change order quantity when using CMAR over CSP. However, additional results show that CSP is more apt to result in decreased project and construction costs than CMAR. Business practices of The Texas A&M University System, statistical significance testing of research data, and practical applications of research findings are included.

Neidert, Andrew

2012-08-01T23:59:59.000Z

340

Baseload CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage  

NLE Websites -- All DOE Office Websites (Extended Search)

May 15, 2013 | Wong May 15, 2013 | Wong * Conduct laboratory studies on reaction thermodynamics and kinetics of the sulfur generating disproportionation reaction. Effect of various potential catalysts and means to separate the reaction products will be investigated. A kinetic equation for process design will be defined. * Improve the solar reactor design and catalyst performance to increase SO 3 to SO 2 conversion fraction * Preliminary process component design and experimental validation for the three process steps. Carry out process integration design between the CSP plant, the sulfur processing and storage plant and the electricity generation unit. * Design and flowsheet studies to assess the system economics, its environmental impact and pathways to ascertain safe operations of

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


341

The Complexity of Approximating Bounded-Degree Boolean #CSP (Extended Abstract)  

E-Print Network (OSTI)

The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs with bounded-degree instances, for constraint languages containing the two unary constant relations {0} and {1}. When the maximum degree is at least 25 we obtain a complete classification of the complexity of this problem. It is exactly solvable in polynomial-time if every relation in the constraint language is affine. It is equivalent to the problem of approximately counting independent sets in bipartite graphs if every relation can be expressed as conjunctions of {0}, {1} and binary implication. Otherwise, there is no FPRAS unless NP=RP. For lower degree bounds, additional cases arise in which the complexity is related to the complexity of approximately counting independent sets in hypergraphs.

Dyer, Martin E; Jalsenius, Markus; Richerby, David

2010-01-01T23:59:59.000Z

342

Baseload CSP Generation Integrated with Sulfur-Based Thermochemical Heat Storage  

NLE Websites -- All DOE Office Websites (Extended Search)

November 13, 2012 | Wong November 13, 2012 | Wong * Conduct laboratory studies on reaction thermodynamics and kinetics of the sulfur generating disproportionation reaction. Effect of various potential catalysts and means to separate the reaction products will be investigated. A kinetic equation for process design will be defined. * Improve the solar reactor design and catalyst performance to increase SO 3 to SO 2 conversion fraction * Preliminary process component design and experimental validation for the three process steps. Carry out process integration design between the CSP plant, the sulfur processing and storage plant and the electricity generation unit. * Design and flowsheet studies to assess the system economics, its environmental impact and pathways to ascertain safe operations of

343

Advanced Reflector and Absorber Materials (Fact Sheet), Thermal Systems Group: CSP Capabilities (TSG)  

NLE Websites -- All DOE Office Websites (Extended Search)

Ideally, we want reflector Ideally, we want reflector materials in a CSP plant to last 20 to 30 years and cost less than $2.50 per square foot (or $25 per square meter) to manufacture. Highly specular mirrors should have better than 95% reflectance into a 4-milliradian full-cone angle and should resist soiling in all outdoor conditions. NREL focuses on achieving these goals by creating and applying testing procedures that accurately predict the performance and lifetime of materials. Some testing is relatively brief, lasting several weeks, whereas other processes may take several months or even years. We evaluate the potential of reflector (mirror) and absorber (receiver) materials in the three areas described below, working with our industry partners to develop technologies that will

344

Concentrating Solar Deployment System (CSDS) -- A New Model for Estimating U.S. Concentrating Solar Power (CSP) Market Potential: Preprint  

DOE Green Energy (OSTI)

This paper presents the Concentrating Solar Deployment System Model (CSDS). CSDS is a multiregional, multitime-period, Geographic Information System (GIS), and linear programming model of capacity expansion in the electric sector of the United States. CSDS is designed to address the principal market and policy issues related to the penetration of concentrating solar power (CSP) electric-sector technologies. This paper discusses the current structure, capabilities, and assumptions of the model. Additionally, results are presented for the impact of continued research and development (R&D) spending, an extension to the investment tax credit (ITC), and use of a production tax credit (PTC). CSDS is an extension of the Wind Deployment System (WinDS) model created at the National Renewable Energy Laboratory (NREL). While WinDS examines issues related to wind, CSDS is an extension to analyze similar issues for CSP applications. Specifically, a detailed representation of parabolic trough systems with thermal storage has been developed within the existing structure.

Blair, N.; Mehos, M.; Short, W.; Heimiller, D.

2006-04-01T23:59:59.000Z

345

Modelling and model checking suspendible business processes via statechart diagrams and CSP  

Science Conference Proceedings (OSTI)

When modelling object behaviour with UML statechart diagrams, the history mechanism can be useful for modelling the suspension of a ''normal'' business process upon certain ''abnormal'' events together with the subsequent resumption, as illustrated by ... Keywords: History mechanism, Model checking, Object behaviour, Process modelling, Statechart diagrams

W. L. Yeung; K. R. P. H. Leung; Ji Wang; Wei Dong

2007-03-01T23:59:59.000Z

346

Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP  

Science Conference Proceedings (OSTI)

Ontology-based data access is concerned with querying incomplete data sources in the presence of domain-specific knowledge provided by an ontology. A central notion in this setting is that of an ontology-mediated query, which is a database ... Keywords: ontology-based data access, query answering, query rewriting

Meghyn Bienvenu; Balder ten Cate; Carsten Lutz; Frank Wolter

2013-06-01T23:59:59.000Z

347

From Holant To #CSP And Back: Dichotomy For Holant$^c$ Problems  

E-Print Network (OSTI)

We explore the intricate interdependent relationship among counting problems, considered from three frameworks for such problems: Holant Problems, counting CSP and weighted H-colorings. We consider these problems for general complex valued functions that take boolean inputs. We show that results from one framework can be used to derive results in another, and this happens in both directions. Holographic reductions discover an underlying unity, which is only revealed when these counting problems are investigated in the complex domain $\\mathbb{C}$. We prove three complexity dichotomy theorems, leading to a general theorem for Holant$^c$ problems. This is the natural class of Holant problems where one can assign constants 0 or 1. More specifically, given any signature grid on $G=(V,E)$ over a set ${\\mathscr F}$ of symmetric functions, we completely classify the complexity to be in P or #P-hard, according to ${\\mathscr F}$, of \\[\\sum_{\\sigma: E \\rightarrow \\{0,1\\}} \\prod_{v\\in V} f_v(\\sigma\\mid_{E(v)}),\\] where $...

Cai, Jin-Yi; Lu, Pinyan

2010-01-01T23:59:59.000Z

348

LCA (Life Cycle Assessment) of Parabolic Trough CSP: Materials Inventory and Embodied GHG Emissions from Two-Tank Indirect and Thermocline Thermal Storage (Presentation)  

DOE Green Energy (OSTI)

In the United States, concentrating solar power (CSP) is one of the most promising renewable energy (RE) technologies for reduction of electric sector greenhouse gas (GHG) emissions and for rapid capacity expansion. It is also one of the most price-competitive RE technologies, thanks in large measure to decades of field experience and consistent improvements in design. One of the key design features that makes CSP more attractive than many other RE technologies, like solar photovoltaics and wind, is the potential for including relatively low-cost and efficient thermal energy storage (TES), which can smooth the daily fluctuation of electricity production and extend its duration into the evening peak hours or longer. Because operational environmental burdens are typically small for RE technologies, life cycle assessment (LCA) is recognized as the most appropriate analytical approach for determining their environmental impacts of these technologies, including CSP. An LCA accounts for impacts from all stages in the development, operation, and decommissioning of a CSP plant, including such upstream stages as the extraction of raw materials used in system components, manufacturing of those components, and construction of the plant. The National Renewable Energy Laboratory (NREL) is undertaking an LCA of modern CSP plants, starting with those of parabolic trough design.

Heath, G.; Burkhardt, J.; Turchi, C.; Decker, T.; Kutscher, C.

2009-07-20T23:59:59.000Z

349

Assigned Keyword List  

Science Conference Proceedings (OSTI)

... mgf1 Mathematics - perturbation theory: mpt1 Mathematics ... shift: muls1 Muonium energy levels: muel1 ... thermometry: noth1 Nuclear charge radius ...

350

United States | OpenEI  

Open Energy Info (EERE)

States States Dataset Summary Description No description given. Source National Renewable Energy Laboratory Date Released July 03rd, 2012 (2 years ago) Date Updated July 03rd, 2012 (2 years ago) Keywords biopower csp geothermal hydropower hydrothermal Renewable Energy Technical Potential rooftop United States utility-scale wind Data text/csv icon United States Renewable Energy Technical Potential (csv, 7.7 KiB) Quality Metrics Level of Review Some Review Comment Temporal and Spatial Coverage Frequency Time Period License License Open Data Commons Public Domain Dedication and Licence (PDDL) Comment Rate this dataset Usefulness of the metadata Average vote Your vote Usefulness of the dataset Average vote Your vote Ease of access Average vote Your vote Overall rating Average vote Your vote

351

Renewable Energy Technical Potential | OpenEI  

Open Energy Info (EERE)

Technical Potential Technical Potential Dataset Summary Description No description given. Source National Renewable Energy Laboratory Date Released July 03rd, 2012 (2 years ago) Date Updated July 03rd, 2012 (2 years ago) Keywords biopower csp geothermal hydropower hydrothermal Renewable Energy Technical Potential rooftop United States utility-scale wind Data text/csv icon United States Renewable Energy Technical Potential (csv, 7.7 KiB) Quality Metrics Level of Review Some Review Comment Temporal and Spatial Coverage Frequency Time Period License License Open Data Commons Public Domain Dedication and Licence (PDDL) Comment Rate this dataset Usefulness of the metadata Average vote Your vote Usefulness of the dataset Average vote Your vote Ease of access Average vote Your vote Overall rating

352

hydrothermal | OpenEI  

Open Energy Info (EERE)

hydrothermal hydrothermal Dataset Summary Description No description given. Source National Renewable Energy Laboratory Date Released July 03rd, 2012 (2 years ago) Date Updated July 03rd, 2012 (2 years ago) Keywords biopower csp geothermal hydropower hydrothermal Renewable Energy Technical Potential rooftop United States utility-scale wind Data text/csv icon United States Renewable Energy Technical Potential (csv, 7.7 KiB) Quality Metrics Level of Review Some Review Comment Temporal and Spatial Coverage Frequency Time Period License License Open Data Commons Public Domain Dedication and Licence (PDDL) Comment Rate this dataset Usefulness of the metadata Average vote Your vote Usefulness of the dataset Average vote Your vote Ease of access Average vote Your vote Overall rating Average vote Your vote

353

United States Renewable Energy Technical Potential | OpenEI  

Open Energy Info (EERE)

States Renewable Energy Technical Potential States Renewable Energy Technical Potential Dataset Summary Description No description given. Source National Renewable Energy Laboratory Date Released July 03rd, 2012 (2 years ago) Date Updated July 03rd, 2012 (2 years ago) Keywords biopower csp geothermal hydropower hydrothermal Renewable Energy Technical Potential rooftop United States utility-scale wind Data text/csv icon United States Renewable Energy Technical Potential (csv, 7.7 KiB) Quality Metrics Level of Review Some Review Comment Temporal and Spatial Coverage Frequency Time Period License License Open Data Commons Public Domain Dedication and Licence (PDDL) Comment Rate this dataset Usefulness of the metadata Average vote Your vote Usefulness of the dataset Average vote Your vote Ease of access Average vote Your vote

354

rooftop | OpenEI  

Open Energy Info (EERE)

rooftop rooftop Dataset Summary Description No description given. Source National Renewable Energy Laboratory Date Released July 03rd, 2012 (2 years ago) Date Updated July 03rd, 2012 (2 years ago) Keywords biopower csp geothermal hydropower hydrothermal Renewable Energy Technical Potential rooftop United States utility-scale wind Data text/csv icon United States Renewable Energy Technical Potential (csv, 7.7 KiB) Quality Metrics Level of Review Some Review Comment Temporal and Spatial Coverage Frequency Time Period License License Open Data Commons Public Domain Dedication and Licence (PDDL) Comment Rate this dataset Usefulness of the metadata Average vote Your vote Usefulness of the dataset Average vote Your vote Ease of access Average vote Your vote Overall rating Average vote Your vote

355

hydropower | OpenEI  

Open Energy Info (EERE)

hydropower hydropower Dataset Summary Description No description given. Source National Renewable Energy Laboratory Date Released July 03rd, 2012 (2 years ago) Date Updated July 03rd, 2012 (2 years ago) Keywords biopower csp geothermal hydropower hydrothermal Renewable Energy Technical Potential rooftop United States utility-scale wind Data text/csv icon United States Renewable Energy Technical Potential (csv, 7.7 KiB) Quality Metrics Level of Review Some Review Comment Temporal and Spatial Coverage Frequency Time Period License License Open Data Commons Public Domain Dedication and Licence (PDDL) Comment Rate this dataset Usefulness of the metadata Average vote Your vote Usefulness of the dataset Average vote Your vote Ease of access Average vote Your vote Overall rating Average vote Your vote

356

utility-scale | OpenEI  

Open Energy Info (EERE)

898 898 Varnish cache server Browse Upload data GDR 429 Throttled (bot load) Error 429 Throttled (bot load) Throttled (bot load) Guru Meditation: XID: 2142258898 Varnish cache server utility-scale Dataset Summary Description No description given. Source National Renewable Energy Laboratory Date Released July 03rd, 2012 (2 years ago) Date Updated July 03rd, 2012 (2 years ago) Keywords biopower csp geothermal hydropower hydrothermal Renewable Energy Technical Potential rooftop United States utility-scale wind Data text/csv icon United States Renewable Energy Technical Potential (csv, 7.7 KiB) Quality Metrics Level of Review Some Review Comment Temporal and Spatial Coverage Frequency Time Period License License Open Data Commons Public Domain Dedication and Licence (PDDL) Comment

357

Developing bioenergy fuels: Biopower fact sheet  

DOE Green Energy (OSTI)

Successful development of biomass crops requires unique cooperation between researchers and members of the energy, agriculture, forestry, and environmental communities. DOE's Bioenergy Feedstock Development Program provides a mechanism to integrate the efforts of this diverse group. The federal government must continue to share risks (costs of growing, harvesting, storing, and supplying energy crops) for early adopters of energy crop technology and biomass energy producers.

Shepherd, P.

2000-06-02T23:59:59.000Z

358

Gasifier Kindles Biopower Potential (Fact sheet)  

DOE Green Energy (OSTI)

An innovative partnership between government and industry has been awarded the prestigious R&D 100 Award for developing a new biomass gasification technology. Based on research sponsored by the U.S. Department of Energy, the technology demonstrates how biomass can be converted into a clean burning gaseous fuel for firing advanced power systems with high efficiencies and low emissions. The award is given yearly by R&D magazine to the 100 most significant technical achievements of the year.

Not Available

1998-09-01T23:59:59.000Z

359

Creating a Search 1. Enter search term or keyword in the search box at the top of the page, and click the Search button.  

E-Print Network (OSTI)

Creating a Search 1. Enter search term or keyword in the search box at the top of the page, and click the Search button. Tip: Enter one concept at a time to maximize the benefit of the "Suggest idea of the article (use sparingly (1 concept per search) or not at all) d. After you select a term

Wood, James B.

360

THERMAL HYDRAULICS KEYWORDS: neutron activation,  

E-Print Network (OSTI)

, where the energy generated is determined from measurements of heat balance. The lat- ter includes by standard methods of radiation transport, in particular with Monte Carlo methods. The fluid dynamic part are equivalent regarding their ability to account for the ef- fect of fluid dynamics on the detector time

Pázsit, Imre

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


361

OpenEI - csp  

Open Energy Info (EERE)

09/0 en Operational water 09/0 en Operational water consumption and withdrawal factors for electricity generating technologies http://en.openei.org/datasets/node/969 This dataset is from the report Operational water consumption and withdrawal factors for electricity generating technologies: a review of existing literature (J. Macknick, R. Newmark, G. Heath and K.C. Hallett) and provides estimates of operational water withdrawal and water consumption factors for electricity generating technologies in the United States. Estimates of water factors were collected from published primary literature and were not modified except for unit conversions.

License

362

Thermal Scout Pinpoints Hard-to-Find Problems in CSP Fields (Fact Sheet), Highlights in Research & Development, NREL (National Renewable Energy Laboratory)  

NLE Websites -- All DOE Office Websites (Extended Search)

receiver survey system uses an infrared camera, receiver survey system uses an infrared camera, GPS technology, and computer software to rapidly analyze concentrating solar power fields and locate defective receivers. In a parabolic trough concentrating solar power (CSP) system, collectors reflect the sun's rays onto long, tubular receivers that convert the sunlight into heat that is used to gener- ate electricity. The long-term performance of these receivers-designed to minimize heat loss to the environment while absorbing as much sunlight as possible-is critical for high efficiency and sustained performance. Traditionally, locating problems with receivers has been a costly, time-consuming, and labor- intensive effort, often requiring manual inspection of tens of thousands of receiver tubes. In most cases, operators must assess the entire output of a plant and roughly estimate the

363

ISOLATION AND UTILIZATION OF ACETYL-CoA CARBOXYLASE FROM OIL PALM (Elaeis guineensis) MESOCARP Keywords: acetyl-CoA carboxylase, gene isolation, biotin carboxylase, biodegradable plastics, oil palm.  

E-Print Network (OSTI)

ISOLATION AND UTILIZATION OF ACETYL-CoA CARBOXYLASE FROM OIL PALM (Elaeis guineensis) MESOCARP 97 Keywords: acetyl-CoA carboxylase, gene isolation, biotin carboxylase, biodegradable plastics, oil palm; Accepted: 7 November 2007. ISOLATION AND UTILIZATION OF ACETYL-CoA CARBOXYLASE FROM OIL PALM (Elaeis

Sinskey, Anthony J.

364

Farming Out Heat and Electricity through Biopower | Department...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

of Energy State Energy Program Maas' biodigester: Creates electricity from the biogas produced through anaerobic digestion. Recycles dried, fibrous solids from the process...

365

NREL: Technology Deployment - Biopower and Waste-to-Energy Solutions  

NLE Websites -- All DOE Office Websites (Extended Search)

Opportunities, and Options for Advancing Bioenergy Waste-to-Energy Evaluation: U.S. Virgin Islands See all our publications Printable Version Technology Deployment Home...

366

Small modular biopower initiative Phase 1 feasibility studies executive summaries  

DOE Green Energy (OSTI)

The Phase 1 objective is a feasibility study that includes a market assessment, resource assessment, preliminary system design, and assessment of relevant environmental and safety considerations, and evaluation of financial and cost issues, and a preliminary business plan and commercialization strategy. Each participating company will share at least 20% of the cost of the first phase.

Bain, R.

2000-03-06T23:59:59.000Z

367

Mechanised Translation of Control Law Diagrams into Circus  

Science Conference Proceedings (OSTI)

Previously we proposed a strategy for translating control law diagrams into Circus . Combining elements from Z, CSP, and a refinement calculus, Keywords: CSP, ClawZ, Simulink, Z, verification

Frank Zeyda; Ana Cavalcanti

2009-02-01T23:59:59.000Z

368

JGI - Approved CSP Projects, 2005  

NLE Websites -- All DOE Office Websites (Extended Search)

5 5 For status information, see the Genome Projects section. Organism Proposer Affiliation Microbes Olavius algarvensis symbionts Why? Dubilier Max Planck Institute of Marine Microbiology Crenarchaeota Why? Delong MIT Marinobacter aquaeolei VT8 Why? Edwards Woods Hole Oceanographic Institution Staphylococcus aureus subsp. aureus JH1 and JH9 Why? Tomasz Rockefeller University Prochlorococcus ACM A12II Why? Chisholm MIT Rhodocyclus-like polyphosphate accum. Why? Hugenholtz JGI Rhodobacter sphaeroides ATCC17025 and ATCC17029 Why? Kaplan University of Texas, Houston Contaminated groundwater Why? Zhou ORNL Lactobacillus reuteri strains 100-23 and F275 Why? Tannock University of Otago, Dunedin, NZ Ignicoccus hospitalis KIN4/I Podar Diversa Bacillus cereus subsp. cytotoxis NVH 391-98 and

369

FISSION REACTORS KEYWORDS: core-barrel vibra-  

E-Print Network (OSTI)

of a collab- orative research project between the Ringhals power plant and the Department of Nuclear Motion Monitoring," Nucl. Technol., 45, 5 ~1979!. 5. J. A. THIE, Power Reactor Noise, American Nuclear, Department of Nuclear Engineering SE-41296 Göteborg, Sweden Received December 22, 2004 Accepted

Demazière, Christophe

370

HEGIS CLASSIFICATIONS (THIS DOCUMENT IS KEYWORD SEARCHABLE  

E-Print Network (OSTI)

and administration 0507 Operations research 0508 Hotel and restaurant management 0509 Marketing and purchasing 0510 Transportation and public utilities 0511 Real estate 0512 Insurance 0513 International business 0514 Secretarial

McConnell, Terry

371

TRITIUM SYSTEMS KEYWORDS: tritium fuel cycle, re-  

E-Print Network (OSTI)

by long execution times. The large divergence in values be- tween characteristic time constants in fuel integrated simulation run is duplicated on a larger scale for the time period of interest such as doubling for the time- scale in the studies conducted here. When tritium decay is included in the net accumulation

Abdou, Mohamed

372

Fuzzy rrDFCSP and planning  

Science Conference Proceedings (OSTI)

Constraint satisfaction is a fundamental Artificial Intelligence technique for knowledge representation and inference. However, the formulation of a static constraint satisfaction problem (CSP) with hard, imperative constraints is insufficient to model ... Keywords: AI planning, constraint satisfaction, dynamic CSP, flexible CSP, flexible planning

Ian Miguel; Qiang Shen

2003-08-01T23:59:59.000Z

373

JGI CSP Delivers First Moss Genome  

NLE Websites -- All DOE Office Websites (Extended Search)

13, 2007 13, 2007 DOE JGI Community Sequencing Program Delivers First Moss Genome WALNUT CREEK, CA--Messages from nearly a half-billion years ago, conveyed via the inventory of genes sequenced from a present-day moss, provide clues about the earliest colonization of dry land by plants. The U.S. Department of Energy Joint Genome Institute (DOE JGI) was among the leaders of an international effort uniting more than 40 institutions to complete the first genome sequencing project of a nonvascular land plant, the moss Physcomitrella patens. The team's insights into the code that enabled this seminal emergence and dominance of land by plants are published December 13 online in Science Express. Scanning electron micrograph of Physcomitrella patens gametophores (moss shoots).

374

JGI - CSP Sequencing Plans for 2006  

NLE Websites -- All DOE Office Websites (Extended Search)

6 6 For status information, see the Genome Projects section. Organism Proposer Affiliation Large Eukaryotes Arabidopsis lyrata and Capsella rubella (pink shepherd's-purse) Why? Weigel Max Planck Inst. for Developmental Biology Mimulus guttatus (monkey flower) Why? Willis Duke Univ. Sorghum bicolor Why? Paterson Univ. of Georgia Small Eukaryotes Batrachochytrium dendrobatidis (frog-infecting chytrid fungus ) Why? Taylor UC Berkeley Bicyclus anynana (a butterfly) Why? Long UC Irvine Campanulales (Grammathotheca bergiana, Isotoma petraea, Lobelia anceps, L. angolenis, L. baumannii, L. cardinalis, L. erinus, L. galpinii, L. gregoriana, L. inflata, L. jasionoides, L. malowensis, L. laxa, L. linearis chloroplast, L. patula, L. siphilitica, L. spicata, L. thermalis, L. boninensis, L. morogoroensis chloroplast

375

JGI - CSP Sequencing Plans for 2011  

NLE Websites -- All DOE Office Websites (Extended Search)

1 1 For status information, see the Genome Projects section. Proposer Affiliation Project Description Algae Kerfeld, Cheryl DOE JGI Genome and Transcriptome Analyses of Two Extremely Acidophilic and One Neutrophilic Eukaryotic Algal Species with Diverse Mechanism for CO2 Acquisition Lovejoy, Connie Laval University, Canada Small planktonic single celled eukaryotes from the Arctic Ocean Plants Muehlbauer, Gary University of Minnesota Whole genome shotgun sequencing of the barley genome Vogel, John USDA-ARS Surveying natural diversity of the model grass Brachypodium distachyon Fungi de Vries, Ronald CBS-KNAW Fungal Biodiversity Centre, the Netherlands Comparative analysis of Aspergilli to facilitate novel strategies in fungal biotechnology Goodwin, Stephen Purdue University Sequencing of pathogens and extremophiles in the Dothideomycetes

376

JGI - CSP Sequencing Plans for 2014  

NLE Websites -- All DOE Office Websites (Extended Search)

Science Program Science Program Sequencing Plans for 2014 Proposer Affiliation Project Description Banfield, Jillian UC Berkeley, LBNL Community metagenomic and transcriptomic analyses of microbial carbon turnover in grassland soil profiles under two rainfall regimes Bonito, Gregory Duke University Comparative genomics of early diverging terrestrial fungi and their bacterial endosymbionts Brem, Rachel UC Berkeley Pioneering fungal mutagenesis using Tn-seq Brutnell, Thomas Donald Danforth Plant Science Center Doubling the number of Panicoideae genome sequences Canovas, David University of Seville, Spain Global genomic consequences of the deletion of the Aspergilli non-homologous end joining DNA repair mechanism employed as a genetic tool worldwide Chen, Jay Oak Ridge National Laboratory RNA-seq-Enabled Expression Quantitative Trait Locus (eQTL) in Populus

377

Scaling Effects in the CSP Phase Transition  

E-Print Network (OSTI)

Gent,I.P. Macintyre,E. Prosser,P. Walsh,T. Proceedings of Principles and Practices of Constraint Programming - CP95, LNCS 976 pp 70-87 Springer

Gent, I.P.; Macintyre, E.; Prosser, P.

378

Using CSP To Improve Deterministic 3-SAT  

E-Print Network (OSTI)

We show how one can use certain deterministic algorithms for higher-value constraint satisfaction problems (CSPs) to speed up deterministic local search for 3-SAT. This way, we improve the deterministic worst-case running time for 3-SAT to O(1.439^n).

Kutzkov, Konstantin

2010-01-01T23:59:59.000Z

379

DOE JGI CSP 2012 PI Workshop  

NLE Websites -- All DOE Office Websites (Extended Search)

Logistics What to Bring LAPTOP COMPUTERS REQUIRED Please plan to bring your own laptop to the JGI in order to participate in the Workshop. Details regarding system requirements...

380

JGI - CSP Sequencing Plans for 2010  

NLE Websites -- All DOE Office Websites (Extended Search)

0 0 For status information, see the Genome Projects section. Proposer Affiliation Project Description Eukaryotes Collier, Jackie Stony Brook University Four Labyrinthulomycete species Cullen, Daniel US Forest Service, Forest Products Laboratory Homkaryotic derivative of Postia placenta Cullen, Daniel US Forest Service, Forest Products Laboratory Lignin-degrading fungus Phlebiopsis gigantea Goodwin, Stephen USDA-ARS and Purdue University Dothideomycetes plant pathogens Grossniklaus, Ueli University of Zurich Apomictic plant Boechera holboellii Koppisch, Andy Los Alamos National Laboratory Colony forming microalga Botryococcus braunii var Showa Kubisiak, Thomas US Forest Service, Southern Research Station Fusiform rust fungus Cronartium quercuum f.sp. fusiforme

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


381

JGI - CSP Sequencing Plans for 2013  

NLE Websites -- All DOE Office Websites (Extended Search)

3 3 Proposer Affiliation Project Description Bartley, Laura University of Oklahoma Switchgrass resequencing to enhance biofuel production Bartley, Laura University of Oklahoma Panicum virgatum RNA sequencing to identify gene expression changes related to biofuel traits Blanchard, Jeffrey University of Massachusetts Microbial community dynamics in a long-term soil warming chronosequence Boeke, Jef Johns Hopkins University Synthesis of the largest yeast chromosome, chromosome IV, and the synthetic yeast genome Sc2.0 Brune, Andreas Max-Planck Institute, Marburg, Germany Metagenomics and metatranscriptomics of the gut microbiota of higher termites Constant, Philippe INRS, Canada Metagenomic and Metatranscriptomic Analysis of Soil Biogeochemical Processes Sustained by Interspecific Transfer of Molecular Hydrogen

382

DOE JGI CSP 2012 PI Workshop  

NLE Websites -- All DOE Office Websites (Extended Search)

Organizers Organizers Workshop Organizers Nikos Kyrpides Prokaryotic Superprogram Lead, DOE JGI Susannah Tringe Metagenomics Program Lead, DOE JGI Tanja Woyke Microbial Genomics Program Lead, DOE JGI Igor Grigoriev Fungal Genomics Program Lead, DOE JGI Participants Heike Bucking, South Dakota State University Jeff Dangl, University of North Carolina Chapel Hill Kristen DeAngelis, University of Massachusetts University of Massachusetts, University of British Columbia Jorge Rodrigues, University of Texas Louis Tisa, University of New Hampshire Christopher Schadt, ORNL Jerry Tuskan, ORNL Eoin Brodie, LBNL Brendan Bohannan, University of Oregon Angela Kent, University of Illinois Urbana-Champaign James Tiedje, Michigan State University Nikos Kyrpides, DOE JGI Susannah Tringe, DOE JGI

383

JGI - CSP Sequencing Plans for 2009  

NLE Websites -- All DOE Office Websites (Extended Search)

9 9 For status information, see the Genome Projects section. Organism Proposer Affiliation Eukaryotes Resequencing Trichoderma reesei Why? Scott Baker Pacific Northwest National Lab Rhizopogon salebrosus (ectomycorrhizal fungus) Why? Thomas Bruns University of California, Berkeley Ceriporiopsis subvermispora (lignin-degrading fungus) Why? Daniel Cullen USDA Forest Products Laboratory Gene expression in Chlamydomonas reinhardtii Why? Maria Ghirardi Natl. Renewable Energy Lab. Paralvinella sulfincola (polychaete worm) Why? Peter Girguis Harvard Univ. Thalassiosira rotula (diatom) Why? Bethany Jenkins Univ. of Rhode Island Dendroctonus frontalis (southern pine beetle) ESTs Why? Scott Kelley San Diego State Univ. Botryococcus braunii (Oil-Producing Green Microalga) cDNA

384

JGI - CSP Sequencing Plans for 2008  

NLE Websites -- All DOE Office Websites (Extended Search)

marina, Brocadia fulgida, and Anammoxglobus propionicus) Why? Jetten Radboud Univ. A biogas-producing microbial community Why? Wu Univ. of California Davis Extreme microbial...

385

Session: CSP Advanced Systems: Optical Materials (Presentation)  

DOE Green Energy (OSTI)

The Optical Materials project description is to characterize advanced reflector, perform accelerated and outdoor testing of commercial and experimental reflector materials, and provide industry support.

Kennedy, C.

2008-04-01T23:59:59.000Z

386

Mapeando CSP em UML-RT.  

E-Print Network (OSTI)

??A integrao de mtodos formais com notaes semi-formais visuais uma tendncia em engenharia de software. Mtodos formais apresentam uma semntica precisa e permitem verificao (more)

Manoel Messias da Silva Menezes Junior

2008-01-01T23:59:59.000Z

387

CSP2011_Flow_Chart_052510  

NLE Websites -- All DOE Office Websites (Extended Search)

July 9 July 19 Aug 31 Nov 10 Nov 30 December January 2011 Calls for proposals issued Letters of intent received Invitation of proposals Proposals received Technical and scientific...

388

JGI - CSP Sequencing Plans for 2012  

NLE Websites -- All DOE Office Websites (Extended Search)

community tools for Setaria viridis-a model genetic system for C4 grasses Bucking, Heike South Dakota State University Exploring the transcriptome of perennial grasses in...

389

Keywords MINLP, MIOCP, MILP, optimal control, integer programming  

E-Print Network (OSTI)

(2) with pk,i ? {0,1}. We want to minimize a Mayer term .... ? with ? = 0.5 ?t. Note that for the more general case in which the integer control functions enter in a nonlinear ..... 1st solution found is optimal since best-first search is used. */ if a.d = nt...

390

OpenEI/PageKeyword Wind | Open Energy Information  

Open Energy Info (EERE)

Development Strategies Oil & Gas Smart Grid Solar U.S. OpenLabs Utilities Water Wind View New Pages Recent Changes All Special Pages Semantic SearchQuerying Get Involved...

391

Adaptive partitioned indexes for efficient XML keyword search  

E-Print Network (OSTI)

hand, the partitioning requirement does not necessitate thatthat the partitioning requirement does not demand the twothe partitioning requirement does not put any constraints on

Kim, Sung Jin

2007-01-01T23:59:59.000Z

392

OpenEI/PageKeyword Transportation | Open Energy Information  

Open Energy Info (EERE)

Results 1- 20 Next (20 | 50 | 100 | 250 | 500) 2011 APTA Public Transportation Fact Book + A Municipal Official's Guide to Diesel Idling Reduction + APEC-Alternative Transport...

393

OpenEI/PageKeyword United States | Open Energy Information  

Open Energy Info (EERE)

Change Fuel Cell Buy-Down Program (Federal) + 2011 APTA Public Transportation Fact Book + ACEEE Energy Efficiency Scorecard + Advanced Technology Development Center ATDC +...

394

OpenEI/PageKeyword Energy | Open Energy Information  

Open Energy Info (EERE)

Tools + 2010 Vehicle Technologies Market Report + 2011 APTA Public Transportation Fact Book + Event:2012 Bonn Climate Change Conference + 3 Phases Energy Services + 4-County...

395

Keywords Europe Home-owners Housing wealth Pensions Welfare  

E-Print Network (OSTI)

Abstract Notwithstanding current market volatility, there has been exceptional expansion in owner-occupied housing sectors and increases in house prices across European countries in recent decades. In the EU, individual wealth held in housing equity, especially among older people, has been considered a substantial reserve that could be tapped into to meet future pension needs as the ageing of the population becomes a greater stress on European welfare states. This paper seeks to take the notion of property-based welfare further by examining, in principle at least, how home ownership may function as a pension across EU states. This firstly involves very approximate estimates of the types of, and rates of, income homeowners could hypothetically generate from their homes, including forms of income in kind. Secondly, criteria are identified to estimate how adequate such potential incomes are in relation to working incomes and in bringing retired households above poverty levels. Thirdly, different circumstances across EU member states with regard to existing housing and pension arrangements are examined. Broad national groupings appear evident, with housing income having least impact in older member states in central and northern Europe. The paper concludes that while the potential outcome of housing wealth is country specific, in many cases, greater dependency on home ownership in welfare provision, particularly if it is used as a substitute rather than a complement to existing arrangements, may have adverse consequences for many.

John Doling; Richard Ronald; J. Doling; R. Ronald; R. Ronald

2009-01-01T23:59:59.000Z

396

OpenEI/PageKeyword Wind Installations | Open Energy Information  

Open Energy Info (EERE)

Clean Energy Analysis Low Emission Development Strategies Oil & Gas Smart Grid Solar U.S. OpenLabs Utilities Water Wind View New Pages Recent Changes All Special Pages...

397

IMPLEMENTATION FOR A COHERENT KEYWORD-BASED XML QUERY LANGUAGE.  

E-Print Network (OSTI)

??Due to the increasing pervasiveness of data sets using the XML data format,numerous query languages have been proposed that exploit the structure inherent in XML. (more)

Potturi, Venkatakalyan

2007-01-01T23:59:59.000Z

398

OpenEI/Tool/Keyword EERE tool | Open Energy Information  

Open Energy Info (EERE)

Agent-Based Model + Cost of Renewable Energy Spreadsheet Tool (CREST) + DOE-2 Building Energy Use and Cost Analysis Software + EnergyPlus 7.0 + Facility Energy Decision System +...

399

OpenEI/Tool/Keyword Challenge Generated | Open Energy Information  

Open Energy Info (EERE)

+ ElectricAnalysis.com + Energy Forecaster + Energy Monitoring Made Simple (EMMS) + Energy Usage Analytics + EnergyDataOnline.com + EnergyRewards + Exploring Background...

400

OpenEI/Tool/Keyword data | Open Energy Information  

Open Energy Info (EERE)

from "http:en.openei.orgwikiSpecial:SearchByPropertyOpenEI-2FTool-2FKeyworddata" Special pages About us Disclaimers Energy blogs Developer services OpenEI partners...

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


401

OpenEI/Tool/Keyword Community Generated | Open Energy Information  

Open Energy Info (EERE)

value "Community Generated" ActiveGreenScore + Badema + Clean Home Massachusetts + Divya Energy Solar Panel Savings Calculator + ERCOT Wind Scraper + Efficiency + Energy Bank +...

402

OpenEI/PageKeyword electricity savings | Open Energy Information  

Open Energy Info (EERE)

"http:en.openei.orgwikiSpecial:SearchByPropertyOpenEI-2FPageKeywordelectricity-20savings" Special pages About us Disclaimers Energy blogs Developer services OpenEI...

403

Demonstration of a Small Modular Biopower System Using Poultry Litter-Final Report  

DOE Green Energy (OSTI)

On-farm conversion of poultry litter into energy is a unique market connected opportunity for commercialization of small modular bioenergy systems. The United States Department of Energy recognized the need in the poultry industry for alternative litter management as an opportunity for bioenergy. The DOE created a relevant topic in the December 2000 release of the small business innovative research (SBIR) grant solicitation. Community Power Corporation responded to this solicitation by proposing the development of a small modular gasification and gas cleanup system to produce separate value streams of clean producer gas and mineral rich solids. This phase II report describes our progress in the development of an on-farm litter to energy system.

John Reardon; Art Lilley

2004-06-15T23:59:59.000Z

404

Price Projections of Feedstocks for Biofuels and Biopower-Draft Manuscript  

Science Conference Proceedings (OSTI)

The economic availability of biomass resources is a critical component in evaluating the commercial viability of biofuels. To evaluate projected farmgate prices and grower payments needed to procure 295 million dry Mg (325 million dry tons) of biomass in the U.S. by 2022, this research employs POLYSYS, an economic model of the U.S. agriculture sector. A price-run simulation suggests that a farmgate price of $58.42 Mg{sup -1} ($53.00 dry ton{sup -1}) is needed to procure this supply, while a demand-run simulation suggests that prices of $34.56 and $71.61 Mg{sup -1} ($30.00 and $62.00 dry ton{sup -1}) in are needed in 2012 and 2022, respectively, to procure the same supply, under baseline yield assumptions. Grower payments are reported as farmgate price minus resource-specific harvest costs.

Langholtz, Matthew H [ORNL; Perlack, Robert D [ORNL; Graham, Robin Lambert [ORNL; Eaton, Laurence M [ORNL; Hellwinckel, Chad [Agricultural Policy Analysis Center, University of Tennessee; De La Torre Ugarte, Daniel G [ORNL

2012-01-01T23:59:59.000Z

405

Preservation of probabilistic information flow under refinement  

Science Conference Proceedings (OSTI)

Information flow properties, which describe confidentiality requirements, are not generally preserved under behavior refinement. This article describes a formal framework for refinement relations between nondeterministic probabilistic processes that ... Keywords: CSP, Confidentiality, Information flow property, Information theory, Process calculus, Refinement, Security

Thomas Santen

2008-02-01T23:59:59.000Z

406

Strategic Energy Analysis (Presentation), NREL (National Renewable Energy Laboratory)  

NLE Websites -- All DOE Office Websites (Extended Search)

NREL Planning & Analysis NREL Planning & Analysis Dr. Robin Newmark Strategic Energy Analysis Center World Renewable Energy Forum May 16, 2012 Denver, Colorado NREL/PR-6A20-54950 Strategic Energy Analysis Innovation for Our Energy Future National Renewable Energy Laboratory RE Resource Mapping Innovation for Our Energy Future National Renewable Energy Laboratory RE Resource Mapping Innovation for Our Energy Future National Renewable Energy Laboratory RE Resource Mapping Innovation for Our Energy Future National Renewable Energy Laboratory RE Resource Mapping Innovation for Our Energy Future National Renewable Energy Laboratory Resource Solar PV/CSP) Wind Geothermal Water Power Biopower Theoretical Potential 206,000 GW (PV) 11,100GW (CSP) 8,000 GW (onshore)

407

The Complexity of Weighted Boolean #CSP with Mixed Signs  

E-Print Network (OSTI)

We give a complexity dichotomy for the problem of computing the partition function of a weighted Boolean constraint satisfaction problem. Such a problem is parameterized by a set ? of rational functions, each of which assigns a weight to each variable assignment. Our dichotomy extends previous work in which the weight functions were restricted to being non-negative. We represent a weight function as a product of the form (?1) s g, where the polynomial s determines the sign of the weight and the non-negative function g determines its magnitude. We show that the problem of computing the partition function (the sum of the weights of all possible variable assignments) is computable in polynomial time if either every function in ? can be defined by a pure affine magnitude with a quadratic sign polynomial or every function can be defined by a magnitude of product type with a linear sign polynomial. In all other cases, computing the partition function is FP #P-complete.

Andrei Bulatov; Martin Dyer; Leslie Ann Goldberg; Markus Jalsenius; David Richerby

2009-01-01T23:59:59.000Z

408

High-Efficiency Thermal Energy Storage System for CSP  

NLE Websites -- All DOE Office Websites (Extended Search)

April 15. 2013 | Singh April 15. 2013 | Singh * Thermal modeling will be conducted to establish the benefits of using a high thermal conducting graphite foams in conjunction with PCM and to develop a design for a laboratory scale prototype. * Variety of characterizations will be carried out to qualify the materials (PCMs, alloys, coatings) for the prototype construction. * Process to infiltrate selected PCM into the foam will be developed. * Using the appropriate brazing/joining techniques, prototype will be assembled. * Performance testing of the TES system prototype to ensure a full- scale system will meet the SunShot goals. * Complete cost analysis of the proposed TES system * Complete laboratory scale prototype design * Develop SiC coating using polycarbosilanes for graphite

409

Microsoft Word - CSP_RP_PhaseI_051305.doc  

NLE Websites -- All DOE Office Websites (Extended Search)

*(2) Eagle Operating, Inc. Encore Acquisition Company Fischer Oil & Gas, Inc. Marathon Oil Company Occidental Petroleum Oxy Permian Ltd. Saskatchewan Industry and Resources...

410

High-Efficiency Thermal Energy Storage System for CSP  

NLE Websites -- All DOE Office Websites (Extended Search)

June 15, 2013 | Singh * Thermal modeling will be conducted to establish the benefits of using a high thermal conducting graphite foams in conjunction with PCM and to develop a...

411

NREL: Technology Transfer - NREL Mission and CSP Highlighted ...  

Laboratory Director Dan Arvizu and Concentrating Solar Power ... partnerships with industry to move advanced technologies ... Technology Transfer Home ...

412

CSP transactors for asynchronous transaction level modeling and IP reuse  

Science Conference Proceedings (OSTI)

In synchronous circuit design, new levels of abstraction above RTL allow the designer to model, simulate, debug and explore various architectures more efficiently than before. These are known as transaction level modeling. The translation between signals ...

Lilian Janin; Doug Edwards

2007-08-01T23:59:59.000Z

413

Study of Heat Flux in CSP Continuous Casting Mold  

Science Conference Proceedings (OSTI)

Copper-Based Multi-Component Alloys by Vacuum Distillation to Separate Copper Enriched Lead, Silver and Other Valuable Metals Research Cost Benefits of...

414

Development of Advanced Polymeric Reflector for CSP Applications - Final Report  

Science Conference Proceedings (OSTI)

This project attempted to deposit extremely thick and dense protective barrier onto a mirror film stack with a PET substrate. The target thickness was very high for thin film products; particularly since large areas and long production lengths of film are needed to make the final product economic. The technical investigations in this project centered on maintaining a quality barrier (i.e. dense film) while evaporating alumina with a high deposition rate onto a low cost PET substrate. The project found that the proposed configuration, particularly direct ion bombardment, provides too narrow a solution space to effectively and economically produce the ASRM attempted. The initial project goals were met when depositing on a limited width and at a modest rate. However, expanding to wide deposition at aggressive deposition rates did not produce consistent film quality. Economic viability drives the process to maximize deposition rate. The current system configuration has a limiting upper rate threshold that does not appear economically viable. For future work, alternate approaches seem needed to address the challenges encountered in the scale-up phase of this project.

Treglio, Richard, T; Boyle, Keith, A; Henderson, Hildie

2013-03-28T23:59:59.000Z

415

Making Biopower Work for Utilities: A Rationale for Near-Term Investment in Integrated Biomass Power Systems  

Science Conference Proceedings (OSTI)

An evaluation of the feasibility studies of six very different integrated biomass power systems suggests potentially large future payoffs from near-term R&D. At this time, when biomass crops are more expensive than fossil fuels, it is the corollary benefits or coproducts associated with biomass power production that make the economics of a system work.

1996-01-13T23:59:59.000Z

416

Putney Basketville Site Biomass CHP Analysis  

NLE Websites -- All DOE Office Websites (Extended Search)

publications. 25 5 Bioenergy Overview Biopower, or biomass power, is the use of biomass to generate electricity. Biopower system technologies include direct-firing,...

417

Category:Webinar | Open Energy Information  

Open Energy Info (EERE)

webinars. webinars. Pages in category "Webinar" The following 26 pages are in this category, out of 26 total. B Biopower Tool Webinar C CESC-Webinar: Building an Innovation and Entrepreneurship Driven Economy: How Policies Can Foster Risk Capital Investment in Renewable Energy CESC-Webinar: Financial and Policy Innovations to Support Energy Efficiency: Energy Performance Contracting and On-Bill Financing CLEAN-Linked Open Data (LOD) Webinar CLEAN-Linking International Instruments to Support Low Emission Planning Webinar- TNAs, NAMAs, LEDS and Roadmaps CLEAN-Low Emission Development Planning Webinar CLEAN-Technology Roadmapping: Lessons, Experiences and Tools Webinar CSP: Perspectives and Opportunities Webinar D DOE Program Resources and Tools for Petroleum Reduction in the Transportation Sector Webinar

418

The Zero Touch Experience : intent based contextual morphing on mobile devices using localized keyword distributions  

E-Print Network (OSTI)

With the rise of smart phones integrated with GPS devices, we have seen the advent of location-based contextual services. "Contextual" in this sense, refers to a simple query of nearby points of interest based on the current ...

Kim, Jong-Moon, M. Eng. Massachusetts Institute of Technology

2010-01-01T23:59:59.000Z

419

I. Key-Words vgl. a. Glossar Cd-Rom - Springer  

Science Conference Proceedings (OSTI)

Durst machen. (Desire = Wunsch). Den idealen, zuknftigen ..... tingstrategie ber die 4 P. (Product, Place, Price, Pro- motion) versucht das Unternehmen diese...

420

OpenEI/Tool/Keyword Green Button Apps | Open Energy Information  

Open Energy Info (EERE)

+ Energy Forecaster + Energy Insight + Energy Monitoring Made Simple (EMMS) + Energy Usage Analytics + EnergyAi + EnergyDataOnline.com + EnergyRewards + Exploring...

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


421

From Keyword Search to Exploration: Designing Future Search Interfaces for the Web  

Science Conference Proceedings (OSTI)

This monograph is directed at researchers and developers who are designing the next generation of web search user interfaces, by focusing on the techniques and visualizations that allow users to interact with and have control over their findings. Search ...

Max L. Wilson; Bill Kules; m. c. schraefel; Ben Shneiderman

2010-01-01T23:59:59.000Z

422

Keywords: biosensor, finite element method, dispersion relations *Contact: turova@caesar.de  

E-Print Network (OSTI)

is lower than in the substrate, shear waves will be transmitted into the guiding layer. The guiding layer waves measured by an electric circuit. Our previous work concentrated on the development of mathematical are being varied, can hardly be performed. A way to speed up numerical simulations consists in the usage

Turova, Varvara

423

[Shopping Using the Product/Keyword Search] Updated March 15, 2012  

E-Print Network (OSTI)

Search returns products from the hosted catalogs. Start with by entering an item into the search field/Shop tab at the top to start your search 1. Shop at the Top To start searching for an item, enter the item in the search field ­ include specific search terms, such as "latex-free gloves" instead of just "gloves". New

Choate, Paul M.

424

OpenEI/Tool/Keyword Energy Efficiency and Renewable Energy (EERE...  

Open Energy Info (EERE)

Autonomie Automotive Simulation Tool + Bioenergy KDF + Energy Input Output Calculator + Energy and Cost Savings Calculators for Energy-Efficient Products + FEMP Solar Hot Water...

425

Local Constraints in Combinatorial Optimization  

E-Print Network (OSTI)

The Lasserre relaxation for MAX k-CSP q . . . . . . .for MAX k-CSP q . . . . . . . . . . . . . . . . . . . . . .Expanding CSP Instances . . . . . .

Tulsiani, Madhur

2009-01-01T23:59:59.000Z

426

P-A logic: a compositional proof system for distributed programs  

Science Conference Proceedings (OSTI)

This paper describes a compositional proof system called P-A logic for establishing weak total correctness and weak divergence correctness of CSP-like distributed programs with synchronous and asynchronous communication. Each process in a network is ... Keywords: OCCAM, liveness, proof system, safety

Paritosh K. Pandya; Mathai Joseph

1991-06-01T23:59:59.000Z

427

Key-Based Problem Decomposition for Relational Constraint Satisfaction Problems  

Science Conference Proceedings (OSTI)

Constraint satisfaction problems (CSP) are often posed over data residing in relational database systems, which serve as passive data-storage back ends. Several studies have demonstrated a number of important advantages to having database systems capable ... Keywords: constraint processing, databases, decomposition

James J. Lu; Sebastien Siva

2011-11-01T23:59:59.000Z

428

A methodology for specifying and analyzing consistency of object-oriented behavioral models  

Science Conference Proceedings (OSTI)

Object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal ... Keywords: CSP, UML, behavioral consistency, object-oriented modeling

Gregor Engels; Jochem M. Kster; Reiko Heckel; Luuk Groenewegen

2001-09-01T23:59:59.000Z

429

Formal Approaches to Mode Conversion and Positioning for Vehicle System  

Science Conference Proceedings (OSTI)

The mode conversion and positioning of the vehicle subsystem of the Communication Based Train Control System (CBTC), need to be safe and reliable, being two critical components. To meet this requirement, we apply formal methods in the design of rail ... Keywords: software engineering, industrial project, CSP, OZ, PAT

Wen Su; Fan Yang; Xiaofeng Wu; Jian Guo; Huibiao Zhu

2011-07-01T23:59:59.000Z

430

Greedy solutions for the construction of sparse spatial and spatio-spectral filters in brain computer interface applications  

Science Conference Proceedings (OSTI)

In the original formulation of common spatial pattern (CSP), all recording channels are combined when extracting the variance as input features for a brain computer interface (BCI). This results in overfitting and robustness problems of the constructed ... Keywords: Brain computer interface, Common spatial pattern, Greedy search, Sparse

Fikri Goksu; Nuri F. Ince; Ahmed H. Tewfik

2013-05-01T23:59:59.000Z

431

Domain-dependent distributed models for railway scheduling  

Science Conference Proceedings (OSTI)

Many combinatorial problems can be modelled as Constraint Satisfaction Problems (CSPs). Solving a general CSP is known to be NP-complete, so closure and heuristic search are usually used. However, many problems are inherently distributed and the problem ... Keywords: Constraint satisfaction problems, Multi-agent system, Railway scheduling

M. A. Salido; M. Abril; F. Barber; L. Ingolotti; P. Tormos; A. Lova

2007-03-01T23:59:59.000Z

432

deDacota: toward preventing server-side XSS via automatic code and data separation  

Science Conference Proceedings (OSTI)

Web applications are constantly under attack. They are popular, typically accessible from anywhere on the Internet, and they can be abused as malware delivery systems. Cross-site scripting flaws are one of the most common types of vulnerabilities that ... Keywords: code and data separation, content security policy, cross-site scripting, csp, xss

Adam Doup, Weidong Cui, Mariusz H. Jakubowski, Marcus Peinado, Christopher Kruegel, Giovanni Vigna

2013-11-01T23:59:59.000Z

433

Using formal methods for security in the Xenon project  

Science Conference Proceedings (OSTI)

This paper reports on the Xenon project's use of formal methods. Xenon is a higher-assurance secure hypervisor based on re-engineering the Xen open-source hypervisor. The Xenon project used formal specifications both for assurance and as guides for security ... Keywords: Circus refinement, CSP, Z, hypervisor, information-flow security, open-source

John McDermott; Leo Freitas

2010-04-01T23:59:59.000Z

434

When it comes to Demand Response, is FERC its Own Worst Enemy?  

E-Print Network (OSTI)

curtailment service providers (CSP). Unfortunately, thereliable form of DR through the CSP model. We believe that

Bushnell, James; Hobbs, Benjamin; Wolak, Frank A.

2009-01-01T23:59:59.000Z

435

SunShot Initiative: Jesse Gary  

NLE Websites -- All DOE Office Websites (Extended Search)

CSP FOA) PPG: High Performance Reflector Panels for CSP Assemblies (CSP R&D FOA) Abengoa Solar: Advanced Polymeric Reflector for CSP Applications (CSP R&D FOA) Alcoa: System...

436

Investigation of the Effect of In-Situ Catalyst on the Steam Hydrogasification of Biomass  

E-Print Network (OSTI)

Biopower - Logging - Anaerobic digestion - Heat - Wood,offensive odors. Anaerobic digestion is widely usedstabilization. Anaerobic digestion uses microorganisms to

FAN, XIN

2012-01-01T23:59:59.000Z

437

Investigation of the Effect of In-Situ Catalyst on the Steam Hydrogasification of Biomass  

E-Print Network (OSTI)

Conversion Biomass Energy Forestry Biochemical Biopower - Logging - Anaerobic digestion - Heat - Wood, paper mills - Hydrolysis/ Fermentation - Electricity Agricultural Thermal/chemical

FAN, XIN

2012-01-01T23:59:59.000Z

438

Members: Log in | Not Registered? Register for free extra services. KeywordsChoose Another City: San Jose  

E-Print Network (OSTI)

of lists | business intelligence | classifieds | view digital edition | article reprints rights | purchase 18 percent of the United States' annual gross domestic product and employ 9 percent of its work force

Prinz, Friedrich B.

439

Concentrating Photovoltaics: Collaborative Opportunities within DOEs CSP and PV Programs; Preprint  

DOE Green Energy (OSTI)

Presented at the 2001 NCPV Program Review Meeting: DOEs Concentrating Solar Power program is investigating the viability of concentrating PV converters as an alternative to thermal conversion devices.

Mehos, M.; Lewandowski, A.; Symko-Davies, M.; Kurtz, S.

2001-10-01T23:59:59.000Z

440

Thermal Scout Pinpoints Hard-to-Find Problems in CSP Fields (Fact Sheet)  

SciTech Connect

Updated receiver survey system uses an infrared camera, GPS technology, and computer software to rapidly analyze concentrating solar power fields and locate defective receivers.

Not Available

2013-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


441

Enabling Greater Penetration of Solar Power via the Use of CSP...  

NLE Websites -- All DOE Office Websites (Extended Search)

high frequency MW changes for automatic generation control (AGC), can be very damaging to power generation equipment." However, these costs can be very difficult to quantify,...

442

Acceptance Performance Test Guideline for Utility Scale Parabolic Trough and Other CSP Solar Thermal Systems: Preprint  

DOE Green Energy (OSTI)

Prior to commercial operation, large solar systems in utility-size power plants need to pass a performance acceptance test conducted by the engineering, procurement, and construction (EPC) contractor or owners. In lieu of the present absence of ASME or other international test codes developed for this purpose, the National Renewable Energy Laboratory has undertaken the development of interim guidelines to provide recommendations for test procedures that can yield results of a high level of accuracy consistent with good engineering knowledge and practice. Progress on interim guidelines was presented at SolarPACES 2010. Significant additions and modifications were made to the guidelines since that time, resulting in a final report published by NREL in April 2011. This paper summarizes those changes, which emphasize criteria for assuring thermal equilibrium and steady state conditions within the solar field.

Mehos, M. S.; Wagner, M. J.; Kearney, D. W.

2011-08-01T23:59:59.000Z

443

Assessing the Impact of Heat Rejection Technology on CSP Plant Revenue: Preprint  

DOE Green Energy (OSTI)

This paper explores the impact of cooling technology on revenue for hybrid-cooled plants with varying wet cooling penetration for four representative locations in the American Southwest. The impact of ACC design-point initial temperature difference (ITD - the difference between the condensing steam temperature and ambient dry-bulb) is also included in the analysis.

Wagner, M. J.; Kutscher, C. F.

2010-10-01T23:59:59.000Z

444

DIRECT NORMAL IRRADIANCE FOR CSP BASED ON SATELLITE IMAGES OF METEOSAT SECOND  

E-Print Network (OSTI)

Solarthermische Kraftwerke), which aims for standardization of yield prognosis for solar thermal power plants the research project SESK (Standardisierung der Ertragsprognose für Solarthermische Kraftwerke Ertragsgutachter. Bundesverband Solar-Wirtschaft, usw- Arbeitskreis ,Qualitätssicherung von Ertragsgutachten für PV-Kraftwerke

Heinemann, Detlev

445

Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP  

E-Print Network (OSTI)

extension ALCF of ALC with functional roles and note that, for query evaluation in (ALCF containment in OBDA, as re- cently introduced and studied in [8]. For (ALCF,AQ), this problem (and all other as a tran- sitive relation; ALCF is the extension in which one can state that some role names

Wolter, Frank

446

NEW METHOD AND SOFTWARE FOR MULTI-VARIABLE TECHNO-ECONOMIC DESIGN OPTIMIZATION OF CSP PLANTS  

E-Print Network (OSTI)

to a 50 MWel parabolic trough power plant using thermal oil as heat transfer fluid (HTF), a molten salt, parabolic trough 1. Motivation (Introduction) Today, designs of solar thermal power plants are developed

Ábrahám, Erika

447

Evaluation of the operational performance of a parabolic trough CSP plant.  

E-Print Network (OSTI)

?? Renewable energy technologies are in the spotlight. On the one hand, they are called to have a leading role in the battle against climate (more)

Ruiz Sanches, Carlos; Guillermo

2013-01-01T23:59:59.000Z

448

Package and board level reliability modeling of advanced CSP pakages for telecommunication applications.  

E-Print Network (OSTI)

??Market for telecommunication products (e.g., mobile phones) is very competitive, demanding products which are more reliable, higher performance, lighter, smaller, cheaper, and shorter time-to-market. These (more)

Tee, Tong Yan.

2008-01-01T23:59:59.000Z

449

Formalisme CSP (Constraint Satisfaction Problem) et localisation de motifs structurs dans les textes gnomiques.  

E-Print Network (OSTI)

??La recherche d'occurrences de gnes d'ARN dans les squences gnomiques est un problme dont l'importance est renouvele par la dcouverte rcente de trs nombreux ARN (more)

Thebault, Patricia

2004-01-01T23:59:59.000Z

450

An algorithm for the construction of global reduced mechanisms with CSP data  

SciTech Connect

An algorithm is presented for the construction of global reduced mechanisms, based on concepts from the Computational Singular Perturbation method. Input to the algorithm are (1) the detailed mechanism, (2) a representative numerical solution of the problem under investigation, and (3) the desired number of steps in the reduced mechanism. The algorithm numerically identified the steady-state species and fast reactions and constructs the reduced mechanism. The stoichiometric coefficients are constant and are connected to the non steady-state species, while the related rates involve the slow elementary rates only. The proposed method is applied to a laminar premixed CH{sub 4}/Air flame and a complex detailed chemical kinetics mechanism, consisting of 279 reactions and 49 species and accounting for both thermal and prompt NO{sub x} production. A seven-step mechanism is constructed which is shown to reproduce the species profiles and the laminar burning velocity very accurately over a wide range of values for the initial mixture composition and temperature. In addition, it is shown that the seven-step mechanism introduces much lower time scales than the detailed mechanism does. Since the proposed procedure for constructing reduced mechanisms is fully algorithmic and requires minor computations, it is very much suited for the simplification of large detailed mechanisms.

Massias, A.; Diamantis, D. [Univ. of Patras, Rio-Patra (Greece); Mastorakos, E.; Goussis, D.A. [ICEHT-FORTH, Rio-Patra (Greece)

1999-06-01T23:59:59.000Z

451

Research and Development for Novel Thermal Energy Storage Systems (TES) for Concentrating Solar Power (CSP)  

SciTech Connect

The overall objective was to develop innovative heat transfer devices and methodologies for novel thermal energy storage systems for concentrating solar power generation involving phase change materials (PCMs). Specific objectives included embedding thermosyphons and/or heat pipes (TS/HPs) within appropriate phase change materials to significantly reduce thermal resistances within the thermal energy storage system of a large-scale concentrating solar power plant and, in turn, improve performance of the plant. Experimental, system level and detailed comprehensive modeling approaches were taken to investigate the effect of adding TS/HPs on the performance of latent heat thermal energy storage (LHTES) systems.

Faghri, Amir; Bergman, Theodore L; Pitchumani, Ranga

2013-09-26T23:59:59.000Z

452

A constraint-satisfaction approach for 3D vision/touch-based object recognition  

Science Conference Proceedings (OSTI)

We present a technique for recognizing polyhedral objects by integrating visual and tactile data. The problem is formulated as a constraint-satisfaction problem (CSP) to provide a unified framework for integrating different types of sensory data. To ... Keywords: 3D vision/touch-based object recognition, computational complexity, constraint handling, constraint-satisfaction approach, correspondence uncertainty, data integration, erroneous model object elimination, image recognition, local-consistency enforcing, object recognition, polyhedral objects, scene perceptual structures, tactile data, visual data

1995-08-01T23:59:59.000Z

453

Property:OpenEI/Tool/URI | Open Energy Information  

Open Energy Info (EERE)

Property Property Edit with form History Facebook icon Twitter icon » Property:OpenEI/Tool/URI Jump to: navigation, search Property Name OpenEI/Tool/Keyword Property Type String Pages using the property "OpenEI/Tool/URI" Showing 25 pages using this property. (previous 25) (next 25) 2 2050 Calculator + http://2050-calculator-tool.decc.gov.uk/pathways/11111111111111111111111111111111111111111111111111111/primary_energy_chart + A Alternative Fueling Station Locator + http://www.afdc.energy.gov/afdc/locator/stations/ + Alternative Fueling Station Locator - Mobile + http://www.afdc.energy.gov/afdc/locator/m/stations/ + B BITES + https://bites.nrel.gov/index.php + BioPower Atlas and BioFuels Atlas + http://maps.nrel.gov/biomass + Bioenergy KDF + https://bioenergykdf.net +

454

SunShot Initiative: Chemically Reactive Working Fluids  

NLE Websites -- All DOE Office Websites (Extended Search)

Solar Power Systems Components Competitive Awards CSP Research & Development Thermal Storage CSP Recovery Act Baseload CSP SunShot Multidisciplinary University Research...

455

Joint Genome Institute Progress Report 2002-2005  

E-Print Network (OSTI)

APPENDIX B: 2005 & 2006 CSP DNA Sequencing Projects cont.+ Appendix B: 2005 and 2006 CSP DNA Sequencing Projects + +Community Sequencing Program (CSP) Traditionally, beyond its

Gilbert, David

2005-01-01T23:59:59.000Z

456

Towards a Cosmological Hubble Diagram for Type II-P Supernovae  

E-Print Network (OSTI)

Carnegie Supernova Project (CSP) (Freedman 2005), will bebeen observed by the CCCP and CSP both photometrically andresearch by the CCCP and CSP will improve our understanding

2006-01-01T23:59:59.000Z

457

Surveillance of vector populations and malaria transmission during the 2009/10 El Nino event in the western Kenya highlands: opportunities for early detection of malaria hyper-transmission  

E-Print Network (OSTI)

densities of An. gambiae and CSP_ MSP prevalence. An.sporozoite protein antibodies (CSP) and merozoite surfacethe malaria prevalence and CSP-MSP antibody prevalence in

Ototo, Ednah N; Githeko, Andrew K; Wanjala, Christine L; Scott, Thomas W

2011-01-01T23:59:59.000Z

458

Recommendation of short tandem repeat profiling for authenticating human cell lines, stem cells, and tissues  

E-Print Network (OSTI)

Standards Partnership (CSP) recommends new or revisedcomment period concurrent with CSP Review ATCC SDO respondsthen forwards to ANSI and CSP for concurrent 45 day public

2010-01-01T23:59:59.000Z

459

Phase Change Materials for Thermal Energy Storage in Concentrated Solar Thermal Power Plants  

E-Print Network (OSTI)

solar thermal power (CSP) systems. Background and motivation2 Figure 2: Schematic of Sensible Heat Based CSP Plant[3 Figure 3: Schematic of PCM Based CSP Plant[

Hardin, Corey Lee

2011-01-01T23:59:59.000Z

460

Role of RNA Binding Proteins and Post-Transcriptional Regulation in Response to Environmental Changes in Arabidopsis thaliana  

E-Print Network (OSTI)

of immunopurified CSP complexes. Fluorescently-tagged CSPsof CSP complexes-------------------------------------- 116116 3.3.7 CSP tagging with fluorescent proteins, sub-

Juntawong, Piyada

2010-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


461

Analysis of International Policies In The Solar Electricity Sector: Lessons for India  

E-Print Network (OSTI)

to clean lighting and electricity. CSP technology offers theof dispatchable power. The CSP industry, with just over 1 GWconcentrated solar power (CSP) industry and, with the US, is

Deshmukh, Ranjit

2011-01-01T23:59:59.000Z

462

California's Energy Future - The View to 2050  

E-Print Network (OSTI)

concentrating solar power (CSP)) and biomass systems, therebines Concentrated Solar Power (CSP) Solar Photovoltaic (PV)500 MW 59 GW - Central Solar (CSP and PV) 500 MW 65 GW -

2011-01-01T23:59:59.000Z

463

Measuring Social Capital for Social Performance  

E-Print Network (OSTI)

preconditions for good CSP. Previous studies identified thepredictor of a companys CSP is feasible. Measuring Firm-corporate social performance (CSP) are quite diverse. 1 For

Boutilier, Robert

2005-01-01T23:59:59.000Z

464

Evolutionary Genomics of Life in (and from) the Sea  

E-Print Network (OSTI)

or by JGIs Community Sequencing Program (CSP; http://www.jgi.doe.gov/CSP/index.html).The CSP accepts proposals annually and evaluates them

Boore, Jeffrey L.

2009-01-01T23:59:59.000Z

465

In vivo Delivery of Catalytic RNase P Ribozyme as an Antiviral Agent  

E-Print Network (OSTI)

capsid scaffolding protein (CSP) and assemblin, which areof 87 90% in viral CSP expression and a reduction of aboutscaffolding protein (CSP) and assemblin were delivered by

Bai, Yong

2010-01-01T23:59:59.000Z

466

Demand Response in U.S. Electricity Markets: Empirical Evidence  

E-Print Network (OSTI)

vs. CSP.. 24market DR program by a CSP), (3) metering and telemetryof the interval data to CSP and ISO. As new entrants, CSPs

Cappers, Peter

2009-01-01T23:59:59.000Z

467

Corporate Social Responsibility and Financial Performance  

E-Print Network (OSTI)

corporate social performance (CSP) and measures of long termsignificant relation between CSP and a firms risk adjustedbetween an index of CSP and performance measures, such as

Tsoutsoura, Margarita

2004-01-01T23:59:59.000Z

468

Truth and cognition  

E-Print Network (OSTI)

to is the correspondence principle: (csp) Truth consists intruth are not committed to (csp). Crispin Wright once madeterm correspondence in (csp) designatesas Wright alludes

Wright, Cory D.

2007-01-01T23:59:59.000Z

469

Californias Energy Future: The View to 2050 - Summary Report  

E-Print Network (OSTI)

concentrating solar power (CSP)) and biomass systems, therebines Concentrated Solar Power (CSP) Solar Photovoltaic (PV)500 MW 59 GW - Central Solar (CSP and PV) 500 MW 65 GW -

Yang, Christopher

2011-01-01T23:59:59.000Z

470

DOE Joint Genome Institute 2008 Progress Report  

E-Print Network (OSTI)

B: Glossary Appendix C: CSP Sequencing Plans for 2009Community Sequencing Program (CSP). He is also responsibleand im- plemented the CSP which provides large- scale DNA

Gilbert, David

2009-01-01T23:59:59.000Z

471

A Better Steam Engine: Designing a Distributed Concentrating Solar Combined Heat and Power System  

E-Print Network (OSTI)

Environmental impact study: CSP vs. CdTe thin filmsolar CHP Rankine CSP concentrating distributed the concentrating solar power (CSP) troughs in the central

Norwood, Zachary Mills

2011-01-01T23:59:59.000Z

472

Identification of three single nucleotide polymorphisms in Anopheles gambiae immune signaling genes that are associated with natural Plasmodium falciparum infection  

E-Print Network (OSTI)

gambiae as determined by Pf CSP ELISA. Population Ninfectedcircum- sporozoite protein (CSP)-based ELISA [18,19]. Allcurve of recombinant CSP to estimate relative infection

2010-01-01T23:59:59.000Z

473

Equity Overlooked: Charter Schools and Civil Rights Policy  

E-Print Network (OSTI)

or approximately half of CSP allocation. available capacity,Charter Schools Program (CSP) must use a lottery to admitan additional purpose of CSP is to seek funding allocation

Frankenberg, Erica; Siegel-Hawley, Genevieve

2009-01-01T23:59:59.000Z

474

US Agri-Environmental Programs and their Potential Implications for Agricultural Trade  

E-Print Network (OSTI)

Conservation Security Program (CSP) Land Preservation EQIP and predecessors, CSP, and WHIP) Land Retirement (CRPincrease production. Slide 21 CSP: small production impacts

Cooper, Joseph

2005-01-01T23:59:59.000Z

475

Adaptive online brain-computer interface for interpretation and visualization of desired reach  

E-Print Network (OSTI)

rates . . . . . . . . . . . . ICA and CSP pre-processing5. Spatial Filtering ICA, CSP, both, or neither 6. FrequencyCommon spatial patterns (CSP) is another type of spatial ?

Hammon, Paul S.

2009-01-01T23:59:59.000Z

476

Supporting Solar Power in Renewables Portfolio Standards: Experience from the United States  

E-Print Network (OSTI)

and CSP Projects ..of the concentrating solar power (CSP) market in the U.S.1980s, construction of CSP capacity in the U.S. largely

Wiser, Ryan

2010-01-01T23:59:59.000Z

477

The Impact of Washington's Budget of Allowing Same-Sex Couples to Marry  

E-Print Network (OSTI)

www.ncsconline.org/D_Research/CSP/CSP_Main_Page.html (lastavailable at http://www.ncsconline.org/D_Research/CSP/CSP_Main_Page.html. WILLIAMS INSTITUTE / IGLSS STUDY The

Badgett, M.V. Lee; Sears, Brad; Kukura, Elizabeth; Lau, Holning S.

2006-01-01T23:59:59.000Z

478

The Impact on New Mexico's Budget of Allowing Same-Sex Coules to Marry  

E-Print Network (OSTI)

available at http://www.ncsconline.org/D_Research/CSP/CSP_Main_Page.html (last visited December 7, 2005). 51www.ncsconline.org/D_Research/CSP/CSP_Main_Page.html. The

Badgett, M.V. Lee; Sears, Brad; Homer, Steven K; Curtis, Patrice; Kukura, Elizabeth

2006-01-01T23:59:59.000Z

479

Renewable Energy and Efficiency Modeling Analysis Partnership: An Analysis of How Different Energy Models Addressed a Common High Renewable Energy Penetration Scenario in 2025  

E-Print Network (OSTI)

factor based NREL model (NREL CSP specific model) Costs (requirement with wind and CSP (which was still too expensiveClass 3 = 77 GW Round 1 CSP Capacity by Class No N CSP b

Blair, N.

2010-01-01T23:59:59.000Z

480

The Impact on Oregon's Budget of Introducing Same-Sex Domestic Parternships  

E-Print Network (OSTI)

for State Courts. http://www.ncsconline.org/D_Research/CSP/CSP_Main_Page.html (accessed February 3, 2006). Strickland,http://www.ncsconline.org/D_Research/CSP/CSP_Main_Page.html.

Badgett, M.V. Lee; Sears, Brad; Kukura, Elizabeth; Lau, Holning

2008-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "keywords biopower csp" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


481

Category:Tech Potential Properties | Open Energy Information  

Open Energy Info (EERE)

Properties Properties Jump to: navigation, search This is the Tech Potential Properties category. Pages in category "Tech Potential Properties" The following 30 pages are in this category, out of 30 total. P Property:PotentialBiopowerGaseousCapacity Property:PotentialBiopowerGaseousGeneration Property:PotentialBiopowerGaseousMass Property:PotentialBiopowerSolidCapacity Property:PotentialBiopowerSolidGeneration Property:PotentialBiopowerSolidMass Property:PotentialCSPArea Property:PotentialCSPCapacity Property:PotentialCSPGeneration Property:PotentialEGSGeothermalCapacity P cont. Property:PotentialEGSGeothermalGeneration Property:PotentialGeothermalHydrothermalCapacity Property:PotentialGeothermalHydrothermalGeneration Property:PotentialHydropowerCapacity Property:PotentialHydropowerGeneration

482

International and Domestic Market Opportunities for Biomass Power: Volumes I and II  

DOE Green Energy (OSTI)

This report examines the domestic and international markets for biopower. Domestic and foreign markets present fundamentally different challenges to private power developers. Volume I focuses on the domestic market for biopower. The domestic challenge lies in finding economically viable opportunities for biopower. Vol. I outlines the current state of the U.S. biomass industry, discusses policies affecting biomass development, describes some demonstration projects currently underway, and discusses the future direction of the industry. Volume II focuses on the international market for biopower. Recent literature states that the electricity investment and policy climate in foreign markets are the key elements in successful private project development. Vol. II discusses the financing issues, policy climate, and business incentives and barriers to biopower development. As India and China are the largest future markets for biopower, they are the focus of this volume. Three other top markets- -Brazil, Indonesia, and the Philippines--are also discussed. Potential financial resources wrap up the discussion.

Not Available

1998-09-01T23:59:59.000Z

483

acres | OpenEI  

Open Energy Info (EERE)

acres acres Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (7 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

484

km2 | OpenEI  

Open Energy Info (EERE)

79 79 Varnish cache server Browse Upload data GDR 429 Throttled (bot load) Error 429 Throttled (bot load) Throttled (bot load) Guru Meditation: XID: 2142280579 Varnish cache server km2 Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (7 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric

485

average | OpenEI  

Open Energy Info (EERE)

average average Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (7 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

486

land-use | OpenEI  

Open Energy Info (EERE)

land-use land-use Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (5 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

487

land use | OpenEI  

Open Energy Info (EERE)

use use Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (5 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

488

photovoltaics | OpenEI  

Open Energy Info (EERE)

photovoltaics photovoltaics Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (5 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

489

Land use requirements for ground-mounted solar power facilities. | OpenEI  

Open Energy Info (EERE)

Land use requirements for ground-mounted solar power facilities. Land use requirements for ground-mounted solar power facilities. Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (5 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

490

Density | OpenEI  

Open Energy Info (EERE)

Density Density Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (5 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

491

statistics | OpenEI  

Open Energy Info (EERE)

12 12 Varnish cache server Browse Upload data GDR 429 Throttled (bot load) Error 429 Throttled (bot load) Throttled (bot load) Guru Meditation: XID: 2142278812 Varnish cache server statistics Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (7 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density

492

concentrating solar power | OpenEI  

Open Energy Info (EERE)

concentrating solar power concentrating solar power Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (7 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

493

hectares | OpenEI  

Open Energy Info (EERE)

hectares hectares Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (7 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

494

land requirements | OpenEI  

Open Energy Info (EERE)

requirements requirements Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (5 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

495

electric | OpenEI  

Open Energy Info (EERE)

electric electric Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (5 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

496

land | OpenEI  

Open Energy Info (EERE)

land land Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (5 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric hectares km2 land land requirements land use land-use mean photovoltaic photovoltaics PV solar statistics Data application/vnd.openxmlformats-officedocument.spreadsheetml.sheet icon Master Solar Land Use Spreadsheet (xlsx, 1.5 MiB)

497

mean | OpenEI  

Open Energy Info (EERE)

86 86 Varnish cache server Browse Upload data GDR 429 Throttled (bot load) Error 429 Throttled (bot load) Throttled (bot load) Guru Meditation: XID: 2142280586 Varnish cache server mean Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (7 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric

498

User Manual for CSP_VANA: A Check Standards Measurement and Database Program for Microwave Network Analyzers  

E-Print Network (OSTI)

Vector network analyzers are a convenient way to measure scattering parameters of a variety of microwave devices. However, these instruments, unlike oscilloscopes for example, require a relatively high degree of user knowledge and expertise. Due to the complexity of the instrument and of the calibration process, there are many ways in which an incorrect measurement may be produced. The Microwave Project, which is part of SNL's Primary Standards Laboratory, routinely uses check standards to verify that the network analyzer is operating properly. In the past, these measurements were recorded manually and, sometimes, interpretation of the results was problematic. To aid our measurement assurance process, a software program was developed to automatically measure a check standard and compare the new measurements with an historical database of measurements of the same device. The program acquires new measurement data from selected check standards, plots the new data against the mean and stan...

Leonard Duda Primary; Leonard E. Duda

1997-01-01T23:59:59.000Z

499

Numerical and Experimental Investigation of Inorganic Nanomaterials for Thermal Energy Storage (TES) and Concentrated Solar Power (CSP) Applications  

E-Print Network (OSTI)

The objective of this study is to synthesize nanomaterials by mixing molten salt (alkali nitrate salt eutectics) with inorganic nanoparticles. The thermo-physical properties of the synthesized nanomaterials were characterized experimentally. Experimental results allude to the existence of a distinct compressed phase even for the solid phase (i.e., in the nanocomposite samples). For example, the specific heat capacity of the nanocomposites was observed to be enhanced after melting and re-solidification - immediately after their synthesis; than those of the nanocomposites that were not subjected to melting and re-solidification. This shows that melting and re-solidification induced molecular reordering (i.e., formation of a compressed phase on the nanoparticle surface) even in the solid phase - leading to enhancement in the specific heat capacity. Numerical models (using analytical and computational approaches) were developed to simulate the fundamental transport mechanisms and the energy storage mechanisms responsible for the observed enhancements in the thermo-physical properties. In this study, a simple analytical model was proposed for predicting the specific heat capacity of nanoparticle suspensions in a solvent. The model explores the effect of the compressed phase that is induced from the solvent molecules - at the interface with individual nanoparticles in the mixture. The results from the numerical simulations indicate that depending on the properties and morphology of the compressed phase it can cause significant enhancement in the specific heat capacity of nanofluids and nanocomposites. The interfacial thermal resistance (also known as Kapitza resistance, or Rk) between a nanoparticle and the surrounding solvent molecules (for these molten salt based nanomaterials) is estimated using Molecular Dynamics (MD) simulations. This exercise is relevant for the design optimization of nanomaterials (nanoparticle size, shape, material, concentration, etc.). The design trade-off is between maximizing the thermal conductivity of the nanomaterial (which typically occurs for nanoparticle size varying between ~ 20-30nm) and maximizing the specific heat capacity (which typically occurs for nanoparticle size less than 5nm), while simultaneously minimizing the viscosity of the nanofluid. The specific heat capacity of nitrate salt-based nanomaterials was measured both for the nanocomposites (solid phase) and nanofluids (liquid phase). The neat salt sample was composed of a mixture of KNO3: NaNO3 (60:40 molar ratio). The enhancement of specific heat capacity of the nanomaterials obtained from the salt samples was found to be very sensitive to minor variations in the synthesis protocol. The measurements for the variation of the specific heat capacity with the mass concentration of nanoparticles were compared to the predictions from the analytical model. Materials characterization was performed using electron microscopy techniques (SEM and TEM). The rheological behavior of nanofluids can be non-Newtonian (e.g., shear thinning) even at very low mass concentrations of nanoparticles, while (in contrast) the pure undoped (neat) molten salt may be a Newtonian fluid. Such viscosity enhancements and change in rheological properties of nanofluids can be detrimental to the operational efficiencies for thermal management as well as energy storage applications (which can effectively lead to higher costs for energy conversion). Hence, the rheological behavior of the nanofluid samples was measured experimentally and compared to that of the neat solvent (pure molten salt eutectic). The viscosity measurements were performed for the nitrate based molten salt samples as a function of temperature, shear rate and the mass concentration of the nanoparticles. The experimental measurements for the rheological behavior were compared with analytical models proposed in the literature. The results from the analytical and computational investigations as well as the experimental measurements performed in this proposed study were used to formul

Jung, Seunghwan

2012-05-01T23:59:59.000Z

500

A Quantitative Approach Towards Establishing Normal csp mRNA Accumulation Patterns in Escherichia coli K12.  

E-Print Network (OSTI)

??The cold-shock response in Escherichia coli induces a set of 26 proteins that help ensure the efficiency of transcription, translation, and DNA replication at low (more)

Mitchell, Khadijah Aisha

2006-01-01T23:59:59.000Z