検索結果 - 種痘~

Innopolis University - From Zero to Hero Ten Years of Challenges and Victories / 著者: Mazzara, Manuel, Succi, Giancarlo, Tormasov, Alexander

目次: “…Faculty Strategy for the Future -- 12. Conclusion -- Part V: A Visual Journey -- 13. …”
Link to Metadata

Data Spaces Design, Deployment and Future Directions /

目次: “…Data Spaces: Design, Deployment, and Future Directions -- Part I: Design -- An Organizational Maturity Model for Data Spaces: A Data Sharing Wheel Approach -- Data Platforms for Data Spaces -- Technological Perspective of Data Governance in Data Space Ecosystems -- Increasing Trust for Data Spaces with Federated Learning -- KRAKEN: A Secure, Trusted, Regulatory-Compliant, and Privacy-Preserving Data Sharing Platform -- Connecting Data Spaces and Data Marketplaces and the Progress Toward the European Single Digital Market with Open-Source Software -- AI-Based Hybrid Data Platforms -- Part II: Deployment -- A Digital Twin Platform for Industrie 4.0 -- A Framework for Big Data Sovereignty: The European Industrial Data Space (EIDS) -- Deploying a Scalable Big Data Platform to Enable a Food Safety Data Space -- Data Space Best Practices for Data Interoperability in FinTechs -- TIKD: A Trusted Integrated Knowledge Dataspace for Sensitive Data Sharing and Collaboration -- Toward an Energy Data Platform Design: Challenges and Perspectives from the SYNERGY Big Data Platform and AI Analytics Marketplace -- Part III: Future Directions -- Privacy-Preserving Techniques for Trustworthy Data Sharing: Opportunities and Challenges for Future Research -- Common European Data Spaces: Challenges and Opportunities.…”
Link to Metadata

Responsible Procurement Leading the Way to a Sustainable Tomorrow / 著者: Aichbauer, Stefan, Buchhauser, Martina, Erben, Agnes, Steinert, Sven, Tietze, Detlef, Wiking, Emilia

目次: “…Part I: Setting the Scene -- 1. The Challenge of Our Lifetime -- 2. …”
Link to Metadata

Italian National Forest Inventory-Methods and Results of the Third Survey Inventario Nazionale delle Foreste e dei Serbatoi Forestali di Carbonio-Metodi e Risultati della Terza Indagine /

Link to Metadata

The Power of Morality in Movements Civic Engagement in Climate Justice, Human Rights, and Democracy /

目次: “…Three dimensions of morality and social movements -- 3. Bringing morality back in -- 4. Solidarity mobilizations in the "refugee crisis": Between particularism and universalism -- 5. …”
Link to Metadata

Integrating Science and Politics for Public Health

目次: “…The politics of evidence-based 'Health in All Policies' Paul Cairney, Emily St Denny and Heather Mitchell -- Chapter 12. Developing a policy framework to reduce social inequities in health: (Moving beyond HiAP) Ditte Heering Holt & Katherine Frohlich -- Conclusion. …”
Link to Metadata

Towards the "Perfect" Weather Warning Bridging Disciplinary Gaps through Partnership and Communication /

目次: “…Chapter1. Introduction -- Chapter2. Early Warning Systems and Their Role in Disaster Risk Reduction -- Chapter3. …”
Link to Metadata

Resourceful Civil Society Navigating the Changing Landscapes of Civil Society Organizations /

目次: “…Domestic funding for civil society in a non-democratic context: The example of the Presidential Grants in Russia, Yulia Skokova and Christian Fröhlich -- 4.Polish human rights organizations: Resisting institutional pressures, Zhanna Kravchenko, Katarzyna Jezierska, Marta Gumkowska, Beata Charycka, and Magdalena Szafranek -- 5. . …”
Link to Metadata

Speciesism in Biology and Culture How Human Exceptionalism is Pushing Planetary Boundaries /

目次: “…Part I. Biology and Culture -- Chapter 1. Speciesism in Biology and Culture: How Human Exceptionalism is Pushing Planetary Boundaries -- Chapter 2. …”
Link to Metadata

Novel Developments for Sustainable Hydropower

目次: “…1 Policy Framework for Hydropower Mitigation -- 2 Costs of Ecological Mitigation at Hydropower Plants -- 3 Public Acceptance of Hydropower -- 4 Impacts and Risks of Hydropower -- 5 The Attractiveness of Fishways and Bypass Facilities -- 6 Attraction Flow and Migration Habitat Assessment Using an Agent-Based Model -- 7 Fish Guidance Structures with Narrow Bar Spacing: Physical Barriers -- 8 Fish Guidance Structure with Wide Bar Spacing: Mechanical Behavioural Barrier -- 9 Guidelines for Application of Different Analysis Methods of Fish Passage Through Turbines - Impact Assessment of Fish Behavioural Aspects -- 10 Measures to Improve Fish Passage Through a Turbine -- 11 Archimedes Screw - An Alternative for Safe Migration Through Turbines? …”
Link to Metadata

Achieving the Paris Climate Agreement Goals Part 2: Science-based Target Setting for the Finance industry - Net-Zero Sectoral 1.5˚C Pathways for Real Economy Sectors /

目次: “…Chapter 1: Science-based industry GHG targets, Nationally Determined Contributions (NDC) and the scientific status quo of climate change -- Chapter 2: Development of industry GHG emission and energy demand- past, present and future perspectives -- Chapter 3: Industry GHG target setting, Scope 1, 2 and 3 emissions - the concept -- Chapter 4: Modelling approaches -- Chapter 5: Main assumptions for Industry pathways -- Chapter 6: Renewable Process Heat -- Chapter 7: Renewable Fuels: Hydrogen-, Synthetic- and biofuels -- Chapter 8: Negative emissions: Nature-based-solutions -- Chapter 9: Industry energy pathways - Scenario results -- Chapter 10: Scope 3 industry emissions and future pathways -- Chapter 11: Mapping out Carbon Conservation and Protection Zones (CCPZ) -- Chapter 12: Discussion, Conclusions and Recommendations.…”
Link to Metadata

Forest Bioeconomy and Climate Change

目次: “…Outlook for a Forest-Based Bioeconomy (Hurmekoski et al.) -- Chapter 5. …”
Link to Metadata

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

Link to Metadata

The Political Economy of Non-Western Migration Regimes Central Asian Migrant Workers in Russia and Turkey / 著者: Urinboyev, Rustamjon, Eraliev, Sherzod

目次: “…Russian and Turkish Migration Regimes in a Comparative Perspective -- 3. Parallel Worlds of Uzbek Migrants in Russia and Turkey -- 4. …”
Link to Metadata

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

目次: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

目次: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Energy Poverty, Practice, and Policy 著者: Butler, Catherine

目次: “…CHAPTER 1: Introduction -- CHAPTER 2: Poverty and Energy -- CHAPTER 3: Practice and Energy -- CHAPTER 4: Policy: Energy Demand and Welfare in the UK -- CHAPTER 5: Invisible Energy Policy and Energy Capabilities -- CHAPTER 6: Energy, Poverty, Practice, and Inequality -- CHAPTER 7: Conclusions: Reconceptualising Energy Poverty and Practice. .…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I /

目次: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /

目次: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

Integrating Data Science and Earth Science Challenges and Solutions /

Link to Metadata