Search Results - 種痘~

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

Link to Metadata

Population Dynamics in the Mediterranean A Demographic Convergence? / by Doignon, Yoann, Blöss-Widmer, Isabelle, Ambrosetti, Elena, Oliveau, Sébastien

Table of Contents: “…Introduction Chapter 1: Spatial distribution of population and urbanisation -- Chapter 2: Sex ratio, age structure, and population ageing -- Chapter 3: The various of demographic transitions -- Chapter 4: Fertility intensity and timing -- Chapter 5: Family formation and dissolution -- Chapter 6: Mortality profiles -- Chapter 7: The Mediterranean migration system -- Chapter 8: Population dynamics and their components -- Chapter 9: Conclusion. …”
Link to Metadata

Closing Rice Yield Gaps in Asia Innovations, Scaling, and Policies for Environmentally Sustainable Lowland Rice Production /

Table of Contents: “…Chapter 1: Introduction-How Swiss Foreign Aid for International Development Benefits Agricultural Development across Asia -- Chapter 2: Environmental, social and economic challenges in lowland rice production -- Chapter 3: Faunal Biodiversity in Rice-dominated Wetlands-an Essential Component of Sustainable Rice Production -- Chapter 4: Innovations, Technologies, and Management Practices for Sustainable Rice Production -- Chapter 5: Carbon Footprint Reduction from Closing Rice Yield Gaps -- Chapter 6: Partnerships and Approaches Used for Scaling: An Assessment of the Process for Rice Postharvest Technologies in CORIGAP -- Chapter 7: Incentive Mechanisms, Monitoring and Evaluation, and Communication of the CORIGAP Project.…”
Link to Metadata

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

Table of Contents: “…Values, conflicts, and discourses and the global 30X30 initiative: A case study of Tompkins Conservation initiatives in Patagonia -- 10. …”
Link to Metadata

Postdigital Participation in Education How Contemporary Media Constellations Shape Participation /

Table of Contents: “…Chapter 1: Postdigital Participation in Education: An Introduction -- Part 1: Mapping the Postdigital Condition in Education -- Chapter 2: Participation as a Key Principle of Education for Sustainable Development in the Postdigital Era -- Chapter 3: Social Participation in a Postdigital-Biodigital Age -- Chapter 4: Postdigital Bildung as a Guiding Principle to Foster Inclusion in Educational Media -- Chapter 5: Distance Learning and the Question of Educational Justice: A Dialogic Approach to Digital Diversity in Schools -- Part 2 : Performing and Reflecting on the Postdigital Condition with Learners -- Chapter 6: Learning Academic Practices: Enabling Students to Participate in a Postdigital Society -- Chapter 7: Expanding the Pedagogical Space: Co-design and Participation in an Online Postgraduate Course -- Chapter 8: Let's Figure it Out: Participatory Methods for Reflecting on Educational Media in a Postdigital World -- Chapter9: From Official Document Utopias to a Collective Utopian Imagination -- Chapter 10: Asynchronous Narrative Audio-Messages: An Internet-based Qualitative Method for Data Collection in International Research -- Chapter 11: Postdigital Participation in Education-a Postscript.…”
Link to Metadata

New Horizons in Systemic Practice with Children and Families

Table of Contents: “…1. Editors Introduction -- 2. Systemic Approaches to Safeguarding Children's Rights through Parental Separation and Divorce: Opening Spaces for Childhood to Continue -- 3. …”
Link to Metadata

The Wheat Genome

Table of Contents: “…Introduction -- IWGSC RefSeq bread wheat reference genome sequence -- Wheat genomic resources and their role in wheat research -- Wheat genome structural and functional annotation -- The wheat transcriptome and discovery of functional gene networks -- Genome-wide resource development to accelerate gene discovery and functional analysis in wheat -- Genome-editing technology applications in wheat breeding -- Wheat genetic diversity explored through genomic approaches -- Dawn of the wheat pangenome: sequencing the genomes of 10+ elite lines -- Sequencing ancient wheat to illuminate the history of domestication -- Genome sequences from diploids and wild relatives of wheat for comparative genomics and alien Introgressions -- The impact of the durum wheat genome in identifying new germplasm for breeding -- Haplotype mapping in globally diverse germplasm for genomic-assisted wheat breeding -- Genome-informed discovery of genes and association with wheat traits -- Genomic insights on global journeys of adaptive wheat genes that brought us to modern wheat -- Genomic selection in wheat utilizing the reference sequence -- Rapid cloning of disease resistance genes in wheat. .…”
Link to Metadata

Racial and Ethnic Residential Segregation Across the United States New Approaches to Understanding Trends and Patterns / by Crowell, Amber R., Fossett, Mark A.

Table of Contents: “…Segregation in Rural Nonmetropolitan Communities (High D Low S) special case analysis -- 10. Latino and Asian Subgroups(with additional co-author Wenquan Zhang) -- 11. …”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Fashion Communication in the Digital Age Proceedings of the FACTUM 23 Conference, Pisa, Italy, 2023 /

Link to Metadata

Proceedings of the XV Ibero-American Congress of Mechanical Engineering CIBIM 22 / CIBEM 22 /

Link to Metadata

Living with Nature, Cherishing Language Indigenous Knowledges in the Americas Through History /

