Search Results - CPPCC~

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 o...

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

Towards a Digital Epistemology Aesthetics and Modes of Thought in Early Modernity and the Present Age / by Ingvarsson, Jonas

Table of Contents: “…Digital Epistemology - An Introduction -- 2. CCC Vs WWW: Digital Epistemology and Literary Text -- 3. …”
Link to Metadata

Transformation Literacy Pathways to Regenerative Civilizations /

Table of Contents: “…Introduction and conceptual framing - transformation literacy as a future-making skill -- Part 1: Mindsets in service of wellbeing on a healthy planet -- Setting the scene: How to connect with a world as an interconnected whole -- The same tone, but a new sound - understanding the story of the soul as pathway to regenerative civilizations -- Possible futures -- Transformative literacy as the ability to look forward from within -- Chinese cultural treasures as contributions to a mindset of interconnectedness for global transformations -- The systems aliveness approach - from navigating emergency to stewarding wellbeing on a healthy planet -- Part 2: Systems that enable and safeguard wellbeing on a healthy planet -- Setting the scene: Viewing the world as interconnected systems -- Everything is connected - envisioning how a regenerative world looks like -- Managing forestry in a sustainable manner, the importance of system´s analysis -- Sustainable community transformation process.-The role of capacity-building in Sumba, Indonesia -- Towards transformation to a wellbeing economy in an African country: A case study from Namibia -- A not-for-profit economy for a regenerative sustainable world -- Politics, systems thinking and building the wellbeing economy: The example of Wales -- Part 3: Processes for stewarding transformations towards wellbeing and a healthy planet -- Setting the scene: How to enhance the knowledge and practice of transformation literacy -- Turning mindshifts into transformation leadership -- Models of Change: Strategies to make the socio-ecological transformation a success -- Red Snow - when the Climate Bleeds: A Nordic art and science project -- Collaborative transformations: Circular economy strategies in Europe -- Small scale and large scale - why networks are the cornerstone of transformations -- Collective stewardship towards economies in service to life -- Memories of our collective future.…”
Link to Metadata

Higher Education Reforms in Romania Between the Bologna Process and National Challenges /

Table of Contents: “…Equity from an institutional perspective in the Romanian HE: Jamil Salmi, Cezar Mihai Haj, Daniela Alexe -- 5. Evaluation capacity building as a means to improving policy making and public services in higher education: Nicolae Toderas, Ana-Maria Stăvaru -- 6. …”
Link to Metadata

Biodiversity-Health-Sustainability Nexus in Socio-Ecological Production Landscapes and Seascapes (SEPLS)

Table of Contents: “…SEPLS Well-being as a Vision: Co-managing for Diversity, Connectivity and Adaptive Capacity in Xinshe Village, Hualien County, Chinese Taipei -- Chapter 5. …”
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

Regional and Local Development in Times of Polarisation Re-thinking Spatial Policies in Europe /

Table of Contents: “…-- 9 ReproducingSocio-spatial Unevenness through the Institutional Logic of Dual Housing Policies in Hungary -- PART III: RESPONSES TO REGIONAL POLARISATION AND ALTERNATIVE PERSPECTIVES -- 10 Out-Migration from Peripheries - How Cumulated Individual Strategies Affect Local Development Capacities -- 11 Towards a Progressive Local Development Approach - Insights from Local Community Initiatives in Hungary and Romania -- 12 Bypassing Structural Shortcomings: Innovative Firms in Peripheral Regions -- 13 Leading through Image Making? …”
Link to Metadata

Calculus-Based Physics I by Schnick, Jeffrey

Table of Contents: “…Projectile Motion -- 14 Newton's Laws #1: Using Free Body Diagrams -- 15 Newton's Laws #2: Kinds of Forces, Creating Free Body Diagrams -- 16 Newton's Laws #3: Components, Friction, Ramps, Pulleys, and Strings -- 17 The Universal Law of Gravitation -- 18 Circular Motion: Centripetal Acceleration -- 19 Rotational Motion Variables, Tangential Acceleration, Constant Angular Acceleration -- 20 Torque & Circular Motion -- 21 Vectors: The Cross Product & Torque -- 22 Center of Mass, Moment of Inertia -- 23 Statics -- 24 Work and Energy -- 25 Potential Energy, Conservation of Energy, Power -- 26 Impulse and Momentum -- 27 Oscillations: Introduction, Mass on a Spring -- 28 Oscillations: The Simple Pendulum, Energy in Simple Harmonic Motion -- 29 Waves: Characteristics, Types, Energy -- 30 Wave Function, Interference, Standing Waves -- 31 Strings, Air Columns -- 32 Beats, The Doppler Effect -- 33 Fluids: Pressure, Density, Archimedes' Principle -- 34 Pascal's Principle, the Continuity Equation, and Bernoulli's Principle -- 35 Temperature, Internal Energy, Heat, and Specific Heat Capacity -- 36 Heat: Phase Changes -- 37 The First Law of Thermodynamics…”
Access online version

