खोज परिणाम - "evolvability"

Multiple-Aspect Analysis of Semantic Trajectories First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceed...

विषय - सूची: “…Learning from our Movements - The Mobility Data Analytics Era -- Uncovering hidden concepts from AIS data: A network abstraction of maritime traffic for anomaly detection -- Nowcasting Unemployment Rates with Smartphone GPS data -- Online long-term trajectory prediction based on mined route patterns -- EvolvingClusters: Online Discovery of Group Patterns in Enriched Maritime Data -- Prospective Data Model and Distributed Query Processing for Mobile Sensing Data Streams -- Predicting Fishing Effort and Catch Using Semantic Trajectories and Machine Learning -- A Neighborhood-augmented LSTM Model for Taxi-Passenger Demand Prediction -- Multi-Channel Convolutional Neural Networks for Handling Multi-Dimensional Semantic Trajectories and Predicting Future Semantic Locations.…”
Link to Metadata

Humanistic Governance in Democratic Organizations The Cooperative Difference /

विषय - सूची: “…Introduction -- Part 1 -- Humanism and the cooperative enterprise - theoretical foundations -- Parsing dignity for organizations -- Cooperative governance in context -- Part 2 -- Humanism and democracy in worker cooperatives -- Democratic cooperative governance: understanding the roles of the governing bodies -- Governance in Lincolnshire Consumer Cooperative -- Comparing governance systems in Cuban cooperatives: a study of producer and worker cooperatives in agriculture, industry and services -- From theory to practice: social capital in agricultural cooperatives in Flanders, Belgium -- The governance of multistakeholder cooperatives in Mondragon: The evolving relationship among purpose, structure, and process -- Networking, governance, and stakeholder engagement of financial cooperatives: some national case studies -- Part 3 -- Decades of radical self-management at a Venezuelan cooperative: Institutional distinctiveness and ideology -- Transformational resilience and future-ready cooperative governance systems -- Measuring transformational impact of cooperatives.…”
Link to Metadata

Developmental State Building The Politics of Emerging Economies /

विषय - सूची: “…1 Introduction: The Nexus of Developmental Policy and State Building(Yusuke Takagi, Veerayooth Kanchoochat and Tetsushi Sonobe) -- 2 Development state evolving: Japan's graduation from a middle income country(Tetsuji Okazaki) -- 3 Tigers at Critical Junctures: How South Korea, Taiwan and Singapore Survived Growth-led Conflicts(Veerayooth Kanchoochat) -- 4 Reemerging Developmental State in Democratized Indonesia(Yuri Sato) -- 5 Boundaries of nationalism under globalization: Reviewing developmental state building in Malaysia and Ethiopia(Yusuke Takagi and Khoo Boo Teik) -- 6 Development and Developmentalism in Post-Genocide Rwanda(Shinichi Takeuchi) -- 7 Growth Policy and Regional Balance: Developmental State-Building in Myanmar(Toshihiro Kudo and Satoru Kumagai) -- 8 Devolution and Local Development in Emerging States: The Case of Kenya (Tomoya Matsumoto) -- 9 Conclusion (Tetsushi Sonobe) -- Index.…”
Link to Metadata

The Environmental Politics and Policy of Western Public Lands

विषय - सूची: “…-- Western Public Land Law and the Evolving Management Landscape -- Rangeland Policy and Management in a Changing West -- II. …”
Access online version

Counter Unmanned Aircraft Systems Technologies and Operations द्वारा Nichols, Randall K., Mumm, Hans C., Lonstein, Wayne D., Ryan, Julie J.C.H, Carter, Candice

विषय - सूची: “…Front Matter -- Foreword -- Chapter 1 - The Role of Information Technology -- Chapter 2 - Understanding C-UAS Purpose and Process -- Chapter 3 - Developing a C-UAS Strategy Goals, Options, Target Analyses, Process Selection, Operational Metrics Approaches to Countering UAS Activities (First Principles) -- Chapter 4 - Planning for Resiliency and Robustness -- Chapter 5 - Surveillance and Reconnaissance -- Chapter 6 - C-UAS Evolving Methods of Interdiction -- Chapter 7 - UAS Area / Airspace denial -- Chapter 8 - Emerging Interdiction Technologies -- Chapter 9 - Non-Kinetic: Military Avionics, EW, CW, DE, SCADA Defenses -- Chapter 10 - When the Other Side Fights Back - Cyberwarfare, Directed Energy Weapons, Acoustics, Integrating C-UAS into Planning -- Chapter 11 - Thinking Like the Enemy: Seams in the Zone -- Chapter 12 - C-UAS Regulation, Legislation, & Litigation from a Global Perspective…”
Access online version

Bending the Curve Climate Change Solutions

