Powered by Deep Web Technologies
Note: This page contains sample records for the topic "mediawiki wiki check" 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

MediaWiki API  

Open Energy Info (EERE)

?xml version="1.0"?> ?xml version="1.0"?> ********************************************************************************************************** ** ** ** This is an auto-generated MediaWiki API documentation page ** ** ** ** Documentation and Examples: ** ** https://www.mediawiki.org/wiki/API **

2

MediaWiki API  

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

?xml version="1.0"?> ?xml version="1.0"?> ****************************************************************************************** ** ** ** This is an auto-generated MediaWiki API documentation page ** ** ** ** Documentation and Examples: ** ** http://www.mediawiki.org/wiki/API ** ** **

3

Purple MediaWiki: Fine-Grained Addressability of Wiki Kenneth Baclawski, Viral Gupta, Tejas Parikh  

E-Print Network (OSTI)

, viral, tparikh@ccs.neu.edu Peter P. Yim and Jonathan Cheyer CIM Engineering, Inc. (CIM3) San Mateo, CA 94402, USA. peter.yim@cim3.com, jonathan.cheyer@cim3.com Abstract Purple MediaWiki (PMWX

Baclawski, Kenneth B.

4

How do I push or pull bulk wiki pages from OpenEI mediawiki instance? |  

Open Energy Info (EERE)

How do I push or pull bulk wiki pages from OpenEI mediawiki instance? How do I push or pull bulk wiki pages from OpenEI mediawiki instance? Home > Groups > Developer Submitted by Rmckeel on 10 October, 2012 - 10:00 1 answer Points: 0 Jay did a great write-up with code samples on this! Please check out http://en.openei.org/community/blog/openei-downloadupload-automation-scripts Rmckeel on 10 October, 2012 - 10:00 Groups Menu You must login in order to post into this group. Recent content Timo,My apologies for the ... Browse by region (RaphaelSVGMap) The utility rate database version 1 API is now deprecated Probably the best reference on... New Robust References! more Group members (18) Managers: Rmckeel Recent members: Sangduen Timo.Kouwenhoven Jwkropf KingJahfy Graham7781 Ianjkalin Autumn1 Mvdv Sprzesmi Satish Cdonnelly Wzeng Twong Jayhuggins

5

V-236: MediaWiki CentralAuth Extension Authentication Bypass Vulnerability  

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

6: MediaWiki CentralAuth Extension Authentication Bypass 6: MediaWiki CentralAuth Extension Authentication Bypass Vulnerability V-236: MediaWiki CentralAuth Extension Authentication Bypass Vulnerability September 6, 2013 - 4:36am Addthis PROBLEM: A vulnerability has been reported in the CentralAuth extension for MediaWiki, which can be exploited by malicious people to bypass certain security restrictions. PLATFORM: MediaWiki CentralAuth Extension ABSTRACT: A vulnerability has been reported in the CentralAuth extension for MediaWik REFERENCE LINKS: Secunia Advisory SA54723 IMPACT ASSESSMENT: Medium DISCUSSION: The vulnerability is caused due to an error when handling auto-logins and can be exploited to bypass the authentication mechanism by providing a valid username within the "centralauth_User" cookie. IMPACT:

6

Semantic Mediawiki | OpenEI Community  

Open Energy Info (EERE)

Semantic Mediawiki Semantic Mediawiki Home Jweers's picture Submitted by Jweers(83) Contributor 7 August, 2013 - 18:23 New Robust References! citation citing developer formatting reference Semantic Mediawiki wiki Check out the new Reference Form. Adding a reference object to OpenEI using this form is the most complete way to cite a reference. After providing the name of your reference, the form will ask for your document type. Jweers's picture Submitted by Jweers(83) Contributor 16 May, 2013 - 14:22 Multicolor Maps from Compound Queries ask queries compound queries developer Google maps maps multicolor result formats results Semantic Mediawiki Hi all, Recently, a couple of people on OpenEI have asked me how to do compound (or multicolor) maps like this one: Jweers's picture Submitted by Jweers(83)

7

mediawiki | OpenEI Community  

Open Energy Info (EERE)

mediawiki mediawiki Home Jweers's picture Submitted by Jweers(83) Contributor 25 March, 2013 - 12:22 New Result Formats on OpenEI developer mediawiki OpenEI Semantic Mediawiki wiki As a result of the recent upgrade, and some internal improvements, OpenEI now features a host of new result formats to enhance your wiki content. You can find a list of them right here: http://semantic-mediawiki.org/wiki/Result_formats I would like to call extra attention to two of these: Rmckeel's picture Submitted by Rmckeel(297) Contributor 8 November, 2012 - 12:58 OpenEI dashboard Google Analytics mediawiki OpenEI statistics wiki OpenEI web traffic from Bangalore, India Did you know that in the last month, 621 people in Bangalore, India spent 16 hours browsing OpenEI.org? Or that in the last year, 14,243 people found out about an energy app

8

Semantic Mediawiki Semantic Forms update | OpenEI Community  

Open Energy Info (EERE)

Semantic Mediawiki Semantic Forms update Semantic Mediawiki Semantic Forms update Home > Groups > Utility Rate Rmckeel's picture Submitted by Rmckeel(297) Contributor 22 October, 2012 - 07:23 developer Incentives and Policies Semantic Mediawiki upgrade Utility Rates We have just updated Semantic Forms on OpenEI to version 2.4 to enable some upgrades to the utility rate forms (thanks Teresa!). If you see any problems in forms you use on OpenEI, please notify us by commenting on this blog entry or emailing us from the contact link on the OpenEI frontpage. We are looking forward to upgrading all of our Mediawiki and Semantic Mediawiki software as time allows for testing and going through the upgrade process. To see the versions of our wiki software, check out this page. Thanks! Ryan Groups: Utility Rate

9

OpenEI Community - mediawiki  

Open Energy Info (EERE)

Result Formats on Result Formats on OpenEI http://en.openei.org/community/blog/new-result-formats-openei   As a result of the recent upgrade, and some internal improvements, OpenEI now features a host of new result formats to enhance your wiki content.  You can find a list of them right here: mediawiki.org/wiki/Result_formats">http://semantic-mediawiki.org/wiki/Result_formats I would like to call extra attention to two of these: read more http://en.openei.org/community/blog/new-result-formats-openei#comments

10

wiki | OpenEI Community  

Open Energy Info (EERE)

wiki wiki Home Jweers's picture Submitted by Jweers(83) Contributor 7 August, 2013 - 18:23 New Robust References! citation citing developer formatting reference Semantic Mediawiki wiki Check out the new Reference Form. Adding a reference object to OpenEI using this form is the most complete way to cite a reference. After providing the name of your reference, the form will ask for your document type. Rmckeel's picture Submitted by Rmckeel(297) Contributor 25 June, 2013 - 07:39 How to create formatted blocks to hold OpenEI wiki content content formatting user interface wiki The OpenEI wiki frontpage uses "boxes" that help organize content. These boxes are frequently re-used across the site. Jweers's picture Submitted by Jweers(83) Contributor 25 March, 2013 - 12:22 New Result Formats on OpenEI

12

Add Java extensions to your wiki: Java applets can bring dynamic functionality to your wiki pages  

SciTech Connect

Virtually everyone familiar with today’s world wide web has encountered the free online encyclopedia Wikipedia many times. What you may not know is that Wikipedia is driven by an excellent open-source product called MediaWiki which is available to anyone for free. This has led to a proliferation of wiki sites devoted to just about any topic one can imagine. Users of a wiki can add content -- all that is required of them is that they type in their additions into their web browsers using the simple markup language called wikitext. Even better, the developers of wikitext made it extensible. With a little server-side development of your own, you can add your own custom syntax. Users aware of your extensions can then utilize them on their wiki pages with a few simple keystrokes. These extensions can be custom decorations, formatting, web applications, and even instances of the venerable old Java applet. One example of a Java applet extension is the Jmol extension (REF), used to embed a 3-D molecular viewer. This article will walk you through the deployment of a fairly elaborate applet via a MediaWiki extension. By no means exhaustive -- an entire book would be required for that -- it will demonstrate how to give the applet resize handles using using a little Javascript and CSS coding and some popular Javascript libraries. It even describes how a user may customize the extension somewhat using a wiki template. Finally, it explains a rudimentary persistence mechanism which allows applets to save data directly to the wiki pages on which they reside.

Scarberry, Randall E.

2008-08-12T23:59:59.000Z

13

V-236: MediaWiki CentralAuth Extension Authentication Bypass...  

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

IMPACT ASSESSMENT: Medium DISCUSSION: The vulnerability is caused due to an error when handling auto-logins and can be exploited to bypass the authentication mechanism by...

14

Are wikis usable?  

Science Conference Proceedings (OSTI)

Wikis are simple to use, asynchronous, Web-based collaborative hypertext authoring systems which are quickly gaining in popularity. In spite of much anecdotal evidence to the effect that wikis are usable by non technical experts, this has never been ... Keywords: collaborative web-authoring, groupware, hypertext, usability, wiki

Alain Désilets; Sébastien Paquet; Norman G. Vinson

2005-10-01T23:59:59.000Z

16

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Category:Seattle, WA Modification dateThis property is a special property in this wiki. 12 September...

17

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coyote Canyon Steam Plant Biomass Facility CommercialOnlineDate 1989 + Coordinates 33.7174708,...

18

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Twitter icon Browse wiki Jump to: navigation, search New England Breeze Solar and Wind Installers Coordinates 42.3917598, -71.5661769Latitude: 42.3917598...

19

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search African Biofuel & Renewable Energy Fund (ABREF) Developer African Biofuel & Renewable Energy Compnay...

20

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Biofuel Authority Rajasthan Coordinates 26.89876, 75.79636Latitude: 26.89876 Longitude:...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

in this wiki. 6 September 2009 16:41:03 + hide properties that link here 5 boro biofuel + , AWS Truewind + , Adirondack North Country Association + , Advanced Materials...

22

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Biofuel Advanced Research and Development LLC BARD FoafName Biofuel Advanced Research and...

23

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Biofuel Industries Group LLC FoafName Biofuel Industries Group LLC + Name Biofuel Industries...

24

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Developing LED Scenarios Categories Gateways + Modification dateThis property is a special property in...

25

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Twitter icon Browse wiki Jump to: navigation, search Ningxia Yinyi Wind Power Generation Co Ltd FoafName Ningxia Yinyi Wind Power Generation Co Ltd + Name...

26

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Next Generation Power Systems Inc Coordinates 43.99413, -96.317104Latitude: 43.99413...

27

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Browse wiki Jump to: navigation, search A Flashing Binary Combined Cycle For Geothermal Power Generation Abstract The performance of a flashing binary combi ... The performance...

28

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Twitter icon Browse wiki Jump to: navigation, search Environmentally Protective Power Generation EPPG Coordinates 32.221553, -110.969754Latitude: 32.221553 Longitude:...

29

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

wiki Jump to: navigation, search Cost and Performance of Carbon Dioxide Capture from Power Generation Abstract This report analyses techno-economic data for CO2 capture from...

30

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search A Test Of The Transiel Method On The Travale Geothermal Field Abstract An original...

31

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Facebook icon Twitter icon Browse wiki Jump to: navigation, search Inner Mongolia Test Power Co Ltd Coordinates 40.82206, 111.660561Latitude: 40.82206 Longitude:...

32

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Twitter icon Browse wiki Jump to: navigation, search Biomass Energy Data Book Abstract The Biomass Energy Data Book is a statisti ... The Biomass Energy Data Book is...

33

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Twitter icon Browse wiki Jump to: navigation, search Hydrogen Energy Data Book Abstract The Hydrogen Energy Data Book provides sta ... The Hydrogen Energy Data Book...

34

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Browse wiki Jump to: navigation, search 2011 APTA Public Transportation Fact Book Coordinates 37.09024, -95.712891Latitude: 37.09024 Longitude: -95.712891 +...

35

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Twitter icon Browse wiki Jump to: navigation, search United Nations Environment Programme (UNEP) Address United Nations Avenue, Gigiri PO Box 30552, 00100 +...

36

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Browse wiki Jump to: navigation, search Kumasi Institute of Technology and Environment (KITE) Address P. O. Box AT 720, Achimota, Accra, Ghana. + Coordinates 5.555717,...

37

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Twitter icon Browse wiki Jump to: navigation, search Guodian Technology Environment Co Ltd FoafName Guodian Technology & Environment Co Ltd + Name Guodian Technology...

38

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Twitter icon Browse wiki Jump to: navigation, search Inner Mongolia Huiquan Environment Protection Power Ltd FoafName Inner Mongolia Huiquan Environment Protection Power...

39

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Environment and Development Action in the Third World (ENDA-TM) Address Dakar, Senegal +...

40

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Browse wiki Jump to: navigation, search Beijing China Sciences General Energy Environment GEE FoafName Beijing China Sciences General Energy&Environment (GEE) + Name...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Browse wiki Jump to: navigation, search Colorado Department of Public Health and Environment Address 4300 Cherry Creek Drive South + Depiction File:Url.jpg + FoafHomepage...

42

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Facebook icon Twitter icon Browse wiki Jump to: navigation, search Center for Environment and National Security at Scripps Depiction File:ScrippsLogo.PNG + FoafHomepage...

43

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Twitter icon Browse wiki Jump to: navigation, search Centre for Science and Environment FoafName Centre for Science and Environment + Name Centre for Science and...

44

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Power Plant Database DataFormat Excel Spreadsheet, Excel Pivot Table, Access Database +...

45

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Mining Regulations (Kentucky) EZFeedRelevant Yes + IncentiveActive true + Incentive...

46

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Conversion Facility Privilege Tax Exemptions (North Dakota) EZFeedRelevant Yes +...

47

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Bed Methane Protection Act (Montana) EZFeedRelevant Yes + IncentiveActive true +...

48

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Clean Coal Technology (Indiana) EZFeedRelevant Yes + IncentiveActive true + Incentive...

49

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Clean Coal Projects (Virginia) EZFeedRelevant Yes + IncentiveActive true + Incentive...

50

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Mining Regulatory and Reclamation Act (Massachusetts) EZFeedRelevant Yes + Incentive...

51

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal seam natural gas producing areas (Louisiana) EZFeedRelevant Yes + IncentiveActive...

52

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Severance Tax (North Dakota) EZFeedRelevant Yes + IncentiveActive true + Incentive...

53

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Development (Nebraska) EZFeedRelevant Yes + IncentiveActive true + IncentiveApplDsc...

54

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Mining Reclamation (North Dakota) EZFeedRelevant Yes + IncentiveActive true +...

55

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Combustion By-Products (Maryland) EZFeedRelevant Yes + IncentiveActive true +...

56

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Mining Tax Credit (Arkansas) EZFeedJurisdictionDesc statewide EZFeedRelevant Yes +...

57

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Mine Safety Act (Virginia) EZFeedRelevant Yes + IncentiveActive true + Incentive...

58

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Mining (Iowa) EZFeedRelevant Yes + IncentiveActive true + IncentiveApplDsc...

59

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Clean Coal Incentive Tax Credit (Kentucky) EZFeedRelevant Yes + IncentiveActive true +...

60

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Twitter icon Browse wiki Jump to: navigation, search Arkansas Surface Coal Mining Reclamation Act (Arkansas) EZFeedJurisdictionDesc statewide EZFeedRelevant Yes...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

wiki Jump to: navigation, search A Conceptual Framework for Progressing Towards Sustainability in the Agriculture and Food Sector Abstract This document is meant to be used by...

62

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Apparent Welding Textures In Altered Pumice-Rich Rocks Abstract Fiamme and eutaxitic texture are...

63

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Login | Sign Up Wiki Browse Latinoamrica Buildings Clean Energy Economy Coordinated Low Emissions Assistance Network Geothermal Incentives and Policies International Clean Energy...

64

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Battery Park Industries Inc formerly Moltech Power Systems Inc FoafName Battery Park...

65

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Browse wiki Jump to: navigation, search Blue Spark Technologies formerly Thin Battery Technologies Inc Coordinates 32.980007, -97.168831Latitude: 32.980007 Longitude:...

66

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Twitter icon Browse wiki Jump to: navigation, search Chongqing Wanli Storage Battery Co FoafName Chongqing Wanli Storage Battery Co. + Name Chongqing Wanli Storage...

67

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Twitter icon Browse wiki Jump to: navigation, search Beijing Tianruichi Battery TRC FoafName Beijing Tianruichi Battery (TRC) + Name Beijing Tianruichi Battery...

68

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Ovonic Battery Company Inc FoafName Ovonic Battery Company Inc + Name Ovonic Battery Company Inc +...

69

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Battery Energy Power Solutions Pty Ltd Coordinates -33.869629, 151.206955Latitude:...

70

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Battery Wireless Solutions Inc FoafName Battery & Wireless Solutions Inc + Name Battery &...

71

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Browse wiki Jump to: navigation, search AEE Solar Inc formerly Alternative Energy Engineering FoafName AEE Solar Inc (formerly Alternative Energy Engineering) +...

72

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Twitter icon Browse wiki Jump to: navigation, search Solana Generating Plant Solar Power Plant CommercialOnlineDate 2013 + Coordinates 32.916163, -112.968727Latitude:...

73

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Mohave Solar Power Plant Coordinates 35.017264, -117.316607Latitude: 35.017264 Longitude:...

74

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Black Dog, South Dakota Coordinates 43.6380255, -99.5673479Latitude: 43.6380255 Longitude:...

75

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Nanjing Sunec Wind Generator Equipment Factory Coordinates 32.0485, 118.778969Latitude: 32.0485...

76

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Bioethanol Secience and Technology Centre FoafName Bioethanol Secience and Technology Centre +...

77

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Agricultural Biomass and Landfill Diversion Incentive (Texas) EZFeedRelevant Yes + IncentiveActive...

78

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Energy Savings Store Address 15209 W. 99th Street + Coordinates 38.9491298,...

79

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Divya Energy Solar Panel Savings Calculator Abstract A one of a kind simple but power solar...

80

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Boardman, Oregon Coordinates 45.839855, -119.7005834Latitude: 45.839855 Longitude:...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Boardman, North Carolina Coordinates 34.4390555, -78.949195Latitude: 34.4390555 Longitude:...

82

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Boardman, Ohio Coordinates 41.0242256, -80.6628528Latitude: 41.0242256 Longitude:...

83

WikiTrails: augmenting Wiki structure for collaborative, interdisciplinary learning  

Science Conference Proceedings (OSTI)

Wikis are currently in high demand in a large variety of fields, due to their simplicity and flexible nature. Documentation, reporting, project management, online glossaries and dictionaries, discussion groups, or information systems are just a few examples ... Keywords: Wiki content structure, collaborative studies, interdisciplinary e-learning, path guidance, path-centric navigation, user tracking

Silvan Reinhold

2006-08-01T23:59:59.000Z

84

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search BioFuel Energy Corp FoafName BioFuel Energy Corp + Name BioFuel Energy Corp + OpenEI...

85

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search BioFuel Oasis FoafName BioFuel Oasis + Name BioFuel Oasis + OpenEIPageDescription BioFuel...

86

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search 5 boro biofuel Address 100 maiden lane + Coordinates 40.706897, -74.007211Latitude: 40.706897...

87

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ Zip 45011 + Has queryThis property is a special property in this wiki. Home Energy CheckupCommercial Energy Checkup + Has improper value forThis property is a...

88

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Datang Jilin Power Generation Co Ltd FoafName Datang Jilin Power Generation Co Ltd + Name Datang Jilin...

89

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search A Tracer Test Using Ethanol as a Two-Phase Tracer and 2-Naphthalene Sulfonate as a Liquid-Phase...

90

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Facebook icon Twitter icon Browse wiki Jump to: navigation, search Chesapeake Bay Test Site Coordinates 37.243, -76.062Latitude: 37.243 Longitude: -76.062 + Developer...

91

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Facebook icon Twitter icon Browse wiki Jump to: navigation, search A New Zealand Test Of The Track-Etch Method Of Prospecting For Geothermal Steam Abstract The Track Etch...

92

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

No abstract prepared. Author John Travis Finger + , Eddie Ross Hoover + Document type Book + Has queryThis property is a special property in this wiki. Annex 7 - The Iea'S Role...

93

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search BioProcess Algae FoafName BioProcess Algae + Name BioProcess Algae + OpenEIPageDescription BioProcess...

94

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Coal Severance Tax (Montana) EZFeedRelevant Yes + IncentiveActive true + IncentiveApplDsc...

95

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Clean Coal Ltd FoafName Clean Coal Ltd + Name Clean Coal Ltd + OpenEIPageDescription Clean Coal...

96

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search UK Coal Peel Energy JV FoafName UK Coal & Peel Energy JV + Name UK Coal & Peel Energy JV +...

97

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Facebook icon Twitter icon Browse wiki Jump to: navigation, search Carbon Micro Battery LLC FoafName Carbon Micro Battery, LLC + Name Carbon Micro Battery, LLC + OpenEI...

98

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on Facebook icon Twitter icon Browse wiki Jump to: navigation, search China BAK Battery Inc Coordinates 22.546789, 114.112556Latitude: 22.546789 Longitude: 114.112556 +...

99

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Facebook icon Twitter icon Browse wiki Jump to: navigation, search Iron Edison Battery Company Depiction File:Logo - Mid Res.jpg + FoafHomepage http:ironedison.com +...

100

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

this wiki. 31 July 2012 15:34:21 + hide properties that link here Alpine SunTower Solar Power Plant + , Amargosa Farm Road Solar Energy Project Solar Power Plant + , Beacon Solar...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

icon Browse wiki Jump to: navigation, search Caterpillar FoafHomepage http:www.cat.com + FoafName Caterpillar + Name Caterpillar + NrelPartner true + NrelPartnerDescLink...

102

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Facebook icon Twitter icon Browse wiki Jump to: navigation, search Qingdao Hengfeng Wind Power Generator Co Ltd Coordinates 35.875, 119.977203Latitude: 35.875 Longitude:...

103

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

page on Facebook icon Twitter icon Browse wiki Jump to: navigation, search Bioethanol Limited Coordinates 51.506325, -0.127144Latitude: 51.506325 Longitude: -0.127144...

104

Experiences of Wiki use in Finnish companies  

Science Conference Proceedings (OSTI)

The objective of our study was two-fold. The first and most important objective was to gather experiences on the use of wiki software in Finnish companies. The second objective was to study the frequency of the use of wikis among Finland's 50 biggest ... Keywords: adoption, company use, motivation, user experience, wiki software

Jani Henriksson; Teemu Mikkonen; Tere Vadén

2008-10-01T23:59:59.000Z

105

Wikis in Collaborative Educational Scenarios: Integrated in LMS or Standalone Wikis?  

Science Conference Proceedings (OSTI)

This article outlines a set of features that wiki engines require to successfully host collaborative educational scenarios. The authors explore multiple issues that deal with the use wikis with learning activities. One of the first issues to solve is ... Keywords: E-Learning, Education, Learning Management System, Social Learning, Wikis

Marc Alier Forment; Xavier De Pedro; Maria Jose Casañ; Jordi Piguillem; Nikolas Galanis

2012-10-01T23:59:59.000Z

106

Atw.hu - Atw.hu - Wiki  

U.S. Energy Information Administration (EIA)

? Data Encyclopedia Wiki by Comjuice.com about atw.hu. . Contact: , . Atw.hu is a website owned by Atw.hu, registered with the tld .hu, and name Atw.hu. Atw.hu ...

107

Proceedings of the 2007 international symposium on Wikis  

Science Conference Proceedings (OSTI)

The 2007 International Symposium on Wikis brings together wiki researchers, practitioners, and users. The goal of the symposium is to explore and extend our growing community. The symposium has a rigorously reviewed research paper track, as well as plenty ...

Alain Désilets; Robert Biddle

2007-10-01T23:59:59.000Z

108

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

search COMcheck Abstract COMcheck provides a method for checking a building with energy codes. Depiction File:Logo doe c.jpg + Developer United States Department of Energy +...

109

Wiki-based Techno Economic Analysis of a Lignocellulosic ...  

Biomass and Biofuels Wiki-based Techno Economic Analysis of a Lignocellulosic Biorefinery Lawrence Berkeley National Laboratory. Contact LBL About ...

110

A multimethod study of information quality in wiki collaboration  

Science Conference Proceedings (OSTI)

In this article, the author presents the results of a two-phase, multimethod study of wiki-based collaboration in an attempt to better understand how peer-produced collaboration is done well in wiki environments. Phase 1 involves an in-depth case study ... Keywords: Web 2.0, Wiki, Wikipedia, anonymity, collaboration, electronic collaboration, electronic communities, information quality, multimethod studies, peer-production, shaping, virtual teams, wiki

Gerald C. Kane

2011-03-01T23:59:59.000Z

111

Proceedings of the 2005 international symposium on Wikis  

Science Conference Proceedings (OSTI)

Welcome to the proceedings of the 2005 International Symposium on Wikis (WikiSym for short), the first international conference dedicated to wiki research and practice!Paper SelectionWe received 20 paper submissions, of which we selected ten to ...

Dirk Riehle

2005-10-01T23:59:59.000Z

112

Nama Database Wiki | Open Energy Information  

Open Energy Info (EERE)

Nama Database Wiki Nama Database Wiki Jump to: navigation, search Tool Summary LAUNCH TOOL Name: NAMA Database Wiki Agency/Company /Organization: Ecofys Sector: Climate, Energy Focus Area: Renewable Energy, Greenhouse Gas Phase: Evaluate Options, Develop Goals, Prepare a Plan Topics: Finance, Low emission development planning, -NAMA Resource Type: Guide/manual, Lessons learned/best practices, Training materials User Interface: Website Complexity/Ease of Use: Simple Website: www.nama-database.org/ The NAMA Database is an expanding resource containing the latest activities taking place around the world on Nationally Appropriate Mitigation Actions (NAMAs). The mission is to create a valuable resource for policy makers, researchers and other interested stakeholders to increase knowledge-sharing

113

ClimateTechWiki | Open Energy Information  

Open Energy Info (EERE)

ClimateTechWiki ClimateTechWiki Jump to: navigation, search Tool Summary LAUNCH TOOL Name: ClimateTechWiki - a clean technology platform Agency/Company /Organization: United Nations Development Programme, Energy Research Centre of the Netherlands, Joint Implementation Network (JIN), United Nations Environment Programme, UNEP-Risoe Centre, United Nations Framework Convention on Climate Change, Renewable Energy and Energy Efficiency Partnership, Netherlands Government Partner: Energy Research Centre of the Netherlands (ECN) Sector: Climate, Energy Focus Area: Non-renewable Energy, Agriculture, Biomass, Buildings, Energy Efficiency, Forestry, Geothermal, Greenhouse Gas, Ground Source Heat Pumps, Hydrogen, Industry, Solar, Transportation, Water Power, Wind Phase: Evaluate Options, Develop Goals, Prepare a Plan, Create Early Successes, Evaluate Effectiveness and Revise as Needed

114

Grid result checking  

Science Conference Proceedings (OSTI)

Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the framework of program testing or property testing, where the issue is the ... Keywords: grids, result checking, simulation

Cécile Germain-Renaud; Dephine Monnier-Ragaigne

2005-05-01T23:59:59.000Z

115

Wikis in teaching and assessment: the M/Cyclopedia project  

Science Conference Proceedings (OSTI)

In a knowledge-based, networked economy, students leaving university need to have attained skills in collaborative and creative project-based work and to have developed critical, reflective practices. This paper outlines how a wiki can been used as part ... Keywords: assessment, pedagogy, social constructivism, tertiary education, wiki

Axel Bruns; Sal Humphreys

2005-10-01T23:59:59.000Z

116

Energy Information, Data, and other Resources | OpenEI  

Open Energy Info (EERE)

Web Service Documentation Explore our available Web services. REST - provides a RESTful wrapper around high-value data. Ask queries - inline queries for Semantic MediaWiki SPARQL...

117

Wiki, a new way to produce accessible documents  

Science Conference Proceedings (OSTI)

Adapting complex documents to make them accessible for print disabled persons is an iterative process which involves various skills and requires the intervention of several people. Collaborative approaches are well suited, especially those based on Wikis ...

Alex Bernier; Dominique Burger; Bruno Marmol

2010-07-01T23:59:59.000Z

118

MediaWiki:Smw import foaf | Open Energy Information  

Open Energy Info (EERE)

Message Edit History Facebook icon Twitter icon MediaWiki:Smw import foaf Jump to: navigation, search http:xmlns.comfoaf0.1%7CFriend Of A Friend basednear|Type:Page...

119

Web 2.0 Wiki technology : enabling technologies, community behaviors, and successful business techniques and models  

E-Print Network (OSTI)

Many technologies fall under the umbrella of what is commonly known as "Web 2.0," including the Wiki, a software product which allows multiple users to review and edit documents online. Like all Web 2.0 technologies, Wikis ...

Davidi, Ilana

2007-01-01T23:59:59.000Z

120

ThinkFree: using a visual Wiki for IT knowledge management in a tertiary institution  

Science Conference Proceedings (OSTI)

We describe ThinkFree, an industrial Visual Wiki application which provides a way for end users to better explore knowledge of IT Enterprise Architecture assets that is held within a large enterprise wiki. The application was motivated ... Keywords: knowledge management, visual wiki, visualization

Christian Hirsch; John Hosking; John Grundy; Tim Chaffe

2010-07-01T23:59:59.000Z

Note: This page contains sample records for the topic "mediawiki wiki check" 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

formatting | OpenEI Community  

Open Energy Info (EERE)

formatting formatting Home Jweers's picture Submitted by Jweers(83) Contributor 7 August, 2013 - 18:23 New Robust References! citation citing developer formatting reference Semantic Mediawiki wiki Check out the new Reference Form. Adding a reference object to OpenEI using this form is the most complete way to cite a reference. After providing the name of your reference, the form will ask for your document type. Rmckeel's picture Submitted by Rmckeel(297) Contributor 25 June, 2013 - 07:39 How to create formatted blocks to hold OpenEI wiki content content formatting user interface wiki The OpenEI wiki frontpage uses "boxes" that help organize content. These boxes are frequently re-used across the site. Syndicate content 429 Throttled (bot load) Error 429 Throttled (bot load)

122

Black Box Checking Doron Peled  

E-Print Network (OSTI)

Black Box Checking Doron Peled The University of Texas at Austin Department of Electrical and formalize this problem of black box checking and suggest several algorithms. Since the input to black box the given property. We call this problem black box checking. To simplify the discussion, we will not deal

Peled, Doron A.

123

BLACK BOX CHECKING DORON PELED  

E-Print Network (OSTI)

BLACK BOX CHECKING DORON PELED Bell Laboratories 600 Mountain Ave. Murray Hill, NJ 07974, USA MOSHE properties. We propose and formalize this problem of black box checking and suggest several algorithms. Since the input to black box checking is not given initially, as is the case in the classical model of computation

Vardi, Moshe Y.

124

A primer on model checking  

Science Conference Proceedings (OSTI)

Model checking is a widely used formal method for the verification of concurrent programs. This article starts with an introduction to the concepts of model checking, followed by a description of Spin, one of the foremost model checkers. Software tools ... Keywords: Erigone, Spin, concurrent programming, model checking, verification

Mordechai (Moti) Ben-Ari

2010-03-01T23:59:59.000Z

125

Checking Security Policy Compliance  

E-Print Network (OSTI)

Ensuring compliance of organizations to federal regulations is a growing concern. This paper presents a framework and methods to verify whether an implemented low-level security policy is compliant to a high-level security policy. Our compliance checking framework is based on organizational and security metadata to support refinement of high-level concepts to implementation specific instances. Our work uses the results of refinement calculus to express valid refinement patterns and their properties. Intuitively, a low-level security policy is compliant to a high-level security policy if there is a valid refinement path from the high-level security policy to the low-level security policy. Our model is capable of detecting violations of security policies, failures to meet obligations, and capability and modal conflicts.

Gowadia, Vaibhav; Kudo, Michiharu

2008-01-01T23:59:59.000Z

126

OpenEI:Developer Links | Open Energy Information  

Open Energy Info (EERE)

Developer Links Developer Links Jump to: navigation, search Example Queries List of all Special Pages Semantic Actions List Active Properties | Create a New Property List Active Templates | Create a New Template List Active Forms | Create a New Form List Active Categories | Create a New Category RDF Export Example MediaWiki User's Guide MediaWiki Configuration settings list MediaWiki FAQ MediaWiki release mailing list Semantic Forms Getting Started w/ Semantic Forms Semantic Forms Example Wiki Patterns The "90-9-1" Theory WikiGnomes (aka WikiGardeners) Retrieved from "http://en.openei.org/w/index.php?title=OpenEI:Developer_Links&oldid=58357" What links here Related changes Special pages Printable version Permanent link Browse properties 429 Throttled (bot load)

127

Formal mathematics on display: a wiki for flyspeck  

Science Conference Proceedings (OSTI)

The Agora system is a prototype "Wiki for Formal Mathematics", with an aim to support developing and documenting large formalizations of mathematics in a proof assistant. The functions implemented in Agora include in-browser editing, strong AI/ATP proof ...

Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers

2013-07-01T23:59:59.000Z

128

Check 'n' crash: combining static checking and testing  

Science Conference Proceedings (OSTI)

We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inferred using theorem proving techniques by a static checker (ESC/Java), ... Keywords: automatic testing, dynamic analysis, extended static checking, static analysis, test case generation, usability

Christoph Csallner; Yannis Smaragdakis

2005-05-01T23:59:59.000Z

129

Bounded model checking of infinite state systems  

Science Conference Proceedings (OSTI)

Bounded model checking (BMC) is an attractive alternative to symbolic model checking, since it often allows a more efficient verification. The idea of BMC is to reduce the model checking problem to a satisfiability problem of the underlying base logic, ... Keywords: Bounded model checking, Global model checking, Infinite state systems, Local model checking, Temporal logic hierarchy

Tobias Schuele; Klaus Schneider

2007-02-01T23:59:59.000Z

130

Statistical model checking: an overview  

Science Conference Proceedings (OSTI)

Quantitative properties of stochastic systems are usually specified in logics that allow one to compare the measure of executions satisfying certain temporal properties with thresholds. The model checking problem for stochastic systems with respect to ...

Axel Legay; Benoît Delahaye; Saddek Bensalem

2010-11-01T23:59:59.000Z

131

Socs: increasing social and group awareness for Wikis by example of Wikipedia  

Science Conference Proceedings (OSTI)

Many wikis provide good workspace awareness. Users see quickly what changes have been made or get notified about modifications on selected pages. However, they do not support a more sophisticated social or group awareness. Being aware of social structures ... Keywords: Socs, Web 2.0, Wikipedia, collaboration, coordination, group awareness, hypermedia, social awareness, wiki

Claus Atzenbeck; David L. Hicks

2008-09-01T23:59:59.000Z

132

SensorWiki.org: a collaborative resource for researchers and interface designers  

Science Conference Proceedings (OSTI)

This paper describes an online Wiki, a collaborative Web site designed to allow users to edit and add content. It was created at the Input Devices and Music Interaction Laboratory with the aim of promoting and supporting the construction of new ... Keywords: Wiki, collaborative website, open content, sensors

M. M. Wanderley; D. Birnbaum; J. Malloch; E. Sinyor; J. Boissinot

2006-06-01T23:59:59.000Z

133

Checking Inevitability and Invariance Using Description Logic Technology  

E-Print Network (OSTI)

, http://www.alcf.anl.gov/resources. [9] NCCS Jaguar and JaguarPF, Oak Ridge National Laboratory, http://www.nccs.gov/computing-resources /jaguar/ [10] HPCT MPI Profiling and Tracing Library, https://wiki.alcf.anl.gov/index.php/HPCT_MPITRACE. [11] Universal Performance Counter (UPC) Unit and HPM library for BG/P, https://wiki.alcf

Waterloo, University of

134

Jweers's blog | OpenEI Community  

Open Energy Info (EERE)

Jweers's blog Jweers's blog Home > Blogs Jweers's picture Submitted by Jweers(83) Contributor 7 August, 2013 - 18:23 New Robust References! citation citing developer formatting reference Semantic Mediawiki wiki Check out the new Reference Form. Adding a reference object to OpenEI using this form is the most complete way to cite a reference. After providing the name of your reference, the form will ask for your document type. Jweers's picture Submitted by Jweers(83) Contributor 16 May, 2013 - 14:22 Multicolor Maps from Compound Queries ask queries compound queries developer Google maps maps multicolor result formats results Semantic Mediawiki Hi all, Recently, a couple of people on OpenEI have asked me how to do compound (or multicolor) maps like this one: Jweers's picture Submitted by Jweers(83)

135

Checking JML specifications using an extensible software model checking framework  

E-Print Network (OSTI)

Abstract. The use of assertions to express correctness properties of programs is growing in practice. Assertions provide a form of lightweight checkable specification that can be very effective in finding defects in programs and in guiding developers to the cause of a problem. A wide variety of assertion languages and associated validation techniques have been developed, but run-time monitoring is commonly thought to be the only practical solution. In this paper, we describe how specifications written in the Java Modeling Language (JML), a general purpose behavioral specification and assertional language for Java, can be validated using a customized model checker built on top of the Bogor model checking framework. Our experience illustrates the need for customized state-space representations and reduction strategies in model checking frameworks in order to effectively check the kind of strong behavioral specifications that can be written in JML. We discuss the advantages and trade-offs of model checking relative to other specification validation techniques and present data that suggest that

Edwin Rodríguez; Matthew B. Dwyer

2006-01-01T23:59:59.000Z

136

Specifying and checking component usage  

Science Conference Proceedings (OSTI)

One of today's challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications describing how a component should be used and checks these specifications in ... Keywords: automata, components, finite-state, flow analysis, specifications, verification

Steven P. Reiss

2005-09-01T23:59:59.000Z

137

How to create formatted blocks to hold OpenEI wiki content | OpenEI  

Open Energy Info (EERE)

How to create formatted blocks to hold OpenEI wiki content How to create formatted blocks to hold OpenEI wiki content Home > Groups > OpenEI Community Central Rmckeel's picture Submitted by Rmckeel(297) Contributor 25 June, 2013 - 07:39 content formatting user interface wiki The OpenEI wiki frontpage uses "boxes" that help organize content. These boxes are frequently re-used across the site. While there is an easy way of doing this - the FlexiBlock template - the frontpage was just now converted to using that format. The FlexiBlock format is a more elegant and less error-prone way to use the frontpage block formats, rather than creating nested divs. It also ensures we can update the format of the boxes sitewide easily if we ever need to (and we probably will). If you or someone you know is using the frontpage blocks, please switch to

138

Designing wikis for collaborative learning and knowledge-building in higher education  

Science Conference Proceedings (OSTI)

A wiki design that facilitates collaborative learning, knowledge-building, and student reflection was implemented in three graduate courses. Empirical data collected from interactions in the Resources area where students added new resources and commented ...

Swapna Kumar

2009-06-01T23:59:59.000Z

139

Software Model Checking with SPIN  

E-Print Network (OSTI)

The aim of this chapter is to give an overview ofthe theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threaded software (rather than hardware) systems. The treatment is focused on the logic model checker SPIN, which was designed for this specific domain of application. SPIN implements an automata-theoretic method of verification. Although the tool has been available for over 15years, it continues to ev olve, adopting new optimization strategies from time to time to help it tackle larger verification problems. This chapter explains how the tool works, and

Gerard J. Holzmann

2005-01-01T23:59:59.000Z

140

Model Checking Complete Requirements Specifications Using Abstraction  

Science Conference Proceedings (OSTI)

Although model checking has proven remarkably effective in detecting errors in hardware designs, its success in the analysis of software specifications has been limited. Model checking algorithms for hardware verification commonly use Binary Decision ... Keywords: SCR, abstraction, model checking, requirements specification, verification

Ramesh Bharadwaj; Constance L. Heitmeyer

1999-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Google lends support to the software behind OpenEI.org | OpenEI Community  

Open Energy Info (EERE)

Google lends support to the software behind OpenEI.org Google lends support to the software behind OpenEI.org Home > Groups > OpenEI Community Central Graham7781's picture Submitted by Graham7781(2002) Super contributor 8 March, 2010 - 14:10 imported OpenEI Thanks! The Wikimedia Foundation recently announced that they'll be using a $2M grant from Google to turn the MediaWiki Usability Initiative into a permanent effort. That's great news for OpenEI, as the MediaWiki software is a key component in our system (along with various additions, including Semantic MediaWiki). So when MediaWiki gets better, we get better. Groups: OpenEI Community Central Graham7781's blog Latest blog posts Jweers New Robust References! Posted: 7 Aug 2013 - 18:23 by Jweers 1 comment(s) Graham7781 Geothermal Regulatory Roadmap featured on NREL Now

142

Energy Information, Data, and other Resources | OpenEI  

Open Energy Info (EERE)

wiki uses Semantic Mediawiki (SMW). SMW provides inline queries in the form of an Ask query, which can also be modified into a web service (see REST services in the example...

143

Google Analytics | OpenEI Community  

Open Energy Info (EERE)

Google Analytics Home Rmckeel's picture Submitted by Rmckeel(287) Contributor 8 November, 2012 - 13:58 OpenEI dashboard Google Analytics mediawiki OpenEI statistics wiki OpenEI web...

144

statistics | OpenEI Community  

Open Energy Info (EERE)

Submitted by Rmckeel(287) Contributor 8 November, 2012 - 13:58 OpenEI dashboard Google Analytics mediawiki OpenEI statistics wiki OpenEI web traffic from Bangalore, India...

145

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

146

Exploring Volunteered Geographic Information (VGI) for Emergency Management: Toward a Wiki GIS Framework  

E-Print Network (OSTI)

The past three years have witnessed unprecedented growth of user-generated volunteered geographic information (VGI) on the Web. Although scholars, decision makers, and citizens have recognized the potential value of VGI in emergency management, there exists no rigorous study on the availability, quality, and feasibility of VGI for applications related to emergency management. This dissertation applies methodologies of GIScience and computer science to present an overview of VGI and explore its value in emergency management with the goal of developing a wiki GIS approach for community emergency preparedness. This dissertation research concludes that VGI and wiki GIS represent new development in public participation in the production and use of geographic information. In emergency management, VGI and wiki GIS suggest a new approach to incorporate the general public in emergency response activities. By incorporating VGI in emergency management, official agencies and the general public gain better situational awareness in emergency management.

Xu, Chen

2010-08-01T23:59:59.000Z

147

Automated consistency checking of requirements specifications  

Science Conference Proceedings (OSTI)

This article describes a formal analysis technique, called consistency checking, for automatic detection of errors, such as type errors, nondeterminism, missing cases, and circular definitions, in requirements specifications. The technique ... Keywords: application-independent properties, consistency checking, formal requirements modeling, software cost reduction methodology, tabular notations

Constance L. Heitmeyer; Ralph D. Jeffords; Bruce G. Labaw

1996-07-01T23:59:59.000Z

148

Model checking of software for microcontrollers  

Science Conference Proceedings (OSTI)

The interest of industries in model checking software for microcontrollers is increasing. However, there are currently no appropriate tools that can be applied by embedded systems developers for the direct verification of software for microcontrollers ... Keywords: Assembly code, formal verification, microcontroller, model checking, static analysis

Bastian Schlich

2010-03-01T23:59:59.000Z

149

Vertical pump with free floating check valve  

DOE Patents (OSTI)

A vertical pump with a bottom discharge having a free floating check valve isposed in the outlet plenum thereof. The free floating check valve comprises a spherical member with a hemispherical cage-like member attached thereto which is capable of allowing forward or reverse flow under appropriate conditions while preventing reverse flow under inappropriate conditions.

Lindsay, Malcolm (O' Hara Township, Allegheny County, PA)

1980-01-01T23:59:59.000Z

150

A Wiki that knows where it is being used: insights from potential users  

Science Conference Proceedings (OSTI)

With the advent of extensive wireless networks that blanket physically compact urban enclaves such as office complexes, shopping centers, or university campuses, it is possible to create software applications that provide location-based mobile/online ... Keywords: Internet, Web 2.0, Wiki, location awareness

Maria Plummer; Linda Plotnick; Starr Roxanne Hiltz; Quentin Jones

2008-10-01T23:59:59.000Z

151

Integrating both Wikis and XML with case bases to facilitate case base development and maintenance  

Science Conference Proceedings (OSTI)

Case-based reasoning (CBR), as a promising technology for problem solving and decision support, has drawn considerable attention during the last 20years. As CBR systems become more frequently deployed in real-world situations and as large-scale case-bases ... Keywords: Case-based reasoning, Integration, Open XML, Wikis

Wu He; Lida Xu

2011-07-01T23:59:59.000Z

152

Using Wiki in teacher education: Impact on knowledge management processes and student satisfaction  

Science Conference Proceedings (OSTI)

The current study reports on the use of Wiki as an online didactic tool to develop knowledge management (KM) processes in higher education. This study integrates social constructivist principles to learning where learners are pro-active and collaborative ... Keywords: Country-specific developments, Interactive learning environments, Pedagogical issues, Teaching/learning strategies

Michele Biasutti; Heba El-Deghaidy

2012-11-01T23:59:59.000Z

153

Declarative symbolic pure-logic model checking  

E-Print Network (OSTI)

Model checking, a technique for findings errors in systems, involves building a formal model that describes possible system behaviors and correctness conditions, and using a tool to search for model behaviors violating ...

Shlyakhter, Ilya, 1975-

2005-01-01T23:59:59.000Z

154

Network assisted file system consistency checking  

E-Print Network (OSTI)

This thesis reports on the design and implementation of Network Assisted NFSCK (or NAN), an extension to NFSCK, a research project about checking file system consistency at NetApp. NFSCK requires disk space to store temporary ...

Zehender, Nicholas (Nicholas G.)

2011-01-01T23:59:59.000Z

155

Smog Check II Evaluation California Inspection and  

E-Print Network (OSTI)

Smog Check II Evaluation Glossary . . . . . . . . . . . . California Inspection and Maintenance Review Committee #12;Contents Glossary of Acronyms ____________________________________________ 1 Glossary of Terms _______________________________________________ 3 #12;G-1 Glossary of Acronyms APCD Air

Denver, University of

156

Fair Model Checking of Abstractions (Extended Abstract)  

E-Print Network (OSTI)

. The abstract transitions (dashed and fat arrows) are explained further on. A transition system models of a model by ignoring certain static aspects. Such a reduction is usually necessary to render model checking

Dams, Dennis

157

Secretary Chu Visits Russian Seaport, Checks Out Second Line...  

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

Russian Seaport, Checks Out Second Line of Defense Nuclear Detection System Secretary Chu Visits Russian Seaport, Checks Out Second Line of Defense Nuclear Detection System June 7,...

158

Reality Check: Cheaper Batteries are GOOD for America's Electric...  

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

Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle Manufacturers Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle Manufacturers...

159

Fair SMG and Linear Time Model Checking  

E-Print Network (OSTI)

SMG is a system designed to generate a finite state model of a program from the program itself and an operational semantics for the programming language. This finite state model can then be model-checked to verify desired temporal properties of the original program. In this paper we first show how we have incorporated notions of fairness into SMG; in particular, a user is now able to define semantics with "fair" constructs, for example, parallel, repetitive choice, etc. The user can, indeed, mix different forms of fairness checking. Secondly we describe a practical approach to model checking of linear temporal formulae over the fair structures generated by SMG. Our approach is a refinement and extension of the fair-satisfiability algorithms, presented earlier by Lichtenstein and Pnueli, together with techniques developed in our practical implementations of decision procedures for linear temporal logic.

Howard Barringer; Michael D. Fisher; Graham D. Gough

1989-01-01T23:59:59.000Z

160

Fact Check: Steve Spinner | Department of Energy  

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

Fact Check: Steve Spinner Fact Check: Steve Spinner Fact Check: Steve Spinner September 29, 2011 - 5:12pm Addthis Some media outlets have asked us questions about the role that Steve Spinner played during his time at the Energy Department. He was an advisor on our Recovery Act team tasked with monitoring the progress of Recovery Act implementation, but had no role in making decisions on whether particular applications were approved. Here are some additional facts to help put this in context: Steve Spinner acted as a liaison between the Recovery Act Office and the Loan Programs Office. In that capacity, he played no role in the decision-making on or evaluation of individual loan applications or the awarding of any grants. Spinner started at the Department at the end of April 2009 - after

Note: This page contains sample records for the topic "mediawiki wiki check" 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

developer | OpenEI Community  

Open Energy Info (EERE)

developer developer Home Jweers's picture Submitted by Jweers(83) Contributor 7 August, 2013 - 18:23 New Robust References! citation citing developer formatting reference Semantic Mediawiki wiki Check out the new Reference Form. Adding a reference object to OpenEI using this form is the most complete way to cite a reference. After providing the name of your reference, the form will ask for your document type. Sfomail's picture Submitted by Sfomail(48) Member 17 May, 2013 - 11:14 Utility Rates API Version 2 is Live! API developer OpenEI update utility Utility Companies utility rate Utility Rates version 1 version 2 version 3 web service Smart meter After several months of development and testing, the next generation web service for the utility rate database is finally here! I encourage you to check out the V2 Utility Rates API

162

Category:Help | Open Energy Information  

Open Energy Info (EERE)

source source History View New Pages Recent Changes All Special Pages Semantic Search/Querying Get Involved Help Apps Datasets Community Login | Sign Up Search Category Edit History Facebook icon Twitter icon » Category:Help Jump to: navigation, search Your help is welcomed. Writers needed. Category:Help contains help pages that describe how to use MediaWiki. Only pages in "Help:" namespace should be in this category. Note that all pages in the Help: namespace are released into the public domain so that they can be easily imported into any MediaWiki instance regardless of the specific wiki's own license. See Project:PD Help if you want to help us. All English-language public-domain help pages should be categorized into Category:Help (using [[Category:Help]]), for documentation of the MediaWiki

163

ClimateCHECK | Open Energy Information  

Open Energy Info (EERE)

ClimateCHECK ClimateCHECK Jump to: navigation, search Name ClimateCHECK Address 136 Clarence Street Place Ottawa, Ontario Zip K1N 5P8 Sector Carbon, Efficiency, Services Product web software Year founded 2007 Number of employees 11-50 Phone number 6132418000 Website http://www.climate-check.com Coordinates 45.429905°, -75.6910613° 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":45.429905,"lon":-75.6910613,"alt":0,"address":"","icon":"","group":"","inlineLabel":"","visitedicon":""}]}

164

Optimizing Candidate Check Costs for Bitmap Indices  

SciTech Connect

In this paper, we propose a new strategy for optimizing the placement of bin boundaries to minimize the cost of query evaluation using bitmap indices with binning. For attributes with a large number of distinct values, often the most efficient index scheme is a bitmap index with binning. However, this type of index may not be able to fully resolve some user queries. To fully resolve these queries, one has to access parts of the original data to check whether certain candidate records actually satisfy the specified conditions. We call this procedure the candidate check, which usually dominates the total query processing time. Given a set of user queries, we seek to minimize the total time required to answer the queries by optimally placing the bin boundaries. We show that our dynamic programming based algorithm can efficiently determine the bin boundaries. We verify our analysis with some real user queries from the Sloan Digital Sky Survey. For queries that require significant amount of time to perform candidate check, using our optimal bin boundaries reduces the candidate check time by a factor of 2 and the total query processing time by 40 percent.

Rotem, Doron; Stockinger, Kurt; Wu, Kesheng

2005-07-10T23:59:59.000Z

165

Property:Equivalent URI | Open Energy Information  

Open Energy Info (EERE)

Equivalent URI Equivalent URI Jump to: navigation, search Equivalent URI is a special property in Semantic MediaWiki with a built-in meaning: it marks a page in the wiki as having a well-known meaning beyond this wiki, in an external URI. For example an extension to the Semantic MediaWiki extension might introduce its own property, and all wikis should use the same equivalent URI for it. In RDF Export the "Equivalent URI" special property exports as owl:sameAs. Pages using the property "Equivalent URI" This property is a special property in this wiki. Showing 25 pages using this property. (previous 25) (next 25) 2 2010 Carbon Sequestration Atlas of the United States and Canada: Third Edition + http://cleanenergysolutions.org/content/2010-carbon-sequestration-atlas-united-states-and-canada-third-edition +

166

Routine Form EIA-895 Edit Checks Each  

Gasoline and Diesel Fuel Update (EIA)

Routine Routine Form EIA-895 Edit Checks Each filing of the Form EIA-895 is manually checked for reasonableness and mathematical accuracy. Volumes are converted, as necessary, to a standard 14.73 psia pressure base. Value data are compared to the previous year's data for reasonableness. When data on nonhydrocarbon gases re- moved, gas vented and flared, and gas used for repressuring are not reported for a State that historically reported one or more of these items, a volume is imputed. The imputation is based on the average ratio of gas volumes in the missing category to total gross withdrawals in States with values reporting gas in that category. This average ratio is applied to the volume of total gross withdrawals reported by the State to calculate the volume for the missing items. State agencies are contacted by telephone in order to correct errors. Amended filings or resubmissions are not

167

Optimized synthesis of concurrently checked controllers  

SciTech Connect

Dedicated controllers (or FSM's) with concurrent checking capabilities are of prime importance in highly dependable applications. This paper presents a new method for introducing on-line test facilities in a controller with a very low overhead. This on-line test consists in detecting illegal paths in the control flow graph. These illegal paths may be due either to permanent faults or to transient errors. The state code flow is compacted through polynomial division. An implicit justifying signature method is applied at the state code level and ensures identical signatures before each join node of the control flow graph. The signatures are then independent of the path followed previously in the graph and the comparison to reference data is greatly facilitated. This property is obtained by a clever state assignment, nearly without area overhead. The controllers can then be checked by signature analysis, either by a built-in monitor or by an external checker.

Leveugle, R.; Saucier, G. (Institut National Polytechnique de Grenoble, CSI Lab., 38000 Grenoble (FR))

1990-04-01T23:59:59.000Z

168

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

169

Is it possible to check microcomponent coatings?  

Science Conference Proceedings (OSTI)

Optical microcomponents are increasingly used in laser optical systems because of their many and novel industrial applications. These components are coated in order to enhance their optical performance, but optical characterizations are very difficult due to the shapes and small size. Thus, to perform this kind of measurement, special devices are needed. It is difficult to check component optical responses after manufacturing. Thus a new method, developed by the French Atomic Energy and Alternative Energies Commission, is proposed to fill this gap.

Piombini, Herve; Voarino, Philippe; Lemarchand, Fabien

2011-03-20T23:59:59.000Z

170

Pre-resistance-welding resistance check  

DOE Patents (OSTI)

A preweld resistance check for resistance welding machines uses an open circuited measurement to determine the welding machine resistance, a closed circuit measurement to determine the parallel resistance of a workpiece set and the machine, and a calculation to determine the resistance of the workpiece set. Any variation in workpiece set or machine resistance is an indication that the weld may be different from a control weld.

Destefan, Dennis E. (Broomfield, CO); Stompro, David A. (Idaho Falls, ID)

1991-01-01T23:59:59.000Z

171

Pre-resistance-welding resistance check  

DOE Patents (OSTI)

A preweld resistance check for resistance welding machines uses an open circuited measurement to determine the welding machine resistance, a closed circuit measurement to determine the parallel resistance of a workpiece set and the machine, and a calculation to determine the resistance of the workpiece set. Any variation in workpiece set or machine resistance is an indication that the weld may be different from a control weld.

Destefan, D.E.; Stompro, D.A.

1989-06-08T23:59:59.000Z

172

2013-11-04: NIST Handbook 133 - Volumetric - Checking the ...  

Science Conference Proceedings (OSTI)

NIST Handbook 133 - Volumetric - Checking the Net Contents of Packaged Goods. Purpose: The focus of this training will ...

2013-10-23T23:59:59.000Z

173

Geothermal Regulatory Roadmap | OpenEI Community  

Open Energy Info (EERE)

Geothermal Regulatory Roadmap Geothermal Regulatory Roadmap Home > Features > Groups Content Group Activity By term Q & A Feeds Content type Blog entry Discussion Document Event Poll Question Keywords Author Apply Kyoung Geothermal NEPA Workshop at GRC Posted by: Kyoung 14 Oct 2013 - 20:19 On Tuesday, October 2, the Geothermal Technology Office and the National Renewable Energy Laboratory held a 1/2-day NEPA workshop. The workshop was held at the MGM Grand in Las Vegas, in conjunction... Tags: Categorical Exclusions, CX, Database, EA, EIS, FONSI, GEA, GRC, GRR, NEPA Jweers New Robust References! Posted by: Jweers 7 Aug 2013 - 18:23 Check out the new Reference Form. Adding... 1 comment(s) Tags: citation, citing, developer, formatting, reference, Semantic Mediawiki, wiki Graham7781

174

New Robust References! | OpenEI Community  

Open Energy Info (EERE)

New Robust References! New Robust References! Home > Groups > OpenEI Community Central Jweers's picture Submitted by Jweers(83) Contributor 7 August, 2013 - 18:23 citation citing developer formatting reference Semantic Mediawiki wiki Check out the new Reference Form. Adding a reference object to OpenEI using this form is the most complete way to cite a reference. After providing the name of your reference, the form will ask for your document type. Depending on what you choose, it will ask for the information necessary to build the proper MLA citation for the reference. This citation is then available semantically as a property of the reference and can be embedded in other pages! The Cite template was developed to help with this. You can site a reference by including {{Cite|Asimov's Story|I,_Robot}}, where I,_Robot

175

reference | OpenEI Community  

Open Energy Info (EERE)

98 98 Varnish cache server Home Groups Community Central Green Button Applications Developer Utility Rate FRED: FRee Energy Database More Public Groups Private Groups Features Groups Blog posts Content Stream Documents Discussions Polls Q & A Events Notices My stuff Energy blogs 429 Throttled (bot load) Error 429 Throttled (bot load) Throttled (bot load) Guru Meditation: XID: 2142235098 Varnish cache server reference Home Jweers's picture Submitted by Jweers(83) Contributor 7 August, 2013 - 18:23 New Robust References! citation citing developer formatting reference Semantic Mediawiki wiki Check out the new Reference Form. Adding a reference object to OpenEI using this form is the most complete way to cite a reference. After providing the name of your reference, the form will ask for your document

176

New Result Formats on OpenEI | OpenEI Community  

Open Energy Info (EERE)

New Result Formats on OpenEI New Result Formats on OpenEI Home > Groups > OpenEI Community Central Jweers's picture Submitted by Jweers(83) Contributor 25 March, 2013 - 12:22 developer mediawiki OpenEI Semantic Mediawiki wiki As a result of the recent upgrade, and some internal improvements, OpenEI now features a host of new result formats to enhance your wiki content. You can find a list of them right here: http://semantic-mediawiki.org/wiki/Result_formats I would like to call extra attention to two of these: Valuerank, which shows the number of things in a query (e.q. number of companies in a country) without the need for aggregating queries. (Once implemented, this will simplify LEDS maps and solve the latency issues we were seeing with activities/organizations per country). Listwidget, which builds a clean pagination mechanism for navigation

177

OpenEI:Projects/Images | Open Energy Information  

Open Energy Info (EERE)

Images Images Jump to: navigation, search This page is used to coordinate the OpenEI project's plans to collect energy-related images (that have appropriate licensing terms) in the OpenEI Wiki. Tasks Import appropriately-licensed energy images from external sources Use Wiki categories to organize images Reference images from appropriate OpenEI pages Develop one or more templates (and associated semantic properties?) for tracking image licensing, source, etc. Develop a mechanism (Widget?) to display attractive image galleries from OpenEI pages Develop a mechanism (MediaWiki Extension?) to attach default alt text content to a Wiki image Might be accomplished via MediaWiki's "ParserMakeImageParams" hook (in combination with a special semantic property that would be set on the

178

Engineering a controlled natural language into semantic mediawiki  

Science Conference Proceedings (OSTI)

The Semantic Web is yet to gain mainstream recognition. In part this is caused by the relative complexity of the various semantic web formalisms, which act as a major barrier of entry to naive web users. In addition, in order for the Semantic Web to ...

Pradeep Dantuluri; Brian Davis; Pierre Ludwick; Siegfried Handschuh

2010-09-01T23:59:59.000Z

179

Accelerating explicit state model checking on an FPGA: PHAST.  

E-Print Network (OSTI)

??Verification has become an increasingly important part of the hardware design process. One technique used to verify digital circuits is explicit state model checking. PHAST,… (more)

Tie, Mary Ellen

2012-01-01T23:59:59.000Z

180

An FPGA Implementation of Explicit-State Model Checking  

Science Conference Proceedings (OSTI)

We present PHAST, a pipelined hardware accelerated explicit-state model checker. The algorithms and methodologies used to perform the state checking in PHAST are based on the Murphi verifier, developed at Stanford University. Murphi has been used to ... Keywords: fpga, phast, murphi, formal verification, explicit-state, model checking, hash compaction

Mary Ellen Fuess; Miriam Leeser; Tim Leonard

2008-04-01T23:59:59.000Z

Note: This page contains sample records for the topic "mediawiki wiki check" 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

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

182

Model checking education for software engineers in Japan  

Science Conference Proceedings (OSTI)

This paper is the preliminary report of a joint research project on developing a body of knowledge on model checking. The project is being carried out by four organizations that give model checking courses to software engineers in Japan. The paper explains ... Keywords: body of knowledge, evaluation, training

Hideaki Nishihara; Koichi Shinozaki; Koji Hayamizu; Toshiaki Aoki; Kenji Taguchi; Fumihiro Kumeno

2009-06-01T23:59:59.000Z

183

An automated translator for model checking time constrained workflow systems  

Science Conference Proceedings (OSTI)

Workflows have proven to be a useful conceptualization for the automation of business processes. While formal verification methods (e.g., model checking) can help ensure the reliability of workflow systems, the industrial uptake of such methods has been ... Keywords: automated translation, distributed model checking, modeling, time, workflow systems

Ahmed Shah Mashiyat; Fazle Rabbi; Hao Wang; Wendy MacCaull

2010-09-01T23:59:59.000Z

184

MARCIE: model checking and reachability analysis done efficiently  

Science Conference Proceedings (OSTI)

MARCIE is a tool for the analysis of generalized stochastic Petri nets which can be augmented by rewards. The supported analysis methods range from qualitative and quantitative standard properties to model checking of established temporal logics. MARCIE's ... Keywords: generalized stochastic petri nets, model checking, simulation

Monika Heiner, Christian Rohr, Martin Schwarick

2013-06-01T23:59:59.000Z

185

Solving production scheduling problems using advanced model checking tools  

Science Conference Proceedings (OSTI)

The main scope of this paper is the implementation of a method for production scheduling, using advanced model checking tools. This method makes use of timed automata to model complex production scheduling problems such as the job-shop and the open-shop ... Keywords: distributed manufacturing, job-shops, model checking, production scheduling, timed automata

Dimitrios Panopoulos; Kostas Metaxiotis

2006-06-01T23:59:59.000Z

186

Computer Based Training: Check Valves 1.0  

Science Conference Proceedings (OSTI)

ETTM Check Valves is a computer based training module that allows users to access training when desired and review it at their own pace. It provides graphics and limited interactive features to enhance learning. The purpose of this module is to provide the user with a basis for selecting and sizing a check valve for nuclear station applications. While more than one valve type can be used for most applications, the intent is to point out the differences between check valve designs and to assist the user i...

2010-10-07T23:59:59.000Z

187

Help:Namespaces | Open Energy Information  

Open Energy Info (EERE)

Pages on a MediaWiki wiki are grouped into collections called "namespaces", Pages on a MediaWiki wiki are grouped into collections called "namespaces", which differentiate between the purpose of the pages at a high level. Pages in certain namespaces can also have special properties or behave differently when they interact with other pages. Namespaces are indicated in page titles by prefixing the page name with "namespace:", so the prefix "Help:" in this page's title ("Help:Namespaces") indicates that this page is in the Help namespace. Note, however, that colons and prefixes can also appear in page titles without indicating a namespace: The page Foo:Namespaces is a page located in the mainspace because the namespace "Foo" does not exist. Similarly the page Help:Foo:Namespaces is in the "Help" namespace.

188

New Energy Basics Site: Check It Out! | Department of Energy  

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

New Energy Basics Site: Check It Out! New Energy Basics Site: Check It Out! New Energy Basics Site: Check It Out! August 23, 2010 - 7:30am Addthis Allison Casey Senior Communicator, NREL Interested in energy efficiency and renewable energy but a little confused by all the terms? Wondering how the technologies actually work? Maybe you're doing some research or working on a paper and just need a little background info. EERE's new Energy Basics site is the place for you. There you can learn things like how a wind turbine works and all about the different types of fuel cells. If you just need a quick definition of a term you've heard, check out the glossary. Energy Basics is not meant to replace Energy Savers or any of the program sites throughout the Office of Energy Efficiency and Renewable Energy.

189

Checking violation tolerance of approaches to database integrity  

Science Conference Proceedings (OSTI)

A hitherto unquestioned assumption made by all methods for integrity checking has been that the database satisfies its constraints before each update. This consistency assumption has been exploited for improving the efficiency of determining whether ...

Hendrik Decker; Davide Martinenghi

2006-10-01T23:59:59.000Z

190

Towards constant bandwidth overhead integrity checking of untrusted data  

E-Print Network (OSTI)

We present a trace-hash scheme and an adaptive tree-trace scheme to improve the performance of checking the integrity of arbitrarily-large untrusted data, when using only a small fixed-sized trusted state. Currently, hash ...

Clarke, Dwaine E. (Dwaine Errol), 1976-

2005-01-01T23:59:59.000Z

191

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams  

Science Conference Proceedings (OSTI)

This paper presents an Interval Decision Diagram based approach to symbolic CSL model checking of Continuous Time Markov Chains which are derived from stochastic Petri nets. Matrix-vector and vector-matrix multiplication are the major tasks of exact ...

Martin Schwarick; Monika Heiner

2009-08-01T23:59:59.000Z

192

A static compliance-checking framework for business process models  

Science Conference Proceedings (OSTI)

Regulatory compliance of business operations is a critical problem for enterprises. As enterprises increasingly use business process management systems to automate their business processes, technologies to automatically check the compliance of process ...

Y. Liu; S. Müller; K. Xu

2007-04-01T23:59:59.000Z

193

Efficient probabilistic model checking of systems with ranged probabilities  

Science Conference Proceedings (OSTI)

We introduce a new technique to model check reachability properties on Interval Discrete-Time Markov Chains (IDTMC). We compute a sound over-approximation of the probabilities of satisfying a given property where the accuracy is characterized in terms ...

Khalil Ghorbal; Parasara Sridhar Duggirala; Vineet Kahlon; Franjo Ivan?i?; Aarti Gupta

2012-09-01T23:59:59.000Z

194

Property Checking Driven Abstract Interpretation-Based Static Analysis  

Science Conference Proceedings (OSTI)

Concrete semantics used for abstract interpretation analyses are generally expressed as fixpoints. Checking a property on this kind of semantics can be done by intersecting the fixpoint with a specification related to the property. In this paper, we ...

Damien Massé

2002-01-01T23:59:59.000Z

195

Checking in on Solar Decathlon 2011 | Department of Energy  

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

Checking in on Solar Decathlon 2011 Checking in on Solar Decathlon 2011 Checking in on Solar Decathlon 2011 May 4, 2010 - 11:37am Addthis Allison Casey Senior Communicator, NREL This past October, we wrote a lot about the U.S. Department of Energy Solar Decathlon. If you haven't heard of the Solar Decathlon, it's a competition held every two years that challenges 20 collegiate teams to design, build, and operate solar-powered houses that are cost-effective, energy-efficient, and attractive. The teams assemble their houses in a village on the National Mall, where they compete in ten contests and open their houses to the public for tours. The next Solar Decathlon will take place in fall 2011, and though it's not front-page news right now, preparations for the 2011 event are well under way. Both DOE and the teams are busily preparing for next year's event, and

196

IID Energy - Commercial Rebate Program (Commercial Check Me) | Department  

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

IID Energy - Commercial Rebate Program (Commercial Check Me) IID Energy - Commercial Rebate Program (Commercial Check Me) IID Energy - Commercial Rebate Program (Commercial Check Me) < Back Eligibility Commercial Savings Category Other Heating & Cooling Commercial Heating & Cooling Cooling Construction Commercial Weatherization Manufacturing Heat Pumps Appliances & Electronics Commercial Lighting Lighting Maximum Rebate General: $100,000 per customer per year; may not exceed 50% of the total installed cost of measures New Construction (Whole Building Approach - Owner): $150,000 per year New Construction (Whole Building Approach - Design Team): $30,000 per year New Construction (Systems Approach): $50,000 per year Program Info State California Program Type Utility Rebate Program Rebate Amount Programmable Thermostats: $50/unit

197

Checking in on Solar Decathlon 2011 | Department of Energy  

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

Checking in on Solar Decathlon 2011 Checking in on Solar Decathlon 2011 Checking in on Solar Decathlon 2011 May 4, 2010 - 11:37am Addthis Allison Casey Senior Communicator, NREL This past October, we wrote a lot about the U.S. Department of Energy Solar Decathlon. If you haven't heard of the Solar Decathlon, it's a competition held every two years that challenges 20 collegiate teams to design, build, and operate solar-powered houses that are cost-effective, energy-efficient, and attractive. The teams assemble their houses in a village on the National Mall, where they compete in ten contests and open their houses to the public for tours. The next Solar Decathlon will take place in fall 2011, and though it's not front-page news right now, preparations for the 2011 event are well under way. Both DOE and the teams are busily preparing for next year's event, and

198

Efforts by the nuclear industry to evaluate check valve failures  

SciTech Connect

Recent studies identified approximately 4000 check valve failures that occurred from 1984-1991. Of these, approximately 1600 were determined to be significant enough to require further analysis. This is to be compared with the existing check valve population of nearly 21,000 valves. The strategy proposed in this paper is to establish a refined, centralized check valve failure/reliability database based in part on existing Institute of Nuclear Power Operations (INPO) Nuclear Plant Reliability Data System (NPRDS) data. Ideally the database would be maintained in a central location, augmented with specific component information, overall reliability information, and updated at least biannually. The data would be available to sort and search as desired. The conceptual plan is provided and possible uses of the database are given.

Hart, K.; McElhaney, K.L.; Casada, D.A.

1994-12-31T23:59:59.000Z

199

Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle  

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

Reality Check: Cheaper Batteries are GOOD for America's Electric Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle Manufacturers Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle Manufacturers September 16, 2011 - 11:05am Addthis Dan Leistikow Dan Leistikow Former Director, Office of Public Affairs Today's New York Times includes a story about loans the Department of Energy has issued for electric vehicle manufacturing. The story says that the price of advanced batteries for electric vehicles is rapidly declining. That's true. And it's also very good news, since it makes America more competitive. The story goes on to say that this price decline could hurt the electric vehicle manufacturers that the Department has extended loans to. That is not true. In fact, it's just the opposite. Think about it - cheaper

200

Progress Energy Florida - Home Energy Check Audit and Rebate Program |  

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

You are here You are here Home » Progress Energy Florida - Home Energy Check Audit and Rebate Program Progress Energy Florida - Home Energy Check Audit and Rebate Program < Back Eligibility Multi-Family Residential Residential Savings Category Home Weatherization Commercial Weatherization Heating & Cooling Commercial Heating & Cooling Cooling Sealing Your Home Ventilation Heat Pumps Insulation Design & Remodeling Windows, Doors, & Skylights Maximum Rebate Duct Test: $$150 Duct Repair: $100 per unit Reflective Roof: $150 Wall Insulation: $300 Replacement Windows - $250 Window Films/Screens - $100 Program Info State Florida Program Type Utility Rebate Program Rebate Amount Heat Pump (Heat Pump Replacement): $100 - $150 Heat Pump (Strip Heat Replacement): $250 - $350

Note: This page contains sample records for the topic "mediawiki wiki check" 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

File:OperatingPermitCheckList.pdf | Open Energy Information  

Open Energy Info (EERE)

OperatingPermitCheckList.pdf OperatingPermitCheckList.pdf Jump to: navigation, search File File history File usage File:OperatingPermitCheckList.pdf Size of this preview: 463 × 599 pixels. Other resolution: 464 × 600 pixels. Full resolution ‎(1,275 × 1,650 pixels, file size: 28 KB, MIME type: application/pdf) File history Click on a date/time to view the file as it appeared at that time. Date/Time Thumbnail Dimensions User Comment current 13:27, 13 November 2012 Thumbnail for version as of 13:27, 13 November 2012 1,275 × 1,650 (28 KB) Dklein2012 (Talk | contribs) You cannot overwrite this file. Edit this file using an external application (See the setup instructions for more information) File usage There are no pages that link to this file. Retrieved from "http://en.openei.org/w/index.php?title=File:OperatingPermitCheckList.pdf&oldid=536405

202

It's Time for a National Energy Policy Reality Check  

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

Junc 21, 2001 Junc 21, 2001 It's Time for a National Energy Policy Reality Check A review of the current energy policy debate from a taxpayer and consumer perspective Contents Page Executive Summary ................................................................................................................... iii Introduction .................................................................................................................................. Purpose and Content of this Paper............................................................................................... Energy Policy Issues and the Outlook for Various Energy Sources ............................................ 1. The Demand for Price Controls ............................................................................................

203

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

204

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

205

Conformance checking of interacting processes with overlapping instances  

Science Conference Proceedings (OSTI)

The usefulness of process models (e.g., for analysis, improvement, or execution) strongly depends on their ability to describe reality. Conformance checking is a technique to validate how good a given process model describes recorded executions of the ... Keywords: artifacts, conformance, overlapping process instances, process models

Dirk Fahland; Massimiliano De Leoni; Boudewijn F. Van Dongen; Wil M. P. Van Der Aalst

2011-08-01T23:59:59.000Z

206

National propane safety week caps fifth anniversary of GAS Check  

SciTech Connect

This paper reports on National Propane Safety Week. The publicity encompassed everything from preventative maintenance to safe winter storage of cylinders. This campaign focused much of its attention on GAS (gas appliance system) Check, the propane industry's most well-known safety program.

Prowler, S.

1990-09-01T23:59:59.000Z

207

Applying High Performance Computing to Analyzing by Probabilistic Model Checking  

E-Print Network (OSTI)

Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular on the use of high performance computing in order to analyze with the proba- bilistic model checker PRISM. The Figure Generation Script 22 2 #12;1. Introduction We report in this paper on the use of high performance

Schneider, Carsten

208

Statistical model checking qos properties of systems with SBIP  

Science Conference Proceedings (OSTI)

BIP is a component-based framework supporting rigorous design of embedded systems. This paper presents SBIP, an extension of BIP that relies on a new stochastic semantics that enables verification of large-size systems by using Statistical Model Checking. ...

Saddek Bensalem; Marius Bozga; Benoit Delahaye; Cyrille Jegourel; Axel Legay; Ayoub Nouri

2012-10-01T23:59:59.000Z

209

Checking Access to Protected Members in the Java Virtual Machine  

E-Print Network (OSTI)

to a protected instance field declared in a superclass c of s, and that c and s belong to different packages package, declares a protected field with name n and descriptor d. This necessary condition can be checked resolution will be protected and declared in a superclass of s that belongs to a different package. Thus

Coglio, Alessandro

210

Model Checking Partial State Spaces with 3-Valued Temporal Logics  

Science Conference Proceedings (OSTI)

We address the problem of relating the result of model checking a partial state space of a system to the properties actually possessed by the system. We represent incomplete state spaces as partial Kripke structures, and give a 3-valued interpretation ...

Glenn Bruns; Patrice Godefroid

1999-07-01T23:59:59.000Z

211

Check for peroxides every 6 months. opened test 1 test 2 test 3  

E-Print Network (OSTI)

Check for peroxides every 6 months. opened test 1 test 2 test 3 date initials Check for peroxides every 6 months. opened test 1 test 2 test 3 date initials Check for peroxides every 6 months. Test strips can be obtained from EH&S, 5-8200 opened test 1 test 2 test 3 date initials Check for peroxides

Manning, Sturt

212

DOE G 430.1-1 Chp 13, Check Estimates and Independent Costs  

Directives, Delegations, and Requirements

This chapter describes check estimates and their procedures and various types of independent cost estimates.

1997-03-28T23:59:59.000Z

213

check list for those with one abnormal BeLPT  

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

CHECK LIST FOR THOSE WHO HAVE HAD, OR WHO IN THE FUTURE CHECK LIST FOR THOSE WHO HAVE HAD, OR WHO IN THE FUTURE HAVE, ONE ABNORMAL BeLPT _____ Fill out the EE-1 and EE-3 and include a copy of any abnormal BeLPT results that you have; review the EE-7 form. _____ Make a copy of the completed forms (one to keep for yourself). _____ Take the original copy of your forms (or mail them) to your nearest EEOICPA Resource Center. If you have already filed these forms, please do not fill them out again, just skip to the next item, below. _____ After you are accepted into the DOL program, choose a clinical center where you want to have your medical examinations. Circle the center you choose. _____ Call the clinical center where you want your medical examinations to be performed. ["I have an abnormal beryllium blood test and I need to get

214

ANALYSIS OF CHECK VALVE DISC MOTION DURING A FLOW TRANSIENT  

SciTech Connect

An analysis of the dynamics of a check valve disc under the influence of a flow transient is presented. The impact velocities of the disc and the pressure surge resulting from extinguishing a fluid velocity are predicted. This analysis develops the equations of motion of a simple swing disc check valve from Newton's Second Law. Modifications of the analysis necessary for application to other types of valves are described. The developed equations are progiammed for the Philco-2000 digital computer in FORTRAN as the SLAM Code. The Code input consists of the characteristics of the valve and the flow transient. The output of the code includes the dynamics of the valve disc as a function of time and the pressure surge induced by valve closure. (H.G.G.)

Fuls, G.M.

1962-12-01T23:59:59.000Z

215

Tools for Viewing and Quality Checking ARM Data  

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

Tools for Viewing and Quality Checking ARM Data Tools for Viewing and Quality Checking ARM Data S. Bottone and S. Moore Mission Research Corporation Santa Barbara, California Introduction Mission Research Corporation (MRC) is developing software tools to assist the Atmospheric Radiation Measurement (ARM) Data Quality Office with their data inspection tasks. One such tool is NCVweb, a web-based data analysis and visualization tool that allows for easy viewing of ARM NetCDF data files. This tool helps to eliminate the need of and problems associated with downloading large volumes of data, installing and configuring visualization software, or writing custom data exploration software. It has been upgraded this year with many new features described below. NCVweb can be used at the ARM Data Quality website directly via http://dq.arm.gov/ncvweb/ncvweb.cgi, or via the Data Quality

216

Checking Access to Protected Members in the Java Virtual Machine #  

E-Print Network (OSTI)

to a protected instance field declared in a superclass c of s, and that c and s belong to di#erent packages is protected and declared in a superclass of s that belongs to a di#erent package. The additional check that D for m to be protected and declared in a superclass of s that belongs to a di#erent package is that some

Coglio, Alessandro

217

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

218

Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study  

E-Print Network (OSTI)

Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this technical report, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative properties including performance and battery consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.

Yüksel, Ender; Nielson, Flemming; Zhu, Huibiao; Huang, Heqing

2012-01-01T23:59:59.000Z

219

Fight Fall Allergies and Save Energy by Checking Your HVAC System...  

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

Fight Fall Allergies and Save Energy by Checking Your HVAC System Fight Fall Allergies and Save Energy by Checking Your HVAC System October 15, 2012 - 3:19pm Addthis Change your...

220

Check out the latest pic of EERE's Solar. Read more athttp:...  

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

Check out the latest pic of EERE's Solar. Read more at http:1.usa.govaRHDwx cc @energy.gov Check out the latest pic of EERE's Solar. Read more at http:1.usa.govaRHDwx cc...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

The Energy Doctor Is In: Home Check-Ups to Save You Money | Department...  

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

Energy Doctor Is In: Home Check-Ups to Save You Money The Energy Doctor Is In: Home Check-Ups to Save You Money August 26, 2010 - 11:46am Addthis Andy Oare Andy Oare Former New...

222

Isomorph-free model enumeration: a new method for checking relational specifications  

Science Conference Proceedings (OSTI)

Software specifications often involve data structures with huge numbers of value, and consequently they cannot be checked using standard state exploration or model-checking techniques. Data structures can be expressed with binary relations, and operations ... Keywords: formal specification, model checking, model finding, object models, pruning, relational calculus, relational specifications, symmetry

Daniel Jackson; Somesh Jha; Craig A. Damon

1998-03-01T23:59:59.000Z

223

On application of multi-rooted binary decision diagrams to probabilistic model checking  

Science Conference Proceedings (OSTI)

In this paper we consider the applicability of multi-rooted binary decision diagrams for the probabilistic model checking. The symbolic probabilistic model checking involves manipulation of functions and matrices with the values in [0,1], and multi-terminal ... Keywords: binary decision diagrams, probabilistic model checking

Dmitry Bugaychenko

2012-01-01T23:59:59.000Z

224

Efficient Decompositional Model-Checking for Regular Timing Diagrams  

E-Print Network (OSTI)

There is a growing need to make verification tools easier to use. A solution that does not require redesigning the tool is to construct front-ends providing specification notations that are close to those used in practice. Timing diagrams are such a widely used graphical notation, one that is often more appealing than a "linear" textual notation. This paper introduces a class of timing diagrams called Regular Timing Diagrams (RTDs). RTDs have a precise syntax and a formal semantics that is simple and corresponds to common usage. In addition, RTDs have an inherent compositional structure, which is exploited to provide an efficient algorithm for model-checking an RTD with respect to a system description. The algorithm has time complexity that is a small polynomial in the size of the diagram and linear in the size of the structure. We demonstrate the applicability of our algorithms by verifying that a master-slave system satisfies its specification RTDs.

Nina Amla; E. Allen Emerson; Kedar S. Namjoshi

1999-01-01T23:59:59.000Z

225

Help:Templates | Open Energy Information  

Open Energy Info (EERE)

Templates Templates Jump to: navigation, search If you have standard texts you want to include on several pages, the MediaWiki template feature comes into play. Contents 1 Creation 2 Usage 2.1 Parameters 2.2 Control template inclusion 2.3 Organizing templates 3 Copying from one wiki to another 4 See also Creation Templates are standard wiki pages whose content is designed to be transcluded (embedded) inside other pages. Templates follow a convention that the name is prefixed with "Template:", assigning it to that namespace. Therefore you can create them like any other wiki page. Usage Templates are wiki pages which can be used in other pages in three ways: {{Name}} 'transcludes' (i.e. includes a copy of) the content of the template (stored in the page [[Template:Name]]) whenever the page

226

Coded modulation with Low Density Parity Check codes  

E-Print Network (OSTI)

This thesis proposes the design of Low Density Parity Check (LDPC) codes for cases where coded modulation is used. We design these codes by extending the idea of Density Evolution (DE) that has been introduced as a powerful tool to analyze LDPC codes. We first discuss methods by which we can design these codes for higher order constellations like 8 Phase Shift Keying (PSK) and 16 Quadrature Amplitude Modulation (QAM). We present simulation results that are within 0.22 dB and 0.4 dB within the constrained capacity of 8 PSK and 16 QAM constellations respectively in an Additive White Gaussian Noise (AWGN) channel. In the second part, we investigate serial concatenation of LDPC codes and minimum shift keying (MSK) with iterative decoding. We show that the design of LDPC codes is crucially dependent on the realization of the MSK modulator. For MSK modulators with non-recursive continuous phase encoders (CPEs), optimal codes for BPSK are optimal whereas for MSK modulators with recursive CPEs the BPSK codes are not optimal. We show that for non-recursive CPEs, iterative demodulation and decoding is not required even though the CPE has memory. However, iterative demodulation is essential for recursive CPEs. For recursive CPEs, we design LDPC codes using density evolution and differential evolution by looking at the graph structure of the CPE and considering message passing between both these codes. The resulting codes provide significantly improved performance over the existing codes.

Narayanaswami, Ravi

2001-01-01T23:59:59.000Z

227

V-172: ISC BIND RUNTIME_CHECK Error Lets Remote Users Deny Service Against Recursive Resolvers  

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

A defect exists which allows an attacker to crash a BIND 9 recursive resolver with a RUNTIME_CHECK error in resolver.c

228

11MEDICAL CHECK UP 11.1 Students' Annual Medical Examination  

E-Print Network (OSTI)

23 11.1 11.2 11MEDICAL CHECK UP 11.1 Students' Annual Medical Examination All students are required to take the annual medical examination which takes place in spring. Please make sure to check the home page or the bulletin board for the exact date and time. Medical examination is also held

229

Toyota IS Business Planning All about PlanDoCheckAct  

E-Print Network (OSTI)

Toyota IS Business Planning All about PlanDoCheckAct Xiang Tjoa, BSc BMI, 1202952 27 January 2008 Toyota Motor Europe Information Systems Division Business Planning Avenue: Dr. C. Verhoef Version 2.6 #12;Toyota IS Business Planning All about PlanDoCheckAct 2

Bhulai, Sandjai

230

Information Management, Analytics & Optimization Services IMS Security Health Check Service Offering  

E-Print Network (OSTI)

Offering The IMS Security Health Check is a special service offering from the IMS Laboratory TechnicalInformation Management, Analytics & Optimization Services IMS Security Health Check Service two to three weeks after the conclusion of the on-site visit. · Service from the IMS Laboratory

231

Information Management, Analytics & Optimization Services IMS System High Availability Health Check Service Offering  

E-Print Network (OSTI)

Information Management, Analytics & Optimization Services IMS System High Availability Health Check Service Offering The IMS System High Availability Health Check is a special service offering from the IMS Laboratory Technical Specialist Group will be happy to help. Visit our website at: ibm.com/software/data/services

232

Information Management, Analytics & Optimization Services IMS Application Health Check Service Offering  

E-Print Network (OSTI)

Offering The IMS Application Health Check is a special service offering from the IMS laboratory TechnicalInformation Management, Analytics & Optimization Services IMS Application Health Check Service, and possible enhancements to · Service from the IMS Laboratory Technical Specialist group · Get to know

233

Secretary Chu Checks In on Biomass Pilot-Scale Facility | Department of  

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

Chu Checks In on Biomass Pilot-Scale Facility Chu Checks In on Biomass Pilot-Scale Facility Secretary Chu Checks In on Biomass Pilot-Scale Facility November 22, 2011 - 10:03am Addthis Secretary Steven Chu visited Kapolei, Hawaii, to check on the process of an integrated biorefinery project awarded $25 million through the Recovery Act to construct the facility. | Image courtesy of the Energy Department. Secretary Steven Chu visited Kapolei, Hawaii, to check on the process of an integrated biorefinery project awarded $25 million through the Recovery Act to construct the facility. | Image courtesy of the Energy Department. Liz Moore Project Manager, Office of Energy Efficiency and Renewable Energy Each biorefinery would: produce as much as 50 million gallons of drop-in green transportation fuels per year

234

Help:Contents | Open Energy Information  

Open Energy Info (EERE)

Contents Contents Jump to: navigation, search Open Energy Info is an open, collaborative platform based on the same MediaWiki software that drives the world's largest online reference, Wikipedia. To learn more about wikis and to get started contributing, use these helpful links. You can start with our useful video tutorials. Also, checkout our Quickstart Guide. Tutorials Getting Started Registration References Quotations The Reference Tag Uploading Images More... Reading Navigation Searching Tracking changes Watchlist Creating Creating a page Everything you need for starting a new page Editing Editing pages Upload file Formatting Links User pages Talk pages Signatures Deleting pages Advanced editing Images & Files Tables Math (Equations) Citations, References, and the tag

235

Design and Testing of Vacuum Breaker Check Valve for Simplified Boiling Water Reactor  

Science Conference Proceedings (OSTI)

A new design of the vacuum breaker check valve was developed to replace the mechanical valve in a simplified boiling water reactor. Scaling and design calculations were performed to obtain the geometry of new passive hydraulic vacuum breaker check valve. In order to check the valve performance, a RELAP5 model of the simplified boiling water reactor system with the new valve was developed. The valve was implemented in an integral facility, PUMA and was tested for large break loss of coolant accident. (authors)

Ishii, M.; Xu, Y.; Revankar, S.T. [Purdue University, West Lafayette, IN 47907 (United States)

2002-07-01T23:59:59.000Z

236

Help:Assigning permissions | Open Energy Information  

Open Energy Info (EERE)

Assigning permissions Assigning permissions Jump to: navigation, search "Assigning permissions" means granting users extra rights within the wiki software (or revoking these rights). This is done by going to the Special:UserRights page, and adding users into a "group" which has specific rights. The first thing to note however, is that this action requires special permissions itself! Tools.png Tip for wiki admins: See Manual:User rights and Manual:User rights management for information on fine grained permissions tweaks, and how to define new groups, or adjust existing groups to give different rights. Note that this help page describes the default MediaWiki configuration, but every aspect of permissions is highly customisable with server config settings. You may wish to rewrite this help page to reflect your wiki configuration

237

Help:Links | Open Energy Information  

Open Energy Info (EERE)

Links Links Jump to: navigation, search There are four sorts of links in MediaWiki: internal links to other pages in the wiki external links to other websites interwiki links to other websites registered to the wiki in advance Interlanguage links to other websites registered as other language versions of the wiki Contents 1 Internal links 2 External links 2.1 How to avoid auto-links 3 Interwiki links 3.1 Interlanguage links 4 See also Internal links To add an internal link, enclose the name of the page you want to link to in double square brackets. When you save the page, you'll see the new link pointing to your page. If the page exists already it is displayed in blue, if it does not, in red. Selflinks to the current page are not transformed in URLs but displayed in bold. (If you really want to link to the current

238

V-156: Linux Kernel Array Bounds Checking Flaw Lets Local Users Gain  

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

6: Linux Kernel Array Bounds Checking Flaw Lets Local Users 6: Linux Kernel Array Bounds Checking Flaw Lets Local Users Gain Elevated Privileges V-156: Linux Kernel Array Bounds Checking Flaw Lets Local Users Gain Elevated Privileges May 15, 2013 - 12:19am Addthis PROBLEM: Linux Kernel Array Bounds Checking Flaw Lets Local Users Gain Elevated Privileges PLATFORM: Version(s): 2.6.37 to 3.8.9 ABSTRACT: A vulnerability was reported in the Linux Kernel. REFERENCE LINKS: Linux Kernel SecurityTracker Alert ID: 1028565 CVE-2013-2094 IMPACT ASSESSMENT: Medium DISCUSSION: On systems compiled with PERF_EVENTS support, a local user can supply a specially crafted perf_event_open() call to execute arbitrary code on the target system with root privileges. The vulnerability resides in the perf_swevent_init() function in 'kernel/events/core.c'.

239

Check Out the New Alternative Fuel Station Locator | Department of Energy  

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

Check Out the New Alternative Fuel Station Locator Check Out the New Alternative Fuel Station Locator Check Out the New Alternative Fuel Station Locator November 19, 2012 - 2:29pm Addthis Find Stations Plan a Route Location: Go Start: End: Go Fuel: All Fuels Biodiesel (B20 and above) Compressed Natural Gas Electric Ethanol (E85) Hydrogen Liquefied Natural Gas (LNG) Liquefied Petroleum Gas (Propane) more search options close × More Search Options Include private stations Include planned stations Owner All Private Federal State Local Utility Payment All American Express Discover MasterCard VISA Cash Checks CFN Clean Energy Fuel Man Gas Card PHH Services Voyager WEX Electric charger types Include level 1 Include level 2 Include DC fast Include legacy chargers Limit results to within 5 miles Limit results to within 5 miles

240

Checking system rules using system-specific, programmer-written compiler extensions  

Science Conference Proceedings (OSTI)

Systems software such as OS kernels, embedded systems, and libraries must obey many rules for both correctness and performance. Common examples include "accesses to variable A must be guarded by lock B," "system calls must check user pointers for validity ...

Dawson Engler; Benjamin Chelf; Andy Chou; Seth Hallem

2000-10-01T23:59:59.000Z

Note: This page contains sample records for the topic "mediawiki wiki check" 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

An automata-theoretic approach for model-checking systems with unspecified components  

Science Conference Proceedings (OSTI)

This paper introduces a new approach for the verification of systems with unspecified components. In our approach, some model-checking problems concerning a component-based system are first reduced to the emptiness problem of an oracle finite automaton, ...

Gaoyan Xie; Zhe Dang

2004-09-01T23:59:59.000Z

242

Using Sun Glint to Check the Relative Calibration of Reflected Spectral Radiances  

Science Conference Proceedings (OSTI)

Observations of sunlight reflected from regions of sun glint are used to check the relative calibration of spectral radiances obtained with imaging radiometers. Reflectances at different wavelengths for sun-glint regions are linearly related. ...

Gunnar Luderer; James A. Coakley Jr.; William R. Tahnk

2005-10-01T23:59:59.000Z

243

Checking in on Our Council on Women and Girls' Mentoring Program |  

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

Checking in on Our Council on Women and Girls' Mentoring Program Checking in on Our Council on Women and Girls' Mentoring Program Checking in on Our Council on Women and Girls' Mentoring Program July 26, 2011 - 12:04pm Addthis At the end of March we announced the start of a new mentoring program through our Council on Women and Girls, which matches up female undergraduate students in the DC area with women employees in science, engineering, technology, and mathematics (STEM) areas of work. (Check out the blog post here). This week, our mentoring program leaders in our Office of Human Capitol held a mentoring forum for our new mentoring program, featuring a mentoring action plan workshop, networking, and an evaluation of how the program is going so far. While we just announced this new program four months ago, we now have 27 pairs of mentors and mentees who are actively working together

244

Welcome to SSRL: User Check-In Procedures | Stanford Synchrotron Radiation  

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

SSRL: User Check-In Procedures SSRL: User Check-In Procedures Note: SLAC will be closed for the holidays from December 21-January 5. SLAC has installed RFID proximity card readers which facilitate 24/7 access during normal operations - at the main entrance off Sand Hill Road, at the Alpine Road Gate, and at Security Gates 17 and Sector 30. Register and complete safety training before arrival. Scheduled users will obtain a SLAC ID badge with 30-90 days proximity access after completing training and check-in at the URA office in Building 120. If you have a proximity ID badge, contact URA to re-activate your proximity access before subsequent scheduled user experiments. If you do not yet have a proximity activated ID badge, enter SLAC from Sand Hill Road, turn right at the main entrance and visit the Security Office.

245

Energy Savings Tips on the Go: Check Out the New Energy Savers Mobile Site  

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

Savings Tips on the Go: Check Out the New Energy Savers Savings Tips on the Go: Check Out the New Energy Savers Mobile Site Energy Savings Tips on the Go: Check Out the New Energy Savers Mobile Site March 16, 2012 - 12:46pm Addthis Chris Stewart Senior Communicator at DOE's National Renewable Energy Laboratory For years, many of you have found energy-saving tips about how to save money and energy at home, in your vehicle, and at work on our EnergySavers desktop site. This month, we launched a new Energy Savers mobile website-which provides homeowners these with tips conveniently through your mobile device. Whether you're on the road, at the store, or talking with your home improvement contractor, you can find ways to make your home more comfortable and easier to heat and cool - and save money at the same time.

246

Fight Fall Allergies and Save Energy by Checking Your HVAC System |  

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

Fight Fall Allergies and Save Energy by Checking Your HVAC System Fight Fall Allergies and Save Energy by Checking Your HVAC System Fight Fall Allergies and Save Energy by Checking Your HVAC System October 15, 2012 - 3:19pm Addthis Change your furnace filter to help keep allergies at bay and keep your furnace and air conditioner running efficiently. | Photo courtesy of ©iStockphoto.com/JaniceRichard. Change your furnace filter to help keep allergies at bay and keep your furnace and air conditioner running efficiently. | Photo courtesy of ©iStockphoto.com/JaniceRichard. Elizabeth Spencer Communicator, National Renewable Energy Laboratory What does this mean for me? Change your furnace filters every month or two to keep your HVAC equipment operating efficiently. I have unbelievably horrible fall allergies. I've never figured out what

247

"I'd Like to Check Out Two Books, One DVD, and One Electrical Meter,  

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

"I'd Like to Check Out Two Books, One DVD, and One Electrical "I'd Like to Check Out Two Books, One DVD, and One Electrical Meter, Please." "I'd Like to Check Out Two Books, One DVD, and One Electrical Meter, Please." December 8, 2009 - 10:01am Addthis John Lippert Yesterday I wrote about my experience using a digital electrical meter at home. Today I'll discuss what I'm doing with promoting their use in my home town. According to one popular environmental Web site, there are a number of libraries providing free loan of these or similar devices, including: The Ottawa Public Library in Ottawa, Canada; the Brown County Library in Green Bay, Wisconsin; the Westport, Connecticut Public Library; hundreds of public libraries in Maine; and libraries in Gothenburg, Sweden. That sounded like a great idea, so I visited my local library to explore

248

Library Patrons in New York Check-Out Renewable Energy | Department of  

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

Library Patrons in New York Check-Out Renewable Energy Library Patrons in New York Check-Out Renewable Energy Library Patrons in New York Check-Out Renewable Energy December 27, 2011 - 12:52pm Addthis The public library in Esopus, New York, used Recovery Act funds to install two photovoltaic arrays expected to generate 31,200 kWh of electricity annually -- approximately 30 percent of the library’s electricity use and a savings of nearly $4,000 in energy costs each year. | Photo courtesy of New York State Energy Research and Development Authority (NYSERDA). The public library in Esopus, New York, used Recovery Act funds to install two photovoltaic arrays expected to generate 31,200 kWh of electricity annually -- approximately 30 percent of the library's electricity use and a savings of nearly $4,000 in energy costs each year. | Photo courtesy of

249

Secretary Chu Visits Russian Seaport, Checks Out Second Line of Defense  

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

Russian Seaport, Checks Out Second Line of Russian Seaport, Checks Out Second Line of Defense Nuclear Detection System Secretary Chu Visits Russian Seaport, Checks Out Second Line of Defense Nuclear Detection System June 7, 2011 - 8:59am Addthis John Gerrard What does this mean for me? The Second Line of Defense program cracks down on nuclear smuggling by installing radiation detection equipment at ports, border crossings and airports around the world. We've all seen the movies where errant nuclear material makes its way into the hands of terrorists, who then plan an attack on U.S. soil. It's pretty safe to say that this is a scenario no one wants to see play out in real life. In fact, in his first foreign policy speech, President Obama called it the "most immediate and extreme threat to global security."

250

CheckMATE: Confronting your Favourite New Physics Model with LHC Data  

E-Print Network (OSTI)

In the first three years of running, the LHC has delivered a wealth of new data that is now being analysed. With over 20 fb$^{-1}$ of integrated luminosity, both ATLAS and CMS have performed many searches for new physics that theorists are eager to test their model against. However, tuning the detector simulations, understanding the particular analysis details and interpreting the results can be a tedious task. CheckMATE (Check Models At Terascale Energies) is a program package which accepts simulated event files in many formats for any model. The program then determines whether the model is excluded or not at 95% C.L. by comparing to many recent experimental analyses. Furthermore the program can calculate confidence limits and provide detailed information about signal regions of interest. It is simple to use and the program structure allows for easy extensions to upcoming LHC results in the future. CheckMATE can be found at: http://checkmate.hepforge.org

Drees, Manuel; Kim, Jong Soo; Schmeier, Daniel; Tattersall, Jamie

2013-01-01T23:59:59.000Z

251

Compreshensive industry poll sparks ideas on new push for GAS check  

SciTech Connect

This paper provides a comprehensive survey of active participants, inactive participants, and non-participants in the GAS Check program which served as the focus of considerable discussion at a recent GAS Check Committee meeting in Oak Brook, Ill. In an effort to encourage greater involvement in the program by marketers and consumers alike, committee members voted to undertake a number of important activities now and in the near future. These actions include: Contacting homeowners' insurance companies (through their national association, if applicable) regarding possible discounts or other incentives that would encourage policyholders to participate in GAS Check. NPGA's desire to obtain insurance company endorsement arose from the finding that many homeowners are simply not interested in the program.

1991-02-01T23:59:59.000Z

252

The Energy Doctor Is In: Home Check-Ups to Save You Money | Department of  

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

The Energy Doctor Is In: Home Check-Ups to Save You Money The Energy Doctor Is In: Home Check-Ups to Save You Money The Energy Doctor Is In: Home Check-Ups to Save You Money August 26, 2010 - 11:46am Addthis Andy Oare Andy Oare Former New Media Strategist, Office of Public Affairs What does this mean for me? Home energy assessments can help you take steps to drastically reduce your energy bills. Given all of the buzz around weatherization lately, and with temperatures getting ready to drop in the next month or so (hopefully), it's a worthwhile time to quickly talk about one of the most important initial steps to making your home more energy-efficient: getting a home energy assessment. A home energy assessment, also known as a home energy audit, is the first step to assess how much energy your home consumes and to evaluate what

253

WikiDo  

E-Print Network (OSTI)

The Internet has allowed collaboration on an unprecedented scale. Wikipedia, Luis Von Ahn’s ESP game, and reCAPTCHA have proven that tasks typically performed by expensive in-house or outsourced teams can instead be delegated ...

Kushman, Nathaniel A.

254

Check Point  

E-Print Network (OSTI)

Protocol Support for High Availability of IKEv2/IPsec The IPsec protocol suite is widely used for business-critical network traffic. In order to make IPsec deployments highly available, more scalable, and failure-resistant, they are often implemented as IPsec High Availability (HA) clusters. However, there are many issues in IPsec HA clustering, and in particular in Internet Key Exchange Protocol version 2 (IKEv2) clustering. An earlier document, "IPsec Cluster Problem Statement", enumerates the issues encountered in the IKEv2/IPsec HA cluster environment. This document resolves these issues with the least possible change to the protocol. This document defines an extension to the IKEv2 protocol to solve the main issues of "IPsec Cluster Problem Statement " in the commonly deployed hot standby cluster, and provides implementation advice for other issues. The main issues solved are the synchronization of IKEv2 Message ID counters, and of IPsec replay counters. Status of This Memo This is an Internet Standards Track document. This document is a product of the Internet Engineering Task Force (IETF). It represents the consensus of the IETF community. It has received public review and has been approved for publication by the

R. Singh; G. Kalyani; Y. Nir; Y. Sheffer; D. Zhang

2011-01-01T23:59:59.000Z

255

T-690: Check Point Endpoint Security On-Demand Client Lets Remote Users  

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

0: Check Point Endpoint Security On-Demand Client Lets Remote 0: Check Point Endpoint Security On-Demand Client Lets Remote Users Execute Arbitrary Code T-690: Check Point Endpoint Security On-Demand Client Lets Remote Users Execute Arbitrary Code August 10, 2011 - 8:45am Addthis PROBLEM: Due to quality issues within the software, an attacker is able to access insecure methods from the "trustworthy" Java applet or ActiveX control and exploit those features to compromise all client systems that trust the correctly signed Java applet or ActiveX control (e.g. all users that need to use this software for accessing internal systems over company VPN). PLATFORM: Multiple products:- R65.70 - R70.40 - R71.30 - R75 - Connectra R66.1 - Connectra R66.1n - VSX R65.20 - VSX R67 ABSTRACT: Check Point Endpoint Security On-Demand Client Lets Remote Users Execute

256

Using model checking to analyze the system behavior of the LHC production grid  

Science Conference Proceedings (OSTI)

DIRAC (Distributed Infrastructure with Remote Agent Control) is the grid solution designed to support production activities as well as user data analysis for the Large Hadron Collider ''beauty'' experiment. It consists of cooperating distributed services ... Keywords: Distributed system, Grid, LHC, Model checking, Process algebra, Workflow

Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Jeff Templon, Henri Bal

2013-10-01T23:59:59.000Z

257

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.

258

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

259

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

260

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

Note: This page contains sample records for the topic "mediawiki wiki check" 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

welcome to university residences Boiler Gold Rush Check-In...........................Saturday, August 13 and  

E-Print Network (OSTI)

welcome to university residences #12;Boiler Gold Rush Check-In...........................Saturday, August 13 and Sunday, August 14, 2011 Boiler Gold Rush residence hall systems in the United States. weLcomE! 1 #12;Boiler GoLD Rush ParticiPants Your regular

Fernández-Juricic, Esteban

262

Distributed data possession checking for securing multiple replicas in geographically-dispersed clouds  

Science Conference Proceedings (OSTI)

Distributing multiple replicas in geographically-dispersed clouds is a popular approach to reduce latency to users. It is important to ensure that each replica should have availability and data integrity features; that is, the same as the original data ... Keywords: Cloud computing, Complete bidirectional directed graph, Data security, Multiple replicas data possession checking, Optimal spanning tree

Jing He; Yanchun Zhang; Guangyan Huang; Yong Shi; Jie Cao

2012-09-01T23:59:59.000Z

263

How the design of JML accommodates both runtime assertion checking and formal verification  

Science Conference Proceedings (OSTI)

Specifications that are used in detailed design and in the documentation of existing code are primarily written and read by programmers. However, most formal specification languages either make heavy use of symbolic mathematical operators, which discourages ... Keywords: JML language, formal methods, java language, program verification, programming by contract, runtime assertion checking, specification languages

Gary T. Leavens; Yoonsik Cheon; Curtis Clifton; Clyde Ruby; David R. Cok

2005-03-01T23:59:59.000Z

264

Embedding conformance checking in a process intelligence system in hospital environments  

Science Conference Proceedings (OSTI)

Process intelligence is an effective means to analyze and improve business processes in companies with high degree of automation. Hospitals are also facing high pressure to be profitable with ever decreasing available funds in a stressed healthcare sector, ... Keywords: conformance checking, process modeling in healthcare, visualization and monitoring healthcare processes

Kathrin Kirchner; Nico Herzberg; Andreas Rogge-Solti; Mathias Weske

2012-09-01T23:59:59.000Z

265

A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems  

Science Conference Proceedings (OSTI)

We have developed a new approximate probabilistic model-checking method for untimed properties in probabilistic systems, expressed in a probabilistic temporal logic (PCTL, CSL). This method, in contrast to the existing ones, does not require the ... Keywords: CSL, CTMC, DTMC, PCTL

Paul Jennings; Arka P. Ghosh; Samik Basu

2012-06-01T23:59:59.000Z

266

Original paper: An integrated model for simulation of border-check irrigated dairy pasture production systems  

Science Conference Proceedings (OSTI)

Border-check irrigation is the predominant method of applying water to dairy pastures in Australia. Dairy pastures consume 40% of total irrigation water in Australia and, with irrigation water security in Australia under threat from climate variability/change ... Keywords: Dairy pasture systems, Integrated modeling tools, Surface irrigation hydraulics

P. Douglas; K. B. Dassanayake; D. F. Chapman; I. R. Johnson; M. Khanna; H. Malano

2010-10-01T23:59:59.000Z

267

Vol. 4, No. 8, 2005 Checking Access to Protected Members in  

E-Print Network (OSTI)

) ensures that a protected member m declared in c is accessible, outside the package p of c, only (on to a protected member m declared in a class c CL that belongs to a package different from s and such that c > s is protected and declared in a superclass of s that belongs to a different package. The additional check

Coglio, Alessandro

268

USING BOX-JENKINS MODELS TO FORECAST FISHERY DYNAMICS: IDENTIFICATION, ESTIMATION, AND CHECKING  

E-Print Network (OSTI)

USING BOX-JENKINS MODELS TO FORECAST FISHERY DYNAMICS: IDENTIFICATION, ESTIMATION, AND CHECKING Roy MENDELSSOHN! ABSTRACT Box·Jenkins models are suggested as appropriate models for forecasting fishery dynamics in Hawaii. An actual 12-month forecast is shown to give a reasonable fit to the observed data. Most

269

Remote performance check and automated failure identification for grid-connected PV systems  

E-Print Network (OSTI)

energy yield against an expected, simulated value. A PV simulation model, which employs inexpensiveRemote performance check and automated failure identification for grid-connected PV systems reliable operation of small systems up to 5 kWp. The detection and identification of a failure is strongly

Heinemann, Detlev

270

Taking our own medicine: applying the refinement calculus to state-rich refinement model checking  

Science Conference Proceedings (OSTI)

In this paper, we advocate the use of formal specification and verification in software development for high-integrity and safety-critical systems, where mechanical proof plays a central role. In particular, we emphasise the crucial importance of applying ... Keywords: formal verification, model checking, theorem proving

Leo Freitas; Ana Cavalcanti; Jim Woodcock

2006-11-01T23:59:59.000Z

271

LAPTOP COMPUTER CHECKOUT POLICY There are two laptop computers that can be checked out by faculty who need them for  

E-Print Network (OSTI)

LAPTOP COMPUTER CHECKOUT POLICY There are two laptop computers that can be checked out by faculty policy which was adopted by College Council: (1) The pool laptop computers can be checked out for no more than 2 weeks at a time. (2) Reservation requests for portable computers should be submitted at least 1

Selmic, Sandra

272

Help:Navigation | Open Energy Information  

Open Energy Info (EERE)

Navigation Navigation Jump to: navigation, search When viewing any page on a MediaWiki wiki, you'll find three main navigation elements: The sidebar on the left gives you access to important pages in the wiki such as Recent changes or Upload file. At the top of the page are links (often called tabs) which relate to the page currently displayed: its associated discussion page, the version history, and-most notably-the edit link. In the top right corner you'll find user links; as an anonymous user, you'll see a link to create an account or log in (they are the same page). As a logged-in user you have a collection of personal links, including ones to your user page and preferences. Contents 1 Sidebar 1.1 Navigation 1.2 Toolbox 2 Page Tabs 3 User Links Sidebar File:M-en-sidebar.png

273

Category:Widgets | Open Energy Information  

Open Energy Info (EERE)

source source History View New Pages Recent Changes All Special Pages Semantic Search/Querying Get Involved Help Apps Datasets Community Login | Sign Up Search Category Edit History Facebook icon Twitter icon » Category:Widgets (Redirected from Widgets) Jump to: navigation, search Widgets are special pages which allow for the inclusion of raw HTML and JavaScript which would normally be blocked by the Wiki. Only Wiki administrators can create and update Widget pages. External links http://www.mediawiki.org/wiki/Extension:Widgets Pages in category "Widgets" The following 85 pages are in this category, out of 85 total. 5 Widget:5SecondSurveyRedirect A Widget:AddToAny Widget:ALPGallery Widget:AnalyticsSummary Widget:AnalyticsVisitByLatLon Widget:AnchorButton Widget:AnchorIcon

274

Category:Widgets | Open Energy Information  

Open Energy Info (EERE)

source source History View New Pages Recent Changes All Special Pages Semantic Search/Querying Get Involved Help Apps Datasets Community Login | Sign Up Search Category Edit History Facebook icon Twitter icon » Category:Widgets Jump to: navigation, search Widgets are special pages which allow for the inclusion of raw HTML and JavaScript which would normally be blocked by the Wiki. Only Wiki administrators can create and update Widget pages. External links http://www.mediawiki.org/wiki/Extension:Widgets Pages in category "Widgets" The following 85 pages are in this category, out of 85 total. 5 Widget:5SecondSurveyRedirect A Widget:AddToAny Widget:ALPGallery Widget:AnalyticsSummary Widget:AnalyticsVisitByLatLon Widget:AnchorButton Widget:AnchorIcon Widget:AnchorText C Widget:CetsiSearchHelper

275

Pseudo-random construction and reduced complexity decoding for low density parity check codes  

E-Print Network (OSTI)

The bipartite graph of an LDPC code is typically constructed at random. The memory required to store the randomly constructed parity-check matrix at the decoder can be prohibitive in some applications. When a system has a set of different LDPC codes, each of the parity-check matrices need to be stored in the receiver. Another disadvantage of random constructions methods is that it results in prominent error floors. In this thesis, a novel technique is presented for constructing the bipartite graph of LDPC codes using maximum length linear congruential sequences generated by a simple recursion instead of random construction techniques. For this class of codes it is proved that regular LDPC codes can be constructed without any cycles of length shorter than 6. Simulation results show that these codes provide almost the same performance of a constrained random construction that explicitly avoids cycles of length less than 6. These codes show a better or comparable performance with LDPC codes based on finite geometries. These codes are easily constructed for low rates and require longer lengths for higher rates. A constrained construction technique for constructing irregular LDPC codes is studied and its performance compared with randomly constructed codes. In the second part of the thesis the message passing LDPC decoder is altered for reduced complexity. Updations of log-likelihood values(LLR) at bit nodes are stopped once they reach a threshold of reliability. The effect of threshold on complexity reduction and performance degradation is studied. It is found that the complexity is far less when compared to systems that do not have a mechanism to stop the iterations. When compared with systems that employ cyclic redundancy check or parity checks to stop the iterations, this scheme results in only a small reduction of 20 to 35 percent in complexity at the cost of a small performance degradation.

Prabhakar, Abhiram

2001-01-01T23:59:59.000Z

276

End of Summer Check Up: How Did You Do? | Department of Energy  

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

End of Summer Check Up: How Did You Do? End of Summer Check Up: How Did You Do? End of Summer Check Up: How Did You Do? September 1, 2009 - 11:53am Addthis Well, the end of summer is in sight. Labor Day is on the horizon, kids are getting ready to go back to school... and the summer energy efficiency tips we've given you are about to be retired for the year. Not all of them, but some apply only to the warm weather months, and so they'll get a rest while we retool for winter. We're going to switch back to Stay Warm, Save Money (our "winter clothes" as it were), to help you get ready to save money during the cold months. But before we go... let's level with each other for a second. It's okay, it's just you and me. Did you get started on making your home energy efficient this summer? Did you buy the stuff you needed, get started... and

277

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

278

Pilgrim Hot Springs Project - PHASE 1 | Open Energy Information  

Open Energy Info (EERE)

2012 DOI Not Provided Check for DOI availability: http:crossref.org Online Internet link for Pilgrim Hot Springs Project - PHASE 1 Citation Alaska Energy Wiki. Pilgrim...

279

An Adaptive Entanglement Distillation Scheme Using Quantum Low Density Parity Check Codes  

E-Print Network (OSTI)

Quantum low density parity check (QLDPC) codes are useful primitives for quantum information processing because they can be encoded and decoded efficiently. Besides, the error correcting capability of a few QLDPC codes exceeds the quantum Gilbert-Varshamov bound. Here, we report a numerical performance analysis of an adaptive entanglement distillation scheme using QLDPC codes. In particular, we find that the expected yield of our adaptive distillation scheme to combat depolarization errors exceed that of Leung and Shor whenever the error probability is less than about 0.07 or greater than about 0.28. This finding illustrates the effectiveness of using QLDPC codes in entanglement distillation.

K. H. Ho; H. F. Chau

2008-07-14T23:59:59.000Z

280

Heart Health Evaluation The following questions are about today's program. Place a check (T) in front of the answer.  

E-Print Network (OSTI)

EAT SMART Heart Health Evaluation The following questions are about today's program. Place a check not planning to use the information in this program. # I have heart disease or high blood pressure. YES

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Cross-check of ex-situ and in-situ metrology of a bendable temperature stabilized KB mirror  

Science Conference Proceedings (OSTI)

At the Advanced Light Source (ALS), we are developing broadly applicable, high-accuracy, in-situ, at-wavelength wavefront slope measurement techniques for Kirkpatrick-Baez (KB) mirror nano-focusing. In this paper, we report an initial cross-check of ex-situ and in-situ metrology of a bendable temperature stabilized KB mirror. This cross-check provides a validation of the in-situ shearing interferometry currently under development at the ALS.

Yuan, Sheng Sam; Goldberg, Kenneth A.; Yashchuk, Valeriy V.; Celestre, Richard; McKinney, Wayne R.; Morrison, Gregory; Macdougall, James; Mochi, Iacopo; Warwick, Tony

2010-09-15T23:59:59.000Z

282

Family of Finite Geometry Low-Density Parity-Check Codes for Quantum Key Expansion  

E-Print Network (OSTI)

We consider a quantum key expansion (QKE) protocol based on entanglement-assisted quantum error-correcting codes (EAQECCs). In these protocols, a seed of a previously shared secret key is used in the post-processing stage of a standard quantum key distribution protocol like the Bennett-Brassard 1984 protocol, in order to produce a larger secret key. This protocol was proposed by Luo and Devetak, but codes leading to good performance have not been investigated. We look into a family of EAQECCs generated by classical finite geometry (FG) low-density parity-check (LDPC) codes, for which very efficient iterative decoders exist. A critical observation is that almost all errors in the resulting secret key result from uncorrectable block errors that can be detected by an additional syndrome check and an additional sampling step. Bad blocks can then be discarded. We make some changes to the original protocol to avoid the consumption of the preshared key when the protocol fails. This allows us to greatly reduce the bit error rate of the key at the cost of a minor reduction in the key production rate, but without increasing the consumption rate of the preshared key. We present numerical simulations for the family of FG LDPC codes, and show that this improved QKE protocol has a good net key production rate even at relatively high error rates, for appropriate choices of these codes.

Kung-Chuan Hsu; Todd A. Brun

2013-03-07T23:59:59.000Z

283

Totally self-checking checker for a parallel unordered coding scheme  

SciTech Connect

Bose has developed a parallel unordered coding scheme using only r checkbits for 2[sup r] information bits. This code can detect all unidirectional errors and requires simple parallel encoding/decoding. The information symbols can be separated from the check symbols. However, the information symbols containing all zeros and all ones need to be transformed to two other information symbols. This allows one to reduce the number of checkbits over Berger code by 1. Since information symbols containing a power-of-two number of bits are quite common, this coding scheme should become quite popular. In this brief contribution, a modular, economical, and easily testable totally self-checking (TSC) checker design for the above code is described. The TSC concept is well known for providing concurrent error detection of transient as well as permanent faults. Our design is self-testing with at most only 2r + 16 codeword tests. This means that if k is the number of information bits, the size of the codeword test set is only O(log[sub 2] k). This is the first known TSC checker design for this code. 19 refs.

Burns, S.W.; Jha, N.K. (Int Paper Co., Jay, ME (United States))

1994-04-01T23:59:59.000Z

284

Tags | OpenEI Community  

Open Energy Info (EERE)

Tags Tags Home > Community OpenEI imported Open Data data Utility Rates developer United States linked open data Legal review Energy data Categorical Exclusions workshop Big Data LOD Town Hall meeting API Green Button BHFS quarterly meeting Solar clean energy web services forum analysis energy permitting utility rate Renewable Energy NREL wiki Datapalooza geothermal DOE Smart Grid Innovation GRR Literature Review NEPA Semantic Mediawiki EDI Wind roadmap current energy ocean energy feedback transmission result formats multicolor Google maps results design FONSI GMREC compound queries maps Performance interface MHK LEDS Tidal building power plant GTO challenge marine energy levelized cost of energy CBS Wave Cost Current facilities management indoor architecture

285

A characterization of check valve degradation and failure experience in the nuclear power industry: 1984-1990. Volume 1  

SciTech Connect

Check valve operating problems in recent years have resulted in significant operating transients, increased cost and decreased system availability. As a result, additional attention has beau given to check valves by utilities (resulting in the formation of the Nuclear Industry Check Valve Group), as well as the US Nuclear Regulatory Commission and the American Society of Mechanical Engineers Operation and Maintenance Committee. All these organizations have the fundamental goal of ensuring reliable operation of check valves. A key ingredient to an engineering-oriented reliability improvement effort is a thorough understanding of relevant historical experience. A detailed review of historical failure data, available through the Institute of Nuclear Power Operation`s Nuclear Plant Reliability Data System, has been conducted. The focus of the review is on check valve failures that have involved significant degradation of the valve internal parts. A variety of parameters are considered, including size, age, system of service, method of failure discovery, the affected valve parts, attributed causes, and corrective actions.

Casada, D.A.; Todd, M.D. [Oak Ridge National Lab., TN (United States)] [Oak Ridge National Lab., TN (United States)

1993-09-01T23:59:59.000Z

286

A characterization of check valve degradation and failure experience in the nuclear power industry: 1991 Failures, Volume 2  

SciTech Connect

Review and characterization of check valve failures taken from the Institute of Nuclear Power Operation`s Nuclear Plant Reliability Data System was performed in accordance with part two of a three-phase project sponsored by the US Nuclear Regulatory Commission. The analysis was performed for check valve failures occurring in 1991 and is intended to update the previous analysis performed for the time period 1984--1990. To maintain consistency and for ease of the 1991 analysis presents the same parameters and cross-correlations in essentially the same format as the 1984--1990 study. Additional data was obtained for the 1991 analysis, including information related to specific check valve type. This information is presented in a separate section of the report.

McElhaney, K.L. [Oak Ridge National Lab., TN (United States)

1995-07-01T23:59:59.000Z

287

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

288

High throughput low power decoder architectures for low density parity check codes  

E-Print Network (OSTI)

A high throughput scalable decoder architecture, a tiling approach to reduce the complexity of the scalable architecture, and two low power decoding schemes have been proposed in this research. The proposed scalable design is generated from a serial architecture by scaling the combinational logic; memory partitioning and constructing a novel H matrix to make parallelization possible. The scalable architecture achieves a high throughput for higher values of the parallelization factor M. The switch logic used to route the bit nodes to the appropriate checks is an important constituent of the scalable architecture and its complexity is high with higher M. The proposed tiling approach is applied to the scalable architecture to simplify the switch logic and reduce gate complexity. The tiling approach generates patterns that are used to construct the H matrix by repeating a fixed number of those generated patterns. The advantages of the proposed approach are two-fold. First, the information stored about the H matrix is reduced by onethird. Second, the switch logic of the scalable architecture is simplified. The H matrix information is also embedded in the switch and no external memory is needed to store the H matrix. Scalable architecture and tiling approach are proposed at the architectural level of the LDPC decoder. We propose two low power decoding schemes that take advantage of the distribution of errors in the received packets. Both schemes use a hard iteration after a fixed number of soft iterations. The dynamic scheme performs X soft iterations, then a parity checker cHT that computes the number of parity checks in error. Based on cHT value, the decoder decides on performing either soft iterations or a hard iteration. The advantage of the hard iteration is so significant that the second low power scheme performs a fixed number of iterations followed by a hard iteration. To compensate the bit error rate performance, the number of soft iterations in this case is higher than that of those performed before cHT in the first scheme.

Selvarathinam, Anand Manivannan

2005-08-01T23:59:59.000Z

289

Photonic circuits for iterative decoding of a class of low-density parity-check codes  

E-Print Network (OSTI)

Photonic circuits in which stateful components are coupled via guided electromagnetic fields are natural candidates for native implementation of iterative stochastic algorithms based on propagation of information around a graph. Conversely, such message passing algorithms suggest novel circuit architectures for signal processing and computation that are well matched to nanophotonic device physics. Here we construct and analyze a quantum optical model of a photonic circuit for iterative decoding of a class of low-density parity-check (LDPC) codes called expander codes. Our circuit can be understood as an open quantum system whose autonomous dynamics map straightforwardly onto the subroutines of an LDPC decoding scheme, with several attractive features: it can operate in the ultra-low power regime of photonics in which quantum fluctuations become significant, is robust to noise and component imperfections, achieves comparable performance to known iterative algorithms for this class of codes, and provides an instructive example of how nanophotonic cavity quantum electrodynamic components can enable useful new information technology even if the solid-state qubits on which they are based are heavily dephased and cannot support large-scale entanglement.

Dmitri S. Pavlichin; Hideo Mabuchi

2013-06-03T23:59:59.000Z

290

A self-checking fiber optic dosimeter for monitoring common errors in brachytherapy applications  

SciTech Connect

Scintillation dosimetry with optical fiber readout [fiber optic dosimetry (FOD)] requires accurate measurement of light intensity. It is therefore vulnerable to loss of calibration if any changes occur in the efficiency of the optical pathway between the scintillator and the light detector. The authors show in this article that common types of errors that arise during clinical use for brachytherapy applications can be quantified using a light emitting diode to stimulate the scintillator, the so-called LED-FOD method, in an integrated and easy-to-use control unit that incorporates a compact peripheral component interconnect extension for instrumentation. Common sources of error include bending and mechanical compression of the fiber optic components and changes in the temperature of the scintillator. The authors show that the method can detect all the common errors studied in this work and that different types of errors can result in different correlations between the LED stimulated signal and the brachytherapy source signal. For a single-type error the LED-FOD can be used easily for system diagnosis and validation with the possibility to correct the dosimeter reading if the correlation between the LED stimulated signal and the brachytherapy source signal can be defined. For more complex errors, resulting from two or more errors occurring simultaneously, the LED-FOD method can also allow the clinician to make a judgment on the reliability of the dosimeter reading. This self-checking method can enhance the clinical robustness of the FOD for achieving accurate dose control.

Yin, Y.; Lambert, J.; Yang, S.; McKenzie, D. R.; Jackson, M.; Suchowerska, N. [Physics School, University of Sydney, New South Wales 2006 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia) and Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia); Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia) and Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia)

2009-07-15T23:59:59.000Z

291

VPN MANUAL Windows 7 Check to ensure OleMiss wireless is visible in the network connections.  

E-Print Network (OSTI)

VPN MANUAL ­ Windows 7 Check to ensure OleMiss wireless is visible in the network connections, click Continue. #12;VPN MANUAL ­ Windows 7 Next, you will be prompted to Launch the Cisco Agent. Click to `Run' the file. #12;VPN MANUAL ­ Windows 7 The Cisco Agent will likely take a few minutes to fully

Tchumper, Gregory S.

292

Ayuda:Plantillas | Open Energy Information  

Open Energy Info (EERE)

Plantillas Plantillas Jump to: navigation, search Si usted cuenta con textos estándar que desee incluir en varias páginas, la plantilla MediaWiki le será de mucha ayuda. Contents 1 Creación 2 Uso de plantillas 2.1 Parámetros 2.2 Control de inclusión de plantilla 2.3 Organización de plantillas 3 Copiar contenido de un sitio wiki a otro 4 Véase también Creación Las plantillas son páginas wiki estándar cuyo contenido ha sido diseñado para ser transcluido (insertado) dentro de otras páginas. Las plantillas mantienen el concepto de que el nombre debe llevar el prefijo "Plantilla:", asignándolo a ese espacio de nombre. Por lo tanto usted puede crearlas como cualquier otra página wiki. Uso de plantillas Las plantillas son páginas wiki que pueden ser utilizadas en otras

293

CIO Blog Archive | Department of Energy  

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

May 18, 2011 May 18, 2011 Powerpedia - Using Technology to Increase Transparancy The OCIO established a Department-wide wiki, Powerpedia, in early 2010 to help facilitate knowledge capture, collaboration, and increased efficiency. Leveraging many of the lessons learned from the intelligence community's Intellipedia effort, the Department implemented Powerpedia to increase the level of transparency and connect people and information together. Built on the same open source software underpinning Wikipedia, called MediaWiki, the Department is rapidly building a large corpus of information that is enabling the organization to "know what it knows". May 4, 2011 STAR METRICS Energy continues to define Phase II of the STAR METRICS program, a collaborative initiative to track Research and Development expenditures and

294

Powerpedia - Using Technology to Increase Transparancy | Department of  

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

- Using Technology to Increase Transparancy - Using Technology to Increase Transparancy Powerpedia - Using Technology to Increase Transparancy May 18, 2011 - 4:42pm Addthis The OCIO established a Department-wide wiki, Powerpedia, in early 2010 to help facilitate knowledge capture, collaboration, and increased efficiency. Leveraging many of the lessons learned from the intelligence community's Intellipedia effort, the Department implemented Powerpedia to increase the level of transparency and connect people and information together. Built on the same open source software underpinning Wikipedia, called MediaWiki, the Department is rapidly building a large corpus of information that is enabling the organization to "know what it knows". As of May 2011, Powerpedia has over 7,500 total pages and 45,000 page

295

OpenEI maintenance March 8-9, 2013 | OpenEI Community  

Open Energy Info (EERE)

OpenEI maintenance March 8-9, 2013 OpenEI maintenance March 8-9, 2013 Home > Groups > Utility Rate Rmckeel's picture Submitted by Rmckeel(297) Contributor 8 March, 2013 - 14:23 developer Maintenance OpenEI We would like to inform the OpenEI community that OpenEI will be undergoing a significant software upgrade during a maintenance window this weekend. We will be upgrading the wiki and semantic mediawiki portions of OpenEI, which means /datasets, /apps, /lod, /sparql and /community will continue to function normally. Additionally, web services that rely on Ask queries (utility rate database API) may have some downtime as we transition. OpenEI will begin maintenance at 5pm MST Friday, March 8th, 2013. This means that the /wiki URLs will go into read-only mode and editing pages will not be possible. Maintenance is expected to end by 5pm MST Saturday,

296

Help:Subpages | Open Energy Information  

Open Energy Info (EERE)

Subpages Subpages Jump to: navigation, search Subpages introduce some hierarchical organization into wiki pages, with levels of the hierarchy separated by slashes (/). Contents 1 Where it works 2 How it works 3 Use of subpages 4 See also Where it works By default, MediaWiki's subpage feature is turned off in the main namespace, but can be used on talk pages and user pages. See Help:Namespaces. In namespaces where the feature is switched off, any slashes (/) within a page name are simply part of the page name and do nothing special. How it works Slashes (/) within a page name break the page into parent and subpages, recursively, e.g.: Help:Subpages - this page Help:Subpages/subpage - child page Help:Subpages/subpage/sub-subpage - grandchild page Note that the part of page names after a slash is case sensitive including

297

Help:Searching | Open Energy Information  

Open Energy Info (EERE)

Searching Searching Jump to: navigation, search The quickest way to find information in MediaWiki is to look it up directly. On the right-hand side of your screen there is a search box with two buttons under it labeled "Go" and "Search". Put your keyword in the searchbox. Go - (or Enter on keyboard) will take you automatically to the article, if it exists. Search - will search the text of all pages on the wiki (with some restrictions, see below). If you clicked "Search", or you clicked "Go" and the page you were looking for did not exist, you will be presented with a list of articles that matched your search criteria (or a message that no matches were found). How it works Here's how the search works: Only the article content is searched - the page title is ignored.

298

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

, Hydrogen + , Developer of catalysts for room-temperature hydrogen production + , hot steam production and Fischer-Tropsch processes. + , Oxford + , United Kingdom + Place...

299

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Pollution Control Regulations: No. 13 - Particulate Emissions from Fossil Fuel Fired Steam or Hot Water Generating Units (Rhode Island) EZFeedRelevant Yes + IncentiveActive...

300

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

ExplorationBasis 1) Characterize a magma source. 2) To conduct reservoir modeling of a steam reservoir. ExplorationOutcome not indicated + ExplorationTechnique Analytical Modeling...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

up on the reports of a CODELCO water exploration well that flowed small amounts of dry steam at 4,540 m elevation in the valley 4.5 km east of the fumaroles. The prospect is...

302

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Hydrogen + , Catal has worked together with LIFE-IC on the "hydrogen producing steam reformer" project. + , Sheffield + , United Kingdom + Place Sheffield, United Kingdom...

303

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

(liquid) reservoir are present and possess distinctive gas and liquid compositions. Steam sampled from wells in the central and southwestern Coso reservoir is unusually...

304

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

, Energy Company + , Solar + , Wind energy + , Splited from wind turbine maker Dongfang Steam Turbines Works (DFSTW) in December 2006 + , which focuses on the investment in the...

305

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Has developed a new technology to produce hydrogen from water or geothermal steam using a new method called RET (Radiant Energy Transfer). + , Palo Alto + , California...

306

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

general methods needed to characterize the geothermal production fractures that supply steam for power generation and to the specific knowledge of these in the Geysers area. (2)By...

307

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

UtilityRateDemandRateUnit kW + OpenEIUtilityRateDescription Customers requiring steam service on premises adjacent to existing low pressure steam mains. OpenEIUtilityRate...

308

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

PageKeyword Biogreen Energy Systems Pvt Ltd + , Energy Company + , Biogreen makes steam turbines + , biogas engines + , and converts kitchen waste into methane rich biogas. +...

309

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

reservoir at 1 - 1.5 km depth, intersected by steeply inclined fissures which carry steam and gas to the well bores, and to the natural fumaroles. A substantial decline in the...

310

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Beijing Full Three Dimension Power Engineering Co Ltd (FTD) + , Energy Company + , A steam turbine design and refurbishment service provider. Focus on technical renovation of...

311

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

system and its evolution. The high proportion of magmatic gas and high total NCG in HTR steam are inconsistent with an origin of the vapor-dominated Northwest Geysers reservoir...

312

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

the project are voluntarily contributed from a variety of sources including utilities, installers, and the general public. The data collected are actively maintained by the...

313

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

energy company profile. OpenEIPageKeyword Solar Energy Alliance + , Energy Company + , Solar + , Wind energy + , Grant approved installers of micro wind power and solar energy...

314

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

PageKeyword Helio Micro Utility Inc + , Energy Company + , Solar + , Contracts with solar installers to build and maintain solar power systems + , Bay Area + , Berkeley + ,...

315

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , which converts brown grease + , or used cooking oil and food scrapings + , to biofuel. + , Philadelphia + , Pennsylvania + Place Philadelphia, Pennsylvania + Product...

316

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Co Ltd + , Energy Company + , The company is a ethanol manufacturer + , engaging in biofuel production and project development. + , Baicheng + , Jilin Province + , China + Place...

317

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

PageKeyword Bio-Clean Fuels Inc + , Energy Company + , Hydro + , Califonia-based biofuel technology and engineering company. The company is in developing technology for the...

318

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Abengoa SA + , Energy Company + , Bioenergy + , Solar + , Construction + , biofuel + , solar and power company - parent of Abengoa Bioenergia + , Abengoa Bioenergy Corp...

319

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Solar + , Provides efficient systems in the fields of demand management + , biofuel + , biomass and solar CHP systems. + , Houston + , Texas + Place Houston, Texas +...

320

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

G Ltd: energy company profile. OpenEIPageKeyword Bioener G Ltd + , Energy Company + , Biofuel supplier to bulk fuel users. + , Milton Keynes + , England + , United Kingdom + Place...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

(STEG) project developer + , to use parabolic trough design with syngas made from biofuel as a backup fuel. + , Cardiff + , California + Place Cardiff, California + Product...

322

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

provides a broadest range of enzymes for chemical synthesis + , especially biomass to biofuel enzymes along with the resources and technology to develop enzymatic processes. + ,...

323

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

profile. OpenEIPageKeyword BlueFire Ethanol + , Energy Company + , Hydro + , US biofuel producer that utilises a patented concentrated acid hydrolysis technology to process...

324

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

to estimate the economic impacts of constructing and operating power generation and biofuel plants at the local and state levels.fuel plants at the local and state levels....

325

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

BiOctane: energy company profile. OpenEIPageKeyword BiOctane + , Energy Company + , Biofuel start-up planning to design and develop a biodiesel and ethanol refinery. + ,...

326

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

OpenEIPageKeyword Carbon Credited Farming Plc + , Energy Company + , London-based biofuel developer focusing on jatropha curcas plantations in South-east Asia and Africa. + ,...

327

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

in wholesale and retail and in providing services. The company is also active in the biofuel and solar sectors. + , Munich + , Germany + Place Munich, Germany + Product...

328

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Energy Company + , Efficiency + , Chicago-based company dedicated to optimising biofuel production through management + , energy efficiency + , and operational improvements....

329

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Energy Ltd (SWEL) + , Energy Company + , Wind energy + , Tamil Nadu-based wind and biofuel project developer. + , Tirunelveli + , Tamil Nadu + , India + Place Tirunelveli,...

330

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Energy Company + , Biomass + , Bio Fuel Systems focuses on the development of biofuel through marine biomass (algae). + , Alicante + , Spain + Place Alicante, Spain +...

331

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

renewable energy initiatives in the state + , predominantly in the solar + , wind and biofuel arena. + , New Jersey + Place New Jersey + Product New Jersey public body providing...

332

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Provides project management and engineering services to wind + , STEG + , PV + , biofuel and fuel cell power plants. + , Madrid + , Spain + Place Madrid, Spain + Product...

333

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

and Science + , is actively working on the research projects for PEM fuel cell + , biofuel + , solar and wind power. + , Madrid + , Spain + Place Madrid, Spain + Product...

334

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

company profile. OpenEIPageKeyword Brasbiofuel + , Energy Company + , Brazilian biofuel company investing USD 240.8m to develop the biodiesel industry in Parana. + , Brazil...

335

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

60 + IncentiveCont2Dept Maryland Energy Administration + IncentiveCont2Email crice@energy.state.md.us + IncentiveCont2Name Chris Rice + IncentiveCont2Phone 410-260-7655 +...

336

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Biodiesel Inc: energy company profile. OpenEIPageKeyword Buffalo Biodiesel Inc + , Energy Company + , Buffalo Biodiesel is a biodiesel producer that buys recycled and virgin...

337

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Distributed Generation Systems Inc + , Energy Company + , Wind energy + , Developer of electricity generation wind power facilities + , Rockies Area + , Lakewood + , Colorado +...

338

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

PageKeyword Dairyland Power Cooperative + , Energy Company + , Services + , Provides electricity generation and transmission services for 25 member distribution cooperatives...

339

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

lighting units. Note: MV Mercury Vapor, HPS High Pressure Sodium, IND Induction, LED Light Emitting Diode.D Induction, LED Light Emitting Diode. OpenEIUtilityRate...

340

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

will furnish, install, and maintain lighting units. Note: HPS High Pressure Sodium, LED Light Emitting Diode.essure Sodium, LED Light Emitting Diode. OpenEIUtilityRate...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

wind turbines + , solar components + , solar-wind complementary power supply system + , LED lighting system. + , Dalian + , Liaoning Province + , China + Place Dalian, Liaoning...

342

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

shall have a monthly estimated usage assigned for billing purposes as follows: 46-watt LED lighting purposes as follows: 46-watt LED light OpenEIUtilityRate...

343

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

0 + OpenEIUtilityRateDemandRateUnit kW + OpenEIUtilityRateDescription Rate D LED-100 Watt Metal Halide Equivalent: On Timer - 2920 hoursyear OpenEIUtilityRate...

344

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

111111111111111111111111111111111111111111111111111111111 OpenEIUtilityRateDescription LED Street Lighting Pilot - Schedule LED S ... LED Street Lighting Pilot - Schedule LED SLP...

345

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

kW + OpenEIUtilityRateDescription OUTDOOR PROTECTIVE LIGHTING SERVICE - LED ... OUTDOOR PROTECTIVE LIGHTING SERVICE - LED Alternative - 175W MV SCHEDULE PL *...

346

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

0 + OpenEIUtilityRateDemandRateUnit kW + OpenEIUtilityRateDescription Rate D LED-100 Watt Metal Halide Equivalent: Dusk to Dawn OpenEIUtilityRateFlatRateBuy 1.81 +...

347

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

of test and measurement solutions including for electric vehicles and the solar and LED industries. + , Taiwan + Place Taiwan + Product Taiwan-based Chroma ATE Inc is a...

348

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Liaoyuan Lighting Co + , Energy Company + , Solar + , Wind energy + , Engaged in outdoor LED lighting manufacture and design including street lamps and solarwind hybrid street...

349

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

of energy-saving Compact Fluorescent Light Bulbs + , solar-powered lights + , LED bulbs + , auto lamps and other speciality lamps. + , Nanhai + , Guangdong Province + ,...

350

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

to obtain data from which information regarding mass transfer rates. This then led to conclucions of the historyevolution of the geothermal system. Unclear whether...

351

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Photovoltaic Co + , Energy Company + , Solar + , China-based solar energy cell and LED automatic lighting systems manufacturer. + , Wenzhou City + , Zhejiang Province + ,...

352

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

DemandRateUnit kW + OpenEIUtilityRateDescription Note: Rate schedule specifies "84 LED 31 kWhMonth". OpenEIUtilityRateFixedMonthlyCharge 24.5 + OpenEIUtilityRateName...

353

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

0 + OpenEIUtilityRateDemandRateUnit kW + OpenEIUtilityRateDescription LED 250 Watt Equivalent per Lamp OpenEIUtilityRateFixedMonthlyCharge 11.75 + OpenEI...

354

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

engineering + , electromechanical controls and power electronics. The organisation is led by the University of Houston. + , Houston + , Texas + Place Houston, Texas + Product...

355

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

0 + OpenEIUtilityRateDemandRateUnit kW + OpenEIUtilityRateDescription LED: available for all new and existing locations OpenEIUtilityRateFixedMonthlyCharge...

356

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

DemandRateUnit kW + OpenEIUtilityRateDescription OUTDOOR LIGHTING SERVICE - LED Alternative to 175 MV and 100 Watts HPS SCHEDULE OL * Flat rate Adjustments the...

357

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

kW + OpenEIUtilityRateDescription OUTDOOR PROTECTIVE LIGHTING SERVICE - LED ... OUTDOOR PROTECTIVE LIGHTING SERVICE - LED Alternative - 100W HPS SCHEDULE PL *...

358

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

1111111111111111111111111111111111111111 OpenEIUtilityRateDescription RLED Residential LED Security Light OpenEIUtilityRateEnergyRateStructurePeriod 1 + OpenEIUtilityRate...

359

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

0 + OpenEIUtilityRateDemandRateUnit kW + OpenEIUtilityRateDescription LED 100 Watt Equivalent per Lamp OpenEIUtilityRateFixedMonthlyCharge 6.64 + OpenEI...

360

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Beijing Taishi Xinguang Technology Co Ltd + , Energy Company + , A China-based LED technology firm. + , Beijing + , Beijing Municipality + , China + Place Beijing,...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Civilight: energy company profile. OpenEIPageKeyword Civilight + , Energy Company + , LED light bulb and streetlight maker. + , Shenzhen + , Guangdong Province + , China + Place...

362

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

by any valid and applicable law or regulation. This experimental tariff shall be in effect through December 31, 2013, unless otherwise ordered. The total capacity available...

363

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

has two main goals: reducing the province's contribution to climate change by reducing greenhouse gas (GHG) emissions and preparing for changes to the province's climate that...

364

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Energy Company + , Hydro + , Hydrogen + , W2T is seeking to developer a waste to energy plant combining plasma gasification and hydrogen fuel cells to achieve highly...

365

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

OpenEIUtilityRateFixedMonthlyCharge 27 + OpenEIUtilityRateName Farm & Home Service (15 kVA or less transformer capacity) + OpenEIUtilityRateSector Residential...

366

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

and applicable systemwide for certain service not included under Cooperative's Farm & Home Schedules. This Schedule is applicable for all 3phase service, not to exceed 150 kVA,...

367

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

members of the Cooperative eligible for service under Tariff Schedule I-- Domestic-Farm & Home Service, or Tariff Schedule 2--Commercial and Small Power Less than 50 KVA, who have...

368

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

IncentiveWebsite http:dnr.louisiana.govindex.cfm?mdpagebuilder&tmphome&pid85&ngid5 + OpenEIPageDescription Coastal Management (Louisiana): energy...

369

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

UtilityRateFlatDemandStructurePeriod 1 + OpenEIUtilityRateName Schedule A5- Farm & Home Service TOD Option A + OpenEIUtilityRateSector Residential + OpenEIUtilityRate...

370

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

OpenEIUtilityRateDescription Available to members of the Cooperative for all farm, home, residential, church, school, and public building uses, including electric heating,...

371

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

UtilityRateFlatDemandStructurePeriod 1 + OpenEIUtilityRateName Schedule A5- Farm & Home Service TOD Option B + OpenEIUtilityRateSector Residential + OpenEIUtilityRate...

372

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Cooperative fo ... Available to members of the Cooperative for all residential farm and home uses subject to its established rules and regulations. Approval of the Cooperative...

373

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

OpenEIUtilityRateFixedMonthlyCharge 15 + OpenEIUtilityRateName General Service Home Heating + OpenEIUtilityRateSector Residential + OpenEIUtilityRateSource http:...

374

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

use, where an energy source other than electricity is used as the primary source for home heating. The customer is responsible for a minimum bill equal to the customer charge....

375

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Siting & Permitting + IncentiveUserSource http:www.deq.state.ms.usMDEQ.nsfpageMainHome?OpenDocument IncentiveWebsite http:www.deq.state.ms.usnewwebmdeqregulations.nsf...

376

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

section discusses heavy-duty vehicles. The fourth section discusses the policies that shape the transportation sector, and the fifth section makes projections about what will...

377

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

a small dyke (d4). Such relationships suggest that GVS is fed by d4 and that the linear shape of d4 may have controlled the elliptical development of the GVS. To test this...

378

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

spectra of alteration minerals, which classifies spectra according to their shape and absorption features, thus obtaining groups of spectra equivalent to mineral...

379

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

(TOBI) side-scan sonar imagery, we measured the dimensions (diameter, height, slopes), shape, and texture of these volcanic edifices to further understanding of the geometric...

380

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

loss costs to bring the power to the District's System. The hourly, daily, and seasonal shape of the power. The effects of the length of the power supply agreement in light of the...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ Notes At Columbus Salt Marsh, Nevada, additional 2m measurements better defined the shape of a blind, shallow thermal anomaly; also at this location deeper temperature...

382

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

proper execution of contract. This service gives the customer access to 15-minute demand load profile meter information andor real time energy information via the Internet. Load...

383

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

grid connected solar or wind generation of ten kilowatts or less where the customer's load profile exceeds the generating capacity. (3) Service conditions. Service will be...

384

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ NumberOfEmployees 501 + OpenEIPageDescription Goodwill Instrument: energy company profile. OpenEIPageKeyword Goodwill Instrument + , Energy Company + , Efficiency + ,...

385

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Energy LLC + OpenEIPageDescription Grasslands Renewable Energy LLC: energy company profile. OpenEIPageKeyword Grasslands Renewable Energy LLC + , Energy Company + , Wind...

386

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

consulting firm providing services to clients involved in the energy industry. + , Seattle + , Washington + Place Seattle, Washington + Product Global Energy Concepts LLC (GEC)...

387

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

firm developing technology to convert biowaste into bioenergy and biochemicals. + , Seattle + , Washington + Place Seattle, Washington + Product Washington State-based firm...

388

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

can float on ocean waves in deeper coastal waters + , Pacific Northwest Area + , Seattle + , Washington + Place Seattle, Washington + Product Developing a method so wind...

389

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Discount + OpenEIUtilityRateSector Commercial + OpenEIUtilityRateSource http:www.seattle.govlightaccountsratesdocs2012Jan2012Janmdc.pdf OpenEIUtilityRateStartDate 1...

390

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Company + , Maker of pollution control equipment - bought by Xantrex in 2000. + , Seattle + , Washington + Place Seattle, Washington + Product Maker of pollution control...

391

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Service + OpenEIUtilityRateSector Commercial + OpenEIUtilityRateSource http:www.seattle.govlightaccountsratesdocs2012Jan2012Janmdd.pdf OpenEIUtilityRateStartDate 1...

392

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Environmental Forecast Group Inc (3TIER) + , Energy Company + , Renewable Energy + , Seattle-based + , renewable energy assessment and forecasting company. + , Seattle + ,...

393

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

City + OpenEIUtilityRateSector Industrial + OpenEIUtilityRateSource http:www.seattle.govlightaccountsratesdocs2012Jan2012Janlgc.pdf OpenEIUtilityRateStartDate 1...

394

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , acquires + , and develops wind energy projects + , Pacific Northwest Area + , Seattle + , Washington + Place Seattle, Washington + Product Identifies, acquires, and...

395

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

firm providing project and investment advice to renewable energy projects. + , Seattle + , Washington + Place Seattle, Washington + Product An advisory firm providing...

396

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

State and has applied for up to 1GW in permits for wave projects around the US. + , Seattle + , Washington + Place Seattle, Washington + Product Grays Harbor has started a...

397

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

company profile. OpenEIPageKeyword Clarian Power + , Energy Company + , Solar + , Seattle + , Washington + Place Seattle, Washington + Sector Gateway:Solar + Website http:...

398

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Discount + OpenEIUtilityRateSector Commercial + OpenEIUtilityRateSource http:www.seattle.govlightaccountsratesdocs2012Jan2012Janmdd.pdf OpenEIUtilityRateStartDate 1...

399

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

forecasting products for wind + , solar + , and hydro + , Pacific Northwest Area + , Seattle + , Washington + Place Seattle, Washington + Product Assessment and forecasting...

400

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

renewable energy sources such as wind + , solar + , biomass and hydroelectric. + , Seattle + , Washington + Place Seattle, Washington + Product Utility which provides...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

City + OpenEIUtilityRateSector Commercial + OpenEIUtilityRateSource http:www.seattle.govlightaccountsratesdocs2012Jan2012Janmdc.pdf OpenEIUtilityRateStartDate 1...

402

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , with activities in hydrogen production and Integrated Gasification Combined Cycle (IGCC) facilities. + , Cincinnati + , Ohio + Place Cincinnati, Ohio + Product Gasification...

403

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Assistance Network Geothermal Incentives and Policies International Clean Energy Analysis Low Emission Development Strategies Oil & Gas Smart Grid Solar U.S. OpenLabs...

404

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

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

405

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

boilers, coal, oil, or natural gas-fired boiler steam generators require a permit. Gas turbines, as well as simple cycle combined with heat recovery steam turbine require...

406

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

system installation branch of Fujipream; also involved with wind + , fuel cells and micro gas turbine installations. + , Kyoto + , Japan + Place Kyoto, Japan + Product The PV...

407

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Vermont-based wind energy company that designs + , builds + , installs and maintains power generation systems. + , Waitsfield + , Vermont + Place Waitsfield, Vermont + Product...

408

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Hydro + , Wind energy + , Toronto-based owner + , operator and developer of hydroelectric power facilities + , co-generation and wind power assets. + , Toronto + , Ontario + ,...

409

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Distributed Solar Power Ltd (Di.S.P) + , Energy Company + , Solar + , Distributed Solar Power Generation using miniature concentrated photovoltaic systems + , which will also...

410

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

with interests in wind project development + , goethermal + , hydroelectric and solar power generation. + , Lehi + , Utah + Place Lehi, Utah + Product Power engineering firm...

411

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Identify and recommend methods to mitigate the disadvantages of air-cooling in the power cycles of the next generation of geothermal power plants. Geothermal...

412

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Company + , Renewable Energy + , Solar + , Wind energy + , Atlanta-based supplier of power generation and energy delivery technologies in all areas of the energy industry...

413

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

27.051214, -80.553389Latitude: 27.051214 Longitude: -80.553389 + Developer Florida Power & Light Co. + Facility Martin Next Generation Solar Energy Center + FacilityStatus...

414

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

GW, 1.0e-6 TW, 1.0e-9 PW, 1.0e-12 EW, 1.0e-15 ZW) + OpenEIPageDescription Saguargo Solar Power Plant: energy generation facility. OpenEIPageKeyword energy generation + , Solar +...

