Search Results - 翼鋒~

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools /

Table of Contents: “…State-of-the-Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services -- Context Monitoring for Improved System Performance and QoE -- QoE Management for Future Networks -- Scalable Traffic Quality and System Efficiency Indicators towards Overall Telecommunication System's QoE Management -- Lag Compensation for First Person Shooter Games in Cloud Gaming -- The Value of Context-awareness in Bandwidth-challenging HTTP Adaptive Streaming Scenarios -- Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems -- QoS-based Elasticity for Service Chains in Distributed Edge Cloud Environments -- Integrating SDN and NFV with QoS-aware Service Composition -- Energy vs. …”
Link to Metadata

Peer Review, Peer Education, and Modeling in the Practice of Clinical Ethics Consultation: The Zadeh Project

Link to Metadata

Technologies for Development From Innovation to Social Impact /

Table of Contents: “…Part I: Introduction -- Part II: Humanitarian Technologies -- Part III: Medical Technologies -- Part IV: Renewable Energies -- Part V: Sustainable Habitat -- Part VI: Disaster Risk Reduction.…”
Link to Metadata

Engineering a Better Future Interplay between Engineering, Social Sciences, and Innovation /

Table of Contents: “…-- Ecole des Mines de Paris: a few lessons from a long history -- Part II: Engineering and Social Sciences -- The Cult of Innovation: Its Myths and Rituals -- Does Law Wear out? …”
Link to Metadata

Linear Selection Indices in Modern Plant Breeding by Céron-Rojas, J. Jesus, Crossa, José

Table of Contents: “…General introduction -- The linear phenotypic selection index theory -- Constrained linear phenotypic selection indices -- Constrained linear phenotypic selection indices -- Linear marker and genomic selection indices -- Linear genomic selection indices -- Constrained linear genomic selection indices -- Linear phenotypic eigen selection index methods -- Linear molecular and genomic eigen selection index methods -- Multistage linear selection indices -- Stochastic simulation of four linear phenotypic selection indices -- RIndSel: Selection indices with R.…”
Link to Metadata

Applying the Kaizen in Africa A New Avenue for Industrial Development /

Table of Contents: “…Role of Kaizen in Japan's Overseas Development Cooperation -- Chapter 3. Kaizen in Practice -- Chapter 4. Kaizen and Standardization -- Chapter 5. …”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings /

Table of Contents: “…Agile requirements -- COSMIC User Story Standard -- Improving Mockup-based Requirement Specification with End-User Annotations -- Agile testing -- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment -- Software tester, we want to hire you! …”
Link to Metadata

Bird Species How They Arise, Modify and Vanish /

Link to Metadata

Control Theory Tutorial Basic Concepts Illustrated by Software Examples / by Frank, Steven A.

Table of Contents: “…Introduction -- Part I: Basic Principles -- Part II: Design Tradeoffs -- Part III: Common Challenges.…”
Link to Metadata

Golden Years of Australian Radio Astronomy An Illustrated History / by Orchiston, Wayne, Robertson, Peter, Sullivan III, Woodruff T.

Link to Metadata

RESTART Sustainable Business Model Innovation by Jørgensen, Sveinung, Pedersen, Lars Jacob Tynes

Table of Contents: “…-- Chapter 4: Roadmap to a RESTART -- Chapter 5: Redesign rather than standstill -- Chapter 6: Experimentation rather than turnaround -- Chapter 7: Service-logic rather than product-logic -- Chapter 8: The circular rather than the linear economy -- Chapter 9: Alliances rather than solo-runs -- Chapter 10: Results rather than indulgences -- Chapter 11: Three-dimensionality rather than one-dimensionality -- Chapter 12: RESTART before it is too late -- Chapter 13: A recap of the RESTART framework -- Chapter 14: A process model for sustainable business model innovation -- Chapter 15: Avenues for future research -- Chapter 16: Case study: A RESTART for Scanship -- Chapter 17: Case study: A circular business model for Orkla and BIR?.…”
Link to Metadata

Energy in Africa Challenges and Opportunities / by Hafner, Manfred, Tagliapietra, Simone, de Strasser, Lucia

Table of Contents: “…1.Introduction -- 2.The challenge of energy access in Africa -- 3.Hydrocarbons -- 4.Renewable energy -- 5.Energy investments -- 6.Conclusions.…”
Link to Metadata

The Hindu Kush Himalaya Assessment Mountains, Climate Change, Sustainability and People /

