Search Results - 翼鋒~

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II /

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I /

Table of Contents: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Structural Health Monitoring Damage Detection Systems for Aerospace

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. Monitoring tasks in aerospace -- Chapter 3. …”
Link to Metadata

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /

Table of Contents: “…Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs.…”
Link to Metadata

Outdoor Learning and Play Pedagogical Practices and Children's Cultural Formation /

Link to Metadata

Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers /

Table of Contents: “…Keynote Paper -- Augmented Reality in Assembly Systems: State of the Art and Future Perspectives -- Assembly Design and Planning -- Application of a Standardized Design Procedure in the Development of Automated Micro-Assembly Processes -- Towards the Automated Coverlay Assembly in FPCB Manufacturing: Concept and Preliminary Tests -- Resource Interface Matchmaking as a Part of Automatic Capacity Matchmaking -- Investigation on the Convergence of the Genetic Algorithm of an Aerodynamic Feeding System due to the Enlargement of the Solution Space -- Assembly Operations -- Indirect System Condition Monitoring using Online Bayesian Changepoint Direction -- Strategies for Dealing with Problems in Robotised Unscrewing Operations -- Improving Automated Insertion Task in Robotics by Reducing Registration Error -- Assembly Cells and Systems -- Development of a Sensitive Winding Application Based on a Serial Robot and Integrated Torque Sensors -- High-Load Titanium Drilling using anAccurate Robotic Machining System -- Application of Advanced Simulation Methods for the Tolerance Analysis of Mechanical Assemblies -- Development of a Low-Cost, High Accuracy, Flexible Panel Indexing Cell with Modular, Elastic Architecture -- Context-Aware Plug and Produce for Robotic Aerospace Assembly -- Data Capture and Visualisation on a Shoestring: Demonstrating the Digital Manufacturing on a Shoestring Project -- Digital Innovation Hubs for Enhancing the Technology Transfer and Digital Transformation of the European Manufacturing Industry -- Plenoptic Inspection System for Automatic Quality Control of MEMS and Microsystems -- Human Centred Assembly -- Automated Information Supply of Worker Guidance Systems in Smart Assembly Environment -- Towards Human and Robot Collaborative Ergonomic Handling of Long Parts with a Loose Grip -- Human and Workcell Event Recognition and its Application Areas in Industrial Assembly -- Cognitive Acceptance to Support Maintenance and Assembly Tasks: Results on Technology Acceptance of a Head-Mounted Device -- Usability Study of Learning-Based Pose Estimation of Industrial Objects from Synthetic Depth Data -- Assistance Methods in Assembly -- Assistance Needs in Production Environments: A Contextual Exploration of Workers' Experiences and Work Practices -- Attention Analysis for Assistance in Assembly Processes -- Live Video Assistance Systems for Assembly Processes -- Orchestration and Situation Awareness in an Assistance System for Assembly Task -- Safety as Bad Cop of Physical Assistance Systems? …”
Link to Metadata

Governing the Pandemic The Politics of Navigating a Mega-Crisis / by Boin, Arjen, McConnell, Allan, 't Hart, Paul

Table of Contents: “…1. The year of the unthinkable -- 2. What's going on? …”
Link to Metadata

Understanding Well-being Data Improving Social and Cultural Policy, Practice and Research / by Oman, Susan

Table of Contents: “…1: The Historical and Policy Context -- 2 Methodological Context -- 3 The Application of subjective well-being in decision-making -- 4 Well-being Measures and Culture -- 5 moving towards a better use of well-being to understand the value of culture -- 6 NO FEAR Practical guidelines on how to deal with evidence on cultural value and well-being -- 7 Finding a working model of subjective well-being for the cultural sector.…”
Link to Metadata

Global Political Demography The Politics of Population Change /

Table of Contents: “…Migration in Political Demography: A Review of Evidence -- 3. Youthful Age Structures and the Risks of Revolutionary and Separatist Conflicts -- 4. …”
Link to Metadata

Earth Observation Science and Applications for Risk Reduction and Enhanced Resilience in Hindu Kush Himalaya Region A Decade of Experience from SERVIR /

Table of Contents: “…Chapter 1. Introduction and rationale -- Chapter 2. SERVIR: A global network of environmental management with Earth observation and geospatial technology -- PART 1. …”
Link to Metadata

Sustainable Mobility for Island Destinations

