Search Results - 自缢~

Rethinking Sustainability Towards a Regenerative Economy

Table of Contents: “…Textile As Material In Human Built Environment Interaction (Preben Hansen, Vesna Gryjoska And Milica Jovanoska) -- Chapter 12. Restorative Design For Heritage Requalification: Selected Roman Works (Luciano Cupelloni) -- Chapter 13. 3d Printing Technology Within A Regenerative Construction Framework (Odysseas Kontovourkis) -- Chapter 14. …”
Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 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: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
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 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

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

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

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

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

Rethinking Nordic Courts

Table of Contents: “…Sources of Inspiration of Nordic Procedural Law -- Chapter 4. Courts, Law, Language and Culture -- Part II: Identifying Elements of a Nordic Court Culture -- Chapter 5. …”
Link to Metadata

New Business Models for the Reuse of Secondary Resources from WEEEs The FENIX Project /

“…PoliMI SpringerBriefs,…”
Link to Metadata

Games Without Frontiers? Socio-historical Perspectives at the Gaming/Gambling Intersection / by Wardle, Heather

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. The Gambling Permeation? …”
Link to Metadata

Student Feedback on Teaching in Schools Using Student Perceptions for the Development of Teaching and Teachers /

Table of Contents: “…How Research Can Bridge Policy and Practice. (Val Hall) -- Chapter 4. A systematic review on student perception questionnaires (Hannah Bijlsma) -- PART II: Concerns about student perception of teaching quality -- Chapter 5. …”
Link to Metadata

Peer review in an Era of Evaluation Understanding the Practice of Gatekeeping in Academia /

Table of Contents: “…PART I - PEER REVIEW: INTRODUCTION AND ITS CONTEXT -- 1: The Scientific Community, Academia and Peer Review;Eva Forsberg, Lars Geschwind & Sara Levander -- 2: Hierarchies and Universal Inclusion in Scientific Communities; Rudolf Stichweh -- 3: Authors, peer review, and publications - a socio-historical constellation; Raf Vanderstraeten -- PART II - PEER REVIEW AND THE HIGHER EDUCATION EVALUATION MACHINERY -- 4: Performances and Gatekeepers: Quality assurance of education and research in Dutch higher education; Don F. …”
Link to Metadata

Engaged Fatherhood for Men, Families and Gender Equality Healthcare, Social Policy, and Work Perspectives /

Table of Contents: “…1 Launching a Cross-Disciplinary and Cross-National Conversation on Engaged Fatherhood -- 2 The Role of Fathers in Child and Family Health -- 3 The Impact of Father's Health on Reproductive and Infant Health and Development -- 4 The Impact of Fatherhood on Men's Health and Development -- 5 Steps in Developing a Public Health Surveillance System for Fathers -- 6 Fatherhood and Reproductive Health in the Antenatal Period: From Men's Voices to Clinical Practice -- 7 Fathers and Family Leave Policies: What Public Policy Can Do to Support Families -- 8 Individual Parental Leave for Fathers - Promoting Gender Equality in Norway -- 9 How do Men Talk about Taking Parental Leave? …”
Link to Metadata

Good Citizenship for the Next Generation A Global Perspective Using IEA ICCS 2016 Data /

Table of Contents: “…Profiles of good citizenship; David Torres Irribarra & Diego Carrasco -- 4. A comparative approach to notions of good citizenship; Cristóbal Villalobos, María Jesús Morel and Ernesto Treviño -- 5. …”
Link to Metadata