The Future of Election Administration Cases and Conversations /

Table of Contents: “…-- Part II Professionalizing the Field and Building Capacity -- 13. Creating Professionalism in the Field -- 14. …”
Link to Metadata

Advancing the Science of Cancer in Latinos

Table of Contents: “…The Rutgers Cancer Institute of New Jersey Experience -- Chapter 15: A Vision for Improving Quality of Life Among Spanish-Speaking Latina Breast Cancer Survivors -- Chapter 16: Research Democracy in a Randomized Controlled Trial: Engaging Multiple Stakeholders in Patient-Centered Outcomes Research -- Chapter 17: Es Tiempo: Engaging Latinas in Cervical Cancer Research -- Chapter 18: Reaching Latinos Through Social Media and SMS for Smoking Cessation -- Chapter 19: The Need for a Holistic Approach to Prevent Reproductive Cancers among US Latinas: The Potential Impact of Normalizing Sexuality and Improving Communication -- Chapter 20: Critical Steps for Engaging Hispanics in Cancer Research: Building Capacity to Enhance Participation in Biospecimen Donation withHispanic Communities -- Chapter 21: Emerging Policies in US Health Care -- Chapter 22: A Way Forward: The Future of Cancer Health Disparities Research in Latinos.…”
Link to Metadata

Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability /

Table of Contents: “…Demands and challenges on methods for analyzing school improvement processes (Tobias Feldhoff & Falk Radisch) -- Chapter 3. School Improvement Capacity - A Review and a Reconceptualisation from the Perspectives of Educational Effectiveness and Educational Policy (David Reynolds & Annemarie Neeleman) -- Chapter 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: “…Systems for information management and dissemination to the users -- Chapter 17. Enabling capacity of individuals and institutions in geospatial information technology and Earth observation applications -- Chapter 18. …”
Link to Metadata

No Truth Without Beauty God, the Qur'an, and Women's Rights / by El-Ali, Leena

Table of Contents: “…Women Were Created with the Exact Same Spiritual and Intellectual Capacity as Men, So of Course They Can Lead -- 9. When Men Deprive Women of Their Free Will, They Are Not Protecting Anyone: They Are Obstructing God's Plan -- 10. …”
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

Agricultural Implications of Fukushima Nuclear Accident (IV) After 10 Years /

Table of Contents: “…Toward the Estimation of Radiocesium Activity Concentration in Trunks of Coppiced Quercus Serrata: Leaf Availability Instead of Felling -- 14. …”
Link to Metadata

Foundational Practices of Online Writing Instruction

Table of Contents: “…A Research History of the CCCC OWI Committee, Beth L. Hewett and Kevin Eric DePew -- Part 1. …”
Access online version

Programming Persistent Memory A Comprehensive Guide for Developers by Scargall, Stteve

Table of Contents: “…Front Matter -- Introduction to Persistent Memory Programming -- Persistent Memory Architecture -- Operating Systetm Support for Persistent Memory -- Fundamental Concepts of Persistent Memory Programming -- Introducing the Persistent Memory Develpoment Kit -- Iibpmem: Low-Level Persistent Memory Support -- Iibpmemobj: A Native Transactional Object Store -- libpmemobj-cpp: The Adaptable Language - C++ and Persistent Memory -- pmemkv: A Persistent In-Memory Key-Value Store -- Volatile Use of Persistent Memory -- Designing Data Structures for Persistent Memory -- Debugging Persistent Memory Applications -- Enabling Persistence Using a Real-World Application -- Concurrency and Persistent Memory -- Profiling and Performance -- PMDK Internals: Important Algorithms and Data Structures -- Reliability, Availability, and Serviceability (RAS) -- Remote Persistent Memory -- Advanced Topics -- Back Matter…”
Access online version

Climate Smart Agriculture Building Resilience to Climate Change /

Table of Contents: “…: Cross-Country Evidence from Sub-Saharan Africa -- Chapter 12: Input Subsidy Programs and Climate Smart Agriculture -- Chapter 13: Robust Decision Making for a Climate-Resilient Development of the Agricultural Sector in Nigeria -- Chapter 14: Using AgMIP Regional Integrated Assessment Methods to Evaluate Vulnerability, Resilience and Adaptive Capacity for Climate Smart Agricultural Systems -- Chapter 15: Climate Smart Food Supply Chains in Developing Countries in an Era of Rapid Dual Change in Agrifood Systems and the Climate -- Chapter 16: The Adoption of Climate Smart Agriculture: The Role of Information and Insurance under Climate Change -- Chapter 17: A Qualitative Evaluation of CSA Options in Mixed Crop-Livestock Systems in Developing Countries -- Chapter 18: Identifying Strategies to Enhance the Resilience of Smallholder Farming Systems: Evidence of Zambia -- Chapter 19: Climate Risk Management Through Sustainable Land and Water Management in Sub-Saharan Africa -- Chapter 20: Improving the Resilience of Central Asian Agriculture to Weather Viability and Climate Change -- Chapter 21: Managing Environmental Risk in the Presence of Climate Change: The Role of Adaption in the Mile Basin of Ethiopia -- Chapter 22: Diversification as Part of a CSA Strategy: The Cases of Zambia and Malawi -- Chapter 23: Economic Analysis of Improved Smallholder Paddy and Maize Production in Northern Vietnam and Implications for Climate-Smart Agriculture -- Chapter 24: Synthesis: Devising Effective Strategies and Policies for CSA -- Chapter 25: Conclusions and Policy Implications.…”
Link to Metadata

Environmental Governance in Indonesia

Table of Contents: “…A Crisis Management Governance Perspective -- Chapter 20 Climate Action in a Far-Flung Archipelagic Nation: Outlining Challenges in Capacity-Building -- Chapter 21 Strategy for Sustainable Urban Climate Mitigation: Kupang City Climate Risk Assessment -- Chapter 22 Local resource governance: Strategies for adapting to change -- Part VI: Social and technological Interventions -- Chapter 23 Local Governance of Sustainability Transition in Community-scale Solar Water Pumping Systems in Indonesia -- Chapter 24 Building a Sustainable Photovoltaic Innovation System in Indonesia Through Network Governance Perspective -- Chapter 25 Conceptual Design of Sustainable Governance by VIDEL (Virtual Dashboard of Environmentally Logistics-Port-City): a Case Study of Jakarta and Tanjung-Priok Port.…”
Link to Metadata

Biological Invasions in South Africa

Table of Contents: “…PART 1: BACKGROUND -- Chapter 1: Biological invasions in South Africa: An overview -- Chapter 2: A brief, selective history of researchers and research initiatives related to biological invasions in South Africa -- PART 2: BIOLOGICAL INVASIONS IN SOUTH AFRICA -- Chapter 3: The biogeography of South African terrestrial plant invasions -- Chapter 4:Invasive alien aquatic plants in freshwater ecosystems -- Chapter 5: Terrestrial Vertebrate Invasions in South Africa -- Chapter 6: Alien freshwater fauna in South Africa -- Chapter 7: Alien terrestrial invertebrates in South Africa -- Chapter 8: Biological invasions in South Africa's offshore sub-Antarctic territories -- Chapter 9: Coastal invasions: The South African context -- Chapter 10: Pathogens of vertebrate animals as invasive species: Insights from South Africa -- Chapter 11: Biological invasions in South Africa's urban ecosystems: Patterns, processes, impacts and management -- PART 3: DRIVERS OF INVASION -- Chapter 12: South Africa's pathways of introduction and dispersal and how they have changed over time -- Chapter 13: The role of environmental factors in promoting and limiting biological invasions in South Africa -- Chapter 14: Biotic interactions as mediators of biological invasions: Insights from South Africa -- PART 4: IMPACTS OF INVASION -- Chapter 15:Impacts of invasions on terrestrial water resources in South Africa -- Chapter 16:The impact of invasive alien plants on rangelands in South Africa -- Chapter 17: An evaluation of the impacts of alien species on biodiversity in South Africa using different methods -- PART 5: MANAGEMENT OF INVASIONS -- Chapter 18: Biological invasion policy and legislation development and implementation in South Africa -- Chapter 19: More than a century of biological control against invasive alien plants in South Africa: a synoptic view of what has been accomplished -- Chapter 20:Analysing the risks posed by biological invasions to South Africa -- Chapter 21:The extent and effectiveness of alien plantcontrol projects in South Africa -- Chapter 22: Experience and lessons from alien and invasive animal control projects carried out in South Africa -- Chapter 23: Biological invasions and ecological restoration in South Africa -- Chapter 24: The social dimensions of biological invasions in South Africa -- Chapter 25: Education, training and capacity building in the field of biological invasions in South Africa -- PART 6: NEW INSIGHTS -- Chapter 26: South Africa as a donor of naturalized and invasive alien plants to other parts of the world -- Chapter 27: South Africa as a donor of alien animals -- Chapter 28: Knowing-doing continuum or knowing-doing gap? …”
Link to Metadata