Search Results - Bundist~
Suggested Topics within your search.
Suggested Topics within your search.
- Buddhism 43
- Ethnic studies 22
- Asian history 21
- Regional studies 18
- Religion & beliefs 18
- Education 16
- Politics & government 13
- Philosophy 12
- Religion: general 12
- Political science & theory 11
- Cultural studies 10
- Law 10
- Buddhist life & practice 8
- Economic theory & philosophy 8
- History of religion 8
- Buddhist sacred texts 7
- History of art / art & design styles 7
- Social & cultural anthropology, ethnography 7
- Sociology 7
- The environment 7
- China 6
- Entertainment & media law 6
- European history 6
- Literature: history & criticism 6
- Social impact of environmental issues 6
- Society & social sciences 6
- Australasian & Pacific history 5
- History 5
- International relations 5
- Media studies 5
-
661
Erosion des Rechtsstaats? Schlaglichter einer elementaren Krise
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
662
Welche Öffentlichkeit brauchen wir? Zur Zukunft des Journalismus und demokratischer Medien /
Published 2023Link to Metadata
Electronic eBook -
663
Taming the Poisonous Mercury, Toxicity, and Safety in Tibetan Medical Practice
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
664
-
665
-
666
Taming the Poisonous Mercury, Toxicity, and Safety in Tibetan Medical Practice
Published 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
667
-
668
-
669
-
670
-
671
-
672
-
673
-
674
-
675
-
676
-
677
-
678
-
679
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata
Electronic eBook -
680
Gongsheng Across Contexts A Philosophy of Co-Becoming /
Published 2024Table of Contents: “…Inspirations from Symbiosis in Life Sciences and the Notion of Gongsheng/Kyōsei -- Chapter 2: The Re-engineering of Gongsheng: On the Methodology of this Volume and its Philosophical Implications -- Part II: Gongsheng/Kyōsei in Classical Philosophies -- Chapter 3: Introduction on the Ethical "Doctrine of Gongsheng" based on Song-Ming Confucianism's "Unity of Consummate Persons and Things" -- Chapter 4: The Concept of Gongsheng in Daoist Philosophy: Examples from Laozi and Zhuangzi -- Chapter 5: "If Humans are Free of Disease, then Tian is Free of Disease" - Ecological Civilization and the Daoist Concept of Gongsheng -- Chapter 6: Co-dependent Origination and the Doctrine of Gongsheng: A Buddhist Perspective on The Harmony of Humanity, Nature, and Civilizations -- Chapter 7: The Gap of Wen and the Edge of Chaos: From the Conundrum of Kyōsei to the "Cosmic Hope" -- Part III: Gongsheng in Contemporary Contexts -- Chapter 8: How to Understand Symbiosis? …”
Link to Metadata
Electronic eBook