विषय - सूची: “…Part I Concepts and Solutions -- 1 Climate Change -- 2 Humans, Nature, and the Quest for Climate Justice -- 3 Climate Change and Human Health -- 4 Overview of the Ten Solutions for Bending the Curve -- Part II Ten Solutions -- 5 Your Leadership: Social Movements and Social Solutions to Climate Change -- 6 Social Transformation: Changing Attitudes, Norms, and Behaviors -- 7 Religion, Ethics, and Climate Change -- 8 Communicating Climate Change Science -- 9 Lessons from California -- 10 The Paris Agreement and Its Implementation -- 11 Economics: Emissions, Impacts, and Policy -- 12 Cost-Effective Climate Policies -- 13 Two Evolving Energy Technology Pathways -- 14 Environmentally Sustainable Transportation -- 15 Technologies for Super Pollutants Mitigation -- 16 Enhancing Carbon Sinks in Natural and Working Lands -- Part III Current Topics -- 17 Sea Level Rise from Melting Ice -- 18 Atmospheric Carbon Extraction: Scope, Available Technologies, and Challenges -- 19 Local Solutions…”
Access online version

The Pangenome Diversity, Dynamics and Evolution of Genomes /

विषय - सूची: “…Part 1: Genomic diversity and the pan-genome concept -- Chapter 1: The pan-genome: a data-drivendiscovery in biology -- Chapter 2: The prokaryotic species concept and challenges -- Chapter 3: Bacterial guide on how to design a diversified gene portfolio -- Chapter 4: A review of pan-genome tools and recent studies -- Part 2: Evolutionary biology of pan-genomes -- Chapter 5: Structure and dynamics of bacterial populations: pan-genome ecology -- Chapter 6: Bacterial microevolution and the pan-genome -- Chapter 7: Pan-genomes and selection: the public goods hypothesis -- Chapter 8: A pan-genomic perspective on the emergence, maintenance and predictability of antibiotic resistance -- Part 3: Pan-genomics: an open, evolving discipline -- Chapter 9: Metapangenome: at the crossroad of pangenomics and metagenomics -- Chapter 10: Pan-genome flux balance analysis towards pan-phenomes -- Chapter 11: Bacterial epigenomics: epigenetics in the age of population genomics -- Chapter 12: Eukaryotic pan-genomes -- Chapter 13: Computational strategies for eukaryotic pan-genome analyses.…”
Link to Metadata

Statistical Population Genomics

विषय - सूची: “…-Ancestral Population Genomics with Jocx, A Coalescent Hidden Markov Model -- Coalescent Simulation with sprime -- Inference of Ancestral Recombination Graphs using ARGweaver -- Population Genomics of Transitions to Selfing in Brassicaceae Model Systems -- Genomics of Long- and Short- Term Adaptation in Maize and Teosinte -- Neurospora from Natural Populations: Population Genomics Insights Into the Life History of a Model Microbial Eukaryote -- Population Genomics of Fungal Plant Pathogens and the Analyses of Rapidly Evolving Genome Compartments -- Population Genomics on the Fly: Recent Advances in Drosophila -- Genomic Access to the Diversity of Fishes -- Avian Population Genomics Taking Off: Latest Findings and Future Prospects -- Population Genomics of the House Mouse and the Brown Rat -- Population Genomics in the Great Apes.…”
Link to Metadata

Risk Management for Enterprises and Individuals द्वारा Baranoff, Etti, Brockett, Patrick Lee, Kahane, Yehuda

विषय - सूची: “…Chapter 1: The Nature of Risk: Losses and Opportunities -- Chapter 2: Risk Measurement and Metrics -- Chapter 3: Risk Attitudes: Expected Utility Theory and Demand for Hedging -- Chapter 4: Evolving Risk Management: Fundamental Tools -- Chapter 5: The Evolution of Risk Management: Enterprise Risk Management -- Chapter 6: The Insurance Solution and Institutions -- Chapter 7: Insurance Operations -- Chapter 8: Insurance Markets and Regulation -- Chapter 9: Fundamental Doctrines Affecting Insurance Contracts -- Chapter 10: Structure and Analysis of Insurance Contracts -- Chapter 11: Property Risk Management -- Chapter 12: The Liability Risk Management -- Chapter 13: Multirisk Management Contracts: Homeowners -- Chapter 14: Multirisk Management Contracts: Auto -- Chapter 15: Multirisk Management Contracts: Business -- Chapter 16: Risks Related to the Job: Workers' Compensation and Unemployment Compensation -- Chapter 17: Life Cycle Financial Risks -- Chapter 18: Social Security -- Chapter 19: Mortality Risk Management: Individual Life Insurance and Group Life Insurance -- Chapter 20: Employment-Based Risk Management (General) -- Chapter 21: Employment-Based and Individual Longevity Risk Management -- Chapter 22: Employment and Individual Health Risk Management -- Chapter 23: Cases in Holistic Risk Management…”
Access online version

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

विषय - सूची: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Forced Migration and Separated Families Everyday Insecurities and Transnational Strategies /

