LEADER 02192oam 2200409I 450 001 9910712081803321 005 20191120095048.0 035 $a(CKB)5470000002489281 035 $a(OCoLC)1127827223 035 $a(EXLCZ)995470000002489281 100 $a20191115j201903 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aInvestigation of the loop seal clearing phenomena for the ATLAS DVI line and cold leg SBLOCA tests using MARS-KS and RELAP5/MOD3.3 /$fprepared by Minjeong Hwang [and three others] 210 1$aWashington., DC :$cDivision of Systems Analysis, Office of Nuclear Regulatory Research, Nuclear Regulatory Commission,$dMarch 2019. 215 $a1 online resource (xvolumes 49 pages) $cillustrations (some color) 225 1 $aInternational agreement report ;$vNUREG/IA-0501 300 $a"Prepared as part of the Agreement on Research Participation and Technical Exchange under the Thermal-Hydraulic Code Applications and Maintenance Program (CAMP)." 300 $a"Manuscript completed: March 2018; date published: March 2019." 320 $aIncludes bibliographical references (page 49). 517 3 $aInvestigation of the loop seal clearing phenomena for the Advanced Thermal-hydraulic test Loop for Accident Simulation Direct Vessel Injection line and cold leg Small Break Loss Of Coolant Accident tests using Multi-dimensional Advanced Reactor Safety program-Korea Standard and Reactor Excursion and Leak Analysis Program 5/MOD3.3 606 $aPressurized water reactors$xLoss of coolant$xComputer programs 606 $aThermal hydraulics 615 0$aPressurized water reactors$xLoss of coolant$xComputer programs. 615 0$aThermal hydraulics. 700 $aHwang$b Minjeong$01420515 712 02$aU.S. Nuclear Regulatory Commission.$bDivision of Systems Analysis, 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910712081803321 996 $aInvestigation of the loop seal clearing phenomena for the ATLAS DVI line and cold leg SBLOCA tests using MARS-KS and RELAP5$93538633 997 $aUNINA LEADER 02148oam 2200505zu 450 001 9910376024003321 005 20210807002017.0 035 $a(CKB)3170000000003128 035 $a(SSID)ssj0001125675 035 $a(PQKBManifestationID)11626012 035 $a(PQKBTitleCode)TC0001125675 035 $a(PQKBWorkID)11129447 035 $a(PQKB)10554032 035 $a(WaSeSS)IndRDA00011329 035 $a(Association for Computing Machinery)10.1145/1929529 035 $a(EXLCZ)993170000000003128 100 $a20160829d2011 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aPLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA 210 31$a[Place of publication not identified]$cACM$d2011 215 $a1 online resource (62 pages) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-4503-0487-7 410 0$aACM Conferences 517 1 $aProgramming Languages Meets Program Verification'11 :$eproceedings of the 5th Association for Computing Machinery workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, United States of America 517 1 $aProceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification 517 1 $aPOPL '11 the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, TX, USA - January 26 - 28, 2011 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 700 $aJhala$b Ranjit$0904352 702 $aSwierstra$b Wouter 702 $aJhala$b Ranjit 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910376024003321 996 $aPLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA$92022085 997 $aUNINA LEADER 04803nam 2200673Ia 450 001 9911019966803321 005 20200520144314.0 010 $a9786613306227 010 $a9781283306225 010 $a1283306220 010 $a9781118032886 010 $a1118032888 010 $a9781118031131 010 $a111803113X 035 $a(CKB)2550000000055761 035 $a(EBL)699717 035 $a(OCoLC)778616741 035 $a(SSID)ssj0000613411 035 $a(PQKBManifestationID)11408149 035 $a(PQKBTitleCode)TC0000613411 035 $a(PQKBWorkID)10586920 035 $a(PQKB)10671925 035 $a(MiAaPQ)EBC699717 035 $a(PPN)250339161 035 $a(Perlego)2775698 035 $a(EXLCZ)992550000000055761 100 $a19991220d2000 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aSorting $ea distribution theory /$fHosam M. Mahmoud 210 $aNew York $cJohn Wiley & Sons$d2000 215 $a1 online resource (414 p.) 225 1 $aWiley-Interscience series in discrete mathematics and optimization 300 $aDescription based upon print version of record. 311 08$a9780471327103 311 08$a0471327107 320 $aIncludes bibliographical references (p. 373-387) and index. 327 $aSorting: A Distribution Theory; Contents; Preface; Acknowledgments; 1 Sorting and Associated Concepts; 1.1 Sorting; 1.2 Selection; 1.3 Jargon; 1.4 Algorithmic Conventions; 1.5 Order; 1.6 Binary Trees; 1.7 Decision Trees; 1.8 Bounds on Sorting; 1.8.1 Lower Bounds on Sorting; 1.8.2 Upper Bounds on Sorting; 1.9 Bounds on Selection; 1.9.1 Lower Bounds on Selection; 1.9.2 Upper Bounds on Selection; 1.10 Random Permutations; 1.10.1 Records; 1.10.2 Inversions; 1.10.3 Cycles; 1.10.4 Runs; 1.11 An Analytic Toolkit; 1.11.1 The Saddle Point Method; 1.11.2 The Mellin Transform; 1.11.3 Poissonization 327 $a1.11.4 The Dirichlet Transform1.11.5 Rice's Method; 2 Insertion Sort; 2.1 A General Framework; 2.2 A Sufficient Condition for Normality; 2.3 Linear Insertion Sort; 2.4 Binary Insertion Sort; 3 Shell Sort; 3.1 The Algorithm; 3.2 Streamlined Stochastic Analysis; 3.2.1 The Empirical Distribution Function; 3.2.2 The Brownian Bridge; 3.2.3 Using the Stochastic Tools; 3.3 Other Increment Sequences; 4 Bubble Sort; 4.1 The Algorithm; 4.2 A limit Law for Passes; 4.3 A Limit Law for Comparisons; 5 Selection Sort; 5.1 The Algorithm; 5.2 Analysis; 6 Sorting by Counting; 6.1 COUNT SORT 327 $a6.2 Sorting by Counting Frequencies7 Quick Sort; 7.1 The Partitioning Stage; 7.2 Bookkeeping; 7.3 Quick Sort Tree; 7.4 Probabilistic Analysis of QUICK SORT; 7.5 Quick Selection; 7.5.1 Hoare's FIND; 7.5.2 MULTIPLE QUICK SELECT; 8 Sample Sort; 8.1 The Small Sample Algorithm; 8.2 The Large Sample Algorithm; 9 Heap Sort; 9.1 The Heap; 9.2 Sorting via a Heap; 10 Merge Sort; 10.1 Merging Sorted Lists; 10.1.1 LINEAR MERGE; 10.1.2 BINARY MERGE; 10.1.3 The HWANG-LIN Merging Algorithm; 10.2 The Merge Sort Algorithm; 10.3 Distributions; 10.4 Bottom-Up Merge Sort; 11 Bucket Sorts 327 $a11.1 The Principle of Bucket Sorting11.1.1 Distributive Sorts; 11.1.2 Radix Sorting; 11.2 Bucket Selection; 11.2.1 Distributive Selection; 11.2.2 Radix Selection; 12 Sorting Nonrandom Data; 12.1 Measures of Presortedness; 12.2 Data Randomization; 12.3 Guaranteed Performance; 12.3.1 The FORD-JOHNSON Algorithm; 12.3.2 Linear-Time Selection; 12.4 Presorting; 13 Epilogue; Answers to Exercises; Appendix: Notation and Standard Results from Probability Theory; A.1 Logarithms; A.2 Asymptotics; A.3 Harmonic Numbers; A.4 Probability; Bibliography; Index 330 $aA cutting-edge look at the emerging distributional theory of sortingResearch on distributions associated with sorting algorithms has grown dramatically over the last few decades, spawning many exact and limiting distributions of complexity measures for many sorting algorithms. Yet much of this information has been scattered in disparate and highly specialized sources throughout the literature. In Sorting: A Distribution Theory, leading authority Hosam Mahmoud compiles, consolidates, and clarifies the large volume of available research, providing a much-needed, comprehensive treatment o 410 0$aWiley-Interscience series in discrete mathematics and optimization. 606 $aDistribution (Probability theory) 606 $aProbabilities 615 0$aDistribution (Probability theory) 615 0$aProbabilities. 676 $a519.2/4 700 $aMahmoud$b Hosam M$g(Hosam Mahmoud),$f1954-$0280986 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911019966803321 996 $aSorting$9671608 997 $aUNINA LEADER 01116nam0 22003133i 450 001 CFI0302246 005 20251003044138.0 010 $a0024258814 100 $a20171212d1995 ||||0itac50 ba 101 | $aeng$ceng 102 $aus 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aGeology applied to engineering$fTerry R. West 210 $aEnglewood Cliffs$cPrentice Hall$dİ1995 215 $aXIII, 560 p.$cill.$d26 cm. 500 10$aGeology applied to engineering$3PUV1198643$9CFIV151606$91486693 606 $aGeologia strutturale$2FIR$3UFIC049592$9I 676 $a551.8$9GEOLOGIA STRUTTURALE$v22 700 1$aWest$b, Terry R.$3CFIV151606$4070$0745425 801 3$aIT$bIT-000000$c20171212 850 $aIT-BN0095 901 $bNAP 01$cSALA $n$ 912 $aCFI0302246 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA 551.8 WES ge$e 0104 0000025855 VMA 1 v.$fY $h20171212$i20171212 977 $a 01 996 $aGeology applied to engineering$91486693 997 $aUNISANNIO