Table of Contents: “…Introduction -- Towards a Green Deal in Transport -- Sustainable Tourism and Mobility -- Sustainable Urban Mobility Plans for Guest and Citizens -- Greening the Public Transport -- Alternative Fuels and Practices -- Innovation, ITS and Tourism Destinations- Challenges for Business Models -- Micromobility in the Urban Environment -- Measuring Environmental Impact in Cities -- Insular Experiences and Challenges from Transport and Tourism.…”
Link to Metadata

Post-Digital, Post-Internet Art and Education The Future is All-Over /

Table of Contents: “…Educating the Commons and Commoning Education: Thinking Radical Education with Radical Technology -- 8. A New Sujet/Subject for Art Education -- 9. …”
Link to Metadata

Transnational Legal Activism in Global Value Chains The Ali Enterprises Factory Fire and the Struggle for Justice /

Table of Contents: “…Introduction - Transnational Law and Advocacy around Labour and Human Rights Litigation -- Part 1: The Ali Enterprises Factory Fire and its aftermath - Litigations, campaigning and transnational collaboration -- Loss and Legibility - A conversation with Saeeda Khatoon -- Legal Interventions and Transnational Alliances in the Ali Enterprises Case - Struggles for Workers' Rights in Global Supply Chains -- Paradoxes of Strategic Labour Rights Litigation: Insights from the Baldia Factory Fire Litigation -- After the Ali Enterprises fire: Occupational safety and health and workers' organising - A conversation with Zehra Khan about current and future struggles -- Pakistan's "Industrial 9/11" - Transnational rights-based activism in the garment industry and creating space for future global struggles -- The Land of Mourning - A conversation with Adeela Suleman -- Four against KiK - A conversation with Caspar Dohmen -- Part 2: Labour and Tort Law Aspects of Global Supply Chains -- The Rana Plaza collapse and the case for Enforceable Agreements with Apparel Brands -- Trade Union Approaches to Global Value Chains - The Indonesian Experience -- Transnational labour law? …”
Link to Metadata

Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2021

Table of Contents: “…Assembly Planning -- Grasping -- Human-Machine Interaction -- Human-Robot Collaboration -- Industry 4.0 -- Machine Vision -- Robot Programming.…”
Link to Metadata

Benefit/Cost-Driven Software Development With Benefit Points and Size Points / by Hannay, Jo Erskine

Table of Contents: “…1 Business Value Disadvantaged -- 2 Benefit Points - An Overview -- 3 Benefit Points for the Project -- The Best Part of the Story -- 4 Benefit Points for the Portfolio -- 5 Earned Business Value Management -- 6 Agile Uncertainty Assessment for Benefit Points and Size Points -- 7 Benefit and Cost Periodized - Stretching Your Points -- 8 Final Remarks.…”
Link to Metadata

Innovation, Sustainability and Management in Motorsports The Case of Formula E / by Næss, Hans Erik, Tjønndal, Anne

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. Social innovation -- Chapter 3. …”
Link to Metadata

Animating Unpredictable Effects Nonlinearity in Hollywood's R&D Complex / by Gowanlock, Jordan

Table of Contents: “…Introduction: Defining Nonlinear Animation -- Chapter 1: Simulation and R&D: Knowing and Making -- Chapter 2: Hollywood's R&D Complex -- Chapter 3: Engineering Moving Images: "Tech dev" meets "look dev" -- Chapter 4: Animating Management -- Chapter 5: Catastrophe, Chaos, and Perfect Storms -- Conclusion: Engineering Movies. 210.…”
Link to Metadata

Protecting the Fatherland: Lawsuits and Political Debates in Jülich, Hesse-Cassel and Brittany (1642-1655) by Romein, Christel Annemieke

Table of Contents: “…Introduction -- Part I. Holy Roman Empire -- Political language in the Holy Roman Empire 1500-1700 -- Jülich: pamphlets and Cologne get-togethers (1640s-1650s) -- Hesse-Cassel: alleged sedition and law-suits (1640s-1650s) -- Part II. …”
Link to Metadata

The Life of Breath in Literature, Culture and Medicine Classical to Contemporary /

Table of Contents: “…London Fog as Food: From Pabulum to Poison, Christine L. Corton -- 17. 'Now-for a breath I tarry': Breath, Desire and Queer Materialism at the fin de siècle, Fraser Riddell -- 18. …”
Link to Metadata