| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990006570150403321 |
|
|
Autore |
Bartole, Sergio <1936- > |
|
|
Titolo |
Fatti e questioni in tema di ordinamento del personale nel Friuli-Venezia Giulia (appunti di cronaca) / di Sergio Bartole |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Trieste : Università degli Studi, 1967 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Estratto dal n.37(anno XIV, del 1967) del 'Bollettino della Scuola di Perfezionamentoe di Specializzazione in dorotto del lavoroe della sicurezza sociale dell'Università degli Studi di Trieste" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910450019303321 |
|
|
Autore |
Russell Conrad |
|
|
Titolo |
Academic freedom / / onrad Russell |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London : , : Routledge, , 2016 |
|
|
|
|
|
|
|
ISBN |
|
1-136-78299-0 |
1-138-16484-4 |
1-280-53907-0 |
9786610539079 |
0-203-00363-2 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (132 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Academic freedom - Great Britain |
Higher education and state - Great Britain |
University autonomy - Great Britain |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
First published 1993 by Routledge. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages 113-115) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Half Title; Title; Copyright; Contents; Preface; INTRODUCTION; 1 THE IDEAL OF ACADEMIC FREEDOM; 2 THE LIMITS OF ACADEMIC FREEDOM; 3 MAPPING THE BORDERS; 4 UNIT COSTS; CONCLUSION; EPILOGUE (April 1992); Notes; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISALENTO991001237809707536 |
|
|
Autore |
Goto, M. |
|
|
Titolo |
Semisimple Lie algebras / M. Goto and Frank D. Grosshans |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : Marcel Dekker, 1978 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
4. |
Record Nr. |
UNINA9910136420103321 |
|
|
Titolo |
Electronic structure calculations on graphics processing units : from quantum chemistry to condensed matter physics / / Ross C. Walker and Andreas W. Goetz, editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
West Sussex, England : , : Wiley, , 2016 |
|
©2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-118-67070-1 |
1-118-67071-X |
1-118-67069-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (448 p.) |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Electronic structure - Computer simulation |
Electronic structure - Mathematical models |
Graphics processing units - Programming |
Mathematical physics |
|
|
|
|
|
|
|
|
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 and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Title Page; Copyright; Table of Contents; List of Contributors; Preface; Acknowledgments; Glossary; Abbreviations - Scientific; Abbreviations - Technical; Chapter 1: Why Graphics Processing Units; 1.1 A Historical Perspective of Parallel Computing; 1.2 The Rise of the GPU; 1.3 Parallel Computing on Central Processing Units; 1.4 Parallel Computing on Graphics Processing Units; 1.5 GPU-Accelerated Applications; References; Chapter 2: GPUs: Hardware to Software; 2.1 Basic GPU Terminology; 2.2 Architecture of GPUs; 2.3 CUDA Programming Model; 2.4 Programming and Optimization Concepts |
2.5 Software Libraries for GPUs2.6 Special Features of CUDA-Enabled GPUs; References; Chapter 3: Overview of Electronic Structure Methods; 3.1 Introduction; 3.2 Hartree-Fock Theory; 3.3 Density Functional Theory; 3.4 Basis Sets; 3.5 Semiempirical Methods; 3.6 Density Functional Tight Binding; 3.7 Wave Function-Based Electron Correlation Methods; Acknowledgments; References; Chapter 4: Gaussian Basis Set Hartree-Fock, Density Functional Theory, and Beyond on GPUs; 4.1 Quantum Chemistry Review; 4.2 Hardware and CUDA Overview; 4.3 GPU ERI Evaluation; 4.4 Integral-Direct Fock Construction on GPUs |
4.5 Precision Considerations4.6 Post-SCF Methods; 4.7 Example Calculations; 4.8 Conclusions and Outlook; References; Chapter 5: GPU Acceleration for Density Functional Theory with Slater-Type Orbitals; 5.1 Background; 5.2 Theory and CPU Implementation; 5.3 GPU Implementation; 5.4 Conclusion; References; Chapter 6: Wavelet-Based Density Functional Theory on Massively Parallel Hybrid Architectures; 6.1 Introductory Remarks on Wavelet Basis Sets for Density Functional Theory Implementations; 6.2 Operators in Wavelet Basis Sets; 6.3 Parallelization; 6.4 GPU Architecture |
6.5 Conclusions and OutlookReferences; Chapter 7: Plane-Wave Density Functional Theory; 7.1 Introduction; 7.2 Theoretical Background; 7.3 Implementation; 7.4 Optimizations; 7.5 Performance Examples; 7.6 Exact Exchange with Plane Waves; 7.7 Summary and Outlook; 7.8 Acknowledgments; References; Appendix A: Definitions and Conventions; Appendix B: Example Kernels; Chapter 8: GPU-Accelerated Sparse Matrix-Matrix Multiplication for Linear Scaling Density Functional Theory; 8.1 Introduction; 8.2 Software Architecture for GPU-Acceleration; 8.3 Maximizing Asynchronous Progress |
8.4 Libcusmm: GPU Accelerated Small Matrix Multiplications8.5 Benchmarks and Conclusions; Acknowledgments; References; Chapter 9: Grid-Based Projector-Augmented Wave Method; 9.1 Introduction; 9.2 General Overview; 9.3 Using GPUs in Ground-State Calculations; 9.4 Time-Dependent Density Functional Theory; 9.5 Random Phase Approximation for the Correlation Energy; 9.6 Summary and Outlook; Acknowledgments; References; Chapter 10: Application of Graphics Processing Units to Accelerate Real-Space Density Functional Theory and Time-Dependent Density Functional Theory Calculations; 10.1 Introduction |
10.2 The Real-Space Representation |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
"Electronic Structure Calculations on Graphics Processing Units: From Quantum Chemistry to Condensed Matter Physics provides an overview of computing on graphics processing units (GPUs), a brief introduction to GPU programming, and the latest examples of code developments and applications for the most widely used electronic structure methods. The book covers all commonly used basis sets including localized Gaussian and Slater type basis functions, plane waves, wavelets and |
|
|
|
|
|
|
|
|
|
|
|
|
|
real-space grid-based approaches. The chapters expose details on the calculation of two-electron integrals, exchange-correlation quadrature, Fock matrix formation, solution of the self-consistent field equations, calculation of nuclear gradients to obtain forces, and methods to treat excited states within DFT. Other chapters focus on semiempirical and correlated wave function methods including density fitted second order Moshlasser-Plesset perturbation theory and both iterative and perturbative single- and multireference coupled cluster methods. Electronic Structure Calculations on Graphics Processing Units: From Quantum Chemistry to Condensed Matter Physics presents an accessible overview of the field for graduate students and senior researchers of theoretical and computational chemistry, condensed matter physics and materials science, as well as software developers looking for an entry point into the realm of GPU and hybrid GPU/CPU programming for electronic structure calculations"-- |
|
|
|
|
|
|
5. |
Record Nr. |
UNINA9910796036703321 |
|
|
Autore |
Krieger Joachim <1976-> |
|
|
Titolo |
Global regularity for the Yang-Mills equations on high dimensional Minkowski space / / Joachim Krieger, Jacob Sterbenz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , 2012 |
|
©2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (99 p.) |
|
|
|
|
|
|
Collana |
|
Memoirs of the American Mathematical Society, , 1947-6221 ; ; Volume 223, Number 1047 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Generalized spaces |
Wave equation |
Yang-Mills theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"May 2013, Volume 223, Number 1047 (first of 5 numbers)." |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
""Contents""; ""Abstract""; ""Chapter 1. Introduction""; ""1.1. A Description of the Problem""; ""1.2. Some Basic Notation""; ""Chapter 2. Some Gauge-Theoretic Preliminaries""; ""Chapter 3. Reduction to the â |
|
|
|
|
|
|
|
|
|
|
€œMain a-Priori Estimateâ€?""; ""3.1. The Comparison Principle and Coulomb Form of the Equations""; ""3.2. Local Existence in the Coulomb Gauge""; ""3.3. The Main A-priori Estimate for the Curvature""; ""Chapter 4. Some Analytic Preliminaries""; ""4.1. Fourier Analytic Notation""; ""4.2. A Besov Calculus""; ""4.3. Microlocal Angular Decompositions"" |
""4.4. Additional Notational Conventions""""Chapter 5. Proof of the Main A-Priori Estimate""; ""5.1. Function Spaces""; ""5.2. Proof of the Critical A-Priori Estimate""; ""Chapter 6. Reduction to Approximate Half-Wave Operators""; ""6.1. A Further Reduction""; ""Chapter 7. Construction of the Half-Wave Operators""; ""7.1. Construction of the Gauges""; ""7.2. A Preliminary Estimate for the Modified Potentials""; ""7.3. The Div-Curl System for the Gauge Transformations""; ""7.4. The Differentiated Parametrix""; ""Chapter 8. Fixed Time ² Estimates for the Parametrix"" |
""8.1. The “Smooth/Small� Decomposition of the * Kernel""""8.2. Bounds for the “Smooth� Portion of the Kernel""; ""8.3. Bounds for the “Small� Portion of the Kernel""; ""8.4. Proof of the Fixed-Time Accuracy Estimate""; ""Chapter 9. The Dispersive Estimate""; ""Chapter 10. Decomposable Function Spaces and Some Applications""; ""10.1. Decomposable Estimates for the Connection""; ""10.2. Proof of the Square Sum Strichartz Estimates""; ""10.3. Proof of the Differentiated Strichartz Estimates""; ""Chapter 11. Completion of the Proof""; ""Bibliography"" |
|
|
|
|
|
| |