415

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Ltd + , Energy Company + , Involved in R&D on STEG and its commercialisation + , biogas power generation + , waste gas recovery and the production and sale of gas power units. +...

416

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Solar + , Designs and installs photovoltaic + , solar thermal and co-generation power generation systems for domestic use. + , New York + Place New York + Product Designs...

417

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

energy + , REG is an AIM-quoted renewable energy group that develops and invests in wind power generation and Bio-Power projects. + , Guildford + , Surrey + , England + , United...

418

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

-81.7787021Latitude: 27.2142078 Longitude: -81.7787021 + Developer Florida Power & Light Co. + Facility DeSoto Next Generation Solar Energy Center + FacilityType...

419

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

OpenEIPageKeyword Makani Power + , Energy Company + , Wind energy + , High-altitude wind power generation + , Bay Area + , Alameda + , California + Place Alameda, California +...

420

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Company engadged in the investment + , construction + , operation and management of wind power generation projects. + , Jinan + , Inner Mongolia Autonomous Region + , China +...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Power Co Ltd + , Energy Company + , Wind energy + , Jilin-based company focused on wind power generation and development of wind projects. + , Baicheng + , Jilin Province + ,...

422

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , US-based energy company + , which provides expertise in asset management of operating power generation projects for owners and financiers and development + , acquisition and...

