National Library of Energy BETA

Sample records for aberd een hol

  1. Verifying Test Hypotheses -HOL/TestGen Verifying Test Hypotheses -HOL/TestGen

    E-Print Network [OSTI]

    Verifying Test Hypotheses - HOL/TestGen Verifying Test Hypotheses - HOL/TestGen An Experiment in Test and Proof Thomas Malcher January 20, 2014 1 / 20 #12;Verifying Test Hypotheses - HOL/TestGen HOL/TestGen Outline Introduction Test Hypotheses HOL/TestGen - Demo Verifying Test Hypotheses Conclusion 2 / 20 #12

  2. http://hol.sagepub.com/ The Holocene

    E-Print Network [OSTI]

    Gilli, Adrian

    . 425547HOL22410.1177/095968 3611425547Elbert et al.The Holocene 1 University of Bern, Switzerland 2 PAGES International Project Office, Switzerland 3 Universidad de Concepción, Chile 4 University of Geneva, Switzerland 5 SURF-EAWAG, Switzerland 6 Geological Institute, ETH Zurich, Switzerland Received 1 April 2011

  3. Matching concepts across HOL libraries Thibault Gauthier and Cezary Kaliszyk

    E-Print Network [OSTI]

    Kaliszyk, Cezary

    Matching concepts across HOL libraries Thibault Gauthier and Cezary Kaliszyk University of Innsbruck, Austria {thibault.gauthier,cezary.kaliszyk}@uibk.ac.at Abstract. Many proof assistant libraries concepts, like natural num- bers, matching them between libraries is often straightforward, because

  4. Kunststoffen Een postacademische opleiding waarin alle aspecten

    E-Print Network [OSTI]

    - ingen maken voor het volgen van een permanente opleiding. Om efficiënt te zijn behoort de opleiding

  5. Statview, een overzicht van een aantal faciliteiten 1. aanmaken van kolommen en invoeren van data. De gegevens worden georganiseerd in kolommen. Een nieuwe

    E-Print Network [OSTI]

    de Groen, Pieter

    volgens dezelfde regels) als het cirkeltje in het scattergram. ­ Pie Chart (Taartdiagram) Als frequency vertikale variabele. ­ Bar Chart (Staafdiagram) Als frequency distribution in het describe-menu gekozen is vorm van sectoren van een cirkel. ­ Line Chart (Grafiek van een funktie) Als in een scattergram, maar

  6. In je element met een job in de chemie

    E-Print Network [OSTI]

    Goelzer, Heiko

    In je element met een job in de chemie 100 beroepen voor chemici #12;#12;Volledig in je element met een job in de chemie. Welk element ben jij? C Ben jij overal en altijd? Net als het alomtegenwoordige

  7. The Semantics of Power and ARM Multiprocessor Machine The HOL Specification

    E-Print Network [OSTI]

    Sewell, Peter

    The Semantics of Power and ARM Multiprocessor Machine Code The HOL Specification Jade Alglave2 Contents i Full Contents ii i #12;BRIEF CONTENTS ii I common coretypes 1 II common types 3 III ppc arm axiomatic model 6 IV arm coretypes 14 V arm types 19 VI arm ast 21 VII arm opsem 24 VIII arm seq monad 36 IX

  8. The Semantics of Power and ARM Multiprocessor Machine The HOL Specification

    E-Print Network [OSTI]

    Sewell, Peter

    The Semantics of Power and ARM Multiprocessor Machine Code The HOL Specification Jade Alglave 2 III ppc arm axiomatic model 6 IV arm coretypes 14 V arm types 19 VI arm ast 21 VII arm opsem 24 VIII arm seq monad 36 IX arm event monad 43 X arm decoder 51 XI arm program 55 XII ppc coretypes 58 XIII

  9. Bachelor project: Evaluatie van een Multi Level Fast Multipole Algoritme

    E-Print Network [OSTI]

    Vuik, Kees

    Bachelor project: Evaluatie van een Multi Level Fast Multipole Algoritme Begeleider: D.R. van der verschillende Fast Multipole algorithmes die momenteel in de industrie worden toegepast. Een van die algoritmes is het Open Source algoritme CASSANDRA. Zie: http://openfmm.sourceforge.net/ Aanpak Bestudeer de fysica

  10. Makers op waarde geschat Een nieuwe selectiemethode voor de Nederlandse film

    E-Print Network [OSTI]

    Boucherie, Richard J.

    Makers op waarde geschat Een nieuwe selectiemethode voor de Nederlandse film 6 juni 2008 Auteurs: Niek Baër Maarten Bos Arjan Feenstra Begeleiders: Esmé Lammers (Nederlands Fonds voor de Film) Judith . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2.1 Het cijfer van een film . . . . . . . . . . . . . . . . . . . . 6 2.2.2 Het cijfer van een

  11. Wat is Lean Six Sigma? Lean Six Sigma is een standaard-

    E-Print Network [OSTI]

    van Rooij, Robert

    Wat is Lean Six Sigma? Lean Six Sigma is een standaard- aanpak voor het organiseren van kwaliteits standaardmodellen voor programmamanagement en de organisatiestructuur, schrijft de Lean Six Sigma aanpak een uitvoering van hun projecten en faciliteren project- tracking. Tot slot biedt Lean Six Sigma een uitgebreide

  12. Wat is Lean Six Sigma? Lean Six Sigma is een standaard-

    E-Print Network [OSTI]

    van Rooij, Robert

    Wat is Lean Six Sigma? Lean Six Sigma is een standaard- aanpak voor het organiseren van kwaliteits standaardmodellen voor programmamanagement en de organisatiestructuur, schrijft de Lean Six Sigma aanpak een uitvoering van hun projecten en faciliteren project- tracking.Tot slot biedt Lean Six Sigma een uitgebreide

  13. 28 BIts&ChIps 17 november 2005 Energetiq Technology heeft een licht-

    E-Print Network [OSTI]

    Cambridge, University of

    28 · BIts&ChIps · 17 november 2005 Energetiq Technology heeft een licht- bron gelanceerd voor extreem ultravi- olet (EUV) metrologie. Deze Electrode- less Z-Pinch EUV-source, of EQ-10M, genereert EUV

  14. Onderwijs en offshoring Offshore outsourcing is een trend die niet is tegen te houden. Hoe moeten universiteiten en HBO-instellingen hierop reageren? Volgens Roel Wieringa

    E-Print Network [OSTI]

    Wieringa, Roel

    Onderwijs en offshoring Offshore outsourcing is een trend die niet is tegen te houden. Hoe moeten internationaal karakter universiteiten' De discussie over offshoring laat een opmerkelijke consensus zien onder

  15. Aberratie van het licht Stel dat je in een bepaalde richting wilt gaan bewegen. Neem dan het punt

    E-Print Network [OSTI]

    Icke, Vincent

    waar je naartoe beweegt als nulpunt (de "pool") van alle hoekmetingen. Kijk naar een andere richting richting van de pool. Je ziet dus niet meer de hoek maar een andere hoek , gegeven door cos = v + c cos dat cos = 1 ofwel = 0. Dat betekent dat je alles om je heen op de plaats van de pool ziet staan: je

  16. Automatische stress tests voor software code werken uitstekend Hoe bepaal ik de kwaliteit van een stuk software? Net zoals bij banken, willen we software

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    Automatische stress tests voor software code werken uitstekend Hoe bepaal ik de kwaliteit van een stuk software? Net zoals bij banken, willen we software aan een stress test onderwerpen, en een rating Universiteit Twente en het software bedrijf Info Support uit Veenendaal laat zien dat dit volledig automatisch

  17. Worteltaart in de Verboden Stad Ik weet niet of Broer Konijn een zus

    E-Print Network [OSTI]

    Nijholt, Anton

    zelfs dat het een veel verkocht product is bij de uit prei uit de grond rijzende Starbucks. Ik heb iets met Starbucks. Toen ik voor het eerst de VS bezocht in 1977 waren er geloof ik geen Starbucks. De Cola Starbucks in Nieuw-Zeeland, Canada, Californie, waar dan ook. Starbucks was alternatief, Bob Dylan of Bruce

  18. Ecological Entomology (2014), 39, 589594 DOI: 10.1111/een.12136 Seasonal decline in plant defence is associated with

    E-Print Network [OSTI]

    Agrawal, Anurag

    2014-01-01

    ), exploitation of plant parts with low secondary metabolites (Strauss et al., 2004), and preference for sitesEcological Entomology (2014), 39, 589­594 DOI: 10.1111/een.12136 Seasonal decline in plant defence, Switzerland and 3 Department of Entomology, Cornell University, Ithaca, New York, U.S.A. Abstract. 1. Plant

  19. Inclusion of virtual nuclear excitations in the formulation of the (e,e'N)

    E-Print Network [OSTI]

    G. H. Rawitscher

    1998-02-07

    A wave-function framework for the theory of the (e,e'N) reaction is presented in order to justify the use of coupled channel equations in the usual Feynman matrix element. The overall wave function containing the electron and nucleon coordinates is expanded in a basis set of eigenstates of the nuclear Hamiltonian, which contain both bound states as well as continuum states.. The latter have an ingoing nucleon with a variable momentum Q incident on the daughter nucleus as a target, with as many outgoing channels as desirable. The Dirac Eqs. for the electron part of the wave function acquire inhomogeneous terms, and require the use of distorted electron Green's functions for their solutions. The condition that the asymptotic wave function contain only the appropriate momentum Q_k for the outgoing nucleon, which corresponds to the electron momentum k through energy conservation, is achieved through the use of the steepest descent saddle point method, commonly used in three-body calculations.

  20. http://hol.sagepub.com/ The Holocene

    E-Print Network [OSTI]

    Anderson, R. Scott

    in the Americas by synthesizing char- coal series spanning the last 2000 years (2 kyr) from an updated version Northern Arizona University, USA 6 Georg-August University, Germany 7 Canadian Forest Service, Canada 8, University of Calgary, Canada 11 University of Tennessee, USA 12 Virginia Tech, USA 13 University of North C

  1. http://hol.sagepub.com/ The Holocene

    E-Print Network [OSTI]

    Bern, Universität

    decline in biomass burning in the Americas by synthesizing char- coal series spanning the last 2000 years, Canada 8 École Pratique des Hautes Études, France 9 University of Bern, Switzerland 10 Biogeoscience Institute, University of Calgary, Canada 11 University of Tennessee, USA 12 Virginia Tech, USA 13 University

  2. Een beveiligde transmissie: de quantumcryptografie

    E-Print Network [OSTI]

    Cerf, Nicolas

    is bijvoorbeeld zo bij het cryptografie-algoritme per blok DES [4] of het meer recente Belgische Rijndael algoritme dat werd geselecteerd als de nieuwe AES [5] standaard. Dankzij deze algoritmes kunnen Alice en Bob

  3. EEN Hellas | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EA Jump to:of the NationalDynetek Europe GmbHED F Man (Krefeld,EEEEN

  4. Lemma Mining over HOL Light Cezary Kaliszyk and Josef Urban

    E-Print Network [OSTI]

    Kaliszyk, Cezary

    the pool of human-defined main (top-level) theorems in the large libraries with the most useful with its core library and the Flyspeck library. The various evaluation scenarios are defined and discussed Radboud University, Nijmegen Abstract. Large formal mathematical libraries consist of millions of atomic

  5. Stochastic Approximation: Sturen in een veranderende wereld

    E-Print Network [OSTI]

    Bhulai, Sandjai

    gedaan door middel van simulaties of experimenten. Twee bekende algoritmes binnen Stochastic Approximation zijn het Robbins- Monro algoritme en het Kiefer-Wolfowitz algoritme. Deze algoritmes benaderen formule is de kleine rekentijd en het gebruik van beperkte geheugenruimte. Echter, het algoritme hangt af

  6. ---1, I I Paeudo#~&&&&ia * B m -HolWMsholkfirql@Mmtefiatic

    E-Print Network [OSTI]

    ~ t h e ~ t h e m w e r e ~ m t quite dam. WhanIcameverycbm the Zhh e ~ ~ y iutotheahe although recomed as "different".) The small elchlld lnnablUng the Lanistes shell was not P. Ndng8tail

  7. ICT systeembeheer Een postacademische opleiding over professioneel systeembeheer

    E-Print Network [OSTI]

    Bosschere Faculteit Toegepaste Wetenschappen Vakgroep Elektronica en Informatiesystemen, RUG ITIL: de facto

  8. Dagboek van een reis naar Californie Albert Polman

    E-Print Network [OSTI]

    Polman, Albert

    's middags de voorselectie van kandidaten voor de Philips-AMOLF groep. Daardoor weinig tijd om het verhaal over de witte scholen in Amsterdam. Ik weet uit eigen ervaring dat de wethouder staat te liegen

  9. Project I: Richtingen in een vlak Timmy Fieremans

    E-Print Network [OSTI]

    Einmahl, Uwe

    is. De voorbeelden tonen dat de stelling ook als volgt geformuleerd kan worden: voor elke n 5 oneven mogelijkheden zijn. Jamison en Hill hebben vier oneindige families van configuraties beschreven, ze bestaan uit mogelijke constructies van configuraties Figuur 2.2: 3 sporadische voorbeelden uit de Jamison-Hill

  10. een pklad z posledn kapitoly uebnch text Liner algebra docenta Slovka. Na een se podleli David Holec, Jan Mysliveek, Ondej Pibyla a Luk Voknek.

    E-Print Network [OSTI]

    Slovák, Jan

    A A F nede#12;nováno A GFA = 0 @ 4 2 5 59 7 13 1 A 1 #12; BACE BFB T = (BA)(CE) (BF )B T = = 3 4 #1; #18

  11. Voorwoord Het BWI werkstuk is een van de laatste onderdelen van de studie Bedrijfswiskunde & Informatica.

    E-Print Network [OSTI]

    Bhulai, Sandjai

    & Informatica. In dit werkstuk is het de bedoeling dat de drie deelgebieden van de BWI studie aan bod komen drie deelgebieden die in de BWI-studie aan bod komen: Bedrijfskunde, Wiskunde en Informatica. In dit

  12. Ecological Entomology (2015), DOI: 10.1111/een.12187 Vestiges of an ancestral host plant: preference

    E-Print Network [OSTI]

    Nylin, Sören

    2015-01-01

    preferred host of P. c-album), instead preferring Salix, Betula, and Ribes. 3. However, newly hatched larvae

  13. foldal blogok frumok szavazsok HupWiki /frum friss

    E-Print Network [OSTI]

    Bencsáth, Boldizsár

    IRC A HUP hivatalos IRC csatornája, a #hup.hu Címlap Egy hónapja ismert a Kaminsky-DNS probléma - hol

  14. 1 Adagio q = 70 PETER BIRDMary's Hymn PETER BIRD

    E-Print Network [OSTI]

    Bird, Peter

    - with good things; and the rich He sent emp ty- a way.- E E 93 S. A. T. B. Org. hol pen- His ser vant- Is ra- el- in re mem- brance- of His mer cy;- - hol pen- His ser vant- Is ra- el- in re mem- brance- of His mer cy;- - He hath hol pen- His ser vant- Is ra- el- in His mer - - - He hath hol pen- His ser vant

  15. Mary's Hymn PETER BIRD Adagio q = 70

    E-Print Network [OSTI]

    Bird, Peter

    .- He hath hol pen- His ser vant- Is ra- el- in and the rich He sent emp ty- a way.- He hath hol pen- His ser vant- Is ra- el- in and the rich He sent emp ty- a way.- He hath hol pen- His ser vant mem- brance- of His mer cy;- - As He Is ra- el- in His mer cy.- - - As He hol pen- His ser vant- Is ra

  16. EG EPA STE W ETE ICT systeembeheer

    E-Print Network [OSTI]

    Informatiesystemen, RUG Dit programma laat toe een getuigschrift van de Universiteit Gent te verwerven ITIL: een de

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

    E-Print Network [OSTI]

    Koek, Frits

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

  18. Achtergronden Planeten; conjuncties

    E-Print Network [OSTI]

    Kruit, Piet van der

    Jezus. Of is het een wonder, dat we letterlijk moeten nemen? Of was het misschien een UFO? Piet van der

  19. DE ONDERZOEKER In de rubriek De Onderzoeker spreekt Solar Magazine ieder kwartaal met een professor, hoogleraar of andere

    E-Print Network [OSTI]

    Utrecht, Universiteit

    Topconsortium voor Kennis & Innovatie (TKI) Switch2SmartGrids, waarbinnen wij deelnemen aan het inno

  20. Ecological Entomology (2013), 38, 400407 DOI: 10.1111/een.12032 Does Aconitum septentrionale chemically protect floral

    E-Print Network [OSTI]

    Rasmont, Pierre

    2013-01-01

    metabolites is a widespread feature in plants that develop under herbivore pressures (Stephenson, 1982; Wink; Cook et al., 2013). The study of secondary metabolites of floral rewards is particularly interesting Plant Science Web, University of Neuch^atel­UNINE, Neuch^atel, Switzerland Abstract. 1. Chemical

  1. Kunstmatige Intelligentie (AI) Hoofdstuk 4.1.4 van Russell/Norvig = [RN

    E-Print Network [OSTI]

    Kosters, Walter

    10001000100 01101011001 9 #12;AI--Genetische algoritmen Mutatie Bij mutatie wordt elke bit van een individu met een zekere (kleine) kans, de mutation rate, omgeklapt. Een andere optie is om van elk individu een potenti¨ele oplossing, bij- voorbeeld met een "hill-climber". 10 #12;AI--Genetische algoritmen Voorbeeld

  2. Outer membrane porin M35 of Moraxella catarrhalis mediates susceptibility to aminopenicillins

    E-Print Network [OSTI]

    Jetter, Marion; Heiniger, Nadja; Spaniol, Violeta; Troller, Rolf; Schaller, André; Aebi, Christoph

    2009-01-01

    E, Verhoef J, Fleer A, van Dijk H: Com- plement resistanceCM, Hol C, Fleer A, van Dijk H, van Belkum A: Moraxella

  3. Derde deeltentamen Gameprogrammeren Vrijdag 9 november 2012, 8.30-10.30 uur

    E-Print Network [OSTI]

    Egges, Arjan

    . Het spel bestaat uit een scherm met rondvliegende asteroiden met op de achtergrond planeten. Een ufo te ontwijken. Als de ufo toch geraakt wordt door een asteroide, dan wordt dit aangegeven door de ufo

  4. NAC 07 mei 2008 KNMI Rob Groenland

    E-Print Network [OSTI]

    Haak, Hein

    , Rotsgebergte (Canada), Schotland en Ierland. Stormchaser USA Runner Seven Hills walk Rob Groenland. Vorticiteit is een microscopische maat en kan in elk punt een andere waarde hebben; het is een

  5. Math.Comput.Sci. (2015) 9:522 DOI 10.1007/s11786-014-0182-0 Mathematics in Computer Science

    E-Print Network [OSTI]

    Middeldorp, Aart

    2015-01-01

    Math.Comput.Sci. (2015) 9:5­22 DOI 10.1007/s11786-014-0182-0 Mathematics in Computer Science HOL versions of the Flyspeck, Multivariate Analysis and Complex Analysis libraries. The service runs on a 48 assistants · Large-theory automated reasoning · HOL light Mathematics Subject Classification 68T15 · 68T05

  6. Nederlandse samenvatting Binge or Control? Assessment of the validity, treatment and

    E-Print Network [OSTI]

    van den Brink, Jeroen

    Eetbuistoornis. De eetbuistoornis is een van de eetstoornissen naast anorexia nervosa en boulimia nervosa. Begin

  7. VITO-gesponsorde doctoraatsonderzoeker Invloed van gedrag op de geaggregeerde blootstelling aan

    E-Print Network [OSTI]

    Gent, Universiteit

    modelvoorspellingen zal gebeuren aan de hand van berekeningen voor een chemische stof, meer specifiek bisfenol A

  8. RijksUniversiteit Informatica Tentamen

    E-Print Network [OSTI]

    Kosters, Walter

    ) Wat is een Genetisch Algoritme? (ii)Welke stappen zijn nodig om op een probleem een genetisch algoritme toe te passen? 2. A* en IDA* (2 punten) Gegeven is de volgende graaf met gerichte kanten: De pathmax equation toegepastworden bij een toelaatbare heuristiek? d. Pas het A*­algoritme toe op de gegeven

  9. Personeelsplanning Kolomgeneratie

    E-Print Network [OSTI]

    Bhulai, Sandjai

    over kolomgeneratie, de geschiedenis, het algoritme en de nadelen. In het derde hoofdstuk geef ik een algoritme is gebaseerd op het simplex algoritme, alleen worden niet alle kolommen in het geheugen bewaard gemaakt met een branch-and-bound algoritme. Er wordt een voorbeeld behandeld van hoe een personeelsrooster

  10. Het webdossier Catch met vele extra's bij onderstaand artikel is te vinden op informatieprofessional.googlepages.com

    E-Print Network [OSTI]

    van Harmelen, Frank

    catalogus of thesaurus. De ene thesaurus gebruikt bijvoorbeeld de zoekterm `plankzeilen', terwijl een andere collecties worden met een aparte thesaurus beschreven: de Wetenschappelijke Collectie met een thesaurus van 35.000 termen en de Depotcollectie met eentje van 5.000 termen. Elke thesaurus is een hiërarchisch

  11. UNIVERSITY VIEW GLENN L. MARTIN HALL

    E-Print Network [OSTI]

    Daume III, Hal

    other parking lots are for use by PERMIT HOL HALL BENJAMIN BUILDING SCHOOL OF PUBLIC HEALTH ARCHITECTURE A.V. WILLIAMS TERRAPIN SOFTBALL COMPLEXVisitors: · Parking is primarily designated within cashier-attended facilities. Lots are marked with on map

  12. Veri?ed Planning by Deductive Synthesis in Intuitionistic Linear Logic 

    E-Print Network [OSTI]

    Dixon, L.; Bundy, Alan; Smaill, A.

    2009-01-01

    We describe a new formalisation in Isabelle/HOL of Intuitionistic Linear Logic and consider the support this provides for constructing plans by proving the achievability of given planning goals. The plans so found are ...

  13. Indistinguishability Obfuscation and UCEs: The Case of Computationally Unpredictable Sources

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    [x] = then if b = 1 then T[x] H.Ev(1 , hk, x) else T[x] $ {0, 1}H.ol() return T[x] Figure 2: Pseudocode

  14. Jules Verne Meister Zacharius

    E-Print Network [OSTI]

    Prodinger, Helmut

    ungeheure Krebsscheren, der Strom schäumte und brauste düster grollend im Schatten sei- ner Last zwischen, als sich auf der Insel, die wie eine hol- ländische Galiote2 in der Mitte des Stroms vor Anker 1 Wege

  15. Influence of Al doping on the critical fields and gap values in magnesium diboride single crystals T. Klein,1,2 L. Lyard,1 J. Marcus,1 C. Marcenat,3 P. Szab,4 Z. Hol'anov,4 P. Samuely,4 B. W. Kang,5 H-J. Kim,5

    E-Print Network [OSTI]

    Boyer, Edmond

    that MgB2 belongs to an origi- nal class of superconductors in which two weakly coupled bands with very the existence of two distinct superconducting gaps. One of the main consequence of this two-band superconduc of the superconducting gaps with Al doping remains controversial. Whereas Gonnelli et al.15 sug- gested that the small

  16. pdfcrowd.comopen in browser PRO version Are you a developer? Try out the HTML to PDF API OPINIE -Remco Breuker -24/04/13, 06:00

    E-Print Network [OSTI]

    jongeren recht op vast werk' 'U mag geen drone van Google-topman Schmidt, zij mogen wel een satelliet' #12

  17. Verschijnt 3-wekelijks, uitgez. juli en aug.

    E-Print Network [OSTI]

    Davis, Jesse

    ons dat verteld, en zij kunnen het weten, want zelf ontwierpen ze een Volkswagen Lupo in koolstofvezel

  18. RADBOUD UNIVERSITEIT NIJMEGEN AFDELING STERRENKUNDE

    E-Print Network [OSTI]

    Hörandel, Jörg R.

    effici¨enter kan werken dan vanuit een grafische omgeving. In deze oefening komen de volgende dingen aan

  19. Met de computer wiskundige bewijzen controleren De QED utopie

    E-Print Network [OSTI]

    Wiedijk, Freek

    bekend g* *eweest, maar al die tijd hebben de Polen (en een groep Japanners) bewijzen in de Mizar taal

  20. Met de computer wiskundige bewijzen controleren De QED utopie

    E-Print Network [OSTI]

    Wiedijk, Freek

    is dit systeem eigenlijk nauwlijks in het westen bekend geweest, maar al die tijd hebben de Polen (en een

  1. toekomstige ingenieurs!

    E-Print Network [OSTI]

    Davis, Jesse

    in vernieuwende 3D-printing dat onlangs bekroond werd met een prestigieuze internationale prijs. Kortom, Geniaa

  2. tijdschrift van de ku leuven 28 ma art 2012 | nr 7 | 23ste ja argang | w w w.kuleuven.be/ck / verschijnt maandelijks,

    E-Print Network [OSTI]

    Davis, Jesse

    Dtalks' ontwikkelt `Pig cough monitor' [3] Een burcht voor uw bytes nieuw Datacentrum ku leuven is `state of the art

  3. S T U D E N T E N B L A D V A N D E U N I V E R S I T E I T G E N T N 461 1 MRT 2007

    E-Print Network [OSTI]

    , zou- den ze daar eens geen deftige professional als ik voor contac- teren? Wat weten die pipo's nu

  4. Tentamen Programmeermethoden Maandag 4 augustus 2008, 14.0017.00 uur

    E-Print Network [OSTI]

    Kosters, Walter

    getallen voor de positieve getallen staan. Geef een effici¨ente oplossing. Neem aan dat A minstens ´e

  5. Een iets geredigeerde versie is verschenen in Jaarboek Overheidsfinancin 2008: K.P. Goudswaard en H. Nijboer, 'Sociale zekerheid: van verzekeren naar sparen?', in: C.A. de Kam

    E-Print Network [OSTI]

    Galis, Frietson

    wordt de efficiencywinst gezien: door gebruik te maken van individuele spaartegoeden kunnen individuen

  6. BDD synthese Rick van der Zwet

    E-Print Network [OSTI]

    Kosters, Walter

    Introductie BDD Synthese van een Binary Decision Diagram BDD is een belangrijk BDD algoritme [DK2009, p. 86 de daadwerkelijke synthese. Een simpele impementatie kan gemaakt worden met algoritme R. (a) Maak (zie Formule 2) door en , en (c) voer het algoritme R1 op f g. Op het eerste gezicht lijkt algoritme R

  7. Programmeermethoden Algoritmen; MATLAB, Java, Qt, Python, apps, . . .

    E-Print Network [OSTI]

    Kosters, Walter

    omgekeerde is bijna waar. Dit suggereert het volgende algoritme dat "bepaalt" of n een priemgetal is: Als 2n-getal, blijft lastig. (Uiteindelijk: Miller-Rabin.) Het algoritme is een randomized algoritme, en wel een Monte Carlo algoritme: het ene antwoord is altijd juist, het anders soms niet. Bij Las Vegas algoritmen zijn

  8. Trendclustering op Twitter Master project BMI

    E-Print Network [OSTI]

    Bhulai, Sandjai

    de SMR-groep) en ik heb onderzoek gedaan naar clusteringalgoritmes. Met een van deze algoritmes heb clusteringmethode ontwikkeld die deze analyse tracht te doen. Dit algoritme is gebaseerd op een al bestaand algoritme, genaamd OCTSM. De keuze op dit algoritme is gevallen na een uitgebreide literatuurstudie van de

  9. RADBOUD UNIVERSITEIT NIJMEGEN AFDELING STERRENKUNDE

    E-Print Network [OSTI]

    Hörandel, Jörg R.

    nummers te sorteren. In Taak 3 hebben wij all een sim- pel algoritme leren kennen om een lijst te sorteren. In het college wordt een andere algoritme voorgesteld: shellsort. Gebruik nu het shellsort algoritme x[50000] op. Sorteer deze vector met het shellsort algoritme. Taak 8 (3 punten) Herhaal Taak 3 en

  10. Denkniveaus bij algoritmen Jacob Perrenet, Jan Friso Groote en Eric Kaasenbrood

    E-Print Network [OSTI]

    Groote, Jan Friso

    als een nieuw soort objecten kan zien. We werken dit uit voor het begrip algoritme. Niveaus bij het begrip algoritme Toegepast op het begrip algoritme is de volgende door ons gehanteerde vierdeling in niveaus mogelijk: 1. Het executieniveau: het algoritme is een specifieke run op een concrete specifieke

  11. Tentamen Kunstmatige intelligentie Universiteit Leiden --Informatica

    E-Print Network [OSTI]

    Kosters, Walter

    punten) a. (6 punten) Leg het A*-algoritme en het IDA*-algoritme uit. b. (2 punten) Wanneer is een heuristiek admissibel? c. (4 punten) Toon aan dat als het A*-algoritme bij een admissibele heuristiek stopt in een doelknoop, het deze optimaal bereikt heeft. d. (8 punten) Voer zowel het A*-algoritme als het IDA*-algoritme

  12. .....ervj c 1 Cp nfor \\(1 lon f o

    E-Print Network [OSTI]

    is or was last employed . This definition shall not r el at e to a dispute beb~een an in ividual worker and his

  13. Timothy E John Dallas Department of Electrical and Computer Engineering

    E-Print Network [OSTI]

    Gelfond, Michael

    . of Microelectromechanical Systems 19, pp. 632-639 (2010). 9. "Design and Analysis of a Dual-Mode MEMS Micromirror," X. Xiong (Accepted, Journal of Electrostatics, 7/2012). 2. "The 18mm 2 Laboratory: Teaching MEMS Development-micromachined MEMS," Ashwin P. Vijayasai, Ganapathy Sivakumar, Matthew Mulsow, Shelby Lacouture, Alex Holness

  14. Hierarchical Verification of the Implementation of The IEEE754 TableDriven FloatingPoint Exponential

    E-Print Network [OSTI]

    Tahar, Sofiène

    verification system allows its use for the verification task over the whole design path of the circuitHierarchical Verification of the Implementation of The IEEE­754 Table­Driven Floating­Point Exponential Function using HOL Amr T. Abdel­Hamid 1 , Sofiâ?? ene Tahar 1 , John Harrison 2 1 Electrical

  15. Assessing the frictional and baroclinic contributions to stratified wake formation: a parameter space study 

    E-Print Network [OSTI]

    Smith, Jamie Brooke

    2006-08-16

    The baroclinic and surface-frictional contributions to stratified wake formation are considered as a function of the non-dimensional height ( = Nho/U) and aspect-ratio ( = ho/L) of the barrier. Numerical simulations are computed for a wide range...

  16. Released on receipt but intended f o r use

    E-Print Network [OSTI]

    &-Hol*tein earth walls are thrown up and shrubbery is planted upon them, since forest trees cannot be made t o grow- protected portions of the groves AS i n those sheltered by the windbreak. p s e r i e s of anemometers

  17. Time Repor*ng Codes 3/1/15 TRC Description TRC Description TRC Description

    E-Print Network [OSTI]

    Barrash, Warren

    HHS Holiday Pay - Temp - Salary OTA Overtime Accrued 1.5 CBK Call Back Pay HLS Holiday Pay - Reg-Salary.0 CPT Comp Time Taken - Reg HOH Holiday Pay - Temp-Hourly REG Regular - Hourly/Salary DNO Organ Donation - Temp - Salary HOL Holiday Pay - Reg-Hourly RET Regular - Temp-Hourly/Salary DNR Organ Donation - Reg

  18. IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOL. 50, NO. 1, JANUARY 2001 125 The Application of Neural Networks to Fuel

    E-Print Network [OSTI]

    Stengel, Robert F.

    , IEEE Abstract--Passenger vehicles fueled by hydrocarbons or alco- hols and powered by proton exchange than, but retains the reliability and ease of use of, conventional industrial controllers. The proposed in parallel with a conventional proportional-integral-derivative (PID) controller. A computer simulation

  19. FREE ACTIVITIES UNIVERSITY OF OXFORD MUSEUMS & COLLECTIONS

    E-Print Network [OSTI]

    Wallace, Mark

    ,Sun and Bank Hols 11am­4pm FREE ENTRY FOR CHILDREN FREE ENTRY FREE ENTRY FOR CHILDREN PITT RIVERS MUSEUM PITT.mhs.ox.ac.uk 01865 277280 OPEN Tuesday ­ Sunday 12 ­ 5pm FREE ENTRY FREE ENTRY FREE ENTRY FREE ENTRY Brilliant bugs for all · 10am-4pm Subject to availability Available from Information Point Every Sunday FAMILY FRIENDLY

  20. Int. J. , Vol. x, No. x, xxxx 1 Modelling and Analysis of Service Parts Logistics Systems

    E-Print Network [OSTI]

    Rossetti, Manuel D.

    Int. J. , Vol. x, No. x, xxxx 1 Modelling and Analysis of Service Parts Logistics Systems Fernando, the behaviour of the service parts logistics system (SPLS) is approximated with a modified M/G/1 HOL queuing policy. Keywords: Service parts logistics, optimisation, genetic algorithms, M/G/1 queuing model

  1. STATE RESTORATION IN DISTRIBUTED SYSTEMS Philip M. MERLIN

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    Technion - Israel institute of Technology Haifa, Israel Brian RANDELL Computing Laboratory The University to continue normal processing,, Such backward error recovery © 1978 IEEE. Personal use of this material;2 graphs are similar to the Occurrence Nets (also called Causal Nets) described in [HOL68, PET76, PET77

  2. Theory of Genetic Algorithms ---extended abstract---

    E-Print Network [OSTI]

    de Graaf, Jeannette

    , Joost N. Kok and Walter A. Kosters Leiden University, Department of Computer Science P.O. Box 9512, 2300 some methods for examining the fundamental properties of genetic algorithms ([Hol75, Jon75, Gol89, Mit computation. For a good overview of evolutionary computation one may consult the Handbook of Evolutionary

  3. tijdschrift van de ku leuven 19 december 2012 | nr 4 | 24ste ja argang | w w w.kuleuven.be/ck / verschijnt maandelijks,

    E-Print Network [OSTI]

    Davis, Jesse

    worden." ine van houdenhove "Sommige jaren haalt in bepaal- de regio's in Liberia geen enkel meisje een a whole community. En Liberia heeft vrouwelijke leiders nodig. We must walk alongside men." De Liberiaanse voor een fonds om jonge vrouwen uit de door conflict ge- teisterde West-Afrikaanse regio ­ Liberia

  4. Voorkennis chemie voor 1 Ba Bio-ir, Chemie, Fysica en sterrenkunde Voor meer informatie: contacteer csb.etterbeek@vub.ac.be

    E-Print Network [OSTI]

    Einmahl, Uwe

    Voorkennis chemie voor 1 Ba Bio-ir, Chemie, Fysica en sterrenkunde Voor meer informatie: contacteer verwacht wordt bij aanvang van een studie bachelor Bio-ingenieurswetenschappen, Chemie of Fysica en, telkens geïllustreerd met een of meerdere voorbeeldopgaven. 1. Elementaire chemie en chemisch rekenen 1

  5. Kom met je idee naar de PV! Dit intakeformulier is de eerste stap in de realisatie van uw idee

    E-Print Network [OSTI]

    Franssen, Michael

    Kom met je idee naar de PV! Dit intakeformulier is de eerste stap in de realisatie van uw idee budget voor dit idee? Waarmee kan de PV u helpen? * (Denk bijvoorbeeld aan een locatie, meedenken met de een idee aangeleverd bij de PV? Zo ja, wat waren uw ervaringen en wie was uw contactpersoon? Heeft u

  6. wetenschapskrantWeten schapswinkel Universiteit Twente

    E-Print Network [OSTI]

    Theune, Mariët

    Techniek van de afdeling Waterbeheer, heeft in het voorjaar van 2008 een onderzoek uitgevoerd naar de dijk Paterswolde Schipsloot. Een particulier uit Haren (Groningen) was benieuwd of de dijk, waarachter zijn huis. De studentonderzoeker vindt het `aannemelijk' dat de dijk verder is opgehoogd dan noodza- kelijk

  7. TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica

    E-Print Network [OSTI]

    Rienstra, Sjoerd W.

    ) f (z) is analytisch behoudens een pool van de orde 3 in z = 0 en enkelvoudige polen in z = i en z2 - 5z + 2)2 is een analytische functie met uitzondering van de polen. Deze kunnen we berekenen door

  8. Faculteit Wetenschappen Vakgroep Wiskunde

    E-Print Network [OSTI]

    Einmahl, Uwe

    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3 Een iteratief algoritme 11 3.1 Herformulering van het probleem . . . . . . . . . . . . . . . . 11 3.2 Het algoritme . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 4 Convergentie 13 5 Convexe functies en verzamelingen In Sectie 3 zal een algoritme voorgesteld worden om probleem (1) op te

  9. Hoofdstuk 8 Priemtesten en priemontbinding

    E-Print Network [OSTI]

    Beukers, Frits

    een computerprogramma of algoritme te meten. Het idee is grofweg dat we het programma een vraag algoritme doet over de verwerking van de invoer. Neem bijvoorbeeld het euclidisch algoritme toegepast op- graaf 3.4 hadden we gezien dat het Euclidisch algoritme c log10 N stappen nodig heeft voor zekere c > 0

  10. 25ste jaargang | nr. 6 | nr. 213 | afgiftekantoor Gent X | periodiek tijdschrift | verschijnt tweemaandelijks | P409859 | afzendadres: Onderbergen 1, 9000 Gent

    E-Print Network [OSTI]

    Gent, Universiteit

    ? universiteit gent ruimte transport energie wonen #12;juli»1-15 augustus»8-31 september»1-23* Sint;11 E-Cube naar finale Solar Decathlon 2 Jostein Gripsrud bekijkt ons natiegevoel 8 Wat doen UGent van Solar Decathlon, een prestigieuze wedstrijd die studenten aanzet een energievriendelijke woning te

  11. Kansrekening Aanbevolen achtergrondliteratuur met veel opgaven (en oplossingen)

    E-Print Network [OSTI]

    Batina, Lejla

    and Statistics. McGraw-Hill Companies, 2000, 408 p., ISBN: 0071350047. #12;Wiskunde 1 voor kunstmatige een dobbelsteen: de kans voor elke van de getallen 1, 2, 3, 4, 5, 6 is 1 6 , maar we kunnen ook iets zijn er in elk geval 6 mogelijkheden en de kans lijkt even groot te zijn. Maar als we dit in een

  12. METRISCHE RUIMTEN EN CONTINUE AFBEELDINGEN aanvullend materiaal voor het college Analyse 1

    E-Print Network [OSTI]

    Hulshof, Joost

    onderscheiden twee gevallen. (i) M elk natuurlijk getal n een xn A, zodat f(xn) > M - 1 n . (ii) M = +. Dan bestaat er voor elk natuurlijk getal n een xn A, zodat f(xn) > n. In beide, of "Principles of Mathematical Analysis" van W. Rudin (McGraw Hill 1964). Voor meer algemene metrische (en

  13. Syllabus Analyse B2 door T. H. Koornwinder

    E-Print Network [OSTI]

    Wiegerinck, Jan

    , 1990. [5] W. Rudin, Principles of mathematical analysis, McGraw-Hill, Third ed., 1976. [6] W. Walter functierij (fn) n=1 convergeert puntsgewijs op X naar een limietfunctie f op X als voor elke x X geldt dat als er voor elke > 0 een natuurlijk getal N bestaat zo dat voor alle n N geldt dat |f(x) - fn

  14. Crinoids of the Francis Shale (Missourian) of Oklahoma

    E-Print Network [OSTI]

    Strimple, H. L.; Moore, R. C.

    1971-11-30

    the possibility of collecting more speci- mens at the brick pit just south of Ada, Pontotoc County, Oklahoma, and was joined by ALLEN GRAFFHAM and one of us (STRimpLE) in excavat- ing a large colony or pocket of crinoids. A few rather large concretions..., Missourian, Pontotoc Coun- ty, Oklahoma; T. progressus STRIMP LE, 1952, Barnsdall Formation, Missourian, Osage County, Oklahoma; T. associatus STRIMP LE, 1952, Oolo- gah Limestone, Desmoinesian, Tulsa County, Oklahoma; T. coniformis STRIMP LE, 1961, Hol- deny...

  15. Ammonia fiber explosion (AFEX) pretreatment of municipal solid waste components 

    E-Print Network [OSTI]

    Lundeen, Joseph Eric

    1991-01-01

    AMMONIA FIBER EXPLOSION (AFEX) PRETREATMENT OF MUNICIPAL SOLID WASTE COMPONENTS A Thesis by JOSEPH ERIC LUNDEEN Submitted to the Oflice of Graduate Studies of Texas A&M University in partial fulfdlment of the requirements for the degree... of MASTER OF SCIENCE December 1991 Major Subject: Chemical Engineering AMMONIA FIBER EXPLOSION (AFEX) PRETREATMENT OF MUNICIPAL SOLID WASTE COMPONENTS A Thesis Joseph Eric Lundeen Approved as to style and content by: Mark Hol pie ( tte R. W...

  16. Interfacial assembly of dendritic microcapsules with host-guest chemistry

    E-Print Network [OSTI]

    Zheng, Yu; Yu, Ziyi; Parker, Richard M.; Wu, Yuchao; Abell, Chris; Scherman, Oren A.

    2014-12-16

    subsequent etching under relatively harsh conditions to obtain a hol- low structure, lowering encapsulation and loading effi- ciencies. Droplets-in-droplet based double or multiple emulsion strategies28,29, although powerful, depend on ingenious microfluidic... ,34, micelles35, hydro- gels36,37, colloids38 and more recently by our group, mi- crocapsules39. In this supramolecular system, cucur- bit[8]uril (CB[8]) was exploited to crosslink a naphthol- modified poly(acrylamide) copolymer and methyl viologen...

  17. Composition and Digestibility of the Chloroform Extract of Hays and Fodders. 

    E-Print Network [OSTI]

    Fraps, G. S.; Rather, J. B.

    1913-01-01

    of Chloroform Extract and of Ether Extract. Period. 3 12 9 6 17 16 4 10 15 11 5 1413 7 18 2 Description. Alfalfa hay ..................... Bermuda hay ................. Buffalo grass hay.......... Burr clover..................... Corn...-73? 4665 Excrement, rice straw..................................... 115.0 72-73? The acetyl numbers of the crystals are near to that of myricyl alco? hol, which is 116.4. This corresponds to the crystals separated from the ether extract of burr clover...

  18. ACTION RELATIONS IN RATIONALE CLAUSES AND MEANS CLAUSES*

    E-Print Network [OSTI]

    present the distinctive features of these constructions, de- scribe their logical form, and define. This researdt has I)een supported by U S WEST Advanced Technologies, by the Air Force Office of Scientific

  19. Voorkennis chemie voor 1 Ba Geografie Voor meer informatie: contacteer csb.etterbeek@vub.ac.be

    E-Print Network [OSTI]

    Einmahl, Uwe

    Voorkennis chemie voor 1 Ba Geografie Voor meer informatie: contacteer csb verwachte voorkennis, telkens geïllustreerd met een of meerdere voorbeeldopgaven. 1. Elementaire chemie en chemische reacties #12;Voorkennis chemie voor 1 Ba Geografie Voor meer informatie: contacteer csb

  20. Voorkennis chemie voor 1 Ba Biologie Voor meer informatie: contacteer csb.etterbeek@vub.ac.be

    E-Print Network [OSTI]

    Einmahl, Uwe

    Voorkennis chemie voor 1 Ba Biologie Voor meer informatie: contacteer csb verwachte voorkennis, telkens geïllustreerd met een of meerdere voorbeeldopgaven. 1. Elementaire chemie en chemische reacties #12;Voorkennis chemie voor 1 Ba Biologie Voor meer informatie: contacteer csb

  1. Inzicht in opkomende depressies Hylke de Vries (Department of Meteorology, Reading)

    E-Print Network [OSTI]

    de Vries, Hylke

    opgebouwde warmte naar de polen wordt ge- transporteerd. In dit artikel bestuderen we hoe we cyclogenese, depressies genaamd, spelen een cruciale rol in het transporteren van warm- te van de tropen naar de polen, en

  2. TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica

    E-Print Network [OSTI]

    Hautus, Malo

    polen van de vijfde orde, en z = 2, een pool van de tweede orde. Als R . Daarom is dan IR = 0. Als 1 polen binnen CR , beide van de vijfde orde. Het is te

  3. TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica

    E-Print Network [OSTI]

    Hautus, Malo

    . Oplossing: De functie tan z heeft een pool voor z = ± 2 en z = ±3 2 en verder geen polen met |z| dz. Oplossing: Er liggen twee polen binnen de cirkel |z| = 2, nl. z = ±i. Het vertakkingspunt z = -4

  4. Quiver on the Edge: Consistent Scalable Edge Services

    E-Print Network [OSTI]

    Reiter, Michael

    Edge Services performne of these opertions enets from the ojet hving een miE grted to nery proxyF yther worklods enet from uiver dispersing the ompute lod ross the proxies performing opertionsD nd sving

  5. J. Phys. I France 5 (1995) 539-545 MAY 1995, PAGE 539 Classification

    E-Print Network [OSTI]

    Boyer, Edmond

    1995-01-01

    of trie CDW is taken into account, pinning results from a competition beta>een trie elastic energy of trie is still trie subject of some controversy. Since trie interaction energy of a CDW with impurities

  6. Adaptief Algoritme voor Geladen en Ongeladen Deeltjes Transport. Student : D. J. Koeze

    E-Print Network [OSTI]

    Vuik, Kees

    Adaptief Algoritme voor Geladen en Ongeladen Deeltjes Transport. Student : D. J. Koeze Begeleider reactor bepaalt dus ook de verdeling van de warmteproductie in de reactor. Een adaptief algoritme om de

  7. TECHNISCHE UNIVERSITEIT EINDHOVEN Tentamen 2IC08: ComputerSystemen 2

    E-Print Network [OSTI]

    Franssen, Michael

    die is aangesloten via een H- brug op de PWR0 en PWR1 uitgangen van de practicumprocessor. De uitgangen PWR2 t/m PWR7 worden niet gebruikt en mogen elke w

  8. Sustainability policy and environmental policy John C. V. Pezzey

    E-Print Network [OSTI]

    Pezzey, Jack

    Sustainability policy and environmental policy John C. V. Pezzey Australian National University Economics and Environment Network Working Paper EEN0211 October 2002 #12;Sustainability Policy and Environmental Policy John C. V. Pezzey Centre for Resource and Environmental Studies Australian National

  9. Software testen kan voortaan volledig automatisch Onderzoeker ontwikkelt methode die softwareontwikkelaars miljoenen kan besparen

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    Software testen kan voortaan volledig automatisch Onderzoeker ontwikkelt methode die systeem dat het handmatig testen van software overbodig maakt. Het systeem maakt het niet alleen mogelijk om software sneller en nauwkeurig te testen, maar bespaart softwareontwikkelaars ook nog eens veel

  10. A review of the Energy Productivity Center's Least-Cost Energy Strategy study

    E-Print Network [OSTI]

    Berndt, Ernst R.

    1981-01-01

    The Mellon Institute's Energy Productivity Center (EPC) has recently completed a study asking the question, "How would the nation have provided energy services in 1978 if its capital stock had een reconfigured to be optimal ...

  11. Aanbevolen achtergrondliteratuur met veel opgaven (en oplossingen): Frank Ayres: (Schaum's Outline of Theory and Problems of) Calculus.

    E-Print Network [OSTI]

    Batina, Lejla

    : (Schaum's Outline of Theory and Problems of) Calculus. McGraw-Hill Companies, 1999, 578 p., ISBN rationale getallen Q) een deelverzameling van R waar tussen elk paar van punten uit D overaftelbaar veel

  12. Masontown-Uniontown folio, Pennsylvania 

    E-Print Network [OSTI]

    Campbell, Marius R. (Marius Robinson), 1858-1940.

    1902-01-01

    .184 238.914 TST 9.204 22.055 63.511 137.205 243.122 TA 9.107 24.282 62.599 139.977 238.833 40 Table 11: EENS Variations for Different Parameter ? EENS [MWh] ? 1.0 1.2 1.4 1.6 1.8 IIM 1095.567 3431.206 9531.999 22659.550 46315.685 TST 1132...

  13. Yeast Breads: Made at Home. 

    E-Print Network [OSTI]

    Reasonover, Frances

    1971-01-01

    ~rc,~wd 1 pound loaf pans. Let rise until doubled. pit ,it 400? I;. about 50 minutes. When loaves shrink .nm s~des of pan, are a golden brown and give a hol- 1~ sound when tapped, the bread is done. As soon I \\ lalres are taken from the oven, turn... wanted, remove dough from refrigerator and punch down. Mold at once in any desired shape. Or, if preferred, let dough stand in warm room an hour before molding. Place in greased pans and let rise until doubled in size, about 1 hour. Bake at 425' F...

  14. An economic evaluation of selected tenure arrangements for a representative farm in the northern high plains of Texas 

    E-Print Network [OSTI]

    Harwell, R. Lynn

    1970-01-01

    'frixfxttee) ~ ~~yg/J Jeff:axxy 1970 ABSTRACT An Economic Evaluation of Selected Tenure Arrangements For A Representative Farm in the Northern Sigh Plains of Texas. (January 1970) Richard Lynn Sarwell; B. B. S. , The University of Texas Directed by: Dr. J. S... thar three-fourths of the annual noisture falls during the growing season [27]. LLANO M E'yg ~VI P@ I CO HARFvvv EHERSAV tiooRF HolCHINsoN Study Area vs% Figure 1. Distribution of Hardlands Soils, Texas bligh Pla111S Souro: [57 J !!ind !mi...

  15. Commercial Feeding Stuffs, September 1, 1924 to August 31, 1925. 

    E-Print Network [OSTI]

    Youngblood, B. (Bonney); Fuller, F. D. (Frederick Driggs); Pearce, S. D.

    1925-01-01

    T. 0 WALTON, President STATION STAFFf- -'r ADMINISTRATION: B YOUNGBLOOD M S Ph. D Director A: B. CONNER, M. s.. 't'ice-~i;lctor R. E. KARPER, B. S., Asszstani Dlrector A S WARE Secretary W. H. HOL~MANN Chief Clerk M. P HOLLEMAN 'JR Assistant... A Chief H.'NESS, M. s.', ~krry'~reeder RANGE ANIMAL HUSBANDRY: J. M. JONES, 4. M., Chief; Sheep and Goat Invest[gatrons J. L. LUSH? Ph. D., Animal Husbandman; Breedzng Investzgatzons J. J. HUNT, Wool Grader ENTOMOLOGY: F. L. THOMAS? Ph. D...

  16. Breed and environmental factors influencing the performance of crossbred cattle for milk production in a tropical environment 

    E-Print Network [OSTI]

    Contreras Duran, Ricardo Eligio

    1977-01-01

    'ber on lactation performance. Plain dairy- ing characterist'c= of these farms are: most of the cows are Bos . indicos-Bos taurus crossbreds, , cows a!0 '1~cd-m. Ikcd and no concentrate is fed to the animals. The experimental material consisted of 1888 lactation... records from Hol. tein, Brown Hwiss, Criollo, Zebu and Brahman crossbred cows. 1'dil k yield was estimated from monthly weights. Calvir!g number, lactation length, calving interval and previous dry pe iod were also recorded. Analyses we e conducted...

  17. Magnetic Quadrupole Decay of (1s2s2p) 4p05/2-(1s)22s2se1/2 Transition of Lithium Isoelectronic Sequence 

    E-Print Network [OSTI]

    Onello, J. S.; Ford, A. Lewis.

    1975-01-01

    of electron decay-in-flight spectra from autoionizing states of the lithium s eries' and x-ray emission from foil -excited beams' have prompted a systematic study of the magnetic quadrupole decay rates for the sequence by means of a nuclear-charge-expansion... the expansion eigenval- ues of the lithium sequence from I.iI through ArXVI and compares them to the variational estimates of HolOien and Geltman. ' For 0 VI the energy from the Z expansion differs from the variational energy obtained with the 41-term...

  18. Hammering towards QED

    E-Print Network [OSTI]

    Blanchette, Jasmin C.; Kaliszyk, Cezary; Paulson, Lawrence C.; Urban, Josef

    2015-01-01

    algorithms have led to visible suc- cess. Fully automated procedures can prove 40% of the theorems in the Mizar math library, 47% of the HOL Light/Flyspeck libraries, with com- parable rates in Isabelle. These automation rates represent an enormous savings... the automatic proof of the Robbins conjecture by William McCune’s EQP system in 1996 [91]. ATPs have solved some open equational algebraic problems—for example, in quasigroup and loop theory [109]—finding proofs consisting of thousands of inferences. Linking...

  19. DE VOLKSKRANT Evolutietheoriepraktijk

    E-Print Network [OSTI]

    Eiben, A.E. "Guszti"

    DE VOLKSKRANT 24 Evolutietheoriepraktijk VU-hoogleraar Guszti Eiben wil met behulp van 3D-printers,zegthij.Eenmooiidee,maar hoe voer je het uit? De sleutel ligt bij de 3D-printer, zegt Eiben. Daarmee kun je robotlichamen maken zijn', zegt hij. Denk aan mijnbouw. Stuur een 3D-printer naar beneden en geef deeersterobotsdeopdracht

  20. WISKUNNEND WISKE DE MEESTERLIJKE MACHINE

    E-Print Network [OSTI]

    Goelzer, Heiko

    WISKUNNEND WISKE DE MEESTERLIJKE MACHINE ©2013,StandaardUitgeverij,Antwerpen,België Lara werkt studio een machine die pagina's kan sorteren op één van de 5 gecodeerde cijfers: wanneer je de machine bv ingestelde plaats hetzelfde cijfer hebben, dan behoudt de machine hun onderlinge volgorde. a) Help Lara met

  1. Rank Project Name Directorate, Dept/Div

    E-Print Network [OSTI]

    gallons industrial waste 7 Oil-free Vacuum Pumps and new Catalyst EENS, Environmental Sciences Dept. (L. Nunnermacker) $6,000 $3,516 1.7 50 pounds of hazardous waste 8 Bulk Motor Oil F&A, Staff Services (H. HauptmanRank Project Name Directorate, Dept/Div and POC Cost Savings Payback (Years) Waste Reduction 1

  2. Rank Project Name Directorate, Dept/Div

    E-Print Network [OSTI]

    Electronic Recycling Procurement & Property Management (John Collins) $3,500 TBD N/A 10 tons of e-waste 7 Oil,000 $830.00 7.23 6 liters of industrial waste 8 Disposal of #6 Fuel Oil * EENS (Yousif Celebi $500 $4Rank Project Name Directorate, Dept/Div and POC Cost Savings Payback (Years) Waste Reduction 1

  3. HNEI Overview and Fuel Cell Programs

    E-Print Network [OSTI]

    fuels · Integrated bioenergy systems · Technology Assessment and Policy #12;ACT 253 (HB1003 and from the energy fund to HNEI. Passed out of House and Senate EEN committees #12;Technology Assessment fuel cells and materials · Fuel cell testing and modeling · Hydrogen ­ · Renewable hydrogen production

  4. Handleiding eduroam op Apple iOS6

    E-Print Network [OSTI]

    Handleiding eduroam op Apple iOS6 Version: 1.0 eduroam Date: 24-04-2013 #12;2 Inleiding Deze handleiding beschrijft hoe u met uw Apple iPad of iPhone met iOS6 een verbinding met eduroam kan opzetten

  5. Examen Numerieke Analyse I, lic. Wiskunde & Informatica, 30 juni 03 1 Examen Numerieke Analyse I, lic. Wiskunde & Informatica, 30 juni 03

    E-Print Network [OSTI]

    de Groen, Pieter

    Examen Numerieke Analyse I, lic. Wiskunde & Informatica, 30 juni 03 1 Examen Numerieke Analyse I, lic. Wiskunde & Informatica, 30 juni 03 1. Als A ¾ IRn een inverteerbare matrix is, dan kunnen we bij Numerieke Analyse I, lic. Wiskunde & Informatica, 30 juni 03 2 2. Laat Hu de Householdertransformatie zijn

  6. er handltng and ~Ing IS the key to

    E-Print Network [OSTI]

    . and that the food ta ted prell) good e\\en after month of frozen storage. A he could not depend on the sea-ice-and-salt method to the com- plex ammonia and freon refrigeration ) tems of today. At the end of the 19th centur, working out ways to control enzymes and bacteria, developing cabinets for commercial storage and home use

  7. Bachelor project: Ferromagnetische radar absorberende coatings

    E-Print Network [OSTI]

    Vuik, Kees

    Bachelor project: Ferromagnetische radar absorberende coatings Begeleider: D.R. van der Heul niet alleen een bijzondere vormgeving, maar zijn ook bedekt met radar absorbing coatings. De radar absorbing coatings (RAC) zetten de inkomende elektromagnetische golven om in warmte, die vervolgens naar de

  8. TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica

    E-Print Network [OSTI]

    Hautus, Malo

    ;4. Van de functie f (z) is gegeven: 1) f (z) is analytisch in C, behoudens polen in z = 0, z = 1 en z = -1; de polen in z = 1 en z = -1 hebben dezelfde orde; 2) f (z) heeft een tweevoudig nulpunt in z = i

  9. Physically-based dynamic modelling of the effect of land use changes on shallow landslide initiation in the Western Ghats of Kerala, India

    E-Print Network [OSTI]

    Jetten, Victor

    initiation in the Western Ghats of Kerala, India Sekhar Lukose Kuriakose #12;ITC dissertation number 178 ITC, Kerala, India Fysisch-dynamisch modeleren van de gevolgen van landgebruiksveranderingen op het veroorzaken van oppervlakkige aardverschuivingen in het West Ghats gebergte, Kerala, India (met een

  10. ENERGY EFFICIENT TCP Master's thesis: L. Donckers

    E-Print Network [OSTI]

    Havinga, Paul J.M.

    ENERGY EFFICIENT TCP Master's thesis: L. Donckers CAES/002/01 May, 2001 University of Twente.J.M. Smit dr. ing. P.J.M. Havinga ir. L.T. Smit #12;#12;Energy Efficient TCP L. Donckers I SAMENVATTING Een presteren op meer traditionele punten: throughput en latency. #12;Energy Efficient TCP II #12;L. Donckers

  11. 2006 E-Culture wint prijs Op de internationale semantisch webconferentie

    E-Print Network [OSTI]

    van Harmelen, Frank

    - versie geeft een indruk van wat semantisch zoeken is. Wie de zoekterm 'dark' invoert, krijgt net als bij 'voorwerpen met 'dark' in de titel' en 'voorwerpen met donkere mate- rialen'. Bijzonder is bovendien, dat E-Culture ook voorwerpen vindt, waarbij het woord 'dark' helemaal niet in de omschrijving voorkomt. Twee

  12. Microsoft Word - Canadian Hydropower Association QER Submission...

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

    arious s tages o f d evelopment. T here a re m ore t han 2 0,000 m egawatts o f n ew hydropower g eneration t hat h ave e ither b een a nnounced o r a re c urrently b eing b uilt a...

  13. Tentamen Kunstmatige intelligentie Universiteit Leiden ---Informatica

    E-Print Network [OSTI]

    Kosters, Walter

    punten) a. (6 punten) Leg het A*­algoritme en het IDA*­algoritme uit. b. (2 punten) Noem een situatie plaatsen waar deze functie niet admissibel is de waarde door 0. e. (8 punten) Voer zowel het A*­algoritme als het IDA*­algoritme uit voor deze graaf. Gebruik zonodig de pathmax equation. Geef duidelijk aan

  14. Tentamen Kunstmatige intelligentie Universiteit Leiden | Informatica

    E-Print Network [OSTI]

    Kosters, Walter

    punten) a. (6 punten) Leg het A*-algoritme en het IDA*-algoritme uit. b. (2 punten) Noem een situatie gebruikt? d. (8 punten) Voer zowel het A*-algoritme als het IDA*-algoritme uit voor onderstaande graaf graaf. Geef duidelijk aan hoe de algoritmes verlopen. u 5 4 @ @ @ @ @ @ @ @ 6 A(6) u B(3) 3 u C(5) u D(8

  15. Beeldverwerking practica Detectie van verkeersborden met de Hough transformatie 1/2 Detectie van verkeersborden met de

    E-Print Network [OSTI]

    Pizurica, Aleksandra

    synthetische beeld circles.jpg. Wat is de invloed van de verschillende parameters van het algoritme? Hoeveel.jpg. Detecteert het algoritme het verkeersbord? Detecteert het enkel dat? · Om een rond verkeersbord verkeersbord1.jpg. Pas je algoritme toe op dit beeld. Hoe wordt de prestatie van het algoritme beïnvloedt

  16. Combinatorische Algoritmen: Binary Decision Diagrams, Deel III

    E-Print Network [OSTI]

    Kosters, Walter

    Decision Diagram (BDD) en hebben we Algoritme C gezien die ons snel het aantal oplossingen van f(x) = 1 door Algoritme B dat oplossingen met een maximaal gewicht kan genereren. In dit deel zullen we uitwerkingen bekijken van Algoritme B (Hoofdstuk 2) en passen we daarna Algoritme C aan om de genererende

  17. Examen Numerieke Analyse I, juli 1996 Naam: . . . . . . . . . . . . . . .

    E-Print Network [OSTI]

    de Groen, Pieter

    orthogonale basis voor V te berekenen. Beschrijf gedetailleerd de algoritme om zo'n basis te berekenen en geef ook aan, waarom deze numeriek stabiel is. Geef vervolgens de algoritme om op numeriek stabiele wijze inprodukt ervan, berekend met de algoritme S := 0; for k := 1 to n do S := S + uk vk . Laat d.m.v. een

  18. Tentamen Kunstmatige intelligentie Universiteit Leiden --Informatica

    E-Print Network [OSTI]

    Kosters, Walter

    punten) a. (6 punten) Leg het A*-algoritme en het IDA*-algoritme uit. b. (2 punten) Noem een situatie plaatsen waar deze functie niet admissibel is de waarde door 0. e. (8 punten) Voer zowel het A*-algoritme als het IDA*-algoritme uit voor deze graaf. Gebruik zonodig de pathmax equation. Geef duidelijk aan

  19. Handleiding eduroam met Android 4.0.x

    E-Print Network [OSTI]

    Handleiding eduroam met Android 4.0.x Version: 1.1 eduroam Date: 23-04-2013 #12;Inleiding Binnen de wordt uitgelegd hoe u een eduroam profiel op uw Android toestel configureert. Door de grote verscheidenheid aan Android toestellen, is het mogelijk dat screenshots afwijken van uw toestel. Screenshots

  20. Exact Measures of Income in a Hyperbolic Economy

    E-Print Network [OSTI]

    Pezzey, Jack

    Exact Measures of Income in a Hyperbolic Economy JOHN PEZZEY EEN0203 #12;Exact Measures of Income in a Hyperbolic Economy John C. V. Pezzey Centre for Resource and Environmental Studies Australian National.K. Draft of 23 January 2002 Abstract. Exact optimal paths are calculated for a closed economy with human

  1. Multicast Time Maximization in Energy Constrained Wireless Networks

    E-Print Network [OSTI]

    Orponen, Pekka

    Institute for Information Technology Basic Research Unit P.O. Box 26 FIN-00014 University of Helsinki Institute for Information Technology Basic Research Unit P.O. Box 26 FIN-00014 University of HelsinkiMulticast Time Maximization in Energy Constrained Wireless Networks Patrik Flor´een Helsinki

  2. TUDelftLibrary Roadmap 2014-2020

    E-Print Network [OSTI]

    Langendoen, Koen

    TUDelftLibrary Roadmap 2014-2020 TU Delft Library #12;2 `No crime is so great as daring to excel' Winston Churchill Roadmap 2014-2020 TU Delft Library #12;3 Inhoud 1 Inleiding 5 2 Context 6 2.1 Roadmap TU is deze roadmap die naar 2020 toewerkt. Een strategisch document, waarin we omschrijven hoe we onze

  3. AGEING & SEXING AGEING AND SEXING OF THE AFRICAN

    E-Print Network [OSTI]

    de Villiers, Marienne

    with narrow lime greel gr bases, Eving a moftled appea.rance when ihey yellow Tgrgns on the outer web lighter as the are blackish or dark brown with very thin lime plumage ages. Blackish ones liqime brown-withavariableamolntoflimeg{een the iris biown or dark brown. The legs ind on the.-fringeq 9{ttre feathers

  4. Klein's Group as a Borromean Object by Rene Guitart

    E-Print Network [OSTI]

    Guitart, René - Institut de Mathématiques de Jussieu, Université Paris 7

    in groups, boolean algebras, semi-rings, rings, fields. But the notion is introduced mainly for the case´een dans une cat´egorie. Nous don- nons des exemples dans les groupes, les alg`ebres de Boole, les semi borromean algebra Roughly speaking a borromean diagram for an object B is a presentation of this object B

  5. 74 NAW 5/4 nr. 1 maart 2003 Column: Wiskundigen in den vreemde Sandjai Bhulai Sandjai Bhulai

    E-Print Network [OSTI]

    Bhulai, Sandjai

    Laboratories, Lucent Technologies Room 2C-308, 700 Mountain Avenue Murray Hill, New Jersey, 07974-0636, USA communicatienetwerken. Telecomgiganten waren, na de acceptatie van de wet, bereid om een veelvoud van elke ge Carols ten ge- hore brengen. Bij het bekende Rockefeller Center, waar sinds 1931 elk jaar (met

  6. CERFACS Scientific Activity Report Jan. 2000 Dec. 2001

    E-Print Network [OSTI]

    CERFACS Scientific Activity Report Jan. 2000 ­ Dec. 2001 Centre Europ´een de Recherche et de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 3.3 Energy fall-off and side area contribution radius for the best PhD work of 2000. . . . . 48 2.1 DNS of stratified octane/air combustion: heat release. Left

  7. HAPPENING THIS WEEK NEWSLETTER FOR NOVEMBER 18th-NOVEMBER 25

    E-Print Network [OSTI]

    Lawrence, Rick L.

    ENERgy aNd SuSTaiNaBiLiTy WiLL pRESENT ThEiR pOSTERS ON TOpicS Such aS BiOMaSS FuELS, ENERgy EFFiciENcy, MSu ENERgy aNd SuSTaiNaBiLiTy EFFORTS, SOLaR ThERMaL ENERgy, SuSTaiNaBLE FOOd SySTEMS aNd ag FOR SuSTaiNaBLE FOOd pROducTiON. GET A HolD oF uS ThE MSu OFFicE OF SuSTaiNaBiLiTy ThE MSu OFFicE OF SuSTaiNaBiLiTy

  8. Microstructure and Strengthening Mechanisms of Highly Textured Cu/Ni Multilayers 

    E-Print Network [OSTI]

    Liu, Yue

    2011-10-21

    .6) where b is the Burgers vector, ? ? ????? ????? , GA, and GB are the shear modulus of materials with higher and lower shear modulus, respectively, h is the distance of ?isl??a?i?n ???? ??e in?e??a?e? an? ? is ??e s?alles? an?le ?e??een the interface... in?i?en? x-?a? ?ea?? ? is ??e s?a?in? ?e??een ??e ?lanes in ??e a???i? la??i?e? an? ? is ??e an?le between the incident x-ray beam and the scattering crystallographic planes. Figure 2.2 s???s ?i???a??i?n a?????in? ?? ??a???s la?. 34 During the XRD...

  9. A study of the middle Dutch poem, Van den vos Reynaerde and its sources in the branches of the old French Roman de Renard

    E-Print Network [OSTI]

    Appelboom, Peter Anton Frederik

    1917-01-01

    col. R. v.1199 Want eer hyt wiste, was hem een strec Omme sinesi bale arde vast.'** 41 R#R# v. BEG Con plus tret, plus eatrcint li las R. v.l£Q4 Rr.de sprang voert; dat strec liep toe R#R« v.860 Qar Martinez li clercono saut 'Or cug> or bug' fet... col. R. v.1199 Want eer hyt wiste, was hem een strec Omme sinesi bale arde vast.'** 41 R#R# v. BEG Con plus tret, plus eatrcint li las R. v.l£Q4 Rr.de sprang voert; dat strec liep toe R#R« v.860 Qar Martinez li clercono saut 'Or cug> or bug' fet...

  10. Tentamen Kunstmatige intelligentie Universiteit Leiden --Informatica

    E-Print Network [OSTI]

    Kosters, Walter

    punten) a. (6 punten) Leg het A*-algoritme en het IDA*-algoritme uit. b. (2 punten) Noem een situatie gebruikt? d. (8 punten) Voer zowel het A*-algoritme als het IDA*-algoritme uit voor onderstaande graaf graaf. Geef duidelijk aan hoe de algoritmes verlopen. u 5 4 d d d d d d dd 6 A(6) u B(3) 3

  11. Examen Numerieke Analyse I, 1 lic Info, 5 juni 2000 1. Laten u = (u1 , , un)T

    E-Print Network [OSTI]

    de Groen, Pieter

    algoritme S := 0; for k := 1 to n do S := S + uk vk . Laat d.m.v. een afrondfoutenanalyse zien dat voor de . antwoord: Afrondfout in de berekende waarde van het inprodukt S := n i=1 xi yi berekend met algoritme elementen van L en U te berekenen in de volgorde van de Doolittle-algoritme: for k = 1 : n do bereken U(1

  12. TECHNISCHE UNIVERSITEIT EINDHOVEN Tentamen 2IC08: ComputerSystemen 2

    E-Print Network [OSTI]

    Franssen, Michael

    de uitgangen PWR0 t/m PWR3. Daarbij is telkens één uitgang hoog en de overige uitgangen zijn laag. Door de hoge uitgang één poort modulo 4 naar boven op te schuiven (bijvoorbeeld van PWR1=1 naar PWR2=1 of van PWR3=1 naar PWR0=1) zet de motor een stap naar links. Schuift de hoge uitgang naar de andere kant

  13. Differentiaalvergelijkingen Hoorcollege 10

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    : [-L, L] R stuksgewijs continu is, dan is voor alle x waar f continu is: f(x) = a0 2 + n=1 an cos( nx L ) + bn sin( nx L ) met an = 1 L L -L f(x) cos nx L dx en bn = 1 L L -L f(x) sin nx L dx Als f een oneven functie is (dat wil zeggen: f(-x) = -f(x)) dan is x f(x) cos nx L ook oneven, dus an = 0 voor

  14. The Development of a Coordinated Database for Water Resources and Flow Model in the Paso Del Norte Watershed (Phase III) Part III GIS Coverage for the Valle de Juárez Irrigation District 009 (ID-009) (Distrito de Riego 009) Chihuahua, México 

    E-Print Network [OSTI]

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

    2009-01-01

    betw een Elephant Butte Dam, New Mexico and Fort Quitman, Texas. In Phases I and II of this Project (TAES/ 03-PL-02), hydrological data needed for flow model development we re compiled and data gaps were identified and a conceptual model developed.... This repo rt is Part III of a three part report for Phase III. Phases I and II of this project were completed earlier. Experts on GIS technology along with gradua te and undergraduate students from the Universidad of Ciudad Ju?rez Geographic Info...

  15. Geology of the Shiloh School-Liberty Church area, West Burleson County, Texas 

    E-Print Network [OSTI]

    Foster, Raymond Leon

    1956-01-01

    ~ ~ ~ so ~ ~ see I"e7' Cn44en City foraaticua a~ines lignitic ssn4h4y silva snt elk/S eoeeeeeeeee ' %s Tba fernatiens beeess progressively yeeager te44ard ths sonthaast fros tha Ch4een city fernatien en ths north44sst te the crockett fernatien on Q... iparta contact~ and at the Sparta 'ecljsa const, , ;esistant beds in the Sparta and jIjecj;ss formations form isolated~ rounded hills as outliors on the !aches and, . ueen City formations (Pigur? 16)~ Sose rolling hills aro found on the Sparta...

  16. I-Love-Q relations for gravastars and the approach to the black-hole limit

    E-Print Network [OSTI]

    Pani, Paolo

    2015-01-01

    The multipole moments and the tidal Love numbers of neutron stars and quark stars satisfy certain relations which are almost insensitive to the star's internal structure. A natural question is whether the same relations hold for different compact objects and how they possibly approach the black-hole limit. Here we consider "gravastars," which are hypothetical compact objects sustained by their internal vacuum energy. Such solutions have been proposed as exotic alternatives to the black-hole paradigm because they can be as compact as black holes and exist in any mass range. By constructing slowly-rotating, thin-shell gravastars to quadratic order in the spin, we compute the moment of inertia $I$, the mass quadrupole moment $Q$, and the tidal Love number $\\lambda$ in exact form. When suitably normalized, these quantities are nonanalytical functions of the compactness of the object. The $I$-$\\lambda$-$Q$ relations of a gravastar are dramatically different from those of an ordinary compact star, but the black-hol...

  17. Green's Function Approach to Inclusive Electron Scattering

    E-Print Network [OSTI]

    F. Capuzzi; C. Giusti; A. Meucci; F. D. Pacati

    2003-11-21

    A Green's function approach to the inclusive quasielastic ($e,e'$) scattering is presented. The components of the nuclear response are written in terms of the single-particle optical model Green's function. The explicit calculation of the Green's function can be avoided by its spectral representation, which is based on a biorthogonal expansion in terms of the eigenfunctions of the non-Hermitian optical potential and of its Hermitian conjugate. This allows one to treat final state interactions consistently in the inclusive ($e,e'$) and in the exclusive ($e,e'N$) reactions. Numerical results for the longitudinal and transverse response functions obtained in a nonrelativistic and in a relativistic framework are presented and discussed also in comparison with data.

  18. The analysis of convergence for four adaptive filtering algorithms 

    E-Print Network [OSTI]

    Sohn, Won

    1990-01-01

    of the weight error, e(n) becomes E[s(n + 1)] = I ? p( R E[e(n)]. / 2 Lr ir J(n) (2. 44) Since the mean square error, J(n) is a, function of time, the ku element of u(n) is expressed as us(n) = g t I ? plr' R vr(0). Ir ir J(n) (2. 45) Because... lr rl I( I I I 'rf 'I I fl rll , I fir& I Y I I rll I I ] I I I I f&I 'lI' & I rlr rr I I C 500 1000 1500 2000 Iteration number, n Fig. 8. Learning curves of the MZF algorithm with R(R) = 11. 1238 and varying step-size parameter. 23 K Cl 4...

  19. Geology of the Pontotoc area, Mason, Llano, and San Saba counties, Texas 

    E-Print Network [OSTI]

    Gontko, Robert Nicholas

    1962-01-01

    SROXiOSX SS' TRR PORTOTOO ARRAp RASOR, XLARO, ARR RAR SARA OOSRTXRS, TRXAS Ry' RGSRST RXOROLAS OOlFgKO SehsAtie4 Co Qae QeahaaSo School at She isa'fealeoo'al osd Neehoakeel OolleSo of Tesao fa yosiiai fultillaoae et Sho eeS~aSo toe She Oegaee... of RASTRR IN' SCXRSOR lQSS Sages SohgoeSI Seelem OR@OOF OP %R POSI0%90 kl8kg xaae, xaum, am sar azaa cornea@, mxaa k Thoaie ROSRRT SZOROXkl QOITKO Ayyteted aa W etj1e and een4ea4 ~s FRONTISPIECE The Llano basin. View to the south from road cut...

  20. Dilepton production in proton-proton collisions at BEVALAC energies

    E-Print Network [OSTI]

    Amand Faessler; C. Fuchs; M. I. Krivoruchenko; B. V. Martemyanov

    2003-02-14

    The dilepton production in elementary ${pp\\to e^{+}e^{-}X}$ reactions at BEVALAC energies $T_{lab}=1\\div 5$ GeV is investigated. The calculations include direct ${e^{+}e^{-}}$ decays of the vector mesons $\\rho ^{0}$, $\\omega $, and $\\phi $, Dalitz decays of the $\\pi ^{0}$-, $\\eta $-, $% \\rho $-, $\\omega $-, and $\\phi $-mesons, and of the baryon resonances $% \\Delta (1232),N(1520),$ $... $ . The subthreshold vector meson production cross sections in $pp$ collisions are treated in a way sufficient to avoid double counting with the inclusive vector meson production. The vector meson dominance model for the transition form factors of the resonance Dalitz decays $R\\to e^{+}e^{-}N$ is used in an extended form to ensure correct asymptotics which are in agreement with the quark counting rules. Such a modification gives an unified and consistent description of both $R\\to N\\gamma $ radiative decays and $R\\to N\\rho (\\omega)$ meson decays. The effect of multiple pion production on the experimental efficiency for the detection of the dilepton pairs is studied. We find the dilepton yield in reasonable agreement with the experimental data for the set of intermediate energies whereas at the highest energy $T_{lab}=4.88$ GeV the number of dilepton pairs is likely to be overestimated experimentally in the mass range $M=300\\div 700$ MeV.

  1. GEOS RR Lyr Survey: Blazhko Period Measurement of Three RRab Stars - CX Lyrae, NU Aurigae and VY Corona Borealis

    E-Print Network [OSTI]

    de Ponthiere, Pierre; Fumagalli, F; Hambsch, Franz-Josef; Krajci, Tom; Llapasset, J-M; Menzies, Kenneth; Nobile, Marco; Sabo, Richard

    2012-01-01

    We present the results of collaborative observations of three RR Lyrae stars (CX Lyr, NU Aur and VY CrB) which have a strong Blazhko effect. This work has been initiated and performed in the framework of the GEOS RR Lyr Survey (Groupe Europ\\'een d'Observations Stellaires). From the measured light curves, we have determined the times and the magnitudes at maximum. The times of maxima have been compared to ephemerides to obtain the (O-C) values and from a period analysis of these (O-C) values, the Blazhko period is derived. The Blazhko periods of NU Aur (114.8 days) and VY CrB (32.3 days) are reported here for the first time and a more accurate period for CX Lyr (68.3 days) has been obtained. The three stars are subject to strong Blazhko effect, but this effect has different characteristics for each of them. When we compare the variations of magnitude at maximum and variations of (O-C) values with respect to the Blazhko phase, these variations are either in phase, in opposition, or even in quadrature.