Sample records for helmut merklein 1985-1990

  1. Interprocedural Herbrand Equalities Markus MullerOlm 1 , Helmut Seidl 2 , and Bernhard Steffen 1

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Interprocedural Herbrand Equalities Markus MË?uller­Olm 1 , Helmut Seidl 2 , and Bernhard Steffen 1

  2. Upper Adjoints for Fast Interprocedural Variable Markus MullerOlm 1 and Helmut Seidl 2

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Upper Adjoints for Fast Inter­procedural Variable Equalities Markus MË?uller­Olm 1 and Helmut Seidl

  3. A NOTE ON STIRLING SERIES MARKUS KUBA AND HELMUT PRODINGER

    E-Print Network [OSTI]

    Wagner, Stephan

    A NOTE ON STIRLING SERIES MARKUS KUBA AND HELMUT PRODINGER Abstract. We study sums S = S(d, n, k The unsigned Stirling numbers of the first kind, also called Stirling cycle numbers, are defined the Kronecker delta function. Throughout this work we use Knuth's notation n k . It is well known that Stirling

  4. Testing Herbrand Equalities and Beyond Markus MullerOlm 1? , Oliver Ruthing 2 , and Helmut Seidl 3

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Testing Herbrand Equalities and Beyond Markus MË?uller­Olm 1? , Oliver RË?uthing 2 , and Helmut Seidl. #12; 2 Markus MË?uller­Olm, Oliver RË?uthing, and Helmut Seidl Kildall's algorithm detects all Herbrand

  5. A Note on Karr's Algorithm Markus MullerOlm 1? and Helmut Seidl 2

    E-Print Network [OSTI]

    Seidl, Helmut

    A Note on Karr's Algorithm Markus MË?uller­Olm 1? and Helmut Seidl 2 1 FernUniversitË?at Hagen, FB ; : : : ; ak are elements of the underlying field of values. #12; 2 Markus MË?uller­Olm and Helmut Seidl (where

  6. Polynomial Constants are Decidable ? Markus Muller-Olm 1 and Helmut Seidl 2

    E-Print Network [OSTI]

    Seidl, Helmut

    Polynomial Constants are Decidable ? Markus Muller-Olm 1 and Helmut Seidl 2 1 University are #12;nite constants [19]. This motivated Muller-Olm and Ruthing [16] to study the complexity

  7. Polynomial Constants are Decidable # Markus MullerOlm 1 and Helmut Seidl 2

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Polynomial Constants are Decidable # Markus MË?uller­Olm 1 and Helmut Seidl 2 1 University]. This motivated MË?uller­Olm and RË?uthing [16] to study the complexity of constant propagation for classes

  8. Analysis of Modular Arithmetic Markus MullerOlm 1 and Helmut Seidl 2

    E-Print Network [OSTI]

    Seidl, Helmut

    Analysis of Modular Arithmetic Markus MË?uller­Olm 1 and Helmut Seidl 2 1 UniversitË?at Dortmund, Fachbereich Informatik, LS 5 Baroper Str. 301, 44221 Dortmund, Germany markus.mueller­olm@cs.uni­dortmund.de 2 . In order to work with mathematical structures #12; 2 Markus MË?uller­Olm and Helmut Seidl x := 2x + 1 x

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

  10. Analysis of Modular Arithmetic Markus MullerOlm 1 and Helmut Seidl 2

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Analysis of Modular Arithmetic Markus MË?uller­Olm 1 and Helmut Seidl 2 1 UniversitË?at Dortmund, Fachbereich Informatik, LS 5 Baroper Str. 301, 44221 Dortmund, Germany markus.mueller­olm@cs.uni­dortmund.de 2

  11. DNA-DNA interactions Helmut H Strey*t, Rudi Podgornik* ,

    E-Print Network [OSTI]

    Podgornik, Rudolf

    309 DNA-DNA interactions Helmut H Strey*t, Rudi Podgornik* , Parsegian The forces that govern DNA interactions - such as electrostatic interactions, hydration, and fluctuation forces - that treat DNA about the physical forces and energies that involve DNA molecules is to ask whether there is more to DNA

  12. Ventilation and Infiltration in High-Rise Apartment Buildings Richard C. Diamond, Helmut E. Feustel and Darryl J. Dickerhoff

    E-Print Network [OSTI]

    Diamond, Richard

    1 Ventilation and Infiltration in High-Rise Apartment Buildings Richard C. Diamond, Helmut E to characterize the ventilation rates for the individual apartments. Parametric simulations were performed flow simulations suggest that the ventilation to the individual units varies considerably

  13. Voltage-Regulated Water Flux through Aquaporin Channels In Silico Jochen S. Hub,6* Camilo Aponte-Santamaria,6 Helmut Grubmuller, and Bert L. de Groot

    E-Print Network [OSTI]

    de Groot, Bert

    -Santamari´a,6 Helmut Grubmu¨ller, and Bert L. de Groot Department for Cell and Molecular Biology, Uppsala flux, whereas a negative potential favors a down-state, which reduces the single-channel water was embedded in a lipid membrane, and 150 mM sodium chloride was added to each of the two water compart- ments

  14. Summary Report: IBM Management of Information Systems (MoIS) 1985-1990 Grant Program

    E-Print Network [OSTI]

    Frand, Jason

    1990-01-01T23:59:59.000Z

    phases of the system development life cycle, from projectincluding the systems development life cycle (SDLC), process

  15. Pacific Northwest and Alaska Regional Bioenergy Program : Five Year Report, 1985-1990.

    SciTech Connect (OSTI)

    Pacific Northwest and Alaska Bioenergy Program (U.S.)

    1991-02-01T23:59:59.000Z

    This five-year report describes activities of the Pacific Northwest and Alaska Regional Bioenergy Program between 1985 and 1990. Begun in 1979, this Regional Bioenergy Program became the model for the nation's four other regional bioenergy programs in 1983. Within the time span of this report, the Pacific Northwest and Alaska Regional Bioenergy Program has undertaken a number of applied research and technology projects, and supported and guided the work of its five participating state energy programs. During this period, the Regional Bioenergy Program has brought together public- and private-sector organizations to promote the use of local biomass and municipal-waste energy resources and technologies. This report claims information on the mission, goals and accomplishments of the Regional Bioenergy Program. It describes the biomass projects conducted by the individual states of the region, and summarizes the results of the programs technical studies. Publications from both the state and regional projects are listed. The report goes on to consider future efforts of the Regional Bioenergy Program under its challenging assignment. Research activities include: forest residue estimates; Landsat biomass mapping; woody biomass plantations; industrial wood-fuel market; residential space heating with wood; materials recovery of residues; co-firing wood chips with coal; biomass fuel characterization; wood-boosted geothermal power plants; wood gasification; municipal solid wastes to energy; woodstove study; slash burning; forest depletion; and technology transfer. 9 figs., 6 tabs.

  16. Summary Report: IBM Management of Information Systems (MoIS) 1985-1990 Grant Program

    E-Print Network [OSTI]

    Frand, Jason

    1990-01-01T23:59:59.000Z

    development life cycle (SDLC), process and data modeling,presenting the phases of the SDLC i n sequence is used i n

  17. Global Invariants for Analyzing Multithreaded Applications Helmut Seidl #

    E-Print Network [OSTI]

    Müller-Olm, Markus

    , Germany Varmo Vene + Tartu University, Estonia Markus MË?uller­Olm # FernUniversitË?at Hagen, Germany

  18. Zeitnetze. Globalisierung und postmoderne Ästhetik in Helmut Kraussers Roman UC

    E-Print Network [OSTI]

    Pause, Johannes

    2011-01-01T23:59:59.000Z

    mutiert. Wie bei Borges tritt gleichwohl auch bei KrausserHeirat reich geworden, tritt er somit als Vertreter einerhat (Rosa 347). Kurthes tritt in seinem Vortrag als

  19. Fluctuations of primary ubiquitin folding intermediates in a force clamp Frauke Grater, Helmut Grubmuller *

    E-Print Network [OSTI]

    Gräter, Frauke

    function of which is determined by their three-dimensional struc- ture, the protein fold. Understanding the basic mechanism and associated driving forces of protein folding remains a major task in biology and has., 1997; Marszalek et al., 1999). Along these lines, new insights into protein folding have been recently

  20. RADIOSITY--CALCULATIONS FOR ROTATIONAL Helmut Mastal Robert F. Tobler Werner Purgathofer

    E-Print Network [OSTI]

    Institute of Computer Graphics, Vienna University of Technology Karlsplatz 13/186/2, A­1040 Vienna, AUSTRIA for photorealistic representations of plants and other natural phenomena. In this paper radiosity calculations and spheres that are ideal Lambertian reflectors. Although there exists no complete radiosity algorithm which

  1. Interprocedurally Analyzing Polynomial Identities # Markus MullerOlm 1 , Michael Petter 2 , and Helmut Seidl 2

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Interprocedurally Analyzing Polynomial Identities # Markus MË?uller­Olm 1 , Michael Petter 2 positive Boolean combinations of polynomial identi­ ties. #12; 2 Markus MË?uller­Olm, Michael Petter

  2. AIR FLOW DISTRIBUTION IN A HIGH-RISE RESIDENTIAL Helmut E. Feustel and Richard C. Diamond

    E-Print Network [OSTI]

    Diamond, Richard

    To provide good indoor air quality or to calculate space conditioning loads for energy consumption for providing sufficient indoor air quality has an impact on the energy consumption of the building. The effect consumption per floor for a 12 story apartment building in Pittsburgh, Pennsylvania. Consumption data have

  3. Optimal Control of a VoiceCoilMotor with Coulombic Friction Bahne Christiansen, Helmut Maurer and Oliver Zirn

    E-Print Network [OSTI]

    Maurer, Helmut

    1 and developed automatic control techniques for steering the system to a prescribed target. However is to improve on these deficiences by applying optimal control methods. The optimal control model is introduced in section II. Basically, the dynamical model is linear in the state and control variables. However

  4. RECOGNITION AND RECONSTRUCTION OF SPECIAL SURFACES FROM POINT CLOUDS Helmut Pottmann , Stefan Leopoldseder , Johannes Wallner , Martin Peternell

    E-Print Network [OSTI]

    Nawratil, Georg

    (Varady et al., 1998). Together with rapid prototyping and 3D printing, we pos- sess a complete chain-dimensional modeling. ABSTRACT Given a cloud of measurement points from the surface of a 3D object, we address with an active contour model. 1 INTRODUCTION Modern 3D measurement devices (laser range scanners, structured

  5. Air Flow Distribution in a Mechanically-Ventilated High-Rise Residential Building* Richard C. Diamond and Helmut E. Feustel

    E-Print Network [OSTI]

    Diamond, Richard

    energy efficiency in public housing as part of a utility's Demand Side Management (DSM) Program of the supply ventilation register for each corridor. The building is exposed on all sides to the windAir Flow Distribution in a Mechanically-Ventilated High-Rise Residential Building* Richard C

  6. High-Performance Commercial Building

    E-Print Network [OSTI]

    at Sony Center, Berlin. Architect: Helmut Jahn. #12;3 Contents Acknowledgments 5 Executive summary 6

  7. The U.S. Oil and Natural Gas Production Outlook

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

    Oil and Natural Gas Production Outlook for PRG Energy Outlook Conference September 22, 2014 by Adam Sieminski, Administrator 0 20 40 60 80 100 120 1980 1985 1990 1995 2000 2005...

  8. Testing Herbrand Equalities and Beyond Markus Muller-Olm

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Testing Herbrand Equalities and Beyond Markus M¨uller-Olm ¢¡ , Oliver R¨uthing £ , and Helmut. #12;2 Markus M¨uller-Olm, Oliver R¨uthing, and Helmut Seidl Kildall's algorithm detects all Herbrand

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

  10. QUANTITATIVE ESTIMATES ON THE ENHANCED BINDING FOR THE PAULIFIERZ OPERATOR

    E-Print Network [OSTI]

    , HELMUT LINDE, AND SEMJON VUGALTER Abstract. For a quantum particle interacting with a shortâ??�a Universidad Catâ??olica (HL), and the DFG grant WE 1964/2 (SV). 1 #12; 2 JEAN­MARIE BARBAROUX, HELMUT LINDE

  11. Annales Geophysicae (2001) 19: 8397 c European Geophysical Society 2001 Geophysicae

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    2001-01-01T23:59:59.000Z

    ~ao Jos´e dos Campos, SP - Brazil Received: 21 December 1999 ­ Revised: 25 September 2000 ­ Accepted: 27 and extratropical South Amer- ica. The kinetic energy equations of divergent (K ) and rota- tional (K ) motion- February 1985­1990), using global wind analysis from the National Meteorological Center (NMC), now National

  12. Monthly energy review, December 1993

    SciTech Connect (OSTI)

    Not Available

    1993-12-22T23:59:59.000Z

    This document provides data on monthly energy use and fossil fuels. The following sections are included: Highlights: Emissions of greenhouse gases in the United States 1985--1990; Highlights: assessment of energy use in multibuilding facilities; energy overview; energy consumption; petroleum; natural gas; oil and gas resource development; coal; electricity; nuclear energy; energy prices; and international energy.

  13. Dr. Matt Gray, Houston Havens, Heath Hagy, Jennifer Kross, Dr. Scott Manley,

    E-Print Network [OSTI]

    Gray, Matthew

    Conservation,Journal of Soil & Water Conservation, in review.in review. HARVEST DEC. 10 JAN. 20 MAR. 1 SPRING 0JanuaryDecemberNovember10 50 90 130 170 210 kg/ha Snow Geese #12;6 Year 1980 1985 1990 1995 2000 2005 Plantedsoybeans

  14. 2005 by the Marine Environmental Sciences Consortium of Alabama Gulf of Mexico Science, 2005(1), pp. 8494

    E-Print Network [OSTI]

    Aronson, Richard B.

    Garden Banks (FGB) are part of a series of Jurassic-age salt diapirs located along the outer continental shelf of the Gulf of Mexico (Rezak et al., 1985, 1990). The caps of some of these salt domes extend- diately surrounding the banks to 100 m depth. In addition, drill cuttings must be shunted to deep water

  15. OAK RIDGE NATIONAL LABORATORY U. S. DEPARTMENT OF ENERGY

    E-Print Network [OSTI]

    Price and Economic Growth, 1970-2001 -4% -2% 0% 2% 4% 6% 8% 1970 1975 1980 1985 1990 1995 2000 AnnualOAK RIDGE NATIONAL LABORATORY U. S. DEPARTMENT OF ENERGY Oak Ridge National Laboratory David L. S. DEPARTMENT OF ENERGY Charter · The Engineering Science and Technology Division, National

  16. CURRICULUM VITAE DAVID B. EGGLESTON

    E-Print Network [OSTI]

    Parker, Matthew D. Brown

    OWSI #16990), Nautilus Dive, Surf & Ski/Force-E, Boca Raton & Pomano Beach, FL 1985-1990: Graduate Research Assistant, Virginia Institute of Marine Science 1985-1987: Fishery Port Sampler, NOAA/Northeast Fishery Statistics Division 1987-1989: Adjunct Assistant Professor, Thomas Nelson Community College, VA

  17. An Introductory wander around CSP. Sometimes mentioning extensions.

    E-Print Network [OSTI]

    Lawrence, Adrian

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

  18. VI-13 INSTITUTE COLLOQUIA AND SEMINARS

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

    10 Professor Helmut Satz, Fakultaet fuer Physik, Universitaet Bielefeld, Bielefeld, Germany Quark Confinement and Hadrosythesis May 14 Dr. Daniel Abriola, Internaltional Atomic...

  19. 2 0 0 J A H R E Mobility Research and Production Sciences

    E-Print Network [OSTI]

    Verbrennungsmotors für die Mobilität von Morgen", Prof. Helmut Eichlseder, TU Graz 18.11 Uhr Podiumsdiskussion

  20. Agents That Talk Back (Sometimes): Filter Programs for Affective Communication

    E-Print Network [OSTI]

    Bari, Università degli Studi di

    Agents That Talk Back (Sometimes): Filter Programs for Affective Communication Helmut Prendinger- action that supports basic features of affective conver- sation. As essential requirements for animated

  1. RisR1238(EN) Extreme Winds over Denmark

    E-Print Network [OSTI]

    Risø­R­1238(EN) Extreme Winds over Denmark from the NCEP/NCAR Reanalysis Helmut P. Frank Wind Energy Department Risø National Laboratory Roskilde, Denmark E-mail: helmut.frank@risoe.dk Risø National Laboratory, Roskilde, Denmark May 2001 #12;Abstract An extreme wind analysis of wind speed calculated

  2. The Bird in the Hand: Stipulated Settlements and Electricity Regulation in Florida

    E-Print Network [OSTI]

    Littlechild, Stephen C

    in nominal terms. 4 Rate increases & decreases by 5 year periods 1,200,000,000 -200,000,000 0 200,000,000 400,000,000 600,000,000 800,000,000 1,000,000,000 1960 1965 1970 1975 1980 1985 1990 1995 2000 2005 Year R at e in cr ea se s & d ec re as es...

  3. Multidimentional Poverty in Bhutan: Estimates and Policy Implications

    E-Print Network [OSTI]

    Santos, Maria Emma; Ura, Karma

    2008-01-01T23:59:59.000Z

    Multidimensional Poverty in Bhutan: Estimates and Policy Implications Maria Emma Santos* and Karma Ura** Abstract This paper estimates multidimensional poverty in Bhutan applying a recently developed methodology by Alkire and Foster (2007... Investigaciones Cientificas y Tecnicas (CONICET)-Universidad Nacional del Sur, Argentina. ** President, The Centre for Bhutan Studies, Thimphu. Journal of Bhutan Studies 2 1. Introduction Fostered by Sen’s (1985, 1990, 1999) pioneering ‘capability...

  4. Analysis of Modular Arithmetic Markus Muller-Olm1

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Analysis of Modular Arithmetic Markus M¨uller-Olm1 and Helmut Seidl2 1 Universit¨at Dortmund, Fachbereich Informatik, LS 5 Baroper Str. 301, 44221 Dortmund, Germany markus.mueller-olm@cs.uni-dortmund.de 2

  5. Contextual Locking for Dynamic Pushdown Peter Lammich1

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Contextual Locking for Dynamic Pushdown Networks Peter Lammich1 , Markus M¨uller-Olm2 , Helmut Institut f¨ur Informatik, Westf¨alische Wilhelms-Universit¨at M¨unster, Germany {markus.mueller-olm

  6. Polynomial Constants are Decidable Markus Muller-Olm1

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Polynomial Constants are Decidable Markus M¨uller-Olm1 and Helmut Seidl2 1 University of Dortmund variable, are interpreted. Another decidable class of constants are finite constants [19]. This motivated M¨uller-Olm

  7. Improved time control on Cretaceous coastal deposits: new results from Sr isotope measurements using laser ablation

    E-Print Network [OSTI]

    Gilli, Adrian

    using laser ablation Stefan Burla,1 Felix Oberli,2 Ulrich Heimhofer,3 Uwe Wiechert4 and Helmut Weissert5 that laser ablation (LA) combined with multi-collector inductively cou- pled plasma mass spectrometry (MC

  8. S E\\

    Office of Scientific and Technical Information (OSTI)

    A. Logg SLAC Edward D. Platner BNL Phillip J. Ponting CERN Ruth Pordes F e d & Gary A. Smith BNL Helmut V. W a l z SLAC DIGITAC BUS @EM 488) WG Frederick A. Kinten LBL (chairman)...

  9. Runoff sources and land cover change in the Amazon: an end-member mixing analysis from small watersheds

    E-Print Network [OSTI]

    watersheds Christopher Neill · Joaquin E. Chaves · Trent Biggs · Linda A. Deegan · Helmut Elsenbeer · Ricardo 02543, USA e-mail: cneill@mbl.edu T. Biggs Department of Geography, San Diego State University, San

  10. University of Southern California Dornsife College of Letters, Arts and Sciences

    E-Print Network [OSTI]

    Rohs, Remo

    . Narayan, University of Southern California "Iron-Air Rechargeable Batteries for Grid Energy Storage" 10 A. Petasis 3:35-3:55 Helmut Schwarz, Technical University Berlin "Metal-mediated C-N Bond Activation

  11. An economic evaluation of altering Texas dairy producers production patterns to minimize seasonal surplus

    E-Print Network [OSTI]

    Hunter, Cary Johnson

    1991-01-01T23:59:59.000Z

    : the normal plan, 2. 5X, 5X, 7. 5X and 10 times increases in takeout amounts. Responses from the three dairies to the five scenarios ranged from 0. 0% to 18. 0% in increased production in the Fall while NPV revenue loses ranged from . 59% to 13. 79... Market Order 1985 - 1990 1985 1986 1987 1988 1989 1990 January February March April May June July August September October November December 76. 7 68. 0 60. 3 68. 2 55. 0 54. 3 72. 3 64. 9 64. 2 59. 1 57. 6 51. 9 65. 3 59. 2 58. 2 54. 5...

  12. Regional Energy Baseline 

    E-Print Network [OSTI]

    Kim, H.; Baltazar, J.C.; Haberl, J.

    2011-01-01T23:59:59.000Z

    ESL-TR-11-09-02 REGIONAL ENERGY BASELINE (1960 ~ 2009) 0 100 200 300 400 500 600 700 800 1960 1965 1970 1975 1980 1985 1990 1995 2000 2005 To tal En erg y U se pe r C ap ita (M MB tu) Year Total Energy... Use per Capita (1960-2009) US SEEC 12-States TX Hyojin Kim Juan-Carlos Baltazar, Ph.D. Jeff S. Haberl, Ph.D., P.E. September 2011 ENERGY SYSTEMS LABORATORY Texas Engineering Experiment Station Texas A&M University...

  13. Regional Energy Baseline

    E-Print Network [OSTI]

    Kim, H.; Baltazar, J.C.; Haberl, J.

    ESL-TR-11-09-02 REGIONAL ENERGY BASELINE (1960 ~ 2009) 0 100 200 300 400 500 600 700 800 1960 1965 1970 1975 1980 1985 1990 1995 2000 2005 To tal En erg y U se pe r C ap ita (M MB tu) Year Total Energy... Use per Capita (1960-2009) US SEEC 12-States TX Hyojin Kim Juan-Carlos Baltazar, Ph.D. Jeff S. Haberl, Ph.D., P.E. September 2011 ENERGY SYSTEMS LABORATORY Texas Engineering Experiment Station Texas A&M University...

  14. Calendar of Events 1996 Louisiana State University Medical Center School of Medicine in New Orleans

    E-Print Network [OSTI]

    Functions for Dendritic Voltage-gated Ion Channels April 10 Jean Jacob-LaBarre, PhD, Department(RocheBioscience);PedroCuatrecasas(Parke-Davis);LeslieCrofford (Univ of Michigan); David Dewitt (Michigan State); Raymond DuBois (Vanderbilt Univ); Helmut Fenner (ETH

  15. Energy Resources and Convening Lead Author (CLA)

    E-Print Network [OSTI]

    Renewable Energy Laboratory, USA) Ian Bryden (University of Edinburgh, UK) Fridolin Krausmann (Klagenfurt (University of Waterloo, Canada) Luc Gagnon (HydroQuébec, Canada) Helmut Haberl (Klagenfurt University Aerospace Center) Ali Shafiei (University of Waterloo, Canada) Review Editor Ji Zou (Renmin University

  16. Inventory Routing and On-line Inventory Routing File Format M. Sevaux1,2

    E-Print Network [OSTI]

    Brest, Université de

    Inventory Routing and On-line Inventory Routing File Format M. Sevaux1,2 M. J. Geiger1 1 Helmut needs in the Inventory Routing Problem types. Instead of creating a new file format or putting ASCII is an extension of the TSPLIB file format description proposed in [1] to be used for the Inventory Routing Problem

  17. Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Creation Thomas Martin Gawlitza1 , Peter Lammich2 , Markus M¨uller-Olm2 , Helmut Seidl3 , and Alexander¨alische Wilhelms-Universit¨at M¨unster, Germany {peter.lammich,markus.mueller-olm,alexander.wenner}@wwu.de 3-join parallelism as considered by Esparza and Podelski [4], M¨uller-Olm and Seidl [9], Seidl and Steffen [10]. Only

  18. Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Creation Thomas Martin Gawlitza1 , Peter Lammich2 , Markus M¨uller-Olm2 , Helmut Seidl3 , and Alexander¨alische Wilhelms-Universit¨at M¨unster, Germany {peter.lammich,markus.mueller-olm,alexander.wenner}@wwu.de 3-join parallelism as considered by Esparza and Podelski [4], M¨uller-Olm and Seidl [10], Seidl and Steffen [11

  19. WAHL -EXTRA 6a /2007 Hochschulwahlen 2007

    E-Print Network [OSTI]

    Schubart, Christoph

    . Dr. Christian Kunze Fakultätsrat Phil. Fak. II ­ PPS 81,82 Prof. Dr. Regina Mulder Prof. Dr. Klaus Lange Prof. Dr. Johann Gruber Prof. Dr. Helmut Lukesch Prof. Dr. Klaus-Peter Wild Prof. Dr. Maria Fölling-Albers Fakultätsrat Phil. Fak. III ­ GGG 70,59 Prof. Dr. Franz Bauer Prof. Dr. Hans-Henning Kortüm

  20. Photosynthesis Research 80: 447460, 2004. 2004 Kluwer Academic Publishers. Printed in the Netherlands.

    E-Print Network [OSTI]

    Govindjee "Gov"

    Photosynthesis Research 80: 447­460, 2004. © 2004 Kluwer Academic Publishers. Printed in the Netherlands. 447 General appendix A list of photosynthesis conferences and of edited books in photosynthesis: edited books in photosynthesis, Helmut Metzner, photosynthesis conferences, symposia volumes, Jan Barth

  1. A Taxonomy of the Evolution of Artificial Neural Systems

    E-Print Network [OSTI]

    Mayer, Helmut A.

    A Taxonomy of the Evolution of Artificial Neural Systems Helmut A. Mayer Abstract. Biological of higher organisms, and the very specialized artificial neural systems mostly applied to a single, well in order to categorize the (co)evolution of various components of an artificial neural system (ANS). We

  2. Integer Constraints to Stop Deforestation

    E-Print Network [OSTI]

    Seidl, Helmut

    Integer Constraints to Stop Deforestation Helmut Seidl FB IV -- Informatik University Trier D--54286 Trier seidl@ti.uni­trier.de Abstract. Deforestation is a transformation of functional programs it with additional constraint systems. We examplify our idea with a problem related to deforestation. In 1988, Phil

  3. Bioenergy: how much can we expect for 2050? This content has been downloaded from IOPscience. Please scroll down to see the full text.

    E-Print Network [OSTI]

    Montana, University of

    forage production to provide that amount of energy. Such a high level of bioenergy supply would roughly Hall, Princeton, NJ 08544, USA helmut.haberl@aau.at Abstract Estimates of global primary bioenergy has doubled in the last century. We estimate the maximum physical potential of the world's total land

  4. Anisotropic Motion and Molecular Dynamics of Cholesterol, Lanosterol, and Ergosterol in Lecithin Bilayers Studied by Quasi-elastic Neutron Scattering

    E-Print Network [OSTI]

    Brown, Michael F.

    Bilayers Studied by Quasi-elastic Neutron Scattering Emil Endress, Helmut Heller,§ He´le`ne CasaltaVised Manuscript ReceiVed June 27, 2002 ABSTRACT: Quasi-elastic neutron scattering (QENS) was employed to study of motion within the bilayer on the molecular dynamics time scale. In a recent quasi-elastic neutron

  5. TU Graz Family Day Samstag, 20. September 2008, 12.00 18.00 Uhr, Campus Inffeldgasse

    E-Print Network [OSTI]

    Uniratsvorsitzender Helmut List, AVL List Eröffnung: Vizerektor Ulrich Bauer, TU Graz Nikola Tesla - Laboratorium.45 Vorführung: ,,Hochspannung garantiert" (Pack), Nikola Tesla - Laboratorium (auch für Familien) ! ! Führung) ! ! Vorführung: ,,Hochspannung garantiert" (Pack), Nikola Tesla - Laboratorium (auch für Familien) ! ! 16.15 - 17

  6. Joint EUROGRAPHICS -IEEE TCVG Symposium on Visualization (2004) O. Deussen, C. Hansen, D.A. Keim, D. Saupe (Editors)

    E-Print Network [OSTI]

    of a Diesel Exhaust System Helmut Doleisch1 , Michael Mayer1 , Martin Gasser1 , Roland Wanker2 , Helwig Hauser in this application, we adapted and extended parts of the system. A comparison of two related cases of a diesel processes in a diesel exhaust system in the automotive industry. Data resulting from CFD (computational

  7. ON STIRLING NUMBERS FOR COMPLEX ARGUMENTS AND HANKEL CONTOURS

    E-Print Network [OSTI]

    Prodinger, Helmut

    ON STIRLING NUMBERS FOR COMPLEX ARGUMENTS AND HANKEL CONTOURS PHILIPPE FLAJOLET AND HELMUT of Stirling numbers for unrestricted complex values of their arguments. Many classical identities survive such an extension. 1. Introduction Richmond and Merlini have introduced in [5] an extension of Stirling's subset

  8. RisR1252(EN) The Numerical Wind Atlas

    E-Print Network [OSTI]

    potential from high quality wind measurements. It estimates the local influences on the wind by small hillsRisø­R­1252(EN) The Numerical Wind Atlas -- the KAMM/WAsP Method Helmut P. Frank, Ole Rathmann The method of combining the Karlsruhe Atmospheric Mesoscale Model, KAMM, with the Wind Atlas Analysis

  9. ON THE NATURE OF THE PROTOTYPE LUMINOUS BLUE VARIABLE AG CARINAE. II. WITNESSING A MASSIVE STAR EVOLVING CLOSE TO THE EDDINGTON AND BISTABILITY LIMITS

    SciTech Connect (OSTI)

    Groh, J. H. [Max-Planck-Institut fuer Radioastronomie, Auf dem Huegel 69, D-53121 Bonn (Germany); Hillier, D. J. [Department of Physics and Astronomy, University of Pittsburgh, 3941 O'Hara Street, Pittsburgh, PA 15260 (United States); Damineli, A., E-mail: jgroh@mpifr.de [Instituto de Astronomia, Geofisica e Ciencias Atmosfericas, Universidade de Sao Paulo, Rua do Matao 1226, Cidade Universitaria, 05508-900, Sao Paulo, SP (Brazil)

    2011-07-20T23:59:59.000Z

    We show that the significantly different effective temperatures (T{sub eff}) achieved by the luminous blue variable AG Carinae during the consecutive visual minima of 1985-1990 (T{sub eff} {approx_equal} 22,800 K) and 2000-2001 (T{sub eff} {approx_equal} 17,000 K) place the star on different sides of the bistability limit, which occurs in line-driven stellar winds around T{sub eff} {approx} 21,000 K. Decisive evidence is provided by huge changes in the optical depth of the Lyman continuum in the inner wind as T{sub eff} changes during the S Dor cycle. These changes cause different Fe ionization structures in the inner wind. The bistability mechanism is also related to the different wind parameters during visual minima: the wind terminal velocity was 2-3 times higher and the mass-loss rate roughly two times smaller in 1985-1990 than in 2000-2003. We obtain a projected rotational velocity of 220 {+-} 50 km s{sup -1} during 1985-1990 which, combined with the high luminosity (L{sub *} = 1.5 x 10{sup 6} L{sub sun}), puts AG Car extremely close to the Eddington limit modified by rotation ({Omega}{Gamma} limit): for an inclination angle of 90{sup 0}, {Gamma}{sub {Omega}} {approx}> 1.0 for M{sub sun} {approx}< 60. Based on evolutionary models and mass budget, we obtain an initial mass of {approx}100 M{sub sun} and a current mass of {approx}60-70 M{sub sun} for AG Car. Therefore, AG Car is close to, if not at, the {Omega}{Gamma} limit during visual minimum. Assuming M = 70 M{sub sun}, we find that {Gamma}{sub {Omega}} decreases from 0.93 to 0.72 as AG Car expands toward visual maximum, suggesting that the star is not above the Eddington limit during maximum phases.

  10. Regional Energy Baselines and Measurement and Verification Protocols: Subtask 3.1 for the Southern Energy Efficiency Center

    E-Print Network [OSTI]

    Kim, Hyojin; Haberl, Jeff S.; Verdict, Malcolm

    1965 1970 1975 1980 1985 1990 1995 2000 2005 T o ta l E n e rg y U s e p e r C a p it a ( 1 0 6 B tu ) Y e a r Tota l Ene rgy Use per Ca pita : U.S . vs. SE EC 12 - Sta tes (1 96 0 - 2006) S E E C 1 2 - S t a t e s US Hyojin Kim, Ph... ranked by state for 2006 (latest year data available); ? Historical energy use per capita for the SEEC 12-state during 1960-2006; ? Energy use and energy use per capita by end-use sector and fuel source during 1960-2006 for the U.S. and each state...

  11. SEEC- Regional Energy Baselines and Measurement and Verification Protocols

    E-Print Network [OSTI]

    Kim, H.; Haberl, J. S.; Verdict, M.

    1965 1970 1975 1980 1985 1990 1995 2000 2005 T o ta l E n e rg y U s e p e r C a p it a ( 1 0 6 B tu ) Y e a r Tota l Ene rgy Use per Ca pita : U.S . vs. SE EC 12 - Sta tes (1 96 0 - 2006) S E E C 1 2 - S t a t e s US Hyojin Kim Jeff... the source, selected data codes, and term definitions. The stated deliverables for the SEEC Subtask 3.1 consists of four parts: ? Energy use per capita ranked by state for 2006 (latest year data available); ? Historical energy use per capita...

  12. The Development of a Coordinated Database for Water Resources and Flow Model in the Paso Del Norte Watershed (Phase III) Part I Lower Rio Grande Flood Control Model [LRGFCM] RiverWare Model Development 

    E-Print Network [OSTI]

    Tillery, Sue; Sheng, Zhuping; King, J. Phillip; Creel, Bobby; Brown, Christopher; Michelsen, Ari; Srinivasan, Raghavan; Granados, Alfredo

    2009-01-01T23:59:59.000Z

    ) 1985-1999 (d), 2000 (n), 2001-6/2003 (d) Santo Tomas River Drain 1985-1990 (d) 1 d - daily data, m - monthly data, n ? no data C o n c e p t u a l M o d e l o f R i o G r a n d e P r o j e c... t F l o w 8 Site Available Data Since 1975 1 WW #25 (Santo Tomas Lateral) 1985-1999 (d), 2000 (n), 2001 (d) WW #26 (Upper Chamberino Lateral) 1979-1999 (d), 2000-5/2001(n), 6/2001-5/2005 (d) WW #18 (Eastside Canal) 1985-1999 (d), 2000 (n), 2001...

  13. DNA structure(s) recognized and bound by large subunit of Replication Factor C (ls RFC) in Drosophila melanogaster

    E-Print Network [OSTI]

    Gaur, Lalit Kumar

    1995-01-01T23:59:59.000Z

    DNA STRUCTURE(S) RECOGNIZED AND BOUND BY LARGE SUBUNIT OF REPLICATION FACTOR C (IsRFC) IN DROSOPHILA MELANOGASTER A Thesis by LALIT KUMAR GAUR Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment... ARM University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE Approved as to style and content by: n Hardin (C ai f Committee) Helmut Sauer (Me er) t Robert D. Wells (Member) Hardin ember) Terry Thomas...

  14. Antoine Fleury, 2009, Potsdamer Platz : l'envers du dcor , Le Mensuel de l'universit Potsdamer Platz : l'envers du dcor

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    , aujourd'hui occupé par des bureaux. Au nord-ouest de la place, un second projet est confié à Sony qui y installe son siège européen. Conçu par Helmut Jahn, le Sony Center est un ensemble de verre et d multinationales comme Daimler-Benz et Sony4 est emblématique d'un

  15. Solar Central Receiver Hybrid Power Systems sodium-cooled receiver concept. Final report. Volume II, Book 2. Conceptual design, Sections 5 and 6

    SciTech Connect (OSTI)

    None

    1980-01-01T23:59:59.000Z

    The overall, long-term objective of the Solar Central Receiver Hybrid Power System program is to identify, characterize, and ultimately demonstrate the viability and cost effectiveness of solar/fossil, steam Rankine cycle, hybrid power systems that: (1) consist of a combined solar central receiver energy source and a nonsolar energy source at a single, common site, (2) may operate in the base, intermediate, and peaking capacity modes, (3) produce the rated output independent of variations in solar insolation, (4) provide a significant savings (50% or more) in fuel consumption, and (5) produce power at the minimum possible cost in mills/kWh. It is essential that these hybrid concepts be technically feasible and economically competitive with other systems in the near to mid-term time period (1985-1990) on a commercial scale. The program objective for Phase I is to identify and conceptually characterize solar/fossil steam Rankine cycle, commercial-scale, power plant systems that are economically viable and technically feasible. This volume contains the detailed conceptual design and cost/performance estimates and an assessment of the commercial scale solar central receiver hybrid power system. (WHK)

  16. Energy technology scenarios for use in water resources assessments under Section 13a of the Federal Nonnuclear Energy Research and Development Act

    SciTech Connect (OSTI)

    None

    1980-10-01T23:59:59.000Z

    This document presents two estimates of future growth of emerging energy technology in the years 1985, 1990, and 2000 to be used as a basis for conducting Water Resources Council assessments as required by the Nonnuclear Energy Research and Development Act of 1974. The two scenarios are called the high world oil price (HWOP) and low world oil price (LWOP) cases. A national-level summary of the ASA tabulations is shown in Appendix A; the scenarios are presented at the ASA level of detail in Appendix B. The two scenarios were generally derived from assumptions of the Second National Energy Plant (NEP II), including estimates of high and low world oil price cases, growth rate of GNP, and related economic parameters. The overall national energy growth inherent in these assumptions was expressed as a detailed projection of various energy fuel cycles through use of the Fossil-2 model and regionalized through use of the Strategic Environmental Assessment System (SEAS). These scenarios are for the use of regional analysts in examining the availability of water for and the potential impacts of future growth of emerging energy technology in selected river basins of the Nation, as required by Section 13(a).