Advances in Energy System Optimization : Proceedings of the 2. International Symposium on Energy System Optimization / Valentin Bertsch ... [et al.] editors
| Advances in Energy System Optimization : Proceedings of the 2. International Symposium on Energy System Optimization / Valentin Bertsch ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2020 |
| Descrizione fisica | viii, 178 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] 93-XX - Systems theory; control [MSC 2020] |
| Soggetto non controllato |
Demand response
Efficient algorithm Energy system Energy system integration Generation and transmission expansion planning Mathematical modelling Optimal Power Flow Optimization Policy support Power grid Power grid operation Power grid planning Sector integration System reliability Uncertainty |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248593 |
| Cham, : Birkhäuser, 2020 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in Energy System Optimization : Proceedings of the 2. International Symposium on Energy System Optimization / Valentin Bertsch ... [et al.] editors
| Advances in Energy System Optimization : Proceedings of the 2. International Symposium on Energy System Optimization / Valentin Bertsch ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2020 |
| Descrizione fisica | viii, 178 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] 93-XX - Systems theory; control [MSC 2020] |
| Soggetto non controllato |
Demand response
Efficient algorithm Energy system Energy system integration Generation and transmission expansion planning Mathematical modelling Optimal Power Flow Optimization Policy support Power grid Power grid operation Power grid planning Sector integration System reliability Uncertainty |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248593 |
| Cham, : Birkhäuser, 2020 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Applications of Interval Computations / edited by R. Baker Kearfott and Vladik Kreinovich
| Applications of Interval Computations / edited by R. Baker Kearfott and Vladik Kreinovich |
| Pubbl/distr/stampa | [Dordrecht], : Kluwer, 1996 |
| Descrizione fisica | xvii, 425 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 65G30 - Interval and finite arithmetic [MSC 2020] |
| Soggetto non controllato |
Algorithms
Applied Mathematics Fuzzy Fuzzy sets Global optimization Mathematics Mechanics Numerical methods Optimization Probability Probability distributions Quantum mechanics Uncertainty Verification |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00296520 |
| [Dordrecht], : Kluwer, 1996 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Assembly Line Balancing under Uncertain Task Time and Demand Volatility / Yuchen Li
| Assembly Line Balancing under Uncertain Task Time and Demand Volatility / Yuchen Li |
| Autore | Li, Yuchen |
| Pubbl/distr/stampa | Singapore, : Springer, 2022 |
| Descrizione fisica | xii, 152 p. : ill. ; 24 cm |
| Soggetto topico |
90B22 - Queues and service in operations research [MSC 2020]
90B30 - Production models [MSC 2020] |
| Soggetto non controllato |
Assembly line balancing
Belief reliability Capacitated lot-sizing Mask production Rebalancing policies Simulated annealing algorithm Uncertain demand Uncertainty Valid constraints |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0278341 |
Li, Yuchen
|
||
| Singapore, : Springer, 2022 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Assembly Line Balancing under Uncertain Task Time and Demand Volatility / Yuchen Li
| Assembly Line Balancing under Uncertain Task Time and Demand Volatility / Yuchen Li |
| Autore | Li, Yuchen |
| Pubbl/distr/stampa | Singapore, : Springer, 2022 |
| Descrizione fisica | xii, 152 p. : ill. ; 24 cm |
| Soggetto topico |
90B22 - Queues and service in operations research [MSC 2020]
90B30 - Production models [MSC 2020] |
| Soggetto non controllato |
Assembly line balancing
Belief reliability Capacitated lot-sizing Mask production Rebalancing policies Simulated annealing algorithm Uncertain demand Uncertainty Valid constraints |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00278341 |
Li, Yuchen
|
||
| Singapore, : Springer, 2022 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Bayesian networks in educational assessment / Russell G. Almond ... [et al.]
| Bayesian networks in educational assessment / Russell G. Almond ... [et al.] |
| Pubbl/distr/stampa | New York, : Springer, 2015 |
| Descrizione fisica | XXXIII, 662 p. : ill. ; 24 cm |
| Soggetto topico |
62B10 - Statistical aspects of information-theoretic topics [MSC 2020]
62F15 - Bayesian inference [MSC 2020] 94A15 - Information theory (general) [MSC 2020] 94Cxx - Circuits, networks [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Bayes net Bayesian model education ECD Evidence-Centered Design Evidence-centered assessment design Uncertainty |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113099 |
| New York, : Springer, 2015 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Bayesian networks in educational assessment / Russell G. Almond ... [et al.]
| Bayesian networks in educational assessment / Russell G. Almond ... [et al.] |
| Pubbl/distr/stampa | New York, : Springer, 2015 |
| Descrizione fisica | XXXIII, 662 p. : ill. ; 24 cm |
| Soggetto topico |
62B10 - Statistical aspects of information-theoretic topics [MSC 2020]
62F15 - Bayesian inference [MSC 2020] 94A15 - Information theory (general) [MSC 2020] 94Cxx - Circuits, networks [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Bayes net Bayesian model education ECD Evidence-Centered Design Evidence-centered assessment design Uncertainty |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113099 |
| New York, : Springer, 2015 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The blind spot [[electronic resource] ] : science and the crisis of uncertainty / / William Byers
| The blind spot [[electronic resource] ] : science and the crisis of uncertainty / / William Byers |
| Autore | Byers William |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, c2011 |
| Descrizione fisica | 1 online resource (334 p.) |
| Disciplina | 500 |
| Soggetto topico |
Science - Social aspects
Uncertainty (Information theory) |
| Soggetto non controllato |
Acknowledgment (creative arts and sciences)
Algorithm Ambiguity Analogy Approximation Axiom Axiomatic system Basic research Big O notation Calculation Certainty Chaos theory Circumference Computation Concept Conjecture Consciousness Consistency Contingency (philosophy) Continuous function Continuum hypothesis Contradiction Counting David Bohm Dynamism (metaphysics) Emergence Euclidean geometry Explanation Feeling Fermat's Last Theorem Geometry Gestalt psychology Gregory Chaitin Gödel's incompleteness theorems Human behavior Human intelligence Hypothesis Ideology Inference Integer Irrational number Learning Logic Logical reasoning Mathematician Mathematics Measurement Methodology Modernity Molecule Natural number Nature Paradigm shift Paradox Participant Phenomenon Philosopher Philosophy of mathematics Philosophy of science Philosophy Platonism Prediction Principle Probability Pythagoreanism Qualitative property Quantification (science) Quantity Quantum mechanics Randomness Rational number Rationality Real number Reality Reason Reductionism Relationship between religion and science Result Science Scientific method Scientific progress Scientific theory Scientist Self-reference Set theory Special case Subatomic particle Subjectivity Suggestion Technology The Philosopher Theorem Theoretical physics Theory of everything Theory Thomas Kuhn Thought Uncertainty Universality (philosophy) Writing |
| ISBN |
1-283-00150-0
9786613001504 1-4008-3815-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface: The Revelation of Uncertainty -- 1. The Blind Spot -- 2. The Blind Spot Revealed -- 3. Certainty or Wonder? -- 4. A World in Crisis! -- 5. Ambiguity -- 6. Self-Reference: The Human Element in Science -- 7. The Mystery of Number -- 8. Science as the Ambiguous Search for Unity -- 9. The Still Point -- 10. Conclusion: Living in a World of Uncertainty -- Acknowledgments -- Notes -- References -- Index |
| Record Nr. | UNINA-9910781106903321 |
Byers William
|
||
| Princeton, : Princeton University Press, c2011 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La Chance : Uncertainty, Knowledge Production and Gameplay among University Graduates in Bamako, Mali
| La Chance : Uncertainty, Knowledge Production and Gameplay among University Graduates in Bamako, Mali |
| Autore | Ludwig Susann |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Bielefeld : , : transcript Verlag, , 2024 |
| Descrizione fisica | 1 online resource (257 pages) |
| Disciplina | 302.12096623 |
| Collana | Kultur und Soziale Praxis Series |
| Soggetto topico | SOCIAL SCIENCE / Anthropology / Cultural & Social |
| Soggetto non controllato |
Africa
Cultural Anthropology Economic Sociology Economy Ethnology Gameplay Knowledge Production Mali Neoliberalism Science Uncertainty University Graduates |
| ISBN |
9783839469897
3839469899 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover -- Table on Contents -- INTRO -- VIGNETTE: La chance makes a difference -- Jeunesse diplomée - "sans emploi? Universities change, graduates change. -- This book is about "la chance" -- THIS BOOK: chapter description. -- Part One: Ethnography of La Chance. Or, What Graduates Know and What They Know They Don't Know. -- Part Two: Assemblage of La Chance. Or, The Emergence of La Chance in the Encounter. -- Part 1: Ethnography of La Chance -- Part 1: Ethnography of La Chance -- 1 Knowledge | Situating La Chance in Graduates' Knowledge. -- [We are here] -- KNOWLEDGE: On the presence of la chance -- Le bras long | A case of privilege? -- Le concours | A case of random selection? -- THE KNOWN | What they DO know -- KNOWLEDGE: On the absence of la chance -- L'homme propose, Dieu dispose | Nothing is certain -- THE UNKNOWN | What they know they DON'T know -- 2 Graduates | Situating La Chance in Graduates' Everyday Lives. -- [We are here] -- PEOPLE -- 2 UNKNOWNS -- Part 2: Assemblage of la chance -- Part 2: Assemblage of la chance -- 3 A Manual -- VIGNETTE: Dieu donne la chance, mais toi aussi tu peux t'ouvrir la chance. -- INVITATION: Dear Reader,… -- [MAP] -- What is la chance? -- What is la chance - yet, again? -- Now, I put these two layers together. -- In an assemblage. -- 4 La chance | Emergence. -- Assemblage: la chance. -- La chance is a prerequisite. -- KNOWLEDGE: PREREQUISITES. -- La chance is a sprout. -- KNOWLEDGE: SPROUTS. -- La chance is an outcome. -- KNOWLEDGE: OUTCOMES. -- [Tracings] -- Tracing L1: KNOWLEDGE: prerequisites, sprouts, outcomes. -- Tracing L2: Clues on la chance. -- 5 La chance | Encounter. -- Assemblage: Opening up la chance. -- Looking for la chance. -- KNOWLEDGE: PREPARATION. -- Finding la chance. -- KNOWLEDGE: IDENTIFICATION. -- Working with la chance. -- KNOWLEDGE: TRANSFORMATION. -- [Tracings].
Tracing L1: KNOWLEDGE: preparation, identification, transformation -- Tracing L2: The game of opening up la chance. -- GAMEPLAY: The game of opening up la chance. -- [Argument] -- I Graduates are playing the game of la chance -- II Implications of Gameplay -- III What we see now -- Bibliography -- Acknowledgements. |
| Record Nr. | UNINA-9910875596303321 |
Ludwig Susann
|
||
| Bielefeld : , : transcript Verlag, , 2024 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||