| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910712081803321 |
|
|
Autore |
Hwang Minjeong |
|
|
Titolo |
Investigation of the loop seal clearing phenomena for the ATLAS DVI line and cold leg SBLOCA tests using MARS-KS and RELAP5/MOD3.3 / / prepared by Minjeong Hwang [and three others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington., DC : , : Division of Systems Analysis, Office of Nuclear Regulatory Research, Nuclear Regulatory Commission, , March 2019 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xvolumes 49 pages) : illustrations (some color) |
|
|
|
|
|
|
Collana |
|
International agreement report ; ; NUREG/IA-0501 |
|
|
|
|
|
|
Soggetti |
|
Pressurized water reactors - Loss of coolant - Computer programs |
Thermal hydraulics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Prepared as part of the Agreement on Research Participation and Technical Exchange under the Thermal-Hydraulic Code Applications and Maintenance Program (CAMP)." |
"Manuscript completed: March 2018; date published: March 2019." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (page 49). |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910376024003321 |
|
|
Autore |
Jhala Ranjit |
|
|
Titolo |
PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : ACM, 2011 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (62 pages) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Soggetti |
|
Engineering & Applied Sciences |
Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9911019966803321 |
|
|
Autore |
Mahmoud Hosam M (Hosam Mahmoud), <1954-> |
|
|
Titolo |
Sorting : a distribution theory / / Hosam M. Mahmoud |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, : John Wiley & Sons, 2000 |
|
|
|
|
|
|
|
ISBN |
|
9786613306227 |
9781283306225 |
1283306220 |
9781118032886 |
1118032888 |
9781118031131 |
111803113X |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (414 p.) |
|
|
|
|
|
|
Collana |
|
Wiley-Interscience series in discrete mathematics and optimization |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Distribution (Probability theory) |
Probabilities |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 373-387) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Sorting: 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 |
1.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 |
6.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 |
11.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 |
|
|
|
|
|
|
Sommario/riassunto |
|
A 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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNISANNIOCFI0302246 |
|
|
Autore |
West, Terry R. |
|
|
Titolo |
Geology applied to engineering / Terry R. West |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Englewood Cliffs, : Prentice Hall, ©1995 |
|
|
|
|
|
|
|
Titolo uniforme |
Geology applied to engineering |
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XIII, 560 p. : ill. ; 26 cm. |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
5. |
Record Nr. |
UNISA996625372403316 |
|
|
Autore |
CIANCIOTTO, Jason |
|
|
Titolo |
LGBT youth in America's schools / Jason Cianciotto and Sean Cahill |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Ann Arbor, : The University of Michigan Press, 2012 |
|
|
|
|
|
|
|
Descrizione fisica |
|
Testo elettronico (PDF) (247 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
CAHILL, Sean (Sean Robert) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Persone LGBT [:] Minori - Educazione - Stati Uniti d'America |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Jason Cianciotto e Sean Cahill, esperti in difesa delle politiche pubbliche per lesbiche, gay, bisessuali e transgender, combinano una revisione accessibile della ricerca in scienze sociali con analisi delle pratiche |
|
|
|
|
|
|
|
|
|
|
scolastiche e delle leggi locali, statali e federali che colpiscono gli studenti LGBT. Inoltre, i ritratti dei giovani LGBT e le loro esperienze di discriminazione a scuola apportano volti umani alle questioni discusse dagli autori. Questa è una guida essenziale per insegnanti, amministratori scolastici, consulenti di orientamento e assistenti sociali che interagiscono quotidianamente con gli studenti; membri del consiglio scolastico e funzionari che determinano la politica scolastica; sostenitori del no-profit e fornitori di servizi sociali per i giovani; e studiosi accademici, studenti laureati e ricercatori che formano la prossima generazione di amministratori scolastici e informano le politiche e le pratiche future. |
|
|
|
|
|
| |