विषय - सूची: “…Forced Migration and Evolving Responses to Queer Identity in the Muslim Family.…”
Link to Metadata

EU-Turkey Relations Theories, Institutions, and Policies /

विषय - सूची: “…The European Council as a Key Driver of EU-Turkey Relations: Central Functions Internal Dynamics and Evolving Preferences -- Chapter 9. The European Commusion's Role in EU-Turkey Relations -- Chapter 10. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

विषय - सूची: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

Smart Cities Social and Environmental Challenges and Opportunities for Local Authorities /

विषय - सूची: “…Smart Cities from an Indian Perspective: Evolving Ambitions and Incorporating Sustainable Practices.…”
Link to Metadata

Sustainable Qatar Social, Political and Environmental Perspectives /

विषय - सूची: “…Sustainable Qatar -- Chapter 2. The Evolvement of Qatar's Environmental Sustainability Policy: The Strategies, Regulations, and Institutions -- Chapter 3. …”
Link to Metadata

Trajectories of Memory Excavating the Past in Indonesia /

विषय - सूची: “…Minangkabau Silek Harimau: Evolving Oral Traditions, Performance and Choreography -- Part III. …”
Link to Metadata

The Science of Citizen Science

विषय - सूची: “…Editorial - The Science of Citizen Science Evolves -- Chapter 1: What Is Citizen Science? The Challenges of Definition -- Chapter 2: Citizen Science in Europe -- Part I: Citizen Science as Science -- Chapter 3: Science as a Commons: Improving the Governance of Knowledge through Citizen Science -- Chapter 4: Citizen Science in the Natural Sciences -- Chapter 5: Citizen Humanities -- Chapter 6: Citizen Social Science: New and Established Approaches to Participation in Social Research -- Chapter 7: Data Quality in Citizen Science -- Chapter 8: A Conceptual Model for Participants and Activities in Citizen Science Projects -- Chapter 9: Machine Learning in Citizen Science: Promises and Implications -- Chapter 10: Participation and Co-creation in Citizen Science -- Chapter 11: Citizen Science, Health, and Environmental Justice -- Part II: Citizen Science in Society -- Chapter 12: Participants in Citizen Science -- Chapter 13: Inclusiveness and Diversity in Citizen Science -- Chapter 14: Learning in Citizen Science Chapter -- Chapter 15: Citizen Science Case Studies and Their Impacts on Social Innovation -- Chapter 16: Science as a Lever: The Roles and Power of Civil Society Organisations in Citizen Science -- Chapter 17: Citizen Science and Policy -- Chapter 18: Creating Positive Environmental Impact through Citizen Science -- Chapter 19: Ethical Challenges and Dynamic Informed Consent -- Part III: Citizen Science in Practice -- Chapter 20: Finding What You Need: A Guide to Citizen Science Guidelines -- Chapter 21: Citizen Science Platforms -- Chapter 22: Citizen Science in the Digital World of Apps -- Chapter 23: Communication and Dissemination in Citizen Science -- Chapter 24: Evaluation in Citizen Science: The Art of Tracing a Moving Target Part IV: Conclusions / Lessons Learnt -- Chapter 25: The Recent Past and Possible Futures of Citizen Science: Final Remarks. .…”
Link to Metadata

BUiD Doctoral Research Conference 2022 Multidisciplinary Studies /

विषय - सूची: “…The Knowledge-Evolving Project: Fundamentals to a Complete Project Knowledge Management Discipline -- The Impact of Macroeconomic Factors on the Nifty Auto index -- Ensuring the Fourth Industrial Revolution's Connectivity Requirements in the UAE -- Enhancing Products Delivery through the application of a New Innovative Operating Model based on Hybrid Agile Methodology: Case Information Communication Technologies "ICT" Service Providers -- Successful Practices of Leadership on School Improvement: A Case Study in a Private School in Dubai -- Educating Learners with SEND in One Private Mainstream School in Dubai: Effectiveness and Challenges of Policy Implementation -- The Role of Lexical Cohesion in Improving Twelfth Graders Essay Writing Quality -- Examining Critical Thinking Skills Profile of High School Students in AP Chemistry Learning -- Moving from the Subject-Based Curriculum to the Skills-Based Curriculum in Abu Dhabi Schools: Does it lead to reform? …”
Link to Metadata

Tourism and Conservation-based Development in the Periphery Lessons from Patagonia for a Rapidly Changing World /

विषय - सूची: “…Tensions between tourism, protected area environmental conservation, and indigenous territorial rights in the Pewenche Andes -- 11. Evolving models of tourism planning and use in protected areas of Chilean Patagonia -- 12. …”
Link to Metadata

The Future of Election Administration Cases and Conversations /

विषय - सूची: “…How an Election Administration Student Evolved into an Election Professional -- 18. Observations and Lessons from Election Administration in Nigeria -- 19. …”
Link to Metadata