top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui