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

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

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

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

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

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

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

Stakeholder Engagement in a Sustainable Circular Economy Theoretical and Practical Perspectives /

Table of Contents: “…Chapter 5. Multi-Stakeholder Network in a Circular Economy Transition: A Typology of Stakeholder Relationships -- Chapter 6.,Developing a Participatory Approach to Support Decision-making in Waste Management -- Chapter 7. …”
Link to Metadata

Stakeholder Relationships And Sustainability The Case Of Health Aid To The Kyrgyz Republic / by Isabekova, Gulnaz

Table of Contents: “…1. Introduction -- 2. Theorizing Power, Agents, Structures, and Aid Relationships -- 3. …”
Link to Metadata

Planning for Equitable Urban Agriculture in the United States Future Directions for a New Ethic in City Building /

Table of Contents: “…Foreword -- Preface -- Chapter 1 Introduction -- II Theories and Foundations: Ethics, Urban agriculture, and Planning -- Chapter 2 Theoretical Foundations -- Chapter 3 The Food System: A Stranger to the Planning Field -- Chapter 4 From Theory to Practice: Reflections from planning practice -- Chapter 5 Urban agriculture: linking ethics and food -- Chapter 6 The Intersection of Planning, Urban Agriculture, and Food Justice -- Chapter 7 Systems thinking -- III Practical Ethics: Urban Agriculture in US Cities -- Chapter 8 Urban agriculture practice (National/Big Picture) -- Chapter 9 Experience from Detroit and Cleveland -- Chapter 10 Experience from Buffalo (North east) -- Chapter 11 Urban Agriculture as Public Good: Experience from Philly and Chicago -- Chapter 12 Experience from West (Las Cruces -- Chapter 13 Experience from South (Albany, GA) -- Chapter 14 NYC -- Chapter 15 Experience from Michigan county -- IV Public Policy Responses to Urban Agriculture -- Chapter 16 Public PolicyResponse (National/Big Picture) -- Chapter 17 Baltimore -- Chapter 18 Denver -- Chapter 19 Austin -- Chapter 20 Minneapolis -- Chapter 21 Seattle -- Chapter 22 Madison -- Chapter 23 The Relational Infrastructure of Food Systems Planning and Policy Development -- V Pedagogy of Capacity-Building through Urban Agriculture -- Chapter 24 UA as a Locus for Pedagogy -- Chapter 25 Studio-based education -- Chapter 26 Distance-based education -- Chapter 27 Community-university partnerships -- Chapter 28 Pedagogy of Urban Agriculture -- V Directions for the Future -- Chapter 29 From the outside in: European perspectives -- Chapter 30 Comparison of US-Global South -- Chapter 31 Conclusion: Ideas for the Future -- Bibliography.…”
Link to Metadata

Chronotropics Caribbean Women Writing Spacetime /

Table of Contents: “…1: Introduction: Chronotropics -- Part I: Defiances/Divergences/Digressions -- 2: Of Slave Ships as Chronotopes: Fabienne Kanor's Humus and Yolanda Arroyo Pizarro's Las Negras -- 3: Wreckognition: Archival Ruins in Dionne Brand's The Blue Clerk -- 4: Past Histories and Present Realities: Reading Desire and Difference in Mayra Santos Febres' Fe en disfraz -- 5: Haunting Genealogies: Indo-Caribbean Feminist Literary Reimaginings of the Monstrous Past -- Part II: Traumas/Restructures/Retracings -- 6: Connecting Diasporas: Reading Erna Brodber's Work through African Fractal Theory -- 7: When the Tout-Monde is not one: Maryse Condé's Problematic 'World-in-Motion' in Les belles ténébreuses (2008) and Le fabuleux et triste destin d'Ivan et Ivana (2017) -- 8: Writing "In Transit": Literary Constructions of Sovereignty in Julia Alvarez's Afterlife -- Part III: Destruction/Desires/Disruptions -- 9: Beyond the Crossroad: Caribbean Environments, Gender and Race in Pauline Melville's The Ventriloquist's Tale and Elizabeth Nunez's Prospero's Daughter -- 10: Creolized Ecology in Mayra Montero's Palm of Darkness -- 11: Canadian Re-mapping of Caribbean Desire in Nalo Hopkinson's Sister Mine and Shani Mootoo's He Drown She in the Sea -- Part IV: Bilocation/Inhabitations/(G)hostings -- 12: Spiritual Crossings: Olokún and Caribbean Futures Past in La mucama de Omicunlé by Rita Indiana Hernández -- 13: A Site of Memory: Revisiting (in) Gisèle Pineau's Mes quatre femmes -- 14: At the Crossroads of History: The Cohabitation of Past and Present in Kettly Mars's L'Ange du patriarche -- 15: Fiction as a Spider's Web? …”
Link to Metadata

Disrupting Buildings Digitalisation and the Transformation of Deep Renovation /

Table of Contents: “…Chapter 1. Deep Renovation: Definitions, Drivers and Barriers -- Chapter 2. …”
Link to Metadata

Cultural Policy is Local Understanding Cultural Policy as Situated Practice /

Table of Contents: “…1. Reflecting on Place and the Local -- 2. Bridging the Trust Divide: Understanding the Role of 'Localism' and the 'Local' in Cultural Policy -- 3. …”
Link to Metadata

Safety in the Digital Age Sociotechnical Perspectives on Algorithms and Machine Learning /

Table of Contents: “…-- 8. Looking at the safety of AI from a systems perspective: Two healthcare examples -- 9. …”
Link to Metadata

The Virtues of Green Marketing A Constructive Take on Corporate Rhetoric / by Bengtson, Erik, Mossberg, Oskar

Table of Contents: “…1. Introduction: A New Framework for Green Marketing -- 2. …”
Link to Metadata

Robotic Surgery of Colon and Rectum

Table of Contents: “…An Update -- 7 Damage control resuscitation and massive transfusion -- 8 REBOA in exanguinating torso haemorrhage -- 9 Definitive Care of abdominal solid organ injuries -- 10 Trauma to the chest: the role of trauma surgeon -- 11 Abdomino-pelvic trauma -- 12 The open abdomen: indications and techniques -- 13 Entero-atmospheric fistula: a challenge of acute care surgery -- 14 Operative endoscopy in acute care surgery -- 15 Point of Care Ultrasounds in acute care surgery -- 16 Large bowel emergencies -- 17 Biliary emergencies -- 18 Step-up approach in acute pancreatitis -- 19 Source control in abdominal sepsis -- 20 Laparoscopy in acute care surgery -- 21 Caustic injuries.…”
Link to Metadata

Acceleration and Cultural Change Dialogues from an Overheated World / by Eriksen, Thomas Hylland, Visentin, Martina

Table of Contents: “…Introduction to overheating approach: an Ariadne's thread for the readers -- First conversation: vulnerabilities and opportunities in a pandemic society -- Second conversation: diversity and globalisation -- Thirds conversation: the new diversities -- Fourth conversation: climate change under overheating lens -- Fifth conversation: days of rage -- Sixth conversation: temporalities regimes in a platform society -- Seventh conversation: fast vs slow academic. …”
Link to Metadata