Zoekresultaten - 種痘~

Wheat Evolution and Domestication door Feldman, Moshe, Levy, Avraham A.

Inhoudsopgave: “…Amblyopyrum (Jaub. &Spach) Eig -- 9. Aegilops L -- 10. Triticum L. -- 11. Evolution of the diploid species of the sub-tribe Triticineae -- 12. …”
Link to Metadata

Challenging Global Development Towards Decoloniality and Justice /

Inhoudsopgave: “…Development and Post-development in a Time of Crisis -- Chapter 11. South-South Cooperation and Decoloniality -- Chapter 12. …”
Link to Metadata

Narratives of the Unspoken in Contemporary Irish Fiction Silences that Speak /

Inhoudsopgave: “…Chapter 1: Introduction: Silences that Speak -- Chapter 2: Conspicuously Silent: The excesses of Religion and Medicine in Emma Donoghue's historical novels The Wonder and The Pull of the Stars -- Chapter 3: "To Pick up the unsaid, and perhaps unknown, wishes": Reimagining the "True Stories" of the Past in Evelyn Conlon's Not the Same Sky -- Chapter 4: "He's been wanting to say that for a long time": Varieties of Silence in Colm Tóibín's Fiction -- Chapter 5: The Irish Short Story and the Aesthetics of Silence -- Chapter 6: Infinite Spaces: Kevin Barry's Lives of Quiet Desperation -- Chapter 7: The Silencing of Speranza -- Chapter 8: "A self-interested silence": Silences Identified and Broken in Peter Lennon's Rocky Road to Dublin (1967) -- Chapter 9: Silence in Donal Ryan's Fiction -- Chapter 10: "Sure, aren't the church doing their best?" …”
Link to Metadata

Tortuosity and Microstructure Effects in Porous Media Classical Theories, Empirical Data and Modern Methods / door Holzer, Lorenz, Marmet, Philip, Fingerle, Mathias, Wiegmann, Andreas, Neumann, Matthias, Schmidt, Volker

Inhoudsopgave: “…Chapter 1. Introduction -- Chapter 2. Review of theories and a classification of tortuosity types -- Chapter 3. …”
Link to Metadata

Non-affirmative Theory of Education and Bildung

Inhoudsopgave: “…Knowledge, values and subject-ness - Educative teaching as a regulative idea of school development in the 21st century (Thomas Rucker) -- Chapter 4. …”
Link to Metadata

The Energy Sector and Energy Geopolitics in the MENA Region at a Crossroad Towards a Great Transformation? / door Hafner, Manfred, Raimondi, Pier Paolo, Bonometti, Benedetta

Inhoudsopgave: “…Part I - Context And Drivers For The Regional Energy Transformation -- Chapter 1 - The Mena Region: An Economic, Energy, And Historical Context -- Chapter 2 - Domestic And International Drivers And Challenges For The Energy Transformation In The Mena Region -- Part II - The Energy Sector In The Mena Region At A Crossroad -- Chapter 3 - National Energy Sectors: Historical Evolution And Current Situation -- Chapter 4 - Low-Carbon Energy Strategies In Mena Countries -- Part III- Energy Geopolitics In The Mena Region -- Chapter 5 - Geopolitics Of Oil And Gas In The Mena Region -- Chapter 6 - Geopolitics Of The Energy Transformation In The Mena Region -- Part Iv - Overall Conclusions -- Chapter 7 - Conclusions On The Transformation Of The Energy Sector And The Energy Geopolitics.…”
Link to Metadata

Migration and Religion IMISCOE Short Reader / door Nordin, Magdalena, Otterbeck, Jonas

Inhoudsopgave: “…Introducing the field: 'migration and religion' -- Chapter 2. Trends in research: A literature review -- Part II: The New Home -- Chapter 3. …”
Link to Metadata

Averting Disaster Before It Strikes How to Make Sure Your Subordinates Warn You While There is Still Time to Act / door Chernov, Dmitry, Ayoub, Ali, Sansavini, Giovanni, Sornette, Didier

Inhoudsopgave: “…Introduction -- The reason of the concealment -- Top 10 recommendations -- Results of the pilot project -- Discussion.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II /

Inhoudsopgave: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I /

Inhoudsopgave: “…Invited Talk.-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

Inhoudsopgave: “…A Study on Model's Similarities for Defect and Code Smells -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.…”
Link to Metadata

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

Inhoudsopgave: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
Link to Metadata

Irregular Migration IMISCOE Short Reader / door Ambrosini, Maurizio, Hajer, Minke H.J

Inhoudsopgave: “…1. Introduction. Understanding the Challenge of Irregular Migration -- 2. …”
Link to Metadata

Innovative Priority Mechanisms in Service Operations Theory and Applications / door Cui, Shiliang, Wang, Zhongbin, Yang, Luyi

Link to Metadata

Differential Equations for Studies in Computational Electrophysiology door Horgmo Jæger, Karoline, Tveito, Aslak

Inhoudsopgave: “…1. Getting Started -- 2. A System of Ordinary Differential Equations -- 3. …”
Link to Metadata

Energy and Sustainable Futures: Proceedings of the 3rd ICESF, 2022

Inhoudsopgave: “…Investigating Energy Cost Impact on Private Residential Buildings in the West Midlands Region of the UK -- Towards an Effective Artificial Intelligence Systems for Condition Monitoring of Off-Shore Wind Turbines: The Application of Sensor Fusion -- CFD Based Aerodynamics conjugate Heat Transfer and Airgap Fluid Flow Thermal Analysis to a Wheel Hub Motor for Electric Scooters -- Learning from the past fora sustainable future: Environmental monitoring and 3D modeling to assess the thermal performance of heritage buildings -- Oil and gas supply chain: Analysing stakeholder sustainability risk perception -- using machine learning to predict synthetic fuel spray penetration from limited experimental data without computational flluid dynamics.…”
Link to Metadata

Marine Plastics: Innovative Solutions to Tackling Waste

Inhoudsopgave: “…-Chapter 8: Engaging Volunteers as Experts in Data-Driven Research Projects and a Circular Economy: The Case of PlastOPol -- Chapter 9: The role of non-profit organizations (NGOs) in value creation: Lessons from the recycling of fishing gear in Norway -- Chapter 10: Sotenäs Marine Recycling Centre in Sweden: A Case Study related to Waste Fishing Gear -- Chapter 11: The effect of fishing nets aging on metal uptake -- Chapter 12: Possible applications for waste fishing nets in construction material -- Chapter 13: The influence of Involvement and Attribute Importance on Purchase Intentions for Green Products -- Chapter 14: Role of resource users' knowledge for developing realistic strategies for a circular economy for plastics from the Norwegian fishing sector -- Chapter 15: Concluding remarks.…”
Link to Metadata

New Wars and Old Plagues Armed Conflict, Environmental Change and Resurgent Malaria in the Southern Caucasus / door Hirschfeld, Katherine, de Beurs, Kirsten, Brayfield, Brad, Melkonyan-Gottschalk, Ani

Inhoudsopgave: “…1. Introduction -- 2. History and Ecology of Malaria in the Caucasus -- 3. …”
Link to Metadata

Thyroid Surgery

Inhoudsopgave: “…Part I: Introduction.History of thyroid surgery -- General preoperative workup and diagnostic tools.…”
Link to Metadata

The Evolution of Research on Teaching Mathematics International Perspectives in the Digital Era /

Inhoudsopgave: “…Student mathematics learning outcomes -- 9. External context -- 10. Individual student internal contexts and considerations for mathematics teaching and learning -- 11. …”
Link to Metadata