423

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Description Purchased Power Charges Power Generatio ... Purchased Power Charges Power Generation & Transmission per kWh .063410 Purchased Power Adjustment Varies The...

424

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Tajik + , Tamashek + , Tamil + , Tatar + , Telugu + , Tereno + , Tetum + , Thai + , Tibetan + , Tigre + , Tigrinya + , Timne + , Tiv + , Tlingit + , Tok Pisin + ,...

425

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

OpenEIPageKeyword Biofame Consulting Group Co Ltd + , Energy Company + , Biomass + , Thai project developer + , mainly into biomass and ethanol projects. + , Bangkok + ,...

426

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

OpenEIPageKeyword Cellennium Co Ltd + , Energy Company + , Cellennium Co Ltd is a Thai company that has been researching Vanadium fuel cells. + , Bangkok + , Thailand + Place...

427

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

AEP Ohio - Renewable Energy Credit (REC) Purchase Program (Ohio) + , AEP Ohio - Renewable Energy Technology Program (Ohio) + , APS - Net Metering (Arizona) + , APS - Renewable...

428

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

of geologic storage of carbon dioxide (CO2) in Kentucky. In 2012, KGS conducted a test of carbon dioxide enhanced natural gas recovery in the Devonian Ohio Shale, Johnson...

429

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

1979 + ExplorationBasis To permit the lateral and vertical extrapolation of core and test data and bridged the gap between surface geophysical data and core analyses....

430

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

pressure, recirculating, cavitation tunnel with a very low acoustic background level; test section pressure: 3.5-414 kPa (0.03 to 4 atmospheres, 0.5 to 60 psia); air content: 10%...

431

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

is a vertical plane, closed recirculating, variable-speed, variable-pressure, open jet test section, closed jet test section, and semi-rectangular test section. Test Services None...

432

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

taken conse ... Analyses of eight well samples taken consecutively during the flow test showed an inverse correlation between NH3 and Cl concentrations. The last sample taken...

433

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

components. Optical measurement system for observing kinematics of a model under test in the wave mode. Hydrodynamic Testing Facility Type Tow Tank + Length(m) 36.6 + Length...

434

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

6 Applicable to Large Power Time of Day Interruptible Service; Rate Code 16: As of the Test Year ending December 2000, the Cooperative purchases capacity and energy for the Large...

435

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

2-4e91-be74-1ecc748de493 OpenEIUtilityRateDemandRateUnit kW + OpenEIUtilityRateName test + OpenEIUtilityRateTieredRateMonth1 1 + OpenEIUtilityRateTieredRateMonth10 1 +...

436

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

