Filter by
European Variations as a Key to Cooperation
This Open Access book offers a novel view on the benefits of a lasting variation between the member states in the EU. In order to bring together thirty very different European states and their citizens, the EU will have to offer more scope for variation. Unlike the existing differentiation by means of opt-outs and deviations, variation is not a concession intended to resolve impasses in negotia…
- Edition
- 1
- ISBN/ISSN
- 9783030328931
- Collation
- XX, 177 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Autistic Community and the Neurodiversity Movement : Stories from the Frontline
This open access book marks the first historical overview of the autism rights branch of the neurodiversity movement, describing the activities and rationales of key leaders in their own words since it organized into a unique community in 1992. Sandwiched by editorial chapters that include critical analysis, the book contains 19 chapters by 21 authors about the forming of the autistic community…
- Edition
- 1
- ISBN/ISSN
- 9789811384370
- Collation
- XIX, 330 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2024, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024, selama 6-11 April 2024, di Luksemburg. 53 makalah lengkap dan 16 kontribusi SVComp singkat yang disertaka…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57249-4
- Collation
- 1 online resource (XXI, 386 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 FIN t
Decision Making under Deep Uncertainty: From Theory to Practice
This open access book focuses on both the theory and practice associated with the tools and approaches for decisionmaking in the face of deep uncertainty. It explores approaches and tools supporting the design of strategic plans under deep uncertainty, and their testing in the real world, including barriers and enablers for their use in practice. The book broadens traditional approaches and too…
- Edition
- 1
- ISBN/ISSN
- 9783030052522
- Collation
- XIV, 405 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Boundary Value Problems, Weyl Functions, and Differential Operators
This open access book presents a comprehensive survey of modern operator techniques for boundary value problems and spectral theory, employing abstract boundary mappings and Weyl functions. It includes self-contained treatments of the extension theory of symmetric operators and relations, spectral characterizations of selfadjoint operators in terms of the analytic properties of Weyl functions, …
- Edition
- -
- ISBN/ISSN
- 978-3-030-36714-5
- Collation
- IX, 772
- Series Title
- -
- Call Number
- -
Understanding Risks and Uncertainties in Energy and Climate Policy: Multidisc…
This open access book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and assessment of energy and climate policies. In particular, it examines energy and climate policy performance and associated risks, as well as public acceptance and portfolio analysis in climate policy, and presents methods for evaluating the costs and benefits o…
- Edition
- 1
- ISBN/ISSN
- 9783030031527
- Collation
- XVI, 259 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
The Values of Independent Hip-Hop in the Post-Golden Era
Utilizing a mixed-methods approach, this book uncovers the historical trajectory of U.S. independent hip-hop in the post-golden era, seeking to understand its complex relationship to mainstream hip-hop culture and U.S. culture more generally. Christopher Vito analyzes the lyrics of indie hip-hop albums from 2000-2013 to uncover the dominant ideologies of independent artists regarding race, cla…
- Edition
- 1
- ISBN/ISSN
- 9783030024819
- Collation
- XV, 184 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Topological Obstructions to Stability and Stabilization : History, Recent Adv…
This open access book provides a unified overview of topological obstructions to the stability and stabilization of dynamical systems defined on manifolds and an overview that is self-contained and accessible to the control-oriented graduate student. The authors review the interplay between the topology of an attractor, its domain of attraction, and the underlying manifold that is supposed to c…
- Edition
- -
- ISBN/ISSN
- 978-3-031-30133-9
- Collation
- X, 132
- Series Title
- SpringerBriefs in Electrical and Computer Engineering (BRIEFSELECTRIC)
- Call Number
- 620 JON t
Uncertainty in Engineering : Introduction to Methods and Applications
This open access book provides an introduction to uncertainty quantification in engineering. Starting with preliminaries on Bayesian statistics and Monte Carlo methods, followed by material on imprecise probabilities, it then focuses on reliability theory and simulation methods for complex systems. The final two chapters discuss various aspects of aerospace engineering, considering stochastic…
- Edition
- -
- ISBN/ISSN
- 978-3-030-83640-5
- Collation
- VII, 147
- Series Title
- SpringerBriefs in Statistics (BRIEFSSTATIST)
- Call Number
- 510 UNC
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography