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

Semantic MediaWiki GeoChart | OpenEI Community  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia:FAQ < RAPID Jump to:Seadov Pty Ltd Jump to: navigation, search Name:OpenOpen EnergySelva 1 GeothermalMediaWiki

2

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

Open Energy Info (EERE)

on this Please check out http:en.openei.orgcommunityblogopenei-downloadupload-automation-scripts Rmckeel on 10 October, 2012 - 10:00 Groups Menu You must login in order to...

3

MediaWiki API  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia: Energy Resources Jump to:46 - 429Lacey,(MonasterLowellisMcDonald is aElectric Coop, Incxml

4

MediaWiki API  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: VegetationEquipment Surfaces andMapping the NanoscaleMechanical BehaviorSummerwelcome day of event

5

Semantic Mediawiki | OpenEI Community  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New EnergyAnatoliaScira OffshoreMediawiki Home Jweers's

6

V-236: MediaWiki CentralAuth Extension Authentication Bypass Vulnerability  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear SecurityTensile Strain Switched Ferromagnetism inS-4500II Field EmissionFunctionalPortalV > 111 \il3:

7

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

Energy Savers [EERE]

Web: http:energy.govcioservicesincident-management E-mail: circ@jc3.doe.gov JC3 services are available to JC3-Joint Cybersecurity Coordination Center, and JC3 Contractors....

8

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

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Power BasicsGermany: EnergyPowerInformationHomer Electric| OpenEI|OpenEI

9

Microcontrollers Images: http://en.wikipedia.org/wiki/File:Digital_Multimeter_Aka.jpg, http://en.wikipedia.org/wiki/File:Resistors_color_code.jpg, http://en.wikipedia.org/wiki/File:Lm356.jpg , http://en.wikipedia.org/  

E-Print Network [OSTI]

://en.wikipedia.org/wiki/File:Digital_Multimeter_Aka.jpg, http://en.wikipedia.org/wiki/File:Resistors_color_code.jpg, http://en.wikipedia.org/wiki/File:Lm356.jpg://en.wikipedia.org/wiki/File:Digital_Multimeter_Aka.jpg, http://en.wikipedia.org/wiki/File:Resistors_color_code.jpg, http://en.wikipedia.org/wiki/File:Lm356.jpg://en.wikipedia.org/wiki/File:Digital_Multimeter_Aka.jpg, http://en.wikipedia.org/wiki/File:Resistors_color_code.jpg, http://en.wikipedia.org/wiki/File:Lm356.jpg

Smith, James Andrew

10

Design wiki: a system for design sharing  

E-Print Network [OSTI]

Design wiki: a system for design sharing Wael A. Abdelhameed, Yoshihiro Kobayashi #12;Wael of Bahrain. His research areas are 3D Modeling Systems, Computing Architecture, Virtual Reality, Design Process, Visual Design Thinking and Digital and Manual Media Interaction. Yoshihiro Kobayashi is a Faculty

11

architecture team wiki: Topics by E-print Network  

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

supporting the quick and simple creation, sharing and management of content on the web. Semantic wikis improve this by semantically enriched content. Currently, notable...

12

NAMA Database Wiki | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Powerstories onFocus Area EnergyMohawkaccrediation ofInformationCoop,Wiki

13

Nama Database Wiki | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia: Energy Resources Jump to:46 -Energieprojekte3Informationof Energy Calculator29 JumpNama Database Wiki Jump

14

Check valve  

DOE Patents [OSTI]

A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion.

Upton, Hubert Allen (Morgan Hill, CA); Garcia, Pablo (Stanford, CA)

1999-08-24T23:59:59.000Z

15

Check valve  

DOE Patents [OSTI]

A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion. 5 figs.

Upton, H.A.; Garcia, P.

1999-08-24T23:59:59.000Z

16

Mail2Wiki: Low-cost Sharing and Early Curation from Email to Wikis  

E-Print Network [OSTI]

Alto Research Center (PARC) Palo Alto, California {firstname.lastname}@parc.com Xerox Research Centre Bouchard, Gregorio Convertino*, Thiebaud Weksteen, Nicholas Kong*, Cedric Archambeau, Ed H. Chi*1 *Palo tools. One such limitation is a very small population willing to edit and maintain enterprise wiki pages

Chi, Ed Huai-hsin

17

ClimateTechWiki | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy ResourcesInformation istype ofdefinedClimateTechWiki

18

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

19

Records Schedule Contractor Checks  

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

The Treasliry's Financial Management Service (FMS) R11rea11 has cited that the forensic value of orizinal checks are ncedcd to pursue forgery cases in accordance with the...

20

mediawiki | OpenEI Community  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating SolarElectric Coop,SaveWhiskey Flatshydro Home Water Powerlaunch Home Kch's

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

OpenEI Community - mediawiki  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 No revision hasInformation Earth'sOklahoma/Geothermal < Oklahomast, 2012CoastfredResult Formats on OpenEI

22

Vendor Check-In Vendor Check-In Times  

E-Print Network [OSTI]

Vendor Check-In Vendor Check-In Times: 8:00am ­ 10:00am All vendors must check-in and have early. Participants may begin arriving as early as 10:00am. Vendor Parking is only available in the Vendor Parking Lot off of California Ave. Please refer to Vendor Parking Information. CHECK-IN PROCESS

Rose, Michael R.

23

STEP Intern Reference Check Sheet  

Broader source: Energy.gov [DOE]

STEP Intern Reference Check Sheet, from the Tool Kit Framework: Small Town University Energy Program (STEP).

24

Check Estimates and Independent Costs  

Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

Check estimates and independent cost estimates (ICEs) are tools that can be used to validate a cost estimate. Estimate validation entails an objective review of the estimate to ensure that estimate criteria and requirements have been met and well documented, defensible estimate has been developed. This chapter describes check estimates and their procedures and various types of independent cost estimates.

1997-03-28T23:59:59.000Z

25

Integrity Checking for Uncertain Data Hendrik Decker  

E-Print Network [OSTI]

, and to check them by making use of well-known methods for integrity checking. In the remainder of the paper, weIntegrity Checking for Uncertain Data Hendrik Decker Instituto Tecnol´ogico de Inform´atica E as semantic integrity constraints. Thus, imposing and checking such constraints provides a better control over

Martinenghi, Davide

26

DRIVER RECORD CHECK REQUEST FORM  

E-Print Network [OSTI]

DRIVER RECORD CHECK REQUEST FORM This form must be submitted to the Sport Clubs Office at least TWO weeks prior to your club's departure and serves as a request for permission to become an approved driver, please email us at sportclb@umn.edu or call 612-625-6017. Driver Information *Enter the following

Amin, S. Massoud

27

Pet Groomer? Check this out....  

E-Print Network [OSTI]

Want to be a Pet Groomer? Check this out.... Costs for Students Registering through UNH Continuing. For more information and an application, contact: Thompson School of Applied Science Pet Grooming Diploma Program in Pet Grooming University of New Hampshire Thompson School of Applied Science Applied Animal

New Hampshire, University of

28

REFERENCE AND BACKGROUND CHECK PROCESS  

E-Print Network [OSTI]

REFERENCE AND BACKGROUND CHECK PROCESS Workforce Planning | 408-924-2250 classcomp process. Workforce Planning will arrange this directly with the finalist(s) once the hiring manager has provided the finalist(s) name(s) to Workforce Planning. An exception to this process is for any candidates

Su, Xiao

29

OpenEI Community - Semantic Mediawiki  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Powerstories onFocus AreaDataBusPFAN)ChangeOnPAC EnergyperMulticolor Maps from

30

ACCOUNTS PAYABLE CHECK REQUEST FORM Vendor Name  

E-Print Network [OSTI]

ACCOUNTS PAYABLE CHECK REQUEST FORM Vendor Name Remit to Address City State Zip Code SECTION 2 INSTRUCTIONS Use the link to view approved categories. Vendor Number (if known) DP Requester AP Entry Check

de Lijser, Peter

31

Model-Checking A Tutorial Introduction  

E-Print Network [OSTI]

Model-Checking A Tutorial Introduction Markus M¨uller-Olm1 , David Schmidt2 , and Bernhard Steffen1

Müller-Olm, Markus

32

Dynamic Testing of Check Valves William Rahmeyer  

E-Print Network [OSTI]

the web site http://www.engineering.usu.edu/Departments/cee/Faculty/rahm/check.html INTRODUCTION The twoDynamic Testing of Check Valves William Rahmeyer Professor of Civil and Environmental Engineering rahmeyer@fs.uwrl.usu.edu http://www.engineering.usu.edu/Departments/cee/Faculty/rahm/check.html #12

Rahmeyer, William J.

33

Local Model Checking Games (Extended Abstract)  

E-Print Network [OSTI]

University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@uk.ac.ed.dcs 1 Introduction Model checking is a very to view this method as essentially algorithmic, and consequently a very fruitful relationship between that in the nite-state case these two approaches, model checking as essentially algorithmic and model checking

Stirling, Colin

34

Local Model Checking Games (Extended Abstract)  

E-Print Network [OSTI]

University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@uk.ac.ed.dcs 1 Introduction Model checking is a very to view this method as essentially algorithmic, and consequently a very fruitful relationship between that in the finite­state case these two approaches, model checking as essentially algorithmic and model checking

Stirling, Colin

35

Payroll Check Direct Deposit Authorization  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLas ConchasPassive Solar Home Design Passive Solar Home Design June 24,F.Payroll Check Direct

36

Fire Alarm Testing and Inspection Planning and Vendor Check In/Check Out Process  

E-Print Network [OSTI]

Fire Alarm Testing and Inspection Planning and Vendor Check In/Check Out Process DOCUMENT PURPOSE This process is used for fire alarm testing and inspection pre-work planning and vendor check in and check out. BUILDING NAME/#: ___________________/_____ VENDOR: ________________________ TECHNICIAN

Webb, Peter

37

Static Consistency Checking for Distributed Specifications  

E-Print Network [OSTI]

Static Consistency Checking for Distributed Specifications Christian Nentwich, Wolfgang Emmerich, UK {c.nentwich,w.emmerich,a.finkelstein}@cs.ucl.ac.uk Abstract Software engineers building a complex

Finkelstein, Anthony

38

Fortuna: Model Checking Priced Probabilistic Timed Automata  

E-Print Network [OSTI]

Fortuna: Model Checking Priced Probabilistic Timed Automata Jasper Berendsen, David N. Jansen.O. Box 9010, 6500 GL Nijmegen, the Netherlands Abstract. We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real

Vaandrager, Frits

39

Completeness and Complexity of Bounded Model Checking #  

E-Print Network [OSTI]

of an exponent between this procedure and standard LTL model checking. We discuss ways to bridge this gap by the Semiconductor Research Corporation (SRC) under contract no. 99­TJ­684, the National Science Foundation (NSF

Ouaknine, Joël

40

Completeness and Complexity of Bounded Model Checking  

E-Print Network [OSTI]

of an exponent between this procedure and standard LTL model checking. We discuss ways to bridge this gap reaches some pre-computed threshold, which indicates that This research is supported by the Semiconductor

Ouaknine, Joël

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

Computational fact checking from knowledge networks  

E-Print Network [OSTI]

Traditional fact checking by expert journalists cannot keep up with the enormous volume of information that is now generated online. Computational fact checking may significantly enhance our ability to evaluate the veracity of dubious information. Here we show that the complexities of human fact checking can be approximated quite well by finding the shortest path between concept nodes under properly defined semantic proximity metrics on knowledge graphs. Framed as a network problem this approach is feasible with efficient computational techniques. We evaluate this approach by examining tens of thousands of claims related to history, entertainment, geography, and biographical information using a public knowledge graph extracted from Wikipedia. Statements independently known to be true consistently receive higher support via our method than do false ones. These findings represent a significant step toward scalable computational fact-checking methods that may one day mitigate the spread of harmful misinformation...

Ciampaglia, Giovanni Luca; Rocha, Luis M; Bollen, Johan; Menczer, Filippo; Flammini, Alessandro

2015-01-01T23:59:59.000Z

42

Asserting and Checking Determinism for Multithreaded Programs  

E-Print Network [OSTI]

Asserting and Checking Determinism for Multithreaded Programs Jacob Burnim EECS Department, UC provided that copies are not made or distributed for profit or commercial advantage and that copies bear

Sen, Koushik

43

Bicycle Check Out/Check In Top section to be completed by Welcome Desk Staff Only  

E-Print Network [OSTI]

Bicycle Check Out/Check In Top section to be completed by Welcome Desk Staff Only Name-mail: _________________________________________ Bicycle #:__________ Helmet #:________ Pannier #:________ Date and Time Out: ______________________ (bicycle must be returned by the end of Recreation Center daily operating hours) Date and Time In

Massachusetts at Lowell, University of

44

Check Out - Combustion Energy Frontier Research Center  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation Proposed New Substation SitesStandingtheirCheck In & Registration Check In &FAQ »

45

Efficient Model Checking of PSL Safety Properties Tuomas Launiainen  

E-Print Network [OSTI]

to be checked are safety properties. This work presents an efficient approach to model check safety properties properties. In this work we present an approach for model checking of safety properties expressed in PSLEfficient Model Checking of PSL Safety Properties Tuomas Launiainen Department of Information

Heljanko, Keijo

46

Keep new concepts Check cognition level  

E-Print Network [OSTI]

point "cold" topic "hot" topicTop HealthScience Nuclear Energy Safety& Accidents Concepts at time point· Keep new concepts · Check cognition level = number of news {Japan, nuclear, disaster · Multilingual Wikipedia history analysis Japan footballteam national nuclear disaster Set of candidates per time

Chaudhuri, Surajit

47

ModelChecking A Tutorial Introduction  

E-Print Network [OSTI]

Model­Checking A Tutorial Introduction Markus M¨uller­Olm 1 , David Schmidt 2 , and Bernhard to provide a practitioner with a basis she #12; 2 Markus M¨uller­Olm, David Schmidt, and Bernhard Steffen x=0

Schmidt, David A.

48

Fortuna: Model Checking Priced Probabilistic Timed Automata  

E-Print Network [OSTI]

Fortuna: Model Checking Priced Probabilistic Timed Automata Jasper Berendsen, David N. Jansen, the Netherlands Email: jasperb,dnjansen,fvaan @cs.ru.nl Abstract--We introduce FORTUNA, the first tool for model of probabilistic timed automata (PTAs) with cost-rates and discrete cost increments on states. FORTUNA is able

Vaandrager, Frits

49

Software-Based Concurrent Control Flow Checking  

E-Print Network [OSTI]

overhead and moderate program size overhead. It was evaluated on di erent architectures. Error coverage the program code. At run-time, a simple watchdog processor monitors the address and data lines. Using and design of the preprocessor. Our checking algorithm is presented in section 4. An example of a modi ed

Fey, Dietmar

50

CRADA CHECKLIST For Your Convenience, check off  

E-Print Network [OSTI]

CRADA CHECKLIST For Your Convenience, check off: CRADA Clearance form fill in everything (except CRADA #); put "N/A" or "0" when box is not applicable make sure that the person-year box totals match, disease states, etc. must be listed if they are to be considered part of the CRADA research (you cannot

Baker, Chris I.

51

http://en.wikipedia.org/wiki/Booting2 In computing, booting (also known as booting up) is a process that begins when a user turns on a3  

E-Print Network [OSTI]

Booting1 http://en.wikipedia.org/wiki/Booting2 In computing, booting (also known as booting up. The boot sequence is the initial set of operations5 that the computer performs when power is switched on. A boot loader is a computer program that typically6 loads the main operating system or runtime

South Bohemia, University of

52

The SolarWiki Solar energy is the only inexhaustible energy source abundant enough to satisfy all the energy needs of our planet, but  

E-Print Network [OSTI]

The SolarWiki Solar energy is the only inexhaustible energy source abundant enough to satisfy all the energy needs of our planet, but is only practical if an extensive solar-based infrastructure can of this infrastructure that efficiently harnesses solar energy is one of the greatest scientific, technological, economic

53

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

54

Image credits from left to right, top to bottom: https://en.wikipedia.org/wiki/File:Trek_Y_Foil.jpg; http://www.cantat-associates.com/gfrpbridge; http://science.howstuffworks.com/prosthetic-limb2.htm; https://en.wikipedia.org/wiki/File:Golf_clubs.jpg;  

E-Print Network [OSTI]

/skylarkseatrial1.JPG; https://en.wikipedia.org/wiki/File:X-51A_Waverider.jpg Ceramic Matrix Composites Research in everyday applications are ceramic matrix composites (CMCs). These composites are special types of materials, ceramic matrix composites are very expensive (e.g. $10,000 for a 1 ft. x 1 ft. sample). This limits

Roy, Subrata

55

A VSLI design rule check program generator  

E-Print Network [OSTI]

A VLSI DESIGN RULE CHECK PROGRAM GENERATOR A Thesis bi ANN ELIZABETH GELBER HARWOOD Submitted to the Graduate College of Texas A8cM University in partial fulhllment of the requirement for the degree of MASTER OF SCIENCE December 1985 Major... TO VLSI DESIGN AT TEXAS A8cM UNIVERSITY" 64 70 TABLE OF CONTENTS (Continued) Page APPENDIX C APPENDIX D APPENDIX E VITA LYRA RULESET FOR T. I. DESIGN RULES AMRULES RULESET FOR MAKEDRC PROGRAM LISTINGS 82 86 , 121 LIST OF TABLES Table I...

Harwood, Ann Elizabeth Gelber

1985-01-01T23:59:59.000Z

56

Check Heat Transfer Surfaces | Department of Energy  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarly Career Scientists'Montana. DOCUMENTS AVAILABLE FORSuperior Energy5-1 Chapter 5 Loswhen to check andthe

57

Semantic Mediawiki Semantic Forms update | OpenEI Community  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar PowerstoriesNrelPartnerTypePonsa, Mallorca: EnergySecondary EnergyGHG

58

Course Materials • ALWAYS check the MA 15300 website FIRST ...  

E-Print Network [OSTI]

policies and understand all the course materials on the website. • ALWAYS check the MA 15300 · website FIRST when searching for class information.

Devlin, Patrick M

2015-01-03T23:59:59.000Z

59

Termination and Reduction Checking for HigherOrder Logic Programs  

E-Print Network [OSTI]

Termination and Reduction Checking for Higher­Order Logic Programs Brigitte Pientka Department, we present a syntax­directed termination and reduction checker for higher­order logic programs and output of well­moded predicates. These reduction con­ straints are exploited during termination checking

Pientka, Brigitte

60

Termination and Reduction Checking for Higher-Order Logic Programs  

E-Print Network [OSTI]

Termination and Reduction Checking for Higher-Order Logic Programs Brigitte Pientka Department, we present a syntax-directed termination and reduction checker for higher-order logic programs and output of well-moded predicates. These reduction con- straints are exploited during termination checking

Pientka, Brigitte

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

Instruction Guide Paying Vendors: Checking Vouchers for Errors  

E-Print Network [OSTI]

Instruction Guide Paying Vendors: Checking Vouchers for Errors and Match Exceptions Updated the Pay Terms on the voucher · Changing the Vendor or Vendor address · Vouchering a PO that have receipts link or the Error Summary tab. #12;Instruction Guide Paying Vendors: Checking Vouchers for Errors

Watson, Craig A.

62

Designing programs that check their work \\Lambda Manuel Blum  

E-Print Network [OSTI]

Designing programs that check their work \\Lambda Manuel Blum Comp. Sci. Division U. of California Classification D.2.4 F.2.0 F.3.1 G.3 Abstract A program correctness checker is an algorithm for checking the output of a computation. That is, given a program and an instance on which the program is run

Plotkin, Joshua B.

63

Formal Proof of Abstract Model Checking of Concurrent Garbage Collection  

E-Print Network [OSTI]

, the correctness of abstraction is not always easy to verify. In our pre- vious work, we applied abstract model with that of proving the concrete system from scratch (not by abstract model checking). In our previous work [6], whichFormal Proof of Abstract Model Checking of Concurrent Garbage Collection Koichi Takahashi Masami

Hagiya, Masami

64

Verification of Parallel Garbage Collection by Abstract Model Checking  

E-Print Network [OSTI]

have a finite state space provided that the abstraction mapping is powerful. M¨uller and Nipkow's work working on abstract model checking. In Section 4, the abstractions we defined on garbage #12; collectionVerification of Parallel Garbage Collection by Abstract Model Checking (Extended Abstract) Masami

Hagiya, Masami

65

FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB  

E-Print Network [OSTI]

FD- 258) and submits the fingerprint card to the Federal Bureau of Investigation (FBI) for identification and a criminal history records check. The FBI will return the results of its records check risks, criminal record information will be obtained from the FBI under the guideline of this policy

Eirinaki, Magdalini

66

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

67

Please complete the following information, check the meeting date you plan to attend, and return, along with $15 registration fee (checks or money order only), via mail  

E-Print Network [OSTI]

, along with $15 registration fee (checks or money order only), via mail to: Brittany Dittemore Headwaters

Guiltinan, Mark

68

When Model Checking Met Deduction Computer Science Laboratory  

E-Print Network [OSTI]

Park, CA Sep 19, 2014 #12;Alan Turing It is of course important that some efforts be made to verify hold in each case. Alan Turing (quoted by D. MacKenzie in Risk and Reason) N. Shankar Model checking

Clarke, Edmund M.

69

Behavioral Model Equivalence Checking for Large Analog Mixed Signal Systems  

E-Print Network [OSTI]

is solved by interfacing a sequential quadratic programming (SQP) based optimizer with commercial circuit simulation tools, such as CADENCE SPECTRE. The proposed methodology is then applied for equivalence checking of a PLL as a test case and results...

Singh, Amandeep

2012-07-16T23:59:59.000Z

70

Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein  

E-Print Network [OSTI]

Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein Department of Computer Science University College London Gower Street, London, WC1E 6BT UK {c.nentwich,w.emmerich

Finkelstein, Anthony

71

Checking Herbrand Equalities and Beyond Markus Muller-Olm1  

E-Print Network [OSTI]

Checking Herbrand Equalities and Beyond Markus M¨uller-Olm1 , Oliver R¨uthing1 , and Helmut Seidl2 M¨uller-Olm, Oliver R¨uthing, and Helmut Seidl This deficiency is still present in the algorithm

Müller-Olm, Markus

72

Smog Check II Evaluation Part II: Overview of Vehicle  

E-Print Network [OSTI]

Smog Check II Evaluation Part II: Overview of Vehicle Emissions . . . . . . . . . . . . Prepared in Later Sections ____________________ 1 3. Older Vehicles Have Higher Emissions on Average _____________ 3 4. The Vehicle Fleet Is Dominated by Newer Vehicles______________ 8 5. More Recent Vehicle Models

Denver, University of

73

Specifying and Checking Semantic Atomicity for Multithreaded Programs  

E-Print Network [OSTI]

Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula or commercial advantage and that copies bear this notice and the full citation on the first page. To copy

Necula, George

74

WLDF 311 Treefrog Study; Fall 2007 Pipe Checking Protocol  

E-Print Network [OSTI]

WLDF 311 Treefrog Study; Fall 2007 Pipe Checking Protocol: 1. Arrange time to meet/travel to study that each pipe is checked. If there is a frog(s), then: a. Take the trap off the stake without letting frogs). If the frogs don't come out, put some more water in the pipe, swirl and "swoosh" them out. b. Pick up each frog

Johnson, Matthew

75

Vector network analyzer check standards measurements and database software  

SciTech Connect (OSTI)

Vector network analyzers provide a convenient way to measure scattering parameters of a variety of microwave devices. However, these instruments, unlike oscilloscopes, require a high degree of user knowledge and expertise. Measurement calibration or error correction must be done prior to use. There are many ways to make poor measurement or measurement. Check standards have been used to verify that the network analyzer is operating properly. A computer program was developed to automatically measure a check standard and compare the new measurements with an historical database of measurements of the check standard device. The program can acquire new measurement data from selected check standards, plot the new data against the mean and standard deviation of prior data for the check standard, and update the database files for the check standard. This paper describes the function of the software including a discussion of its capabilities. The way in which the software is used in our lab is also described. Finally, examples are given of how the software can detect potential measurement problems.

Duda, L.E.

1996-05-01T23:59:59.000Z

76

Instructions to obtain the FBI background check Long-Stay Valencia Students The FBI Background Check is the first step in a two-part process. The FBI Background Check takes 4-6  

E-Print Network [OSTI]

Instructions to obtain the FBI background check Long-Stay Valencia Students The FBI Background Check is the first step in a two-part process. The FBI Background Check takes 4-6 weeks for processing form, fingerprint card and payment--to the following address: FBI CJIS Division ­ Record Request 1000

Hull, Elaine

77

Check In & Registration - Combustion Energy Frontier Research Center  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation Proposed New Substation SitesStandingtheirCheck In & Registration Check In &

78

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

Pawlowski, Wojtek

79

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.

80

Termination Checking: Comparing Structural Recursion and Sized Types by Examples  

E-Print Network [OSTI]

Termination Checking: Comparing Structural Recursion and Sized Types by Examples David Thibodeau Decemer 3, 2011 Abstract Termination is an important property for programs and is necessary for formal proofs to make sense. In order to make sure that a program using recursion is terminating, one can use

Abel, Andreas

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

Detecting Termination of Active Database Rules Using Symbolic Model Checking  

E-Print Network [OSTI]

Detecting Termination of Active Database Rules Using Symbolic Model Checking Indrakshi Ray is the non-termination of rules. Although algorithms have been proposed to detect non-termination, al- most all provide a conservative estimate; that is, the algorithms detect all the potential cases of non-termination

Ray, Indrakshi

82

Eoeective Recognizability and Model Checking of Reactive Fioeo Automata  

E-Print Network [OSTI]

Electre. For this, we deøne a particular behavioral model for Electre programs, Reactive Fioeo Au­ tomata speciøed with the reactive language Electre [CR95]. A reactive pro­ gram is supposed to reactEoeective Recognizability and Model Checking of Reactive Fioeo Automata G. Sutre 1 , A. Finkel 1

Sutre, Grégoire

83

National propane safety week caps fifth anniversary of GAS Check  

SciTech Connect (OSTI)

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

84

Equivalence Checking for Function Pipelining in Behavioral Synthesis  

E-Print Network [OSTI]

on subtle design invariants. Function pipelining (a.k.a. system-level pipelining) is an important, correct-by-construction abstraction of function pipeline; thus, instead of developing pipelineEquivalence Checking for Function Pipelining in Behavioral Synthesis Kecheng Hao, Sandip Ray

Xie, Fei

85

Check BMail account University sends all official communications  

E-Print Network [OSTI]

Binghamton email account (BMail) at bmail.binghamton.edu. Check financial aid application status online · Log) · An insurance company, scholarship program, loan company or other third party may require student and/or family will be reflected. · To access NSC, log into BU BRAIN,"Records" tab. · For complete details and how-to steps go

Suzuki, Masatsugu

86

Web Service Composition: a Reality Check Jianguo Lu, 2  

E-Print Network [OSTI]

- 1 - Web Service Composition: a Reality Check 1 Jianguo Lu, 2 Yijun Yu, 1 Debashis Roy, 1 Deepa Department, The Open University y.yu@open.ac.uk Abstract Automated web service composition is one dynamically and automatically. To investigate the methods for composite web service construction, we conducted

Lu, Jianguo

87

Checking Session-Oriented Interactions between Web Services  

E-Print Network [OSTI]

Checking Session-Oriented Interactions between Web Services Pavel Parizek1 , Jiri Adamek1,2 1 of Sciences of the Czech Republic, Institute of Computer Science Abstract Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services

88

Software Testing via Model Checking Fevzi Belli, Bari Gldali  

E-Print Network [OSTI]

Software Testing via Model Checking Fevzi Belli, Bari Güldali University of Paderborn, Dept-5251 603445/47; Fax: +49-5251 60 3246 Abstract. Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal

Belli, Fevzi

89

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

90

Revising Specifications with CTL Properties using Bounded Model Checking  

E-Print Network [OSTI]

Revising Specifications with CTL Properties using Bounded Model Checking No Author Given that inconsistencies arise between the formal specification and some desired property. Belief Revision deals. In this paper, we propose the use of belief revision techniques in order to deal with inconsistencies in formal

Finger, Marcelo

91

Page 1 September 2014EMC'2014 Software Model Checking  

E-Print Network [OSTI]

Page 1 September 2014EMC'2014 Dynamic Software Model Checking Patrice Godefroid Microsoft Research #12;Page 2 September 2014EMC'2014 Ed Clarke: A man, An idea... · LASER'2011 summer school (Elba island, Italy) #12;Page 3 September 2014EMC'2014 Ed Clarke: A man, An idea... · LASER'2011 summer school (Elba

Clarke, Edmund M.

92

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

93

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

94

The Perfect ``Spy'' for Model-Checking Cryptoprotocols  

E-Print Network [OSTI]

its inference system, in the process algebra CSP. Techniques for keeping the state space within Processes (CSP), as are specifications such as confidentiality. The model checking exploits (and has in turn attractive decomposition would provide a two-state process for each possible ``fact'', essentially

Roscoe, Bill

95

Rev. January 30, 2012 1 REFERENCE and BACKGROUND CHECK  

E-Print Network [OSTI]

Rev. January 30, 2012 1 REFERENCE and BACKGROUND CHECK PROCESS HUMAN RESOURCES Workforce Planning, as allowed by law, and consistent with the job described. The appropriate Workforce Planning Analyst the documentation. (Please note that the review will take place in Human Resources, under a Workforce Planning

Eirinaki, Magdalini

96

Check it out! -1 -| P a g e  

E-Print Network [OSTI]

sustainable living guide. I - Courtesy of R.Millar ConsumptionCheck it out! #12;- 1 - | P a g e Making sustainable choices are beneficial not only to the nature from beginner to advanced sustainability practices, so you can do you! Enjoy the B.U. Be Green

97

Removable check valve for use in a nuclear reactor  

DOE Patents [OSTI]

A removable check valve for interconnecting the discharge duct of a pump and an inlet coolant duct of a reactor core in a pool-type nuclear reactor. A manifold assembly is provided having an outer periphery affixed to and in fluid communication with the discharge duct of the pump and has an inner periphery having at least one opening therethrough. A housing containing a check valve is located within the inner periphery of the manifold. The upper end of the housing has an opening in alignment with the opening in the manifold assembly, and seals are provided above and below the openings. The lower end of the housing is adapted for fluid communication with the inlet duct of the reactor core.

Dunn, Charlton (Calabasas, CA); Gutzmann, Edward A. (Simi Valley, CA)

1988-01-01T23:59:59.000Z

98

Formalization of the data flow diagram rules for consistency check  

E-Print Network [OSTI]

In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system. DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and its rules for drawing and defining the diagrams. We then formalize these rules and develop the tool based on the formalized rules. The formalized rules for consistency check between the diagrams are used in developing the tool. This is to ensure the syntax for drawing the diagrams is correct and strictly followed. The tool automates the process of manual consistency check between data flow diagrams.

Ibrahim, Rosziati; 10.5121/ijsea.2010.1406

2010-01-01T23:59:59.000Z

99

Patterned Fabric Know - How (Plaids, Stripes, Checks, and Figured Designs).  

E-Print Network [OSTI]

DC \\1\\245.7 '13 Fbiterned Fabric mow-Kbw Contents Design Principles and Patterned Fabrics Pattern Selection Fabric Construction Selecting and Preparing Fabric Kinds of Plaids and Stripes Pri nts Other Patterned Fabrics Combining..., Stripes, Checks and Figured Designs) Extension Clothing Specialists The Texas A&M University System Patterned fabrics provide an interesting di mension to anyone's wardrobe. In a garment or as an accent, patterned fabrics are colorful and ex citing...

Anoymous,

1984-01-01T23:59:59.000Z

100

SEP Success Story: Library Patrons in New York Check-Out Renewable...  

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

Library Patrons in New York Check-Out Renewable Energy SEP Success Story: Library Patrons in New York Check-Out Renewable Energy December 27, 2011 - 10:05am Addthis The public...

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

Energy Savings Tips on the Go: Check Out the New Energy Savers...  

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

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

102

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

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

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

103

Turbo Codes are Low Density Parity Check Codes David J. C. MacKay  

E-Print Network [OSTI]

Turbo Codes are Low Density Parity Check Codes David J. C. MacKay July 8, 1998--- Draft 0.2, not for distribution! (First draft written July 5, 1998) Abstract Turbo codes and Gallager codes (also known as low note that the parity check matrix of a Turbo code can be written as low density parity check matrix

MacKay, David J.C.

104

Instructions to obtain apostille certification of the FBI background check (Valencia Year-Long Students)  

E-Print Network [OSTI]

Instructions to obtain apostille certification of the FBI background check (Valencia Year-Long Students) Once you have received the FBI background check. You will need to proceed with step two, obtain not waste time submitting your FBI Background Check for certification. 1.) Complete the DS-4194 Request

Hull, Elaine

105

INTENT TO ENROLL ADVANCED TUITION DEPOSIT BY CHECK/MONEY ORDER  

E-Print Network [OSTI]

ATDP INTENT TO ENROLL ADVANCED TUITION DEPOSIT BY CHECK/MONEY ORDER Important Note: Complete Deposit with a check or money order made payable to Portland State University. This $200 deposit in courses at Portland State University for fall term. Enclosed is a check/money order made payable

106

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

107

SciTech Connect: Unitarity check in gravitational Higgs mechanism  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administrationcontroller systemsBi (2) Sr (2) CawithMicrofluidicJournal Article: Unitarity check in

108

Check Burner Air to Fuel Ratios | Department of Energy  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarly Career Scientists'Montana. DOCUMENTS AVAILABLE FORSuperior Energy5-1 Chapter 5 Loswhen to check and

109

Reducing pressure loss of large diameter check valves  

SciTech Connect (OSTI)

Transcend Inc., a consulting firm that specializes in the use of computer simulation to optimize existing equipment and system designs, was approached by Mannesmann Demag AG, Moenchengladbach, Germany to optimize the design of its DRV-B check valve. In one of the first applications of Computational Fluid Dynamics (CFD) technology to valve design, the pressure loss coefficient (K) of the DRV-B valve was lowered to 0.40--0.50 for valve sizes NPS48--NPS12, the lowest possible level for this type of valve. The flow efficiency is three times better than that of the earlier design. As a result, the optimized Mannesmann Demag DRV-B check valve provides a dramatic reduction in operating cost, particularly in transmission service where natural gas is transported over long distances. The reduced pressure loss saves compressor fuel cost. For the optimized valve, the incremental compressor fuel cost is reduced to 1.5-times the capital cost of the valve calculated over a 20-year Life Cycle Cost (LCC) period.

NONE

1997-09-01T23:59:59.000Z

110

11/22/11 Energ polic of the United States -Wikipedia, the free enc clopedia 1/22en.wikipedia.org/wiki/Energ _polic _of_the_United_States  

E-Print Network [OSTI]

11/22/11 Energ polic of the United States - Wikipedia, the free enc clopedia 1/22en.wikipedia.org/wiki/Energ _polic _of_the_United_States Energ polic of the United States F Wi i edia, he f ee e c c edia The energ e g efficie c 5.1 E e g efficie c ac i a 6 E e g b dge , i i ia i e a d i ce i e 6.1 B dge 6.2 P b

Kostic, Milivoje M.

111

NUPRO process vent/MCO check valve - prevent backflow from process vent into MCO  

SciTech Connect (OSTI)

NUPRO process vent/MCO check valve - prevent backflow from process vent into MCO CGI-SNF-D-30-3-P4-040.

VAN KATWIJK, C.

1999-07-01T23:59:59.000Z

112

A project health check for coal mining caompanies : case of Douglas Middelburg optimisation project .  

E-Print Network [OSTI]

??The purpose of the study is to develop a project health check model to evaluate the status of projects within the coal mining industry. The… (more)

De Wet, G.F.

2007-01-01T23:59:59.000Z

113

Page 1 of 14 5/2010 LBNL Construction Safety Check List  

E-Print Network [OSTI]

Page 1 of 14 5/2010 LBNL Construction Safety Check List Safety Check List MUST be posted at the job (LBNL) Project Manager for review and final approval the LBNL Construction Safety Engineer must reviewed performing work at LBNL. These items and all other requirements in the contractual documents will be enforced

Knowles, David William

114

Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC  

E-Print Network [OSTI]

(RPS) in Korea. Our approach is effective to check equivalence between FBDs and ANSI-C programs: Equivanelce Checking, Behavioral Consistency, FBDs, Ver- ilog, ANSI-C, HW-CBMC. 1 Introduction Controllers Heidelberg 2011 #12;398 D.-A. Lee, J. Yoo, and J.-S. Lee FBDs program into ANSI-C program to compile

115

A Tool for Checking ANSI-C Programs Edmund Clarke, Daniel Kroening, and Flavio Lerda  

E-Print Network [OSTI]

A Tool for Checking ANSI-C Programs Edmund Clarke, Daniel Kroening, and Flavio Lerda Carnegie Mellon University Abstract. We present a tool for the formal verification of ANSI-C pro- grams using Bounded Model Checking (BMC). The emphasis is on us- ability: the tool supports almost all ANSI-C language

Clarke, Edmund M.

116

Context-Bounded Model Checking of LTL Properties for ANSI-C Software  

E-Print Network [OSTI]

Context-Bounded Model Checking of LTL Properties for ANSI-C Software Jeremy Morse1 , Lucas Cordeiro in low-level programming languages like ANSI- C. In this paper, we describe and experiment such as ANSI-C [9, 23, 17]. In context-bounded model checking, the state spaces of such applications

117

SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro  

E-Print Network [OSTI]

SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University to the verification of embedded soft- ware written in ANSI-C. We have extended the encodings from previous SMT. Keywords-Bounded Model Checking; Satisfiability Modulo Theories; Embedded ANSI-C Software; I. INTRODUCTION

118

CONCATENATED CODES BASED ON MULTIDIMENSIONAL PARITY-CHECK CODES AND TURBO CODES  

E-Print Network [OSTI]

CONCATENATED CODES BASED ON MULTIDIMENSIONAL PARITY-CHECK CODES AND TURBO CODES John M. Shea, Florida Abstract--Turbo-codes provide communications near capac- ity when very large interleavers (and parity-check code can be used as an outer code with a turbo code as an inner code in a serial

Wong, Tan F.

119

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with  

E-Print Network [OSTI]

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid accurately model real-world power consumption). We propose Distributed Probabilistic-Control Hybrid Automata and apply existing statistical model- checking techniques. We provide an implementation of a framework

Platzer, André

120

File: How to Meet the Health Check Secure Remote Access Page 1 of 7 January 2013 Security Requirements  

E-Print Network [OSTI]

Requirements Technology Help Desk 412 624-HELP [4357] http://technology.pitt.edu How to Meet the Health Check......................................................................................................................................................................................4 Get Help.....................................................................................................................................................................................................6 Appendix: Anti-virus Tools (Products and Versions) Compatible with the Health Check

Jiang, Huiqiang

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

OpenEI Community - wiki  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Powerstories onFocus AreaDataBusPFAN)ChangeOnPACen 2014Version 2 is

122

wiki | OpenEI Community  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende NewSowitec doWinvest Home Jweers's pictureroadmapwiki Home

123

On the NP-hardness of checking matrix polytope stability and continuous-time switching stability  

E-Print Network [OSTI]

Motivated by questions in robust control and switched linear dynamical systems, we consider the problem checking whether all convex combinations of k matrices in R[superscript ntimesn] are stable. In particular, we are ...

Gurvits, Leonid

124

Checking Design Constraints at Run-time Using OCL and AspectJ  

E-Print Network [OSTI]

Roach, and Cuauhtemoc Munoz TR #09-35 December 2009 Keywords: design constraints, runtime checking Design Constraints at Run-time Using OCL and AspectJ Yoonsik Cheon (1) , Carmen Avila (1) , Steve Roach

Cheon, Yoonsik

125

Tank 30 and 37 Supernatant Sample Cross-Check and Evaporator Feed Qualification Analysis-2012  

SciTech Connect (OSTI)

This report summarizes the analytical data reported by the F/H and Savannah River National Laboratories for the 2012 cross-check analysis for high level waste supernatant liquid samples from SRS Tanks 30 and 37. The intent of this Tank 30 and 37 sample analyses was to perform cross-checks against routine F/H Laboratory analyses (corrosion and evaporator feed qualification programs) using samples collected at the same time from both tanks as well as split samples from the tanks.

Oji, L. N.

2013-03-07T23:59:59.000Z

126

Personal Data Sheet Please print clearly and check all that apply  

E-Print Network [OSTI]

EmplID: ePAF #: 14May2012 Personal Data Sheet Please print clearly and check all that apply New No Signature: Date: #12;Personal Data Sheet Ethnic Groups White: A person having origins in any of the original Hire: Personal Email Address:__________________________________________ Record Update: Please use

Wu, Shin-Tson

127

Title: Employee Background Checks Effective Date: October 1, 2011 Responsible Office: Provost  

E-Print Network [OSTI]

for certain university positions. Such checks, screening, or testing, are outside the scope of this policy. II are defined by the Code of Virginia (§ 2.2-1201.1) as those positions designated by the university as directly for all university positions, except for those exclusions made herein. Contract workers or vendors

Shaw, Leah B.

128

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

129

USING MODEL CHECKING TO DERIVE LOOP BOUNDS OF GENERAL LOOPS WITHIN ANSI-C APPLICATIONS FOR  

E-Print Network [OSTI]

USING MODEL CHECKING TO DERIVE LOOP BOUNDS OF GENERAL LOOPS WITHIN ANSI-C APPLICATIONS for applications written in ANSI-C. The described method uses a model checker and a binary search algorithm with little pro- gramming effort for applications written in ANSI-C. The performance is probably inferior

130

SMT-Based Bounded Model Checking for Embedded ANSI-C Software  

E-Print Network [OSTI]

1 SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro, Bernd Fischer software written in ANSI-C in order to improve scalability and precision in a completely automatic way. We was provided for ANSI-C [5] constructs such as bit-level operations, fixed- point arithmetic, pointers (i

131

Checking Consistency of C and Verilog using Predicate Abstraction and Induction  

E-Print Network [OSTI]

consistency between an ANSI- C program and a circuit given in Verilog using Predicate Abstraction to existing tools that perform predicate abstraction, our approach is SAT-based and allows all ANSI Abstraction, Verilog, SAT, Equivalence Checking #12;1 Introduction ANSI-C is a language designed for best

132

SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro  

E-Print Network [OSTI]

SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University to the verification of embedded soft- ware written in ANSI-C. We have extended the encod- ings from previous SMT and linear arithmetic were considered, but no encoding was provided for ANSI-C [6] constructs such as bit

133

Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer  

E-Print Network [OSTI]

Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer programs or about program components, an abstract model of the environment can be essential in enabling environment behavior with sound abstractions of environment implemen­ tations to form a model

Pasareanu, Corina

134

MetaGame: An Animation Tool for Model-Checking Games  

E-Print Network [OSTI]

MetaGame: An Animation Tool for Model-Checking Games Markus M¨uller-Olm1 and Haiseung Yoo2 1 Fern-Verlag Berlin Heidelberg 2004 #12;164 Markus M¨uller-Olm and Haiseung Yoo careful investigation of the cause

Müller-Olm, Markus

135

MetaGame: An Animation Tool for ModelChecking Games  

E-Print Network [OSTI]

MetaGame: An Animation Tool for Model­Checking Games Markus MË?uller­Olm 1# and Haiseung Yoo 2 1, pp. 163--167, 2004. c # Springer­Verlag Berlin Heidelberg 2004 #12; 164 Markus MË?uller­Olm

Müller-Olm, Markus

136

Soft-Input, Iterative, Reed-Solomon Decoding using Redundant Parity-Check Equations  

E-Print Network [OSTI]

approach to the iterative decoding of Reed-Solomon (RS) codes. The pre- sented methodology utilizesSoft-Input, Iterative, Reed-Solomon Decoding using Redundant Parity-Check Equations Jason Bellorado techniques is achievable with the presented methodology. The complexity of the proposed algorithm is orders

Kavcic, Aleksandar

137

Compositionality in Real-Time Model Checking Jasper Berendsen and Frits Vaandrager  

E-Print Network [OSTI]

Compositionality in Real-Time Model Checking Jasper Berendsen and Frits Vaandrager Radboud Universiteit Nijmegen Laquso Lunch Colloquium, 8 november 2007 Jasper Berendsen and Vaandrager Compositionality Modules, etc, CCS, I/O automata, ACP, mCRL2, etc Lamport: "In reality there are only states" Jasper

Vaandrager, Frits

138

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

E-Print Network [OSTI]

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

Selvarathinam, Anand Manivannan

2005-11-01T23:59:59.000Z

139

Making Automated Building Code Checking A Reality1 Charles S. Han, John Kunz, Kincho H. Law  

E-Print Network [OSTI]

in the September/October 1997 issue of Facility Management Journal 1 #12;2. A Building Model Standard In orderMaking Automated Building Code Checking A Reality1 Charles S. Han, John Kunz, Kincho H. Law Center set of building codes. The complexity and changing nature of codes leads to delays in both the design

Stanford University

140

Directed and Heuristic Counterexample Generation for Probabilistic Model Checking -A Comparative Evaluation  

E-Print Network [OSTI]

, knwon from the literature on probabilistic model checking and one case study taken from the automotive of the hardware compo- nent. In embedded automotive systems, for instance, the software is often attached and Effect Analysis (pFMEA) [17, 4], is hence inevitably also software dependability analysis. It has been

Leue, Stefan

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

An Optimization Approach for Effective Formalized fUML Model Checking  

E-Print Network [OSTI]

An Optimization Approach for Effective Formalized fUML Model Checking Islam Abdelhalim, Steve that makes use of a restricted CSP model (because it follows certain formalization rules) to optimize; the first one provides optimization advice to the modeller, while the second one au- tomatically applies

Doran, Simon J.

142

Master of Architecture Check Sheet Professional M.Arch. II & III  

E-Print Network [OSTI]

Master of Architecture Check Sheet Professional M.Arch. II & III Apply on-line at: https in architecture (not to exceed 500 words). _____ One unofficial copy of the transcript where the undergraduate results. KU's Institution Code is 6871 and the Department Code for Architecture is 4401. International

143

Two--mode optical tomograms: a possible experimental check of the Robertson uncertainty relations  

E-Print Network [OSTI]

The experimental check of two--mode Robertson uncertainty relations and inequalities for highest quadrature moments is suggested by using homodyne photon detection. The relation between optical tomograms and symplectic tomograms is used to connect the tomographic dispersion matrix and the quadrature components dispersion matrix of the two--mode field states.

V. I. Man'ko; G. Marmo; A. Simoni; F. Ventriglia

2012-02-02T23:59:59.000Z

144

Advanced Unbounded CTL Model Checking Based on AIGs, BDD Sweeping, And Quantifier  

E-Print Network [OSTI]

and gates and inverters Simple data structure Every Boolean function can be represented by an AIG 5 Florian Networks of 2-input and gates and inverters Simple data structure Every Boolean function can be representedAdvanced Unbounded CTL Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling

Manolios, Panagiotis "Pete"

145

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

146

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.

147

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

148

Revised June 2013 This form can be used if you are: (Please check the appropriate box)  

E-Print Network [OSTI]

a certificate or diploma Changing to a new certificate or diploma Dropping a certificate or diploma * If you are declaring more than one certificate/diploma, please check all that apply on this form. CERTIFICATES Completed: Transfer Credit Hours: Staff Name: Staff Signature: Date: Student # Date of Birth DD/MM/YYYY Last

Northern British Columbia, University of

149

Criminal Background Check Request Form revised 08/13/2013 #404 Page 1 of 2  

E-Print Network [OSTI]

: Recruitment & Workforce Planning MS 1255 jobpath@tamu.edu Fax (979) 847-8877 NEED HELP? Recruitment & Workforce Planning Phone (979) 845-5154 jobpath@tamu.edu #12;Criminal Background Check Request Form revised-google-email-account.html It is important you read, understand and comply with following information: Recruitment and Workforce Planning

Boas, Harold P.

150

Model Checking Large Software Specifications William Chan Richard J. Anderson Paul Beame Steve Burns  

E-Print Network [OSTI]

Model Checking Large Software Specifications William Chan Richard J. Anderson Paul Beame Steve methods for achieving acceptable performance, and giving a sum­ mary of the properties analyzed. Based.J. Anderson, P. Beame, F. Modugno, D. Notkin, and J.D. Reese are with the Department of Computer Science

Beame, Paul

151

IE 361 Module 14 Patterns on Control Charts and "Special Checks"/Extra Alarm Rules  

E-Print Network [OSTI]

3.4 of Statistical Quality Assurance Methods for Engineers Prof. Steve Vardeman and Prof. Max MorrisIE 361 Module 14 Patterns on Control Charts and "Special Checks"/Extra Alarm Rules Reading: Section equipment or a clear change in the quality of a raw material

Vardeman, Stephen B.

152

Safe Compositional Specification of Networking Systems # TRAFFIC The Language and Its Type Checking  

E-Print Network [OSTI]

], and presents a type system based on desired safety assurance. We provide proofs on reduction (weak of a syntax­directed type checking algorithm implementing rules of the type system capable of inferring by the need to devise a formalism to describe Quality of Service (QoS) properties of flows and rigorously

153

Safe Compositional Specification of Networking Systems TRAFFIC The Language and Its Type Checking  

E-Print Network [OSTI]

], and presents a type system based on desired safety assurance. We provide proofs on reduction (weak of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring by the need to devise a formalism to describe Quality of Service (QoS) properties of flows and rigorously

154

Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits  

E-Print Network [OSTI]

Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 ECE 103 DC Circuit Analysis (MATH 160) S 3 Biomedical Engineering Courses Rev 11-27-12 Please note that curricula can change; be sure to check with your

155

COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.1.3 Check Upload Integrity  

E-Print Network [OSTI]

COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.1.3 Check Upload Integrity Date. Brownsberger 2-13-01 The Center for Astrophysics and Space Astronomy Reviewed: Approved: COS DCE BOOT FSW v1 Initial Release COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.1.3 Check Upload Integrity

Colorado at Boulder, University of

156

COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.1.3 Check Upload Integrity  

E-Print Network [OSTI]

COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.1.3 Check Upload Integrity Date. Brownsberger 2-13-01 The Center for Astrophysics and Space Astronomy Reviewed: Approved: COS DCE BOOT FSW v1 Initial Release COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.1.3 Check Upload Integrity

Colorado at Boulder, University of

157

Level 2.0 Quality Control Checklist 1. Instrument Performance Check: Evaluate data for occurrences of instrument failure  

E-Print Network [OSTI]

of transparency in the UV in early morning or late afternoon due to filter leakage or degradation; or sudden Check (or Vo Check): Evaluate pre- and post-field calibration to determine if filter degradation or non increases and decreases of the AOD in the UV channels due to electronic problems). 5. Cloud Contamination

158

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

159

SMT-Based Bounded Model Checking for Embedded ANSI-C Software  

E-Print Network [OSTI]

Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of different SMT solvers to the verification of embedded software written in ANSI-C. We have extended the encodings from previous SMT-based bounded model checkers to provide more accurate support for finite variables, bit-vector operations, arrays, structures, unions and pointers. We have integrated the CVC3, Boolector, and Z3 solvers with the CBMC front-end and evaluated them using both standard software model checking benchmarks and typical embedded applications from telecommunications, control systems and medical devices. The experiments show that our approach can analyze larger problems and sub...

Cordeiro, Lucas; Marques-Silva, Joao

2009-01-01T23:59:59.000Z

160

Quality Control Quantification (QCQ): A Tool to Measure the Value of Quality Control Checks in Radiation Oncology  

SciTech Connect (OSTI)

Purpose: To quantify the error-detection effectiveness of commonly used quality control (QC) measures. Methods: We analyzed incidents from 2007-2010 logged into a voluntary in-house, electronic incident learning systems at 2 academic radiation oncology clinics. None of the incidents resulted in patient harm. Each incident was graded for potential severity using the French Nuclear Safety Authority scoring scale; high potential severity incidents (score >3) were considered, along with a subset of 30 randomly chosen low severity incidents. Each report was evaluated to identify which of 15 common QC checks could have detected it. The effectiveness was calculated, defined as the percentage of incidents that each QC measure could detect, both for individual QC checks and for combinations of checks. Results: In total, 4407 incidents were reported, 292 of which had high-potential severity. High- and low-severity incidents were detectable by 4.0 {+-} 2.3 (mean {+-} SD) and 2.6 {+-} 1.4 QC checks, respectively (P<.001). All individual checks were less than 50% sensitive with the exception of pretreatment plan review by a physicist (63%). An effectiveness of 97% was achieved with 7 checks used in combination and was not further improved with more checks. The combination of checks with the highest effectiveness includes physics plan review, physician plan review, Electronic Portal Imaging Device-based in vivo portal dosimetry, radiation therapist timeout, weekly physics chart check, the use of checklists, port films, and source-to-skin distance checks. Some commonly used QC checks such as pretreatment intensity modulated radiation therapy QA do not substantially add to the ability to detect errors in these data. Conclusions: The effectiveness of QC measures in radiation oncology depends sensitively on which checks are used and in which combinations. A small percentage of errors cannot be detected by any of the standard formal QC checks currently in broad use, suggesting that further improvements are needed. These data require confirmation with a broader incident-reporting database.

Ford, Eric C., E-mail: eford@uw.edu [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States); Terezakis, Stephanie; Souranis, Annette; Harris, Kendra [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States)] [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States); Gay, Hiram; Mutic, Sasa [Department of Radiation Oncology, Washington University, St. Louis, Missouri (United States)] [Department of Radiation Oncology, Washington University, St. Louis, Missouri (United States)

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


161

Tuesday, June 24 P. M. noon -4:30 BEAN Registration/Check-in  

E-Print Network [OSTI]

:45 PLC Rehearsal II 5:00 - 6:30 CAR Dinner 7:00 ­ 9:00 CLC Sharing Our Songs Concert I 9:15 ­ 9:45 BEANTuesday, June 24 P. M. noon - 4:30 BEAN Registration/Check-in 5:00 - 7:00 CAR Dinner 7:30 PLC A. M. 7:30 - 8:30 CAR Breakfast (Lead Chaperone/Conductor/Intern mtg.) 9:00 - 11:15 PLC Rehearsal I

Bordenstein, Seth

162

Exploration Of Activity Measurements And Equilibrium Checks For Sediment Dating Using Thick-Window Germanium Detectors  

SciTech Connect (OSTI)

Activity measurements on sediment samples for trapped-charge geological dating using gamma-ray spectroscopy are an important verification of the field-site dose rate determination. Furthermore gamma-ray spectroscopy can check if the natural decay series are in secular equilibrium which is a crucial assumption in such dating. Typically the activities of leading members of the Thorium and Uranium decay series are measured, which requires Germanium detectors with thin windows and good energy resolution in order to effectively detect the associated low energy gamma-rays. Such equipment is not always readily available. The potential of conventional Germanium detectors with thick entrance window has been explored towards routine gamma-ray spectroscopy of sediment samples using higher energy gamma-rays. Alternative isotopes, such as Ac-228 and Pb-212 for the Thorium series, and Pa-234m, Ra-226 and Bi-214 for the Uranium series, have been measured in order to determine the mass-specific activity for the respective series and possibly provide a check of secular equilibrium. In addition to measurements of the K-40 activity, with the alternative approach, the activities of both decay series can be accurately determined. The secular equilibrium condition may be tested for the Thorium series. Measurement accuracy for Pa-234m is, however, not sufficient to permit also a reliable check of equilibrium for the Uranium series.

Warner, Jacob A.; Gladkis, Laura G.; Timmers, Heiko [School of Physical, Environmental and Mathematical Sciences, University of New South Wales at the Australian Defence Force Academy, Canberra ACT 2602 (Australia); Fitzsimmons, Kathryn E. [Department of Human Evolution, Max Planck Institute for Evolutionary Anthropology, Deutscher Platz 6, D-04103 Leipzig (Germany); Reynolds, Eva M. [Research School of Earth Sciences, Australian National University, Canberra ACT 0200 (Australia)

2011-06-01T23:59:59.000Z

163

1058 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 53, NO. 3, MARCH 2007 Generalized Low-Density Parity-Check Codes  

E-Print Network [OSTI]

represented by an extrinsic mutual information transfer (EXIT) chart. Simulation results show-Hadamard codes. Index Terms--Code optimization, extrinsic mutual informa- tion transfer (EXIT) chart, generalized check (SPC) codes using bipartite graphs. For

Ping, Li

164

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

165

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

E-Print Network [OSTI]

EAT SMART Cancer Evaluation The following questions are about today's program. Place a check (T the information from this program. # I have or have had cancer. YES NO As you answer each question, think about

166

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

SciTech Connect (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

167

A computer test bench for checking and adjusting the automatic regulators of generator excitation systems  

SciTech Connect (OSTI)

A computer test bench for testing and debugging natural samples of the automatic excitation regulation systems of generators, the protection units and the power part of the excitation system is described. The bench includes a personal computer with specialized input-output circuit boards for analog and digital signals, and enables the time and cost involved in developing and checking control systems to be reduced considerably. The program employed operates in real time and enables the automatic excitation regulators of synchronous generators and generators with longitudinal-transverse excitation in a specific power system to be adjusted.

Dovganyuk, I. Ya.; Labunets, I. A.; Plotnikova, T. V.; Sokur, P. V. [Affiliate of the 'NTTs Elektroenergetiki' Company - Scientific Research Institute of Electric Power (VNIIE) (Russian Federation)

2008-05-15T23:59:59.000Z

168

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

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up fromDepartmentTieCelebrate Earth Day withCharacterizationDiesel LosDepartment4 *Check

169

File:Temporary storage plan review check list.pdf | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublicIDAPowerPlantSitingConstruction.pdfNotify98.pdf Jump to: navigation,storage plan review check list.pdf Jump

170

A Construction of Quantum Stabilizer Codes Based on Syndrome Assignment by Classical Parity-Check Matrices  

E-Print Network [OSTI]

In quantum coding theory, stabilizer codes are probably the most important class of quantum codes. They are regarded as the quantum analogue of the classical linear codes and the properties of stabilizer codes have been carefully studied in the literature. In this paper, a new but simple construction of stabilizer codes is proposed based on syndrome assignment by classical parity-check matrices. This method reduces the construction of quantum stabilizer codes to the construction of classical parity-check matrices that satisfy a specific commutative condition. The quantum stabilizer codes from this construction have a larger set of correctable error operators than expected. Its (asymptotic) coding efficiency is comparable to that of CSS codes. A class of quantum Reed-Muller codes is constructed, which have a larger set of correctable error operators than that of the quantum Reed-Muller codes developed previously in the literature. Quantum stabilizer codes inspired by classical quadratic residue codes are also constructed and some of which are optimal in terms of their coding parameters.

Ching-Yi Lai; Chung-Chin Lu

2007-12-02T23:59:59.000Z

171

BURN CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR TAKE SHORT-CUTS FEEL THE BREEZE DISCOVER CAMPUS MAKE YOUR OWN ROUTE BURN CALORIES READ A BOOK LISTEN TO THE BIRDS CHECK OUT THE SCENERY  

E-Print Network [OSTI]

A BOOK LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR BURN CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS RE- DUCE YOUR CARBON FOOTPRINT FRESH

Weiblen, George D

172

Bringing Automated Model Checking to PLC Program Development - A CERN Case Study  

E-Print Network [OSTI]

Verification of critical software is a high priority but a challenging task for industrial control systems. Model checking appears to be an appropriate approach for this purpose. However, this technique is not widely used in industry yet, due to some obstacles. The main obstacles encountered when trying to apply formal verification techniques at industrial installations are the difficulty of creating models out of PLC programs and defining formally the specification requirements. In addition, models produced out of real-life programs have a huge state space, thus preventing the verification due to performance issues. Our work at CERN (European Organization for Nuclear Research) focuses on developing efficient automatic verification methods for industrial critical installations based on PLC (Programmable Logic Controller) control systems. In this paper, we present a tool generating automatically formal models out of PLC code. The tool implements a general methodology which can support several input languages, ...

Fernandez Adiego, B; Tournier, J-C; Blanco Vinuela, E; Gonzalez Suarez, V M

2014-01-01T23:59:59.000Z

173

Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs  

E-Print Network [OSTI]

Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs Tetsu Iwata1 and Lei Wang2, wang.lei@ntu.edu.sg Abstract. ANSI X9.24-1:2009 specifies the key check value, which is used to verify check value. As a result, we obtain a complete characterization of the impact of using ANSI X9.24-1 key

174

The impact of ciminal background checks on the selection of school volunteers as reported by human resource professionals of selected Texas public school districts  

E-Print Network [OSTI]

............................................................... 38 Administrative Issues With Criminal History Background Checks on Volunteers............................... 40 x TABLE OF CONTENTS (continued) CHAPTER Page Respondent Superior, Sovereign Immunity, and the Scope of Employment...

Smith, Richard Kimball

2005-08-29T23:59:59.000Z

175

MediaWiki:Addsection | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Powerstories on climateJunoMedanosElectric Co LtdJackson County, Oregon.

176

MediaWiki:Edit | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Powerstories on climateJunoMedanosElectric Co LtdJackson County, Oregon.Edit

177

MediaWiki:Ipboptions | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Powerstories on climateJunoMedanosElectric Co LtdJackson County,Facebook icon

178

MediaWiki:Recentchangestext | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Powerstories on climateJunoMedanosElectric Co LtdJackson

179

MediaWiki:Sidebar | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia: Energy Resources Jump to:46 - 429Lacey,(MonasterLowellisMcDonald is aElectric Coop, IncxmlEdit HistorySidebar

180

Checking Herbrand Equalities and Beyond Markus MullerOlm 1 , Oliver Ruthing 1 , and Helmut Seidl 2  

E-Print Network [OSTI]

Checking Herbrand Equalities and Beyond Markus MË?uller­Olm 1 , Oliver RË?uthing 1 , and Helmut Seidl Markus MË?uller­Olm, Oliver RË?uthing, and Helmut Seidl This deficiency is still present in the algorithm

Müller-Olm, Markus

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

Renewing Music Library Materials Online Most checked out Music Library materials can be renewed through PantherCat  

E-Print Network [OSTI]

Renewing Music Library Materials Online Most checked out Music Library materials can be renewed://www.uwm.edu/Libraries/Music/about.html#loan. Please Note: Item loan periods are renewed from the date you renew them. If you renew an item one day full loan period you must wait to renew the item until its original due date. What can and cannot

Saldin, Dilano

182

Donate or sell your furniture, electronics, etc. Check out these helpful resources to recycle your unwanted items  

E-Print Network [OSTI]

Donate or sell your furniture, electronics, etc. · Check out these helpful resources to recycle's EcoDirectory can help you answer your recycling and reuse questions. (http, debris bins or place curbside. The Alameda County Computer Resource Center picks up anything with a plug

Alvarez-Cohen, Lisa

183

REDUCED-COMPLEXITY DECODING FOR CONCATENATED CODES BASED ON RECTANGULAR PARITY-CHECK CODES AND TURBO CODES  

E-Print Network [OSTI]

AND TURBO CODES John M. Shea and Tan F. Wong University of Florida Department of Electrical and Computer-check code (RPCC) with a turbo code. These concatenated codes are referred to as RPCC+turbo codes. RPCC+turbo codes have been shown to significantly outperform turbo codes in several scenarios [1],[2]. One

Wong, Tan F.

184

Check WorkNet often for job vacancies or rely on the e-mail feature to  

E-Print Network [OSTI]

Check WorkNet often for job vacancies or rely on the e-mail feature to receive a message when a job Bowling Green, OH 43403-0150 419-372-2865 Review Postings Carefully All job vacancies include a job. Access Job Vacancies Using WorkNet Log-in to your MyBGSU portal. Scroll down to Misc Services, located

Moore, Paul A.

185

g:\\self care\\cold sore throat cough allergy 8/08 SELF CARE CHECK LIST FOR COLD, SORE  

E-Print Network [OSTI]

g:\\self care\\cold sore throat cough allergy 8/08 SELF CARE CHECK LIST FOR COLD, SORE THROAT, COUGH worse? NO YES Do you have chest pain, wheezing or any difficulty with breathing? NO YES Are you coughing, hacky cough? Expectorant (guaifenesin/Robitussin) Cough suppressant (dextromethorphan/ DM) Do you have

Suzuki, Masatsugu

186

Design and implementation of a high data rate wireless system using Low-Density Parity-Check codes  

E-Print Network [OSTI]

The aim of this research is to design a high performance, high data rate, low cost wireless communications system for use in a typical outdoor environment. The use of Low-Density Parity-check (LDPC) codes as the forward error correction scheme...

Bhatt, Tejas Maheshbhai

2000-01-01T23:59:59.000Z

187

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

SciTech Connect (OSTI)

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

188

Home Fire Safety Inspection Checklist A fire can occur in any part of your home. Use this checklist to make a safety check of your house or  

E-Print Network [OSTI]

to make a safety check of your house or apartment. Review it with everyone in the house or apartment. Ask ash trays throughout the house? o Do you check for smoldering cigarette butts in the furniture alarm(s) every month? o Do you replace the battery of your battery operated smoke alarm every year? #12

Marsh, David

189

Steps for Confirming a Vendor's Legitimacy 1. Check a vendor's legitimacy begin by calling the vendor's phone number listed to see if they  

E-Print Network [OSTI]

Steps for Confirming a Vendor's Legitimacy 1. Check a vendor's legitimacy begin by calling the vendor's phone number listed to see if they answer as the business 2. Check online with 3 different telephone sources to see if the phone number is listed for the vendor with the corresponding address 3

190

MJ no more: Using Concurrent Wikipedia Edit Spikes with Social Network Plausibility Checks for Breaking News Detection  

E-Print Network [OSTI]

We have developed an application called Wikipedia Live Monitor that monitors article edits on different language versions of Wikipedia, as they happen in realtime. Wikipedia articles in different languages are highly interlinked. For example, the English article en:2013_Russian_meteor_event on the topic of the February 15 meteoroid that exploded over the region of Chelyabinsk Oblast, Russia, is interlinked with the Russian article on the same topic. As we monitor multiple language versions of Wikipedia in parallel, we can exploit this fact to detect concurrent edit spikes of Wikipedia articles covering the same topics, both in only one, and in different languages. We treat such concurrent edit spikes as signals for potential breaking news events, whose plausibility we then check with full-text cross-language searches on multiple social networks. Unlike the reverse approach of monitoring social networks first, and potentially checking plausibility on Wikipedia second, the approach proposed in this paper has th...

Steiner, Thomas; Summers, Ed

2013-01-01T23:59:59.000Z

191

Precursor systems analyses of automated highway systems. Activity area C. Automated check-out. Final report, September 1993-November 1994  

SciTech Connect (OSTI)

The activity evaluates potential automatic-to-manual transition scenarios in terms of relative feasibility, safety, cost, and social implications. The check-out alternatives range from minimal testing of the operator and the vehicle to extensive testing of the operator and vehicle. The vehicle functions analysis presents a summary of functions that are critical to safe manual operation and proposes several options for validation. Two possible check-out processes are discussed, one intended for AHS lanes dedicated to automated traffic, and one intended for mixed mode lanes in which AHS and non-AHS vehicles are traveling. The transition to manual control will involve preparing the driver to resume manual operation prior to release of vehicle functions. Proposed tasks which could be used to determine that the driver is ready to receive control of the automated vehicle are examined.

Mangarelli, F.; Cochran, A.; Craig, D.; Michael, B.; Halseth, M.

1995-05-01T23:59:59.000Z

192

Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue)  

E-Print Network [OSTI]

Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue) B 420-460 Live Dead UV Blue Alexa 350 DAPI Indo-1(Violet) Hoechst 33342 C - empty Violet 405 A 505-550 Pac. Orange V500 VioGreen BVio 510 Viability Dye eF506 Alexa 430 Sapphire B 420-460 Pac. Blue eF450 V

Oliver, Douglas L.

193

776 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 16, NO. 7, JULY 1997 [4] M. Diaz, P. Azema, and J. M. Ayache, "Unified design of self-checking  

E-Print Network [OSTI]

-checking sequential circuits," in Proc. IEEE Int. Test Conf., 1991, pp. 283­291. [10] I. Jansch and B. Courtois

Lin, Youn-Long Steve

194

Check-Testing of Manufacturer Self Reported Labeling Data& Compliance with MEPS  

SciTech Connect (OSTI)

China first adopted minimum energy performance standards (MEPS) in 1989. Today, there are standards for a wide range of domestic, commercial and selected industrial equipment. In 1999, China launched a voluntary endorsement label, which has grown to cover over 40 products including water-saving products. Further, in 2005, China started a mandatory energy information label that initially covered two products and in 2007 was extended to cover four products total including: air conditioners; household refrigerators; clothes washers; and unitary air conditioners. These programs have had an important impact in reducing the energy consumption of appliances in China. China has built up a strong infrastructure to develop and implement standards. Historically, however, the government's primary focus has been on the technical requirements for specifying efficiency performance. Less attention has been paid to monitoring and enforcement with a minimal commitment of resources and little expansion of administrative capacity in this area. Thus, market compliance with both mandatory standard and labeling programs has been questionable. Furthermore, actual energy savings have quite possibly been undermined as a result. The establishment of a regularized monitoring system for tracking compliance with the mandatory standard and energy information label programs in China is a major area for program improvement. Over the years, the Collaborative Labeling and Appliance Standards Program (CLASP) has partnered with several Chinese institutions to promote energy-efficient products in China. CLASP, together with its implementing partner Lawrence Berkeley National Laboratory (LBNL), has assisted China in developing and updating the above-mentioned standards and labeling programs. Because of the increasing need for the development of a monitoring system to track compliance with the standard, CLASP, with support from Japan's Ministry of Economy, Trade and Industry (METI) and the Institute of Energy Economics, Japan (IEEJ), has expanded its on-going collaboration with the China National Institute of Standards (CNIS) to include enforcement and monitoring. CNIS has already begun working on the issue of compliance. In early 2007, LBNL compiled a report, with the support of METI, summarizing the findings from these activities and indicating China's progress to date. The report concluded that although the existing legal basis for monitoring and enforcement is sufficient- with multiple laws and regulations defining the responsibility of each government agency and specifying a system of fines and penal-ties for non-compliance-compared with international best practices, there is still a big gap in China's monitoring and enforcement efforts for mandatory standards and labels. In sum, the report concludes that while the sample size is far smaller than the mid-term goal of developing a regular check testing program for 20 percent of the market for each of the three products, this study provides highly valuable feedback on manufacturer compliance rates in the absence of a large-scale national testing program. With METI/IEEJ support, CLASP could assist the China Energy Label Center (CELC) in expanding its verification testing programs to cover more models and products, and in developing a plan for ramping up the national verification testing program over the next three to five years. This is particularly important as the information labeling program gains more visibility and expands to additional product categories. CLASP could also assist CELC to plan for a round-robin testing scheme-first among three national laboratories with sub-sequent expansion of this program to other regional test laboratories--with the goal of improving the consistency of testing results from different testing laboratories.

Zhou, Nan; Zhou, Nan; Zheng, Nina; Fridley, David; Wang, Ruohong; Egan, Christine

2008-03-01T23:59:59.000Z

195

East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system is scheduled to be on.  

E-Print Network [OSTI]

East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system Coal Storage Building 39 NA Cooke Hall 56 Donhowe Building 044 East Gateway District Steam Distr. 199

Webb, Peter

196

Dependence with air density of the response of the PTW SourceCheck ionization chamber for low energy brachytherapy sources  

SciTech Connect (OSTI)

Purpose: Air-communicating well ionization chambers are commonly used to assess air kerma strength of sources used in brachytherapy. The signal produced is supposed to be proportional to the air density within the chamber and, therefore, a density-independent air kerma strength is obtained when the measurement is corrected to standard atmospheric conditions using the usual temperature and pressure correction factor. Nevertheless, when assessing low energy sources, the ionization chambers may not fulfill that condition and a residual density dependence still remains after correction. In this work, the authors examined the behavior of the PTW 34051 SourceCheck ionization chamber when measuring the air kerma strength of {sup 125}I seeds.Methods: Four different SourceCheck chambers were analyzed. With each one of them, two series of measurements of the air kerma strength for {sup 125}I selectSeed{sup TM} brachytherapy sources were performed inside a pressure chamber and varying the pressure in a range from 747 to 1040 hPa (560 to 780 mm Hg). The temperature and relative humidity were kept basically constant. An analogous experiment was performed by taking measurements at different altitudes above sea level.Results: Contrary to other well-known ionization chambers, like the HDR1000 PLUS, in which the temperature-pressure correction factor overcorrects the measurements, in the SourceCheck ionization chamber they are undercorrected. At a typical atmospheric situation of 933 hPa (700 mm Hg) and 20 °C, this undercorrection turns out to be 1.5%. Corrected measurements show a residual linear dependence on the density and, as a consequence, an additional density dependent correction must be applied. The slope of this residual linear density dependence is different for each SourceCheck chamber investigated. The results obtained by taking measurements at different altitudes are compatible with those obtained with the pressure chamber.Conclusions: Variations of the altitude and changes in the weather conditions may produce significant density corrections, and that effect should be taken into account. This effect is chamber-dependent, indicating that a specific calibration is necessary for each particular chamber. To our knowledge, this correction has not been considered so far for SourceCheck ionization chambers, but its magnitude cannot be neglected in clinical practice. The atmospheric pressure and temperature at which the chamber was calibrated need to be taken into account, and they should be reported in the calibration certificate. In addition, each institution should analyze the particular response of its SourceCheck ionization chamber and compute the adequate correction factors. In the absence of a suitable pressure chamber, a possibility for this assessment is to take measurements at different altitudes, spanning a wide enough air density range.

Tornero-López, Ana M.; Guirado, Damián; Ruiz-Arrebola, Samuel [Servicio de Radiofísica y Protección Radiológica, Hospital Universitario San Cecilio, E-18012 Granada (Spain)] [Servicio de Radiofísica y Protección Radiológica, Hospital Universitario San Cecilio, E-18012 Granada (Spain); Perez-Calatayud, Jose [Servicio de Radioterapia, Unidad de Radiofísica, Hospital Universitario y Politécnico La Fe, E-46026 Valencia (Spain)] [Servicio de Radioterapia, Unidad de Radiofísica, Hospital Universitario y Politécnico La Fe, E-46026 Valencia (Spain); Simancas, Fernando; Lallena, Antonio M. [Departamento de Física Atómica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain)] [Departamento de Física Atómica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain); Gazdic-Santic, Maja [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)] [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)

2013-12-15T23:59:59.000Z

197

Mechanistic insights into mode of action of potent natural antagonists of BACE-1 for checking Alzheimer’s plaque pathology  

SciTech Connect (OSTI)

Highlights: •Accumulation of A? plaques is one of the major pathology associated with Alzheimer’s disease. •Inhibition of ?-Secretase or BACE-1 offers a viable prospect to check the growth of these plaques. •A large virtual dataset of natural compounds was screened against BACE-1. •Top two hits were analyzed for thermodynamic and structural stability using MD simulations. •Their detailed binding mode of actions were elucidated. -- Abstract: Alzheimer’s is a neurodegenerative disorder resulting in memory loss and decline in cognitive abilities. Accumulation of extracellular beta amyloidal plaques is one of the major pathology associated with this disease. ?-Secretase or BACE-1 performs the initial and rate limiting step of amyloidic pathway in which 37–43 amino acid long peptides are generated which aggregate to form plaques. Inhibition of this enzyme offers a viable prospect to check the growth of these plaques. Numerous efforts have been made in recent years for the generation of BACE-1 inhibitors but many of them failed during the preclinical or clinical trials due to drug related or drug induced toxicity. In the present work, we have used computational methods to screen a large dataset of natural compounds to search for small molecules having BACE-1 inhibitory activity with low toxicity to normal cells. Molecular dynamics simulations were performed to analyze molecular interactions between the screened compounds and the active residues of the enzyme. Herein, we report two natural compounds of inhibitory nature active against ?-secretase enzyme of amyloidic pathway and are potent lead molecules against Alzheimer’s disease.

Dhanjal, Jaspreet Kaur [School of Biotechnology, Jawaharlal Nehru University, New Delhi 110067 (India)] [School of Biotechnology, Jawaharlal Nehru University, New Delhi 110067 (India); Goyal, Sukriti [Apaji Institute of Mathematics and Applied Computer Technology, Banasthali University, Tonk 304022, Rajasthan (India)] [Apaji Institute of Mathematics and Applied Computer Technology, Banasthali University, Tonk 304022, Rajasthan (India); Sharma, Sudhanshu [Department of Biotechnology, Delhi Technological University, New Delhi 110042 (India)] [Department of Biotechnology, Delhi Technological University, New Delhi 110042 (India); Hamid, Rabia [Department of Biochemistry, University of Kashmir, Srinagar 190006 (India)] [Department of Biochemistry, University of Kashmir, Srinagar 190006 (India); Grover, Abhinav, E-mail: abhinavgr@gmail.com [School of Biotechnology, Jawaharlal Nehru University, New Delhi 110067 (India)] [School of Biotechnology, Jawaharlal Nehru University, New Delhi 110067 (India)

2014-01-17T23:59:59.000Z

198

COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.3.1 CRC Background Checking on Memory Regions  

E-Print Network [OSTI]

COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.3.1 CRC Background Checking on Memory. Brownsberger 2-13-01 The Center for Astrophysics and Space Astronomy Reviewed: Approved: COS DCE BOOT FSW v1 & Space Astronomy Initial Release COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.3.1 CRC

Colorado at Boulder, University of

199

COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.3.1 CRC Background Checking on Memory Regions  

E-Print Network [OSTI]

COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.3.1 CRC Background Checking on Memory. Brownsberger 2-13-01 The Center for Astrophysics and Space Astronomy Reviewed: Approved: COS DCE BOOT FSW v1 & Space Astronomy Initial Release COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.3.1 CRC

Colorado at Boulder, University of

200

STUDENT ORIENTATION CHECK-LIST It is a campus requirement that each Student that works in your department receive the appropriate and  

E-Print Network [OSTI]

STUDENT ORIENTATION CHECK-LIST It is a campus requirement that each Student that works in your. The Student Employment Program has a mission to enhance the student life of the student by on the job training and a professional experience. This may be the first time the student steps into a work environment and here

Yang, Eui-Hyeok

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

MOTOR VEHICLE RECORD AUTHORIZATION This form authorizes Parking and Transportation (PTS) Fleet Services to conduct a motor vehicle record check to  

E-Print Network [OSTI]

MOTOR VEHICLE RECORD AUTHORIZATION This form authorizes Parking and Transportation (PTS) ­ Fleet Services to conduct a motor vehicle record check to verify eligibility to operate University of Michigan (U-M) vehicles. Form Instructions: · Complete each section of the form · Print and fax

Kirschner, Denise

202

Checking PDSF Quotas  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc DocumentationP-Series to User Group and Userof a blast-resistant naval Charles

203

Geothermal Exploration Case Studies on OpenEI (Presentation)  

SciTech Connect (OSTI)

The U.S. Geological Survey (USGS) resource assessment (Williams et al., 2008) outlined a mean 30 GWe of undiscovered hydrothermal resource in the western United States. One goal of the U.S. Department of Energy's (DOE) Geothermal Technology Office (GTO) is to accelerate the development of this undiscovered resource. DOE has focused efforts on helping industry identify hidden geothermal resources to increase geothermal capacity in the near term. Increased exploration activity will produce more prospects, more discoveries, and more readily developable resources. Detailed exploration case studies akin to those found in oil and gas (e.g. Beaumont and Foster, 1990-1992) will give developers central location for information gives models for identifying new geothermal areas, and guide efficient exploration and development of these areas. To support this effort, the National Renewable Energy Laboratory (NREL) has been working with GTO to develop a template for geothermal case studies on the Geothermal Gateway on OpenEI. In 2012, the template was developed and tested with two case studies: Raft River Geothermal Area (http://en.openei.org/wiki/Raft_River_Geothermal_Area) and Coso Geothermal Area (http://en.openei.org/wiki/Coso_Geothermal_Area). In 2013, ten additional case studies were completed, and Semantic MediaWiki features were developed to allow for more data and the direct citations of these data. These case studies are now in the process of external peer review. In 2014, NREL is working with universities and industry partners to populate additional case studies on OpenEI. The goal is to provide a large enough data set to start conducting analyses of exploration programs to identify correlations between successful exploration plans for areas with similar geologic occurrence models.

Young, K.; Bennett, M.; Atkins, D.

2014-03-01T23:59:59.000Z

204

CSUF Clubs & Organizations!!! What can the Titan Pride Center do for you? The Titan Pride Center wants to help get the word out about CSUF clubs and organizations! Check out all of the ways we can help your group!  

E-Print Network [OSTI]

wants to help get the word out about CSUF clubs and organizations! Check out all of the ways we can help of your promotional materials. We will have a table ready for you and even help promote with you! Puzzle

de Lijser, Peter

205

af intern wiki: Topics by E-print Network  

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

on anxiety and usability Edinburgh, University of - Research Archive Summary: Within society Information Technology (IT) is becoming pervasive. This is no more pronounced than...

206

Powerpedia Games Encourages Employees to Enhance Internal Wiki | Department  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of Energy Power.pdf11-161-LNG |September 15, 2010Energy6DepartmentOutages Update:FleetEnergy - Usingof

207

Impact of a dermatology wiki website on dermatology education  

E-Print Network [OSTI]

® (DNN®), an open source web content management platform (convenience of the World Wide Web. Crotty et al. exploreddemwiki website, owing to its web storage limitations, was

2015-01-01T23:59:59.000Z

208

Wiki-based Techno Economic Analysis of a Lignocellulosic Biorefinery -  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear SecurityTensile Strain Switched FerromagnetismWaste and MaterialsWenjun DengWISP SignInWho do IWhyWhy:

209

MediaWiki:Hidden-category-category | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Powerstories on climateJunoMedanosElectric Co LtdJackson County,

210

MediaWiki:Ipbreason-dropdown | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Powerstories on climateJunoMedanosElectric Co LtdJackson County,Facebook

211

Montana 319 Projects (Nonpoint Source Programs) Wiki | Open Energy  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia: Energy Resources Jump to:46 -Energieprojekte3 Climate Zone Subtype A. PlacesEnergy Information

212

MediaWiki:Pagedescription-view-mainpage | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 No revision hasInformation Earth's Heat JumpIncMAKGalwayHydrothermalMcFarland is aPagedescription-view-mainpage

213

MediaWiki:Pagetitle-view-mainpage | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 No revision hasInformation Earth's Heat JumpIncMAKGalwayHydrothermalMcFarland is

214

MediaWiki:Deletereason-dropdown | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia: Energy Resources Jump to:46 - 429Lacey,(MonasterLowellisMcDonald is aElectric Coop, IncxmlEdit History Facebook

215

MediaWiki:Mainpage-description | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia: Energy Resources Jump to:46 - 429Lacey,(MonasterLowellisMcDonald is aElectric Coop, IncxmlEdit History

216

MediaWiki:Smw import foaf | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia: Energy Resources Jump to:46 - 429Lacey,(MonasterLowellisMcDonald is aElectric Coop, IncxmlEdit

217

WikiSysop's blog | OpenEI Community  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data CenterFranconia, Virginia:FAQ < RAPID Jump to:SeadovCooperative Jump to:Westview,GeothermalHawaii: EnergyLinkButton JumpFacility |

218

Urban spatial-temporal activity structures: a New Approach to Inferring the Intra-urban Functional Regions via Social Media Check-In Data  

E-Print Network [OSTI]

Most existing literature focuses on the exterior temporal rhythm of human movement to infer the functional regions in a city, but they neglects the underlying interdependence between the functional regions and human activities which uncovers more detailed characteristics of regions. In this research, we proposed a novel model based on the low rank approximation (LRA) to detect the functional regions using the data from about 15 million check-in records during a yearlong period in Shanghai, China. We find a series of latent structures, called urban spatial-temporal activity structure (USTAS). While interpreting these structures, a series of outstanding underlying associations between the spatial and temporal activity patterns can be found. Moreover, we can not only reproduce the observed data with a lower dimensional representative but also simultaneously project both the spatial and temporal activity patterns in the same coordinate system. By utilizing the K-means clustering algorithm, five significant types ...

Zhi, Ye; Wang, Shaowen; Deng, Min; Gao, Jing; Li, Haifeng

2014-01-01T23:59:59.000Z

219

Internal flow patterns on heat transfer characteristics of a closed-loop oscillating heat-pipe with check valves using ethanol and a silver nano-ethanol mixture  

SciTech Connect (OSTI)

The aim of this research was to investigate the internal flow patterns and heat transfer characteristics of a closed-loop oscillating heat-pipe with check valves (CLOHP/CV). The ratio of number of check valves to meandering turns was 0.2. Ethanol and a silver nano-ethanol mixture were used as working fluids with a filling ratio of 50% by total volume of tube. The CLOHP/CV was made of a glass tube with an inside diameter of 2.4 mm. The evaporator section was 50 mm and 100 mm in length and there were 10 meandering turns. An inclination angle of 90 from horizontal axis was established. The evaporator section was heated by an electric heater and the condenser section was cooled by distilled water. Temperature at the evaporator section was controlled at 85 C, 105 C and 125 C. The inlet and outlet temperatures were measured. A digital camera and video camera were used to observe the flow patterns at the evaporator. The silver nano-ethanol mixture gave higher heat flux than ethanol. When the temperature at the evaporator section was increased from 85 C to 105 C and 125 C. It was found that, the flow patterns occurred as annular flow + slug flow, slug flow + bubble flow and dispersed bubble flow + bubble flow respectively. The main regime of each flow pattern can be determined from the flow pattern map ethanol and a silver nano-ethanol mixture. Each of the two working fluids gave corresponding flow patterns. (author)

Bhuwakietkumjohn, N.; Rittidech, S. [Heat Pipe and Thermal Tools Design Research Laboratory (HTDR), Faculty of Engineering, Mahasarakham University, Mahasarakham 44150 (Thailand)

2010-11-15T23:59:59.000Z

220

Improving spot-scanning proton therapy patient specific quality assurance with HPlusQA, a second-check dose calculation engine  

SciTech Connect (OSTI)

Purpose: The purpose of this study was to validate the use of HPlusQA, spot-scanning proton therapy (SSPT) dose calculation software developed at The University of Texas MD Anderson Cancer Center, as second-check dose calculation software for patient-specific quality assurance (PSQA). The authors also showed how HPlusQA can be used within the current PSQA framework.Methods: The authors compared the dose calculations of HPlusQA and the Eclipse treatment planning system with 106 planar dose measurements made as part of PSQA. To determine the relative performance and the degree of correlation between HPlusQA and Eclipse, the authors compared calculated with measured point doses. Then, to determine how well HPlusQA can predict when the comparisons between Eclipse calculations and the measured dose will exceed tolerance levels, the authors compared gamma index scores for HPlusQA versus Eclipse with those of measured doses versus Eclipse. The authors introduce the ??? transformation as a way to more easily compare gamma scores.Results: The authors compared measured and calculated dose planes using the relative depth, z/R × 100%, where z is the depth of the measurement and R is the proton beam range. For relative depths than less than 80%, both Eclipse and HPlusQA calculations were within 2 cGy of dose measurements on average. When the relative depth was greater than 80%, the agreement between the calculations and measurements fell to 4 cGy. For relative depths less than 10%, the Eclipse and HPlusQA dose discrepancies showed a negative correlation, ?0.21. Otherwise, the correlation between the dose discrepancies was positive and as large as 0.6. For the dose planes in this study, HPlusQA correctly predicted when Eclipse had and had not calculated the dose to within tolerance 92% and 79% of the time, respectively. In 4 of 106 cases, HPlusQA failed to predict when the comparison between measurement and Eclipse's calculation had exceeded the tolerance levels of 3% for dose and 3 mm for distance-to-agreement.Conclusions: The authors found HPlusQA to be reasonably effective (79%± 10%) in determining when the comparison between measured dose planes and the dose planes calculated by the Eclipse treatment planning system had exceeded the acceptable tolerance levels. When used as described in this study, HPlusQA can reduce the need for patient specific quality assurance measurements by 64%. The authors believe that the use of HPlusQA as a dose calculation second check can increase the efficiency and effectiveness of the QA process.

Mackin, Dennis; Li, Yupeng; Taylor, Michael B.; Kerr, Matthew; Holmes, Charles; Sahoo, Narayan; Poenisch, Falk; Li, Heng; Lii, Jim; Amos, Richard; Wu, Richard; Suzuki, Kazumichi; Gillin, Michael T.; Zhu, X. Ronald; Zhang, Xiaodong [Department of Radiation Physics, The University of Texas MD Anderson Cancer Center, Houston, Texas 77030 (United States)] [Department of Radiation Physics, The University of Texas MD Anderson Cancer Center, Houston, Texas 77030 (United States)

2013-12-15T23: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.


221

Check Point Software Technologies Ltd., worldwide leader in securing the Internet, is the only vendor to deliver Total Security for networks, data and endpoints, unified under a single management framework.  

E-Print Network [OSTI]

open positions at Check Point: User Experience: Major Responsibilities: Leading user-centered design specifications and design concepts for applications. Design and execute usability test procedures, including analytics, surveys & field testing. Guide and train developers on usability principles, and provide them

Pinsky, Ross

222

Virginia Institute of Marine Science Faculty and Staff Check In Form 11/20/2012 This sheet must be signed by each person listed below and returned to the VIMS Mail Room to properly complete the  

E-Print Network [OSTI]

) Property, Central Receiving Maxine Lewis 684-7032, max@vims.edu Date Signature 6) Facilities Management be signed by each person listed below and returned to the VIMS Mail Room to properly complete the Check Students, Scholars, and Programs. Reeves Center. Steve Sechrist, 757-221-3437 sjsech@wm.edu Date Signature

Swaddle, John

223

The performance check between whole building thermal performance criteria and exterior wall measured clear wall R-value, thermal bridging, thermal mass, and airtightness  

SciTech Connect (OSTI)

At the last IEA Annex 32 meeting it was proposed that the annex develop the links between level 1 (the whole building performance) and level 2 (the envelope system). This paper provides a case study of just that type of connection. An exterior wall mockup is hot box tested and modeled in the laboratory. Measurements of the steady state and dynamic behavior of this mockup are used as the basis to define the thermal bridging, thermal mass benefit and air tightness of the whole wall system. These level two performance characteristics are related to the whole building performance. They can be analyzed by a finite difference modeling of the wall assembly. An equivalent wall theory is used to convert three dimensional heat flow to one dimensional terms that capture thermal mass effects, which in turn are used in a common whole building simulation model. This paper illustrates a performance check between the thermal performance of a Massive ICF (Insulating Concrete Form) wall system mocked up (level 2) and Whole Building Performance criteria (level 1) such as total space heating and cooling loads (thermal comfort).

Kosny, J.; Christian, J.E.; Desjarlais, A.O. [Oak Ridge National Lab., TN (United States). Buildings Technology Center; Kossecka, E. [Polish Academy of Sciences (Poland); Berrenberg, L. [American Polysteel Forms (United States)

1998-06-01T23:59:59.000Z

224

Model Checking for Software Architectures  

E-Print Network [OSTI]

-Dulay-Eisenbach-Kramer-95] ­ -calculus + FSP ­ LTSA (LTL properties) #12;6EWSA 2004 (May 21-22, St Andrews, Scotland) Model

Joseph Fourier Grenoble-I, Université

225

Spending Tracker Jot down what you spend as you spend. Carry this card with you, and make it a habit to record your purchases by cash, check, debit, or credit card. Knowing where your money goes is an important first step to financial freedom!  

E-Print Network [OSTI]

it a habit to record your purchases ­ by cash, check, debit, or credit card. Knowing where your money goes. Knowing where your money goes is an important first step to financial freedom! Educational programs ­ by cash, check, debit, or credit card. Knowing where your money goes is an important first step

226

Global optimization of data quality checks on 2-D and 3-D networks of GPR cross-well tomographic data for automatic correction of unknown well deviations  

SciTech Connect (OSTI)

Significant errors related to poor time zero estimation, well deviation or mislocation of the transmitter (TX) and receiver (RX) stations can render even the most sophisticated modeling and inversion routine useless. Previous examples of methods for the analysis and correction of data errors in geophysical tomography include the works of Maurer and Green (1997), Squires et al. (1992) and Peterson (2001). Here we follow the analysis and techniques of Peterson (2001) for data quality control and error correction. Through our data acquisition and quality control procedures we have very accurate control on the surface locations of wells, the travel distance of both the transmitter and receiver within the boreholes, and the change in apparent zero time. However, we often have poor control on well deviations, either because of economic constraints or the nature of the borehole itself prevented the acquisition of well deviation logs. Also, well deviation logs can sometimes have significant errors. Problems with borehole deviations can be diagnosed prior to inversion of travel-time tomography data sets by plotting the apparent velocity of a straight ray connecting a transmitter (TX) to a receiver (RX) against the take-off angle of the ray. Issues with the time-zero pick or distances between wells appear as symmetric smiles or frown in these QC plots. Well deviation or dipping-strong anisotropy will result in an asymmetric correlation between apparent velocity and take-off angle (Figure 1-B). In addition, when a network of interconnected GPR tomography data is available, one has the additional quality constraint of insuring that there is continuity in velocity between immediately adjacent tomograms. A sudden shift in the mean velocity indicates that either position deviations are present or there is a shift in the pick times. Small errors in well geometry may be effectively treated during inversion by including weighting, or relaxation, parameters into the inversion (e.g. Bautu et al., 2006). In the technique of algebraic reconstruction tomography (ART), which is used herein for the travel time inversion (Peterson et al., 1985), a small relaxation parameter will smooth imaging artifacts caused by data errors at the expense of resolution and contrast (Figure 2). However, large data errors such as unaccounted well deviations cannot be adequately suppressed through inversion weighting schemes. Previously, problems with tomograms were treated manually. However, in large data sets and/or networks of data sets, trial and error changes to well geometries become increasingly difficult and ineffective. Mislocation of the transmitter and receiver stations of GPR cross-well tomography data sets can lead to serious imaging artifacts if not accounted for prior to inversion. Previously, problems with tomograms have been treated manually prior to inversion. In large data sets and/or networks of tomographic data sets, trial and error changes to well geometries become increasingly difficult and ineffective. Our approach is to use cross-well data quality checks and a simplified model of borehole deviation with particle swarm optimization (PSO) to automatically correct for source and receiver locations prior to tomographic inversion. We present a simple model of well deviation, which is designed to minimize potential corruption of actual data trends. We also provide quantitative quality control measures based on minimizing correlations between take-off angle and apparent velocity, and a quality check on the continuity of velocity between adjacent wells. This methodology is shown to be accurate and robust for simple 2-D synthetic test cases. Plus, we demonstrate the method on actual field data where it is compared to deviation logs. This study shows the promise for automatic correction of well deviations in GPR tomographic data. Analysis of synthetic data shows that very precise estimates of well deviation can be made for small deviations, even in the presence of static data errors. However, the analysis of the synthetic data and the application of

Sassen, D. S.; Peterson, J. E.

2010-03-15T23:59:59.000Z

227

Calling on a million minds for community annotation in WikiProteins  

E-Print Network [OSTI]

search engine be case insensitive and find CLB2 based on the query term Clb2, but in a wider context, case insensitivity leads to aggravation of the ambiguity prob- lem. For example, in PubMed, the query 'Clb2' delivers papers on dental self... '. Furthermore, the authors of this abstract have used several constructs that make text mining difficult as they enter conjugate terms such as 'mitotic cyclin (Clb2)-bound Cdc28 (Cdk1 homolog)', 'Clb2-Cdc28', 'Clb2-Cdc28-phos- phorylated Swe1', 'Cdc28/Cdk1...

Mons, Barend; Ashburner, Michael; Chichester, Christine; van Mulligen, Erik; Weeber, Marc; den Dunnen, Johan T; Musen, Marc; Cockerill, Matthew; Hermjakob, Henning; Packer, Abel; Pacheco, Roberto; Lewis, Suzanna; Berkeley, Alfred; Melton, William; Barris, Nickolas; Borner, Katy; Meijssen, Gerard; Moeller, Erik; Roes, Peter Jan; Mons, Albert; van Ommen, Gert; Wales, Jimmy; Bairoch, Amos

2008-05-28T23:59:59.000Z

228

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

Xu, Chen

2011-10-21T23:59:59.000Z

229

PlDoc: Wiki style Literate Programming for Jan Wielemaker1  

E-Print Network [OSTI]

to com- mon Prolog documentation practices. Immediate reward is provided by a web interface powered from Box 217, 7500 AE Enschede, The Netherlands a.a.anjewierden@utwente.nl Abstract. This document documentation. When accessed from localhost, it is possible to go from documentation shown in a browser

Anjewierden, Anjo

230

Wiki as a Pedagogical Tool for Translation Teaching HARI VENKATESAN ROBERT P. BIUK-AGHAI  

E-Print Network [OSTI]

the classroom. As technology improved around the mid 1990s, computers and the new Internet began to be seen in technology and notably the advent of the Internet. Computer Aided Instruction, the precursor to CSCL, brought about automation of data dissemination, test-taking, language drills etc. that radically changed

Biuk-Aghai, Robert P.

231

Home News Blogs Forums Wiki Members More Current page: News / News  

E-Print Network [OSTI]

surface treatment Discover a whole range of gas plasma surface treatment systems www.europlasma.be Process a millimeter displacement of pistons to lift an object twice the height of the wor tallest building to make artifici muscles, surfaces that change their properties in response to electricity or light

Leigh, David A.

232

Het Maritieme Waarnemers logbook "WikiLog" Sarah North, UK Met Office & Frits Koek, KNMI  

E-Print Network [OSTI]

door een vallende ster of een UFO die langs de nachtelijke hemel vloog of werd uw schip omgeven door

Koek, Frits

233

1 LEARNING ABOUT SOCIAL ACCOUNTING IN THE KNOWLEDGE SOCIETY: A WIKI-WEBQUEST  

E-Print Network [OSTI]

Within a political and economic context, the creation of the European Higher Education Area could be of increasing greater importance as part of the process of European integration. In this sense, in order to attain the ultimate objective of European integration, different measures

Carmen Pilar Martí; Soledad Moya; Diego Prior

234

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

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of InspectorConcentrating Solar Power BasicsGermany: EnergyPowerInformationHomer Electric|

235

Background Check Policy 4.15  

E-Print Network [OSTI]

. Definitions Term Definition Appointee An individual deemed to have an affiliation with the university in a non, entering a guilty plea or pleading no contest to a felony or misdemeanor. Fair Credit Reporting Act Federal final candidates for the following positions: 1. Regular faculty and staff, 2. Temporary, term, seasonal

Howat, Ian M.

236

Automatic Stability Checking for Large Analog Circuits  

E-Print Network [OSTI]

breakpoints. However, this method suffers from extremely high time and memory complexity and thus cannot be scaled to very large analog circuits. In this research work, we first take an in-depth look at the loop finder algorithm so as to identify certain key...

Mukherjee, Parijat 1985-

2010-12-06T23:59:59.000Z

237

LABORATORY SAFETY CHECK LIST DAY MONTH YEAR  

E-Print Network [OSTI]

Specific Signage: a) Containers used to store radioactive material or radioactive waste have the appropriate label. b) Refrigerators and freezers used for radioactive material storage have the appropriate label. c) Equipment used to handle or manipulate radioactive material has the appropriate label. d

Machel, Hans

238

Smog Check II Evaluation California Inspection and  

E-Print Network [OSTI]

National Ambient Air Quality Standards NO Nitrogen Oxide NO2 Nitrogen Dioxide NOx Nitrogen Oxides RAP Assistance Program CHP California Highway Patrol CO Carbon Monoxide CO2 Carbon Dioxide DMV California

Denver, University of

239

Optimizing Symbolic Model Checking for Statecharts  

E-Print Network [OSTI]

on commercial aircraft. The techniques together reduce the time and space requirements by orders of magnitude of the TCAS II and the EPD analyses. Experi- mental results show orders-of-magnitude reduction in the time of the BDDs generated. We identify certain styles for synchronization in state- charts that are more efficient

Beame, Paul

240

Challenges in Service Mining: Record, Check, Discover  

E-Print Network [OSTI]

Research University Higher School of Economics (HSE), 33 Kirpichnaya Str., Moscow, Russia. Abstract Manager (Software AG), Pro- cessAnalyzer (QPR), Interstage Process Discovery (Fujitsu), Discovery Analyst

van der Aalst, Wil

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

Model Checking ATL+ is Harder than It  

E-Print Network [OSTI]

Richter (Technical Computer Science) Prof. Dr. Gabriel Zachmann (Computer Graphics) Prof. Dr. Christian

Zachmann, Gabriel

242

Check for chirality in {sup 102}Rh  

SciTech Connect (OSTI)

Excited states in {sup 102}Rh, populated by the fusion-evaporation reaction {sup 94}Zr({sup 11}B,3n){sup 102}Rh at a beam energy of 36 MeV, were studied using the INGA spectrometer at IUAC, New Delhi. The angular correlations and the electromagnetic character of some of the gamma-ray transitions observed were investigated in details. A new chiral candidate sister band was found in the level-scheme of {sup 102}Rh. Lifetimes of exited states in {sup 102}Rh were measured by means of the Doppler-shift attenuation technique. The experimental results do not support the presence of static chirality in {sup 102}Rh.

Tonev, D.; Goutev, N.; Yavahchova, M. S.; Petkov, P.; Angelis, G. de; Bhowmik, R. K.; Singh, R. P.; Muralithar, S.; Madhavan, N.; Kumar, R.; Raju, M. Kumar; Kaur, J.; Mahanto, G.; Singh, A.; Kaur, N.; Garg, R.; Sukla, A.; Marinov, Ts. K.; Brant, S. [Bulgarian Academy of Sciences, Institute for Nuclear Research and Nuclear Energy, Sofia (Bulgaria) and INFN, Laboratori Nazionali di Legnaro, Legnaro (Italy); Inter-University Accelerator Center, New Delhi (India); Nuclear Physics Department, Andhra University, Visakhapatnam (India); Department of Physics, Punjab University, Chandigarh (India); Inter-University Accelerator Center, New Delhi (India); Department of Physics, Punjab University, Chandigarh (India); Department of Physics and Astrophysics, Delhi University, New Delhi (India); Department of Physics, Banaras Hindu University, Varanasi (India); Bulgarian Academy of Sciences, Institute for Nuclear Research and Nuclear Energy, Sofia (Bulgaria); Department of Physics, Faculty of Science, Zagreb University, Zagreb (Croatia)

2012-10-20T23:59:59.000Z

243

Check out updated guidelines and new  

E-Print Network [OSTI]

-590-7723 Robson Bight (Michael Bigg) Ecological Reserve: www.env.gov.bc.ca/bcparks/eco of o cial duties, ships in the shipping lanes, research vessels under permit, and vessels lawfully

244

Bisimulation, Model Checking and Other Colin Stirling  

E-Print Network [OSTI]

University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@dcs.ed.ac.uk Contents 1 Introduction 2 2 Process to Park and Milner is described. It is essentially game theoretic and so we build on this view. It can

Stirling, Colin

245

Model Checking for Software Architectures Radu Mateescu  

E-Print Network [OSTI]

] are essential engineering artifacts used in the de- sign process of complex software systems. They specify alge- bras, the most prominent ones being Wright [2] and Darwin [17]. Wright is based upon Csp, thus (configuration and coordination) and Fsp (a dialect of Csp) to describe the behaviour of individual components

Joseph Fourier Grenoble-I, Université

246

Las Conchas Challenge Grant Fund checks awarded  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc DocumentationP-SeriesFlickrinformationPostdocs space CombinedValues

247

ClimateCHECK | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin: Energy ResourcesInformation istype ofdefined

248

Effects of Check-In/Check-Out (CICO) Procedures on Special Education Students  

E-Print Network [OSTI]

-Tillman, Chafouleas, and Briesch (2007) suggest that DBRCs be utilized within a precise time and location, a fixed measurement of frequency, and calculated in a reliable manner. 1.4 Token Economy Token economy systems have been used as a reinforcement component...

Bergman, Kelly D.

2010-01-14T23:59:59.000Z

249

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

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

ports, border crossings and airports around the world. During Secretary Chu's visit to Russia this week, he will help build on our international collaboration by touring the St....

250

TUMOUR IMMUNOLOGY Keeping virus-driven lymphomas in check  

E-Print Network [OSTI]

,acombinationofthetumour-targetingantibody trastuzumab(whichisspecificforhumanepidermalgrowthfactor receptor 2(HER2))andanaturalkiller(NK)cell vasculature. Leukocyte adhesion to endothelial cells lining the tumour-associated vasculature is impaired and cleared by the immune system, but it can persist in some cells for life. Under conditions

Cai, Long

251

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

organisation conducting these activities should have an ITER approved QA Program or an ISO 9001 accredited quality system. The general requirements are detailed in ITER document...

252

Checking Your Car's 4000 Welds is Serious Business. Scientists...  

Energy Savers [EERE]

Efficiency of Automotive Manufacturing Zero to 60 in under five seconds. Concept to reality in just six weeks. Photo Gallery: 3D Printing Brings Classic Shelby Cobra to Life...

253

Date Submitted: January 2013 Reason for Submission: (Check One)  

E-Print Network [OSTI]

to ensure an efficient, high quality and profitable food service. The Executive Chef directs and motivates) The Executive Chef is a collaborate member of the Food, Beverage and Events senior management team responsible for the development of long-term strategy and tactics related to the overall Food, Beverage and Events area's business

Habib, Ayman

254

Background Check Information College of Nursing Advisement Center  

E-Print Network [OSTI]

(NOT Country) Tables of Counties State County Fee California Del Norte $15 Humbolt $15 Imperial $15 listed below have the same county. If your current address has a different county than your previous address you must pay $41.00. If you are from any of the counties in the below tables you have additional

Olsen Jr., Dan R.

255

ES&H Safety Walk Around Check List  

E-Print Network [OSTI]

equipment with more than one point of hazardous energy control have a posted lockout/ tagout procedure? Do

Knowles, David William

256

Model Checking the Java Metalocking Iowa State University  

E-Print Network [OSTI]

and lockout at the metalock level. We also show that, while the monitor-lock level of the protocol preserves mutual exclusion and deadlock-freedom, it is not lockout-free because the protocol's designers chose

Basu, Samik

257

Ref. No. FU4301 Prepd. KIN Edition 1 Checked MNSJ  

E-Print Network [OSTI]

high above the water surface, so even the highest waves cannot reach the structure. 1.1 The principle Calculate the average power produced by a single float of diameter 10 meter in a regular 2 meter heigh wave with experimental results in regular waves. In theory the power produced in regular waves of a certain wave period

258

xlinkit: A Consistency Checking and Smart Link Generation Service  

E-Print Network [OSTI]

, Wolfgang Emmerich and Anthony Finkelstein Department of Computer Science University College London Gower Street, London, WC1E 6BT UK {c.nentwich,l.capra,w.emmerich,a.finkelstein}@cs.ucl.ac.uk xlinkit@acm.org. #12;2 · C. Nentwich, L. Capra, W. Emmerich and A. Finkelstein reference to a simple example

Finkelstein, Anthony

259

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

Office of Environmental Management (EM)

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

260

Progress Energy Florida- Home Energy Check Audit and Rebate Program  

Broader source: Energy.gov [DOE]

Upon request, Progress Energy Florida will perform a free home energy inspection. To qualify for one or all of the rebates, measures must be recommended during the inspection. Eligible equipment...

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

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

against the baseline work plan and indicate variances that should be used for trending. Performance indicators suitable to measure the progress of the work as compared to the...

262

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

Experience in risk and functional analysis of large I&C systems. Good knowledge of Siemens PLCs (S7-400 series). Good knowledge of SCADA systems based EPICS and on COTS...

263

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

and IO Plant Systems. Tools are defined and approved by PBS 22 Machine Assembly and Tooling Section and are supplied either by DA or from IO Fund. Undertake role and...

264

Interoperability constraints and requirements formal modelling and checking framework  

E-Print Network [OSTI]

an actor involved in a process (engineering, decision, control) focusing on complex system. These paradigms requirements having to be respected all along collaborative (private or public) processes. Keywords: System and stability (safety, security, etc.) and second, the process environment, resources and context. Various

Paris-Sud XI, Université de

265

Check here if a revision PROGRAM OF STUDY FORM GRADUATE  

E-Print Network [OSTI]

: _______________________________________ PROJECTED GRADUATION DATE*: _____ _____ _____ _____ YEAR: 20_____ DEC MAY JUNE AUG TODAY'S DATE: _______________ DEGREE DATE/PROJECTED GRADUATION DATE: ____________ DEGREE: ______________________ PROGRAM: _______________ DEGREE DATE/PROJECTED GRADUATION DATE: ____________ PROGRAM OF STUDY APPROVALS

Crowston, Kevin

266

Quantifying the Parallelism in BPMN Processes using Model Checking  

E-Print Network [OSTI]

a valuable guide for the problem of resource allocation in business processes. In this paper, we investigate . time and space, with a beginning and an end [5]. Business process modelling is an important area process efficiency and quality. More precisely, it is a stage to model activities, their causal

Paris-Sud XI, Université de

267

Approximation-based Tree Regular Model-Checking  

E-Print Network [OSTI]

@lsv.ens-cachan.fr (c) LIFC, INRIA-CASSIS 16, route de Gray, 25030 Besançon, FRANCE olga of software systems is one of the most challenging research problems in computer aided verification

Paris-Sud XI, Université de

268

IID Energy- Commercial Rebate Program (Commercial Check Me)  

Broader source: Energy.gov [DOE]

Imperial Irrigation District (IID) offers incentives to its commercial customers to encourage the adoption of energy efficient technologies. Several distinct programs cover general commercial...

269

Reimagine Your World CHECK OUT CAL-TALENT!  

E-Print Network [OSTI]

Part-time Customer Service/ IT Help Desk Systems programming analyst. Managed, monitored, and audited and customer service. Provided support for a diverse academic community. Skill in managing highly sensitive their positions because of re-structuring occurring at Berkeley, similar to the organic transformation in many

Walker, Matthew P.

270

LAB INSPECTION CHECK LIST Building: Room: Inspection Date: Time  

E-Print Network [OSTI]

Notes 4. Are biohazard warnings on freezers, refrigerators and storage units where biological materials are present? OSHA Biohazard warning labels must be posted on all refrigerators, freezers, and storage units. Is "No Food" sign posted on lab microwaves; "No food and No Flammables" sign posted on lab refrigerators

Weber, Rodney

271

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

& Remote Handling framework contract. Approval Process Name Action Affiliation Author Hamilton D. 15 Dec 2014:signed IODGDIPPSEPEDRH Co-Authors Reviewers Brown A. Lazarov D....

272

Model Checking MANETs with Arbitrary Mobility Fatemeh Ghassemi1  

E-Print Network [OSTI]

with an unless operator, are parameterized by multi- hop constraints over topologies, to express conditions on successful scenarios of a MANET protocol. We moreover provide a bisimilarity relation with the same

Fokkink, Wan

273

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

IDM ITER Document Management software IS Interface Sheet ISO International Organization for Standardization LS Load Specification NB Neutral Beam NBI Neutral Beam...

274

Motion Planning with Sequential Convex Optimization and Convex Collision Checking  

E-Print Network [OSTI]

3D-printed implants for intracavitary brachytherapy. Details, videos, and source code is freely trajectories, and (f) optimized layout for bounded curvature channels within 3D-printed vaginal implants

North Carolina at Chapel Hill, University of

275

Proposal#: 9285 Title: No Proposal found, please check proposal number  

E-Print Network [OSTI]

or completion of a degree will be promised to any sponsor as a deliverable for this project. Department Head Department Head Department Head Department Head The work proposed is technically sound and can be performed

276

A framework for the checking and refactoring of crosscutting concepts  

E-Print Network [OSTI]

Engineering (Dubrovnik, Croatia, September 03–07, 2007).Engineering (Dubrovnik, Croatia, Septem- ber 03–07, 2007).Engineering (Dubrovnik, Croatia, September 03–07, 2007).

Shonle, Macneil Charles

2009-01-01T23:59:59.000Z

277

Paralization and check pointing of GPU applications through program transformation  

SciTech Connect (OSTI)

GPUs have emerged as a powerful tool for accelerating general-purpose applications. The availability of programming languages that makes writing general-purpose applications for running on GPUs tractable have consolidated GPUs as an alternative for accelerating generalpurpose applications. Among the areas that have bene#12;ted from GPU acceleration are: signal and image processing, computational uid dynamics, quantum chemistry, and, in general, the High Performance Computing (HPC) Industry. In order to continue to exploit higher levels of parallelism with GPUs, multi-GPU systems are gaining popularity. In this context, single-GPU applications are parallelized for running in multi-GPU systems. Furthermore, multi-GPU systems help to solve the GPU memory limitation for applications with large application memory footprint. Parallelizing single-GPU applications has been approached by libraries that distribute the workload at runtime, however, they impose execution overhead and are not portable. On the other hand, on traditional CPU systems, parallelization has been approached through application transformation at pre-compile time, which enhances the application to distribute the workload at application level and does not have the issues of library-based approaches. Hence, a parallelization scheme for GPU systems based on application transformation is needed. Like any computing engine of today, reliability is also a concern in GPUs. GPUs are vulnerable to transient and permanent failures. Current checkpoint/restart techniques are not suitable for systems with GPUs. Checkpointing for GPU systems present new and interesting challenges, primarily due to the natural di#11;erences imposed by the hardware design, the memory subsystem architecture, the massive number of threads, and the limited amount of synchronization among threads. Therefore, a checkpoint/restart technique suitable for GPU systems is needed. The goal of this work is to exploit higher levels of parallelism and to develop support for application-level fault tolerance in applications using multiple GPUs. Our techniques reduce the burden of enhancing single-GPU applications to support these features. To achieve our goal, this work designs and implements a framework for enhancing a single-GPU OpenCL application through application transformation.

Solano-Quinde, Lizandro Dami#19; an [Ames Laboratory

2012-11-15T23:59:59.000Z

278

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

constraints are solved. Here also the engineer will be helped by a ITER engineer. Qualification plan: the aim of this document is to describe all tests to be performed and...

279

Checking e-service consistency using Description Logics Luigi Dragone  

E-Print Network [OSTI]

specification and a suitable operational semantics of the e-service contract, on which we define functional representation. On the other hand, there is a strong requirement on the well- foundedness of the service contract

Rosati, Riccardo

280

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

MAI Machine Assembly and Installation (Section) MQP Management and Quality Program NDE Non-Destructive test and Examination PIA Protection Important Activity PIC Protection...

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

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

Internal Use RO: Gilligan Steve Read Access RO, project administrator, LG: Construction Project Management, AD: IODirector-General, AD: EMAB, AD: Auditors IDM UID QQDMMM...

282

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

for the Senior Procurement and Contracts Manager positiion in support for the site construction management contracting. Approval Process Name Action Affiliation Author De Cat W....

283

Abstractions for Model Checking System Security Jason Douglas Franklin  

E-Print Network [OSTI]

School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Thesis Committee: Anupam Datta, Abstraction, Parametricity, Refinement #12;To those that favor thought before blind action. #12;iv #12. In this thesis, we develop a framework that enables au- tomated, verifiable security guarantees for a wide range

284

Timed Automata Lecture #15 of Advanced Model Checking  

E-Print Network [OSTI]

controller of an airplane, railway crossing, robot controllers ­ steel production controllers, communication ­ the next-operator "measures" time passage ­ two time units after being red, the light is green: 2 (red green) ­ within two time units after red, the light is green: 2 (red (green green green)) 2 green

Ábrahám, Erika

285

Timed Automata Lecture #15 of Advanced Model Checking  

E-Print Network [OSTI]

of an airplane, railway crossing, robot controllers ­ steel production controllers, communication protocols ­ the next-operator "measures" time passage ­ two time units after being red, the light is green: 2 (red green) ­ within two time units after red, the light is green: 2 (red (green green green)) | {z } 2

Ábrahám, Erika

286

Check Estimates and Independent Costs - DOE Directives, Delegations...  

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

estimates and their procedures and various types of independent cost estimates. g4301-1chp13.pdf -- PDF Document, 33 KB Writer: John Makepeace Subjects: Administration Management...

287

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

follow up activities. Approval Process Name Action Affiliation Author De Cat W. 10 Mar 2015:signed IODGADMGEAPCDCTS Co-Authors Reviewers Blackler K. 10 Mar 2015:recommended...

288

COMMUNICATION ARTS OPTION Spring 2011 Advising Check-sheet  

E-Print Network [OSTI]

4540 Dev. of Cinema FTCA 4545 Film Theory and Criticism FTCA 4591 Film Styles and Genres REQUIRED FTCA ____________________(3)_____ ENGL LIT ____________________(3)_____ Remedial does not count for graduation. SOCIAL SCIENCE, Polit. Science, Sociology, Psychology, or Urban Studies

Li, X. Rong

289

FILM ARTS OPTION Fall 2011 Advising Check-sheet  

E-Print Network [OSTI]

(3) _______ FTCA 2565 Intro to Digital Technology (3) _______ FTCA 2510 Intro to Cinema Techniques (3) _______ FTCA 4540* Dev. of the Cinema, Part I OR 4541* Dev. of the Cinema, Part II (3) _______ FTCA 4545* Film for graduation. SOCIAL SCIENCE ELECTIVES 12 Hours from 2 different areas---6hrs. at 2000 + level. (Anthropology

Li, X. Rong

290

Software Model Checking: The VeriSoft Approach Patrice Godefroid  

E-Print Network [OSTI]

of the concurrent system specified in a (essentially finite­state) modeling language. Many properties of a model purposes. 1 Examples of tools that follow the above paradigm are CAESAR [FGM + 92], COSPAN [HK90], CWB [CPS

Rajamani, Sriram K.

291

Model Checking and Other Games \\Lambda Colin Stirling  

E-Print Network [OSTI]

of Edinburgh Edinburgh EH9 3JZ, UK email: cps@dcs.ed.ac.uk July 2, 1996 Contents 1 Introduction 2 2 Process. In section 3 bisimulation equivalence due to Park and Milner is described. It is essentially game theoretic

Stirling, Colin

292

Research Focus A caspase homolog keeps CED-3 in check  

E-Print Network [OSTI]

is a highly conserved form of cell death that is essential for controlling cell numbers throughout the mechanism for maintaining a proper life­death balance was unclear. Now, a new study identifies CSP-3 of caspase homolog-3 (CSP-3), a C. elegans c

Xue, Ding

293

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

o Order of 10 August 1984 relating to the quality of design, construction, operation and decommissioning of nuclear installations (so called quality order); o Order of 26 November...

294

Status: Checked out and editable. Level 0 Data  

E-Print Network [OSTI]

wind direction) w Wind speed w m/s mm/s, cm/s Vertical wind speed Tsonic Sonic temperature °C K, cK, c Variables u Wind speed u m/s mm/s, cm/s Horizontal wind speed (usually oriented into prevailing wind direction) v Wind speed v m/s mm/s, cm/s Horizontal wind speed (usually oriented lateral/cross to prevailing

295

Solving the Rehearsal Problem with Planning and with Model Checking  

E-Print Network [OSTI]

Gregory,P. Miller,A. Prosser,P. 16th European Conference on Artificial Intelligence (ECAI 2004), workshop W14: Modelling and Solving Problems with Constraints pp 157--171

Gregory, P.; Miller, A.

296

Student Project Model Checking of a Closed-Loop  

E-Print Network [OSTI]

(PCA) infusion pump. They have also implemented a failure scenario where the safety of the patient.2 Model Descriptions . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.2.1 PCA Infusion Pump such as infusion pumps can affect the patient'

297

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...  

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

the radiated heat as well as most of the neutrons from the plasma and protect the vessel and magnet coils from excessive nuclear radiation. The heat deposited in the internal...

298

Model Checking Reconfigurable Processor Configurations for Safety Properties  

E-Print Network [OSTI]

of the standard part of the processor and properties of the reconfigurable array. This de- composition assumes

Kapur, Deepak

299

New Employee Check in Packet | The Ames Laboratory  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the Contributions andDataNational Library of1,Department ofNew Eddy Correlation

300

check list for those with one abnormal BeLPT  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGYWomen Owned SmallOf TheViolations |JoinZero-Energy Home Tour:a Multi-User491

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

LCLS User Check-In Procedures | Linac Coherent Light Source  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: VegetationEquipment Surfaces and Interfaces Sample Environment: Magnet and6 th7525T HE FLCLSLCLS PrepUser

302

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

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of Energy Power.pdf11-161-LNG |September 15,2015 |

303

PIA - Positive Pay and Check Reconciliation (POSPAY) | Department of Energy  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the1 - September 2006 The 2002OpticsPeriodical: VolumeIComplaints

304

Advisement Check Sheet B.S. in INTERNATIONAL TRADE  

E-Print Network [OSTI]

3230 2 HLTH 1520 3 FORL 3000 level 3 Env. Science with lab (Area D2) 3 Business Core #1A 3 FORL 3000#____________________________ Begin Term Date_____________________ Advisor______________________________ AREA A - Essential Skills 9 Hrs. *ENGL 1101 Composition I 3 *ENGL 1102 Composition II 3 MATH 1111, 1112, 1113, *1441 3 AREA B

Hutcheon, James M.

305

Global Optimization and Parallelization of Integrity Constraint Checks  

E-Print Network [OSTI]

. The primary objective of global opti­ mization is to produce a global execution plan for a group ngine ( ) ice i c e parallel generation of evaluation plans Figure 1: Basic concept of integrity

Neumaier, Arnold

306

Energy Management System Implementation … Do and Check  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-UpHeat PumpRecord ofESPC ENABLE:2009 DOEDeploymentHenry C. FoleyEnergyW3-3 Advanced

307

File:OperatingPermitCheckList.pdf | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublicIDAPowerPlantSitingConstruction.pdfNotify98.pdf Jump to: navigation, search File File history File

308

Tools for Viewing and Quality Checking ARM Data  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear SecurityTensile Strain Switched Ferromagnetism in Layered NbS2 andThe1A:decisional. 1 BEnergy Tools for

309

Model-checking Distributed Components: The Vercors Platform  

E-Print Network [OSTI]

software. Through the reuse of software, designers are able to speed up their development process and avoid team OSCAR funded by INRIA and University of Chile. This paper is electronically published signatures) of each component through its interfaces, it is well-known that static typing of bound interfaces

Paris-Sud XI, Université de

310

NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness  

E-Print Network [OSTI]

Jacob Burnim Tayfun Elmas George Necula Koushik Sen Department of Electrical Engineering and Computer or commercial advantage and that copies bear this notice and the full citation on the first page. To copy

Necula, George

311

Model Checking for Industrial Applications Bernd-Holger Schlinglo  

E-Print Network [OSTI]

Quality assurance in software development Formal design methods Safety-critical systems Reactive programs, multimedia, graphical user interfaces, ... H. Schlinglo , BISS 3 / 72 #12;Software quality assurance Why rules suggests rules { usually expert knowledge required { not accepted by system engineers Automatic

Schlingloff, Holger

312

REFERENCE CHECK QUESTIONS Candidate Name:_____________________ Date of Reference:_____________  

E-Print Network [OSTI]

are the candidate's most significant strengths? Any areas for improvement? If you were in a position to hire:_____________ Reference Name:_____________________ Company:____________________ Conducted by:_______________________ Phone (name) handle conflict? How about pressure? Stress? Describe the candidate's productivity, commitment

Provancher, William

313

CASH / CHECK (EnCloSEd) ToTAl: Cash Check (Payable to the UAA Community Campaign)  

E-Print Network [OSTI]

. 96802 Life Alaska Donor Services 93898 Pathway Counseling & Family Center 50737 Renewable Energy Alaska Anchorage 35694 Kid's Corps, Inc. 30881 Lutheran Social Services of Alaska, Inc. 55632 Mabel T. Caverly

Pantaleone, Jim

314

Shoreside Processor Check-in & Check-out Report Page 1 of 1 Updated August 30, 2011  

E-Print Network [OSTI]

(including non-groundfish) remaining at the facility (other than public cold storage) by species code

315

Practical Session -Grid'5000 Spring School 2010 Thursday, 8th April 2010 Put some Green in your Grid'5000 experiments  

E-Print Network [OSTI]

Practical Session - Grid'5000 Spring School 2010 Thursday, 8th April 2010 Put some Green in your Grid'5000 experiments https://www.grid5000.fr/mediawiki/index.php/Put_Some_Green_In_Your_Experiments Introduction This practical session is focused on energy aspects in Grid'5000. This session is based on the 150

Lefèvre, Laurent

316

New Technologies Power Wearable Devices through Body Power or...  

Open Energy Info (EERE)

Power Wearable Devices through Body Power or the Environment Home > Groups > No Battery Wearables WikiSysop's picture Submitted by WikiSysop(15) Member 12 August, 2014 - 13:18...

317

TRL Computer System User’s Guide  

SciTech Connect (OSTI)

We have developed a wiki-based graphical user-interface system that implements our technology readiness level (TRL) uncertainty models. This document contains the instructions for using this wiki-based system.

Engel, David W.; Dalton, Angela C.

2014-01-31T23:59:59.000Z

318

Erin Gill, city of Knoxville sustainability director, on Aug...  

Open Energy Info (EERE)

Erin Gill, city of Knoxville sustainability director, on Aug. 13, 2014, explains a competition entered by the city with a 5 mil Home WikiSysop's picture Submitted by WikiSysop(15)...

319

SEDS  

Energy Science and Technology Software Center (OSTI)

002859IBMPC00 Stochastic Energy Deployment System (SEDS) World Oil Model (WOM)  https://seds.nrel.gov/wiki/OilModule 

320

From Check-in/Check-out to Be-in/Be-out: BLE-based Automated Journey Payment in Public Transportation:.  

E-Print Network [OSTI]

??The current Dutch OV-chipkaart payment system for public transportation is based on RFID cards and requires a lot of manual actions from travellers. In this… (more)

Treurniet, J.J.

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


321

Sewind Co Ltd | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New EnergyAnatoliaScira OffshoreMediawiki Home

322

Shanghai Shenhua Wind Power New Energy Co Ltd | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New EnergyAnatoliaScira OffshoreMediawiki

323

Shanxi Zhangze Power Inner Mongolia Subsidiary | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New EnergyAnatoliaScira OffshoreMediawikiShantou Dan

324

Shengguo Tongyuan Beijing Technology Co Ltd | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New EnergyAnatoliaScira OffshoreMediawikiShantou

325

Check-in by DIS to UGC re: WE ois@truman.edu February 25, 2013  

E-Print Network [OSTI]

COURSES WE2: Section-specific WE courses (WE2) continue to be phased out of the curriculum. o As programs are reviewed, a decision should be made about WE2 courses. o In some cases, two course numbers should

Gering, Jon C.

326

A comparison algorithm to check LTSA Layer 1 and SCORM compliance in e-Learning sites  

E-Print Network [OSTI]

The success of e-Learning is largely dependent on the impact of its multimedia aided learning content on the learner over the hyper media. The e-Learning portals with different proportion of multimedia elements have different impact on the learner, as there is lack of standardization. The Learning Technology System Architecture (LTSA) Layer 1 deals with the effect of environment on the learner. From an information technology perspective it specifies learner interaction from the environment to the learner via multimedia content. Sharable Content Object Reference Model (SCROM) is a collection of standards and specifications for content of web-based e-learning and specifies how JavaScript API can be used to integrate content development. In this paper an examination is made on the design features of interactive multimedia components of the learning packages by creating an algorithm which will give a comparative study of multimedia component used by different learning packages. The resultant graph as output helps...

Sengupta, Souvik; Banerjee, Nilanjan

2012-01-01T23:59:59.000Z

327

Failure Modes and Causes for Swing and Lift Type Check Valves  

Office of Scientific and Technical Information (OSTI)

the stuck closed cases involved a stuck piston due to lodged foreign material andor corrosion particulate, generally from the system itself and often exacerbated by carbon steel...

328

Health, safety, and environmental risks from energy production: A year-long reality check  

SciTech Connect (OSTI)

Large-scale carbon dioxide capture and storage (CCS) offers the benefit of reducing CO{sub 2} emissions and thereby mitigating climate change risk, but it will also bring its own health, safety, and environmental risks. Curtis M. Oldenburg, Editor-in-Chief, considers these risks in the context of the broader picture of energy production. Over the last year, there have been major acute health, safety, and environmental (HSE) consequences related to accidents involving energy production from every major primary energy source. These are, in chronological order: (i) the Upper Big Branch (coal) Mine disaster, (ii) the Gulf of Mexico Macondo (oil) well blowout, (iii) the San Bruno (natural gas) pipeline leak and explosion, and (iv) the Fukushima (nuclear) reactor radioactivity releases. Briefly, the Upper Big Branch Mine disaster occurred in West Virginia on April 5, 2010, when natural methane in the mine ignited, causing the deaths of 29 miners, the worst coal mine disaster in the USA since 1970. Fifteen days later, the Macondo oil well in the Gulf of Mexico suffered a blowout, with a gas explosion and fire on the floating drilling platform that killed 11 people. The oil and gas continued to flow out of the well at the seafloor until July 15, 2010, spilling a total of approximately 5 million barrels of oil into the sea. On September 9, 2010, a 30-inch (76-cm) buried, steel, natural gas pipeline in San Bruno, California, leaked gas and exploded in a residential neighborhood, killing 8 people in their homes and burning a total of 38 homes. Flames were up to 1000 ft (300 m) high, and the initial explosion itself reportedly measured 1.1 on the Richter scale. Finally, on March 11, 2011, a magnitude 9.0 earthquake off the coast of Japan's main island, Honshu, caused a tsunami that crippled the backup power and associated cooling systems for six reactor cores and their spent fuel storage tanks at the Fukushima nuclear power plant. At time of writing, workers trying to bring the crisis under control have been exposed to dangerous levels of radiation, and radioactive water and particulates have been released to the sea and atmosphere. These four disasters, all of which occurred within the past 12 months, were not unprecedented; similar events differing only in detail have happened around the world before, and such events will occur again. Today, developed nations primarily use fossil fuels to create affordable energy for comforts such as lighting, heating and air-conditioning, refrigeration, transportation, education, and entertainment, as well as for powering manufacturing, which creates jobs and a wealth of material goods. In addition to the risks of the existing energy infrastructure that have become obvious through these recent disasters, there is also the ongoing risk of climate change that comes from the vast emissions of greenhouse gases, primarily CO{sub 2}, from the burning of fossil fuels. The implementation of CO{sub 2} capture and storage (CCS) will help mitigate CO{sub 2} emissions from fossil fuel energy, but it also carries with it HSE risks. In my personal interactions with the public and with students, the main concern voiced is whether CO{sub 2} could leak out of the deep reservoirs into which it is injected and rise up out of the ground, smothering people and animals at the ground surface. Another concern expressed is that CO{sub 2} pipelines could fail and cause similar gaseous plumes of CO{sub 2}. The widespread concerns about CO{sub 2} leaking out over the ground surface may be inspired by events that have happened within natural systems in equatorial Africa, in Indonesia, and in Italy. Researchers have been investigating a wide variety of HSE risks of geologic CO{sub 2} storage for some time and have determined that wells are the main potential pathways for significant leakage from the deep subsurface. I discuss the acute HSE risks of CO{sub 2} leakage through wells and from pipelines, and compare the behavior of failures in CO{sub 2} wells and pipelines with oil and gas analogues from which most of our experien

Oldenburg, C.M.

2011-04-01T23:59:59.000Z

329

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics  

E-Print Network [OSTI]

introduced Hybrid Automata Stochastic Logic (HASL) [8] establishes a powerful framework for the analysis demonstrate the potential of HASL based verification in the context of genetic circuits. To this aim we properties related to this model, formally express them in HASL terms and, assess them with COSMOS

Paris-Sud XI, Université de

330

For Office Use Only Form Info Entered on CSS: (check mark indicates "yes") BY: ______________ DATE  

E-Print Network [OSTI]

: Initials of BGSU employee Brsr Revised 7/27/10 Bowling Green State University Student's Authorization), and University policy allows Bowling Green State University to disclose information from a student's financial consent to the Office of the Bursar and the Student Financial Aid Office at Bowling Green State University

Moore, Paul A.

331

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

E-Print Network [OSTI]

~ is illustrated by developing a model that makes monthly forecasts of skipjack tuna, Katsuwonus pelamis, catches

332

Rate-Adaptive Distributed Source Coding using Low-Density Parity-Check Codes  

E-Print Network [OSTI]

code C. Upon receipt of the syndrome, the distributed source decoder can narrow down the possible framework [7]. The distributed source encoder compresses X into its syndrome S with respect to a channel syndrome based on an aggressive code and the decoder attempts decoding. In the event that decoding

Girod, Bernd

333

Cache directory look-up re-use as conflict check mechanism for speculative memory requests  

DOE Patents [OSTI]

In a cache memory, energy and other efficiencies can be realized by saving a result of a cache directory lookup for sequential accesses to a same memory address. Where the cache is a point of coherence for speculative execution in a multiprocessor system, with directory lookups serving as the point of conflict detection, such saving becomes particularly advantageous.

Ohmacht, Martin

2013-09-10T23:59:59.000Z

334

Temperature-and Energy-Constrained Scheduling in Multitasking Systems: A Model Checking Approach  

E-Print Network [OSTI]

, leakage power is ex- ponentially proportional to temperature, which potentially results in more thermal and temperature in micro- processors. This has raised urgent requirement for both power and thermal management The ongoing scaling of semiconductor technology is causing se- vere increase of on-chip power density

Mishra, Prabhat

335

A framework to create customised LHC analyses within CheckMATE  

E-Print Network [OSTI]

Checkmate is a framework that allows the user to conveniently test simulated BSM physics events against current LHC data in order to derive exclusion limits. For this purpose, the data runs through a detector simulation and is then processed by a user chosen number of experimental analyses. These analyses are all defined by signal regions that can be compared to the experimental data with a multitude of statistical tools. Due to the large and continuously growing number of experimental analyses available, users may quickly find themselves in the situation that the study they are particularly interested in has not (yet) been implemented officially into the Checkmate framework. However, the code includes a rather simple framework to allow users to add new analyses on their own. This document serves as a guide to this. In addition, Checkmate serves as a powerful tool for testing and implementing new search strategies. To aid this process, many tools are included to allow a rapid prototyping of new analyses.

Kim, Jong Soo; Tattersall, Jamie; Rolbiecki, Krzysztof

2015-01-01T23:59:59.000Z

336

Check list for introduction of new employees at the Department of Plant Protection Biology, SLU, Alnarp.  

E-Print Network [OSTI]

administrator, safety officer, janitor, lab manager, rearing manager 3. Information of the importance hours, lunch break, coffee breaks 8. Library Economics administrator-stod@slu.se .............................. ............... 1. The computer network, how it's constructed and rules. 2. Password, email address 3

337

Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits  

E-Print Network [OSTI]

Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 MECH 102 Mechanical Engineering Problem * Term: F = Fall, S = Spring, SS = Summer Session Biomedical Engineering Courses Rev 11-27-12 Please note

338

ErikaCheck,Washington Stanford University in California is joining a  

E-Print Network [OSTI]

private plan to get stem-cell research moving Iron rule Plan for carbon sequestration left all at sea p722

Cai, Long

339

Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking  

E-Print Network [OSTI]

S properties, such as low latency, low energy consumption, bounded jitter, high reliability, high throughput and data acquisition (SCADA) systems that manage regional power grids. Key un- resolved challenges include

Abdelwahed, Sherif

340

Greengenes: Chimera-checked 16S rRNA gene database and workbenchcompatible in ARB  

SciTech Connect (OSTI)

A 16S rRNA gene database (http://greengenes.lbl.gov) addresses limitations of public repositories by providing chimera-screening, standard alignments and taxonomic classification using multiple published taxonomies. It was revealed that incongruent taxonomic nomenclature exists among curators even at the phylum-level. Putative chimeras were identified in 3% of environmental sequences and 0.2% of records derived from isolates. Environmental sequences were classified into 100 phylum-level lineages within the Archaea and Bacteria.

DeSantis, T.Z.; Hugenholtz, P.; Larsen, N.; Rojas, M.; Brodie,E.L; Keller, K.; Huber, T.; Dalevi, D.; Hu, P.; Andersen, G.L.

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


341

Greengenes, a Chimera-checked 16S rRNA gene database and workbenchcompatible with ARB  

SciTech Connect (OSTI)

A 16S rRNA gene database (http://greengenes.lbl.gov) addresses limitations of public repositories by providing chimera-screening, standard alignments and taxonomic classification using multiple published taxonomies. It was revealed that in congruent taxonomic nomenclature exists among curators even at the phylum-level. Putative chimeras were identified in 3 percent of environmental sequences and 0.2 percent of records derived from isolates. Environmental sequences were classified into 100 phylum-level lineages within the Archaea and Bacteria.

DeSantis, Todd Z.; Hugenholtz, Philip; Larsen, Neils; Rojas,Mark; Brodie, Eoin L.; Keller, Keith; Huber, Thomas; Dalevi, Daniel; Hu,Ping; Andersen, Gary L.

2006-04-10T23:59:59.000Z

342

Use of NWS Weather Measurements for Cross-checking Local Weather Measurements  

E-Print Network [OSTI]

This paper discusses the use of an independent network of remote weather stations for building energy analysis to assist agencies participating in the Texas LoanSTAR Monitoring and Analysis Program. A review of the sensors and procedures...

Crowley, G. D.; Haberl, J. S.

1994-01-01T23:59:59.000Z

343

Results of the WFPC2 SM3a Lyman-Throughput Check (proposals 8492, 8494,  

E-Print Network [OSTI]

and F122M filters, are designed to monitor the far-UV throughput for any signs of degradation which may and I. Heyer March 16, 2000 ABSTRACT The far-UV throughput of WFPC2 was monitored during December 1999 and January 2000 for any signs of unexpected throughput degradation following Servicing Mission 3a

Sirianni, Marco

344

LTL Model Checking with Logic Based Tristan M. Behrens and Jrgen Dix  

E-Print Network [OSTI]

and Simulation) Prof. Dr. Harald Richter (Technical Computer Science) Prof. Dr. Gabriel Zachmann (Computer

Zachmann, Gabriel

345

Self-Checking Ripple-Carry Adder with Ambipolar Silicon NanoWire FET  

E-Print Network [OSTI]

the hardware overhead. When compared with equivalent CMOS process, ambipolar SiNW design shows a reduction. Traditionally, transient fault detection implies large hardware overhead or performance decrease compared to permanent fault detection. In this paper, we focus on on-line testing and its application to ambipolar Si

De Micheli, Giovanni

346

Under consideration for publication in Formal Aspects of Computing Using Probabilistic Model Checking  

E-Print Network [OSTI]

over the last few years, a trend evidenced in the research literature [HAW96, SCB96, BM98, BMM01, SG01, a lot of work has been initiated in both the component manufacturing industry and the systems design

Oxford, University of

347

Under consideration for publication in Formal Aspects of Computing Using Probabilistic Model Checking  

E-Print Network [OSTI]

in the research literature [HAW96, SCB96, BM98, BMM01, SG01, RIG00, CBBM99, ISG02], as well as concerted industry power consumption in today's embedded systems, a lot of work has been initiated in both the component

Oxford, University of

348

Check-Testing of Manufacturer Self Reported Labeling Data & Compliance with MEPS  

E-Print Network [OSTI]

Table B- 1 Refrigerator and Freezer Effective capacity ?L?energy label Refrigerators and Freezers No. Product featurecon- ditioners, refrigerators and freezers, greatly improved

Zhou, Nan

2008-01-01T23:59:59.000Z

349

The Challenges of Getting To Mars: Launching Curiosity Status check to proceed with terminal count.  

E-Print Network [OSTI]

count. Atlas systems, propulsion. Go! Hydraulics. Go! Pneumatics. Go! LO2. Go! Water. Go! Centaur! Facility. Go! RFFTS. Go! Flight control. Go! Instrumentation. Go! Comm. Go! VCQ. Go! Umbilicals. Go! UCS that we're using, the Atlas 5-541. This is the first flight of a 541 launch vehicle. What we do is we

350

Natural Analoges as a Check of Predicted Drift Stability at Yucca Mountain, Nevada  

SciTech Connect (OSTI)

Calculations made by the U.S. Department of Energy's Yucca Mountain Project as part of the licensing of a proposed geologic repository (in southwestern Nevada) for the disposal of high-level radioactive waste, predict that emplacement tunnels will remain open with little collapse long after ground support has disintegrated. This conclusion includes the effects of anticipated seismic events. Natural analogues cannot provide a quantitative test of this conclusion, but they can provide a reasonableness test by examining the natural and anthropogenic examples of stability of subterranean openings. Available data from a variety of sources, combined with limited observations by the author, show that natural underground openings tend to resist collapse for millions of years and that anthropogenic subterranean openings have remained open from before recorded history through today. This stability is true even in seismically active areas. In fact, the archaeological record is heavily skewed toward preservation of underground structures relative to those found at the surface.

J. Stuckless

2006-03-10T23:59:59.000Z

351

CSC1051 Data Structures and Algorithms I Dr. Papalaskari Spring 2014 Lab 14 Name:________________________ Checked:______  

E-Print Network [OSTI]

. //***************************************************************** private class ButtonListener implements Action for the button ­ let's call it clicker private JButton clicker; 3. In the SmilingFacePanel constructor("click here"); add (clicker); clicker represents a button that may be associated with an action

Papalaskari, Mary-Angela

352

CSC2014 Java Bootcamp Dr. Papalaskari Fall 2014 Lab 10 Name:________________________ Checked:______  

E-Print Network [OSTI]

. //***************************************************************** private class ButtonListener implements Action for the button ­ let's call it clicker private JButton clicker; 3. In the SmilingFacePanel constructor("click here"); add (clicker); clicker represents a button that may be associated with an action

Papalaskari, Mary-Angela

353

latitude 2100 What if you could get fast internet access to check emails on the  

E-Print Network [OSTI]

the same· image commonality as the rest of your corporate notebooks? discover smart Functionality Smart, with Linux® or Microsoft® options. You can also make your laptop an extension of your business brand of the Latitude family, giving you the power to take advantage of our Latitude commitment to manageability, image

Fiebig, Peter

354

Static Checking of Dynamically Generated Queries in Database Applications Carl Gould, Zhendong Su, and Premkumar Devanbu  

E-Print Network [OSTI]

, WHOLESALE, and TYPE, among others. The RETAIL and WHOLESALE columns are both of type in- teger, indicatingBound != null) { query += "WHOLESALE > " + lowerBound + " AND "; } query += "TYPE IN (" + get to be executed is: SELECT '$' || (RETAIL/100) FROM INVENTORY WHERE WHOLESALE > 595 AND TYPE IN (SELECT TY

Devanbu, Prem

355

Idaho Workers Eager to Check Condition of Waste Moved to Cargo...  

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

pits and trenches. They moved the drums into 209 cargo containers and stored them above ground. The site hoped the experiment would shed light on the risks associated with waste...

356

Health, safety, and environmental risks from energy production: A year-long reality check  

E-Print Network [OSTI]

projects based CO 2 enhanced oil recovery in the U.S. 9thprovides CO 2 for enhanced oil recovery. Over the course of

Oldenburg, C.M.

2012-01-01T23:59:59.000Z

357

Please fill out information in all gray boxes Please check if this is Mission proposal  

E-Print Network [OSTI]

that will require non-riser and riser drilling, geophysical site surveys and the development of new technology to understand the formation of the oceanic lithosphere with the ultimate goal of drilling a complete section) to increase our understanding of the oceanic lithosphere through deep scientific drilling. Our scientific

Demouchy, Sylvie

358

New Faculty Getting-Started Check List page 1 of 2 (Last updated: January 2014)  

E-Print Network [OSTI]

following your first paycheck. 3. PARKING PERMIT & LOT ASSIGNMENT Don't get ticketed or towed. All vehicles://inside.mines.edu/Parking to choose your price & request a permit. Monthly payroll deduction is required. Non-remunerated employees

359

Model Checking GDL through MOCHA: A Case Study Ji Ruan Wiebe van der Hoek Michael Wooldridge  

E-Print Network [OSTI]

, rather than just to play a specific game. Software participants in the competition are provided was developed in order to define the games played by participant programs. Thus, a participant must be able Department of Computer Science University of Liverpool Liverpool L69 3BX, UK Abstract The Game Description

Atkinson, Katie

360

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

Energy Savers [EERE]

Advisory Committee on Environmental Sustainability (Green ACES), and our city liaison works for the Department of Public Works. I'm arranging for Public Works to loan them out...

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

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

E-Print Network [OSTI]

. l. lf u == (6 mod AI), then 6 Mk+ u for so&r&e int, c icr k. 2. ( ? && mo&1 &II) 'll ? (a mod i' ll'). if (u rr&o&1!1I) g 0 3. lf u ? (6+ c) u&od itI t. hcu (u ? 6) me&1 M = c mori &'l l 4. r& me&1 ill = e, if 0 ( && ( M 1. Circular & to&tel Thc..., + 6) 11k l Zlpasr rlrl&l i&&I&&'c (/1?+r ? a1?) rrro&1 AI = ((a ? 1) br t 6) rno&l AI (4 7) Sin& a 0 ( br ( iY ? 1. 6 & ((a ? 1) 6, + 6) ( (a ? 1)(. X ? 1) + 6 since (a ? 1)(X ? 1) ? AI ? (a ? 1), 6(((a ? 1) 6, +6) (AI ? (a ? 1) ib (4. ff) 11'h...

Prabhakar, Abhiram

2012-06-07T23:59:59.000Z

362

CGISS Seismic Field Equipment Check List Version 1.4, Seismograph  

E-Print Network [OSTI]

# = [ ] [ ] [ ] 28. 8-gauge elc. PVC capsules # = [ ]. [ ] [ ] 29. 12-gauge shells # = [ ] [ ] [ ] 30. Wire for shot [ ]. Other Tools [ ] [ ] 35. Shovels [ ], rake [ ], and pick [ ]. [ ] [ ] 36. Tamping rod (PVC with cap). [ ] [ ] 37. PVC pipes (to keep holes open). [ ] [ ] 38. Geophone planters; small [ ] large [ ] [ ] [ ] 39

Barrash, Warren

363

Low Density Parity Check Codes Based on Finite Geometries and Balanced Incomplete Block Design  

E-Print Network [OSTI]

Bin Qaisar Electrical and Computer Engineering Department, Michigan State University. saadq@ieee.org I capacity performance on large collection of data transmission channels while simultaneously feasible algebraic or geometric methods have been found for construction of these codes. Most of the LDPC codes

Radha, Hayder

364

Advisement Check Sheet Fall 2014 B.A. in INTERNATIONAL STUDIES  

E-Print Network [OSTI]

_________________________________ EAGLE ID# _________________________________ BEGIN TERM DATE_________________ ADVISOR 1122, 1430, 1530, MATH 1112, 1113, 1232, 1441, 2242, 2243, PHYS 1112 (1114), 1135, 2212, 1114, STAT'l Studies 3 INTS 2630 Research Methods in Int'l Studies 3 STAT 2231 Introduction to Statistics 3 Three

Hutcheon, James M.

365

E-Print Network 3.0 - annual health check Sample Search Results  

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

schedule your annual physical and make... telephone: 5152484800 April 19, 2010 Health Care Reform and Your Benefits As you know, the House... of Representatives passed the Senate...

366

Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling  

E-Print Network [OSTI]

for Foundations of Computer Science Division of Informatics University of Edinburgh {martin,cps, properties expressed by L µ formulas are essentially ``regular''. In [9], MË?uller­Olm introduced FLC, fixed

Stirling, Colin

367

Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling  

E-Print Network [OSTI]

for Foundations of Computer Science Division of Informatics University of Edinburgh {martin,cps, properties expressed by �µ formulas are essentially "regular". In [9], M¨uller-Olm introduced FLC, fixed

Stirling, Colin

368

Evaluation of Heat Checking and Washout of Heat Resistant Superalloys and Coatings for Die inserts  

SciTech Connect (OSTI)

This project had two main objectives: (1) To design, fabricate and run a full size test for evaluating soldering and washout in die insert materials. This test utilizes the unique capabilities of the 350 Ton Squeeze Casting machine available in the Case Meal Casting Laboratory. Apply the test to evaluate resistance of die materials and coating, including heat resistant alloys to soldering and washout damage. (2) To evaluate materials and coatings, including heat resistant superalloys, for use as inserts in die casting of aluminum alloys.

David Schwam; John F. Wallace; Yulong Zhu; Edward Courtright; Harold Adkins

2005-01-30T23:59:59.000Z

369

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

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

right? Oh, such navet. Three months into my stay, I developed a persistent, dry cough. After weeks of suffering, I realized that my heating unit was causing it. It was...

370

Criminal Background Check Request Form revised 08/13/2013 #404 Page 1 of 2  

E-Print Network [OSTI]

: Recruitment & Workforce Planning MS 1255 jobpath@tamu.edu Fax (979) 847-8877 NEED HELP? Recruitment & Workforce Planning Phone (979) 845-5154 jobpath@tamu.edu Dean of Faculties 979-845-4274 facultyhiring information: Recruitment and Workforce Planning will receive a form completed by the appropriate department

Boas, Harold P.

371

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

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAX POLICIES ANDIndustrialEnergy FederalFLASHofDepartment ofFiberDepartment of

372

Checking Your Car's 4000 Welds is Serious Business. Scientists Just Made  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc DocumentationP-Series to User Group and Userof a blast-resistant naval Charlesit Easier. |

373

Idaho Workers Eager to Check Condition of Waste Moved to Cargo Containers  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarly Career Scientists'Montana.ProgramJulietipDepartment of Energy Media Contact Brad$440Idaho

374

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

Energy Savers [EERE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartment of Energyof the Americas | Department of Energy

375

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

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of Energy Power.pdf11-161-LNG |September2-SCORECARD-01-24-13 PageUraniumDepartmentElectricNorth Carolina

376

SEE ADDENDUM IS CHECKED CODE 18a. PAYMENT WILL BE MADE BY CODE  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear Security Administration the1 -the Mid-Infrared0 ResourceAwards SAGE Awards ,# , onLightThePrices and

377

5 Checks & 5 Tips for INCITE | Argonne Leadership Computing Facility  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLasDelivered‰PNGExperience hands-onASTROPHYSICS H.CarbonMarch Value4

378

Health, safety, and environmental risks from energy production: A year-long reality check  

E-Print Network [OSTI]

ii) the Gulf of Mexico Macondo (oil) well blowout, (iii) thelater, the Macondo oil well in the Gulf of Mexico suffered a

Oldenburg, C.M.

2012-01-01T23:59:59.000Z

379

An Aspect-Based Approach to Checking Design Constraints at Run-time  

E-Print Network [OSTI]

, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, and Jessica Romo TR #08-38 November 2008 Design Constraints at Run-time Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada

Cheon, Yoonsik

380

Biomedical Engineering AND Electrical Engineering -Lasers & Optics Student Name:_____________________ Curriculum Check Sheet 158 credits  

E-Print Network [OSTI]

Biomedical Engineering AND Electrical Engineering - Lasers & Optics Student Name Optical Electronics (Conc ECE 441) F 2 CHEM 245 Fund. of Org. Chemistry (CHEM 107 or 113) F,S,SS 4 ECE 441 Optical Electronics (ECE 342) F 3 ECE 457 Fourier Optics (ECE 311; ECE 342) S 3 PH 353 Optics and Waves

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

Factors contributing to nest predation within habitat of the Golden-checked Warbler, Travis County, Texas  

E-Print Network [OSTI]

predation on this species. In April 1994 and 1995, I placed artificial nests, simulating those of Golden-cheeked Warblers, along 200 transects at 5 study sites in Travis County, Texas. This study was designed to determine if differential levels... on edge and interior transects by trial . . . . . . . . . . . . . . . . . . . . . 27 3. Kruskal-Wallis comparisons of predation on edge and interior transects by trial and study site 29 4. Nonparametric analysis of variance comparison of rates of nest...

Fink, Mark Lewis

1996-01-01T23:59:59.000Z

382

ERROR REDUCTION IN DUCT LEAKAGE TESTING THROUGH DATA CROSS-CHECKS  

SciTech Connect (OSTI)

One way to reduce uncertainty in scientific measurement is to devise a protocol in which more quantities are measured than are absolutely required, so that the result is over constrained. This report develops a method for so combining data from two different tests for air leakage in residential duct systems. An algorithm, which depends on the uncertainty estimates for the measured quantities, optimizes the use of the excess data. In many cases it can significantly reduce the error bar on at least one of the two measured duct leakage rates (supply or return), and it provides a rational method of reconciling any conflicting results from the two leakage tests.

ANDREWS, J.W.

1998-12-31T23:59:59.000Z

383

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

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-UpHeatMulti-Dimensionalthe10IO1OP001 Letter Report: IO1OP001

384

Failure Modes and Causes for Swing and Lift Type Check Valves  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation ProposedUsing ZirconiaPolicy andExsolutionFES6FYRANDOMOverview The SavannahFailure Modes and

385

Thank you for completing the End-of-Experiment Survey Form. Check one answer fo  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmosphericNuclear SecurityTensile Strain Switched Ferromagnetism in Layered NbS2 and NbSe2 . TensileTevatronPortal Biomass andyou

386

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

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarly Career Scientists'Montana.Program -Department oftoThese WebThese case studiesEnergyHVAC || Department of

387

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

Energy Savers [EERE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector General Office of Audit| Department ofNon-Road Engines,Employee AssistanceUser ManualDepartment

388

The Do and Check Processes of an Energy Management System | Department of  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up from theDepartment of Energy TechnicalFlowNation |DepartmentOutages Nationwide

389

FOR OFFICIAL USE ONLY FOR OFFICIAL USE ONLY CRIMINAL BACKGROUND CHECK INFORMATION  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc DocumentationP-Series toESnet4:Epitaxial ThinFOR IMMEDIATE RELEASE1 Freedom ofFEES FOIAONLY FOR

390

SEP Success Story: Library Patrons in New York Check-Out Renewable Energy |  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankCombustion | Department ofT ib l LPROJECTS IN7 Roadmap forDKT. NO.Pennsylvania Schools |

391

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

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarly Career Scientists' Research Petroleum ReserveDepartmentScripting Attacks | Department ofElevated

392

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

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarly Career Scientists' Research Petroleum ReserveDepartmentScripting Attacks

393

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS OF THE DOCUMENT IN IDM  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation Proposed Newcatalyst phases onOrganization FY Middle SchoolARM-TR-01468This4 Mar 2015

394

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS OF THE DOCUMENT IN IDM  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation Proposed Newcatalyst phases onOrganization FY Middle SchoolARM-TR-01468This4 Mar 20155 Mar

395

DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS OF THE DOCUMENT IN IDM  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr MayAtmospheric Optical Depth7-1D: Vegetation Proposed Newcatalyst phases onOrganization FY Middle SchoolARM-TR-01468This4 Mar 20155 Mar3

396

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

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary)morphinanInformation Desert SouthwestTechnologies | Blandine Jerome Careers at WIPP HowAll

397

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

Energy Savers [EERE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankCombustionImprovement Awardflash2007-42attachment1.pdfmodule 4 module 4 HR55

398

Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet  

E-Print Network [OSTI]

Biomedical Engineering AND Chemical & Biological Engineering Student Name) TERM* CR BIOM 101 Intro to Biomedical Engineering F 3 CBE 102 Chemical and Biological Engineering II

399

Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits  

E-Print Network [OSTI]

Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 ECE 103 DC Circuit Analysis (MATH 160) S 3 to Microprocessors (ECE 102) F 4 BIOM 4XX Biomedical Signal and Imaging Processing (ECE 311; ECE 303 (or concurrent

400

Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits  

E-Print Network [OSTI]

Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 CHEM 113 General Chemistry II (CHEM 107 = Summer Session Rev 11/13/13 Biomedical Engineering Courses are highlighted Must have at least a "C

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

Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits  

E-Print Network [OSTI]

Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 ECE 103 DC Circuit Analysis (MATH 160) S 3 Electives F, S 2 BIOM 4XX Biomedical Signal and Imaging Processing (ECE 102; ECE 202; ECE 312; ECE 341; ECE

402

Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits  

E-Print Network [OSTI]

Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum (PREREQS) TERM* CR BIOM 101 Intro to Biomedical Engineering F 3 CHEM 113 General Chemistry II (CHEM 107 = Fall, S = Spring, SS = Summer Session Biomedical Engineering Courses highlighted in grey Must have

403

Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits  

E-Print Network [OSTI]

Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 MECH 102 Mechanical Engineering Problem TOTAL 13 * Term: F = Fall, S = Spring, SS = Summer Session Biomedical Engineering Courses Must have a "C

404

Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet 158 Credits  

E-Print Network [OSTI]

Biomedical Engineering AND Chemical & Biological Engineering Student Name (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 CBE 102 Chemical and Biological Engineering _____________________________________ F,S,SS 3 TOTAL 16 * Term: F = Fall, S = Spring, SS = Summer Session Biomedical Engineering Courses

405

Constructing check-lists and avifauna-wide reviews: Mexican bird taxonomy revisited  

E-Print Network [OSTI]

-Pliego et al. 1993, Peterson and Navarro-Sigüenza 2000b), we have become aware of numerous species taxa that merit full recognition as species, under both the biological species concept and the evolutionary species concept (Navarro-Sigüenza et al. 1992..., Peterson and Navarro-Sigüenza 2000a, Puebla-Olivares et al. 2008). This realization led to the de- velopment of a new, country-wide taxonomic treatment under the evolutionary species concept (Navarro-Sigüenza and Peterson 2004), which was subsequently...

Peterson, A. Townsend; Navarro-Sigü enza, Adolfo G.

2009-01-01T23:59:59.000Z

406

Health, safety, and environmental risks from energy production: A year-long reality check  

E-Print Network [OSTI]

leak and explosion, and (iv) the Fukushima (nuclear) reactorfuel storage tanks at the Fukushima nuclear power plant. AtThe Macondo well blowout and Fukushima nuclear power plant

Oldenburg, C.M.

2012-01-01T23:59:59.000Z

407

WHAT YOU NEED TO MOVE-IN NECESSITIES TO BRING AT CHECK-IN  

E-Print Network [OSTI]

without headphones Refrigerators more than 4.3 cubic ft. (not permitted in apartments) Water heaters-shutoff feature Immersion heaters Candles/incense/oil lamps Heat lamps/sun lamps Halogen lamps or bulbs Electric blankets Electric heaters Kerosene heaters Picture hangers/nails/double backed stick ups Air

Adali, Tulay

408

WHAT YOU NEED TO MOVE-IN NECESSITIES TO BRING AT CHECK-IN  

E-Print Network [OSTI]

Foreman counter-top grills** Rice-cookers ** Coffeepots without auto-shutoff feature Immersion heaters heaters Kerosene heaters Picture hangers/nails/double backed stick ups Air guns, toy guns, BB/pellet guns, paint guns or water pistols #12; Weapons including any knife that is not designed and typically

Maryland, Baltimore County, University of

409

Health, safety, and environmental risks from energy production: A year-long reality check  

E-Print Network [OSTI]

and environmental risks from energy production: A year-longbroader picture of energy production. Over the last year,to accidents involving energy production from every major

Oldenburg, C.M.

2012-01-01T23:59:59.000Z

410

Check-Testing of Manufacturer Self Reported Labeling Data & Compliance with MEPS  

E-Print Network [OSTI]

2 Room Air-conditioner Air-conditioner Initial test- ing Re-HFS BJS BJS HFS BJS BJS Non- compliant* Air-conditioner9 Table 5. Room Air Conditioner 2000

Zhou, Nan

2008-01-01T23:59:59.000Z

411

Id: pdpbody.tex 13 20121024 18:11:35Z jhh Privacy Design Strategies  

E-Print Network [OSTI]

://en.wikipedia.org/wiki/ Systems_development_life­cycle #12; 2 In this paper we define the notion of a privacy de­ sign strategy

Hoepman, Jaap-Henk

412

Id: pdp-body.tex 13 2012-10-24 18:11:35Z jhh Privacy Design Strategies  

E-Print Network [OSTI]

://en.wikipedia.org/wiki/ Systems_development_life-cycle #12;2 In this paper we define the notion of a privacy de- sign strategy

Hoepman, Jaap-Henk

413

CONTENT MODEL HOW-TO  

Energy Science and Technology Software Center (OSTI)

003240MLTPL00 Defining a new information exchange  https://github.com/usgin/usginspecs/wiki/Defining-New-Information-Exchanges-and-Editing-Existing-Exchanges 

414

SAS Honors Seminar 256: Extraterrestrial Life  

E-Print Network [OSTI]

(s) on at least some of your subject matter #12; Again: Wikipedia is not a reference! http://en.wikipedia.org/wiki/Roswell_UFO

Baker, Andrew J.

415

SAS Honors Seminar 259: Extraterrestrial Life  

E-Print Network [OSTI]

(s) on at least some of your subject matter #12; Again: Wikipedia is not a reference! http://en.wikipedia.org/wiki/Roswell_UFO

Baker, Andrew J.

416

The Rise of Electric Two-wheelers in China: Factors for their Success and Implications for the Future  

E-Print Network [OSTI]

supplier system in the motorcycle industry. (Institute ofYokohama, Oct 23-28, 2006). Wikipedia. Motorcycle.en.wikipedia.org/wiki/Motorcycle, (Accessed Oct 25, 2007).

Weinert, Jonathan X.

2007-01-01T23:59:59.000Z

417

the Invisible Frdo Durand  

E-Print Network [OSTI]

://en.wikipedia.org/wiki/Hubble_Space_Telescope http://www.mhhe.com/physsci/astronomy/fix/student/chapter9/09f18.html http

Durand, Frédo

418

2012/2013 Psychology Minor Checklist Student name __________________________________________ Date ____________________________________  

E-Print Network [OSTI]

_____________________________________________ Approved ______________________________ DARS checked __________ Psychology Minor

Lockery, Shawn

419

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler.  

E-Print Network [OSTI]

??The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages… (more)

Lochbihler, Andreas

2012-01-01T23:59:59.000Z

420

ADDRESS: STATE: ZIP: Please complete the appropriate section of this form along with your check made payable to UC Regents.  

E-Print Network [OSTI]

@ucdavis.edu or telephone: (530) 752-5182 No tickets will be sent. You will receive a reminder via e-mail prior to the event

Thomases, Becca

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

American Ornithologists' Union. 1983. Check-list of North American birds. 6th ed. Lawrence, KS: Allen Press; 877 p.  

E-Print Network [OSTI]

in Avian Biology 6: 252-261. Best, Louis B.; Whitmore, Robert C.; Booth, Gary M. 1990. Use of cornfields-99. Blake, John G. 1992. Temporal variation in point counts of birds in a low- land wet forest in Costa Rica

Standiford, Richard B.

422

Study Education Abroad Check with the Study Abroad office for up to date costs, course restrictions, and application processes.  

E-Print Network [OSTI]

of Sunderland (ISEP) Uruguay- Universidad Católica del Uruguay (ISEP)* Elementary Education Australia- University of Chester (ISEP) Uruguay- Universidad Católica del Uruguay (ISEP)* ISEP- ISEP Direct Murcia (ISEP)* Universidade de Santiago de Compostela (ISEP)* Uruguay - Universidad Católica del Uruguay

Maxwell, Bruce D.

423

Want Some Money Back from your Compressed Air System? Check Out These Top 10 Areas to Look  

E-Print Network [OSTI]

Compressed air is often overlooked in energy studies because many people don't fully understand compressed air equipment, the air system or what it costs to produce compressed air power. For those willing to look and use some good old common sense it is...

Van Ormer, H.

2004-01-01T23:59:59.000Z

424

Data Visualization for Quality-Check Purposes of Monitored Electricity Consumption in All Office Buildings in the ESL Database  

E-Print Network [OSTI]

This report comprises an effort to visualize the monitored electricity consumption in all office buildings (not including the office buildings comprising other functions as classrooms and laboratories, for instance) in the ESL database. This data...

Sreshthaputra, A.; Abushakra, B.; Haberl, J. S.; Claridge, D. E.

2000-01-01T23:59:59.000Z

425

Study Agriculture Abroad Check with the Study Abroad office for up to date costs, course restrictions, and application processes.  

E-Print Network [OSTI]

)* Australia - University of Western Australia (DEX) La Trobe University - Melbourne (ISEP) Finland Australia (DEX) La Trobe University - Melbourne (ISEP) Finland - University of Turku (ISEP) Univeristy) Sustainable Food & Bioenergy Systems Argentina - Universidad de Belgrano (CCIS)* Universidad del Salvador

Maxwell, Bruce D.

426

Abstract--The FAA currently uses its Automated Flight Inspection System (AFIS) to check the accuracy of Instrument  

E-Print Network [OSTI]

are measured by using a TVPS and a radar altimeter, and then the measurements from each sensor are fused the accuracy of Instrument Landing Systems (ILS) and other navaids. It is desirable to measure the deviations of the ILS to within 0.015 degree accuracy. Therefore, a flight inspection system requires a high level

Stanford University

427

On-the-Fly Model Checking of Program Runs for Automated Debugging M. Frey B.-H. Schlingloff  

E-Print Network [OSTI]

debugging of parallel programs. Dur- ing the monitoring of a program run, a state action net is constructed

Schlingloff, Holger

428

OntheFly Model Checking of Program Runs for Automated Debugging M. Frey B.H. Schlingloff  

E-Print Network [OSTI]

debugging of parallel programs. Dur­ ing the monitoring of a program run, a state action net is constructed

Schlingloff, Holger

429

2013 HOUSING AGREEMENT Please Check Appropriate Box(es) F 230 NR 220 Session 1 NR 220 Session 2  

E-Print Network [OSTI]

. No pets are allowed at the Pingree Park Mountain Campus. 6. The Student is liable for any damage or loss by law, University and Pingree Park policy concerning the consumption of alcohol and illegal drugs

430

Lab Personnel Check-out List (for an individual leaving a lab permanently or for an extended period of time)  

E-Print Network [OSTI]

, freezers, refrigerators, incubators, bench tops, biosafety cabinets, etc. If you are leaving behind any indicate who is now responsible for them. Remember to remove all your samples from refrigerators, cold

Entekhabi, Dara

431

An Autonomous, Inexpensive, and Robust CO2 Analyzer (AIRCOA) Panel 3. Near real-time data viewing and diagnostic checking  

E-Print Network [OSTI]

An Autonomous, Inexpensive, and Robust CO2 Analyzer (AIRCOA) Panel 3. Near real-time data viewing Studies, Boulder, Colorado, USA Overview: We present our design of a new autonomous, inexpensive, and are designed to run autonomously for months at a time. We are working closely with other investigators

Stephens, Britton B.

432

Subject to change. Check the course website for the latest version. Prerequisite: ME 303, 419, ME 400  

E-Print Network [OSTI]

with fluid mechanics (ME 303 or equivalent), heat transfer (ME 419 or equivalent) and engineering mathematics This course is open for graduate students and senior undergraduates. Students are expected to be familiar midterm this semester. The exact date is listed in the syllabus. Midterm is open book, open notes

Lin, Xi

433

UCHC Competency Checklist: ORIENTATION Position Title: Nursing Care Associate Employee Name: Unit: Medical-Surgical (Check unit below)  

E-Print Network [OSTI]

and online location of Material Safety Data Sheets (MSDS) E Disposes of needles/sharps in designated for specific age groups Maintains patient confidentiality Answers phone according to UCHC standards Operates takes a verbal/telephone report on critical lab values Identifies procedure for accessing transportation

Oliver, Douglas L.

434

The South Wilmington Area remedial cost estimating methodology (RCEM) -- A planning tool and reality check for brownfield development  

SciTech Connect (OSTI)

The South Wilmington Area (SWA), which is comprised of 200 acres of multi-use urban lowlands adjacent to the Christina River, is a brownfields area that has been targeted for redevelopment/restoration as part of a major waterfront revitalization project for the City of Wilmington, Delaware. The vision for this riverfront development, which is being promoted by a state-funded development corporation, includes plans for a new harbor, convention and entertainment facilities, upscale residences, an urban wildlife refuge, and the restoration of the Christina River. However, the environmental quality of the SWA has been seriously impacted by an assortment of historic and current heavy industrial land-uses since the late 1800`s, and extensive environmental cleanup of this area will be required as part of any redevelopment plan. Given that the environmental cleanup cost will be a major factor in determining the overall economic feasibility of brownfield development in the SWA, a reliable means of estimating potential preliminary remedial costs, without the expense of costly investigative and engineering studies, was needed to assist with this redevelopment initiative. The primary chemicals-of-concern (COCs) area-wide are lead and petroleum compounds, however, there are hot-spot occurrences of polynuclear aromatic hydrocarbons (PAHs), PCBs, and other heavy metals such as arsenic and mercury.

Yancheski, T.B. [Tetra Tech, Inc., Christiana, DE (United States); Swanson, J.E. [Tetra Tech, Inc., Fairfax, VA (United States)

1996-12-31T23:59:59.000Z

435

Passport Checklist for Adult Applicants (age 16 or older) Check or money order for fees payable to Department of State  

E-Print Network [OSTI]

proof of U.S. citizenship such as a U.S. birth certificate naturalization certificate, Consular Report of Birth Abroad, or previously issued U.S. Passport. Copies are not acceptable. Birth certificates may of the· applicant's parent(s) to be listed on all certified birth certificates to be considered

Hull, Elaine

436

Summer Research Opportunities 11-12 We advise all students to check the program's website for information, updates, and deadlines.  

E-Print Network [OSTI]

for information, updates, and deadlines. Weill Cornell Medical College - The Summer Research Fellowship Program an early education into basic research techniques that could be applicable to any area of medicine matriculants to professional schools through early exposure to professional education. It Provides housing

Barrett, Jeffrey A.

437

Toward a consistency cross-check of eddy covariance flux–based and biometric estimates of ecosystem carbon balance  

E-Print Network [OSTI]

estimates of annual carbon sequestration in a Sitka spruce (carbon cycling in a temperate forest: Radiocarbon-based estimates of residence times, sequestration

2009-01-01T23:59:59.000Z

438

Check Burner Air to Fuel Ratios; Industrial Technologies Program (ITP) Process Heating Tip Sheet #2 (Fact Sheet)  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up fromDepartmentTieCelebrate Earth Day withCharacterizationDiesel LosDepartment

439

Check Heat Transfer Services; Industrial Technologies Program (ITP) Energy Tips - Process Heating Tip Sheet #4 (Fact Sheet).  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up fromDepartmentTieCelebrate Earth Day withCharacterizationDiesel LosDepartment4 *

440

LAB HAZARD CHECKLIST Please check the hazards that are associated with your lab and complete the section  

E-Print Network [OSTI]

Radiation Hazards ­Any work involving class 3b or 4 lasers Flammable Gas ­ Compressed gas cylinders that contain flammable gas Toxic Gas ­ Compressed gas cylinders that contain toxic gas Flammable Materials release Radioactive Materials ­ Radiochemicals and sealed radiation sources Radio Frequency or Microwave

Firestone, Jeremy

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

The Oregon Coast Book, 201112 Edition 123 Check Web site for updates: hmsc.oregonstate.edu/visitor/oregon-coast-quests  

E-Print Network [OSTI]

. These panels demonstrate that solar energy is viable on the coast though it's not always sunny. HMSC by these solar panels? The answer is in the Quest Box at the end of your journey! Sustainability "The ability.oregonstate.edu/visitor/oregon-coast-quests In front of the Visitor Center a patio lies outside. Find panels facing skyward. kilowatts they provide

Wright, Dawn Jeannine

442

Low power low-density parity-checking (ldpc) codes decoder design using dynamic voltage and frequency scaling  

E-Print Network [OSTI]

This thesis presents a low-power LDPC decoder design based on speculative scheduling of energy necessary to decode dynamically varying data frame in both block-fading channels and general AWGN channels. A model of a memory-efficient low-power high...

Wang, Weihuang

2009-05-15T23:59:59.000Z

443

Check Burner Air to Fuel Ratios (International Fact Sheet), Energy Tips-Process Heating, Process Heating Tip Sheet #2c  

SciTech Connect (OSTI)

This English/Chinese international tip sheet provides information for optimizing efficiency of industrial process heating systems and includes measurements in metric units.

Not Available

2010-10-01T23:59:59.000Z

444

Survey of cometary CO2, CO, and particulate emissions using the Spitzer Space Telescope: Smog check for comets  

E-Print Network [OSTI]

We surveyed 23 comets using the Infrared Array Camera on the Spitzer Space Telescope in wide filters centered at 3.6 and 4.5 microns. Emission in the 3.6 micron filter arises from sunlight scattered by dust grains; these images generally have a coma near the nucleus and a tail in the antisolar direction due to dust grains swept back by solar radiation pressure. The 4.5 micron filter contains the same dust grains, as well as strong emission lines from CO2 and CO gas; these show distinct morphologies, in which cases we infer they are dominated by gas. Based on the ratio of 4.5 to 3.6 micron brightness, we classify the survey comets as CO2+CO "rich" and "poor." This classification is correlated with previous classifications by A'Hearn based on carbon-chain molecule abundance, in the sense that comets classified as "depleted" in carbon-chain molecules are also "poor" in CO2+CO. The gas emission in the IRAC 4.5 micron images is characterized by a smooth morphology, typically a fan in the sunward hemisphere with a ...

Reach, William T; Vaubaillon, Jeremie

2013-01-01T23:59:59.000Z

445

Shanghai CDM Service Center | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New EnergyAnatoliaScira OffshoreMediawiki HomeShanghai CDM

446

Shanghai Green Environmental Protection Energy Company Ltd | Open Energy  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New EnergyAnatoliaScira OffshoreMediawiki HomeShanghai

447

Shantou Dan Nan Wind Power Co Ltd | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New EnergyAnatoliaScira OffshoreMediawikiShantou Dan Nan

448

Shell Morocco | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartmentAUDIT REPORTOpenWende New EnergyAnatoliaScira OffshoreMediawikiShantou DanMorocco

449

antiflooding prevention protection: Topics by E-print Network  

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

CHECK LIGHTS CHECK GENERAL WIPERS CHECK ALL SEALS CHECK REAR END FLUIDS ROTATE TIRES CHANGE OIL AND FILTER Level 3 PM ANNUAL Portman, Douglas 185 Reference Workbook:...

450

2012/2013 Psychology Major Checklist Student name __________________________________________ Date ____________________________________  

E-Print Network [OSTI]

_____________________________________________ Approved ______________________________ DARS checked __________ Requirements 44 total

Lockery, Shawn

451

Congratulations on being accepted to SU's graduate program in Biology! As members of the Biology Graduate Student Organization, we would like to offer you some additional  

E-Print Network [OSTI]

://padsllc.wordpress.com/ - PADS LLC, townhomes in Fayetteville Neighborhoods: http://en.wikipedia.org/wiki/Westcott,_Syracuse ­ Westcott The Westcott St. area near Euclid and Clarendon is an 8 min walk to campus, features cheap

Segraves, Kari A.

452

Supersymmetric and Kaluza-Klein Particles Multiple Scattering in the Earth  

E-Print Network [OSTI]

http://en.wikipedia.org/wiki/Earth#Chemical composition [12]Multiple Scattering in the Earth The IceCube CollaborationMultiple Scattering in the Earth Ivone F. M. Albuquerque

Albuquerque, Ivone

2009-01-01T23:59:59.000Z

453

Energy: efficiency gains alone won't  

E-Print Network [OSTI]

-time electricity metering and rethinking behaviour could all considerably reduce demand for electricity) points out that the growing online wiki-style community collaboration offers a smart way to respond

Cai, Long

454

Webbed Footnotes : collaborative annotation on the Web  

E-Print Network [OSTI]

More and more, web users are moving from simply consuming content on the web to creating it as well, in the form of discussion boards, weblogs, wikis, and other collaborative and conversational media. Despite this, the web ...

Golder, Scott Andrew

2005-01-01T23:59:59.000Z

455

Enabling scientific data on the web   

E-Print Network [OSTI]

Scientific data does not exist on the Web in the same way as the written word; reviews, media, wikis, social networks, and blogs all contribute to the interconnected nature of ordinary language on the Web. Network ...

Milowski, Raymond Alexander

2014-11-27T23:59:59.000Z

456

Development of a Sorption Enhanced Steam Hydrogasification Process for In-situ Carbon Dioxide (CO2) Removal and Enhanced Synthetic Fuel Production  

E-Print Network [OSTI]

liquids (CTL) plants with carbon capture and sequestration.RW, Hufton JR, Wright A. Carbon capture by sorption-enhanceden.wikipedia.org/wiki/Carbon_capture_and_storage 5. Johnson

Liu, Zhongzhe

2013-01-01T23:59:59.000Z

457

Information management using Web 2.0 technology  

E-Print Network [OSTI]

Web 2.0, the ultimate platform for tacit based knowledge work has finally arrived. User driven, collaborative platform based tools including wikis, web mash-ups, discussion boards, linkage based search engines, and tagging ...

Duffy, Juliet (Juliet Maria)

2009-01-01T23:59:59.000Z

458

Investigation of the Role of Trap States in Solar Cell Reliability using Photothermal Deflection Spectroscopy  

E-Print Network [OSTI]

of degradation of solar cells, since a material structure,higher effect on the solar cell’s stability and performance.en.wikipedia.org/wiki/Solar_cell_efficiency, accessed 10) J.

Bezryadina, Anna Sergeyevna

2012-01-01T23:59:59.000Z

459

Plain Language Training Class 01  

Broader source: Energy.gov [DOE]

Registration link:  CHRIS https://mis.doe.gov/ess/index.cfm   002357/0017 and https://powerpedia.energy.gov/wiki/Plain_Writing_Training_Class_October_...Course Type: Classroom   Course Location:...

460

HAS222d Intro to Energy and Environement: 40% off energy use in US goes into generating electricity  

E-Print Network [OSTI]

goes into generating electricity generation efficiency: 33% electric power loss: plant to consumer 7) http://en.wikipedia.org/wiki/Electric_power_transmission#Losses http fuel power generation plants that dominate our electricity production. Remember that electricity

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

Electrical and Electrothermal Transport Properties of n- and p-type InN  

E-Print Network [OSTI]

Berlin , 265 (1823). [166] Peltier, J. Ann. Chim. Phys 56,which is also known as the Peltier coefficient. Note that p-en.wikipedia.org/wiki/Peltier Open source images under

Miller, Nathaniel Reed

2010-01-01T23:59:59.000Z

462

ASC eNews Quarterly Newsletter March 2013 | National Nuclear...  

National Nuclear Security Administration (NNSA)

(HPC) environment has become easier over the past year with the rollout of three Web-based tools at lc.llnl.gov. Confluence is a wiki, a Web site that allows users to...

463

Plan for shell + sensor New sensors calibration  

E-Print Network [OSTI]

) Shells arrive Verify dimensions Remove ICRH chamber Build Cu Plas mount Install Cu Plasma Run Cu Plasma Wiki for progress Make HDA mounts VF coil spacer blocks Fix upper OH outer coil GDC chamber heater

Hone, James

464

Supporting new special education teachers: How online resources and Web 2.0 technologies can help  

E-Print Network [OSTI]

of educators in discussion. information. Such information sharing occurs through online social media such as wikis, blogs, social bookmark- ing, RSS (Really Simple Syndication) feeds, media sharing, and so on (see Table 2). Social networks that rely on Web 2... USW Revisit Multimedia USW Revisit Data Note. From Case-based authentic assessment applications within wikis. Proceedings of the World Conference on Educational Multimedia, Hypermedia, and Telecommunications (Ed-Media) by M. Israel, A. V. Moshirnia...

Billingsley, Bonnie; Israel, Maya; Smith, Sean J.

2011-01-01T23:59:59.000Z

465

Claudia Mller-Birn1 Leonhard Dobusch1 James D. Herbsleb2 1 Freie Universitt Berlin, 2 Carnegie Mellon University  

E-Print Network [OSTI]

://meta.wikimedia.org/wiki/Template:Wikimedia_Growth January 15th, 2013: 12th anniversary of Wikipedia "More than 1.5 million people in almost every country. That is the fundamental premise of Wikipedia, and it explains why Wikipedia works." "More than 1.5 million people-1110. "the "policyless" ideal that wikis represent is a pipedream" #12;#12;#12;#12;Flagged Revisions

Herbsleb, James D.

466

Area and energy efficient VLSI architectures for low-density parity-check decoders using an on-the-fly computation  

E-Print Network [OSTI]

5.3 Pipeline ???????????????????????????.??47 5.4 Results comparison with M. Karkoot et al.,[37] and T. Brack, et al., [41] ??.?.50 6.1 Serial CNU for OMS using value-reuse property.?????????????60 6.2 LDPC Decoder using layered decoding and OMS...

Gunnam, Kiran Kumar

2009-05-15T23:59:59.000Z

467

UCHC Competency Checklist: ORIENTATION EMPLOYEE NAME: Start Date: ____________________ Position Title: Registered Nurse, JDH Unit: Med Surg (Check appropriate box below) Anticipated End Date: _________________  

E-Print Network [OSTI]

kits E Recognizes electrical hazards E Demonstrates appropriate use of Red-Bag Waste E #12;UCHC Method of Instruction Key: P = Protocol/Procedure Review E = Education Session S = Self Learning Package Key: P = Protocol/Procedure Review E = Education Session S = Self Learning Package C = Clinical

Oliver, Douglas L.

468

UCHC Competency Checklist: ORIENTATION DRAFT, 11/27/2012 Position Title: Registered Nurse, JDH Employee Name: Unit: Med Surg (Check appropriate box below)  

E-Print Network [OSTI]

-Assessment by Employee Validation of CompetencyMethod of Instruction Key: P = Protocol/Procedure Review E = Education-off valves E Locates chemotherapy spill kits E Recognizes electrical hazards E Demonstrates appropriate use of Red-Bag Waste E #12;UCHC Competency Checklist: ORIENTATION DRAFT, 11/27/2012 Position Title

Oliver, Douglas L.

469

ORNL Check-List for Contractor Compliance with 10 CFR Part 707 -Workplace Substance Abuse Program at DOE Sites Page 1 of 4  

E-Print Network [OSTI]

/supervisor and employee training programs that meets the requirements of 10 CFR 707.6. Testing Designated Positions 13 707 from working in a TDP. 15 707.5(B)(4)(a) Notify TDPs at least 60 days in advance of testing unless the contractor is currently conducting a testing program for individuals. 16 707.5(B)(4)(b) Assure individuals

Pennycook, Steve

470

2.5 The DPLL Procedure Given a propositional formula in CNF (or alternatively, a finite set N of clauses), check  

E-Print Network [OSTI]

for all clauses C in N. A |= C if and only if A |= L for some literal L C. Partial Valuations Since we will construct satisfying valuations incrementally, we consider partial valuations (that is, partial mappings A : {0, 1}). Every partial valuation A corresponds to a set M of literals that does not contain

Waldmann, Uwe

471

Study Engineering & Computer Science Abroad Check with the Study Abroad office for up to date costs, course restrictions, and application processes.  

E-Print Network [OSTI]

) Linnaeus University - Växjö (ISEP) (+CS) Lulea University of Technology (ISEP) (+CS) University West (ISEP

Maxwell, Bruce D.

472

COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.1.4 Command to Disable/Enable CRC Checking on Upload  

E-Print Network [OSTI]

COS DCE BOOT FSW v1.09 Component Test Results Requirement 5.5.1.4 Command to Disable/Enable CRC. Brownsberger 2-13-01 The Center for Astrophysics and Space Astronomy Reviewed: Approved: COS DCE BOOT FSW v1 for Astrophysics & Space Astronomy Initial Release COS DCE BOOT FSW v1.09 Component Test Results Requirement 5

Colorado at Boulder, University of

473

COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.1.4 Command to Disable/Enable CRC Checking on Upload  

E-Print Network [OSTI]

COS DCE BOOT FSW v1.13 Component Test Results Requirement 5.5.1.4 Command to Disable/Enable CRC. Brownsberger 2-13-01 The Center for Astrophysics and Space Astronomy Reviewed: Approved: COS DCE BOOT FSW v1 for Astrophysics & Space Astronomy Initial Release COS DCE BOOT FSW v1.13 Component Test Results Requirement 5

Colorado at Boulder, University of

474

120 Check www.uaf.edu/schedule/ for changes to classes, regulations and fees. Area code is 907. FarmersLoopRoad  

E-Print Network [OSTI]

Automotive Technology Center, 3202 Industrial Ave. Facilities Services Division of Design and Construction in a Cultural Context, 2175 University Ave. South Fire Station 2, 1950 University Ave. South Fairbanks Pipeline

Wagner, Diane

475

Campus Reference # Do not use this form for invoice payments against BuzzMart PO's. Only one vendor invoice per check request.  

E-Print Network [OSTI]

Campus Reference # Do not use this form for invoice payments against BuzzMart PO's. Only one vendor: Phone: City: State: ________ Zip: Country: VENDOR ID: NEW US VENDORS REQUIRE SUBMISSION OF VENDOR PROFILE FORM, INTERNATIONAL VENDORS MUST SUBMIT A W-8 FORM. Project #: Account Code: Amount: $ Project

Li, Mo

476

Model Checking Prioritized Timed Automata Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, and Yean-Ru Chen  

E-Print Network [OSTI]

on two clock zones, represented by DBMs, for which we propose an algorithm to generate the minimal number Bound Matrices (DBMs), is required. We have proposed an algorithm to perform the subtraction operation on two DBMs [14]. This algorithmgenerates the minimal num- ber of zones partitioned

Hsiung, Pao-Ann

477

Stat 509/CSSS 509/Econ 580: Intro to Mathematical Statistics: Econometrics This is a FLUID syllabus, so check frequently for changes in colors  

E-Print Network [OSTI]

Stat 509/CSSS 509/Econ 580: Intro to Mathematical Statistics: Econometrics This is a FLUID syllabus things change. Look for colors . Text: A Course in Econometrics, by Arthur S. Goldberger. Probability

Marzban, Caren

478

Transfer Credit and Graduation Checks A "Transfer Course Evaluation Report" and an "Advisor-Generated Report" are included in this part of the  

E-Print Network [OSTI]

. A more complete evaluation is done on the second report, also known as the DARS Audit. It has been it means. Degree Audits are updated every night. DARS is accessible from my.ECE under Student Tools. ===================== General information: Note that your DARS degree audit assumes completion of all classes you have

Liu, Gang "Logan"

479

Moving in to the Suites (Building C) Check-in days have been assigned to each resident according to their room assignment. Please see below for the  

E-Print Network [OSTI]

/4 chairs Microwave Trash can & recycle bin #12;Bedroom furniture (extra-long twin bed, desk, chair of some items. As a reminder pets are not permitted without prior approval. Please refer to pet policy

Su, Xiao

480

Richard O. Sinnott and Kenneth J. Turner. Type Checking in Open Distributed Systems: A Complete Model and its Z Specification. In Jerome  

E-Print Network [OSTI]

, Department of Computing Science, University of Stirling, Stirling FK9 4LA, Scotland. email: ros || kjt that they will interwork successfully is the most important consideration in software engineering today. Object

Turner, Ken

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

The following is a partial list of theaters and screenings. Check out their websites, get on their mailing lists and join their Facebook groups. Even if you  

E-Print Network [OSTI]

on their mailing lists and join their Facebook groups. Even if you can't go to the screenings, it's good to know://www.thecharles.com/ The Charles Revival series: http://www.thecharles.com/go/revivals Facebook: http://www.facebook Series, see above Unseen Cinema http://sightunseenbaltimore.com/ Facebook: http://www.facebook

Weaver, Harold A. "Hal"

482

8 a.m. Check-In & Breakfast McCormick Tribune Join us for breakfast and pick up your Orientation Materials for the day.  

E-Print Network [OSTI]

Safety Center for Disability Resources Office of Technology Services (OTS) Academic Resource Center (ARC an autonomous line-following robot to navigate through a challenging obstacle course. Learn how real engineers

Saniie, Jafar

483

Model Checking Software, 10th International SPIN Workshop, Portland, OR, USA, May 2003, Proceedings A Requirements Patterns-Driven Approach to  

E-Print Network [OSTI]

Diesel Corporation. Please contact this author for all correspondences. #12;requirements and high filter system to reduce the amount of soot emitted from diesel truck exhaust. Given the safety

Cheng, Betty H.C.

484

Government by (Hot) Checks and (Im) Balances: California's State Budget from the May 2009 Voter Rejection to the Octobr 2010 Budget Deal  

E-Print Network [OSTI]

have to be part of our budget solution because the federalgovernment is part of our budget problem And now Congressprison spending i n the budget. Quoted at the annual Willie

Mitchell, Daniel JB

2011-01-01T23:59:59.000Z

485

To appear in Proceedings, International Symposium on Requirements Engineering, York, England, March 26-27, 1995 1 Consistency Checking of SCR-Style Requirements Speci cations  

E-Print Network [OSTI]

; a submarine communications system 12 ; and safety- critical components of two nuclear power plants to describe the functional requirements of software un- ambiguously and concisely 13, 14 , the SCR method has of avionics and space applications 7, 8 . While the above applications of SCR rely on man- ual techniques, e

486

Engineering Exploration Day Schedule 8:00 a.m. -9:00 a.m. -Registration/Check-In Lory Student Center 228 (All Tracks)  

E-Print Network [OSTI]

Interactive Medical Exercise Robot) ­ ENGR B106 · Engineering Science Overview ­ Dr. Thomas Siller, Associate-Ozbek, Assistant Professor ­ LSC 224-6 · Environmental Engineering Lab ­ Water Quality Teaching Lab ­ 268 SCOTT

487

*=source has been recommended from numerous people, so you should probably check it out. Atul Gawande-Wrote *Better, *Complications, and The Checklist Manifesto. Gawande also  

E-Print Network [OSTI]

: One Day and One Year in the Lives of Three New Doctors-Brian Eule. Short White Coat: Lessons From- Mary Roach. The Healing of America-T.R. Reid. Regarding health care finance and how other countries do

Maxwell, Bruce D.

488

Summer school MOVEP 2002 MOdelling and VErification of parallel Processes  

E-Print Network [OSTI]

checking and program analysis", Markus Mueller-Olm (University of Dortmund) 2. "Model checking infinite

Ryan, Mark

489

Summer school MOVEP 2002 MOdelling and VEri cation of parallel Processes  

E-Print Network [OSTI]

checking and program analysis", Markus Mueller-Olm (University of Dortmund) 2. \\Model checking in#12;nite

Ryan, Mark

490

MOCHA: Modularity in Model Checking ??? R. Alur 1 , T.A. Henzinger 2 , F.Y.C. Mang 2 , S. Qadeer 2 , S.K. Rajamani 2 , and S. Tasiran 2  

E-Print Network [OSTI]

of Pennsylvania, and Computing Science Research Center, Bell Laboratories alur@cis.upenn.edu 2 Electrical framework of reactive modules [AH96]. The definition of reactive modules is inspired by formalisms components within a single transition. Reactive modules provide a semantic glue that allows the formal embed

Henzinger, Thomas A.

491

Creating a Loan Document in Kuali First you need to find the asset you wish to loan (check-out). On the Main Menu screen under the Lookup and  

E-Print Network [OSTI]

the Capital Asset Management heading and click on Asset. Search by entering the CSU decal number into the Tag the following screen. 1. As with all other documents in Kuali, you will need to enter a Description, and then enter the Expected Return Date. The document will only allow you to enter a return date 2 years or less

Stephens, Graeme L.

492

Effective Date: July 5, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.  

E-Print Network [OSTI]

://jpssmis.gsfc.nasa.gov/mainmenu_dsp.cfm ) Reviewed By: JPSS Ground System Craig Weikel C3S Manager (Electronic Approvals available online at https://jpssmis.gsfc.nasa.gov/mainmenu_dsp.cfm ) Patrick Coronado FTS Manager (Electronic Approvals available online at https://jpssmis.gsfc.nasa.gov/mainmenu_dsp.cfm ) William Sullivan JPSS CGS Program Manager (Electronic Approvals available online at https

493

Effective Date: March 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.  

E-Print Network [OSTI]

System Craig Weikel C3S Manager (Electronic Approvals available online at https://jpssmis.gsfc.nasa.gov/mainmenu_dsp.cfm ) Patrick Coronado FTS Manager (Electronic Approvals available online at https://jpssmis.gsfc.nasa.gov/mainmenu_dsp.cfm ) William Sullivan JPSS CGS Program Manager (Electronic Approvals available online at https

494

Updated: 6/27/2014 6:07:48AM Term:1141 Spring 2014 (47 semester hours) Students should check with their school or college to insure that courses selected for the University  

E-Print Network [OSTI]

UNIVERSITY HILLS BLVD DAL1 201DMW Dickman CCRE 3.0 10:00 am-11:20 am091 (16247) MEETS AT UNT-DALLAS, 7300

Mohanty, Saraju P.

495

No separate checks for parties larger than 8. A 20% percent gratuity will be added to parties larger than 5. For guests with food allergies or specific dietary requirements, please ask to speak to a manager.  

E-Print Network [OSTI]

lettuce -- w/ ranch or tamarind dressing beef tenderloin salad $13 grilled beef tenderloin tips , fresh dressing, bean sprouts, grilled chicken & pesto cream grilled salmon medallions $13 pan seared atlantic made dressing, romaine lettuce & garlic bread crouton-- w/ grilled shrimp or chicken grilled chicken

Azevedo, Ricardo

496
497

The only official copy is on-line at the SHSD IH Group website. Before using a printed copy, verify that it is current by checking the document issue date on the website.  

E-Print Network [OSTI]

by inhalation, this equipment is only to be used in un- occupied areas under the direction of a professional to satisfactorily use the equipment, as evidenced by experience and training, to the satisfaction of the Industrial Hygiene Manager or IAQ Program Administrator and met the qualification criteria set in Section 7. 2

Homes, Christopher C.

498

The only official copy is on-line at the SHSD IH Group website. Before using a printed copy, verify that it is current by checking the document issue date on the website.  

E-Print Network [OSTI]

established procedures. 2.3 Log In/Out: The Sampler will complete the sign in/out log in the IH equipment room.1 Qualification: The user must be qualified as per requirements in Section 7. #12;The only official copy is on reviews must be met in performing this procedure. 5.2 Equipment Protection: When used in an area where

Homes, Christopher C.

499

The only official copy is on-line at the SHSD website. Before using a printed copy, verify that it is current by checking the document issue date on the website.  

E-Print Network [OSTI]

Facility Applications, Requirement 2: Worker Qualification · This procedure does not cover the Acceptance personal protective equipment is worn. 2.6 The person performing work under this program and his/her line supervisor are responsible to ensure that all required training and qualification for hazards present

Homes, Christopher C.

500

Issue 2011-1 December 2011  

E-Print Network [OSTI]

Academy.) Best Wishes for 2012! The year 2012 is the centenary of the birth of Alan Turing account of his life and achievements can be found on Wikipedia at: http://en.wikipedia.org/wiki/Alan_Turing for further information). A Centenary Celebration of the Life and Work of Alan Turing will take place during

West, Margaret Mary