a vertica ... The Circulating Water Channel is a vertical plane, open to the atmosphere test section with a free surface in a closed recirculating water circuit, variable speed,...

437

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

for successful siting and ... As a foundation for successful siting and drilling a deep test well, additional geophysical work has been completed including gravity, resistivity,...

438

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Subsonic Wind Tunnel is a continuous flow, closed-circuit facility with a closed jet test section. Test models may be supported by strut mounts using the external balance or by...

439

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Electricity Resources & Building Systems Integration + NrelPartnerType Test & Evaluation Partner + OpenEIPageDescription Cambridge Design & Development: energy...

440

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Electricity Resources & Building Systems Integration + NrelPartnerType Test & Evaluation Partner + OpenEIPageDescription City of Lincoln: energy company profile....

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , National technology centre offering commercial grade foundry + , design + , test + , and fabrication services in III-V semiconductor and silicon based materials. + ,...

442

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

requests, a ... made when residential customer requests, and KPUB performs, a meter test and the meter is found to be within the accuracy standards of the American National...

443

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

that link here Flying Cloud Wind Farm + , Intrepid Wind Farm + , Liberty Turbine Test Wind Farm + Developer Endeavor (3Q07) Wind Farm + , Liberty Turbine Test Wind Farm + ,...

444

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

1979 + ExplorationBasis Permitted the lateral and vertical extrapolation of core and test data and bridged the gap between surface geophysical data and core analyses....

445

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

station + , wind-PV power station + , as well as design + , installation + , debug and test. + , Xining + , Qinghai Province + , China + Place Xining, Qinghai Province, China +...

446

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

with resorber, variable-speed, variable-pressure, two interchangeable circular test sections. Test Services None + Towing Capabilities None + Velocity(ms) 25.8 + Water...

447

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

on personnel requirements + Depth(m) 0.6 + Description Various sensors available on a test-by-test basis Hydrodynamic Testing Facility Type Flume + Integrated DisplayGraphics...

448

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

and operation of teststands for cryogenic technologies + , especially hydrogen + , test of hydrogentanks for automobiles. + , Brunnthal-Nord + , Bavaria + , Germany + Place...

449

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

useful + ExplorationTechnique Compound and Elemental Analysis + Notes In order to test FIS for geothermal explor ... In order to test FIS for geothermal exploration, drill...

450

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

... Four formation water samples were collected from well 56-4, during an airlift test which took place between November 11 and November 14, 2007. One sample was taken from...

451

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Residential + OpenEIUtilityRateSource Media:UtilityRateAPCo-WPCo-July-2008-Tariff-Book.pdf|UtilityRateAPCo-WPCo-July-2008-Tariff-Book.pdf OpenEIUtilityRate...

