Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Energy Management of Internet Data Centers in Smart Grid / / by Tao Jiang, Liang Yu, Yang Cao
| Energy Management of Internet Data Centers in Smart Grid / / by Tao Jiang, Liang Yu, Yang Cao |
| Autore | Jiang Tao |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (112 p.) |
| Disciplina | 621.319 |
| Collana | Green Energy and Technology |
| Soggetto topico |
Energy policy
Energy and state Power electronics Electrical engineering Signal processing Image processing Speech processing systems Mathematical optimization Energy Policy, Economics and Management Power Electronics, Electrical Machines and Networks Communications Engineering, Networks Signal, Image and Speech Processing Optimization |
| ISBN | 3-662-45676-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Energy Cost Minimization for Internet Data Centers Considering Power Outages -- Carbon-aware Energy Cost Minimization for Internet Data Centers -- Joint Workload and Battery Scheduling for Data Center Energy Cost Minimization -- Risk-constrained Operation for Internet Data Centers in Deregulated Electricity Markets -- Conclusions. |
| Record Nr. | UNINA-9910299607503321 |
Jiang Tao
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recursion theory : computational aspects of definability / / Chi Tat Chong, Liang Yu
| Recursion theory : computational aspects of definability / / Chi Tat Chong, Liang Yu |
| Autore | Chong C.-T (Chi-Tat), <1949-> |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2015 |
| Descrizione fisica | 1 online resource (322 p.) |
| Disciplina | 511.3/5 |
| Collana | De Gruyter Series in Logic and Its Applications |
| Soggetto topico | Recursion theory |
| Soggetto genere / forma | Electronic books. |
| ISBN |
3-11-038129-X
3-11-027564-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Preface -- Contents -- Part I: Fundamental theory -- 1 An introduction to higher recursion theory -- 2 Hyperarithmetic theory -- 3 Admissibility and constructibility -- 4 The theory of Π1 1-sets -- 5 Recursion-theoretic forcing -- 6 Set theory -- Part II: The story of Turing degrees -- 7 Classification of jump operators -- 8 The construction of Π1 1-sets -- 9 Independence results in recursion theory -- Part III: Hyperarithmetic degrees and perfect set property -- 10 Rigidity and bi-interpretability of hyperdegrees -- 11 Basis theorems -- Part IV: Higher randomness theory -- 12 Review of classical algorithmic randomness -- 13 More on hyperarithmetic theory -- 14 The theory of higher randomness -- A Open problems -- B An interview with Gerald E. Sacks -- C Notations and symbols -- Bibliography -- Index -- Backmatter |
| Record Nr. | UNINA-9910460574303321 |
|
Chong C.-T (Chi-Tat), <1949->
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recursion theory : computational aspects of definability / / Chi Tat Chong, Liang Yu
| Recursion theory : computational aspects of definability / / Chi Tat Chong, Liang Yu |
| Autore | Chong C.-T (Chi-Tat), <1949-> |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2015 |
| Descrizione fisica | 1 online resource (322 p.) |
| Disciplina | 511.3/5 |
| Collana | De Gruyter Series in Logic and Its Applications |
| Soggetto topico | Recursion theory |
| Soggetto non controllato |
Higher Randomness
Hyperdegrees Jump Operator Recursion Theory Turing Degrees |
| ISBN |
3-11-038129-X
3-11-027564-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Preface -- Contents -- Part I: Fundamental theory -- 1 An introduction to higher recursion theory -- 2 Hyperarithmetic theory -- 3 Admissibility and constructibility -- 4 The theory of Π1 1-sets -- 5 Recursion-theoretic forcing -- 6 Set theory -- Part II: The story of Turing degrees -- 7 Classification of jump operators -- 8 The construction of Π1 1-sets -- 9 Independence results in recursion theory -- Part III: Hyperarithmetic degrees and perfect set property -- 10 Rigidity and bi-interpretability of hyperdegrees -- 11 Basis theorems -- Part IV: Higher randomness theory -- 12 Review of classical algorithmic randomness -- 13 More on hyperarithmetic theory -- 14 The theory of higher randomness -- A Open problems -- B An interview with Gerald E. Sacks -- C Notations and symbols -- Bibliography -- Index -- Backmatter |
| Record Nr. | UNINA-9910798084503321 |
|
Chong C.-T (Chi-Tat), <1949->
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recursion theory : computational aspects of definability / / Chi Tat Chong, Liang Yu
| Recursion theory : computational aspects of definability / / Chi Tat Chong, Liang Yu |
| Autore | Chong C.-T (Chi-Tat), <1949-> |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2015 |
| Descrizione fisica | 1 online resource (322 p.) |
| Disciplina | 511.3/5 |
| Collana | De Gruyter Series in Logic and Its Applications |
| Soggetto topico | Recursion theory |
| Soggetto non controllato |
Higher Randomness
Hyperdegrees Jump Operator Recursion Theory Turing Degrees |
| ISBN |
3-11-038129-X
3-11-027564-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Preface -- Contents -- Part I: Fundamental theory -- 1 An introduction to higher recursion theory -- 2 Hyperarithmetic theory -- 3 Admissibility and constructibility -- 4 The theory of Π1 1-sets -- 5 Recursion-theoretic forcing -- 6 Set theory -- Part II: The story of Turing degrees -- 7 Classification of jump operators -- 8 The construction of Π1 1-sets -- 9 Independence results in recursion theory -- Part III: Hyperarithmetic degrees and perfect set property -- 10 Rigidity and bi-interpretability of hyperdegrees -- 11 Basis theorems -- Part IV: Higher randomness theory -- 12 Review of classical algorithmic randomness -- 13 More on hyperarithmetic theory -- 14 The theory of higher randomness -- A Open problems -- B An interview with Gerald E. Sacks -- C Notations and symbols -- Bibliography -- Index -- Backmatter |
| Record Nr. | UNINA-9910820376703321 |
|
Chong C.-T (Chi-Tat), <1949->
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Water in Times of Climate Change : A Values-driven Dialogue / / ed. by Elisabeth IJmker, Jan Jorrit Hasselaar
| Water in Times of Climate Change : A Values-driven Dialogue / / ed. by Elisabeth IJmker, Jan Jorrit Hasselaar |
| Autore | Hasselaar Jan Jorrit |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam University Press, 2021 |
| Descrizione fisica | 1 online resource (150 p.) |
| Disciplina | 202/.12 |
| Soggetto topico |
Water - Religious aspects
Water-supply - Management POLITICAL SCIENCE / Public Policy / City Planning & Urban Development |
| Soggetto non controllato | water management, climat change, urban change, politics |
| ISBN |
94-6372-227-0
90-485-5538-8 |
| Classificazione | MS 9000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996453551403316 |
|
Hasselaar Jan Jorrit
|
||
| Amsterdam University Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Water in Times of Climate Change : A Values-driven Dialogue / / ed. by Elisabeth IJmker, Jan Jorrit Hasselaar
| Water in Times of Climate Change : A Values-driven Dialogue / / ed. by Elisabeth IJmker, Jan Jorrit Hasselaar |
| Autore | Hasselaar Jan Jorrit |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam University Press, 2021 |
| Descrizione fisica | 1 online resource (150 p.) |
| Disciplina | 202/.12 |
| Soggetto topico |
Water - Religious aspects
Water-supply - Management POLITICAL SCIENCE / Public Policy / City Planning & Urban Development |
| Soggetto non controllato | water management, climat change, urban change, politics |
| ISBN |
94-6372-227-0
90-485-5538-8 |
| Classificazione | MS 9000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of Contents -- Introduction -- Ecumenical Patriarch Bartholomew -- 1. The need for dialogue -- An academic perspective -- A governmental perspective -- After us the deluge -- An economic perspective -- A religious perspective -- 2. Global perspectives on water and climate change -- Closing session of Amsterdam International Water Week -- Reflection -- Global challenges on water and climate change -- 3. Voices of the next generation: how dare you? -- Water quality management -- Caring for our water cycle -- Water crisis and social inequalities -- Taking action -- Interdisciplinarity in solving global challenges -- 4. Voices from those who dare -- Building with nature -- Faith for Earth Programme -- Water and religion -- Reflection -- 5. Water sensitive cities -- Jakarta -- Amsterdam -- Cape Town -- Reflection -- 6. A covenant of hope -- Covenant of hope -- Reflection -- Reflection -- Reflection -- Reflection -- 7. The role of religion in society -- The Netherlands as pluralist society -- Religion and security -- Religion as force for good -- Conclusion: -- Illustration acknowledgements -- About the editors |
| Record Nr. | UNINA-9910510589103321 |
|
Hasselaar Jan Jorrit
|
||
| Amsterdam University Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||