Sample records for mediawiki wiki check

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

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

    in the CentralAuth extension for MediaWiki, which can be exploited by malicious people to bypass certain security restrictions. PLATFORM: MediaWiki CentralAuth Extension...

  2. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnualProperty Edit with form HistoryRistma AG Jump638324°,Schnell ZTools andSegenSemantic MediaWiki

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

  4. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal Pwer Plant JumpMarysville, Ohio: Energy8429°, -88.864698°Mecosta County,New York: Energyxml

  5. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from a NewCuneoTechnologyCHPRC NewsMarch AprilHouse

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

    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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed off Energy.gov. Are you sureReportsofDepartmentSeries |Attacks | Department of Energy3:

  7. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup | Open EnergyInformationHorizon Fuel CellOpenEI Community push

  8. Wikis supporting PLM and Technical Documentation

    E-Print Network [OSTI]

    Himyr, Nils-Joar; CERN. Geneva. IT Department

    2007-01-01T23:59:59.000Z

    Over the last years, Wikis have arisen as powerful tools for collaborative documentation on the Internet. The Encyclopaedia Wikipedia has become a reference, and the power of community editing in a Wiki allows for capture of knowledge from contributors all over the world. Use of a Wiki for Technical Documentation, along with hyper-links to other data sources such as a Product Lifecycle Management (PLM) system, provides a very effective collaboration tool as information can be easily feed into the system throughout the project life-cycle. In particular for software- and hardware projects with rapidly evolving documentation, the Wiki approach has proved to be successful. Certain Wiki implementations, such as TWiki, are project-oriented and include functionality such as automatic page revisioning. This paper addresses the use of TWiki to document hardware and software projects at CERN, from the requirements and brain-storming phase to end-product documentation. 2 examples are covered: large scale engineering for...

  9. Check valve

    DOE Patents [OSTI]

    Upton, H.A.; Garcia, P.

    1999-08-24T23:59:59.000Z

    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.

  10. Check valve

    DOE Patents [OSTI]

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

    1999-08-24T23:59:59.000Z

    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.

  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. Energy Information, Data, and other Resources | OpenEI

    Open Energy Info (EERE)

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

  13. Causal effects of wiki site design on anxiety and usability

    E-Print Network [OSTI]

    Cowan, Benjamin Richard

    2011-06-28T23:59:59.000Z

    Within society Information Technology (IT) is becoming pervasive. This is no more pronounced than in Higher Education where IT is almost ubiquitously used. Current developments have also seen Web 2.0 tools such as wikis ...

  14. Q00906010024 rock check dam

    E-Print Network [OSTI]

    00906010024 rock check dam Q00906010025 rock check dam Q00906010021 rock check dam Q00906010022 rock check dam Q00906010027 rock check dam Q00906010026 rock check dam Q00906010018 rock check dam Q00906010023 rock check dam Q00906010011 rock check dam Q00906010008 rock check dam Q00906010007 rock check dam Q

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

    E-Print Network [OSTI]

    Davidi, Ilana

    2007-01-01T23:59:59.000Z

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

  16. V00306010057 rock check dam

    E-Print Network [OSTI]

    XY! 16-020 16-030(c) 16-026(l) 16-028(c) 16-026(l) V00306010057 rock check dam V00306010012 rock check dam V00306010040 rock check dam V00306010039 rock check dam V00306010058 rock check dam V00306010064 rock check dam V00306010061 rock check dam V00306010062 rock check dam V00306010063

  17. V01406010015 rock check dam

    E-Print Network [OSTI]

    XY! V01406010015 rock check dam V01406010014 rock check dam V01406010013 rock check dam 1501403010012 earthen berm V01403010008 earthen berm V01406010003 rock check dam V01406010004 rock check dam V01406010010 rock check dam V01406010011 rock check dam 15-0651 15-0307 15-0588 15-0532 15-0575 stormdrain 7160

  18. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model, clickInformation SmyrnaNewClayClearSpotYork:Trust JumpA)ClimateCHECK

  19. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnualProperty Edit withTianlinPapersWindey Wind Home Rmckeel'slinked open data Homemapsmediawiki

  20. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to: navigation, searchOfRoseConcernsCompany Oil and GasOff<div/0 en TheResult Formats on

  1. J00206010020 rock check dam

    E-Print Network [OSTI]

    XY! J00206010020 rock check dam J00206010023 rock check dam 09-009 09-009 09-009 PJ-SMA-2 0.901 Acres J00206010021 rock check dam J00206010019 rock check dam J00206010014 rock check dam J00203010007 Smith DATE: 14-November-2014 REVISION NUMBER: 8 XY! IP sampler location Berm Channel/swale Check dam

  2. T00406010008 rock check dam

    E-Print Network [OSTI]

    XY! T00406010008 rock check dam T00406010009 rock check dam T00406010010 rock check dam T00406010011 rock check dam T-SMA-2.85 0.344 Acres 35-014(g) 35-016(n) T00406010005 rock check dam T00406010006 rock check dam T00403090004 curb T00402040007 established vegetation, green hatch area 7200 7200 7180

  3. W02106010008 rock check dam

    E-Print Network [OSTI]

    W-SMA-14.1 5.169 Acres W02106010008 rock check dam W02106010009 rock check dam W02106010010 rock check dam W02106010011 rock check dam W02106010012 rock check dam W02103010018 earthen berm W02103010016 dam Established vegetation Seed and mulch Sediment trap/basin Gabion Cap SWMU boundary SMA drainage

  4. Montana Watershed Restoration Plans 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal Pwer Plant JumpMarysville,Missoula, Montana:Northeast AsiaAir|UndergroundRestoration Plans Wiki

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

  6. An Introduction to Model Checking

    E-Print Network [OSTI]

    Wolper, Pierre

    expertise and is not yet sufficiently powerful to be widely usable. Model checking [CES86] is often thoughtstate systems and, though this limitation is no longer absolute, model checking is still only applicable aspect on which model checking diverges from traditional verification is that it is fully algorithmic

  7. T2Ku: Building a Semantic Wiki of Mathematics

    E-Print Network [OSTI]

    Pan, Minqi

    2012-01-01T23:59:59.000Z

    We introduce T2Ku, an open source project that aims at building a semantic wiki of mathematics featuring automated reasoning(AR) techniques. We want to utilize AR techniques in a way that truly helps mathematical researchers solve problems in the real world, instead of building another ambitious yet useless system. By setting this as our objective, we exploit pragmatic design decisions that have proven feasible in other projects, while still employs a loosely coupled architecture to allow better inference programs to be integrated in the future. In this paper, we state the motivations and examine state-of-the-art systems, why we are not satisfied with those systems and how we are going to improve. We then describe our architecture and the way we implemented the system. We present examples showing how to use its facilities. T2Ku is an on-going project. We conclude this paper by summarizing the development progress and encouraging the reader to join the project.

  8. Check Estimates and Independent Costs

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

    1997-03-28T23:59:59.000Z

    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.

  9. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual Siteof Energy 2,AUDITCalifornia Sector: WindRiegotecSeaScape Energy LtdSeeBASelimSemantic

  10. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup |JilinLuOpenNorthOlympia Green Fuelsper CategoryPresidentialMulticolor

  11. Expression equivalence checking using interval analysis

    E-Print Network [OSTI]

    Ghodrat, Mohammad Ali; Givargis, Tony; Nicolau, Alex

    2006-01-01T23:59:59.000Z

    Z. Zhou and W. Burleson, Equivalence checking of datapathsusing combinational equivalence for extensible processor,et al. : EXPRESSION EQUIVALENCE CHECKING USING INTERVAL

  12. Integrity Checking for Uncertain Data Hendrik Decker

    E-Print Network [OSTI]

    Martinenghi, Davide

    , 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 Tecnologico de Informatica E as semantic integrity constraints. Thus, imposing and checking such constraints provides a better control over

  13. Pet Groomer? Check this out....

    E-Print Network [OSTI]

    New Hampshire, University of

    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

  14. Timed CTL Model Checking Lecture #16 of Advanced Model Checking

    E-Print Network [OSTI]

    Ábrahám, Erika

    = , if either: · for all x C: (x) > cx and (x) > cx, or · for any x, y C with (x) cx and (x) cx, and (y) cy(TA) is defined by: [s] = , [] = { s, | [] } c JPK 9 #12;Advanced model checking Example cx=2, cy=1 c JPK 10 from below and above by: |C|! xC cx Eval(C)/= number of regions |C|! 2|C|-1 xC (2cx + 2) where

  15. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Yuan Feng; Nengkun Yu; Mingsheng Ying

    2013-11-14T23:59:59.000Z

    Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations. So, it is indispensable to develop techniques of verifying and debugging quantum cryptographic systems. Model-checking has proved to be effective in the verification of classical cryptographic protocols, but an essential difficulty arises when it is applied to quantum systems: the state space of a quantum system is always a continuum even when its dimension is finite. To overcome this difficulty, we introduce a novel notion of quantum Markov chain, specially suited to model quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov chains.

  16. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Feng, Yuan; Ying, Mingsheng

    2012-01-01T23:59:59.000Z

    Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations. So, it is indispensable to develop techniques of verifying and debugging quantum cryptographic systems. Model-checking has proved to be effective in the verification of classical cryptographic protocols, but an essential difficulty arises when it is applied to quantum systems: the state space of a quantum system is always a continuum even when its dimension is finite. To overcome this difficulty, we introduce a novel notion of quantum Markov chain, specially suited to model quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov c...

  17. Model-Checking A Tutorial Introduction

    E-Print Network [OSTI]

    Müller-Olm, Markus

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

  18. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

    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

  19. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

    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

  20. Dynamic Testing of Check Valves William Rahmeyer

    E-Print Network [OSTI]

    Rahmeyer, William J.

    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

  1. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)IntegratedSpeeding access toTestPhysicsParticipantsPartnersC.Payroll Check Direct

  2. International Conference on Construction Applications of Virtual Reality Nov 5-6, 2009 URBAN WIKI AND VR APPLICATIONS

    E-Print Network [OSTI]

    effectively designing a large scale urban project, and how VR platform helps in building up the VR urban models to facilitate visualizations and designing. An urban project of a village scale, which employed in the design of Urban Wiki can be potentially used to build scalable, easily navigable

  3. Static Consistency Checking for Distributed Specifications

    E-Print Network [OSTI]

    Finkelstein, Anthony

    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

  4. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

    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

  5. Check Aid Status & Loans on ISIS

    E-Print Network [OSTI]

    Fang, Yuguang "Michael"

    Check Aid Status & Loans on ISIS As a University of Florida (UF) financial aid applicant, you can business using ISIS (the UF Integrated Student Information System): www.isis.ufl.edu 1.CheCk Aid StAtuS/AwArdS on iSiS You are responsible for keeping track of your financial aid file and awards, including

  6. Completeness and Complexity of Bounded Model Checking #

    E-Print Network [OSTI]

    Ouaknine, Jol

    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. 99TJ684, the National Science Foundation (NSF

  7. Completeness and Complexity of Bounded Model Checking

    E-Print Network [OSTI]

    Ouaknine, Jol

    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

  8. Practical API Protocol Checking with Access Permissions

    E-Print Network [OSTI]

    for a large Java standard API with our approach. We also specify several other Java APIs and identify standard APIs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 4.2 ProtocolPractical API Protocol Checking with Access Permissions Kevin Bierhoff Nels E. Beckman Jonathan

  9. Asserting and Checking Determinism for Multithreaded Programs

    E-Print Network [OSTI]

    Sen, Koushik

    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

  10. ModelChecking A Tutorial Introduction

    E-Print Network [OSTI]

    Schmidt, David A.

    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

  11. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

    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

  12. Keep new concepts Check cognition level

    E-Print Network [OSTI]

    Chaudhuri, Surajit

    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

  13. CRADA CHECKLIST For Your Convenience, check off

    E-Print Network [OSTI]

    Baker, Chris I.

    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

  14. Model Checking User Interfaces Abigail Cauchi

    E-Print Network [OSTI]

    Pace, Gordon J.

    Model Checking User Interfaces Abigail Cauchi Dept of Computer Science University of Malta acau0004@um.edu.mt Gordon Pace Dept of Computer Science University of Malta gordon.pace@um.edu.mt Sandro Spina Dept of Computer Science University of Malta sandro.spina@um.edu.mt Abstract User interfaces

  15. AD CONTENT CHECK LIST: o Company logo

    E-Print Network [OSTI]

    Zakharov, Vladimir

    AD CONTENT CHECK LIST: o Company logo o Address o Contact Info: Phone, web site, and/or e-mail o that will perfectly reflect your image! Acceptable Formats For Logos/Graphics/Photos High-Res (300 dpi) PDF, EPS

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

  17. Optimized synthesis of concurrently checked controllers

    SciTech Connect (OSTI)

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

    1990-04-01T23:59:59.000Z

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

  18. Pre-resistance-welding resistance check

    DOE Patents [OSTI]

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

    1991-01-01T23:59:59.000Z

    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.

  19. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnualProperty Edit with form HistoryRistma AG Jump638324°,Schnell ZTools andSegenSemantic

  20. AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES

    E-Print Network [OSTI]

    Tronci, Enrico

    AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES Giuseppe Della Penna Keywords: Controller Synthesis, Controller Optimization, Model Checking, Nonlinear Systems Abstract: We INTRODUCTION Control systems (or, shortly, controllers) are small hardware/software components that control

  1. Mining Complex Boolean Expressions for Sequential Equivalence Checking

    E-Print Network [OSTI]

    Ramakrishnan, Naren

    Mining Complex Boolean Expressions for Sequential Equivalence Checking Neha Goel, Michael S. Hsiao-flops in a sequential circuit for sequential equivalence checking. In contrast to traditional learning methods, our be arbitrary boolean expressions and can thus prune a large don't care space during equivalence checking

  2. Printed by LAAS-CNRS Planning via Model Checking

    E-Print Network [OSTI]

    Thibaux, Sylvie

    Pho Printed by LAAS-CNRS Workshop Planning via Model Checking F. Kabanza S. Thibaux Toulouse, April 23, 2002 #12;#12;Proceedings of the AIPS-02 Workshop on Planning via Model-Checking Toulouse Rune Jensen, Carnegie Mellon University, USA i #12;#12;Foreword Model checking is currently one

  3. A VSLI design rule check program generator

    E-Print Network [OSTI]

    Harwood, Ann Elizabeth Gelber

    1985-01-01T23:59:59.000Z

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

  4. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model, clickInformation SmyrnaNewClayClearSpotYork:Trust JumpA)ClimateCHECK Jump

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

    Roy, Subrata

    /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

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

    E-Print Network [OSTI]

    Devlin, Patrick M

    2015-01-03T23:59:59.000Z

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

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

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

    Science at ALCF Allocation Programs INCITE Program 5 Checks & 5 Tips for INCITE Mira Computational Readiness Assessment ALCC Program Director's Discretionary (DD) Program Early...

  8. Designing programs that check their work \\Lambda Manuel Blum

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    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

  9. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi CNRS, ENS Lyon--We introduce bisimulation up to congruence as a technique for proving language equivalence of non algorithm. I. INTRODUCTION Checking language equivalence of finite automata is a clas- sical problem

  10. Using Model Checking for Analyzing Distributed Power Control Problems

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    1 Using Model Checking for Analyzing Distributed Power Control Problems Thomas Brihaye, Marc. Realizing that the distributed power control (PC) problem can be modeled by a timed game between a given Distributed power control, game theory, interference channel, model checking, timed games, verification

  11. Termination and Reduction Checking for HigherOrder Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

    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

  12. Termination and Reduction Checking for Higher-Order Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

    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

  13. Using Distinguishing and UIO Sequences Together in a Checking Sequence

    E-Print Network [OSTI]

    Yanikoglu, Berrin

    Using Distinguishing and UIO Sequences Together in a Checking Sequence M. Cihan Yalcin1 and Husnu Abstract. If a finite state machine M does not have a distinguishing sequence, but has UIO sequences for its states, there are methods to produce a checking sequence for M. However, if M has a distinguishing

  14. Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences

    E-Print Network [OSTI]

    Jourdan, Guy-Vincent

    Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences Robert M. Hierons of a preset dis- tinguishing sequence for constructing checking sequences. It has been shown that an adaptive distinguishing sequence is sufficient for these methods. This result is significant because adaptive

  15. Assumption-Commitment Support for CSP Model Checking

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    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

  16. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB

    E-Print Network [OSTI]

    Eirinaki, Magdalini

    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

  17. When Model Checking Met Deduction Computer Science Laboratory

    E-Print Network [OSTI]

    Clarke, Edmund M.

    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

  18. Checking Herbrand Equalities and Beyond Markus Muller-Olm1

    E-Print Network [OSTI]

    Müller-Olm, Markus

    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

  19. Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein

    E-Print Network [OSTI]

    Finkelstein, Anthony

    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

  20. Smog Check II Evaluation Part II: Overview of Vehicle

    E-Print Network [OSTI]

    Denver, University of

    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

  1. Specifying and Checking Semantic Atomicity for Multithreaded Programs

    E-Print Network [OSTI]

    Necula, George

    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

  2. Bleecker: WC Reporting Check List Risk Management 6/28/2012 Initial Injury/Illness Reporting Check List

    E-Print Network [OSTI]

    Prinz, Friedrich B.

    Bleecker: WC Reporting Check List Risk Management 6/28/2012 Initial Injury/Illness Reporting Check://www.stanford.edu/dept/EHS/prod/general/su17.pdf Within 24 HRS Worker & Supervisor Fax to 650-723-9456 Original to Mail Code 6207 DWC 1 http://www.stanford.edu/dept/Risk-Management-723-9456 Original to Mail Code 6207 5020 (must be typed "PCWord version" available in link below) http://www.stanford.edu/dept/Risk-Management

  3. Bleecker: WC Reporting Check List Risk Management 12/10/2012 Initial Injury/Illness Reporting Check List

    E-Print Network [OSTI]

    Prinz, Friedrich B.

    Bleecker: WC Reporting Check List Risk Management 12/10/2012 Initial Injury/Illness Reporting Check List Questions contact Department's HR or Risk Management 650-723-7400 Any Death or Serious Injury://www.stanford.edu/dept/EHS/prod/general/su17.pdf Within 24 HRS Worker & Supervisor Fax to 650-723-9456 Original to Mail Code 6207 DWC 1 http://www.stanford.edu/dept/Risk-Management

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

    Hull, Elaine

    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

  5. Swing Check Valve Design Criteria and CFD Validation

    SciTech Connect (OSTI)

    Dallstream, Brian E.; Fricke, Brian A.; Becker, Bryan R. [University of Missouri-Kansas City (United States)

    2006-07-01T23:59:59.000Z

    This paper provides information on swing check valve selection criteria suitable for nuclear power plant applications. In this project, four swing check valves were analyzed to demonstrate the implementation and application of this information. In this example, swing check valves were selected according to 'ASME Boiler and Pressure Vessel Code, Section III' and 'ASME B16.34, Valves Flanged, Threaded, and Welding End'. This paper also discusses the utilization of Computational Fluid Dynamics Software (CFD) as a means to analyze valve design. The use of CFD is a relatively new approach for validation of valve design that is becoming invaluable due to the high cost of physical bench testing. The Instrument Society of America (ISA) Analysis Division and the American Society of Mechanical Engineers (ASME) Computational Fluid Dynamics Technical Committee have taken a proactive approach in setting standards and practices for the use of CFD in design and validation. (authors)

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

    E-Print Network [OSTI]

    Pawlowski, Wojtek

    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

  7. Revising Specifications with CTL Properties using Bounded Model Checking

    E-Print Network [OSTI]

    Finger, Marcelo

    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

  8. ES&H Safety Walk Around Check List

    E-Print Network [OSTI]

    Knowles, David William

    ES&H Safety Walk Around Check List for Managers Lab Work Environment (Labs & Storage Areas) Are all Waste x4644 Health Services x6266 Industrial & Shop Safety, including Machine Guarding x7170 Radiation shields or face shield) available for dispensing super cold liquids (cryogens like liquid nitrogen

  9. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi Damien Pous CNRS, ENS introduce bisimulation up to congruence as a technique for proving language equivalence of non Language Equivalence, Automata, Bisimulation, Coin- duction, Up-to techniques, Congruence, Antichains. 1

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

    E-Print Network [OSTI]

    Roscoe, Bill

    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

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

  12. Coded modulation with Low Density Parity Check codes

    E-Print Network [OSTI]

    Narayanaswami, Ravi

    2001-01-01T23:59:59.000Z

    This thesis proposes the design of Low Density Parity Check (LDPC) codes for cases where coded modulation is used. We design these codes by extending the idea of Density Evolution (DE) that has been introduced as a powerful tool to analyze LDPC...

  13. Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

    E-Print Network [OSTI]

    Bollig, Benedikt

    Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking Benedikt,cyriac,gastin,zeitoun}@lsv.ens-cachan.fr Abstract. We develop a general framework for the design of temporal logics for concurrent recursive programs. A program execution is modeled as a partial order with multiple nesting relations. To specify

  14. Check BMail account University sends all official communications

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    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

  15. Error detection through consistency checking Peng Gong* Lan Mu#

    E-Print Network [OSTI]

    Silver, Whendee

    Error detection through consistency checking Peng Gong* Lan Mu# *Center for Assessment & Monitoring Hall, University of California, Berkeley, Berkeley, CA 94720-3110 gong@nature.berkeley.edu mulan, accessibility, and timeliness as recorded in the lineage data (Chen and Gong, 1998). Spatial error refers

  16. Web Service Composition: a Reality Check Jianguo Lu, 2

    E-Print Network [OSTI]

    Lu, Jianguo

    - 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

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

  18. Perturbative Check of the Action and Energy Lattice Sum Rules

    E-Print Network [OSTI]

    B. Feuerbacher

    2003-09-04T23:59:59.000Z

    Lattice sum rules are checked using lattice perturbation theory. The action sum rule gives a relation between the quark-antiquark potential, its logarithmic derivative with respect to distance and the expectation value of the action; the energy sum rule expresses the potential as the sum of the energy in the gluon fields and of an anomalous term. Two different independent calculations of the quark-antiquark potential are presented, and the transversality of the gluonic vacuum polarization on the lattice is proven. The crucial part of the action sum rule is an identity whose explicit check using perturbation theory provides methods and results which are useful for checking the energy sum rule. Additionally, the gauge invariance of the expectation value of the Wilson loop up to next-to-leading order is proven. The possibility of restricting the expectation value of the action to one fixed time slice is discussed. The energy sum rule is checked perturbatively up to next-to-leading order and shown to be satisfied with good numerical accuracy. The various contributions to the quark-antiquark potential are analyzed, and the restriction of the expectation value of the sum over all spatial plaquettes (the energy in the magnetic fields) to one fixed time slice is examined.

  19. Model Checking for Database Theoreticians Moshe Y. Vardi 1#

    E-Print Network [OSTI]

    Vardi, Moshe Y.

    techniques to establish the correctness of the system under verification with respect to a given property. Model checking is an algorithmicverification technique that is based on a small number of key ideas to database verification. 1 Introduction The recent growth in computer power and connectivity has changed

  20. Reuse of Verification Results Conditional Model Checking, Precision Reuse,

    E-Print Network [OSTI]

    Beyer, Dirk

    further verification runs of the system; information about the level of abstraction in the abstract modelReuse of Verification Results Conditional Model Checking, Precision Reuse, and Verification checker which parts of the system should be verified; thus, later verification runs can use the output

  1. Flat acceleration in symbolic model checking Sebastien Bardin1

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    . Key words: verification of infinite-state systems, symbolic model checking, ac- celeration. 1 research teams from de- veloping powerful innovative model checkers for infinite-state systems. For example verification pro- cedures that can handle systems with an infinite state space. So-called "accelera- tion

  2. Eoeective Recognizability and Model Checking of Reactive Fioeo Automata

    E-Print Network [OSTI]

    Sutre, Grégoire

    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

  3. National propane safety week caps fifth anniversary of GAS Check

    SciTech Connect (OSTI)

    Prowler, S.

    1990-09-01T23:59:59.000Z

    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.

  4. Conformance Checking of Interacting Processes With Overlapping Instances

    E-Print Network [OSTI]

    van der Aalst, Wil

    basic metric is fitness telling whether M can replay every observed execution of S. In case M cannot checking techniques assume rather simple models where process instances can be considered in isolation and isolate executions of such a process, and classical modeling languages are no longer applicable [8

  5. Equivalence Checking for Function Pipelining in Behavioral Synthesis

    E-Print Network [OSTI]

    Xie, Fei

    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

  6. Detecting Termination of Active Database Rules Using Symbolic Model Checking

    E-Print Network [OSTI]

    Ray, Indrakshi

    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

  7. Termination Checking: Comparing Structural Recursion and Sized Types by Examples

    E-Print Network [OSTI]

    Abel, Andreas

    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

  8. Applying High Performance Computing to Analyzing by Probabilistic Model Checking

    E-Print Network [OSTI]

    Schneider, Carsten

    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

  9. Model checking Timed CSP Philip Armstrong Gavin Lowe Joel Ouaknine

    E-Print Network [OSTI]

    Ouaknine, Joël

    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

  10. Polymorphic CSP Type Checking Ping Gao and Robert Esser

    E-Print Network [OSTI]

    Esser, Robert

    Polymorphic CSP Type Checking Ping Gao and Robert Esser Concurrent and Realtime 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

  11. Modular SMT Proofs for Fast Reflexive Checking inside Coq

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Modular SMT Proofs for Fast Reflexive Checking inside Coq Frederic Besson, Pierre methodology for exchanging unsatisfia- bility proofs between an untrusted SMT solver and a sceptical proof assistant with computation capabilities like Coq. We advocate modu- lar SMT proofs that separate boolean

  12. Page 1 September 2014EMC'2014 Software Model Checking

    E-Print Network [OSTI]

    Clarke, Edmund M.

    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

  13. A Simplified Model Of QuickCheck Automata Kevin Falzon

    E-Print Network [OSTI]

    Pace, Gordon J.

    A Simplified Model Of QuickCheck Automata Kevin Falzon University of Malta kfal0002@um.edu.mt Gordon J. Pace University of Malta gordon.pace@um.edu.mt ABSTRACT Placing guarantees on a program in this publication is partially funded by the Strategic Educational Pathways Scholarship (Malta). The scholarship

  14. Removable check valve for use in a nuclear reactor

    DOE Patents [OSTI]

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

    1988-01-01T23:59:59.000Z

    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.

  15. Formalization of the data flow diagram rules for consistency check

    E-Print Network [OSTI]

    Ibrahim, Rosziati; 10.5121/ijsea.2010.1406

    2010-01-01T23:59:59.000Z

    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.

  16. SMT-based Bounded Model Checking with Difference Logic Constraints

    E-Print Network [OSTI]

    Bersani, Marcello M; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; Pietro, Pierluigi San

    2010-01-01T23:59:59.000Z

    Traditional Bounded Model Checking (BMC) is based on translating the model checking problem into SAT, the Boolean satisfiability problem. This paper introduces an encoding of Linear Temporal Logic with Past operators (PLTL) into the Quantifier-Free Difference Logic with Uninterpreted Functions (QF-UFIDL). The resulting encoding is a simpler and more concise version of existing SATbased encodings, currently used in BMC. In addition, we present an extension of PLTL augmented with arithmetic relations over integers, which can express unbounded counters; as such, the extended logic is more expressive than PLTL. We introduce suitable restrictions and assumptions that are shown to make the verification problem for the extended logic decidable, and we define an encoding of the new logic into QF-UFIDL. Finally, a performance comparison with the SAT-based approach on purely PLTL examples shows significant improvements in terms of both execution time and memory occupation.

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

    E-Print Network [OSTI]

    Anoymous,

    1984-01-01T23:59:59.000Z

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

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

    SEE ADDENDUM IS CHECKED CODE 18a. PAYMENT WILL BE MADE BY CODE FACILITY CODE 17b. CHECK IF REMITTANCE IS DIFFERENT AND PUT SUCH ADDRESS IN OFFER OFFEROR 00146 Casper WY 82601 Shale...

  19. Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz, Sylvain Rampacek and Christophe Nicolle

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    floods. Model checking is a powerful tool for system verification because it can reveal errors that were to describe the properties checking the system model. 395 hal-00617998,version1-31Aug2011 Author manuscriptSCALESEM Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz, Sylvain Rampacek

  20. Conformance Checking with Constraint Logic Programming: The Case of Feature Models

    E-Print Network [OSTI]

    Egyed, Alexander

    . On the semantic level, a PLM is defined as the collection of all the product models that can be derived from it. Therefore checking the conformance of the PLM is equivalent to checking the conformance of all the product of a PLM. Despite the importance of PLM conformance checking, very few research works have been published

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

    E-Print Network [OSTI]

    MacKay, David J.C.

    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

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

    E-Print Network [OSTI]

    Hull, Elaine

    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

  3. Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

    E-Print Network [OSTI]

    Yksel, Ender; Nielson, Flemming; Zhu, Huibiao; Huang, Heqing

    2012-01-01T23:59:59.000Z

    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.

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

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122Commercial602 1,39732onMakeEducation Programs Business EnclavePositive Pay and Check

  5. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHigh SchoolIn12electron 9 5 - -/e),,s - 6157Bioenergy09913User Check-In

  6. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently20,000 Russian Nuclear Warheads|ofEventsWorkshopY-12a Multi-User Network Testbed3CHECK

  7. Reasoning About Strategies: On the Model-Checking Problem

    E-Print Network [OSTI]

    Mogavero, Fabio; Perelli, Giuseppe; Vardi, Moshe Y

    2011-01-01T23:59:59.000Z

    In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between agents and express the correctness of the system no matter how the environment behaves. An important contribution in this context is given by modal logics for strategic ability, in the setting of multi-agent games, such as ATL, ATL*, and the like. Recently, Chatterjee, Henzinger, and Piterman introduced Strategy Logic (CHP-SL), with the aim of getting a powerful framework for reasoning explicitly about strategies. CHP-SL is obtained by using first-order quantifications over strategies and it has been investigated in the setting of two-agents turned-based games, where a non-elementary model-checking algorithm has been provided. While CHP-SL is a very expressive logic, we claim that it does not fully capture the strategic aspects of multi-agent systems. In this paper, we introduce and study a more general strategy logic, denoted SL, for reasoning about strategies in multi-agent co...

  8. A Split-Decoding Message Passing Algorithm for Low Density Parity Check Decoders

    E-Print Network [OSTI]

    Mohsenin, Tinoosh; Baas, Bevan M.

    2010-01-01T23:59:59.000Z

    Shi, R. (2008). Sliced message passing: High throughputWang, Z. (2007). Efficient message passing ar- chitectureparity check codes under message-passing decoding. IEEE

  9. Rg 0961u Form 24 for 12/08/2012 Crew rest. Comm checks

    E-Print Network [OSTI]

    :00-12:15 CDR ARED flywheel cylinder removal 12:10-12:20 FE-1 Soyuz VHF2 check via Groundstation #33 Tagup

  10. Full sequential equivalence checking by state space traversal has been shown to be unpractical for large

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Abstract: Full sequential equivalence checking by state space traversal has been shown, Simulation, SAT) to transform the sequential equivalence checking problem into a combinational equivalence successful in general, they are not able to reach proof of equivalence in presence of complex transformations

  11. Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1

    E-Print Network [OSTI]

    Young, R. Michael

    Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1 , D. Richard. In this paper, we propose a new general approach for property verification for access control models via model checking. The approach defines a standardized structure for access control models, providing for both

  12. ASI Student Research Grant Application 2013-2014 Keep this Check List for your records.

    E-Print Network [OSTI]

    de Lijser, Peter

    handing in your Research Grant Application to ASI Leader and Program Development, TSU 269, please check to spending funds. 3. Recipients must submit a Grant Compliance Report to ASI Leader and Program Development1 ASI Student Research Grant Application 2013-2014 Keep this Check List for your records. Before

  13. Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with

    E-Print Network [OSTI]

    Platzer, André

    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

  14. A Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

    E-Print Network [OSTI]

    Boyer, Edmond

    and complexity of system on chip (SoC) designs. Powerful formal verification methods have been playing, model checking for complex designs may be beyond the power of available tools and computing resourceA Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

  15. IN-PLANE BANDPASS REGULATION CHECK VALVE IN HEAT-SHRINK PACKAGING FOR DRUG DELIVERY

    E-Print Network [OSTI]

    Meng, Ellis

    IN-PLANE BANDPASS REGULATION CHECK VALVE IN HEAT-SHRINK PACKAGING FOR DRUG DELIVERY R. Lo and E. Meng University of Southern California, Los Angeles, California, USA ABSTRACT The first check valve valve design and these results were confirmed experimentally. The valve regulates flow between 150

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

    E-Print Network [OSTI]

    Knowles, David William

    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

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

    E-Print Network [OSTI]

    Wong, Tan F.

    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

  18. Checking pi-Calculus Structural Congruence is Graph Isomorphism V. Khomenko , R. Meyer,

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    . Khomenko , R. Meyer, TECHNICAL REPORT SERIES No. CS-TR-1100 May, 2008 #12;TECHNICAL REPORT SERIES No. CS and Roland Meyer Abstract We show that the problems of checking pi-Calculus structural congruence (pi, England. #12;Bibliographical details KHOMENKO, V., MEYER, R. Checking pi-Calculus Structural Congruence

  19. Approximate model checking of stochastic hybrid systems , J.-P. Katoen

    E-Print Network [OSTI]

    Abate, Alessandro

    -room heating system. 1 Introduction Stochastic hybrid systems are a broad and widely applicable classApproximate model checking of stochastic hybrid systems A. Abate , J.-P. Katoen , J. Lygeros , and M. Prandini Abstract A method for approximate model checking of stochastic hybrid systems

  20. Checking Your Blood Sugar The only way to be sure your blood sugar is "just right" is to

    E-Print Network [OSTI]

    Checking Your Blood Sugar The only way to be sure your blood sugar is "just right" is to check it. Your blood sugar can be high and you may feel fine. If your blood sugar is high, it is damaging your blood vessels and hurting your body, even if you feel fine. #12; How can you check your blood sugar? One

  1. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security

    E-Print Network [OSTI]

    Abi-Antoun, Marwan

    Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security Marwan Abi Science Carnegie Mellon University Pittsburgh, PA 15213 Center for Software Excellence Abstract Threat Foundation. #12;Keywords: Threat modeling, data flow diagrams, reflexion models, architecture-level security

  2. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security

    E-Print Network [OSTI]

    Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security Marwan Abi Science Carnegie Mellon University Pittsburgh, PA 15213 # Center for Software Excellence Abstract Threat Foundation. #12; Keywords: Threat modeling, data flow diagrams, reflexion models, architecturelevel security

  3. Checking Design Constraints at Run-time Using OCL and AspectJ

    E-Print Network [OSTI]

    Cheon, Yoonsik

    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

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

    E-Print Network [OSTI]

    Gurvits, Leonid

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

  5. See What the Astronauts Saw Check out photographs of Apollo missions to the

    E-Print Network [OSTI]

    See What the Astronauts Saw Check out photographs of Apollo missions to the Moon throughout the 1st rock within the wall near the bronze Moon model. It was retrieved by Apollo 15 astronauts. What does

  6. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual Siteof Energy 2,AUDITCaliforniaWeifangwiki Home Jweers's picture Submitted by Jweers(88)

  7. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup |JilinLuOpenNorthOlympia Green FuelsperCivicVersion 2 is Live!OpenEI

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

    SciTech Connect (OSTI)

    Oji, L. N.

    2013-03-07T23:59:59.000Z

    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.

  9. SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check

    E-Print Network [OSTI]

    Sirianni, Marco

    1 SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check A. M. Koekemoer, S. Gonzaga, L is potentially susceptible to significant decreases as a result of contaminants deposited on the cold CCD windows intensive monitoring of this contamination using the F170W filter, to ensure that the throughput never

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

  11. PERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING

    E-Print Network [OSTI]

    Boyer, Edmond

    of the plant with a timed discrete model of the controller. We will also show, using a basic examplePERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING Bruno Denis (1 Systems (DES) and Hybrid Dynamic Systems (HDS) are quite substantial, especially as regards the controller

  12. MetaGame: An Animation Tool for Model-Checking Games

    E-Print Network [OSTI]

    Müller-Olm, Markus

    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

  13. MetaGame: An Animation Tool for ModelChecking Games

    E-Print Network [OSTI]

    Müller-Olm, Markus

    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

  14. Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness Melanie Dulong de. This research presents a taxonomy of contractual and technical restrictions applicable to databases in life to integrate facilitate innovation and how this openness can be achieved. The taxonomy describes technical

  15. A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded Systems

    E-Print Network [OSTI]

    Gupta, Rajesh

    A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded, and laptops, controlling power dissipation is an important system design issue [2]. This is either because enforced at the system level. In [3], a system modeling ap- proach for dynamic power management strategy

  16. Model-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens

    E-Print Network [OSTI]

    Ryan, Mark

    of sophisticated access control systems, such as those which can be described using our model, is indirect pathsModel-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens July 9, 2004 Abstract We present a model of access control which provides fine-grained data-dependent control

  17. Probabilistic Model Checking and PowerAware Computing Marta Kwiatkowska Gethin Norman David Parker

    E-Print Network [OSTI]

    Oxford, University of

    operating system control, can be switched either on and off or between several power states of varying powerProbabilistic Model Checking and PowerAware Computing #3; Marta Kwiatkowska Gethin Norman Davidaware computing aims either to maximise the per formance of a system under certain constraints on its power

  18. Probabilistic Model Checking and Power-Aware Computing Marta Kwiatkowska Gethin Norman David Parker

    E-Print Network [OSTI]

    Oxford, University of

    operating system control, can be switched either on and off or between several power states of varying powerProbabilistic Model Checking and Power-Aware Computing Marta Kwiatkowska Gethin Norman David Parker-aware computing aims either to maximise the per- formance of a system under certain constraints on its power

  19. Check our website at: library.queensu.ca/research/guide/genealogy LIBRARY LOCATIONS & ACRONYMS

    E-Print Network [OSTI]

    Abolmaesumi, Purang

    GENEALOGY Check our website at: library.queensu.ca/research/guide/genealogy LIBRARY LOCATIONS & ACRONYMS SL Stauffer Library OGS Ontario Genealogical Society Docs Government Documents, Stauffer Library) Kingston Public Library Genealogy Information: www.kfpl.ca/ and http://www.kfpl.ca/genealogy

  20. A SingleQuery BiDirectional Probabilistic Roadmap Planner with Lazy Collision Checking

    E-Print Network [OSTI]

    LaValle, Steven M.

    1 A SingleQuery BiDirectional Probabilistic Roadmap Planner with Lazy Collision Checking Gildardo probabilistic roadmap (PRM) planner that is: singlequery --it does not precompute a roadmap, but uses the two the robot's free space by concurrently building a roadmap made of two trees rooted at the query

  1. TCTL model-checking of Time Petri Nets Hanifa Boucheneb1

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Verification of concurrent systems is a complex task that requires powerful models and efficient analysis tech- niques. Model checking is one of the most popular verification techniques of concurrent systems verification of properties of real-life systems. In this paper, we consider subscript TCTL for TPN (TPN

  2. Real-time system verification techniques based on abstraction/deduction and model checking

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Real-time system verification techniques based on abstraction/deduction and model checking Eun in or- der to obtain a powerful and highly automatic verification environment for real-time systems. One-Young.Kang@loria.fr Abstract. Our research focuses on verification techniques for real-time systems based on predicate

  3. VLSI implementation of encoder and decoder for low-density parity-check codes

    E-Print Network [OSTI]

    Sivakumar, Suresh

    2001-01-01T23:59:59.000Z

    The aim of this research is to implement an encoder and a message-passing decoder for low-density parity-check codes in hardware. The desired data rate is 44.8 Mbps and the channel is an Additive White Gaussian Noise(AWGN) channel. The effect...

  4. Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1,

    E-Print Network [OSTI]

    Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1, J.P. Rheault,1 light is "leaked" through a closed CCD shutter. We find that by orienting the actuator towards the CCD 1 in 250,000 at most. I. INTRODUCTION Light-tightness is an important quality in shutters. Poor

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

    E-Print Network [OSTI]

    Pasareanu, Corina

    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

  6. Library hours vary by semester; Check lib.usf.edu After midnight, USF ID required

    E-Print Network [OSTI]

    Meyers, Steven D.

    Library hours vary by semester; Check lib.usf.edu After midnight, USF ID required lib.usf.edu (813? To learn how to: Integrate the library into Canvas, Invite a librarian to join your course's Canvas site, or Request a tailored research guide or library research assignment, Contact: Susan Silver | ssilver

  7. A cost-effective mechanism for Cloud data reliability management based on proactive replica checking

    E-Print Network [OSTI]

    Yang, Yun

    A cost-effective mechanism for Cloud data reliability management based on proactive replica for managing the data reliability would incur huge storage cost. To address this issue, in this paper we present a novel cost-effective data reliability management mechanism named PRCR, which proactively checks

  8. PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    technologies in manufacturing automation but they have not been specifically intended for industrial controlPERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING Daniel Witsch networks are promising for the harmonization of the communication technologies in manufacturing automation

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

    E-Print Network [OSTI]

    Doran, Simon J.

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    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

  12. 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 word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of dif- ferent SMT solvers

  13. 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 by encoding word-level information in theories richer than propositional logic and using SMT solvers for the gener- ated verification conditions. Here, we investigate the application of different SMT solvers

  14. An Optimization Approach for Effective Formalized fUML Model Checking

    E-Print Network [OSTI]

    Doran, Simon J.

    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

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

    E-Print Network [OSTI]

    Manolios, Panagiotis "Pete"

    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

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

    E-Print Network [OSTI]

    Beame, Paul

    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

  17. Check-list for recruitment and registration of PhD students at ICM Persons responsible

    E-Print Network [OSTI]

    Uppsala Universitet

    Check-list for recruitment and registration of PhD students at ICM Persons responsible of the Department and the Departmental Board. Guidelines Each PhD student should have at least two supervisors. One education for registration of PhD studenst. At least one of the supervisors must be a docent. To qualify

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

    E-Print Network [OSTI]

    Selmic, Sandra

    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

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

    SciTech Connect (OSTI)

    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

    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.

  20. Bounded Model Checking of Multi-threaded Software using SMT solvers

    E-Print Network [OSTI]

    Cordeiro, Lucas

    2010-01-01T23:59:59.000Z

    The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an extension of the ESBMC model checker to support the verification of multi-threaded software with shared variables and locks using bounded model checking (BMC) based on Satisfiability Modulo Theories (SMT). We describe three approaches to model check multi-threaded software and our modelling of the synchronization primitives of the Pthread library. In the lazy approach, we generate all possible interleavings and call the BMC procedure on each of them individually, until we either find a bug, or have systematically explored all interleavings. In the schedule recording approach, we encode all possible interleavings into one single formula and then exploit the high speed of the SMT solvers. In the underapproximation-widening approach, we reduce the state space by abstracting the number of state variables and interleavings from the proofs o...

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

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Bordenstein, Seth

    Tuesday, June 24 P. M. noon - 4:30 BEAN Registration/Check-in 5:00 - 7:00 CAR Dinner 7:30 PLC Welcome Gathering 8:30 BEAN Lead Chaperone/Conductor/Interns mtg. 10:00 BEAN Lights out Wednesday, June 25:45 PLC Rehearsal II 5:00 - 6:30 CAR Dinner 7:00 9:00 CLC Sharing Our Songs Concert I 9:15 9:45 BEAN

  3. Model-Checking the Higher-Dimensional Modal mu-Calculus

    E-Print Network [OSTI]

    Lange, Martin; 10.4204/EPTCS.77.6

    2012-01-01T23:59:59.000Z

    The higher-dimensional modal mu-calculus is an extension of the mu-calculus in which formulas are interpreted in tuples of states of a labeled transition system. Every property that can be expressed in this logic can be checked in polynomial time, and conversely every polynomial-time decidable problem that has a bisimulation-invariant encoding into labeled transition systems can also be defined in the higher-dimensional modal mu-calculus. We exemplify the latter connection by giving several examples of decision problems which reduce to model checking of the higher-dimensional modal mu-calculus for some fixed formulas. This way generic model checking algorithms for the logic can then be used via partial evaluation in order to obtain algorithms for theses problems which may benefit from improvements that are well-established in the field of program verification, namely on-the-fly and symbolic techniques. The aim of this work is to extend such techniques to other fields as well, here exemplarily done for process...

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

    SciTech Connect (OSTI)

    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

    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.

  5. Effective Date: 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]

    Effective Date: Revision- Check the JPSS MIS Server at https-00043 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https SDR ATBD 474-00043 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  6. 1. Check Equipment Reservations in Coral to ensure that you reserved the correct machine, in the correct facility, for the correct date. Another user may

    E-Print Network [OSTI]

    Reif, Rafael

    1. Check Equipment Reservations in Coral to ensure that you reserved the correct machine to honor them, if this is the case. 2. Engage the tool in Coral for the equipment that you are about to use protectors and acid gloves. 5. Perform pre-check of wet bench 1. Check the Coral indicator LED in the upper

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

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

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

    E-Print Network [OSTI]

    Ping, Li

    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

  10. Effective Date: September 19, 2012 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]

    Effective Date: September 19, 2012 Revision Check the JPSS MIS Server at https-00323 Effective Date: September 19, 2012 Revision i Check the JPSS MIS Server at https: September 19, 2012 Revision ii Check the JPSS MIS Server at https

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

    SciTech Connect (OSTI)

    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

    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.

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

    E-Print Network [OSTI]

    K. H. Ho; H. F. Chau

    2008-07-14T23:59:59.000Z

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

  13. How to check quantum mechanics independently (Reply to arXiv:1505.04293)

    E-Print Network [OSTI]

    Yuri I. Ozhigov

    2015-06-17T23:59:59.000Z

    This is the reply to the paper of Andrei Khrennikov arXiv:1505.04293 in which he expresses dissatisfaction with that the rough data in quantum experiments is not easily available and compares it with the open rough data in genetics. I try to explain why quantum experiments rough data is closed and why it differs radically from the biological. I also tried to answer the more thorny issue: is it possible to check quantum mechanics independently of other humans, e.g. trusting nobody.

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

    SciTech Connect (OSTI)

    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

    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.

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

    E-Print Network [OSTI]

    Ching-Yi Lai; Chung-Chin Lu

    2007-12-02T23:59:59.000Z

    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.

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

    Weiblen, George D

    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

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

    E-Print Network [OSTI]

    Prabhakar, Abhiram

    2001-01-01T23:59:59.000Z

    &, randomly constrn(t(&d panty-check inatrix at, thv, d&x o&1&&r can hc prohil&it. ivc in somr. applicatio&is. &Vh(:n a systvn& has a svt. of &liffcr&&nt LDI'(, ' codv&n each of t, hc parity-vhvrk matri?s nc&. 'd t, o hv, storvd in the rcceivcr. Anot h& r...)(Lkc(vtr, k)) L=l, k fr ('2. 1fi) Vr stprr(L, L(Tm )) = g srpn(LL, (l:r&, .)) k=1 kgr ('2. 17) Thc Eq. 2. 17 must hv. vomput&. &1 for a111=1. 2. p ? 1 and an cfficicnt, approach is nscd. First rkc fin&1 two &tuarititi&ls i&)1 arid Sl givvrl )ly Pg k...

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

    E-Print Network [OSTI]

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

    2014-01-01T23:59:59.000Z

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

  19. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In this context, SAT-based bounded model checking has been successfully applied to discover subtle errors, but for larger applications, it often suffers from the state space explosion problem. This paper describes a new approach called continuous verification to detect design errors as quickly as possible by looking at the Software Configuration Management (SCM) system and by combining dynamic and static verification to reduce the state space to be explored. We also give a set of encodings that provide accurate support for program verification and use different background theories in order to improve scalability and precision in a completely automatic way. A case study from the telecommunications domain shows that the proposed approach improves the error-detection capability and reduces the overall verification time by...

  20. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability

    E-Print Network [OSTI]

    Bersani, Marcello M; Frigeri, Achille; Pradella, Matteo; Rossi, Matteo

    2010-01-01T23:59:59.000Z

    An important problem that arises during the execution of service-based applications concerns the ability to determine whether a running service can be substituted with one with a different interface, for example if the former is no longer available. Standard Bounded Model Checking techniques can be used to perform this check, but they must be able to provide answers very quickly, lest the check hampers the operativeness of the application, instead of aiding it. The problem becomes even more complex when conversational services are considered, i.e., services that expose operations that have Input/Output data dependencies among them. In this paper we introduce a formal verification technique for an extension of Linear Temporal Logic that allows users to include in formulae constraints on integer variables. This technique applied to the substitutability problem for conversational services is shown to be considerably faster and with smaller memory footprint than existing ones.

  1. 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 of the zero block, and is assumed to be publicly known data for verification. ISO/IEC 9797-1:2011 illustrates check value with the ISO/IEC 9797-1 MACs. Keywords: ANSI X9.24-1:2009, key check value, ISO/IEC 9797

  2. The Possibility of Checking the Equivalence Principle in a Null Gravitational Redshift by a Two-Resonator Laser System

    E-Print Network [OSTI]

    R. A. Daishev; Z. G. Murzakhanov; A. F. Skochilov

    2008-01-04T23:59:59.000Z

    A scheme of an optical detector is proposed for checking Einsteins equivalence principle (EEP) in a null gravitational redshift experiment and for testing methods for calculating the length of a resonator in a weak variable gravitational field by recording the variations of the difference frequency of resonators caused by lunisolar variations of the geopotential in a double or a two-resonator laser system.

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

    E-Print Network [OSTI]

    Müller-Olm, Markus

    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

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

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    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

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

    E-Print Network [OSTI]

    Wong, Tan F.

    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

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

    E-Print Network [OSTI]

    Alvarez-Cohen, Lisa

    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. Call 510-528-4052 or visit http://www.accrc.org. Recycle cardboard boxes. 1. Flatten your boxes

  7. SU-D-BRD-07: Automatic Patient Data Audit and Plan Quality Check to Support ARIA and Eclipse

    SciTech Connect (OSTI)

    Li, X; Li, H; Wu, Y; Mutic, S; Yang, D [Washington University School of Medicine, St. Louis, MO (United States)

    2014-06-01T23:59:59.000Z

    Purpose: To ensure patient safety and treatment quality in RT departments that use Varian ARIA and Eclipse, we developed a computer software system and interface functions that allow previously developed electron chart checking (EcCk) methodologies to support these Varian systems. Methods: ARIA and Eclipse store most patient information in its MSSQL database. We studied the contents in the hundreds database tables and identified the data elements used for patient treatment management and treatment planning. Interface functions were developed in both c-sharp and MATLAB to support data access from ARIA and Eclipse servers using SQL queries. These functions and additional data processing functions allowed the existing rules and logics from EcCk to support ARIA and Eclipse. Dose and structure information are important for plan quality check, however they are not stored in the MSSQL database but as files in Varian private formats, and cannot be processed by external programs. We have therefore implemented a service program, which uses the DB Daemon and File Daemon services on ARIA server to automatically and seamlessly retrieve dose and structure data as DICOM files. This service was designed to 1) consistently monitor the data access requests from EcCk programs, 2) translate the requests for ARIA daemon services to obtain dose and structure DICOM files, and 3) monitor the process and return the obtained DICOM files back to EcCk programs for plan quality check purposes. Results: EcCk, which was previously designed to only support MOSAIQ TMS and Pinnacle TPS, can now support Varian ARIA and Eclipse. The new EcCk software has been tested and worked well in physics new start plan check, IMRT plan integrity and plan quality checks. Conclusion: Methods and computer programs have been implemented to allow EcCk to support Varian ARIA and Eclipse systems. This project was supported by a research grant from Varian Medical System.

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

    SciTech Connect (OSTI)

    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

    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.

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

    Marsh, David

    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

  10. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup |JilinLu anMicrogreenMoon LakeMountainMunicipalRenewable

  11. MediaWiki: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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal Pwer Plant JumpMarysville, Ohio: Energy8429°, -88.864698°Mecosta County,New York: View New

  12. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal Pwer Plant JumpMarysville, Ohio: Energy8429°, -88.864698°Mecosta County,New York: ViewSidebar

  13. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup |JilinLu an Group JumpNewMassachusettsMayoOregon: Energy Resources

  14. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup |JilinLu an Group JumpNewMassachusettsMayoOregon: Energy Resourcesfrom

  15. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup |JilinLu an Group JumpNewMassachusettsMayoOregon: EnergyIpboptions Jump

  16. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup |JilinLu an Group JumpNewMassachusettsMayoOregon:

  17. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal Pwer PlantMunhall, Pennsylvania: Energy ResourcesOcean EnergyEnergy InformationNaknek,Nama

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

    E-Print Network [OSTI]

    Steiner, Thomas; Summers, Ed

    2013-01-01T23:59:59.000Z

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

  19. Evaluation of natural enemies of greenbug, Schizaphis graminum (Rondani), on sorghum using two approaches of the insecticidal check method

    E-Print Network [OSTI]

    Rao, Asha

    1996-01-01T23:59:59.000Z

    trends can be derived from this analysis. In correlation analyses, mean pest density and mean enemy densities are plotted versus time (Carter and Dixon 1982, Miller and Strichler 1984, Hawkins 1992). These plots illustrate the seasonal abundance... of The Insecticidal Check Method, (August 1996) Asha Rao, B. S. , University of Agricultural Sciences, Bangalore, India Co-Chairs of Advisory Coaanittee: Dr. Frank E. Gilstrap Dr. Gerald J. Michels, Jr. Enemy removal experiments and enemy trap experiments were...

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

    E-Print Network [OSTI]

    Oliver, Douglas L.

    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

  1. The Library is open 24/5 Fall & Spring Summer hours vary -check lib.usf.edu

    E-Print Network [OSTI]

    Meyers, Steven D.

    The Library is open 24/5 Fall & Spring Summer hours vary - check lib.usf.edu After midnight, USF ID.lib.usf.edu/guides Teaching a Course? Learn how to integrate the library into Canvas Place items on reserve using PRESTO! Contact the library's Reserve Team at reserves@lib.usf.edu or 813-974-4182 Invite a librarian to join your

  2. Effective Date: July 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]

    Effective Date: July 31, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS Snow Cover ATBD 474-00038 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  3. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS Earth Gridding 474-00028 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  4. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify-00047 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  5. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https-00030 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Active Fires 474-00030 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  6. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify-00046 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  7. Effective Date: July 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]

    Effective Date: July 31, 2011 Revision - Check the JPSS MIS Server at https-00053 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Geolocation ATBD 474-00053 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  8. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify ATBD 474-00045 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  9. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https Cloud Cover Layers 474-00044 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

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

    Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https3 474-00001-04-03 Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https External Vol 4 Pt3 474-00001-04-03 Effective Date: March 31, 2011 Revision - i Check the JPSS MIS Server

  11. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00029 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Total Column Ozone 474-00029 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

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

    Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https 8 474-00001-08 Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https External Vol 8 474-00001-08 Effective Date: March 31, 2011 Revision - i Check the JPSS MIS Server

  13. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00037 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https ST ATBD 474-00037 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  14. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00039 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Vegetation Index ATBD 474-00039 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  15. Effective Date: July 18, 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]

    Effective Date: July 18, 2011 Revision - Check the JPSS MIS Server at https 474-00001-07-01 Effective Date: July 18, 2011 Revision - Check the JPSS MIS Server at https External Vol 7 P1 474-00001-07-01 Effective Date: July 18, 2011 Revision - i Check the JPSS MIS Server

  16. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00049 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https AOT APSP 474-00049 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  17. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 22, 2011 Revision - Check the JPSS MIS Server at https ACO ATBD 474-00050 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

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

    Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https Vol 6 474-00001-06 Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https External Vol 6 474-00001-06 Effective Date: July 5, 2011 Revision - i Check the JPSS MIS Server at https

  19. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https ATBD 474-00042 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS CEPS COP ATBD 474-00042 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  20. Effective Date: August 13, 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]

    Effective Date: August 13, 2011 Revision - Check the JPSS MIS Server at https-00001-03 Effective Date: August 13, 2011 Revision - Check the JPSS MIS Server at https External Vol 3 474-00001-03 Effective Date: August 13, 2011 Revision - i Check the JPSS MIS Server

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

    Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https: July 5, 2011 Revision - 2 Check the JPSS MIS Server at https External Vol 5 474-00001-05 Effective Date: July 5, 2011 Revision - i Check the JPSS MIS Server at https

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

    SciTech Connect (OSTI)

    Tornero-Lpez, Ana M.; Guirado, Damin; Ruiz-Arrebola, Samuel [Servicio de Radiofsica y Proteccin Radiolgica, Hospital Universitario San Cecilio, E-18012 Granada (Spain)] [Servicio de Radiofsica y Proteccin Radiolgica, Hospital Universitario San Cecilio, E-18012 Granada (Spain); Perez-Calatayud, Jose [Servicio de Radioterapia, Unidad de Radiofsica, Hospital Universitario y Politcnico La Fe, E-46026 Valencia (Spain)] [Servicio de Radioterapia, Unidad de Radiofsica, Hospital Universitario y Politcnico La Fe, E-46026 Valencia (Spain); Simancas, Fernando; Lallena, Antonio M. [Departamento de Fsica Atmica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain)] [Departamento de Fsica Atmica, 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

    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.

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

    E-Print Network [OSTI]

    Webb, Peter

    's cooling system is scheduled to be on. Status Color Code: On In Progress Not started Building Name BuildingSt. Paul - West Bank District Heating-to-Cooling Conversion Plan Check the date your building # Date Central Cooling On Status Date Window A/C Units installed Status 19th ave ramp 217 N/A N/A N/A 21

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

    E-Print Network [OSTI]

    Webb, Peter

    system is scheduled to be on. Status Color Code: On In Progress Not started *** - Typically between May 1Health Sciences District Heating-to-Cooling Conversion Plan Check the date your building's cooling-15, as requested. Building Name Building # Date Central Cooling On Status Date Window A/C Units installed Status

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

    Webb, Peter

    East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system is scheduled to be on. Status Color Code: On In Progress Not started Building Name Building # Date Central Cooling On Status Date Window A/C Units installed Status 1425 University Ave. 127 1901 University Ave SE

  6. Carbon Nanotube Vias: A Reality Check Hong Li, Navin Srivastava, Jun-Fa Mao*, Wen-Yan Yin* and Kaustav Banerjee

    E-Print Network [OSTI]

    Carbon Nanotube Vias: A Reality Check Hong Li, Navin Srivastava, Jun-Fa Mao*, Wen-Yan Yin 200240, China Abstract This paper presents a comprehensive electrothermal analysis of single-walled (SWCNT) and multi-walled carbon nanotube (MWCNT) vias possibly the most imminent application of CNT

  7. 12:30 -12:45 p.m. Check-in and greetings 12:45 -12:55 p.m. Welcome and Announcements

    E-Print Network [OSTI]

    de Lijser, Peter

    :30 - 12:45 p.m. Check-in and greetings __________________________________________________________________________________________________ 12:45 - 12:55 p.m. Welcome and Announcements Vivek Mande California State University, Fullerton __________________________________________________________________________________________________ 1:00 - 1:40 p.m. Invited presentation Robert Knechel

  8. The University of Oklahoma Background Check Authorization (updated 02/05/2013) Hiring department completes this section. Incomplete information will delay the hiring process.

    E-Print Network [OSTI]

    Oklahoma, University of

    The University of Oklahoma Background Check Authorization (updated 02/05/2013) Hiring department Medical Resident Volunteer Other, Describe: APPLICANT MUST READ AND SIGN The University of Oklahoma to the Standard Pre-Employment Screening. I understand that the University of Oklahoma may utilize the services

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

    Kirschner, Denise

    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

  10. Reliability checks on the Indo-US Stellar Spectral Library using Artificial Neural Networks and Principal Component Analysis

    E-Print Network [OSTI]

    Harinder P. Singh; Manabu Yuasa; Nawo Yamamoto; Ranjan Gupta

    2005-12-21T23:59:59.000Z

    The Indo-US coud\\'{e} feed stellar spectral library (CFLIB) made available to the astronomical community recently by Valdes et al. (2004) contains spectra of 1273 stars in the spectral region 3460 to 9464 \\AA at a high resolution of 1 \\AA FWHM and a wide range of spectral types. Cross-checking the reliability of this database is an important and desirable exercise since a number of stars in this database have no known spectral types and a considerable fraction of stars has not so complete coverage in the full wavelength region of 3460-9464 \\AA resulting in gaps ranging from a few \\AA to several tens of \\AA. In this paper, we use an automated classification scheme based on Artificial Neural Networks (ANN) to classify all 1273 stars in the database. In addition, principal component analysis (PCA) is carried out to reduce the dimensionality of the data set before the spectra are classified by the ANN. Most importantly, we have successfully demonstrated employment of a variation of the PCA technique to restore the missing data in a sample of 300 stars out of the CFLIB.

  11. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version

  12. Effective Date: April 22, 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]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version

  13. Effective Date: July 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]

    Effective Date: July 31, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version

  14. Biennial Workshop on Digital Signal Processing for In-Vehicle Systems, Sep. 29-Oct. 2, 2013, Seoul, Korea Driver Mirror-Checking Action Detection Using Multi-Modal Signals

    E-Print Network [OSTI]

    Busso, Carlos

    are associated with the primary driving tasks (checking mirrors, monitoring speed, changing lines) or secondary are associated with the primary driving tasks (e.g., checking mirrors, monitoring speed, and changing lines extracted from various sensory signals that can be used to distinguish between normal and distracted driving

  15. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625govInstrumentstdmadapInactiveVisiting the TWPSuccessAlamosCharacterization of Selective BindingD.Charting

  16. GRACE at ONE-LOOP: Automatic calculation of 1-loop diagrams in the electroweak theory with gauge parameter independence checks

    E-Print Network [OSTI]

    G. Belanger; F. Boudjema; J. Fujimoto; T. Ishikawa; T. Kaneko; K. Kato; Y. Shimizu

    2006-04-18T23:59:59.000Z

    We describe the main building blocks of a generic automated package for the calculation of Feynman diagrams. These blocks include the generation and creation of a model file, the graph generation, the symbolic calculation at an intermediate level of the Dirac and tensor algebra, implementation of the loop integrals, the generation of the matrix elements or helicity amplitudes, methods for the phase space integrations and eventually the event generation. The report focuses on the fully automated systems for the calculation of physical processes based on the experience in developing GRACE-loop. As such, a detailed description of the renormalisation procedure in the Standard Model is given emphasizing the central role played by the non-linear gauge fixing conditions for the construction of such automated codes. The need for such gauges is better appreciated when it comes to devising efficient and powerful algorithms for the reduction of the tensorial structures of the loop integrals. A new technique for these reduction algorithms is described. Explicit formulae for all two-point functions in a generalised non-linear gauge are given, together with the complete set of counterterms. We also show how infrared divergences are dealt with in the system. We give a comprehensive presentation of some systematic test-runs which have been performed at the one-loop level for a wide variety of two-to-two processes to show the validity of the gauge check. These cover fermion-fermion scattering, gauge boson scattering into fermions, gauge bosons and Higgs bosons scattering processes. Comparisons with existing results on some one-loop computation in the Standard Model show excellent agreement. We also briefly recount some recent development concerning the calculation of mutli-leg one-loop corrections.

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

    E-Print Network [OSTI]

    Gunnam, Kiran Kumar

    2009-05-15T23:59:59.000Z

    : Co-Chairs of Committee, Gwan Choi Scott Miller Committee Members, Jiang Hu Duncan Walker Head of Department, Costas Georghiades December 2006 Major Subject: Computer Engineering iii ABSTRACT Area and Energy Efficient VLSI... Architectures for Low -Density Parity-Check Decoders Using an On-the-Fly Computation. (December 2006) Kiran Kumar Gunnam, M.S., Texas A&M University Co-Chairs of Advisory Committee: Dr. Gwan Choi Dr...

  18. 1. Go on top of the check-dam and survey the water-shed, i.e., the upstream part from which water ows into the storage.

    E-Print Network [OSTI]

    Sohoni, Milind

    TD 603 1. Go on top of the check-dam and survey the water-shed, i.e., the upstream part from which water ows into the storage. 2. What is the storage in the dam (in cu.m.)? 3. What is the length and depth of the dam? What is its structure and cost? How much time did it take to build the dam? 4. Where

  19. Geothermal Exploration Case Studies on OpenEI (Presentation)

    SciTech Connect (OSTI)

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

    2014-03-01T23:59:59.000Z

    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.

  20. SU-E-T-80: Comparison of Fluence-Based RapidArc QAs Using EPID and MapCHECK 2

    SciTech Connect (OSTI)

    Jin, H; Jesseph, F; Ahmad, S [Oklahoma Univ. Health Science Ctr., Oklahoma City, OK (United States)

    2014-06-01T23:59:59.000Z

    Purpose: To compare the Varian aS-1000 EPID imager to the isocentrically mounted MapCHECK 2 diode array for RapidArc QAs as a function of photon beam energy. Methods: A Varian TrueBeam STx with an aS-1000 digital imaging panel was used to acquire RapidArc QA images for 13 patient plans; each plan QA was performed at 6, 8, 10 and 15MV energies. The Portal Dose Image Prediction algorithm in the Varian Eclipse treatment planning system (TPS) was used to create the comparison image for the EPID acquisition. A Sun Nuclear MapCHECK 2 diode array on an isocentric mounting fixture with 5 cm water-equivalent buildup was also used for the RapidArc QAs. A composite dose plane was taken from the Eclipse TPS for comparison to the MapCHECK 2 measurements. A gamma test was implemented in the Sun Nuclear Patient software with 10% threshold and absolute comparison for both QA methods. The two-tailed paired t-test was employed to analyze the statistical significance between two methods at the 95% confidence level. Results: The average gamma passing rates were greater than 95% at 3%/3mm using both methods for all four energies. The average passing rates were within 2.5% and 1.1% of each other when analyzed at 2%/2mm and 3%/3mm conditions, respectively. The EPID passing rates were somewhat better than the MapCHECK 2 when analyzed at 1%/1mm condition; this difference decreased with increasing energy (9.1% at 6MV to 2.7% at 15MV). The differences were not statistically significant for all criteria and energies (p-value 0.05). Conclusion: EPID-based RapidArc QA results are comparable to MapCHECK 2 when using 3%/3mm criteria at all four energies. EPID-based QA shows potential for being the superior device under strict gamma criteria.

  1. SU-E-T-03: 3D GPU-Accelerated Secondary Checks of Radiation Therapy Treatment Plans

    SciTech Connect (OSTI)

    Clemente, F; Perez, C [Hospital Central de la Defensa Gomez Ulla, Madrid, Madrid (Spain)

    2014-06-01T23:59:59.000Z

    Purpose: Redundant treatment verifications in conformal and intensity-modulated radiation therapy techniques are traditionally performed with single point calculations. New solutions can replace these checks with 3D treatment plan verifications. This work describes a software tool (Mobius3D, Mobius Medical Systems) that uses a GPU-accelerated collapsed cone algorithm to perform 3D independent verifications of TPS calculations. Methods: Mobius3D comes with reference beam models for common linear accelerators. The system uses an independently developed collapsed cone algorithm updated with recent enhancements. 144 isotropically-spaced cones are used for each voxel for calculations. These complex calculations can be sped up by using GPUs. Mobius3D calculate dose using DICOM information coming from TPS (CT, RT Struct, RT Plan RT Dose). DVH-metrics and 3D gamma tests can be used to compare both TPS and secondary calculations. 170 patients treated with all common techniques as 3DCFRT (including wedged), static and dynamic IMRT and VMAT have been successfully verified with this solution. Results: Calculation times are between 35 minutes for 3DCFRT treatments and 1520 for most complex dMLC and VMAT plans. For all PTVs mean dose and 90% coverage differences are (1.120.97)% and (0.681.19)%, respectively. Mean dose discrepancies for all OARs is (0.641.00)%. 3D gamma (global, 3%/3 mm) analysis shows a mean passing rate of (97.8 3.0)% for PTVs and (99.03.0)% for OARs. 3D gamma pasing rate for all voxels in CT has a mean value of (98.51.6)%. Conclusion: Mobius3D is a powerful tool to verify all modalities of radiation therapy treatments. Dose discrepancies calculated by this system are in good agreement with TPS. The use of reference beam data results in time savings and can be used to avoid the propagation of errors in original beam data into our QA system. GPU calculations permit enhanced collapsed cone calculations with reasonable calculation times.

  2. [The Journal of Geology, 1999, volume 107, p. 000000] 1999 by The University of Chicago. All rights reserved. 0022-1376/1999/10706-0005$01.00 JG vol. 107, no. 6 1999 june Friday Sep 17 09:46 PM/990046/plm CHECKED

    E-Print Network [OSTI]

    Nebraska-Lincoln, University of

    :46 PM/990046/plm CHECKED GEOLOGICAL NOTES Lethal Sandslides from Eolian Dunes David B. Loope, Joseph A

  3. SU-E-T-223: Investigation of the Accuracy of Two-Dimensional Dose Distributions Measurement From High-Dose-Rate Brachytherapy Ir-192 Source Using Multiple-Diode-Array Detector (MapCheck2)

    SciTech Connect (OSTI)

    Taguenang, J; De La Fuente, T Herman; Ahmad, S; Ali, I [Oklahoma Univ. Health Science Ctr., Oklahoma City, OK (United States)

    2014-06-01T23:59:59.000Z

    Purpose: To investigate the dosimetric accuracy of multiple-diode-array detector (Mapcheck2) for high-dose-rate brachytherapy Ir-192 source. The two-dimensional (2D) dose distributions measured with MapCheck2 were validated with EBT2 Gafchromic film measurement and AAPM task-group- 43 (TG-43) modeling. Methods: 2D-dose distributions from Ir-192 source were measured with MapCheck2 and EBT2-films. MapCheck2 response was corrected for effects: directional dependence, diode and phantom heterogeneity. Optical density growth of the film was controlled by synchronized scanning of the film exposed to Ir-192 and calibration films exposed to 6 MV linac beams. Similarly, MapCheck2 response was calibrated to dose using 6 MV beams. An empirical model was developed for the dose distributions measured with Mapcheck2 that considered directional, diode and phantom heterogeneity corrections. The dose deposited in solid-state-detectors was modeled using a cavity theory model for the diode. This model was then validated with measurements using EBT2-films and calculations with TG-43. Results: The response of MapCheck2 has been corrected for different effects including: (a) directional dependence of 020% over angular range 0o90o, (b) phantom heterogeneity (3%) and (c) diode heterogeneity (9%). The corrected dose distributions measured with MapCheck2 agreed well with the measured dose distributions from EBT2-film and with calculations using TG-43 within 5% over a wide range of dose levels and rates. The advantages of MapCheck2 include less noisy, linear and stable response compared with film. The response of MapCheck2 exposed to 192Ir-source showed no energy dependence similar to its response to MV energy beam. Detection spatial-resolution of individual diodes was 0.80.8 mm2, however, 2DMapCheck2 resolution is limited by distance between diodes (7.07 mm). Conclusion: The dose distribution measured with MapCheck2 agreed well within 5% with that measured using EBT2-films; and calculations with TG- 43. Considering correction of artifacts, MapCheck2 provides a compact, practical and accurate dosimetric tool for measurement of 2D-dose distributions for brachytherapy Ir-192.

  4. Impact of a dermatology wiki website on dermatology education

    E-Print Network [OSTI]

    2015-01-01T23:59:59.000Z

    (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

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

  6. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTown ofNationwideWTEDBird, Idaho: EnergyWhitmanLinkButton Jump

  7. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 1112011 Strategic2 OPAM615_CostNSAR - T enAmountCammie Croft Senior Advisor,of Energy Games

  8. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to: navigation, searchOfRose Bend <StevensMcClellan,II Jump to:Inc MTI Jump

  9. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to: navigation, searchOfRose Bend <StevensMcClellan,II Jump to:Inc MTI

  10. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently Asked QuestionsDepartmentGas and|Hours(5-Unit) AreaEnergyofN E R G YEnergyof

  11. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal Pwer Plant JumpMarysville, Ohio: Energy8429°, -88.864698°Mecosta County,New York:

  12. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal Pwer Plant JumpMarysville, Ohio: Energy8429°, -88.864698°Mecosta County,New York: View

  13. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal Pwer Plant JumpMarysville, Ohio: Energy8429°, -88.864698°Mecosta County,New York:

  14. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup |JilinLu an Group JumpNewMassachusettsMayoOregon: Energy

  15. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup |JilinLu an Group JumpNewMassachusettsMayoOregon: EnergyIpboptions

  16. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over OurThe Iron SpinPrincetonUsingWhat is a “Shut-down”Whole AlgaeRateWhyWidesuccess

  17. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal Pwer Plant JumpMarysville,Missoula, Montana:Northeast Asia |NewInformation Montana

  18. Montana Total Maximum Daily Load Development Projects 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal Pwer Plant JumpMarysville,Missoula, Montana:Northeast AsiaAir|

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

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

    2014-01-01T23:59:59.000Z

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

  20. Are you getting an error message in UniFi Plus? (suggestion...check the auto-hint line!) In most cases, Unifi Plus does not prominently display error messages; instead, the error message will be

    E-Print Network [OSTI]

    Peak, Derek

    Are you getting an error message in UniFi Plus? (suggestion...check the auto-hint line!) In most cases, Unifi Plus does not prominently display error messages; instead, the error message and processing messages Keyboard shortcuts Instructions for accessing other blocks, windows or forms from

  1. As you know, water costs continue to rise, but you can do something to help yourself. Households can check their plumbing fixtures and irrigation systems for leaks. This checklist will

    E-Print Network [OSTI]

    . Households can check their plumbing fixtures and irrigation systems for leaks. This checklist will help you a certification program focused on water efficiency to ensure that your in-ground irrigation system is not leaking tape and a wrench. 8. Consult with an irrigation installer (WaterSense partner) who has passed

  2. Effective DateApril 22, 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]

    Record (EDR) and Ocean Surface Albedo Intermediate Product (IP) Algorithm Theoretical Basis Document.10. This document has been approved For Public Release. #12;JPSS VIIRS NHF EDR Ocean Surf Albedo IP ATBD 474 NHF EDR Ocean Surf Albedo IP ATBD 474-00036 Effective Date: April 22, 2011 Revision - i Check the JPSS

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

    Swaddle, John

    ) 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

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

    SciTech Connect (OSTI)

    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

    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.

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

    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

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

  6. Single cell analysis of G{sub 1} check points-the relationship between the restriction point and phosphorylation of pRb

    SciTech Connect (OSTI)

    Martinsson, Hanna-Stina [Department of Oncology-Pathology, Karolinska Institutet, CCK R8:04, KS 171 76 Stockholm (Sweden); Starborg, Maria [Department of Oncology-Pathology, Karolinska Institutet, CCK R8:04, KS 171 76 Stockholm (Sweden); Erlandsson, Fredrik [Department of Oncology-Pathology, Karolinska Institutet, CCK R8:04, KS 171 76 Stockholm (Sweden); Zetterberg, Anders [Department of Oncology-Pathology, Karolinska Institutet, CCK R8:04, KS 171 76 Stockholm (Sweden)]. E-mail: Anders.Zetterberg@onkpat.ki.se

    2005-05-01T23:59:59.000Z

    Single cell analysis allows high resolution investigation of temporal relationships between transition events in G{sub 1}. It has been suggested that phosphorylation of the retinoblastoma tumor suppressor protein (pRb) is the molecular mechanism behind passage through the restriction point (R). We performed a detailed single cell study of the temporal relationship between R and pRb phosphorylation in human fibroblasts using time lapse video-microscopy combined with immunocytochemistry. Four principally different criteria for pRb phosphorylation were used, namely (i) phosphorylation of residues Ser{sup 795} and Ser{sup 780} (ii) degree of pRb-association with the nuclear structure, a property that is closely related with pRb phosphorylation status, (iii) release of the transcription factor E2F-1 from pRb, and (iv) accumulation of cyclin E, which is dependent on phosphorylation of pRb. The analyses of individual cells revealed that passage through R preceded phosphorylation of pRb, which occurs in a gradually increasing proportion of cells in late G{sub 1}. Our data clearly suggest that pRb phosphorylation is not the molecular mechanism behind the passage through R. The restriction point and phosphorylation of pRb thus seem to represent two separate check point in G{sub 1}.

  7. Smog Check II Evaluation Part IV: Smog Check Costs and

    E-Print Network [OSTI]

    Denver, University of

    be in the range of $50 million to $100 million per year (given current gasoline prices). Direct Costs to Motorists if their vehicles fail. Gasoline savings offset some of the costs to owners of failing vehicles. Owners of older of pollution reductions. This estimate includes estimates of non-tailpipe hydrocarbon benefits and gasoline

  8. Checking Paper PMENA 2011 final

    E-Print Network [OSTI]

    Rachael Kenney

    2013-03-27T23:59:59.000Z

    hand and with the technology. ... not match one produced with technology? ... possible, this study was set in four high schools in the northeastern United States.

  9. Model Checking for Software Architectures

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Université

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

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

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

    2010-03-15T23:59:59.000Z

    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

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

    E-Print Network [OSTI]

    Leigh, David A.

    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

  12. Calling on a million minds for community annotation in WikiProteins

    E-Print Network [OSTI]

    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

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

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

    E-Print Network [OSTI]

    Koek, Frits

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

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

    E-Print Network [OSTI]

    Xu, Chen

    2011-10-21T23:59:59.000Z

    for PaP before the earthquake. ...................................................... 73 Figure 12. OSM for Haiti PaP as of 02/05/2010. ..................................................... 74 Figure 13. Total volunteers for Haiti OSM as of 01... contributions. ........................... 94 Figure 29. OSM users with their contributions. ....................................................... 95 Figure 30. Registered OSM user for Haiti project with nationalities. ...................... 96...

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

    E-Print Network [OSTI]

    Biuk-Aghai, Robert P.

    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

  16. Sandia Energy - Key Hydrogen Report Now Available on OpenEnergyInfo Wiki

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's PossibleRadiationImplementing Nonlinear757Kelley Ruehl Home Kelley Ruehl Kelley Ruehl

  17. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual SiteofEvaluatingGroup | Open EnergyInformationHorizon Fuel CellOpenEI

  18. Check for chirality in {sup 102}Rh

    SciTech Connect (OSTI)

    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

    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.

  19. Bisimulation, Model Checking and Other Colin Stirling

    E-Print Network [OSTI]

    Stirling, Colin

    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

  20. Model Checking for Software Architectures Radu Mateescu

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Universit

    ] 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

  1. INTEGRATED PEST MANAGEMENT CHECK LIST INTRODUCTION

    E-Print Network [OSTI]

    Mathis, Wayne N.

    , windows, water and heat sources and areas of potential insect activity. Are there cracks and/ or holes of pests present. Advantages to IPM Decreased use of chemical application will reduce risks to the health of staff members. Decreased use of chemical application will reduce the risk of deterioration

  2. NOTICEOFMAILING 0 Check here ifyou wish to

    E-Print Network [OSTI]

    Bandettini, Peter A.

    NATIONAL RESEARCH SERVICE AWARD INSTITUTIONAL TRAINING PROGRAMS P.T. 44; K.W. 1014004, 1014006 d National I Research National I n s t i t u t e o f Child Health and Human Development Index: NURSING RESEARCH, CHILD

  3. Bayesian Checking for Topic Models David Mimno

    E-Print Network [OSTI]

    Blei, David M.

    Princeton, NJ 08540 mimno@cs.princeton.edu David Blei Department of Computer Science Princeton University Princeton, NJ 08540 blei@cs.princeton.edu Abstract Real document collections do not fit the inde- pendence high likeli- hood to a held out set (Blei et al., 2003; Wallach et al., 2009). But this evaluation

  4. Model Checking ATL+ is Harder than It

    E-Print Network [OSTI]

    Zachmann, Gabriel

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

  5. Introducing Model Checking to Undergraduates Abhik Roychoudhury

    E-Print Network [OSTI]

    Roychoudhury, Abhik

    is mostly about mathematics which is of limited value for building (computer) systems. As a formal methods). In this year's International Conference on Software Engineering (ICSE), there was a panel on Formal Methods, an interesting analogy [1] was drawn with engineering undergraduates who reguarly #12;learn complex mathematical

  6. Natural Pipeline of America Check Presentation

    E-Print Network [OSTI]

    Unknown

    2011-08-17T23:59:59.000Z

    An archaeological investigation of approximately 1000 feet of a proposed 22,000 foot natural gas pipeline in southeastern Orange County, Texas was performed by Brazos Valley Research Associates of Bryan, Texas in August 2001. No archaeological sites...

  7. Heuristic Optimality Check and Solver Comparison

    E-Print Network [OSTI]

    2013-11-18T23:59:59.000Z

    Berg and Friedlander 2008; Becker et al. 2011; Yang et ...... construction is again included in the time measurements, and, as for Cplex, we use the dual simplex...

  8. Transfer Studen Checklis Admissio t UWM

    E-Print Network [OSTI]

    Saldin, Dilano

    choose to park at UWM's off-campus parking lot and take a free shuttle to campus. Contac th Career Develo

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

  10. Check Heat Transfer Surfaces | 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 onYouTube YouTube Note: Since the YouTube platformBuilding RemovalCSSDepartment of Energy5-4-20129Burner Air to

  11. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |Is Your Home asLCLSLaboratoryRowland

  12. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office511041clothAdvanced Materials Advanced. C o w l i t z CPlasma of the Rotating 2015 FAQ Useful Links

  13. Store, Forget, and Check: Using Algebraic Signatures to Check Remotely Administered Storage

    E-Print Network [OSTI]

    Schwarz, Thomas S. J.; Miller, Ethan L

    2006-01-01T23:59:59.000Z

    for network-attached storage. In Proceed- ings of the 2002trust in dis- tributed storage providers. In Proceedings ofanonymous information storage and retrieval system. Lecture

  14. 14/11/12 18.10Asbesto -Wikipedia Pagina 1 di 8http://it.wikipedia.org/wiki/Asbesto

    E-Print Network [OSTI]

    Sproston, Jeremy

    a seguire lo schema di Modello di voce - Minerale Fibre di amianto antofillite (immagine SEM) Asbesto Da+ 2Si8O22(OH)2 dal greco: "fiocco di lana", varietà fibrosa del minerale riebeckite Balangeroite (Mg

  15. Checking e-service consistency using Description Logics Luigi Dragone

    E-Print Network [OSTI]

    Rosati, Riccardo

    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

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

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

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

    see Figure 1. The VV is a torus-shaped double wall structure with shielding and cooling water between the shells. The basic vessel design is an all- welded structure. Only...

  18. Motion Planning with Sequential Convex Optimization and Convex Collision Checking

    E-Print Network [OSTI]

    North Carolina at Chapel Hill, University of

    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

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

  20. Using Probabilistic Model Checking for Dynamic Power Management

    E-Print Network [OSTI]

    Oxford, University of

    , 15, 18, 9] because of an increasing trend in the usage of portable, mobile, and hand-held electronic properties pertaining to bu#11;er sizes, delays, energy usage etc., for each derived strategy. Comparison: Discrete Time Markov Chains [2, 12], Continuous Time Markov Chains [15{17, 11], and Renewal Theory based

  1. Using Probabilistic Model Checking for Dynamic Power Management

    E-Print Network [OSTI]

    Oxford, University of

    of an increasing trend in the usage of portable, mobile, and hand-held electronic de- vices. These devices usually pertaining to buffer sizes, delays, energy usage etc., for each derived strategy. Comparison of various Time Markov Chains [15,16,17,11], and Renewal Theory based methods [21] to derive stochastic DPM

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

  3. A framework for the checking and refactoring of crosscutting concepts

    E-Print Network [OSTI]

    Shonle, Macneil Charles

    2009-01-01T23:59:59.000Z

    Engineering (Dubrovnik, Croatia, September 0307, 2007).Engineering (Dubrovnik, Croatia, Septem- ber 0307, 2007).Engineering (Dubrovnik, Croatia, September 0307, 2007).

  4. -1- The Simplex Method - Computational Checks for the Simplex ...

    E-Print Network [OSTI]

    gabi

    2005-07-25T23:59:59.000Z

    theoretical development of the simplex method and its dual all the time focusing on ... In this paper we describe the simplex method for the problem. ?. ?. ?. ?.

  5. Software Model Checking: The VeriSoft Approach Patrice Godefroid

    E-Print Network [OSTI]

    Rajamani, Sriram K.

    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

  6. Model Checking and Other Games \\Lambda Colin Stirling

    E-Print Network [OSTI]

    Stirling, Colin

    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

  7. Research Focus A caspase homolog keeps CED-3 in check

    E-Print Network [OSTI]

    Xue, Ding

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

  8. Instruction Guide Paying Vendors: Checking Vouchers for Errors

    E-Print Network [OSTI]

    Watson, Craig A.

    the Pay Terms on the voucher Changing the Vendor or Vendor address Vouchering a PO that have receipts by using the Find an Existing Voucher search page that will display the original voucher page. To navigate on Regular Entry, and then click on the Find an Existing Value tab a. Enter your Voucher ID number and click

  9. Directed Explicit-State Model Checking Stefan Leue

    E-Print Network [OSTI]

    Leue, Stefan

    -seat airbag, even though airbag had been software disabled ­ re-use of a bit in the assembler code suspected

  10. Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska

    E-Print Network [OSTI]

    Oxford, University of

    -specified quantitative properties. These could include, for example, "the proba- bility of an airbag failing to deploy

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

  12. Solving the Rehearsal Problem with Planning and with Model Checking

    E-Print Network [OSTI]

    Gregory, P.; Miller, A.

    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

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

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

  15. Model Checking Reconfigurable Processor Configurations for Safety Properties

    E-Print Network [OSTI]

    Kapur, Deepak

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

  16. A Reliability Odometer -Lemon Check Your Processor! Jayanth Srinivasan

    E-Print Network [OSTI]

    Adve, Sarita

    odometer. Much like the odometer found in automobiles, This work was performed while Jayanth Srinivasan proces- sor usage and store wear-out information. Every event in the processor's history would increment

  17. Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended

    E-Print Network [OSTI]

    Langmead, Christopher James

    -called native configuration. Unfortunately, there is no experimental technology that can provide atomic that the native structure is already known. The computational challenge is to find low energy pathways between in the field of structural biology. The protein's energy landscape is encoded sym- bolically using Binary

  18. Model checking For Improved Adaptive Behaviour Alice Miller

    E-Print Network [OSTI]

    Miller, Alice

    illustrate the power of this ap- proach by showing how a previous assumption about the system, gained though of the real system, for example, a non opti- mal sensor setup. In this paper, we describe a formal model, adaptive be- haviour, PROMELA. Abstract Closed loop systems are traditionally analysed using sim- ulation

  19. SDL versus C Equivalence Checking Malek Haroud1

    E-Print Network [OSTI]

    Biere, Armin

    System Technology Group Champ-des-filles 39, 1228 Geneva, Switzerland 2 Johannes Kepler University Institute for Formal Models and Verification Altenbergerstr. 69, 4040 Linz, Austria Abstract. We present of a WiFi Medium Access Controller (i.e.; IEEE 802.11) that has been derived from its original SDL

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

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

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

  3. Interoperability constraints and requirements formal modelling and checking framework

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    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

  4. Security Protection and Checking for Embedded System Integration against Buffer

    E-Print Network [OSTI]

    Sha, Edwin

    serious security problems for decades. More than 50 percent of today's widely exploited vulnerabilities in the early days is the Internet worm in 1988 that made use of buffer overflow vulnerabilities in fingerd, and their variations which exploited known buffer overflow vulnerabilities in the Microsoft Index Service DLL. The two

  5. Laboratory Personnel Safety Check List Employee/Student Name_________________________________ Date_______________

    E-Print Network [OSTI]

    Thirumalai, Devarajan

    . _______ Have the locations of the Hazardous Waste Wall Chart and Hazardous Waste Manual been identified in the laboratory? 2. _______ Has the PI/Lab Supervisor discussed all hazardous components of the research? a care providers of the hazardous substances used in the laboratory during each medical visit? 5

  6. Check here if a revision PROGRAM OF STUDY FORM GRADUATE

    E-Print Network [OSTI]

    Crowston, Kevin

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

  7. Architectural Assertions: Checking Architectural Constraints at Run-Time

    E-Print Network [OSTI]

    Cheon, Yoonsik

    of Computer Science The University of Texas at El Paso 500 West University Avenue El Paso, Texas 79968-0518, U The University of Texas at Dallas Dallas, TX 75083 2 Department of Computer Science The University of Texas at El

  8. Quantifying the Parallelism in BPMN Processes using Model Checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    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

  9. Model Checking the Java Metalocking Iowa State University

    E-Print Network [OSTI]

    Basu, Samik

    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

  10. Checking the Data Sharing Strategies of Concurrent Systems Level Code

    E-Print Network [OSTI]

    Anderson, Zachary Ryan

    2010-01-01T23:59:59.000Z

    genome 8.58s intruder 2.26s kmeans 7 9.17s labyrinth 3.02sShelters RWLocks SGL STM (d) kmeans -m40 -n40 -t0.00001 (e)to the red-black tree. The kmeans benchmark implements a

  11. Approximation-based Tree Regular Model-Checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    @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

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

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

    simple toy problems) to months (for full-fledged real-size physics problems at the ITER scale). The code is typically run on a scientific computing cluster, and users will submit...

  13. TUMOUR IMMUNOLOGY Keeping virus-driven lymphomas in check

    E-Print Network [OSTI]

    Cai, Long

    ,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

  14. A Vectorless Framework for Power Grid Electromigration Checking

    E-Print Network [OSTI]

    Najm, Farid N.

    , instead of the traditional series model. Keywords Power grid, Electromigration, Verification, Redundancy, Opti- mization 1. INTRODUCTION Power grid verification has become an essential step in modern ignored when the series model was assumed. As a result, the lifetime predicted by the series system model

  15. Model Checking Uncertainty about Probability Jan van Eijck

    E-Print Network [OSTI]

    van Eijck, Jan

    not equate knowledge with certainty. #12;Lotteries A W-lottery l is a function from a set of worlds W to the set of pos- itive rationals, i.e., l : W Q+ . Two W-lotteries l, l are equivalent if for some q Q+ , l = (p q p) · l. We say that two W-lotteries l, l have the same scale if {l(w) | w W} = {l (w

  16. CHECK-IN CONDITION REPORT CONDITION UPON ENTERING

    E-Print Network [OSTI]

    Karonis, Nicholas T.

    & exterior 18. Oven 19. Broiler pan & broiler 20. Refrigerator - exterior 21. Refrigerator - interior 22. Refrigerator - shelves 23. Exhaust fan ____________________ ____________________ ____________________ Bathroom

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

    E-Print Network [OSTI]

    in this project is to provide an independ- ent assessment on the energy production based on well the energy production from one float and from a row of five floats for waves with different directions

  18. Checking and Comparison of WB-Graphs Peter B. Ladkin

    E-Print Network [OSTI]

    Ladkin, Peter B.

    as a running comparison. These graphs were produced by beginners at WBA, namely students in the first semester. It also caused the trauma death of the co-pilot, as well as the loss of consciousness of a passenger, who

  19. xlinkit: A Consistency Checking and Smart Link Generation Service

    E-Print Network [OSTI]

    Finkelstein, Anthony

    , 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

  20. Model Checking: Software and Beyond Edmund M. Clarke, Flavio Lerda

    E-Print Network [OSTI]

    Clarke, Edmund M.

    structure M is an infinite sequence of states = s0, s1, . . . such that s0 I and, for every i 0, (si, si+1) R. Given a path , i indicates the infinite path si, si+1, . . . and (i) indicates si. We assume. For exam- ple, the Kripke structure in Figure 1 has four states S0, S1, S2, and S3, corresponding

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

    Office of Environmental Management (EM)

    You Didn't Know About Electric Vehicles Zero to 60 in under five seconds. Concept to reality in just six weeks. Photo Gallery: 3D Printing Brings Classic Shelby Cobra to Life...

  2. TRACE CHECKING WITH REAL-TIME SPECIFICATIONS Rocco Deutschmann 1

    E-Print Network [OSTI]

    Oxford, University of

    Reichel 2 , Hans-Christian Reuss 3 1 Dresden University of Technology, Institute for Combustion Engines-mail: {fruth | reichel}@tcs.inf.tu-dresden.de 3 University of Stuttgart, Institute for Combustion Engines

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

    Energy Savers [EERE]

    More than half of those sites are in Russia, where almost 250 sites are already up and running. SLD also aims to have about 50 percent of global shipping traffic scanned by 2018,...

  4. Symbolic Model Checking using SAT procedures instead of BDDs

    E-Print Network [OSTI]

    per la Ricerca Scientifica e Tecnolgica (IRST) via Sommarive 18, 38055 Povo (TN), Italy cimatti@irst.itc and the specification holds. For exa

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

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

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

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

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

  10. COMMUNICATION ARTS OPTION Spring 2011 Advising Check-sheet

    E-Print Network [OSTI]

    Li, X. Rong

    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

  11. FILM ARTS OPTION Fall 2011 Advising Check-sheet

    E-Print Network [OSTI]

    Li, X. Rong

    (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

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

  13. 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 onYouTube YouTube Note: Since the YouTube|6721 FederalTexas Energy Incentive Programs,Energy Literacy EnergyW3-3 Advanced

  14. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over OurThe Iron Spin Transition in2, 2003Tool of tomorrow today Tool ofEnergy

  15. Model-Checking Systems with Unbounded Variables without Abstraction

    E-Print Network [OSTI]

    Pierre, Laurence

    Pierre2 1 CMI/Universite de Provence 39 Rue Joliot-Curie 13453 Marseille cedex 13 - France Magali.Contensin@cmi of a model-checker for the modal - calculus with a theorem prover, first theoretical results were reported

  16. annual health check: Topics by E-print Network

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

    or a privilege." Continued on page 3 ANNUAL HEALTH CARE FORECAST CONFERENCE Health Care Reform - When of politics and current health care reform. There, we were pleased to...

  17. NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness

    E-Print Network [OSTI]

    Necula, George

    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

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

    E-Print Network [OSTI]

    Provancher, William

    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

  19. Check Burner Air to Fuel Ratios | 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 onYouTube YouTube Note: Since the YouTube platformBuilding RemovalCSSDepartment of Energy5-4-20129Burner Air to Fuel

  20. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are8COaBulkTransmissionSitingProcess.pdf Jump to:ar-80m.pdf Jump to: navigation,camdirsept.pdf JumpNotify98.pdf

  1. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 1112011 Strategic2 OPAM615_CostNSAR - TProcuringDepartment of EnergyU.N.Realistic

  2. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for Renewable Energy:Nanowire Solar541,9337, 2011R - 445 CU - 2 3NewNew3 New EddyofNew

  3. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office511041clothAdvanced Materials Advanced. C o w l i t z CPlasma of the Rotating

  4. Unitarity check in gravitational Higgs mechanism | SciTech Connect

    Office of Scientific and Technical Information (OSTI)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItem Not Found Item Not Found The item youThe DiscoveryFuels andTechnicalboundaries

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

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn April 23, 2014, an OHASeptember 2010 | Department ofPlant | Department ofDepartment of

  6. Index of /research/alcator/documentation/20150629 Riv wat check

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHigh SchoolIn Other News CommunityPortal8 [ICO] Name Last629 Riv wat

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

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

    E-Print Network [OSTI]

    Pantaleone, Jim

    . 92011 Anchorage Neighborhood Health Center, Inc. 36580 Anchorage Project Access 19890 Anchorage Youth Slope Community Foundation 25089 Backcountry Alaska Rescue K-9 81013 Child Care Connection, Inc. 36880. 96802 Life Alaska Donor Services 93898 Pathway Counseling & Family Center 50737 Renewable Energy Alaska

  9. Check-In/Check-Out Evaluation Complete the arrival columns with explanations below part 7. You and your

    E-Print Network [OSTI]

    Olsen Jr., Dan R.

    . Shower, glass, curtain b. Tub, sink, towel racks c. Toilet, cabinets d. Plastic and tile surfaces e coverings c. Walls and ceilings d. Plastic and tile surfaces e. Electric fixtures, stove (burners, oven) f. Refrigerator, freezer, sink disposal g. Other: 2. Living Room a. Walls and ceiling b. Carpet or rug, window

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

    E-Print Network [OSTI]

    Lefvre, Laurent

    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

  11. TRL Computer System Users Guide

    SciTech Connect (OSTI)

    Engel, David W.; Dalton, Angela C.

    2014-01-31T23:59:59.000Z

    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.

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

  13. TV Energy Consumption Trends and Energy-Efficiency Improvement Options

    E-Print Network [OSTI]

    Park, Won Young

    2011-01-01T23:59:59.000Z

    TV Wikipedia. 2011b. Luminance, Luminous flux, Luminousen.wikipedia.org/wiki/Luminance http://en.wikipedia.org/Luminance

  14. SEDS

    Energy Science and Technology Software Center (OSTI)

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

  15. UnixShellPatterns by JimCoplien, AlanRobertson?, and GreggWonderly + MichaelLindner

    E-Print Network [OSTI]

    Schmidt, Douglas C.

    UnixShellPatterns by JimCoplien, AlanRobertson?, and GreggWonderly + MichaelLindner Lucent. In this web environmentpopularized by Ward Cunningham's WikiWikiWeb (http://c2.com/wiki), such naming has

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

  17. Composite Model Checking: Verification with TypeSpecific Symbolic Representations \\Lambda

    E-Print Network [OSTI]

    League, Christopher

    of them is a requirements specification for the control software of a nuclear reactor's cooling system, there has been a surge of progress in automated verification methods based on state exploration. In areas on software systems. One limitation is their inability to deal with infinitestate programs -- even those

  18. Application for Program Admission Please check: Iron Range Engineering Program Twin Cities Engineering Program

    E-Print Network [OSTI]

    Bates, Rebecca A.

    . Please email or mail to the appropriate address below: For IRE: 1001 Chestnut Street W, Virginia, MN Center N, Mankato, MN 56001 Phone: 507-389-2744 You may also Fax 507-389-1095 or email them to integrated

  19. A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking

    E-Print Network [OSTI]

    Tomita, Takashi; Yonezaki, Naoki; 10.4204/EPTCS.73.9

    2011-01-01T23:59:59.000Z

    Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively. In PCTL and CSL, the possibility of executions satisfying some temporal properties can be quantitatively represented by the probabilistic extension of the path quantifiers in their basic Computation Tree Logic (CTL), however, path formulae of them are expressed via the same operators in CTL. For this reason, both of them cannot represent formulae with quantitative temporal properties, such as those of the form "some properties hold to more than 80% of time points (in a certain bounded interval) on the path." In this paper, we introduce a new temporal operator which expressed the notion of frequency of events, and define probabilistic frequency temporal logic (PFTL) based on CTL\\star. As a result, we can easily represent the temporal properties of behavior in probabilistic systems. However, it is difficult to...

  20. CGISS Seismic Field Equipment Check List Version 1.4, Seismograph

    E-Print Network [OSTI]

    Barrash, Warren

    # = [ ] [ ] [ ] 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

  1. Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking

    E-Print Network [OSTI]

    Tip, Frank

    2009-03-26T23:59:59.000Z

    Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page validation cannot handle the dynamically generated ...

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

    E-Print Network [OSTI]

    Devanbu, Prem

    , 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

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

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

    E-Print Network [OSTI]

    Fink, Mark Lewis

    1996-01-01T23:59:59.000Z

    FACTORS CONTRIBUTING TO NEST PREDATION WITHIN HABITAT OF THE GOLDEN-CHEEKED WARBLER, TRAVIS COUNTY, TEXAS A Thesis by MARK LEWIS FINK Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment... of the requirements for the degree of MASTER OF SCIENCE December 1996 Major Subject: Wildlife and Fisheries Sciences FACTORS CONTRIBUTING TO NEST PREDATION WITHIN HABITAT OF THE GOLDEN-CHEEKED WARBLER, TRAVIS COUNTY, TEXAS A Thesis by MARK LEWIS FINK...

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

    E-Print Network [OSTI]

    Stirling, Colin

    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

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

    E-Print Network [OSTI]

    Stirling, Colin

    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

  7. NOTE: Check Local Areas for Specific Controlled Areas and RCA Boundaries Controlled Areas

    E-Print Network [OSTI]

    Wechsler, Risa H.

    Test Laboratory (high bay) LCLS BTH LCLS BTH Undulator Hall LCLS Electron Dump Room LCLS FEE LCLS Injector, Sector Laboratory (portions) ES&H Building, Electronics (portions) Heavy Fabrication Building LCLS Far Experimental Hall LCLS Near Experimental Hall LCLS Support Building LCLS X-ray Transport Tunnel Light Fabrication

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

    E-Print Network [OSTI]

    Leue, Stefan

    . A typical example for such a system is an airbag control system, which we have described in more detail

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

    E-Print Network [OSTI]

    Prabhakar, Abhiram

    2001-01-01T23:59:59.000Z

    =1 (2d8) Sl = P sr'&)n(L, . (r v)) ('2. l!)) and thon compntv. lt(Lvk(Ti&, )) = AI2 = Mt ? r)1(Lkv(2rr, )) (2 20) Sl sign(Lcb(rn, , )) = S2 s&gn(La, (xs, )) Finally &vc gct? L, s(xs, ) = S2 ~ ? 1* ~~'(312) c. Summary of Dc& oding Algorith...

  10. Techniques for Efficient Software Checking Jing Yu, Maria Jesus Garzaran, and Marc Snir

    E-Print Network [OSTI]

    Garzarn, Mara Jess

    in the number of transistors that can be inte- grated on a chip make processors more susceptible to radiation and inexpensive technology for fault detection. Software approaches can play a major role for this sector of the market because they need little hardware modifications and can be tailored to fit different require

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

  12. Measurement & verification reality check: A yawning gap between theory and practice

    E-Print Network [OSTI]

    2002-01-01T23:59:59.000Z

    Savings Performance Contracts (ESPC) projects. o The USindefinite quantity (IDIQ) ESPC program. o Federal Energy1. US Department of Defense ESPC Program a) US Army ESPC

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

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01T23:59:59.000Z

    the development of carbon capture and storage technologies2 transportation for carbon capture and storage: Sublimation2 leakage and seepage, in Carbon Capture and Sequestration

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

    E-Print Network [OSTI]

    Heinemann, Detlev

    . Stettler5 , P. Toggweiler5 , S. Bofinger6 , M. Schneider6 , G. Heilscher6 , D. Heinemann1 1 Oldenburg

  15. Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness

    E-Print Network [OSTI]

    De Rosnay, Melanie Dulong

    2012-01-01T23:59:59.000Z

    Molecular biology data are subject to terms of use that vary widely between databases and curating institutions. This research presents a taxonomy of contractual and technical restrictions applicable to databases in life science. It builds upon research led by Science Commons demonstrating why open data and the freedom to integrate facilitate innovation and how this openness can be achieved. The taxonomy describes technical and legal restrictions applicable to life science databases, and its metadata have been used to assess terms of use of databases hosted by Life Science Resource Name (LSRN) Schema. While a few public domain policies are standardized, most terms of use are not harmonized, difficult to understand and impose controls that prevent others from effectively reusing data. Identifying a small number of restrictions allows one to quickly appreciate which databases are open. A checklist for data openness is proposed in order to assist database curators who wish to make their data more open to make su...

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

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

    the target resolver to crash IMPACT: Triggering this defect will cause the affected server to exit with an error, denying service to recursive DNS clients that use that...

  17. Everyone loved creating the wall painting! Check out the mural in the big hallway.

    E-Print Network [OSTI]

    Baltisberger, Jay H.

    . For Kids: If desired, sprinkle with powdered sugar through a sifter or fine mesh strainer and garnish

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

  19. Georgia Institute of Technology -School of Chemistry and Biochemistry Lab Self-Inspection Check List

    E-Print Network [OSTI]

    Sherrill, David

    . Are hazardous waste containers and storage locations selected to avoid excess pressure build-up? 21. Are waste Hazard Floor Plan posted on the outside bulletin board for this lab? 3. Is the phone number for reporting containers? 7. Are fire extinguishers available, properly maintained and appropriate for hazards in the lab

  20. Monthly Theme Procedure for Laboratory Check-Out June 2009 Monthly Theme -June 2009

    E-Print Network [OSTI]

    Calgary, University of

    that laboratories and supporting areas are clean, free of hazardous materials, hazardous and non- hazardous wastes hazardous materials, hazardous and non-hazardous wastes, and unwanted equipment created or acquired, including supporting areas such as cold rooms, environmental chambers, storage areas and equipment, shared

  1. Simple and Flexible Revocation Checking with Privacy John Solis and Gene Tsudik

    E-Print Network [OSTI]

    -related contexts. The peer-based PGP/GPG [2, 8] format represents another popular approach. Since a certificate

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

    E-Print Network [OSTI]

    Abdelwahed, Sherif

    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

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

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01T23:59:59.000Z

    development of carbon capture and storage technologies inin Carbon Capture and Sequestration Integrating Technology,

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

    SciTech Connect (OSTI)

    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

    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.

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

    SciTech Connect (OSTI)

    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

    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.

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

    E-Print Network [OSTI]

    ; MATH 340) F 3 CBE 320 Chemical and Biological Reactor Design (CBE 201; CBE 330) S 3 BC 351 Principles BMS 300 Principles of Human Physiology (BZ 101 or 110 or LIFE 102; CHEM 103 or 107 or 111) F,S,SS 4

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

    E-Print Network [OSTI]

    .; PH 141) F,S 5 TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year Spring BC 351 Principles of Biochem. (BZ 110 or 120 or LIFE 102; CHEM 245 or 341 or 345) F,S,SS 4 BMS 300 Principles of Human Physiology (BZ 101; MATH 340) F 3 CBE 320 Chemical and Biological Reactor Design (CBE 310; CBE 330) S 3 CBE 330 Process

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

    E-Print Network [OSTI]

    Process Simulation (CBE 210; MATH 340) F 3 CBE 320 Chemical and Biological Reactor Design (CBE 201; CBE 332 Heat and Mass Transfer Fundamentals (CBE 330; CBE 331) S 3 BMS 300 Principles of Human Physiology Principles of Biochem. (BZ 110 or 120 or LIFE 102; CHEM 245 or 341 or 345) F,S,SS 4 AUCC

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

    E-Print Network [OSTI]

    Zachmann, Gabriel

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

  10. ErikaCheck,Washington Scientists at a military medical facility in

    E-Print Network [OSTI]

    from lung tissue dating from the First World War to sequence the virulence genes of the deadly Spanish

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

    E-Print Network [OSTI]

    Cheon, Yoonsik

    , 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

  12. Checking in on Our Council on Women and Girls' Mentoring Program

    Broader source: Energy.gov [DOE]

    At the end of March we announced the start of a new mentoring program through our Council on Women and Girls, which matches up female undergraduate students in the DC area with women employees in...

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

    E-Print Network [OSTI]

    Gering, Jon C.

    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

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

    Energy Savers [EERE]

    free loan of these or similar devices, including: The Ottawa Public Library in Ottawa, Canada; the Brown County Library in Green Bay, Wisconsin; the Westport, Connecticut Public...

  15. Check List 2007: 3(3) ISSN: 1809-127X

    E-Print Network [OSTI]

    Baker, Robert J.

    was collected east of the town of San Lorenzo, province of Esmeraldas, in northwestern Ecuador (0117' N, 7850

  16. Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation

    E-Print Network [OSTI]

    Fisher, Michael

    DesireIntention CAA Civil Aviation Authority COTS Commercial Off-The-Shelf FAA Federal Aviation Administration Hz pertinent to its intended use is presented to a regulatory body (such as the Federal Aviation Administration (FAA) in the USA or the Civil Aviation Authority (CAA) in the UK). Once the regulator is satisfied

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

    E-Print Network [OSTI]

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

    1994-01-01T23:59:59.000Z

    attached to a Federal Aviation Administration (FAA) ground tower at the airport. Figure 1. Locution of LuunSTAR urui NWS weuther stution puirs witlrin the stute of Texus 111 the case of the hygrothermometer display unit, both ch;mnels of 'ambient... condition, precipitation, thunderstorms, tornadoes. etc.) to aid in aviation reporting and to broadcast environmentzd conditions for public knowledge. Until the early 1990's many of these surface observing stations have relied on a collection...

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

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

    The public library in Esopus, New York, used Recovery Act funds to install two photovoltaic arrays expected to generate 31,200 kWh of electricity annually -- approximately 30...

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

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

    E-Print Network [OSTI]

    Sengupta, Souvik; Banerjee, Nilanjan

    2012-01-01T23:59:59.000Z

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

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

    DOE Patents [OSTI]

    Ohmacht, Martin

    2013-09-10T23:59:59.000Z

    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.

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

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01T23:59:59.000Z

    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

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

    SciTech Connect (OSTI)

    Oldenburg, C.M.

    2011-04-01T23:59:59.000Z

    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

  4. Tivoli Professional Certification e-Newsletter Check Out the Latest Tivoli Certifications and News

    E-Print Network [OSTI]

    & Certification Retirement -> Fund. of Enterprise Solutions Using IBM Tivoli Security 2007 Tivoli Storage Manager of the Month -> Shayne Gardener Promotions - Discounted Exams and Assessments -> "Early Bird" Specials & CERTIFICATION RETIREMENT For the latest news in exam withdrawals and certification retirement, go to: http

  5. Tivoli Professional Certification e-Check Out the Latest Tivoli Certifications

    E-Print Network [OSTI]

    Workshops -> IBM Tivoli Storage Manager V6.1 Administration Exam Withdrawal & Certification Retirement Rodriguez Promotions - Discounted Exams and Assessments -> "Early Bird" Specials for Newly Published Exams & CERTIFICATION RETIREMENT For the latest news in exam withdrawals and certification retirement, go to: http

  6. Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    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

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

    E-Print Network [OSTI]

    Mishra, Prabhat

    , 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

  8. AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts

    E-Print Network [OSTI]

    Leavens, Gary T.

    , Daniel M. Zimmerman, Marcio Cornelio, and Thomas Thum Universidade Federal de Pernambuco, PE, Brazil- ming [21] (AOP) mechanisms such as pointcuts and advice [20]. The idea has also been patented [28

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

    E-Print Network [OSTI]

    Oxford, University of

    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

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

    E-Print Network [OSTI]

    Oxford, University of

    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

  11. Sunday, June 13, 2010 Arrival and hotel check-in (Shilla Hotel and The Suites Hotel)

    E-Print Network [OSTI]

    OF A TAILOR-MADE CORYNEBACTERIUM GLUTAMICUM STRAIN FOR PRODUCTION OF DIAMINOPENTANE TOWARDS BIO PRODUCTION Jin Hwan Park (KAIST, Korea) 11:25 11:50 Lecture 4: SYSTEMS BIOLOGY OF AMINO ACID FERMENTATION

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

    Energy Savers [EERE]

    at DOE's National Renewable Energy Laboratory For years, many of you have found energy-saving tips about how to save money and energy at home, in your vehicle, and at work on...

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

    E-Print Network [OSTI]

    Moore, Paul A.

    : 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

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

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

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01T23:59:59.000Z

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

  16. A framework to create customised LHC analyses within CheckMATE

    E-Print Network [OSTI]

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

    2015-01-01T23:59:59.000Z

    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.

  17. A framework to create customised LHC analyses within CheckMATE

    E-Print Network [OSTI]

    Jong Soo Kim; Daniel Schmeier; Jamie Tattersall; Krzysztof Rolbiecki

    2015-06-02T23:59:59.000Z

    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.

  18. Toyota IS Business Planning All about PlanDoCheckAct

    E-Print Network [OSTI]

    Bhulai, Sandjai

    ........................................................................................................................................... 11 1.1 KAIZEN

  19. Unification of the a priori inconsistencies checking among assembly constraints in assembly sequence planning

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    sequence planning Christophe Perrard UMR CNRS 6174 AS2M Department, University, 54010 Nancy Cedex, France e-mail: eric.bonjour@univ-lorraine.fr Abstract Sequence planning generation is an important problem in assembly line design. A good assembly sequence can help to reduce

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

    E-Print Network [OSTI]

    Papalaskari, Mary-Angela

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

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

    E-Print Network [OSTI]

    Papalaskari, Mary-Angela

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

  2. iCheck: Computationally Combating "Lies, D--ned Lies, and Statistics"

    E-Print Network [OSTI]

    Li, Chengkai

    's adoption claim (from factcheck.org). During a Republican presidential candidates' de- bate in 2007 is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior

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

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01T23:59:59.000Z

    CO 2 emissions from fossil fuel energy, but it also carriesassociated with fossil fuel and nuclear energy production.primarily use fossil fuels to create affordable energy for

  4. Checking Formal Specifications under Simulation William Canfield \\Lambda E. Allen Emerson Avijit Saha

    E-Print Network [OSTI]

    Emerson, E. Allen

    Saha CAE+ Dept. of Computer Sciences International Business Machines 9130 Jollyville Road #340@caeplus.com emerson@cs.utexas.edu saha@austin.ibm.com Abstract ``Verification'' of large multiprocessor designs cur

  5. Experimentally feasible security check for n-qubit quantum secret sharing

    SciTech Connect (OSTI)

    Schauer, Stefan; Huber, Marcus; Hiesmayr, Beatrix C. [AIT Austrian Institute of Technology GmbH, Donau-City-Strasse 1, AT-1220 Vienna (Austria); Faculty of Physics, University of Vienna, Boltzmanngasse 5, AT-1090 Vienna (Austria); Research Center for Quantum Information, Institute of Physics, Slovak Academy of Sciences, Dubravska cesta 9, SK-84511 Bratislava (Slovakia) and Faculty of Physics, University of Vienna, Boltzmanngasse 5, AT-1090 Vienna (Austria)

    2010-12-15T23:59:59.000Z

    In this article we present a general security strategy for quantum secret sharing (QSS) protocols based on the scheme presented by Hillery, Buzek, and Berthiaume (HBB) [Phys. Rev. A 59, 1829 (1999)]. We focus on a generalization of the HBB protocol to n communication parties thus including n-partite Greenberger-Horne-Zeilinger states. We show that the multipartite version of the HBB scheme is insecure in certain settings and impractical when going to large n. To provide security for such QSS schemes in general we use the framework presented by some of the authors [M. Huber, F. Mintert, A. Gabriel, B. C. Hiesmayr, Phys. Rev. Lett. 104, 210501 (2010)] to detect certain genuine n-partite entanglement between the communication parties. In particular, we present a simple inequality which tests the security.

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

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 ECE 103 DC Circuit Analysis (MATH 160) S 3 Analysis I (ECE 202 c-; MATH 340 or MATH 345; PH142) F 3 ECE 312 Linear Systems Analysis II (ECE 311) S 3 ECE 102 Digital Circuit Logic F 4 MATH 161 Calculus for Physical Scientists II (MATH 124; MATH 160) F

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

    E-Print Network [OSTI]

    (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 ECE 103 DC Circuit Analysis (MATH 160) S 3 Year Fall 3rd Year Spring ECE 311 Linear Systems Analysis I (ECE 202; MATH 340 or MATH 345) F 3 ECE 312 Linear Systems Analysis II (ECE 311) S 3 ECE 341 Electromagnetics Fields and Devices I (ECE 202; PH 142

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

    E-Print Network [OSTI]

    (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 ECE 103 DC Circuit Analysis (MATH 160) S 3 TOTAL 15 TOTAL 15 3rd Year Fall 3rd Year Spring ECE 311 Linear Systems Analysis I (ECE 202; MATH 340 ECE 102 Digital Circuit Logic F 4 MATH 161 Calculus for Physical Scientists II (MATH 124; MATH 160) F

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

    E-Print Network [OSTI]

    (PREREQS) TERM CR BIOM 101 Intro to Biomedical Engineering F 3 ECE 103 DC Circuit Analysis (MATH 160) S 3 TOTAL 15 TOTAL 15 3rd Year Fall 3rd Year Spring ECE 311 Linear Systems Analysis I (ECE 202; MATH 340 or MATH 345) F 3 ECE 312 Linear Systems Analysis II (ECE 311) S 3 ECE 331 Electronics Principles I (ECE

  11. A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems

    E-Print Network [OSTI]

    Pace, Gordon J.

    and Gerardo Schneider2 1 Dept. of Computer Science and AI, University of Malta, Msida, Malta. 2 Dept

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

    E-Print Network [OSTI]

    Demouchy, Sylvie

    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

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

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01T23:59:59.000Z

    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

  14. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA group current C3EDepartment ofPrivileges |VulnerabilitiesCode |DisclosureElevated

  15. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently20,000 Russian NuclearandJunetrackEllen|July 14, 2014 Outdoor solar lights| Department

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

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01T23:59:59.000Z

    and environmental risks from energy production: A year-longaddition to the risks of the existing energy infrastructureto minimize HSE risk related to the world's existing energy

  17. INTELLIGENT PERFORMANCE CHECK OF PV SYSTEM OPERATION BASED ON SATELLITE DATA

    E-Print Network [OSTI]

    Heinemann, Detlev

    , shading by surrounding objects, or inverter errors lead to energy losses that can be high and costly method to avoid unnecessary energy losses and therefore prevents operators from decisive financial losses a technical description of the PV system once to the PVSAT-2 service. This description contains the major

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

    E-Print Network [OSTI]

    Adali, Tulay

    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

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

    E-Print Network [OSTI]

    Maryland, Baltimore County, University of

    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

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

    E-Print Network [OSTI]

    Zhou, Nan

    2008-01-01T23:59:59.000Z

    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

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

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01T23:59:59.000Z

    consequences in California Oil and Gas District 4 from 1991that killed 11 people. The oil and gas continued to flow out2 wells and pipelines with oil and gas analogues from which

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

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy Chinaof EnergyImpactOnSTATEMENT OF DAVIDTheJune 6,ADVANCEDman standing in front of

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

    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 onYouTube YouTube Note: Since the YouTube platformBuilding RemovalCSSDepartment of Energy5-4-20129Burner Air toit

  4. 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 DataDepartment of Energy Your Density Isn't YourTransport(FactDepartment ofLetter Report:40PMDepartment ofs oLetterExpositionSpaceEnergy

  5. Secretary Chu Checks In on Biomass Pilot-Scale Facility | 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 onYouTube YouTube Note: Since the.pdfBreakingMay 2015ParentsMiddle School

  6. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy ChinaofSchaefer To:Department ofOralGovernmentStandardsIdaho National LaboratoryDecades

  7. 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 DataDepartment of Energy Your Density Isn'tOrigin ofEnergy atLLC - FE DKT. 10-160-LNG - ORDER 2913 |Department ofProgram |

  8. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed offOCHCO2: Final EnvironmentalCounties, Idaho || Department:June 5,regardingEmployees giveEnd of

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

    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 DataDepartment of Energy Your Density Isn't YourTransport inEnergy June 6-7, 2013 Meeting FederalThorium, and

  10. Check Out the New Alternative Fuel Station Locator | 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China U.S. Department ofJuneWasteDepartmentUtilities in many Find Stations Plan a Route

  11. "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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed offOCHCO Overview OCHCOSystems AnalysisVOLUME I A1/19/10 Protocol onNE Researchof

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

    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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed off Energy.gov. Are you0 ARRAM-04-07CONFIGURATION CHANGEDepartmentEnergyit Easier. | Department

  13. Secretary Chu Checks In on Biomass Pilot-Scale Facility | 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 DataDepartment of Energy Your Density Isn'tOriginEducationVideo »Usage »DownloadSolarSequestration |FutureGenCarbon CaptureResearch

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

    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 DataDepartment of Energy Your Density Isn'tOriginEducationVideo »Usage »DownloadSolarSequestrationof the AmericasChallengesNuclear

  15. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch >Internship Program TheSiteEurekaWeekly User Schedule Print

  16. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China 2015of 2005UNSDepartmentFebruaryPhase|PotomacDepartment ofConduct

  17. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist. Category UC-lFederalFYRANDOMFailure Modes and Causes for Swing

  18. 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 onYouTube YouTube Note: Since the.pdfBreakingMayDepartmentTest for Pumping SystemDepartmentDepartmentOutages Nationwide

  19. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch >InternshipDepartment ofAugustDecember8th MeetingAllocation Programs

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

    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 onYouTube YouTube Note: SinceDevelopment | Department of EnergyEnergy 94: IBM MultipleFixation Attacks |Elevated