Search Results - 宁波~

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 /

Table of Contents: “…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 /

Table of Contents: “…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 /

Table of Contents: “…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 /

Table of Contents: “…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 / by Ambrosini, Maurizio, Hajer, Minke H.J

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

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

Link to Metadata

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

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

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

Table of Contents: “…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

Table of Contents: “…-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 / by Hirschfeld, Katherine, de Beurs, Kirsten, Brayfield, Brad, Melkonyan-Gottschalk, Ani

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

Thyroid Surgery

Table of Contents: “…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 /

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

Struggles for Reproductive Justice in the Era of Anti-Genderism and Religious Fundamentalism

Table of Contents: “…-- 5: Changing and competing discourses on abortion in Taiwan, 1990-2020 -- 6: In green and blue: Feminist struggle for abortion rights in Argentina -- 7: Narratives on the history of abortion in socialist Poland in today's struggles around abortion in Poland -- 8: Everyday bordering and the struggle for reproductive justice in Ireland -- 9: ¡Aborto Ya! …”
Link to Metadata

Values - Politics - Religion: The European Values Study In-depth Analysis - Interdisciplinary Perspectives - Future Prospects /

Table of Contents: “…Transformations in the Religious and Moral Landscape in Europe? -- Part II: In-Depth Analysis -- Chapter 5. Political Values and Religion: A Comparison Between Western and Eastern Europe -- Chapter 6. …”
Link to Metadata

Empty Innovation Causes and Consequences of Society's Obsession with Entrepreneurship and Growth / by Hallonsten, Olof

Table of Contents: “…Economization -- Chapter 4. We're All Entrepreneurs Now -- Chapter 5. Faster, Better, Stronger -- Chapter 6. …”
Link to Metadata

The Future of Work Challenges and Prospects for Organisations, Jobs and Workers /

Table of Contents: “…Assessing the impact of new ways of working on individual and organisational well-being -- Chapter 3. AI, Data Analytics and the Professions -- Chapter 4. …”
Link to Metadata

Systems Biology Functional Strategies of Living Organisms / by Konieczny, Leszek, Roterman-Konieczna, Irena, Spólnik, Paweł

Table of Contents: “…Chapter 1: The Structure And Function Of Living Organisms -- Chapter 2: Energy In Biology - Demand And Use -- Chapter 3: Information - Its Role And Meaning In Organism -- Chapter 4: Regulation In Biological Systems -- Chapter 5: Interrelationship In Organized Biological Systems. .…”
Link to Metadata

Non-Territorial Autonomy An Introduction /

Table of Contents: “…1. Introduction -- 2. The Concept of Non-Territorial Autonomy: Origins, Developments, and Subtypes -- 3. …”
Link to Metadata

Effective Teaching Around the World Theoretical, Empirical, Methodological and Practical Insights /

Table of Contents: “…Foreword -- Introduction -- Section 1: Conceptualization and measurement of effective teaching -- Section 2: Effective teaching: insights from specific countries -- Section 3: Effective teaching: comparison across countries -- Section 4: Effective teaching and its correlates -- Section 5: Effective teaching in complex environments: Differentiation and adaptive teaching -- Epilogue -- Conclusion.…”
Link to Metadata

Migration and International Relations IMISCOE Short Reader / by Wihtol de Wenden, Catherine

Table of Contents: “…Chapter 1. International Migration as a World Issue -- Chapter 2. …”
Link to Metadata