Table of Contents: “…Foreword -- Preface -- Index -- Chapter 1 Introduction: Setting the Scene -- WG1 DRIVERS OF CHANGE AND INTEGRATED FUTURE SCENARIOS -- Chapter 2 Drivers of Change to Mountain Sustainability -- Chapter 3 Climate Change in the Hindu Kush Himalaya -- Chapter 4 Exploring Futures of the Hindu Kush Himalaya: Scenarios and Pathways -- WG2 SUSTAINABLE RESOURCES MANAGEMENT IN THE HKH -- Chapter 5 Sustaining HKH Biodiversity and Ecosystem Services -- Chapter 6 Meeting Energy Needs in the HKH -- Chapter 7 Status and Change of the HKH Cryosphere -- Chapter 8 Water Security: Availability, Use, and Governance -- Chapter 9 Food and Nutrition Security in the HKH -- Chapter 10 Air Pollution in the HKH -- WG3 SUSTAINABLE DEVELOPMENT IN THE HKH -- Chapter 11 Disaster Risk Reduction and Increasing Resilience -- Chapter 12 Poverty and Vulnerability in Mountain Livelihoods -- Chapter 13 Adaptations to Climate Change -- Chapter 14 Gender and Inclusive Development -- Chapter 15 Migration in the HKH: Governance, Drivers, and Consequences -- Chapter 156 Environmental Governance in the HKH -- Bibliography.…”
Link to Metadata

Swiss Public Administration Making the State Work Successfully /

Table of Contents: “…Introduction -- Society, Government, and the Political System Andreas Ladner -- The Organization and Provision of Public Services Andreas Ladner -- The Characteristics of Public Administration in Switzerland Andreas Ladner -- The concept of Law and the principe of legality Sophie Weerts -- The preparliamentary phase in law-drafting : the power issues at stake Christine Guy-Ecabert -- The Federal Administration as an actor in the domestic integration of international law Sophie Weerts / Amalia Sophia -- Soft Law Instruments in Public Law Alexandre Flückiger -- Judicial federalism and constitutional review in the Swiss Judiciary Pascal Mahon -- The new model of Swiss public management Jean-Loup Chappelet -- Public Private Partnerships: A Swiss Perspective Laure Athias / Moudo Macina / Pascal Wicht -- In-depth modernization of HRM in the public sector: the Swiss way Yves Emery -- Communication and Transparency Martial Pasquier -- The Road to Digital and Smart Government in Switzerland TobiasMettler.…”
Link to Metadata

Mediation in Collective Labor Conflicts

Table of Contents: “…Introduction chapter (Ana Belén García) -- Chapter 2. How to describe different mediation systems and practices: 3-R model to describe and analyze mediation in collective organizational conflicts, as well as the 4 phases model? …”
Link to Metadata

Debating Transformations of National Citizenship

Table of Contents: “…Gibney -- Disowning Citizens: Reuven (Ruvi) Ziegler -- Our Epoch's Little Banishments: Saskia Sassen -- Deprivation of Citizenship: Is There an Issue of EU Law?: Jo Shaw -- On Producing the Alien Within: A Reply: Audrey Macklin -- Part IV: Cloud Communities: Cloud Communities: The Dawn of Global Citizenship?…”
Link to Metadata

Disasters: Core Concepts and Ethical Theories

Table of Contents: “…The ethical content of the economic analysis of disasters: Price gouging and post-disaster recovery -- 6. Political Science perspectives -- 7. You can't go home again - on the conceptualisation of disasters in ancient Greek tragedy -- 8. …”
Link to Metadata

The Climate-Smart Agriculture Papers Investigating the Business of a Productive, Resilient and Low Emission Future /

Table of Contents: “…a systematic map -- Chapter 13-Understanding the multidimensionality of climate-smartness: examples from agroforestry in Tanzania -- Chapter 14-A participatory approach to assessing the climate-smartness of agricultural interventions: the Lushoto case -- Chapter 15-Household welfare effects of stress: tolerant varieties in Northern Uganda -- Chapter 16-Considering religion and tradition in climate smart agriculture: insights from Namibia -- Chapter 17-The role of farmers' entrepreneurial orientation on agricultural innovations in Ugandan multi-stakeholder platforms -- Chapter 18-Shea butter: a pro-poor, pro-female route to increased income -- Chapter 19-One size does not fit all: private-sector perspectives on climate change, agriculture and adaptation -- Chapter 20-Climate-smart agricultural value chains: risks and perspectives -- Chapter 21-Nutrition-sensitive value chain development in a changing climate -- Chapter 22-Realising ambitious targets and metrics for private-sector action on climate risks -- Chapter 23-The role of learning alliances for creating an enabling climate-change policy environment in East Africa -- Chapter 24-Farmer-to-farmer extension: a low-cost approach for promoting climate-smart agriculture -- Chapter 25-Innovative partnerships to scale up climate-smart agriculture for smallholder farmers in Southern Africa -- Chapter 26-Rural finance to support climate change adaptation: experiences, lessons and policy perspectives.…”
Link to Metadata

Adhesive Bonding of Aircraft Composite Structures Non-destructive Testing and Quality Assurance Concepts /

Link to Metadata