452

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

UtilityRateSource http:www.cityofclaycenter.comCodes-Ordinances-PoliciesCity-Code-Book-Articlesdocumentsch-15-utilities.pdf OpenEIUtilityRateTOUWeekdaySchedule...

453

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ OpenEIUtilityRateSource Sec. 38-453; http:library.municode.comHTML14514book.html OpenEIUtilityRateStartDate 5 January 2010 + OpenEIUtilityRate...

454

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Mobile + , Alternative Fuels and Advanced Vehicles Data Center + , Biomass Energy Data Book + , Biopower Tool Webinar + , Brazil-US Lab Consortium Activities + , Building Energy...

455

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ OpenEIUtilityRateSource http:www.sterlingcodifiers.comcodebookindex.php?bookid832 OpenEIUtilityRateTOUWeekdaySchedule 111111111111111111111111111111111111111111...

456

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Research and Forecasting (WRF)-Chem Modeling in Mexico + Developer Hydrogen Energy Data Book + , U.S. DOE Hydropower Program + Partner PNNL + redirect page Enter the name of the...

457

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Evaluation + , State-level Benefits of Renewable Energy + , Transportation Energy Data Book + , Wind Energy Data and Information Gateway (WENDI) + Developer Bioenergy KDF + ,...

458

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

-80-800498448.us-east-1.elb.amazonaws.comwimages448UtilityRateAnnArborCompleteBookdetroitEdisonTariff.pdf OpenEIUtilityRateStartDate 21 December 2011 + OpenEI...

