Search Results - 宁波~

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

Researching Central Asia Navigating Positionality in the Field /

Table of Contents: “…Navigating AcademicRepression in Central Asia (Ruslan Norov) -- Chapter 10. Performative Heterosexuality: A Gay Researcher Doing Fieldwork in Central Asia (Marius Honig) -- Chapter 11. …”
Link to Metadata

Trade and Women's Economic Empowerment Evidence from Small and Medium-Sized Enterprises / by Samy, Yiagadeesen, Adedeji, Adeniran, Iraoya, Augustine, Dutta, Madhurjya Kumar, Fakmawii, Jasmine Lal, Hao, Wen

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Trade and Women's Economic Empowerment: Survey Results for SMEs Across Six Developing Countries -- Chapter 3: Trade and Women's Economic Empowerment: Qualitative Analysis of SMEs from Cambodia and Vietnam -- Chapter 4: Trade and Women's Economic Empowerment: Qualitative Analysis of SMEs from Ghana, Madagascar, Nigeria, and Senegal -- Chapter 5: Conclusion.…”
Link to Metadata

Knowledge and Digital Technology

Table of Contents: “…Chapter 1. Introduction -- Part I: Technology, Governance and Markets -- Chapter 2. …”
Link to Metadata

Is it French? Popular Postnational Screen Fiction from France

Table of Contents: “…National and Postnational Femininity in Engrenages: The Limits of Empowerment -- 10. Camille Cottin: A Comic Reappropriation of French Femininity in a Globalised, Postfeminist Culture -- Part IV Industry Players: From Product to Brand -- 11. …”
Link to Metadata

Smart and Sustainable Planning for Cities and Regions Results of SSPCR 2022 /

Table of Contents: “…Matthias Haase and Thaleia Konstantinou -- 2.Multicriteria spatial economic decision support systems to support Positive Energy District: a literature review. …”
Link to Metadata

Quantitative Sustainability Interdisciplinary Research for Sustainable Development Goals /

Table of Contents: “…-Laboratory structure -- The blue planet and the ocean sustainable economy -- Food security and the health of the planet and its inhabitants -- Climate and environmental changes -- The new data science for sustainability and huiman ecology -- Energy transition and indiustrial product chains -- Sustainability frames and social equity and the right to sustainability -- Protection of the Earth habitats with Space tools.…”
Link to Metadata

Artificial Intelligence and Machine Learning in Health Care and Medical Sciences Best Practices and Pitfalls /

Link to Metadata

Conservation in Chilean Patagonia Assessing the State of Knowledge, Opportunities, and Challenges /

Table of Contents: “…An integrated conservation vision for Chilean Patagonia -- Global change and acceleration of anthropic pressures on Patagonian ecosystems -- Representativeness assessment and identification of priorities for the protection of terrestrial ecosystems in Chilean Patagonia -- Terrestrial protected areas in Chilean Patagonia: characterization, historical evolution, and management -- Conserving the origin of rivers: intact forested watersheds in western Patagonia -- Peatlands in Chilean Patagonia: distribution, biodiversity, ecosystem services, and conservation -- Steppe ecosystems in Chilean Patagonia: distribution, climate, biodiversity, and threats to their sustainable management -- Coastal-marine protection in Chilean Patagonia: historical progress, current situation, and challenges -- Marine mammals and seabirds of Chilean Patagonia: focal species for the conservation of marine ecosystems -- Hard bottom macrobenthos of Chilean Patagonia: emphasis on conservation of subltitoral invertebrate and algal forests -- Fisheries and marine conservation in Chilean Patagonia -- Aquaculture and its impacts on the conservation of Chilean Patagonia -- Ecological connections across the marine-terrestrial interface in Chilean Patagonia -- A conservation assessment of freshwater ecosystems in southwestern Patagonia -- Chilean Patagonian glaciers and environmental change -- Conservation and indigenous people in Chilean Patagonia -- Drivers of change in ecosystems of Chilean Patagonia: current and projected trends -- Analysis of tourism development linked to protected areas in Chilean Patagonia.…”
Link to Metadata