Table of Contents: “…Cenotes and placemaking in the Maya world: biocultural landscapes as archival spaces -- 11. Nakua nukuu ini Ñuu Savi: Nakua jíno, nakua ka'on de nakua sa'on ja kuatyi Koo Yoso. …”
Link to Metadata

(Re)theorising More-than-parental Involvement in Early Childhood Education and Care

Table of Contents: “…Sadownik) -- Chapter 5. Together, we can do more for our children. ECEC's collaboration with families in light of social capital theory (Adrijana Višnjić Jevtić) -- Chapter 6. …”
Link to Metadata

Ethics of Socioeconomics Critical Observations on Capitalism through the Lens of a Lawyer / by Byttebier, Koen

Table of Contents: “…Conceptualization and sense of reality of some new, legal models for conducting an enterprise -- Chapter 8. Final Conclusions I: Capitalism as an unjust system of socio-economic order -- Chapter 9. …”
Link to Metadata

PeaceTech: Digital Transformation to End Wars by Bell, Christine

Table of Contents: “…-- 2 PeaceTech: What Is It? -- 3 PeaceTech Technologies -- 4 PeaceTech Drivers -- 5 Double Disruption -- Part II Doing PeaceTech -- 6 PeaceTech Ecosystem -- 7 Doing One Thing -- 8 PeaceTech as Hack -- 9 Conflict Early Warning Systems -- 10 Peace and Space -- 11 Peace Analytics -- Part III PeaceTech Challenges -- 12 Doing PeaceTech -- 13 Ethics and Morals -- 14 PeaceTech Futures.…”
Link to Metadata

Lived Institutions as History of Experience

Table of Contents: “…1. Experience, Institutions, and the Lived Welfare State; Johanna Annola, Hanna Lindberg, and Pirjo Markkola -- Part I Encounters with Institutions -- 2. …”
Link to Metadata

Organization in Biology

Table of Contents: “…-- Part2: Origins of Life -- A Structuralist Revival for Studies on the Origins of Life and Developmental Evolution -- On the Evolutionary Development of Biological Organization from Complex Prebiotic Chemistry -- Development -- An Organizational View on Development, with a Focus on Life Cycles -- Modelling Mammary Organogenesis from Biological First Principles: Cells and Organization of Constraints -- Part 4: Evolution -- Extended Heredity and the Return of Organizational Thinking in Evolutionary Biology -- Collaboration and the Evolution of Biological Complexity: AnOrganizational Perspective -- Organisms: Between a Kantian Approach and a Liberal Approach -- Part 5: Ecology -- Individuating Ecosystems by Ascribing Functions to their Parts -- Ecological Functions and Environmental Ethics -- Part 6: Theoretical Biology -- Studying Functional Organization with Systems Theory -- Organizational Principles of Autonomy -- On Taking an Organizational Approach to Cognition -- Biological Organization at the Crossroads between Conservation and Innovation.…”
Link to Metadata

Progress in Landslide Research and Technology, Volume 2 Issue 1, 2023

Table of Contents: “…Part I: ICL Landslide Lesson -- Sliding-surface liquefaction and undrained steady-state shear strength -- Identification and Mitigation of Reservoir Landslides Cases Studied in the Three Gorges Reservoir Area of China -- Part II: Original articles -- Impact of input data on the quality of the landslide susceptibility large-scale maps: A case study from NW Croatia -- Landslide warning systems in high-income countries: past accomplishments and expected endeavours -- Modelling of Landslide-Structure Interaction (LSI) through Material Point Method (MPM) -- Landslide Research and Technology in International Standards -- Mathematical and numerical modeling of slope stability for the Mong Sen landslide event in the Trung Chai commune, Sapa, Vietnam -- Landslide early warning system based on the empirical approach - Case study in Ha Long City (Vietnam) -- The modern activity of the Buzulgan landslide and its influence on the debris flow hazard for the Tyrnyauz town (Northern Caucasus, Russia) -- A risk evaluation method of unstable slopes using multipoint tilting sensors -- Part III: IPL/WCOE/KLC2020 -- Community Level Slope Disaster Risk Reduction Program through Multi-Scale Mapping by Mountain Ethnic Group in Northern Vietnam - Project Study by JICA / Lao Cai DARD / ITST -- Landslide Risk Assessment in the tropical zone of Vietnam as a contribution to the mitigation of natural disaster vulnerability -- Protection and conservation of Georgian rupestrian cultural heritage sites: a review -- Spatial and temporal characterization of landslide deformation pattern with Sentinel-1 -- Lessons from 2019-2020 landslide risk assessment in an urban area of volcanic soils in Pereira-Colombia -- Part IV: ICL Landslide Teaching Tools -- Zonation of landslide susceptibility in the Gipuzkoa province (Spain): an application of LAND-SUITE -- Landslide and soil erosion inventory mapping based on high-resolution remote sensing data: A case study from Istria (Croatia) -- Part V: Technical Notes and Case Studies -- Landslide monitoring with RADARSAT Constellation Mission InSAR, RPAS-derived point-clouds and RTK GNSS time-series in the Thompson River Valley, British Columbia, Canada -- Digital terrain models derived from unmanned aerial vehicles and landslide susceptibility -- Use of GIS to assess susceptibility per landform unit to gravitational processes and their volume.…”
Link to Metadata