459

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Commercial + OpenEIUtilityRateSource Media:UtilityRateAPCo-WPCo-July-2008-Tariff-Book.pdf|UtilityRateAPCo-WPCo-July-2008-Tariff-Book.pdf OpenEIUtilityRate...

460

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ OpenEIUtilityRateSource http:www.sterlingcodifiers.comcodebookindex.php?bookid282http:www.sterlingcodifiers.comcodebookindex.php?bookid282 OpenEI...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Sector Residential + OpenEIUtilityRateSource Media:UtilityRateNSP (excel) Tariff Book.pdf|UtilityRateNSP (excel) Tariff Book.pdf OpenEIUtilityRateTOURatePeriod1Buy...

462

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

-80-800498448.us-east-1.elb.amazonaws.comwimages448UtilityRateAnnArborCompleteBookdetroitEdisonTariff.pdf OpenEIUtilityRateStartDate 14 January 2009 + OpenEI...

463

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , J.K.; Donaldson + , P.R.; Kinkley + , D.L.; Wallace + , T.L. + Document type Book + FoafPage http:scienceaccelerator.govdsalink.html?collectionCodeDOE-ECD&searchId...

464

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

2011 18:57:02 + hide properties that link here 2011 APTA Public Transportation Fact Book + , A Municipal Official's Guide to Diesel Idling Reduction + , APEC-Alternative...

465

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

from the U.S. National Renewable Energy Laboratory's Power Technologies Energy Data Book. The data book is an excellent source of consistent information on renewable energy...

466

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

... Dam safety in Florida is a shared responsibility among the Florida Department of Environmental Protection (FDEP), the regional water management districts, the United...

467

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

ContAddr 235 Promenade Street, Providence,RI, 02908 + IncentiveContDept Department of Environmental Management + IncentiveContDiv Planning and Development + Incentive...

468

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

200 Fair Oaks L., 2nd Floor, Frankfort, KY, 40601 + IncentiveContDept Department for Environmental Protection + IncentiveContDiv Division of Waste Management + Incentive...

469

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

ContDept Department of Environmental Protection + IncentiveContDiv Water and Waste Management -- Environmental Enforcement + IncentiveContEmail brian.r.long@wv.gov +...

470

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

ContAddr 235 Promenade Street, Providence, RI, 02908 + IncentiveContDept Department of Environmental Management + IncentiveContDiv Office of Air Resources + IncentiveContEmail...

471

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

libdepairregulationsmainregssec22c.pdf + IncentiveContDept Department of Energy & Environmental Protection + IncentiveContDiv Bureau of Air Management + IncentiveContName...

472

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

200 Fair Oaks Ln., 2nd Floor, Frankfort, KY, 40601 + IncentiveContDept Department for Environmental Protection + IncentiveContDiv Division of Waste Management + Incentive...

473

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

IncentiveContDept Department of Energy and Environmental Protection + IncentiveContDiv Environmental Protection Division; Bureau of Air Management + IncentiveContEmail...

474

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

libdepairregulationsmainregssec3a.pdf + IncentiveContDept Department of Energy & Environmental Protection + IncentiveContDiv Bureau of Air Management + IncentiveContName...

475

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

libdepairregulationsmainregssec29.pdf + IncentiveContDept Department of Energy & Environmental Protection + IncentiveContDiv Bureau of Air Management + IncentiveContName...

476

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Jump to: navigation, search National Forest Management Act of 1976 Name National Forest Management Act of 1976 + YearFounded 1976 + Categories Federal Environmental Statutes + ,...

477

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Act (Texas) + IncentivePolicyType Other Policy + IncentiveProgAdmin Texas Commission on Environmental Quality + IncentiveSummary This Act encourages the establishment of r ......

478

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Industrial + IncentiveContAddr 4171 Commanders Drive + IncentiveContDept Department of Environmental Management + IncentiveContEmail coastal@adem.state.al.us + Incentive...

479

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Generation Facilities (Rhode Island) + IncentiveProgAdmin Rhode Island Department of Environmental Management + IncentiveSummary This rule applies to any generator that: (...

480

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

ContAddr 2600 Bull Street + IncentiveContDept South Carolina Department of Health and Environmental Control + IncentiveContDiv Ocean & Coastal Resource Management + Incentive...

Note: This page contains sample records for the topic "mediawiki wiki check" 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

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

and succeeding generations. zone for this and succeeding generations. Name Coastal Zone Management Act + YearFounded 1972 + Categories Federal Environmental Statutes + , Oil and...

482

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

libdepairregulationsmainregssec4.pdf + IncentiveContDept Department of Energy & Environmental Protection + IncentiveContDiv Bureau of Air Management + IncentiveContName...

483

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

commercial, housing, recreational, or other facilities. Prior approval by Department of Environmental Management is required for sewage disposal facilities involved with the...

484

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

www.in.govlegislativeiccodetitle13ar17 + IncentiveCont2Dept Indiana Department of Environmental Management + IncentiveCont2Div Air Pollution Control Board - Chairman +...

485

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

235 Promenade, Street Providence, RI, 02908-5767 + IncentiveContDept Department of Environmental Management + IncentiveContDiv Office of air Resources + IncentiveContEmail...

486

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

(Alabama) + IncentivePolicyType Other Policy + IncentiveProgAdmin Alabama Department of Environmental Management + IncentiveSummary This rule states standards for emission in...

487

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

, Utility + IncentiveContAddr 20 McGloin Street + IncentiveContDept New Brunswick Environment and Local Government + IncentiveContDiv Climate Change Secretariat and Green...

488

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

ewebeditproitemsO117F6511.pdf + IncentiveContDept New Mexico Environment Department + IncentiveContDiv Energy & Environment Coordinator + Incentive...

489

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

ContAddr 135 St. Clair Avenue West + IncentiveContDept Ontario Ministry of the Environment + IncentiveContEmail anne.neary@ontario.ca + IncentiveContName Anne Neary +...

490

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Utility + , Rural Electric Cooperative + , Utility + IncentiveContDept Nova Scotia Environment + IncentiveContDiv Air Quality Branch + IncentiveContEmail air@gov.ns.ca +...

491

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

, Investor-Owned Utility + , Utility + IncentiveAuth2Code Rule of the Department of Environment and Conservation 0400-20-10 + IncentiveAuth2DtEff 05012012 + Incentive...

492

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Grant Program + IncentiveAuthDtEff 2011 + IncentiveAuthLink http:www.tn.govenvironmentenergygrants + IncentiveContAddr Tennessee Department of Environment and...

493

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

ContAddr 11 Kent Street + IncentiveContDept Prince Edward Island Department of Environment, Labour and Justice + IncentiveContDiv Air Quality Permits + IncentiveContPlace...

494

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

locator uses an address based search to find alternative fueling stations including E85 Ethanol, Biodiesel, Compressed Natural Gas, Liquified Petroleum Gas, Liquified Natural...

495

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

PageKeyword Beckons Industries Ltd + , Energy Company + , Biofuels + , India-based algae technology developer for biofuels. + , Mohali + , Chandigarh + , India + Place Mohali,...

496

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

Survey + , Definition:Air Cooling + , Definition:Airborne Gravity Survey + , Definition:Algae + , Definition:Algae fuel + , Definition:Alternating current + , Definition:Alternativ...

497

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

BioEnergy's primary focus is to develop hydrogen + , methane and biodiesel fuels from algae. + , Bloomington + , Indiana + Place Bloomington, Indiana + Product Solarvest...

498

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

+ , Solar + , The Aurantia Group is involved with a wide range of projects dealing with algae biomass + , solar technology + , landfill gas + , and municipal solid waste. + ,...

499

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

company that manufactures and sells closed-loop photobioreactor systems for growing algae. + , Santa Ana + , California + Place Santa Ana, California + Product California-based...

500

Browse wiki | Open Energy Information  

Open Energy Info (EERE)

DKRW Advanced Fuels LLC + , Energy Company + , Focues on projects that utilise coal gasification technology + , including coal-to-liquids + , methanation + , and...