Sample records for union check cashing

  1. Determining Cropland Cash Rental Arrangements

    E-Print Network [OSTI]

    Dhuyvetter, Kevin C.; Kastens, Terry L.; Outlaw, Joe

    1999-06-23T23:59:59.000Z

    Determining Cropland Cash Rental Arrangements Kevin C. Dhuyvetter, Terry L. Kastens and Joe L. Outlaw* Many crop producers rely heavily on rented land in their farming operations. Crop land is typically rented in one of three ways: (1) cash rent; (2...

  2. University of Utah PETTY CASH FUND

    E-Print Network [OSTI]

    University of Utah PETTY CASH FUND REQUEST/CHANGE FORM INSTRUCTIONS: To request a creation of a NEW-21 of the University Policy and Procedures Manual, and hereby approve issuance of a petty cash fund to the above named PETTY CASH FUND, complete sections 1, 2, & 4 below. To MAKE CHANGES to an existing petty cash fund

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

  4. Financial Management: Cash vs. Accrual Accounting

    E-Print Network [OSTI]

    Klinefelter, Danny A.; McCorkle, Dean; Klose, Steven

    2008-10-17T23:59:59.000Z

    ) as of the beginning and end of the period. Danny Klinefelter, Dean McCorkle and Steven Klose* 2 The process yields an ?accrual adjusted? in- come statement. It differs from accrual income in that inventories may be valued at their current market value rather than... on grain sales. Table 1. Adjusting cash basis records to approximate accrual basis records. Cash basis Adjustments to cash basis Equals accrual basis Cash receipts ? Beginning inventories + Ending inventories ? Beginning accounts receivable + Ending...

  5. Solyndra Facts vs. Fiction: Cash Flow Modeling

    Broader source: Energy.gov [DOE]

    Questions have been raised about a quote selectively pulled from an Aug. 20, 2009 email to make it look like Solyndra would run out of cash by Sept. 2011. To be clear, the analysis addressed in that email did not refer to Solyndra’s corporate cash flow, but rather the cash flow for a subsidiary of Solyndra – the “Fab 2 Project Company.

  6. Oklahoma State University Policy and Procedures COLLECTIONS, DEPOSIT AND CONTROL OF CASH

    E-Print Network [OSTI]

    Veiga, Pedro Manuel Barbosa

    Oklahoma State University Policy and Procedures COLLECTIONS, DEPOSIT AND CONTROL OF CASH OR CHECKS RECEIVED IN THE NAME OF OKLAHOMA STATE UNIVERSITY 3-0331 ADMINISTRATION & FINANCE May 2008 POLICY AND STATE LAW 1.01 All collections made or receipts received in the name of Oklahoma State University (OSU

  7. BIIDSS GL Inquiry Reports CRSP CASH STATUS

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

    GENERAL SALT SEED- ROCKY DESERT LEDGER DESCRIPTION FUND LAKE SKADEE DOLORES MOUNTAIN SW TOTALS CASH 101002 PY UNDISBURSED RAF 131 - - - - 131 VAF - - - - - -...

  8. CASH SETTLEMENT & ACCOUNT TERMINATION FORM University of California, San Francisco

    E-Print Network [OSTI]

    Yamamoto, Keith

    CASH SETTLEMENT & ACCOUNT TERMINATION FORM University of California, San Francisco Complete TITLE (Please Print) Date I am decreasing a petty cash/change fund acct. I am terminating a petty cash account. I am terminating a change fund account. I am terminating a special cash account. 1. Cash Returned

  9. Two Essays on the Value of Cash

    E-Print Network [OSTI]

    Tippens, Timothy

    2012-10-19T23:59:59.000Z

    of the dollar: $1.00 of cash has a value of $1.27 when it is from operations, $0.80 when from financing, and $0.46 when from investing. Within the same source, the marginal value of an added dollar of cash holdings is significantly higher than the absolute...

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

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

  12. HSE (CASHES) management in Niger Delta seismic operations

    SciTech Connect (OSTI)

    Adepoju, O.J.

    1996-12-31T23:59:59.000Z

    3-D seismic acquisition surveys in the Niger Delta of Nigeria, are carried out under extremely arduous field conditions due to difficult terrain, dense vegetation, semi-manual mode of operation, wildlife and volatile communities. The vegetation is a combination of evergreen tropical rain forest in the land areas and mangrove in the swamp areas. Some parts of the delta are prone to high seasonal flooding. Seismic lines are laid out by manual cutting of brush using machetes and shot holes drilled semi-manually with pumps. In order to effectively carry out the operations with due regard to the people and environment, a Community Affairs, Safety, Health, Environment and Security (CASHES) Polio and management System which ensures that a hazards are identified, assessed. controlled, with an effective loop feedback mechanism was introduced and implemented. CASHES critical activities are community relations, field security, explosives handling, water transport/journey management, river crossings. weather, shallow gas blow-out, waste management, seasonal flooding and floating-seaweed (water hyacinth)/timber logs. Environmental Impact Assessment (EIA) studies arc essential at the initial planning stages. About 41 Hazard Registers and 177 Activity Specification Sheets are developed in a typical survey. About 85% of the labor workforce are recruited from the host communities to promote cordial relations. Extensive training is carried out to raise the standards of the new recruits. The implementation of the management system is cascaded down using simplified documentation (procedures, work tasks, checklists etc.) adapted to local conditions. Integrated CASHES audits (Premob, Minor, Major. Follow up) arc conducted to check the efficiency of the system with documents getting reviewed regularly to keep the system alive and capable of handling changes. With these in place, high potential incidents are reduced/eliminated.

  13. University of Florida Change, Petty Cash, and Research Stipend Funds

    E-Print Network [OSTI]

    Watson, Craig A.

    University of Florida Change, Petty Cash, and Research Stipend Funds New Fund Information - Petty for the stewardship of the University's cash and investments, including petty cash funds. We need assurance Cash Fund Department Name Fund Amount ($) Note to Custodian: Treasury Management is responsible

  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. Poker Cash Game: a Thermodynamic Description

    E-Print Network [OSTI]

    Javarone, Marco Alberto

    2015-01-01T23:59:59.000Z

    Poker is one of the most popular card games, whose rational investigation represents also one of the major challenges in several scientific areas, spanning from information theory and artificial intelligence to game theory and statistical physics. In principle, several variants of Poker can be identified, although all of them make use of money to make the challenge meaningful and, moreover, can be played in two different formats: tournament and cash game. An important issue when dealing with Poker is its classification, i.e., as a `skill game' or as gambling. Nowadays, its classification still represents an open question, having a long list of implications (e.g., legal and healthcare) that vary from country to country. In this study, we analyze Poker challenges, considering the cash game format, in terms of thermodynamics systems. Notably, we propose a framework to represent a cash game Poker challenge that, although based on a simplified scenario, allows both to obtain useful information for rounders (i.e., ...

  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. Cash Flow Projection for Operating Loan Determination

    E-Print Network [OSTI]

    Klinefelter, Danny A.; McCorkle, Dean

    2009-02-04T23:59:59.000Z

    Corkle* *Professor and Extension Economist and Extension Program Specialist?Economic Accountability, The Texas A&M System. CASH FLOW PROJECTION FOR OPERATING LOAN DETERMINATION Name ___________________________________________________ Address...-Sows 191,200 800 47,000 900 47,000 700 45,000 800 49,000 2 3 Crops: Wheat 52,500 26,500 26,000 3 4 Grain Sorghum 2,700 2,700 4 5 5 6 Distributions from cooperatives 400 400 6 7 Agricultural program payments 3,100 1,550 1,550 7 8 Commodity credit loans 8 9...

  18. Legal Issues Involving Cash Forward Grain Contracts

    E-Print Network [OSTI]

    McEowen, Roger A.

    1999-06-23T23:59:59.000Z

    requirement unclear and may be illegal under Commodity Future Trading Commission (CFTC) regulations that ban trade options (an off-exchange deriva- tive) on agricultural commodities. This has been a major issue since 1996 and the run-up in grain prices... the HTA con- tract and requiring the farmer to deliver, and others determining the contracts to be illegal under the CFTC ban. In general, HTA contracts will be upheld as cash-forward contracts if a court or arbitrator can determine that the con- tracts...

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

  20. University of Florida Change, Petty Cash, and Research Stipend Funds

    E-Print Network [OSTI]

    Watson, Craig A.

    University of Florida Change, Petty Cash, and Research Stipend Funds Request for New Fund DEPARTMENT INFORMATION FUND INFORMATION CHARTFIELD INFORMATION CONTACT INFORMATION Custodian Prepared by (if College name Amount requested ($) Type of fund Research stipendPetty cashChange What is the primary

  1. University of Florida Change, Petty Cash, and Research Stipend Funds

    E-Print Network [OSTI]

    Watson, Craig A.

    University of Florida Change, Petty Cash, and Research Stipend Funds New Fund Information for the stewardship of the University's cash and investments, including research stipend funds. We need assurance - Research Stipend Fund Department Name Fund Amount ($) Note to Custodian: Treasury Management is responsible

  2. REQUIRED DOCUMENTATION AND APPROVAL FOR CASH DISBURSEMENTS Disbursements to: Documentation** Approval***

    E-Print Network [OSTI]

    Baltisberger, Jay H.

    REQUIRED DOCUMENTATION AND APPROVAL FOR CASH DISBURSEMENTS Disbursements to: Documentation, Invoices, Documents must be original. Requests for cash to pay for supplies, etc. before they are purchased

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

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

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

  6. The Don-Kay-Clay Cash Foundation The Don-Kay-Clay Cash Foundation was established in 1997 to provide general and operating

    E-Print Network [OSTI]

    Rock, Chris

    The Don-Kay-Clay Cash Foundation The Don-Kay-Clay Cash Foundation was established in 1997 services. It was set up by Don and Kay Cash and their son, Clay, all graduates of Texas Tech University and is now a retired English teacher. Kay is the Secretary-Treasurer of the family foundation. Clay earned

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

  8. Infrastructure Analysis Tools: A Focus on Cash Flow Analysis (Presentation)

    SciTech Connect (OSTI)

    Melaina, M.; Penev, M.

    2012-09-01T23:59:59.000Z

    NREL has developed and maintains a variety of infrastructure analysis models for the U.S. Department of Energy. Business case analysis has recently been added to this tool set. This presentation focuses on cash flow analysis. Cash flows depend upon infrastructure costs, optimized spatially and temporally, and assumptions about financing and revenue. NREL has incorporated detailed metrics on financing and incentives into the models. Next steps in modeling include continuing to collect feedback on regional/local infrastructure development activities and 'roadmap' dynamics, and incorporating consumer preference assumptions on infrastructure to provide direct feedback between vehicles and station rollout.

  9. Geothermal loan guaranty cash flow model: description and users' manual

    SciTech Connect (OSTI)

    Keimig, M.A.; Rosenberg, J.I.; Entingh, D.J.

    1980-11-01T23:59:59.000Z

    This is the users guide for the Geothermal Loan Guaranty Cash Flow Model (GCFM). GCFM is a Fortran code which designs and costs geothermal fields and electric power plants. It contains a financial analysis module which performs life cycle costing analysis taking into account various types of taxes, costs and financial structures. The financial module includes a discounted cash flow feature which calculates a levelized breakeven price for each run. The user's guide contains descriptions of the data requirements and instructions for using the model.

  10. University of Florida Change, Petty Cash, and Research Stipend Funds

    E-Print Network [OSTI]

    Watson, Craig A.

    University of Florida Change, Petty Cash, and Research Stipend Funds Change to Existing Fund EXISTING FUND INFORMATION CHANGES TO FUND Complete all areas that are applicable for your fund request. CHANGE IN FUND LOCATION CHANGE IN CUSTODIANSHIP New Custodian InformationExisting Custodian Information

  11. A Thesis for the Degree of Master Design of Fair Tracing E-cash

    E-Print Network [OSTI]

    Kim, Kwangjo

    A Thesis for the Degree of Master Design of Fair Tracing E-cash System based on Blind Signature Tracing E-cash System based on Blind Signature #12;Design of Fair Tracing E-cash System based on Blind and Communications University A thesis submitted to the faculty of Information and Com- munications University

  12. On-Line Journal Tips and Refreshers Cash Receipt and Credit Card Journals

    E-Print Network [OSTI]

    Yamamoto, Keith

    On-Line Journal Tips and Refreshers Cash Receipt and Credit Card Journals Updated April 2009 Updated 04/30/2010 1 Cash Receipt and Credit Card Journals ­ Source Code 320 and 323 Purpose Cash Receipt more or once a week ­ whichever comes first. 2. Journals should be dated the date they are prepared

  13. 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 thought­state 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

  14. The PV Formula Justified Theorem 1 For a certain cash flow C1, C2, . . . , Cn,

    E-Print Network [OSTI]

    Lyuu, Yuh-Dauh

    - S and the call will expire worthless. · The loan is now X. · The net future cash flow is zero: 0 + (X. · The net future cash flow is again zero: -(S - X) + 0 + S - X = 0. c 2014 Prof. Yuh-Dauh Lyuu, National Taiwan University Page 203 #12;The Proof (concluded) · The net future cash flow is zero in either case

  15. Paver Program Oklahoma Memorial Union

    E-Print Network [OSTI]

    Oklahoma, University of

    Paver Program Oklahoma Memorial Union The UniversiTy of oklahoma Alumni Association Pave the Way in the Oklahoma Memorial Union Courtyard. Now you can. The UniversiTy of oklahoma Alumni Association 900 Asp Ave of Oklahoma is an equal opportunity institution. This brochure was printed at no cost to the taxpayers

  16. Cash flow analysis: a tool for the dairy farmer

    E-Print Network [OSTI]

    McMorrough, Mark D

    1985-01-01T23:59:59.000Z

    in the prices that they receive for their outputs. Interest rates, although down slightly from the 1981 peak, are at levels far above those experienced in the sixties and seventies. Even the weather has been an adversary of agriculture. Due to abnormally dry... TOTAL CASK AVAILASI. K Cash Re ulred: Feed Jsn. Feb. Narch April Nsy June July August Sept. October Nov. ec. 101AL 12 13 14 15 16 ly 14 19 20 21 22 23 25 27 2$ 29 30 31 32 33 35 36 37 38 graeding 4 Vet. Ned ~ Supplies...

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

  18. Farm Workers and Unions in California Agriculture

    E-Print Network [OSTI]

    2008-01-01T23:59:59.000Z

    and Unions in California Agriculture Philip Martin June 30,unions and immigration in California agriculture 2. scanningbargaining agreements signed in CA agriculture (http://

  19. Off-line compatible electronic cash method and system

    DOE Patents [OSTI]

    Kravitz, D.W.; Gemmell, P.S.; Brickell, E.F.

    1998-11-03T23:59:59.000Z

    An off-line electronic cash system having an electronic coin, a bank B, a payee S, and a user U with an account at the bank B as well as a user password z{sub u,i}, has a method for performing an electronic cash transfer. An electronic coin is withdrawn from the bank B by the user U and an electronic record of the electronic coin is stored by the bank B. The coin is paid to the payee S by the user U. The payee S deposits the coin with the bank B. A determination is made that the coin is spent and the record of the coin is deleted by the bank B. A further deposit of the same coin after the record is deleted is determined. Additionally, a determination is made which user U originally withdrew the coin after deleting the record. To perform these operations a key pair is generated by the user, including public and secret signature keys. The public signature key along with a user password z{sub u,i} and a withdrawal amount are sent to the bank B by the user U. In response, the bank B sends a coin to the user U signed by the secret key of the bank indicating the value of the coin and the public key of the user U. The payee S transmits a challenge counter to the user U prior to receiving the coin. 16 figs.

  20. Off-line compatible electronic cash method and system

    DOE Patents [OSTI]

    Kravitz, David W. (Albuquerque, NM); Gemmell, Peter S. (Albuquerque, NM); Brickell, Ernest F. (Albuquerque, NM)

    1998-01-01T23:59:59.000Z

    An off-line electronic cash system having an electronic coin, a bank B, a payee S, and a user U with an account at the bank B as well as a user password z.sub.u,i, has a method for performing an electronic cash transfer. An electronic coin is withdrawn from the bank B by the user U and an electronic record of the electronic coin is stored by the bank B. The coin is paid to the payee S by the user U. The payee S deposits the coin with the bank B. A determination is made that the coin is spent and the record of the coin is deleted by the bank B. A further deposit of the same coin after the record is deleted is determined. Additionally, a determination is made which user U originally withdrew the coin after deleting the record. To perform these operations a key pair is generated by the user, including public and secret signature keys. The public signature key along with a user password z.sub.u,i and a withdrawal amount are sent to the bank B by the user U. In response, the bank B sends a coin to the user U signed by the secret key of the bankindicating the value of the coin and the public key of the user U. The payee S transmits a challenge counter to the user U prior to receiving the coin.

  1. UCT Finance Policies & Procedures inv001_cash Page 1 of 6

    E-Print Network [OSTI]

    Jarrett, Thomas H.

    UCT Finance Policies & Procedures inv001_cash Page 1 of 6 Finance Department, UCT, Private Bag in the cash handling process (e.g. area finance managers) have the responsibility to periodically evaluate finance manager has to periodically evaluate internal procedures to ensure that reasonable controls exist

  2. The Implied Cost of Carbon Dioxide under the Cash for Clunkers Christopher R. Knittel

    E-Print Network [OSTI]

    Rothman, Daniel

    The Implied Cost of Carbon Dioxide under the Cash for Clunkers Program Christopher R. Knittel of the implied cost of carbon dioxide reductions under the Cash for Clunker program. The estimates suggest pollutants. Conservative estimates of the implied carbon dioxide cost exceed $365 per ton; best case scenario

  3. The Leadership Cluster Memorial Union

    E-Print Network [OSTI]

    Escher, Christine

    The Leadership Cluster Memorial Union Student Leadership and Involvement Student Media Something New @ OSU #12;Access Diversity "Leadership/Citizenship" Community Connection Health & Wellness Housing & Dining Administrative Leadership #12;Student Leadership & Involvement SLI-Activities Program Club

  4. hebrew union college annual volume lxxvi

    E-Print Network [OSTI]

    Graur, Dan

    , Adam Kamesar, Barry Kogan, Michael Meyer, Stanley Nash, David Sperling, Dvora Weisberg #12;HEBREW UNION

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

  6. 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 Tecnol´ogico de Inform´atica E as semantic integrity constraints. Thus, imposing and checking such constraints provides a better control over

  7. FORT UNION DEEP

    SciTech Connect (OSTI)

    Lyle A. Johnson Jr.

    2002-03-01T23:59:59.000Z

    Coalbed methane (CBM) is currently the hottest area of energy development in the Rocky Mountain area. The Powder River Basin (PRB) is the largest CBM area in Wyoming and has attracted the majority of the attention because of its high permeability and relatively shallow depth. Other Wyoming coal regions are also being targeted for development, but most of these areas have lower permeability and deeper coal seams. This project consists of the development of a CBM stimulation system for deep coal resources and involves three work areas: (1) Well Placement, (2) Well Stimulation, and (3) Production Monitoring and Evaluation. The focus of this project is the Washakie Basin. Timberline Energy, Inc., the cosponsor, has a project area in southern Carbon County, Wyoming, and northern Moffat County, Colorado. The target coal is found near the top of the lower Fort Union formation. The well for this project, Evans No.1, was drilled to a depth of 2,700 ft. Three coal seams were encountered with sandstone and some interbedded shale between seams. Well logs indicated that the coal seams and the sandstone contained gas. For the testing, the upper seam at 2,000 ft was selected. The well, drilled and completed for this project, produced very little water and only occasional burps of methane. To enhance the well, a mild severity fracture was conducted to fracture the coal seam and not the adjacent sandstone. Fracturing data indicated a fracture half-length of 34 ft, a coal permeability of 0.2226 md, and permeability of 15.3 md. Following fracturing, the gas production rate stabilized at 10 Mscf/day within water production of 18 bpd. The Western Research Institute (WRI) CBM model was used to design a 14-day stimulation cycle followed by a 30-day production period. A maximum injection pressure of 1,200 psig to remain well below the fracture pressure was selected. Model predictions were 20 Mscf/day of air injection for 14 days, a one-day shut-in, then flowback. The predicted flowback was a four-fold increase over the prestimulation rate with production essentially returning to prestimulation rates after 30 days. The physical stimulation was conducted over a 14-day period. Problems with the stimulation injection resulted in a coal bed fire that was quickly quenched when production was resumed. The poststimulation, stabilized production was three to four times the prestimulation rate. The methane content was approximately 45% after one day and increased to 65% at the end of 30 days. The gas production rate was still two and one-half times the prestimulation rate at the end of the 30-day test period. The field results were a good match to the numerical simulator predictions. The physical stimulation did increase the production, but did not produce a commercial rate.

  8. FORT UNION DEEP

    SciTech Connect (OSTI)

    Lyle A. Johnson Jr.

    2002-09-01T23:59:59.000Z

    Coalbed methane (CBM) is currently the hottest area of energy development in the Rocky Mountain area. The Powder River Basin (PRB) is the largest CBM area in Wyoming and has attracted the majority of the attention because of its high permeability and relatively shallow depth. Other Wyoming coal regions are also being targeted for development, but most of these areas have lower permeability and deeper coal seams. This project consists of the development of a CBM stimulation system for deep coal resources and involves three work areas: (1) Well Placement, (2) Well Stimulation, and (3) Production Monitoring and Evaluation. The focus of this project is the Washakie Basin. Timberline Energy, Inc., the cosponsor, has a project area in southern Carbon County, Wyoming, and northern Moffat County, Colorado. The target coal is found near the top of the lower Fort Union formation. The well for this project, Evans No.1, was drilled to a depth of 2,700 ft. Three coal seams were encountered with sandstone and some interbedded shale between seams. Well logs indicated that the coal seams and the sandstone contained gas. For the testing, the upper seam at 2,000 ft was selected. The well, drilled and completed for this project, produced very little water and only occasional burps of methane. To enhance the well, a mild severity fracture was conducted to fracture the coal seam and not the adjacent sandstone. Fracturing data indicated a fracture half-length of 34 ft, a coal permeability of 0.2226 md, and permeability of 15.3 md. Following fracturing, the gas production rate stabilized at 10 Mscf/day within water production of 18 bpd. The Western Research Institute (WRI) CBM model was used to design a 14-day stimulation cycle followed by a 30-day production period. A maximum injection pressure of 1,200 psig to remain well below the fracture pressure was selected. Model predictions were 20 Mscf/day of air injection for 14 days, a one-day shut-in, then flowback. The predicted flowback was a four-fold increase over the prestimulation rate with production essentially returning to prestimulation rates after 30 days. The physical stimulation was conducted over a 14-day period. Problems with the stimulation injection resulted in a coal bed fire that was quickly quenched when production was resumed. The poststimulation, stabilized production was three to four times the prestimulation rate. The methane content was approximately 45% after one day and increased to 65% at the end of 30 days. The gas production rate was still two and one-half times the prestimulation rate at the end of the 30-day test period. The field results were a good match to the numerical simulator predictions. The physical stimulation did increase the production, but did not produce a commercial rate.

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

  10. Changing the ability of the poor to generate income : Mexico's Conditional Cash Transfer program Oportunidades

    E-Print Network [OSTI]

    Flores Romero, Karla Renata

    2010-01-01T23:59:59.000Z

    Conditional Cash Transfer (CCT) programs have been adopted in many developing countries, particularly in Latin America, as the core strategy for poverty reduction. These programs provide immediate economic support to poor ...

  11. Will You Be Trading in Your Clunker for Cash--and a More Efficient...

    Office of Environmental Management (EM)

    You Can Still Save on the Road -- Even with No Cash for Clunkers How Would You Use a Neighborhood Electric Vehicle? Thinking About Buying a Car this Summer? Read This First...

  12. Labour's Record on Cash Transfers, Poverty, Inequality and the Lifecycle 1997 -2010

    E-Print Network [OSTI]

    Banaji,. Murad

    Labour's Record on Cash Transfers, Poverty, Inequality and the Lifecycle 1997 - 2010 John Hills ...................................................................................................................20 6. Outcomes: Poverty rates on the distribution of wealth, poverty, income inequality and spatial difference. The full programme of analysis

  13. Certain Cash Contributions for Haiti Relief Can Be Deducted on Your 2009 Tax Return

    E-Print Network [OSTI]

    Certain Cash Contributions for Haiti Relief Can Be Deducted on Your 2009 Tax Return A new law, 2010, for the relief of victims in areas affected by the January 12, 2010, earthquake in Haiti

  14. Value or Growth? Pricing of Idiosyncratic Cash Flow Risk with Heterogeneous Beliefs

    E-Print Network [OSTI]

    Jhang, Ho Gyu

    2014-05-05T23:59:59.000Z

    the relation between average share ratios and returns that are driven by share ratios. Lower-left shows average share ratios of decile portfolios. Lower-right shows the price elasticity with respect to the cash flow alongside decile portfolios... that are driven by share ratios. Lower-left shows average share ratios of decile portfolios. Lower-right shows the price elasticity with respect to the cash flow alongside decile portfolios. . . . . . . . . . . . . . . 52 ix LIST OF TABLES TABLE Page 4.1 Summary...

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

  16. Texas Union Pizza Order Form ROOM RESERVED ______________________________________________________

    E-Print Network [OSTI]

    Jefferys, William

    : ________________________________________________________________________________________________ ________________________________________________________________________________________________ ________________________________________________________________________________________________ ________________________________________________________________________________________________ ________________________________________________________________________________________________ ________________________________________________________________________________________________ ________________________________________________________________________________________________ ________________________________________________________________________________________________ Pick-up All orders are to be picked up at the Texas Union Hospitality Center desk in the south end West#12;#12;Texas Union Pizza Order Form ROOM RESERVED with the Texas Union Policies and Procedures. I understand that I will be held responsible for any debts incurred

  17. Trade Unions and the Origins of the Union-Based Welfare State in Italy (1950s-1970s)

    E-Print Network [OSTI]

    Agnoletto, Stefano

    2012-01-01T23:59:59.000Z

    state. In this framework, trade unions led the battles toTrade Unions and the Origins of the Union-Based Welfareto identify the role played by trade unions in defining the

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

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

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

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

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

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

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

  5. Unions, LANL sign labor agreements

    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 ScienceandMesa del SolStrengthening aTurbulence mayUndergraduate ProgramCenter |SolarUnions, LANL sign

  6. Zerocoin: Anonymous Distributed E-Cash from Bitcoin Ian Miers, Christina Garman, Matthew Green, Aviel D. Rubin

    E-Print Network [OSTI]

    Amir, Yair

    Zerocoin: Anonymous Distributed E-Cash from Bitcoin Ian Miers, Christina Garman, Matthew Green, cgarman, mgreen, rubin}@cs.jhu.edu Abstract--Bitcoin is the first e-cash system to see widespread adoption. While Bitcoin offers the potential for new types of financial interaction, it has significant

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

  8. Foreign Fishery Developments Soviet Union and Japan

    E-Print Network [OSTI]

    Foreign Fishery Developments Soviet Union and Japan Agree on 1978 Quotas The Soviet Union and Japan year in Moscow. Japan's total 1978 allocation in the Soviet zone was set at 850,000 metric tons (t ex- trapolation of the 1977 quotas, which were 700,000 t for Japan during March-December and 335

  9. UNIVERSITY OF VIRGINIA Illustration of Mr. Taylor's 1-Life Charitable Gift Annuity Funded with Cash

    E-Print Network [OSTI]

    Acton, Scott

    UNIVERSITY OF VIRGINIA Illustration of Mr. Taylor's 1-Life Charitable Gift Annuity Funded with Cash,803.40 Annuity $1,740.00 Tax-free Portion $1,386.78 Ordinary Income * $353.22 Quarterly Payment $435.00 Total Rate is 1.6% The information in this chart is of a general nature and for illustration purposes only

  10. IU School of Informatics, IUPUI, Policy on Cash Bonuses for Academic Appointees

    E-Print Network [OSTI]

    Zhou, Yaoqi

    IU School of Informatics, IUPUI, Policy on Cash Bonuses for Academic Appointees Approved 11. There is no entitlement to a bonus. The awarding of a bonus is at the discretion of the Executive Associate Dean. 2. Bonuses will be based on excellence, as defined in the documents Indiana University School of Informatics

  11. Labour's Record on Cash Transfers, Poverty, Inequality and the Lifecycle 1997 -2010

    E-Print Network [OSTI]

    Banaji,. Murad

    Labour's Record on Cash Transfers, Poverty, Inequality and the Lifecycle 1997 - 2010 John Hills changes in the UK since 2007, particularly their impact on the distribution of wealth, poverty, income, charting their approach and assessing their impact on the distribution of outcomes and on poverty

  12. adolescent rugby union: Topics by E-print Network

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

    Summary: An Analysis of Trading Motivations in Phase II of the European Union Emissions Trading Scheme By Executive Summary I. The European Union Emission Trading Scheme a....

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

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

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

  16. Completeness and Complexity of Bounded Model Checking #

    E-Print Network [OSTI]

    Ouaknine, Joël

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

  17. Completeness and Complexity of Bounded Model Checking

    E-Print Network [OSTI]

    Ouaknine, Joël

    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

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

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

  20. Welcome to Union County Extension. The service offered to the citizens of Union County is a part-

    E-Print Network [OSTI]

    Jawitz, James W.

    education continues to be a Tri-County initiative through Bradford, Baker and Union County. This pro- gramWelcome to Union County Extension. The service offered to the citizens of Union County is a part- nership between Union County Board of County Commissioners and the University of Florida/IFAS. The mission

  1. Welcome to Union County Extension. The ser-vice offered to the citizens of Union County is a

    E-Print Network [OSTI]

    Jawitz, James W.

    Education: Pesticide education continues to be a Tri-County initiative through Bradford, Baker and UnionWelcome to Union County Extension. The ser- vice offered to the citizens of Union County is a partnership between Union County Board of County Commissioners and the University of Florida/IFAS. The mission

  2. Kansas Labor Unions: Past, Present and Future

    E-Print Network [OSTI]

    Shulenburger, David E.; Johnson, Nancy Brown

    1983-06-01T23:59:59.000Z

    Labor Unions: Past, Present and Future,” Kansas Business Review, with N.B. Johnson, Volume 6 (May-June, 1983), pp. 13-17. Terms of Use: http://www2.ku.edu/~scholar/docs/license.shtml and N. B. Johnson Kansas Labor Unions: Past, Present, and Future... that the strikers were " . . . sober, in­ telligent, orderly men" and encouraged the railroad to "arrange terms for an amicable settlement."6 Governor Martin's stalwart stand not to intervene with troops represented one of the earliest occasions in which a state...

  3. Office of Campus Activities 401 Bowen-Thompson Student Union

    E-Print Network [OSTI]

    Moore, Paul A.

    Office of Campus Activities 401 Bowen-Thompson Student Union Bowling Green, OH 43403 Phone (419 be submitted to the Office of Campus Activities, 401 Bowen- Thompson Student Union. Organizations

  4. The regional trade-union : lessons from Spain

    E-Print Network [OSTI]

    Fraile, Lydia M

    2003-01-01T23:59:59.000Z

    The region has emerged in the last two decades as a new field of trade-union activity. There is increasing interaction across Europe between unions, employer associations, and state actors at the subnational territorial ...

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

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

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

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

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

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

  11. THE EUROPEAN UNION Brussels, 8 June 2005

    E-Print Network [OSTI]

    Sussex, University of

    9898/05 1 DGE WMD EN COUNCIL OF THE EUROPEAN UNION Brussels, 8 June 2005 9898/05 PESC 494 CONOP 27 CODUN 6 COARM 28 NOTE From : Secretariat to : Delegations No. prev. doc. : 9931/05 PESC 498 CONOP 28

  12. International Trade and Unionization: Evidence from Reshad N. Ahsan

    E-Print Network [OSTI]

    Bandyopadhyay, Antar

    International Trade and Unionization: Evidence from India Reshad N. Ahsan University of Melbourne exploit an exogenous episode of trade liberalization to examine the impact of interna- tional trade and provides us with predictions on the relationship between trade and both unionization and union wages. We

  13. UMBC Policy # UMBC VIII-7.12 Page 1 of 2 UMBC POLICY CONCERNING WORKING FUND/ PETTY CASH/CHANGE FUNDS

    E-Print Network [OSTI]

    Adali, Tulay

    UMBC Policy # UMBC VIII-7.12 Page 1 of 2 UMBC POLICY CONCERNING WORKING FUND/ PETTY CASH/CHANGE FUNDS UMBC Policy # UMBC VIII-7.12 I. POLICY STATEMENT This policy on the working fund/petty cash/change funds is intended to define the conditions for such funds. II. PURPOSE FOR POLICY This policy

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

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

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

  17. A cash-flow economic model for analyzing utility/ESCO solar hot water programs

    SciTech Connect (OSTI)

    Bircher, C. [ENSTAR, De Pere, WI (United States); DeLaune, J.L. [Wisconsin Public Service Corp., Green Bay, WI (United States); Lyons, C.R. [Energy Alliance Group, Boston, MA (United States)

    1996-11-01T23:59:59.000Z

    Wisconsin Public Service Corporation (WPSC), in partnership with Energy Alliance Group (EAG), has developed a robust cash-flow economic model to analyze an energy service company (ESCO) approach to utility solar water heating programs. This paper describes the ESCO approach and its potential to increase penetration of solar water heating. The economic model is presented, and its use in designing WPSC`s Solar-Wise Water Heating Service program is described. The model`s results for WPSC are positive, indicating that an ESCO approach has strong potential. A feasibility study of ESCO solar water heating programs for a varied sample of other US utilities was also conducted using the model, and the results are summarized. Sensitivity analyses from the study reveal that the three key drivers of ESCO solar water heating success are electric rate, length of the service agreement, and the amount of the customer`s payment for the service.

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

    E-Print Network [OSTI]

    Standiford, Richard B.

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

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

  20. Printed by LAAS-CNRS Planning via Model Checking

    E-Print Network [OSTI]

    Thiébaux, Sylvie

    Pho Printed by LAAS-CNRS Workshop Planning via Model Checking F. Kabanza S. Thiébaux 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

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

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

  3. Union Electric Membership Corp | 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 directedAnnualProperty Edit withTianlin BaxinUmwelt Management AG UMaAG Jump to: navigation,UnaUnion Electric

  4. Union Electric Co | 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 IRaghuraji Agro IndustriesTown of Ladoga, IndianaTurtle AirshipsUnalakleet4888°, -77.0564464°Union Electric

  5. High Temperature Fuel Cells in the European Union

    Broader source: Energy.gov [DOE]

    Presentation on High Temperature Fuel Cells in the European Union to the High Temperature Membrane Working Group, May 25, 2004 in Philadelphia, PA.

  6. Union Carbides Last 20 Years in Oak Ridge

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

    Energy Research and Development AdministrationDepartment of Energy's Oak Ridge, Paducah and Portsmouth facilities, how about the last 20 years of Union Carbide's tenure here...

  7. african customs union: Topics by E-print Network

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

    the relevance of the authoritarian personality in the Soviet Union. In a 1991 Moscow quota sample, authoritarianism strongly predicted support for reactionary leaders and...

  8. astronomical union held: Topics by E-print Network

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

    the relevance of the authoritarian personality in the Soviet Union. In a 1991 Moscow quota sample, authoritarianism strongly predicted support for reactionary leaders and...

  9. Trade unions, inequality, and democracy in the US and Mexico

    E-Print Network [OSTI]

    Tilly, Chris

    2013-01-01T23:59:59.000Z

    1993. Uneven Tides: Rising Inequality in America, New York:2003. Unions and wage inequality in Mexico. ” Industrial andBruce. 2006. Punishment and Inequality in America. New York:

  10. EMPLOYMENT APPLICATION STUDENT UNION, INC. AT SAN JOS STATE UNIVERSITY

    E-Print Network [OSTI]

    Su, Xiao

    EMPLOYMENT APPLICATION STUDENT UNION, INC. AT SAN JOSÉ STATE UNIVERSITY www.union.sjsu.edu One) Telephone ( ) Telephone ( ) Area Code Area Code Email Address Fax ( ) General Information If employed and you are under 18, can you furnish a work permit? Yes No Have you ever been employed here before? Yes

  11. Basis behavior and hedging risk under cash versus physical delivery settlement of the feeder cattle futures contract for selected Texas markets

    E-Print Network [OSTI]

    Diamond, Petrina Lea

    1989-01-01T23:59:59.000Z

    BASIS BEHAVIOR AND HEDGING RISK UNDER CASH VERSUS PHYSICAL DELIVERY SETTLEMENT OF THE FEEDER CATTLE FUTURES CONTRACT FOR SELECTED TEXAS MARKETS A Thesis by PETRINA LEA DIAMOND 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 1989 Major Subject: Agricultural Economics BASIS BEHAVIOR AND HEDGING RISK UNDER CASH VERSUS PHYSICAL DELIVERY SETTLEMENT OF THE FEEDER CATTLE FUTURES...

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

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

  14. Z:\\Payroll Related\\Misc Payroll Information\\Strand Union Employment Application.doc STRAND UNION EMPLOYMENT APPLICATION

    E-Print Network [OSTI]

    Maxwell, Bruce D.

    Z:\\Payroll Related\\Misc Payroll Information\\Strand Union Employment Application.doc STRAND UNION EMPLOYMENT APPLICATION Complete both sides of this application form and return it to The Ask Us Desk OR Room ____Manager Ask Us Desk ____Instructor ____Desk Attendant ____Manager Have you been previously employed

  15. Strategic Behavior, Private Information, and Decentralization in the European Union Emissions Trading System

    E-Print Network [OSTI]

    Malueg, David A.; Yates, Andrew J.

    2009-01-01T23:59:59.000Z

    in the European Union emissions trading scheme. Rev EnvironDecentralization in the EU emissions trading scheme andthe European Union Emissions Trading System David A. Malueg

  16. 2013 American Geophysical Union. All Rights Reserved. High resolution imaging of the melt distribution in 1

    E-Print Network [OSTI]

    © 2013 American Geophysical Union. All Rights Reserved. High resolution imaging of the melt;© 2013 American Geophysical Union. All Rights Reserved. Abstract We determine the 3-D melt geometry

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

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

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

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

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

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

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

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

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

  6. Paleoenvironment of Fort Union Formation, South Dakota

    SciTech Connect (OSTI)

    Goodrum, C.

    1983-08-01T23:59:59.000Z

    Rocks of Paleocene age are represented in the Cave Hills of northwestern South Dakota by the Ludlow, Cannonball, and Tongue River members of the Fort Union Formation. The Cave Hills are situated within the southern margin of the Williston basin, 80 mi (130 km) north of the Black Hills, South Dakota. Numerous fine-grained, fining-upward sedimentary sequences comprise the Ludlow Member and are attributed to meandering streams occupying a low-gradient lower alluvial to upper deltaic plain. The Cannonball Member is 130 ft (40 m) thick in the North Cave Hills and is represented by two fine-grained, coarsening-upward sandstone mudstone sequences. A distinct vertical succession of sedimentary facies occur within each sequence representing offshore/lower shoreface through upper shoreface/foreshore depositional environment. A north to northeast depositional strike for the Cannonball shoreline is inferred from ripple crest and cross-bed orientations. The basal part of the Tongue River consists of approximately 40 to 50 ft (12 to 15 m) of lenticular sandstone, siltstone, mudstone, thin-bedded lignite, and kaolinite beds representing thin broad channels, point-bar, levee, overbank, and nearshore swamp depositional environments. Massive fluvial channel sandstones measuring several tens of ft in thickness overlie the fine-grained basal Tongue River lithologies. These channel sandstones represent the continued progradation of continental/fluvial/coastal plain depositional environments eastward over the marine sandstones of the Cannonball Member.

  7. SUNCAT: The serials union catalogue for the UK research community 

    E-Print Network [OSTI]

    Mulligan, Zena

    SUNCAT is the national Serials Union CATalogue for the UK research community and is available at http://www.suncat.ac.uk SUNCAT is a freely available tool to help both researchers and librarians locate serials held in ...

  8. Union Power Cooperative- Residential Energy Efficient Heat Pump Loan Program

    Broader source: Energy.gov [DOE]

    Union Power Cooperative offers low interest loans to help its residential customers finance new, energy-efficient heat pumps. Interest rates, currently at 9%, will be fixed for the term of the loan...

  9. THE UNION OF SOUTH AFRICA SOUTH AFRICA ACT, 1909

    E-Print Network [OSTI]

    Sheridan, Jennifer

    THE UNION OF SOUTH AFRICA SOUTH AFRICA ACT, 1909 This Act was passed through both Houses of the Imperial Parliament exactly as it was forwarded after the South African Convention was held

  10. Closer Co-operation in Tomorrow’s European Union

    E-Print Network [OSTI]

    Deubner, Christian

    2006-01-01T23:59:59.000Z

    project, EU Gouvernance by Self- Co-ordination: Towards aCloser Co-operation in Tomorrow’s European Union 1.1 We speak about closer co-operation in the EU when fewer

  11. UNDERSTANDING POSTAL PRIVATIZATION: CORPORATIONS, UNIONS AND "THE PUBLIC INTEREST"

    E-Print Network [OSTI]

    1 UNDERSTANDING POSTAL PRIVATIZATION: CORPORATIONS, UNIONS AND "THE PUBLIC INTEREST" BY SARAH F Relations Written under the direction of Professor Adrienne Eaton and approved by ___________[Jeffrey Keefe]_____________ ____________[Dorothy Sue Cobble]____________ ____________[Adrienne Eaton]_____________ New Brunswick, New Jersey

  12. Carbon emissions and the Kyoto commitment in the European Union

    E-Print Network [OSTI]

    Viguier, Laurent L.; Babiker, Mustafa H.M.; Reilly, John M.

    We estimate reference CO? emission projections in the European Union, and quantify the economic impacts of the Kyoto commitment on Member States. We consider the case where each EU member individually meets a CO? emissions ...

  13. Kansas City`s Union Station redevelopment opportunity -- Environmental challenges

    SciTech Connect (OSTI)

    Snyder, M.G. [Black and Veatch Waste Science, Inc., Overland Park, KS (United States); Scott, A. [Union Station Assistance Corp., Kansas City, MO (United States)

    1995-12-31T23:59:59.000Z

    Kansas City`s Union Station, located at the center of a 1.7 million metropolitan population, is the second largest train station in the United States. The Station ceased to operate as a train station in 1983 and has since been falling into an increasing state of disrepair. This paper provides an insight into ``brownfield`` redevelopment and renovation for adaptive reuse of major turn of the century facilities such as Union Station. Substantial assessment and investigation activities have been conducted at Union Station for compliance and corrective action under RCRA, TSCA, and associated state regulations encompassing remediation estimated at more than $3 million. Recognized environmental conditions identified at Union Station included potential underground storage tanks; solid wastes, special wastes, and potentially hazardous wastes located inside the building; free liquids in sumps and elevator pits; asbestos-containing materials; lead-based paint; and potential for soil contamination on the surrounding property.

  14. June 11, 2009, HSS/Union Task Meeting on 2009 HSS/Union Task Progress - Agenda

    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 Your Destiny: The Future of Bad CholesteroliManage Presentation3 DATE: March06-05-09 HSS/Union

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

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

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

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

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

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

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

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

  3. Union Rural Electric Coop, Inc | 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 directedAnnualProperty Edit withTianlin BaxinUmwelt Management AG UMaAG Jump to: navigation,UnaUnionUnion

  4. Cash for Clunkers Refrigerator Reimbursement Program To receive a financial incentive for replacing an OSU-owned old, inefficient, in-use and food-only

    E-Print Network [OSTI]

    Escher, Christine

    Cash for Clunkers Refrigerator Reimbursement Program To receive a financial incentive for replacing an OSU-owned old, inefficient, in-use and food-only refrigerator, please follow the steps below 1) Email (building and room #) of existing refrigerator c. Make and model # of existing refrigerator d. Make

  5. Cash for Clunkers Refrigerator Retirement Program To receive a financial incentive for retiring an OSU-owned old, inefficient, in-use and food-only

    E-Print Network [OSTI]

    Escher, Christine

    Cash for Clunkers Refrigerator Retirement Program To receive a financial incentive for retiring an OSU-owned old, inefficient, in-use and food-only refrigerator, please follow the steps below 1) Email (building and room #) of existing refrigerator c. Make and model # of refrigerator 2) Within 3 business days

  6. WP05 Labour's record on cash transfers, poverty, inequality and the lifecycle 1997-2010 Labour's Record on Neighbourhood Renewal in

    E-Print Network [OSTI]

    Banaji,. Murad

    WP05 Labour's record on cash transfers, poverty, inequality and the lifecycle 1997-2010 Labour of wealth, poverty, income inequality and spatial difference. The full programme of analysis will include and on poverty and inequality particularly. This provides a baseline for analysing and understanding the changes

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

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

  9. A look back at Union Carbides FIRST 20 Years in Nuclear Energy...

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

    A look back at Union Carbide's FIRST 20 Years in Nuclear Energy The Y-12 Plant Milestones Note: Union Carbide Nuclear Division, which started out as Carbide and Carbon Chemicals...

  10. @Energy Tweets the State of the Union 2013 | Department of Energy

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

    @Energy Tweets the State of the Union 2013 @Energy Tweets the State of the Union 2013 February 13, 2013 - 3:27pm Addthis Erin R. Pierce Erin R. Pierce Former Digital Communications...

  11. IMU Activities Tower Application and Contract 1 INDIANA MEMORIAL UNION STUDENT ACTIVITIES TOWER

    E-Print Network [OSTI]

    Indiana University

    IMU Activities Tower Application and Contract 1 INDIANA MEMORIAL UNION STUDENT ACTIVITIES TOWER March 21, 2012 Union Board Office- 2nd floor of the IMU Activities Tower ­ room 270 The following Student Activities Tower: Organization Name

  12. EOS, TRANSACTIONS, AMERICAN GEOPHYSICAL UNION Geomagnetic data provided by different

    E-Print Network [OSTI]

    Michigan, University of

    (from measurements to modeling) in Encyclopedia of Geomagnetism and Paleomagnetism [Gub- bins geomagnetic variations over a long time and at a given location. Currently, more than 70 countries oper- ateEOS, TRANSACTIONS, AMERICAN GEOPHYSICAL UNION Geomagnetic data provided by different platforms

  13. New York State AFL-CIO / CORNELL Union Leadership Institute

    E-Print Network [OSTI]

    Keinan, Alon

    , President Labor Council for Latin American Advancement Gary LaBarbera, President Building & Construction of Collective Bargaining NYS Nurses Association Carol Waaser Acting Executive Director Actors' Equity Association Wendell W. Young, IV, President Local 1776 UFCW NYS AFL-CIO CORNELL/Union Leadership Institute

  14. FrStudentenausderEuropischenUnion VULCANUS IN JAPAN

    E-Print Network [OSTI]

    Sanderson, Yasmine

    FürStudentenausderEuropäischenUnion VULCANUS IN JAPAN WAS IST DAS? Das Programm besteht aus absolvieren: ·ein einwöchiges Seminar über Japan, · einen viermonatigen Japanisch - Intensivkurs, · ein achtmonatiges Praktikum in einem japanischen Unternehmen. Das Programm ,,VULCANUS IN JAPAN" gibt es seit 1997

  15. Energy & Science at the State of the Union Tonight

    Broader source: Energy.gov [DOE]

    When the President begins his third State of the Union address this evening at 9pm EST, several important women and men in the fields of energy, science and technology will be sitting in the Capitol Building alongside First Lady Michelle Obama.

  16. Illegal Drugs Policy Swansea University and Students' Union

    E-Print Network [OSTI]

    Martin, Ralph R.

    Illegal Drugs Policy Swansea University and Students' Union #12;Illegal Drugs Policy for Swansea 2. Who is covered by the policy? 3. Aims of the policy 5. What do we mean by illegal drugs? 4 illegal drug use. · Take very seriously our legal duty of care to our students, staff and visitors and aim

  17. 2013 American Geophysical Union. All Rights Reserved. The 2010 California Research at the Nexus of Air Quality and Climate Change

    E-Print Network [OSTI]

    Cohen, Ronald C.

    © 2013 American Geophysical Union. All Rights Reserved. The 2010 California Research at the Nexus.50331 AcceptedArticle #12;© 2013 American Geophysical Union. All Rights Reserved. Abstract

  18. CITY COUNCIL ORDINANCE NUMBER # -09 ORDINANCE OF THE CITY COUNCIL OF THE CITY OF UNION CITY

    E-Print Network [OSTI]

    potential in Union City is moderate. These local features contribute to the Bay Area's status#12;#12;CITY COUNCIL ORDINANCE NUMBER # -09 ORDINANCE OF THE CITY COUNCIL OF THE CITY OF UNION CITY BUILDING AND LANDSCAPING REQUIREMENTS FOR PUBLICLY FUNDED PROJECTS THE CITY COUNCIL OF THE CITY OF UNION

  19. The European Union Emissions Trading System: should we throw the flagship out

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    No 48-2013 The European Union Emissions Trading System: should we throw the flagship out European Union Emissions Trading System: should we throw the flagship out with the bathwater? Abstract The European Union Emissions Trading System (EU-ETS), presented as the ``flagship'' of European climate policy

  20. An Analysis of Trading Motivations in Phase II of the European Union

    E-Print Network [OSTI]

    Lewis, Robert Michael

    An Analysis of Trading Motivations in Phase II of the European Union Emissions Trading Scheme By Executive Summary I. The European Union Emission Trading Scheme a. Evolution of the EU ETS b. Structure of Trading Behavior in Phase II of the European Union Emissions Trading Scheme "Our generation's response

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

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

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

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

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

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

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

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

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

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

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

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

  13. 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 algorithmic­verification 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

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

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

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

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

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

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

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

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

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

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

  4. 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 Real­time Systems Laboratory@cs.adelaide.edu.au Abstract Communicating Sequential Processes (CSP) is a lan­ guage used to describe and reason about between a conventional functional lan­ guage type checker and a type checker for the CSP language

  5. 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 Fr´ed´eric 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

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

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

  8. PTC, ITC, or Cash Grant? An Analysis of the Choice Facing Renewable Power Projects in the United States

    SciTech Connect (OSTI)

    Bolinger, Mark; Wiser, Ryan; Cory, Karlynn; James, Ted

    2009-03-11T23:59:59.000Z

    Renewable power technologies are inherently capital-intensive, often (but not always) with relatively high construction costs and low operating costs. For this reason, renewable power technologies are typically more sensitive to the availability and cost of financing than are natural gas power plants, for example. In the United States, the bulk of renewable project finance in recent years has been provided by 'tax equity investors' (typically large investment banks and insurance companies) who partner with project developers through highly specialized financing structures (Bolinger, 2009; Cory et al., 2008; Harper et al., 2007). These structures have been designed primarily to capitalize on federal support for renewable power technologies, which has historically come in the form of tax credits and accelerated depreciation deductions. The number of tax equity investors active in the renewable power market has declined precipitously, however, as a result of the financial crisis that began unfolding across the globe in the summer of 2008. The resulting shortage and increased cost of project financing has, in turn, slowed the development of new renewable power projects, leading to layoffs throughout the entire industry supply chain. In recognition of the fact that tax-based policy incentives are not particularly effective when tax burdens are shrinking or non-existent, Congress included several provisions in 'The American Recovery and Reinvestment Act of 2009' (ARRA 2009) designed to make federal incentives for renewable power technologies more useful. Among these provisions is one that allows projects eligible to receive the production tax credit ('the PTC', see Text Box 1) to instead elect the investment tax credit ('the ITC', see Text Box 2). Another provision enables ITC-eligible projects (which now include most PTC-eligible renewable power projects) to instead receive--for a limited time only--a cash grant of equivalent value. These two provisions (among others) could have a significant impact on how renewable power projects are financed over the next few years. The purpose of this report is to both quantitatively and qualitatively analyze, from the project developer/owner perspective, the choice between the PTC and the ITC (or equivalent cash grant) for a number of different renewable power technologies.1 Because the two credits are structured differently, and apply in different ways to different technologies, the choice between the two lends itself to quantitative financial analysis of the conditions under which either the PTC or the ITC would, at least in theory, provide greater financial value. Qualitative considerations may be equally important, however, particularly in instances where quantitative differences are modest. This report proceeds as follows. Section 2 provides a brief summary of ARRA 2009, with some emphasis on those provisions designed to ease the liquidity crisis facing the renewable power sector. Section 3 describes the quantitative analysis methodology, as well as modeling results for wind, open-loop biomass, closed-loop biomass, geothermal, and landfill gas projects. Section 4 discusses a number of qualitative considerations that may play as important of a role as quantitative results in deciding between the PTC and the ITC (or equivalent cash grant). Section 5 concludes, and an Appendix provides supplemental tables that present quantitative analysis results conducted at different discount rates.

  9. December 4, 2008; HSS/Union Working Group Meeting on 2008 HSS/Union Topical Wrap Up - Union Lead Action Priorities

    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 Your Destiny:Revised Finding of No53197 This workDayton: ENERGY8 Deaerators3 SEABTopicalUNION

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

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

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

  13. FRAMEWORK GEOLOGY OF FORT UNION COAL IN THE WILLISTON BASIN

    E-Print Network [OSTI]

    Chapter WF FRAMEWORK GEOLOGY OF FORT UNION COAL IN THE WILLISTON BASIN By R.M. Flores,1 C.W. Keighin,1 A.M. Ochs,2 P.D. Warwick,1 L.R. Bader,1 and E.C. Murphy3 in U.S. Geological Survey Professional Paper 1625-A 1 U.S. Geological Survey 2 Consultant, U.S. Geological Survey, Denver, Colorado 3 North

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

  15. Rotary union for use with ultrasonic thickness measuring probe

    DOE Patents [OSTI]

    Nachbar, H.D.

    1992-09-15T23:59:59.000Z

    A rotary union for rotatably supporting an ultrasonic probe operable to nondestructively measure the thickness of steam generator tubes to determine the amount of corrosion experienced by the tubes includes a stationary body having a bore therethrough and an outlet drain, and a fitting rotatably mounted within the upper end of the body. The fitting has a bore aligned with the bore of the body. An electrical cable positioned within a water supply tube in an annular arrangement passes through the bore of the body and the bore of the fitting. This annular arrangement, in turn, is positioned within a connector element which extends outwardly from the fitting bore and is connected to the ultrasonic probe. An elastomeric lower bushing seals the annular arrangement to the lower end of the rotary union body and an elastomeric upper bushing seals the connector element to the fitting to permit the connector element and the ultrasonic probe connected thereto to rotate with the fitting relative to the body. The lower and upper bushings permit water to be passed through the annular arrangement and into the ultrasonic probe and thereafter discharged between the annular arrangement and the connector element to the outlet drain of the rotary union body. 5 figs.

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

  17. Factors Affecting Strategic Choices of the European Union Maritime Shipping Industry: Pre and Post European Union Anti-Trust Exemption

    E-Print Network [OSTI]

    Henderson, Samuel R.

    2010-07-14T23:59:59.000Z

    Research Texas A&M University in partial fulfillment of the requirements for the designation as UNDERGRADUATE RESEARCH SCHOLAR A Senior Scholars Thesis by SAMUEL HENDERSON FACTORS AFFECTING THE STRATEGIC CHOICES OF THE EUROPEAN UNION... of Undergraduate Research Texas A&M University in partial fulfillment of the requirements for the designation as UNDERGRADUATE RESEARCH SCHOLAR A Senior Scholars Thesis by SAMUEL HENDERSON iii ABSTRACT Factors Affecting the Strategic Choices...

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

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

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

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

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

    E-Print Network [OSTI]

    Yüksel, 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.

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

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

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

  6. Coal system improvements at Union Electric's Labadie Plant

    SciTech Connect (OSTI)

    Graham, D.; Mahr, D.

    1998-07-01T23:59:59.000Z

    Union Electric's Labadie Plant is a 2,400 MWe (4 x 600) coal-fired power generating station. It is located 35 miles west of St. Louis. The four units were commissioned between 1970 and 1973. Units No. 1 and 2 have individual stacks, while Units No. 3 and 4 have a common stack. In response to the lower sulfur requirements of Clean Air Act Amendments, a fuel switching project was implemented in 1991. The plant was originally designed to burn a bituminous, Midwestern coal from the Illinois Basin. This fuel is characterized as a relatively high Btu, high sulfur coal. To met sulfur emission standards, Union Electric modified the boilers, precipitators, and coal handling system to accommodate Powder River Basin (PRB) coal. PRB coal has a lower heating value, 8,500 Btu/lb, versus 12,000 Btu/lb. for the Illinois coal. It is more economical than the available high Btu, low sulfur coals. A switch from Illinois coal to PRB coal has helped the Labadie Plant meet new air quality standards and minimize fuel cost. The increased belt speeds and inherent characteristics of PRB coal amplified handling problems. Dust, spillage increased and the impact on plant operations was more severe. To combat these problems, Union Electric implemented an ongoing improvement program. As experienced was gained, a number of solutions were initiated through several engineering/construction programs and a number of solutions contributed by coal yard personnel. While many of these improvements were a direct result of the switch to PRB coal, they would also be useful on systems handling bituminous coal. New ideas were needed to meet plant objectives of doing more with fewer people. The improvement at Labadie is apparent throughout the coal yard, in access, safety, and cleanliness. Plant improvement is a continuing task. Additional areas within the coal yard are being more closely examined to determine if they can benefit from new techniques that might be applied.

  7. Planning for a Sustainable Future of the Cincinnati Union Terminal

    SciTech Connect (OSTI)

    None

    2012-04-30T23:59:59.000Z

    The Cincinnati Museum Center invited a number of local stakeholders, political leaders, nationally and internationally recognized design professionals and the Design Team, that has been engaged to help shape the future of this remarkable resource, to work together in a Workshop that would begin to shape a truly sustainable future for both the Museum and its home, the Union Terminal, one of the most significant buildings in America. This report summarizes and highlights the discussions that took place during the Workshop and presents recommendations for shaping a direction and a framework for the future.

  8. West Union, New York: Energy Resources | 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 IRaghuraji Agro IndustriesTown ofNationwideWTED JumpHills, New York:Springfield, Massachusetts:Union, New

  9. West Union, Ohio: Energy Resources | 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 IRaghuraji Agro IndustriesTown ofNationwideWTED JumpHills, New York:Springfield, Massachusetts:Union,

  10. International Union for Conservation of Nature | 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.pdfGetecGtelInterias Solar Energy Jump to:IES JumpUnion for Conservation of Nature

  11. City of Union City, Tennessee (Utility Company) | 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 Siteof EnergyInnovationin UrbanCity ofCity of Spencer,City ofTroy,City of Union City,

  12. City of Union, South Carolina (Utility Company) | 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 Siteof EnergyInnovationin UrbanCity ofCity of Spencer,City ofTroy,City of Union City,City

  13. The City of Union City | 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:Ezfeedflag JumpID-f <MaintainedInformation 2EnergyCity of Union City Jump to:

  14. Clay-Union Electric Coop | 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 directedAnnualProperty EditCalifornia:PowerCER.png El CER esDatasetCity ofClark Energy Coop IncClay-Union

  15. Union County Electric Coop Inc | 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 directedAnnualProperty Edit withTianlin BaxinUmwelt Management AG UMaAG Jump to: navigation,Una AUnicornUnion

  16. Union Light, Heat & Power Co | 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 directedAnnualProperty Edit withTianlin BaxinUmwelt Management AG UMaAG Jump to: navigation,UnaUnion

  17. Union Hill-Novelty Hill, Washington: Energy Resources | 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 IRaghuraji Agro IndustriesTown of Ladoga, IndianaTurtle AirshipsUnalakleet4888°, -77.0564464°Union

  18. Union Parish, Louisiana: Energy Resources | 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 IRaghuraji Agro IndustriesTown of Ladoga, IndianaTurtle AirshipsUnalakleet4888°, -77.0564464°Union48122°,

  19. A look back at Union Carbides FIRST 20 Years in Nuclear Energy...

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

    The Y-12 Plant Note: Union Carbide Nuclear Division, which started out as Carbide and Carbon Chemicals Company, operated the Atomic Energy CommissionEnergy Research and...

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

  1. Cash for Coolers

    E-Print Network [OSTI]

    Davis, Lucas W.; Fuchs, Alan; Gertler, Paul J.

    2012-01-01T23:59:59.000Z

    for refrigerator and air conditioner replacement and allof refrigerator and air-conditioner replacement on householdthat replacement of residential air conditioners would save

  2. Cash for Coolers

    E-Print Network [OSTI]

    Davis, Lucas W.; Fuchs, Alan; Gertler, Paul J.

    2012-01-01T23:59:59.000Z

    of refrigerator and air-conditioner replacement on householdfor refrigerator and air conditioner replacement and allassociated with air-conditioner replacement were to be

  3. Cash for Coolers

    E-Print Network [OSTI]

    Davis, Lucas W.; Fuchs, Alan; Gertler, Paul J.

    2012-01-01T23:59:59.000Z

    cost for these electricity consumption. U.S. DOE (2011b), p.replacement reduces electricity consumption by an average ofcontrast, increases electricity consumption by an average of

  4. Cash for Coolers

    E-Print Network [OSTI]

    Davis, Lucas W.; Fuchs, Alan; Gertler, Paul J.

    2012-01-01T23:59:59.000Z

    between government expenditure, electricity consumption, andelectricity consumption is subsidized by the Mexican Federal government.

  5. Cash for Coolers

    E-Print Network [OSTI]

    Davis, Lucas W.; Fuchs, Alan; Gertler, Paul J.

    2012-01-01T23:59:59.000Z

    2011. “Estimating the Social Cost of Carbon for Use in U.S.estimate for the social cost of carbon dioxide ($20 per ton)of values for the social cost of carbon dioxide according to

  6. Cash for Coolers

    E-Print Network [OSTI]

    Davis, Lucas W.; Fuchs, Alan; Gertler, Paul J.

    2012-01-01T23:59:59.000Z

    Fowlie. 2008. “Demand Side Management and Energy-efficiencyKulick. 2004. “Demand-Side Management and Energy- efficiency

  7. Cash for Coolers

    E-Print Network [OSTI]

    Davis, Lucas W.; Fuchs, Alan; Gertler, Paul J.

    2012-01-01T23:59:59.000Z

    average and marginal costs. About half of the cost of electricityaverage residential electricity prices, refrigerator replacement saves household $13 annually, while air-conditioner replacement costsaverage emissions intensity of electricity generation in Mexico in 2008. Direct program cost

  8. Chapter 06 - Cash

    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 Energy

  9. EIN Cash Flow Model

    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 Federal Register / Vol. 73,H Model SeniorDepartment ofInfographicEIAEIN

  10. Augmented gravity model: An empirical application to Mercosur-European Union trade flows

    E-Print Network [OSTI]

    Krivobokova, Tatyana

    DB Nr. 77 Augmented gravity model: An empirical application to Mercosur-European Union trade flows Inmaculada Martínez-Zarzoso Felicitas Nowak-Lehmann D. Abstract This paper applies the gravity trade model to assess Mercosur-European Union trade, and trade potential following the agreements reached recently

  11. Constitution of the Interactive Arts and Technology Student Union of the Simon Fraser Student Society

    E-Print Network [OSTI]

    Constitution of the Interactive Arts and Technology Student Union of the Simon Fraser Student Society May 12, 2010 Article 1 ­ Name The name of the Union shall be the "Interactive Arts and Technology of Interactive Arts and Technology, the University, the Simon Fraser Student Society (hereinafter referred

  12. Interactive Arts and Technology Student Union Room 245, Simon Fraser University Surrey

    E-Print Network [OSTI]

    Interactive Arts and Technology Student Union Room 245, Simon Fraser University Surrey 2400 Central, For some time now, members of the Executive of the Interactive Arts and Technology Student Union (IATSU on our campus who are not Interactive Arts and Technology students. We have considered several

  13. Briefing Note 2010 -2 Tax Fraud from Emissions Trading in the European Union

    E-Print Network [OSTI]

    Pedersen, Tom

    Briefing Note 2010 - 2 7 May 2010 Tax Fraud from Emissions Trading in the European Union Neil Tansey and Ivan Watson Issue The European Union Emissions Trading Scheme (EU ETS) began in 2005 as the largest multi-country and multi-sector greenhouse gas emissions trading system in the world by volume

  14. Exchange Rate Misalignments, Fiscal Federalism and Redistribution: How to Adjust in a Monetary Union

    E-Print Network [OSTI]

    Boyer, Edmond

    Union Preliminary draft Vincent Duwicquet Jacques Mazier Jamel Saadaoui 9th Euroframe Conference, jamelsaadaoui@gmail.com. 1 halshs-00848886,version1-29Jul2013 Author manuscript, published in "9th Euroframe Conference on Economic Policy Issues in the European Union, Kiel : Germany (2012)" #12;1 Introduction

  15. The impact of the European Union Emission Trading Scheme on electricity generation sectors

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    The impact of the European Union Emission Trading Scheme on electricity generation sectors Djamel the Kyoto Protocol, France and Germany par- ticipate to the European Union Emission Trading Scheme (EU ETS, the European market for emission allowances has increased the market power of the historical French electricity

  16. A Union Bound Approximation for Rapid Performance Evaluation of Punctured Turbo Codes

    E-Print Network [OSTI]

    Cambridge, University of

    A Union Bound Approximation for Rapid Performance Evaluation of Punctured Turbo Codes Ioannis a simple technique to approximate the performance union bound of a punctured turbo code. The bound to calculate the most significant terms of the transfer function of a turbo encoder. We demonstrate that

  17. IMU Activities Tower Application and Contract 1 Indiana Memorial Union, Room 270

    E-Print Network [OSTI]

    Indiana University

    IMU Activities Tower Application and Contract 1 Indiana Memorial Union, Room 270 Bloomington space in the Student Activities Tower of the Indiana Memorial Union to student organizations registered Board office--located on the second floor of the Student Activities Tower-- IMU Room 270. Even if you

  18. The Politicisation of Trade Unionism: The Case of Labour/NCNC Alliance in Nigeria, 1940-1960

    E-Print Network [OSTI]

    Ajayi, Rotimi

    1999-01-01T23:59:59.000Z

    1987. "Trade Unionism in Nigeria: Challenges for the 2 1stin Trade Unionism in Nigeria: Challenges for the 21stlabour organisation in Nigeria. It was headed by T.A.

  19. Vacation Donation Contribution Refer to the Administrative Policy: Vacation Donation Program for Civil Service and Union-Represented Staff at

    E-Print Network [OSTI]

    Amin, S. Massoud

    for Civil Service and Union-Represented Staff at http://www.policy.umn.edu/Policies/hr/Leaves/VACATIONDONATION.html and corresponding Procedure: Requesting/Donating Paid Leave for Civil Service/Union-Represented Staff at http

  20. Union Pacific Railroad`s LNG locomotive test program

    SciTech Connect (OSTI)

    Grimaila, B.

    1995-12-31T23:59:59.000Z

    Union Pacific Railroad is testing LNG in six locomotives through 1997 to determine if the liquefied natural gas technology is right for them. Two of the six LNG test locomotives are switch, or yard, locomotives. These 1,350 horsepower locomotives are the industry`s first locomotives totally fueled by natural gas. They`re being tested in the yard in the Los Angeles area. The other four locomotives are long-haul locomotives fueled by two tenders. These units are duel-fueled, operating on a mixture of LNG and diesel and are being tested primarily on the Los Angeles to North Platte, Nebraska corridor. All the information concerning locomotive emissions, locomotive performance, maintenance requirements, the overall LNG system design and the economic feasibility of the project will be analyzed to determine if UPR should expand, or abandon, the LNG technology.

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

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

  3. U.S. Residential Photovoltaic (PV) System Prices, Q4 2013 Benchmarks: Cash Purchase, Fair Market Value, and Prepaid Lease Transaction Prices

    SciTech Connect (OSTI)

    Davidson, C.; James, T. L.; Margolis, R.; Fu, R.; Feldman, D.

    2014-10-01T23:59:59.000Z

    The price of photovoltaic (PV) systems in the United States (i.e., the cost to the system owner) has dropped precipitously in recent years, led by substantial reductions in global PV module prices. This report provides a Q4 2013 update for residential PV systems, based on an objective methodology that closely approximates the book value of a PV system. Several cases are benchmarked to represent common variation in business models, labor rates, and module choice. We estimate a weighted-average cash purchase price of $3.29/W for modeled standard-efficiency, polycrystalline-silicon residential PV systems installed in the United States. This is a 46% decline from the 2013-dollar-adjusted price reported in the Q4 2010 benchmark report. In addition, this report frames the cash purchase price in the context of key price metrics relevant to the continually evolving landscape of third-party-owned PV systems by benchmarking the minimum sustainable lease price and the fair market value of residential PV systems.

  4. 2013 American Geophysical Union. All Rights Reserved. Tidal dissipation in the early Eocene and implications for ocean mixing

    E-Print Network [OSTI]

    Holland, Jeffrey

    © 2013 American Geophysical Union. All Rights Reserved. Tidal dissipation in the early Eocene this article as doi: 10.1002/grl.50510 AcceptedArticle #12;© 2013 American Geophysical Union. All Rights Passage and Tasman Gateways AcceptedArticle #12;© 2013 American Geophysical Union. All Rights Reserved

  5. Ohio Union Event Spaces 1739 N. High Street Columbus, Ohio 43210 (614) 688-4636ohiounion.osu.edu

    E-Print Network [OSTI]

    Jones, Michelle

    Ohio Union is LEED certified (Leadership in Energy and Environmental Design) Silver Status · HabitatOhio Union Event Spaces 1739 N. High Street Columbus, Ohio 43210 (614) 688-4636ohiounion;Weddings at the Ohio Union Archie M. Griffin East Ballroom | For more information about weddings

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

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

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

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

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

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

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

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

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

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

  16. A look back at Union Carbides FIRST 20 Years in Nuclear Energy...

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

    "Radioisotopes are used as tracers in checking reactions in making chemicals and plastics. They permit accurate determinations that were impossible previously. "Agricultural...

  17. A SUMMARY OF COAL IN THE FORT UNION FORMATION (TERTIARY), BIGHORN BASIN,

    E-Print Network [OSTI]

    Chapter SB A SUMMARY OF COAL IN THE FORT UNION FORMATION (TERTIARY), BIGHORN BASIN, WYOMING assessment of selected Tertiary coal beds and zones in the Northern RockyMountains and Great Plains region, U...........................................................................................................................SB-1 Coal Production History

  18. Economic Interests and the European Union: A Catalyst for European Integration or a Hindrance? 

    E-Print Network [OSTI]

    Howarth, D.; Sadeh, T.

    The influence of economic interest groups on national policy-making on European Union-level policy and European integration seems to be case specific and circumstantial. Certain economic interests (for example, pension funds) are so influential...

  19. The impact of the European Union Emissions Trading Scheme on US aviation

    E-Print Network [OSTI]

    Malina, Robert

    We estimate the economic impacts on US airlines that may arise from the inclusion of aviation in the European Union Emissions Trading Scheme from 2012 to 2020. We find that the Scheme would only have a small impact on US ...

  20. Why Lead Labor?: Projects and Pathways in California Unions, 1984-2001

    E-Print Network [OSTI]

    Strauss, George

    2003-01-01T23:59:59.000Z

    This paper explores how union leadership has developed over the last 20 years. While other studies have focused on the careers of top leaders or new recruits, we examine the careers of rising leaders over time. Finding ...

  1. Hydrologic and hydraulic assessment of artificial recharge in the Sparta Aquifer of Union County, Arkansas

    E-Print Network [OSTI]

    Sowby, Robert B

    2013-01-01T23:59:59.000Z

    Groundwater pumping from the Sparta aquifer in Union County, Arkansas, has long exceeded natural recharge, threatening the regional water supply. An alternative water-supply project, completed in 2004, now provides treated ...

  2. Contest, social valuation and change in American labor-union organizing, 1961-2004

    E-Print Network [OSTI]

    Ferguson, John-Paul

    2009-01-01T23:59:59.000Z

    In this thesis I explore the connections between changes to the formal procedures by which American labor unions enroll new members and the subsequent meanings and purposes that potential members and third parties attribute ...

  3. Economic impact of the European Union Emission Trading Scheme : evidence from the refining sector

    E-Print Network [OSTI]

    Lacombe, Romain H

    2008-01-01T23:59:59.000Z

    I study the economic impact of the European Union Emission Trading Scheme (EU ETS) on the refining industry in Europe. I contrast previous ex-ante studies with the lessons from a series of interviews I conducted with ...

  4. Geochemical modeling of an aquifer storage and recovery project in Union County, Arkansas

    E-Print Network [OSTI]

    Zhu, Ni, M. Eng. Massachusetts Institute of Technology

    2013-01-01T23:59:59.000Z

    The Sparta aquifer in Union County, Arkansas has served as an important potable water supply to the public and industrial sectors in the area. However, increasing water demand and sustained heavy pumping from the aquifer ...

  5. Pollution Prevention Plan for the Y-12 Analytical Chemistry Organization Off-Site Union Valley Facility

    SciTech Connect (OSTI)

    Jackson, J. G.

    2010-03-01T23:59:59.000Z

    The Y-12 Analytical Chemistry Organization (ACO) Off-Site Union Valley Facility (Union Valley Facility) is managed by Babcock and Wilcox Technical Services Y-12, L.L.C. (B and W Y-12) through the Y-12 National Security Complex organization. Accordingly, the Y-12 Pollution Prevention Program encompasses the operations conducted at the Union Valley Facility. The Y-12 Program is designed to fully comply with state, federal and U.S. Department of Energy (DOE) requirements concerning waste minimization/pollution prevention as documented in the Y-12 Pollution Prevention Program Plan. The Program is formulated to reduce the generation and toxicity of all Y-12 wastes in all media, including those wastes generated by the Union Valley Facility operations. All regulatory and DOE requirements are met by the Y-12 Program Plan.

  6. The Effects Of Port Security Compliance On The Competitiveness Of European Union Maritime Industry Firms

    E-Print Network [OSTI]

    Stone, Jonathan Taylor

    2013-02-12T23:59:59.000Z

    ABSTRACT The Effects Of Port Security Compliance On The Competitiveness Of European Union Maritime Industry Firms. (May 2013) Jonathan Stone Department of Maritime Administration Texas A&M University Research Advisor: Dr. Joan Mileski Department...

  7. The Impact of the European Union Sugar Sector Policy on Brazilian Poverty 

    E-Print Network [OSTI]

    Avram, Bianca

    2011-11-24T23:59:59.000Z

    This study assesses the impact of the European Union (EU) common sugar policy on Brazilian poverty levels. First, using a simple linear regression, the Brazilian and EU sugar exports to common third countries were analysed, the results showing...

  8. Topological color codes on Union Jack lattices: a stable implementation of the whole Clifford group

    E-Print Network [OSTI]

    Katzgraber, Helmut G.; Bombin, H.; Andrist, Ruben S.; Martin-Delgado, M. A.

    2010-01-01T23:59:59.000Z

    We study the error threshold of topological color codes on Union Jack lattices that allow for the full implementation of the whole Clifford group of quantum gates. After mapping the error-correction process onto a statistical mechanical random three...

  9. Electricity internal market in the European Union : what to do next?

    E-Print Network [OSTI]

    Glachant, Jean-Michel

    The European Union's "internal energy market" remains a work in progress. It is even possible its construction were to stall. Given current political, institutional and business conditions in Europe, there are no guarantees ...

  10. Key to Juniperus of Central Asia (from Turkmenistan/Iran through the former Soviet rev. 2/2011 Union, Pakistan and the Western Himalayas, including Nepal)

    E-Print Network [OSTI]

    Adams, Robert P.

    /2011 Union, Pakistan and the Western Himalayas, including Nepal) 1a. All leaves acicular (subulate, jointed

  11. European Union Energy Performance of Building Directive and the Impact of Building Automation on Energy Efficiency 

    E-Print Network [OSTI]

    Wirth, U.

    2008-01-01T23:59:59.000Z

    Gubelstrasse 22 CH-6301 Zug 00 41 41/ 7 24 55 60 wirth.ulrich@siemens.com European Union Energy Performance of Buildings Directive and The impact of Building Automation on Energy Efficiency Buildings account for 40 percent of global energy... consumption. The European Union's 2002 Energy Performance of Buildings Directive takes this fact into account and formulates savings goals. A resulting European standard, and uniform certification, applicable throughout Europe, form the foundation since...

  12. Uranium mine and mill tailings - Liabilities in the European Union

    SciTech Connect (OSTI)

    Hilden, Wolfgang; Murphy, Simon [European Commission, Maison de l'Europe, L-2920 (Luxembourg); Vrijen, Jan [KARUWEEG BV, Leliendaalsedreef 9, 4333 JZ Middelburg (Netherlands)

    2007-07-01T23:59:59.000Z

    Available in abstract form only. Full text of publication follows: Uranium mining and milling has taken place on large scale in the Member States of the European Union (EU) for some 60 years. Although, compared to mining, milling activities are normally concentrated in fewer locations, this can still result in a relatively large number of disposal sites for the tailings, compared to other radioactive wastes. In addition these sites are also quite large, in terms of both volume and surface area. Coupled with the residual uranium in the tailings together with other radionuclides, heavy metals, chemicals etc this results in an environmental legacy continuing far into the future. Often during production no or little provision has been made for the closure, remediation and future supervision of such sites. In 1996 the European Commission funded an inventory of uranium mining and milling liabilities in nine Central and Eastern European Countries. Additionally, pilot projects were funded to carry out remediation activities at several sites. Almost ten years later the Commission has identified the need to address the situation of these large liabilities in all EU Member States and to assess the progress made in remediation of the sites, especially in view of the closure of almost all mining activities in Europe. The Commission study has identified the current tailings liabilities in Europe, their status, the future plans for these sites and the hazards that continue to be associated with them. It is clear that although considerable progress has been made in recent years, much work remains to be carried out in the areas of remediation, and ensuring the long-term safety of many of the identified objects. The paper presents the main findings of the study, as well as the challenges identified to ensure long-term safety of these wastes. (authors)

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

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

  15. 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, architecture­level security

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

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

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

  19. Union-Party Links and the Reconfiguration of the Labor Movement: Brazil and Mexico 1990-2007

    E-Print Network [OSTI]

    Miljanic, Andra Olivia

    2010-01-01T23:59:59.000Z

    Arizpe). Workers at the General Motors Engine Plant in RamosWorkers’ Union, General Motors Engine and Transmissionsand engine plants in Ramos Arizpe, Coahuila. General Motors

  20. The impact of the European Union Emissions Trading Scheme on US aviation Robert Malina a,c

    E-Print Network [OSTI]

    The impact of the European Union Emissions Trading Scheme on US aviation Robert Malina a, Germany Keywords: European air transport policy Carbon emissions trading US airline industry a b s t r a c in the European Union Emissions Trading Scheme from 2012 to 2020. We find that the Scheme would only have a small

  1. Policy Brief: Still time to reclaim the European Union Emissions Trading System for the European tax payer

    E-Print Network [OSTI]

    Policy Brief: Still time to reclaim the European Union Emissions Trading System for the European of the European Union Emissions Trading System (EU ETS) are not restrictive enough. Evidence from interviews The EU Commission is currently finalising the design of the third trading phase of the European Emissions

  2. UBC Social Ecological Economic Development Studies (SEEDS) Student Report An Investigation Into Composting Alternatives at the New Student Union Building

    E-Print Network [OSTI]

    Into Composting Alternatives at the New Student Union Building Doug Downing, Kelly Vargas, Lawrence Penkar, James Investigation into Composting Alternatives at the New Student Union Building Technology and Society ­ APSC 261 is handled must be considered in detail. Nearly 48% of the total waste from the SUB is compostable

  3. Vacation Donation Donor/Recipient Refer to the Administrative Policy: Vacation Donation Program for Civil Service and Union-Represented Staff

    E-Print Network [OSTI]

    Amin, S. Massoud

    Program for Civil Service and Union-Represented Staff http://www.policy.umn.edu/Policies/hr/Leaves/VACATIONDONATION.html and corresponding Procedure: Requesting/Donating Paid Leave for Civil Service/Union-Represented Staff http

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

  5. The Burke Library Archives, Columbia University Libraries, Union Theological Seminary, New York

    E-Print Network [OSTI]

    Salzman, Daniel

    to the State Anti-Slavery Convention in Utica, NY. He attended New Haven Theological Seminary from 1837-1839, and completed his Masters of Divinity degree at Union Theological Seminary in 1840. Bush served a number donated to the Burke Library exemplify the writing methods of ancient Asia. Palm leaf manuscripts date

  6. GRADUATE ASSISTANT UNION REPRESENTATION ELECTION Guidelines For Management & Faculty Working With Graduate Assistants

    E-Print Network [OSTI]

    Janssen, Michel

    GRADUATE ASSISTANT UNION REPRESENTATION ELECTION Guidelines For Management & Faculty Working With Graduate Assistants What Management May and May Not Do In general, continue to manage as you have in the past. Apply work rules and appropriate policies, neither applying them more strictly nor more leniently

  7. In 145 "C" Student Union: 10:00 Green Careers for Any Major

    E-Print Network [OSTI]

    Sachs, Frederick

    's Climate Action Plan Bradshaw Hovey, Building UB, bhovey@buffalo.edu http://www.buffalo.edu/ub2020_index.htm http://groundworkusa.org/ 1:00 Arctic Climate Change & UB's new Environmental Geosciences major In 145 "C" Student Union: 10:00 Green Careers for Any Major Ed Brodka, Career Services, brodka

  8. INTERNATIONAL UNION OF FORESTRY RESEARCH ORGANISATIONS (IUFRO) MANAGEMENT MEETS IN SOUTH AFRICA

    E-Print Network [OSTI]

    INTERNATIONAL UNION OF FORESTRY RESEARCH ORGANISATIONS (IUFRO) MANAGEMENT MEETS IN SOUTH AFRICA of Forestry Research Organizations (IUFRO). IUFRO is one of the world's oldest scientific organizations, well forestry focus, FABI staff and students were delighted to be able to meet and entertain the leaders

  9. Eos,Vol. 85, No. 46, 16 November 2004 use among European Union (EU) member

    E-Print Network [OSTI]

    Wang, Chunzai

    Eos,Vol. 85, No. 46, 16 November 2004 use among European Union (EU) member states applications of the atlas contents should have no problem doing so. The price of the atlas is a hefty $310 the substantial amount of information contained within the atlas,the price represents a good value,and university

  10. FORT UNION COAL IN THE POWDER RIVER BASIN, WYOMING AND MONTANA: A SYNTHESIS

    E-Print Network [OSTI]

    Chapter PS FORT UNION COAL IN THE POWDER RIVER BASIN, WYOMING AND MONTANA: A SYNTHESIS By R of selected Tertiary coal beds and zones in the Northern RockyMountains and Great Plains region, U Resource assessment of selected Tertiary coal beds and zones in the Northern Rocky Mountains and Great

  11. FORT UNION COAL IN THE GREATER GREEN RIVER BASIN, EAST FLANK OF THE ROCK SPRINGS UPLIFT,

    E-Print Network [OSTI]

    Chapter GS FORT UNION COAL IN THE GREATER GREEN RIVER BASIN, EAST FLANK OF THE ROCK SPRINGS UPLIFT 1999 Resource assessment of selected Tertiary coal beds and zones in the Northern Rocky in the toolbar to return. 1999 Resource assessment of selected Tertiary coal beds and zones in the Northern Rocky

  12. Energy Policy 31 (2003) 459481 The costs of the Kyoto Protocol in the European Union

    E-Print Network [OSTI]

    ``flexible mechanisms'' (emission trading, clean development mechanism, and Joint Implementation) in order emissions trading within the European Union'' that proposes to introduce in 2005 an EU trading system be implemented at national level: e.g., emissions trading systems are in the process of being established

  13. Communist coalmining union activists and postwar reconstruction, 1945-52: Germany, Poland, and Britain

    SciTech Connect (OSTI)

    Fishman, N.; Prazmowska, A.J.; Heith, H. [University of Westminster, London (United Kingdom)

    2006-01-15T23:59:59.000Z

    The demand for coal in war-torn Europe after VE Day gave coalmining trade unions unprecedented bargaining leverage. Miners' incomes had been depressed throughout the interwar period, and they were now anxious to recover their past high wages and improve their conditions. In several key European countries, Communists were prominent among the leadership of mining trade unions. Communist miners' leaders Willi Agatz, Edward Gierek and Arthur Horner each faced unprecedented opportunities and challenges at the onset of the Cold War in 1948, as they sought to fuse their parallel identities as committed and influential Communists and as conscientious trade union negotiators in these newly advantageous circumstances. Each of these three 'revolutionary' trade unionists pursued strategies that revived the position of miners, without undermining the potential for economic recovery in their respective countries - for which an uninterrupted supply of coal remained critical. A comparative study of the personal and political experiences of the three Communist miners' leaders enhances our understanding of the evolution of Communist trade unionism in the early postwar period.

  14. South Africa European Union Summit SIDE EVENT ON WATER RESEARCH FOR

    E-Print Network [OSTI]

    1 South Africa ­ European Union Summit SIDE EVENT ON WATER RESEARCH FOR SUSTAINABLE DEVELOPMENT, Department of Biodiversity, University of Limpopo, South Africa Dr. Dominique ROLLIN, CEMAGREF, French Joint, South Africa Dr Mbhuti HLOPHE, Department of Chemistry, North West University, South Africa Prof K

  15. Alerting Humanitarians to Emergencies TOKYO, March 9 (Reuters) -Japan warned the European Union on Wednesday

    E-Print Network [OSTI]

    for international cooperation," Satoru Ohtake, director of fusion energy at the Science and Technology Ministry to construct the first thermonuclear reactor -- the European Union, Japan, China, the United States, Russia it was too early to hold high-level political talks to resolve the simmering dispute. The EU had called

  16. 15 2 1 2013 Union Press ccchan@eee.hku.hk

    E-Print Network [OSTI]

    Leung, Ka-Cheong

    17 LTO LTO LTO LTO Altairnano, 2012 Wave energy Wind energy Geothermal energy Wind energy Modern biomass energy Solar energy Geothermal energy #12;18 Studies in Science15 2 1 2013 Union Press ccchan@eee.hku.hk ln.jian@siat.ac.cn Correlation between energy

  17. Comparing public policies in multilevel governance systems: tobacco control in the European Union

    E-Print Network [OSTI]

    Goerdel, Holly Thompson

    2009-05-15T23:59:59.000Z

    ???????.?... 57 Greece: Tobacco Control ?????????? 58 Italy: Tobacco Control ??????????? 60 Netherlands: Tobacco Control ???????? 62 Portugal: Tobacco Control ?????????. 64 Spain: Tobacco Control ??????????.. 65 Sweden: Tobacco... countries in the European Union: Austria, Belgium, Denmark, Finland, France, Germany, Greece, Ireland, Italy, Luxembourg, Portugal, Spain, Sweden, Netherlands, and the United Kingdom. I add to this historical account empirical evidence in support of how...

  18. The Economic Partnership Agreements Between the European Union and the African-Caribbean-

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    The Economic Partnership Agreements Between the European Union and the African-Caribbean- Pacific ............................................................................................................................ 33 #12;4 LIST OF ACRONYMS ACP African, Caribbean and Pacific [countries] AEC African Economic negotiating Economic Partnership Agreements (EPAs) with countries in the African, Caribbean and Pacific (ACP

  19. FRAMEWORK GEOLOGY OF FORT UNION COAL IN THE EASTERN ROCK SPRINGS UPLIFT,

    E-Print Network [OSTI]

    Chapter GF FRAMEWORK GEOLOGY OF FORT UNION COAL IN THE EASTERN ROCK SPRINGS UPLIFT, GREATER GREEN RIVER BASIN, WYOMING By R.M. Flores,1 A.M. Ochs,2 and L.R. Bader1 in U.S. Geological Survey Professional Paper 1625-A 1 U.S. Geological Survey 2 Consultant, U.S. Geological Survey, Denver, Colorado 1999

  20. Santiago-Valles, Kelvin, Associate Professor, PhD, 1980, Union Graduate School: Latin

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    319 Santiago-Valles, Kelvin, Associate Professor, PhD, 1980, Union Graduate School: Latin America, theories, ideologies. (1984) Sarkar, Mahua, Assistant Professor, PhD, 1999, Johns Hopkins University, PhD, 1967, Yale University: Political economy, revolutionary change, East Asia, socialist development

  1. UAW Local 2865 Membership Election Form UAW Local 2865 is the Union representing academic student employees (ASEs) at the University of California

    E-Print Network [OSTI]

    Barrett, Jeffrey A.

    07/24/12 UAW Local 2865 Membership Election Form UAW Local 2865 is the Union representing academic student employees (ASEs) at the University of California (UC). As the exclusive representative, the Union representatives, and otherwise participate in the Union. Or I decline membership in UAW Local 2865. As a non

  2. UBC Social Ecological Economic Development Studies (SEEDS) Student Report Scaling-Up On-Site Composting in the Student Union Building ~UBC Vancouver~

    E-Print Network [OSTI]

    -Site Composting in the Student Union Building ~UBC Vancouver~ GRS 397 August 26, 2014 891 1673 University-Site Composting in the Student Union Building ~UBC Vancouver~ 2 Conducted by: Emme Lee Conducted for: AMS;Author: Emme Lee Scaling-Up On-Site Composting in the Student Union Building ~UBC Vancouver~ 3 CONTEXT

  3. UBC Social Ecological Economic Development Studies (SEEDS) Student Report Scaling-Up On-Site Composting in the Student Union Building ~UBC Vancouver~

    E-Print Network [OSTI]

    -Site Composting in the Student Union Building ~UBC Vancouver~ GRS 497B November 01, 2013 282 1667 University-Site Composting in the Student Union Building ~UBC Vancouver~ 2 Conducted by: Emme Lee Email: Phone: Conducted for: November 2013 #12;Author: Emme Lee Scaling-Up On-Site Composting in the Student Union Building ~UBC

  4. Climate research in the former Soviet Union. FASAC: Foreign Applied Sciences Assessment Center technical assessment report

    SciTech Connect (OSTI)

    Ellingson, R.G.; Baer, F.; Ellsaesser, H.W.; Harshvardhan; Hoffert, M.I.; Randall, D.A.

    1993-09-01T23:59:59.000Z

    This report assesses the state of the art in several areas of climate research in the former Soviet Union. This assessment was performed by a group of six internationally recognized US experts in related fields. The areas chosen for review are: large-scale circulation processes in the atmosphere and oceans; atmospheric radiative processes; cloud formation processes; climate effects of natural atmospheric disturbances; and the carbon cycle, paleoclimates, and general circulation model validation. The study found an active research community in each of the above areas. Overall, the quality of climate research in the former Soviet Union is mixed, although the best Soviet work is as good as the best corresponding work in the West. The best Soviet efforts have principally been in theoretical studies or data analysis. However, an apparent lack of access to modern computing facilities has severely hampered the Soviet research. Most of the issues considered in the Soviet literature are known, and have been discussed in the Western literature, although some extraordinary research in paleoclimatology was noted. Little unusual and exceptionally creative material was found in the other areas during the study period (1985 through 1992). Scientists in the former Soviet Union have closely followed the Western literature and technology. Given their strengths in theoretical and analytical methods, as well as their possession of simplified versions of detailed computer models being used in the West, researchers in the former Soviet Union have the potential to make significant contributions if supercomputers, workstations, and software become available. However, given the current state of the economy in the former Soviet Union, it is not clear that the computer gap will be bridged in the foreseeable future.

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

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

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

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

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

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

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

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

  13. 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 Power­Aware Computing #3; Marta Kwiatkowska Gethin Norman David­aware computing aims either to maximise the per­ formance of a system under certain constraints on its power

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

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

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

    E-Print Network [OSTI]

    LaValle, Steven M.

    1 A Single­Query Bi­Directional Probabilistic Roadmap Planner with Lazy Collision Checking Gildardo probabilistic roadmap (PRM) planner that is: single­query --it does not pre­compute a roadmap, but uses the two the robot's free space by concurrently building a roadmap made of two trees rooted at the query

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  15. European Union Energy Performance of Building Directive and the Impact of Building Automation on Energy Efficiency

    E-Print Network [OSTI]

    Wirth, U.

    2008-01-01T23:59:59.000Z

    Gubelstrasse 22 CH-6301 Zug 00 41 41/ 7 24 55 60 wirth.ulrich@siemens.com European Union Energy Performance of Buildings Directive and The impact of Building Automation on Energy Efficiency Buildings account for 40 percent of global energy... building automation and control and technical building management based on the same may provide a demonstrable contribution to EU savings goals of 20 percent by 2020. The goal of European Directive 2002/91/EC on the total energy efficiency of buildings...

  16. Short-Term Energy Tests of a Credit Union Building in Idaho (Draft)

    SciTech Connect (OSTI)

    Subbarao, K.; Balcomb, J. D.

    1993-01-01T23:59:59.000Z

    This report describes tests and results of the energy performance of a credit union building in Idaho. The building is in the Energy Edge Program administered by the Bonneville Power Administration (BPA). BPA provided incentives to incorporate innovative features designed to conserve energy use by the building. It is of interest to determine the actual performance of these features. The objective of this project was to evaluate the applicability of the SERI short-term energy monitoring (STEM) method to nonresidential buildings.

  17. Why and How the European Union Can Get a (Near To) Carbon-Free Energy System in 2050?

    E-Print Network [OSTI]

    Jones, Christopher

    Reducing the European Union GHG emissions by at least 80% by 2050 will require a near zero carbon electricity, road and rail transport industry, and heating and cooling in buildings. As compared to “business as usual” the ...

  18. The New Great Debate about Unionism and Collective Bargaining in U.S. State and Local Governments

    E-Print Network [OSTI]

    Kochan, Thomas Anton

    Recently some state and local governments in the United States have sharply reduced or eliminated employee unionism and bargaining rights in the belief that their fiscal adversity stems mainly from overcompensation of ...

  19. Marriage or Civil Unions for Single Cells and Metagenomics (Metagenomics Informatics Challenges Workshop: 10K Genomes at a Time)

    SciTech Connect (OSTI)

    Rusch, Doug [J. Craig Venter Institute] [J. Craig Venter Institute

    2011-10-13T23:59:59.000Z

    JCVI's Doug Rusch on "Marriage or Civil Unions for Single Cells and Metagenomes" at the Metagenomics Informatics Challenges Workshop held at the DOE JGI on October 12-13, 2011.

  20. Identifying and estimating the distributional effects of unionization and the long-term consequences of military service

    E-Print Network [OSTI]

    Frandsen, Brigham R

    2010-01-01T23:59:59.000Z

    This thesis is concerned with the economic consequences for individuals of two important U.S. labor market institutions: unionization and the military draft. The first chapter develops an econometric procedure for estimating ...

  1. Marriage or Civil Unions for Single Cells and Metagenomics (Metagenomics Informatics Challenges Workshop: 10K Genomes at a Time)

    ScienceCinema (OSTI)

    Rusch, Doug [J. Craig Venter Institute

    2013-01-22T23:59:59.000Z

    JCVI's Doug Rusch on "Marriage or Civil Unions for Single Cells and Metagenomes" at the Metagenomics Informatics Challenges Workshop held at the DOE JGI on October 12-13, 2011.

  2. QER- Comment of David Cash

    Broader source: Energy.gov [DOE]

    Dear Katy, Thank you for your engagement in this issue – so crucial right now in terms of protecting our environment for the future and growing our economy. I would like to take this opportunity to correct what appears to be a misunderstanding in your email below about what I presented.

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

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

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

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

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

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

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

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

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

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

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

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

  15. Scion dominance and related factors influencing compatability in citrus graft unions

    E-Print Network [OSTI]

    Cintron, Rafael H.

    1946-01-01T23:59:59.000Z

    SCION DOMINANCE AND RELATED FACTORS INFLUENCING COMPATIBILITY IN CITRUS GRAFT UNIOHS A The?ia SC H? Clntr&i August 194C Approval as to atyl* and content recommended* m t m m m m m m belated factors nfHOTQiua compatibilitt in cithus m m r... Major Subjectt Horticulture By Rafael H* Clntr&n August 1946 SCI01T DOHIH/ffiCB AND RELATED FACTORS INFLUENCING COMPATIBILITY ITT CITRUS GR APT UNIONS 14-f 706 'The writer1 wishes to express M s sincere approeiation to Dr* Guy W? Adrianee# Head...

  16. September 8, 2011, HSS/Union Focus Group Work Group Telecom - Agenda

    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 »UsageSecretary of EnergyFocus Group HSS/Union Work Group Telecom September

  17. September 8, 2011, HSS/Union Focus Group Work Group Telecom - Meeting Overview and Action Summary

    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 »UsageSecretary of EnergyFocus Group HSS/Union Work Group Telecom September

  18. September 8, 2011, HSS/Union Focus Group Work Group Telecom - Work Group Charter

    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 »UsageSecretary of EnergyFocus Group HSS/Union Work Group Telecom

  19. September 8, 2011, HSS/Union Focus Group Work Group Telecom - Work Group Guidance

    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 »UsageSecretary of EnergyFocus Group HSS/Union Work Group Telecom7-29-11

  20. September 8, 2011, HSS/Union Focus Group Work Group Telecom - Work Group matrix

    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 »UsageSecretary of EnergyFocus Group HSS/Union Work Group Telecom7-29-11Rev

  1. Otimizing [i.e., Optimizing] graft union formation between sweet potato (Ipomoea batatas) and bush morning glory (Ipomoea carnea ssp. fistulosa) as a prelude to chimera development

    E-Print Network [OSTI]

    Maxwell, Douglas Wayne

    2013-02-22T23:59:59.000Z

    in or near the graft union. Results indicate that in vivo grafting of these two species may not be the best procedure for obtaining interspecific chimeras....

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

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

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

  5. Bibliography on northern pipelines in the former Soviet Union. Special report

    SciTech Connect (OSTI)

    Smallidge, E.R.

    1997-08-01T23:59:59.000Z

    In 1993 a pilot project between the Defense Technical Information Center and the U.S. Army Cold Regions Research and Engineering Laboratory resulted in a proposal to conduct a state-of-the-art review of technology and techniques for building, operating, and maintaining arctic natural gas and liquid petroleum pipelines in the former Soviet Union. The objectives of the pipeline review were to (1) Review the design, construction, operation, and maintenance procedures of oil and gas pipelines in the permafrost areas of eastern and western Siberia. (2) Assemble data on the evolution of Siberian pipelines, reflecting changes in size, modes of construction, and age. (3) Assemble data on maintenance procedures and practices, including inspection techniques with respect to corrosion, pipe wrinkling, and metal fatigue. (4) Assemble data on pipeline failures and attempt to predict life expectancy of different pipelines under the harsh arctic environment. (5) Evaluate the environmental impact of different pipeline construction techniques and relate it to ruptures and breaks. In conjunction with the study objectives, a literature search was conducted on northern pipelines in the former Soviet Union. References were compiled on dates of construction, location, route conditions, design, construction, maintenance, environmental impact, accidents, production management, and other pertinent facts. In the resulting bibliography, references are separated into three categories: Oil and Gas Pipelines, Construction, and Accidents. There is some repetition of references between the categories because some are relevant to more than one of the subject categories.

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

  7. Vacation Donation Program: Physician's StatementConfidential Information Refer to the Administrative Policy: Vacation Donation Program for Civil Service and Union-Represented Staff at

    E-Print Network [OSTI]

    Amin, S. Massoud

    to the Administrative Policy: Vacation Donation Program for Civil Service and Union-Represented Staff at http://www.policy.umn.edu/Policies/hr/Leaves/VACATIONDONATION.html and corresponding Procedures: Requesting/Donating Paid Leave for Civil Service/Union-Represented Staff at http

  8. UBC Social Ecological Economic Development Studies (SEEDS) Student Report An Investigation Into Solid Waste Accounting In the New Student Union Building At the

    E-Print Network [OSTI]

    Into Solid Waste Accounting In the New Student Union Building At the University of British Columbia Lucy Bai of a project/report". #12;An Investigation Into Solid Waste Accounting In the New Student Union Building Strategy, a waste accounting method is needed to measure the amount of solid waste generated in the New

  9. Development of a clinically relevant strategy to promote fracture healing in an atrophic non-union model using mesenchymal stem cells 

    E-Print Network [OSTI]

    Tawonsawatruk, Tulyapruek

    2014-07-05T23:59:59.000Z

    Atrophic non-union is a major complication following fracture of a bone. It represents a biological failure of the fracture healing process and occurs in 5-10% of cases. A number of factors predispose to atrophic non-union ...

  10. UBC Social Ecological Economic Development Studies (SEEDS) Student Report An Investigation Into Composting Food Waste at the New Student Union Building

    E-Print Network [OSTI]

    Into Composting Food Waste at the New Student Union Building Peter Hua, Jordan Smith, Kelsey Zhu University Investigation Into Composting Food Waste at the New Student Union Building Peter Hua Jordan Smith Kelsey Zhu LIST OF ILLUSTRATIONS GLOSSARY LIST OF ABBREVIATIONS 1.0 INTRODUCTION 2.0 ROOFTOP COMPOSTING

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

  12. http://webhelp.esri.com/arcgisdesktop/9.3/index.cfm?id=1342&pid=1336&topicname=Union_(Analysis) Union Computes a geometric intersection of the Input Features. All features will be written to the

    E-Print Network [OSTI]

    Brownstone, Rob

    http://webhelp.esri.com/arcgisdesktop/9.3/index.cfm?id=1342&pid=1336&topicname Toolbox ­Overlay Toolset ­ Union #12;http://webhelp.esri.com/arcgisdesktop/9.3/index.cfm?id=1342&pid=1336

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

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

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

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

  17. Contamination of the Northern Oceans from Releases of Radioactivity from the Former Soviet Union

    SciTech Connect (OSTI)

    Gomez, Leo S.

    1999-06-04T23:59:59.000Z

    During the Cold War the handling of Soviet military nuclear wastes was a classified topic--kept secret to hide the status and readiness of Soviet military forces. Following the end of the Cold War information about the handling of nuclear wastes by agencies of the Former Soviet Union (FSU) became available. The US Government response to the disclosure of disposal of radioactive wastes into the Arctic Ocean and into rivers that drain into the Arctic Ocean was the finding of the Arctic Nuclear Waste Assessment Program (ANWAP) in the Office of Naval Research (ONR). Projects were aided by ANWAP to study the behavior, transport, and fate of radionuclides in the Arctic Ocean. One of the research teams, the Risk Assessment Integration Group (RAIG) assessed the potential risks to humans and to the environment, particularly in the US Alaskan Arctic.

  18. Network Analysis in the Legal Domain: A complex model for European Union legal sources

    E-Print Network [OSTI]

    Koniaris, Marios; Vassiliou, Yannis

    2015-01-01T23:59:59.000Z

    Legislators, designers of legal information systems, as well as citizens face often problems due to the interdependence of the laws and the growing number of references needed to interpret them. Quantifying this complexity is not an easy task. In this paper, we introduce the "Legislation Network" as a novel approach to address related problems. We have collected an extensive data set of a more than 60-year old legislation corpus, as published in the Official Journal of the European Union, and we further analysed it as a complex network, thus gaining insight into its topological structure. Among other issues, we have performed a temporal analysis of the evolution of the Legislation Network, as well as a robust resilience test to assess its vulnerability under specific cases that may lead to possible breakdowns. Results are quite promising, showing that our approach can lead towards an enhanced explanation in respect to the structure and evolution of legislation properties.

  19. The Role of Domestic Factors in the Formation of Trade Unions: A Look at Turkey/EU Relations

    E-Print Network [OSTI]

    Youngblood, Kristina Lynne

    2008-08-19T23:59:59.000Z

    studied Turkey and the European Union (EU). Turkey was officially admitted as a candidate country to the EU in 1997. Despite efforts to meet EU demands, Turkey’s admittance has been blocked. As recently as 2007 Turkey was denied membership, while...

  20. Rapid land use change after socio-economic disturbances: the collapse of the Soviet Union versus Chernobyl

    E-Print Network [OSTI]

    Radeloff, Volker C.

    Chernobyl This article has been downloaded from IOPscience. Please scroll down to see the full text article after socio-economic disturbances: the collapse of the Soviet Union versus Chernobyl Patrick Hostert1 were at least as drastic as those of the nuclear disaster in the Chernobyl region in 1986. While

  1. April 25, 2013 Update on UC and AFSCME-Patient Care Technical Bargaining; and Union's Plans for a

    E-Print Network [OSTI]

    Leistikow, Bruce N.

    organizations nationwide offer The key issue: Pension Reform The key issue in our negotiations with AFSCME is the union's objection to any changes to UC's pension program. These reforms include: Increased their retirement programs. The substantive reforms UC has enacted will help address a $24 billion unfunded

  2. (Acts adopted pursuant to Title V of the Treaty on European Union) COUNCIL COMMON POSITION 2003/805/CFSP

    E-Print Network [OSTI]

    Sussex, University of

    (Acts adopted pursuant to Title V of the Treaty on European Union) COUNCIL COMMON POSITION 2003 that terrorists will acquire chemical, biological, radiological or nuclear materials adds a new dimension would serve as a yardstick in the negotiations of EU positions in international forums

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

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

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

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

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

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

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

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

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

  12. Future Intelligent Power Grids: Analysis of the vision in the European Union and the United States

    SciTech Connect (OSTI)

    Coll-Mayor, Debora; Paget, Mia L.; Lightner, Eric M.

    2007-04-01T23:59:59.000Z

    The future of power grids is expected to involve an increasing level of intelligence and integration of new information and communication technologies in every aspect of the electricity system, from demand-side devices to wide-scale distributed generation to a variety of energy markets. This paper provides a general outlook of the definition of this future in the U.S. and the European Union and compares two approaches—GridWiseTM and SmartGrid. It describes the contexts in both the worlds, as they influence the two visions of the future intelligent power grid, and as they form foundations at each respective federal level for supporting research in this field. The similarities and complementarities of the two research programs are examined. Within the framework of a solid precedence for trans-Atlantic cooperation in energy research, the time would seem optimal to set in motion active collaboration and educational exchange on GridWise and SmartGrid research. This paper will help energy policy makers to better understand the key issues determining the two different approaches and the two different policies derived from them; as well as a comparison of the solution provided in each case. This work will also be useful for researchers and industry decision makers to be aware of trans-Atlantic approaches, opportunities, and resources looking toward future, more intelligent and interconnected power grids.

  13. United States-assisted studies on dose reconstruction in the former Soviet Union

    SciTech Connect (OSTI)

    Anspaugh, L.R. [Lawrence Livermore National Lab., CA (United States); Bouville, A. [National Cancer Institute, Rockville, MD (United States)

    1995-12-01T23:59:59.000Z

    Following the Chernobyl accident, the US and the USSR entered into an agreement to work on the safety of civilian nuclear reactors; one aspect of that work was to study the environmental transport and health effects of radionuclides released by the accident. After the break-up of the USSR separate agreements were established between the US and Ukraine, Belarus, and Russia to continue work on dose reconstruction and epidemiologic studies of health effects from exposure to external radiation and the incorporation of radionuclides. Studies in Belarus and Ukraine related to the Chernobyl accident now emphasize epidemiologic: studies of childhood-thyroid cancer and leukemia, and eye-lens-cataract formation in liquidators. Supporting studies on dose reconstruction emphasize a variety of ecological, physical, and biological techniques. Studies being conducted in Russia currently emphasize health effects in the workers and the population around the Mayak Industrial Association. As this production complex is an analogue of the US Hanford Works, advantage is being taken of the US experience in conducting a similar, recently completed dose-reconstruction study. In all cases the primary work on dose reconstruction is being performed by scientists from the former Soviet Union. US assistance is in the form of expert consultation and participation, exchange visits, provision of supplies and equipment, and other forms of local assistance.

  14. Environmental assistance as national security policy: Helping the former Soviet Union find solutions to its environmental problems

    SciTech Connect (OSTI)

    Dunaway, R.L.

    1995-11-01T23:59:59.000Z

    Since the fall of Communism in the former Soviet Union, US Presidents and policy makers have stressed the importance of helping Russia and the Newly Independent States develop democratic forms of government and forge strong economic and environmental ties with other nations throughout the world. The US can and should play a role in helping the Commonwealth of Independent States repair decades of damage caused by Cold War-driven industrial and nuclear development. This report describes some of the region`s most serious environmental problems and their potential to spread throughout the affected areas to neighboring countries. It provides an overview of the emerging environmental component of the US. National Security Strategy first proposed by President Bush. Finally, it describes an ambitious proposal to implement geographic information system (GIS) technology as a means of helping the former Soviet Union identify and monitor existing and potential environmental hazards. The ability to locate, analyze, and track existing damage reliably, as a prelude to predicting potential threats, is a necessary first step in developing a viable strategy to protect environmental, economic, and social resources, both in the former Soviet Union and world-wide.

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

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

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

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

  19. Audit of the Union Valley sample preparation facility at Oak Ridge

    SciTech Connect (OSTI)

    NONE

    1997-11-07T23:59:59.000Z

    This audit was initiated to determine if the US DOE`s acquisition of the Union Valley Sample Preparation Facility (UVSPF) was necessary and cost effective. To accomplish the audit objective, four actions were taken: (1) review of applicable laws and regulations, (2) analysis of procurement files for the lease and interviews of Department and contractor officials, (3) evaluation of facility justifications, and (4) assessment of workload and staffing requirements of Lockheed Martin Energy Systems` Analytical Services Organization. The audit found that Energy Systems did not base the acquisition of the UVSPF on valid mission requirements. This occurred because Energy Systems did not follow Department procedures in planning and developing the lease, and the Department approved the lease without adequate justification. It was recommended that the Manager, Oak Ridge Operations Office: (1) direct Energy Systems to follow Department policies and procedures and base acquisitions of property on valid mission requirements and an analysis of all viable alternatives; (2) direct project managers to follow Department orders and require approvals of construction projects and property leases to include (a) verification that projects are essential to meet mission requirements and (b) analysis of all viable alternatives; and (3) direct Energy Systems to give the required 365-day notice and discontinue the lease. The audit also found that Energy Systems restricted the location of the UVSPF without establishing a programmatic need for the restriction. The restriction gave an Energy Systems subcontractor a competitive advantage and may have caused the Department to pay more than necessary for the facility. It was recommended that the Manager, Oak Ridge Operations Office, direct Energy Systems to discontinue the practice of restricting facility locations unless they are justified to meet mission requirements. The audit concluded that the UVSPF was not necessary.

  20. IMPACT EVALUATION OF AN ENERGY SAVINGS PLAN PROJECT AT THE LINDE DIVISION OF UNION CARBIDE CORPORATION

    SciTech Connect (OSTI)

    Spanner, G. E.; Sullivan, G. P.

    1992-04-01T23:59:59.000Z

    This impact evaluation of an energy conservation measure (ECM) that was recently installed at the Linde Division of Union Carbide Corporation (Linde) was conducted far the Bonneville Power Administration (Bonneville) as part of an evaluation of its Energy Savings Plan (ESP) Program. The Program makes acquisition payments to firms that install energy conservation measures in their industrial processes. The objective of this impact evaluation was to assess how much electrical energy is being saved at Linde as a result of the ESP and to determine how much the savings cost Bonneville and the region. The impact of the ECM was evaluated with a combination of engineering analysis, financial analysis, site visit and interviews, and submittal reviews (Linde's Completion Report and Abstract). The ECM itself consists of replacing the plant's nitrogen feed compressor with a larger unit, which allows the plant to meet its argon demand using less compressed air and which results in net energy savings. Energy savings resulting from this ECM were 4,376,500 kWh/yr for the first two years after installation, but, because of a change in Linde's market position, long-term savings are expected to be lower at 2,549,200 kWh/yr. Linde considers energy consumption and savings on a per ton basis to be proprietary, so they are not reported here. The ECM cost $361,4.96 to install, and Linde received payment of $161,426 from Bonneville for the acquisition of energy savings. This ECM would not have been implemented without the acquisition payment from Bonneville. The levelized cost of these energy savings to Bonneville will be 4.5 mills/kWh over the ECM's expected 15-year life, and the levelized cost to th.e region will be 5.9 mills/kWh.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1. APRIL 30, 2008, HSS/UNION MEETING TO ADDRESS TRAINING INTEGRATED EXECUTIVE SUMMARY AND FINAL ACTION LIST

    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 2015ofDepartmentDepartment of2 of 5) ALARA TrainingANDREW W.categoricalHSS/UNION

  2. FLEGT Asia, Baseline Study 1, China: Overview of Forest Law Enforcement, Governance and Trade, June 2011 This Action is funded by the European Union and Governments of Finland, France, Germany, the Netherlands and the United Kingdom.

    E-Print Network [OSTI]

    , June 2011 This Action is funded by the European Union and Governments of Finland, France, Germany of Finland, France, Germany, the Netherlands and the United Kingdom. www

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

    SciTech Connect (OSTI)

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

    2013-12-15T23:59:59.000Z

    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.

  4. Cash Flow Impacts of Industrial Steam Efficiency

    E-Print Network [OSTI]

    Russell, C.

    of thermal transfer tasks within the majority of manufacturing industries, it is widely perceived as a "support" utility. In other words, steam is considered a power source subordinate to process lines that are the real focus of manufacturing activity... be directed to productive functions, enabling the plant to extend production runs or perhaps even begin new product lines. RETURN ON INVESTMENT Global competition and decentralized corporate structures provide formidable challenges for manufacturing...

  5. Illinois Turning Landfill Trash into Future Cash

    Broader source: Energy.gov [DOE]

    Will County, Illinois officials yesterday formally broke ground on a new $7 million project (that includes $1 million of Energy Efficiency Conservation Block Grant funds) to turn methane gas from the Prairie View Landfill into electricity in a partnership with Waste Management. Will County will receive revenue from the sale of the gas created from decomposing garbage which will be harnessed and converted to generate 4.8 megawatts of green electrical power and used to power up to 8,000 homes. The future revenue generated from the sale of the gas and the sale of the electricity could reach $1 million annually.

  6. Fuel efficient train operations: A preliminary investigation with the locomotive data acquisition package on the Union Pacific Railroad. Interim report Jun-Nov 80

    SciTech Connect (OSTI)

    Larsen, K.W.

    1981-12-01T23:59:59.000Z

    The Locomotive Data Acquisition Package (LDAP) is a research data acquisition system designed for use on board diesel locomotives. Between June 1980 and November 1980, a fuel efficient train operations experiment was conducted in cooperation with the Union Pacific Railroad using the LDAP. The experiment served both as a checkout of the LDAP unit, and as a preliminary study of the relationship between train handling and fuel consumption. The LDAP unit was operated on a Union Pacific Locomotive for 127 days during which data were collected for 53,936 miles of locomotive operation.

  7. National Report for the International Association of Geodesy of the International Union of Geodesy and Geophysics 2007-2010

    E-Print Network [OSTI]

    Boyarsky, E A; Gerasimenko, M D; Demianov, G V; Kaufman, M B; Kaftan, V I; Mazurova, E M; Malkin, Z M; Molodenskii, S M; Neyman, Yu M; Pevnev, A K; Savinykh, V P; Steblov, G M; Tatevian, S K; Tolchel'nikova, S A; Shestakov, N V

    2015-01-01T23:59:59.000Z

    This report submitted to the International Association of Geodesy (IAG) of the International Union of Geodesy and Geophysics (IUGG) contains results obtained by Russian geodesists in 2007-2010. In the report prepared for the XXV General Assembly of IUGG (Australia, Melbourne, 28 June - 7 July 2011), the results of principal researches in geodesy, geodynamics, gravimetry, in the studies of geodetic reference frame creation and development, Earth's shape and gravity field, Earth's rotation, geodetic theory, its application and some other directions are briefly described. The period from 2007 to 2010 was still difficult for Russian geodesy mainly due to the permanent reformation of state geodetic administration as well as state education structure and organization. The report is organized as a sequence of abstracts of principal publications and presentations for symposia, conferences, workshops, etc. Each of the report paragraphs includes a list of scientific papers published in 2007-2010 including those prepare...

  8. National Report for the International Association of Geodesy of the International Union of Geodesy and Geophysics 2011-2014

    E-Print Network [OSTI]

    Savinykh, V P; Malkin, Z; Pobedinsky, G; Stoliarov, I A; Sermiagin, R; Zotov, L; Gorshkov, V; Shestakov, N; Steblov, G; Dokukin, P; Ustinov, A

    2015-01-01T23:59:59.000Z

    In this National Report are given major results of researches conducted by Russian geodesists in 2011-2014 on the topics of the International Association of Geodesy (IAG) of the International Union of Geodesy and Geophysics (IUGG). This report is prepared by the Section of Geodesy of the National Geophysical Committee of Russia. In the report prepared for the XXVI General Assembly of IUGG (Czhech Republic, Prague, 22 June - 2 July 2015), the results of principal researches in geodesy, geodynamics, gravimetry, in the studies of geodetic reference frame creation and development, Earth's shape and gravity field, Earth's rotation, geodetic theory, its application and some other directions are briefly described. For some objective reasons not all results obtained by Russian scientists on the problems of geodesy are included in the report.

  9. REVIEWS OF GEOPHYSICS, SUPPLEMENT, PAGES 585-589, JULY 1995 U.S. NATIONAL REPORT TO INTERNATIONAL UNION OF GEODESY A N D GEOPHYSICS 1991-1994

    E-Print Network [OSTI]

    Reames, Donald V.

    of coronal mass ejections (CMEs) [Kahler 1992], it was tempting to assume that the particle accel eration emphasized the presence of two accel eration mechanisms and prophetically suggested that particle abundances UNION OF GEODESY A N D GEOPHYSICS 1991-1994 Solar energetic particles: A paradigm shift Donald V. Reames

  10. At the 2010 Fall Meeting of the American Geophysical Union in San Francisco, two presentations (Devitt et al. 2010; Saito et al.

    E-Print Network [OSTI]

    Biondi, Franco

    2 Overview At the 2010 Fall Meeting of the American Geophysical Union in San Francisco, two), the Nevada State College (NSC), and the community colleges that are part of the Nevada System of Higher, soil temperature, hydraulic head, etc.), and vegetational (stem increment, sap flow, NDVI, phenological

  11. REVIEWSOF GEOPHYSICS,VOL. 25, NO. 2, PAGES153-161, MARCH1987 U.S. NATIONAL REPORT TO INTERNATIONAL UNION OF GEODESY AND GEOPHYSICS 1983-1986

    E-Print Network [OSTI]

    Dozier, Jeff

    REVIEWSOF GEOPHYSICS,VOL. 25, NO. 2, PAGES153-161, MARCH1987 U.S. NATIONAL REPORT TO INTERNATIONAL UNION OF GEODESY AND GEOPHYSICS 1983-1986 RecentResearchin SnowHydrology JEFF DOZIER Centerfor Remote thespectraldistri- butionof the incomingsolardirectanddiffuseirradianceand thespectralalbedo: Copyfight1987bytheAmericanGeophysical

  12. Mentoring Institute Division of Student Affairs Student Union Building University of New Mexico 2013C O N F E R E N C E

    E-Print Network [OSTI]

    Hubbard, Keith

    Mentoring Institute Division of Student Affairs Student Union Building University of New Mexico MENTORING 2013C O N F E R E N C E Impact & Effectiveness of Developmental Relationships TUESDAY, OCTOBER 29 - FRIDAY, NOVEMBER 1 - ALBUQUERQUE, NEW MEXICO, USA UNM Mentoring Institute 6th Annual Conference #12

  13. UBC Social Ecological Economic Development Studies (SEEDS) Student Report Designing a Root Cellar for the Alma Mater Society's New Student Union Building

    E-Print Network [OSTI]

    Society (AMS) is building a new Student Union Building (SUB) to be a leader in green building technology by achieving LEED certified platinum status by the Canada Green Building Council. As part of the designs" guidelines set by the Canada Green Building Council and is aiming for its highest level of certification

  14. International Union of Air Pollution Prevention and Environmental Protection Associations (IUAPPA) Symposium and Korean Society for Atmospheric Environment (KOSAE) Symposium, 12th

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    International Union of Air Pollution Prevention and Environmental Protection Associations (IUAPPA, REMOTE SENSING AND POLLUTANTS DISTRIBUTION: AN APPLICATION TO THE CITY OF STRASBOURG, FRANCE. C. WEBER1 of Earth Observation data for the knowledge of the atmospheric pollutants concentration fields over

  15. Clean Energy Jobs at the Union of Concerned Scientists Do you want to protect and strengthen EPA's authority to regulate carbon from power

    E-Print Network [OSTI]

    Bohnhoff, David

    Clean Energy Jobs at the Union of Concerned Scientists Do you want to protect and strengthen EPA, and to evaluate and advocate for clean energy solutions and climate change mitigation options in the electricity sector. Energy Modeler (Cambridge, MA): Conduct analysis and modeling of clean energy and climate

  16. Joint United States-European Union Theoretical and Practical Course on Molecular Approaches for In Situ Biogradation

    SciTech Connect (OSTI)

    Suflita, Joseph M.; Duncan, Kathleen E.

    2010-08-14T23:59:59.000Z

    The Joint United States - European Union Theoretical and Practical Course on Molecular Approaches for in situ Biodegradation was held May 24 through June 7 at The University of Oklahoma. Twenty-four graduate and postgraduate students from both the United States and the European Union attended the course. Nine states and ten European countries were represented. Students were assigned living quarters and laboratory partners to maximize interactions between US and EU participants as well as to mix people with different technical backgrounds together. The students used the latest methods in molecular biology to characterize beneficial microorganisms and genes involved in the biodegradation of pollutants at a nearby landfill as well as an active hydrocarbon-producing site, part of which is undergoing bioremediation. Seminars by distinguished scientists were organized to expose the students to the breadth of the environmental field, including field assay and engineering applications, laboratory scale bioreactors, microbiology, genetics, regulation, pathway analysis, design of recombinant bacteria, and application of the associated techniques to the field. Lectures were given by various OU faculty on the principles behind the techniques to be used in the laboratory. These lectures included troubleshooting hints and encouraged questions and comments from the audience. The laboratory experiments covered chemical, microbiological, and molecular genetic analyses of soils; bioavailability of contaminants; enrichment cultures; gene probing; PCR amplification of known genes and gene families; identification of microbes based traditional and nontraditional approaches, nutritional capabilities, and 16S rRNA sequence; mRNA detection; and enzyme assays. Field trips were made to the USGS landfill field sampling site, and to the Tall Grass Prairie Preserve, a Nature Conservancy site which also featured long-term studies of bioremediation of crude oil and brine spills by one of the Principal Investigators in collaboration with University of Tulsa faculty. The students are expected to bring the methods that they learned back to their laboratories to enrich their own and their colleagues' ability to perform state of the art environmental biotechnology research.

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

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

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

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

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

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

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

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

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

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

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

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

  9. Visions of Future Intelligent Power Grids: Synergies for Collaboration Between the European Union and the United States

    SciTech Connect (OSTI)

    Coll-Mayor, Debora; Paget, Mia L.; Lightner, Eric M.; Sanchez-Jimenez, Manuel

    2007-01-01T23:59:59.000Z

    The future of power grids is expected to involve an increasing level of intelligence and integration of new information and communication technologies in every aspect of the electricity system, from demand-side devices to wide-scale distributed generation to a variety of energy markets. The vision of this future in the United States and the European Union is known as GridWiseTM and SmartGrid, respectively. The results of the examination of similarities and complementarities of the two research programs are presented in this paper. Within the framework of a solid precedence for trans-Atlantic cooperation in energy research, the time would seem optimal to set in motion active collaboration and educational exchange on GridWise and SmartGrid research. This paper will provide energy professionals with a comparison of the solutions developed in each case, to be aware of trans-Atlantic approaches, opportunities, and resources looking toward future, more intelligent and interconnected power grids.

  10. World gas supply and demand: 1980-2020. Based on a study by the International Gas Union Force II

    SciTech Connect (OSTI)

    Fish, L.W.; Kalisch, R.B.; Wingenroth, J.L.; Kirk, S.R.; Meeder, J.F.

    1982-01-01T23:59:59.000Z

    If world oil prices and economic growth rates rise moderately (2%/yr) as assumed by the International Gas Union's Task Force II, world natural gas demand could increase from 1980's level of 52 quadrillion Btu to 74 quads by 1990 and 90 quads by 2000. Gas demand growth rates will peak at 4.5%/yr during 1980-85, then fall to 3.3%/yr in 1985-90, 2%/yr in the 1990s, and 1% after 2000, although the rates will differ substantially for various countries, regions, and sectors. World gas production (53 quads in 1980) could reach 90-120 quads by 2000 and 92-100 by 2020. The North American/European share of world production, however, will decline from 55% in 1980 to 37% by 1990 and to 27% in 2000. Although North America's conventional production in 2020 will be only 60% of its current level, the expected growth in unconventional output should push overall production up 12%. The world reserves/production ratio, now at 45 years, will drop to 31 years by 2000 and 29 by 2020; the respective world reserves estimates are 2621 and 2350 trillion CF.

  11. Radioactive contamination of the Arctic Region, Baltic Sea, and the Sea of Japan from activities in the former Soviet Union

    SciTech Connect (OSTI)

    Bradley, D.J.

    1992-09-01T23:59:59.000Z

    Contamination of the Arctic regions of northern Europe and Russia, as well as the Sea of Japan, may become a potential major hazard to the ecosystem of these large areas. Widespread poor radioactive waste management practices from nuclear fuel cycle activities in the former Soviet Union have resulted in direct discharges to this area as well as multiple sources that may continue to release additional radioactivity. Information on the discharges of radioactive materials has become more commonplace in the last year, and a clearer picture is emerging of the scale of the contamination. Radioactivity in the Arctic oceans is now reported to be four times higher than would be derived from fallout from weapons tests. Although the characteristics and extent of the contamination are not well known, it has been stated that the contamination in the Arctic may range from 1 to 3.5 billion curies. As yet, no scientific sampling or measurement program has occurred that can verify the amount or extent of the contamination, or its potential impact on the ecosystem.

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

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

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

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

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

  17. 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 3–5 minutes for 3DCFRT treatments and 15–20 for most complex dMLC and VMAT plans. For all PTVs mean dose and 90% coverage differences are (1.12±0.97)% and (0.68±1.19)%, respectively. Mean dose discrepancies for all OARs is (0.64±1.00)%. 3D gamma (global, 3%/3 mm) analysis shows a mean passing rate of (97.8 ± 3.0)% for PTVs and (99.0±3.0)% for OARs. 3D gamma pasing rate for all voxels in CT has a mean value of (98.5±1.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.

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

  19. Roberts Union DRIVING DIRECTIONS

    E-Print Network [OSTI]

    Wilson, Herb

    the pond onto Bixler Drive, across from the Millwright Steam Plant and just before the outdoor track (Washington Street). Take your first left onto Bixler Drive, after you pass the outdoor track and football

  20. 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 0–20% over angular range 0o–90o, (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.8×0.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.

  1. ( )Ministers delay decision on site for 10-billion-dollar nuclear fusion reactor 20/12/2003 The European Union, the United States and four other countries failed in talks agree on a

    E-Print Network [OSTI]

    of transporting nuclear material and storing dangerous long-term radioactive waste. Nuclear fusion takes( )Ministers delay decision on site for 10-billion-dollar nuclear fusion reactor 20-dollar international nuclear fusion reactor. Delegates from the European Union, the United States, China, Japan, South

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

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

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

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

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

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

  8. Fact #587: September 7, 2009 Cash for Clunkers Program - Fuel...

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

    Federal rebate money for consumers who traded old vehicles with an EPA combined fuel economy of 18 miles per gallon or less for brand new vehicles with improved fuel economy. The...

  9. Anglers needed - Save young salmon and reel in cash

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

    Power Administration funds the program. Pikeminnow represent about 80 percent of all fish that kill young salmon. So these young salmon need your help. Each angler counts. The...

  10. The Composition of Compensation Policy: From Cash to Fringe Benefits

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    in the design of incentives by employers. However, this issue has been surprisingly left aside of economic composition of the compensation policy with both monetary and nonmonetary incentives. We characterize over monetary and nonmonetary benefits is common knowledge to both parties, nonmonetary incentives

  11. agents offered cash: Topics by E-print Network

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

    JADE uses an agent model and Java implementation that allow good runtime efficiency, software reuse, agent mobility and the realization of different agent architectures. 1....

  12. Object Code Title & Description 1100 Claim On Cash

    E-Print Network [OSTI]

    of materials and services for the University or for making change. Due to the decentralized location Distribution of the balance forward, conversation amount among the funds that bill student customers. 1412 Allowance For Doubtful Accounts-Student Amounts (or reserve) set aside for uncollectible (bad debt expense

  13. Small Employer Quality Jobs 7-Year Cash Incentive (Oklahoma)

    Broader source: Energy.gov [DOE]

    This program provides incentive payments to a qualifying small employer (90 employees or less). The payments may reach as high as 5% of new taxable payroll and last for up to seven years. Annual...

  14. Cash flow analysis: a tool for the dairy farmer 

    E-Print Network [OSTI]

    McMorrough, Mark D

    1985-01-01T23:59:59.000Z

    -of-business altogether. "3 When you combine lower or no price support with the current economic crisis facing agricultural producers, the outlook for the next few years is bleak. The Governor of Minnesota, Rudy Perpick, stated that the current farm situation "ts... included in this bill would reduce milk price supports over the next three years. A second proposal issued by the Office of Management and Budget would completely terminate the dairy price support program. Without any reduction at all in the dairy price...

  15. Los Alamos' New Virtualized Data Center Saves Energy and Cash |

    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 ofLetterEconomy andTerms Loan

  16. Los Alamos' New Virtualized Data Center Saves Energy and Cash |

    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 ChinaofSchaeferApril 1, 1999InspectionsAnnualThe followingSummaryDepartment of Energy

  17. Anglers needed - Save young salmon and reel in cash

    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 Office511041cloth DocumentationProductsAlternative FuelsSanta3 Table 3. SummaryAncientAndreaAndrew19 12

  18. Kentucky Residents Cash in on Rebate Program | 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 ChinaofSchaeferApril 1, 1999 InspectionVolunteersKaren PattersonAir-conditioning units are

  19. Vehicle and Infrastructure Cash-Flow Evaluation (VICE) | 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 IRaghuraji Agro IndustriesTown of Ladoga,planning methodologies andVacantVanInformation Vehicle and

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

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

  2. Environmental assessment for the purchase of Russian low enriched uranium derived from the dismantlement of nuclear weapons in the countries of the former Soviet Union

    SciTech Connect (OSTI)

    Not Available

    1994-01-01T23:59:59.000Z

    The United States is proposing to purchase from the Russian Federation low enriched uranium (LEU) derived from highly enriched uranium (HEU) resulting from the dismantlement of nuclear weapons in the countries of the former Soviet Union. The purchase would be accomplished through a proposed contract requiring the United States to purchase 15,250 metric tons (tonnes) of LEU (or 22,550 tonnes of UF{sub 6}) derived from blending 500 metric tones uranium (MTU) of HEU from nuclear warheads. The LEU would be in the form of uranium hexafluoride (UF{sub 6}) and would be converted from HEU in Russia. The United States Enrichment Corporation (USEC) is the entity proposing to undertake the contract for purchase, sale, and delivery of the LEU from the Russian Federation. The US Department of Energy (DOE) is negotiating the procedure for gaining confidence that the LEU is derived from HEU that is derived from dismantled nuclear weapons (referred to as ``transparency),`` and would administer the transparency measures for the contract. There are six environments that could potentially be affected by the proposed action; marine (ocean); US ports of entry; truck or rail transportation corridors; the Portsmouth GDP; the electric power industry; and the nuclear fuel cycle industry. These environmental impacts are discussed.

  3. Developing an Enhanced Framework for Networking and Cooperation in Rd and D for Radioactive Waste Disposal in The European Union (Eu)

    SciTech Connect (OSTI)

    Raynal, M.; Webster, S. [Directorate-General for Research and Technological Development, European Commission, Brussels (Belgium)

    2007-07-01T23:59:59.000Z

    Management of radioactive waste is a priority area of research in the 6. EURATOM Framework Programme (2002-2006) and geological disposal of spent fuel and high-level long-lived nuclear waste is a key topic within this priority area. The ongoing programme is a culmination of previous European Union-supported projects, and maintains continuity with previous research activities efforts in this field. Investment in knowledge has become a priority for the EU's objectives of growth, competitiveness and sustainability. Not only should the scale and impact of investment in research and innovation be increased for Europe to strengthen its position as technologically advanced economy but it is also recognised that there is significant added value in coordinating activities at the European level. In particular, there is a need for more in-depth coordination between the respective efforts in EU Member States in the field of management of radioactive waste, and to develop a model of sustainable networking that could improve the cooperation on RD and D on geological disposal among the main stakeholders. The CARD initiative described in this paper is a one-year project that started in November 2006 to investigate whether the Technology Platform model, a concept that has been widely taken up by a range of R and D sectors in Europe, is applicable to the nuclear waste community and how it can be used to improve the effectiveness of future research in the 7. EURATOM Framework Programme (2007-2011) and in following Framework Programmes. (authors)

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

  5. Cash Management Pool Guidelines The Cash Management Pool was established by the University of Utah as a pooled fund for

    E-Print Network [OSTI]

    by the University of Utah as a pooled fund for the investment of State and other Public Funds. State and other Public Funds are funds that are derived from the operating revenue of the University, such as tuition with the University Investment Policies (Policy 3-050). B. Eligible Investments State and other Public Funds shall

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

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

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

  9. Enel Union Fenosa Renovables EUFER formerly Union Fenosa Energia Especiales

    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 SiteofEvaluating A PotentialJump to:Emminol Jump to: navigation,Enable IPCGreen Finpiemonte|

  10. Towards a more perfect union

    E-Print Network [OSTI]

    - TION DESK SEPT. 2013 DIGITAL SCHOLAR- SHIP COMMONS JAN. 2014 · 3-D Studio, August 2013 · Audio & Video failures along the way than other endeavors. But the rewards are worth it." Dave Gray, Sunni Brown James Macanufo. Gamestorming. Sebastopol, CA: O'Reilly Media, Inc. 2010, p.8. #12;2012 Strategic Plan "In

  11. VPP EXPANDING THROUGHOUT EUROPEAN UNION

    Broader source: Energy.gov [DOE]

    WASHINGTON – Recently, the Acting Assistant Secretary of Labor for the Occupational Safety and Health Administration (OSHA) made an important announcement regarding OSHA's Voluntary Protection Program (VPP). He announced that General Electric's (GE) Infrastructure-Security facility in Dublin, Ireland, was the first site accepted into Ireland's VPP Program.

  12. UnionCollege Academic Register

    E-Print Network [OSTI]

    Koopmann, Rebecca A.

    Digital Media ... 96 Economics ... 96 Electrical Engineering ... 102 Energy Studies ... 107 Engineering in its course offerings, degree requirements, regulations and procedures, and fees and expenses Europe ... 226 Science, Medicine, and Technology in Culture ... 226 Sociology ... 229 Theater and Dance

  13. Beyond Unions, Notwithstanding Labor Law

    E-Print Network [OSTI]

    Loudon, Catherine

    regime created by the National Labor Relations Act of 1935 (NLRA)1--once core elements of the nation, enforcement strategies, and rulemaking abilities.4 The labor law itself has been transformed into a weapon movement is critical to achieving a more egalitarian distribution of wealth. As the NLRA's statement

  14. Union Valley | 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 33Frequently20,000 Russian Nuclear Warheads into FuelDEVELOPMENT ORGANIZATIONSActivities

  15. Yixing Union | 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 IRaghuraji Agro IndustriesTownDells, Wisconsin: EnergyWyandanch, NewYancey County,Yaphank,YatesYellYelm,Yixing

  16. University of North Texas ALCOHOL USE REQUEST GUIDELINES

    E-Print Network [OSTI]

    Mohanty, Saraju P.

    in the University Union or Gateway Center, the student organization must purchase beer and/or wine and setups to event. All alcoholic beverages must be removed from premise at conclusion of event. Cash Bar: Beer/Wine only. The student organization must purchase beer and/or wine and setups through Scheduling Services

  17. A comparison of dose and dose-rate conversion factors from the Soviet Union, United Kingdom, US Department of Energy, and the Idaho National Engineering Laboratory Fusion Safety Program

    SciTech Connect (OSTI)

    Rood, A.S.; Abbott, M.L.

    1991-12-01T23:59:59.000Z

    Several independent data sets of radiological dose and dose-rate conversion factors (DCF/DRCF) have been tabulated or developed by the international community both for fission and fusion safety purposes. This report compares sets from the US Department of Energy, the Soviet Union, and the United Kingdom with those calculated by the Idaho National Engineering Laboratory Fusion Safety Program. The objectives were to identify trends and potential outlying values for specific radionuclides and contribute to a future benchmark evaluation of the CARR computer code. Fifty-year committed effective dose equivalent factors were compared for the inhalation and ingestion pathways. External effective dose equivalent rates were compared for the air immersion and ground surface exposure pathways. Comparisons were made by dividing dose factors in the different data bases by the values in the FSP data base. Differences in DCF/DRCF values less than a factor of 2 were considered to be in good agreement and are likely due to the use of slightly different decay data, variations in the number of organs considered for calculating CEDE, and rounding errors. DCF/DRCF values that differed by greater than a factor of 10 were considered to be significant. These differences are attributed primarily to the use of different radionuclide decay data, selection and nomenclature for different isomeric states, treatment of progeny radionuclides, differences in calculational methodology, and assumptions on a radionuclide's chemical form.

  18. A comparison of dose and dose-rate conversion factors from the Soviet Union, United Kingdom, US Department of Energy, and the Idaho National Engineering Laboratory Fusion Safety Program

    SciTech Connect (OSTI)

    Rood, A.S.; Abbott, M.L.

    1991-12-01T23:59:59.000Z

    Several independent data sets of radiological dose and dose-rate conversion factors (DCF/DRCF) have been tabulated or developed by the international community both for fission and fusion safety purposes. This report compares sets from the US Department of Energy, the Soviet Union, and the United Kingdom with those calculated by the Idaho National Engineering Laboratory Fusion Safety Program. The objectives were to identify trends and potential outlying values for specific radionuclides and contribute to a future benchmark evaluation of the CARR computer code. Fifty-year committed effective dose equivalent factors were compared for the inhalation and ingestion pathways. External effective dose equivalent rates were compared for the air immersion and ground surface exposure pathways. Comparisons were made by dividing dose factors in the different data bases by the values in the FSP data base. Differences in DCF/DRCF values less than a factor of 2 were considered to be in good agreement and are likely due to the use of slightly different decay data, variations in the number of organs considered for calculating CEDE, and rounding errors. DCF/DRCF values that differed by greater than a factor of 10 were considered to be significant. These differences are attributed primarily to the use of different radionuclide decay data, selection and nomenclature for different isomeric states, treatment of progeny radionuclides, differences in calculational methodology, and assumptions on a radionuclide`s chemical form.

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

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