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

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

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

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

Researching with Proximity Relational methodologies for the Anthropocene /

Table of Contents: “…Being Corpus: The tourist body as place, touch and departure (AyA Autrui) -- Chapter 5. …”
Link to Metadata

A Circular Built Environment in the Digital Age

Table of Contents: “…Introduction -- Introducing Perspective -- Part I. Data -- Chapter 1. From Building Information Modeling to Digital Twins: Digital representation for a Circular Economy -- Chapter 2. …”
Link to Metadata

Quantifying Climate Risk and Building Resilience in the UK

Table of Contents: “…Chapter 1 Introducing the UK Climate Resilience Programme -- Chapter 2 Climate Resilience: interpretations of the term and implications for practice -- Chapter 3 Towards a step change in co-production for climate resilience -- Chapter 4 Learning from organisational embedding for climate resilience -- Chapter 5 Putting climate resilience in its place: developing spatially literate climate adaptation initiatives -- Chapter 6 Learning from arts and humanities approaches to building climate resilience in the UK -- Chapter 7 What have we learnt from the climate service projects delivered through the UK Climate Resilience Programme? …”
Link to Metadata

The Palgrave Handbook of South-South Migration and Inequality

Table of Contents: “…1. South-South Migration, Inequality and Development: An Introduction -- PART I Conceptualising South-South Migration -- 2. …”
Link to Metadata

Using Social Theory in Higher Education

Table of Contents: “…Low -- Chapter 10 The Foggy Window: Passive empathy and the fight for testimonial reading in neoliberal higher education -- Chapter 11 Performing empathy with neoliberalism, or Kendall Jenner on the streets, Thomas Gradgrind in the sheets: a response to Lauren Weber -- Chapter 12 Understanding higher education enrolment through Michel Foucault's biopolitics -- Chapter 13 Students, biopolitics, and state racism: a response to Ren-Hao Xu -- Chapter 14 Wrestling with monsters: critique, climate change, and comets -- Chapter 15 Still wrestling with monsters: a response to Pat Norman -- Chapter 16 Dialogues between activist knowledge and Southern Theory -- Chapter 17 Approximate Geographies: a response to José Fernando Serrano Amaya -- Chapter 18 The historian as pedagogue: on Hayden White's practical past -- Chapter 19 What stories to tell: a response to Remy Low -- Chapter 20 The good university? …”
Link to Metadata

Cultural Change in Post-Migrant Societies Re-Imagining Communities Through Arts and Cultural Activities /

Table of Contents: “…Part I: How to conceive change: Theoretical and methodological considerations -- Chapter 1. …”
Link to Metadata

Stochastic Transport in Upper Ocean Dynamics II STUOD 2022 Workshop, London, UK, September 26-29 /

Table of Contents: “…Internal tides energy transfers and interactions with the mesoscale circulation in two contrasted areas of the North Atlantic -- Sparse-stochastic model reduction for 2D Euler equations -- Effect of Transport Noise on Kelvin-Helmholtz instability -- On the 3D Navier-Stokes Equations with Stochastic Lie Transport -- On the interactions between mean flows and inertial gravity waves in the WKB approximation -- Toward a stochastic parameterization for oceanic deep convection -- Comparison of Stochastic Parametrization Schemes using Data Assimilation on Triad Models -- An explicit method to determine Casimirs in 2D geophysical flows -- Correlated structures in a balanced motion interacting with an internal wave -- Linear wave solutions of a stochastic shallow water model -- Analysis of Sea Surface Temperature variability using machine learning -- Data assimilation: A dynamic homotopy-based coupling approach -- Constrained random diffeomorphisms for data assimilation -- Stochastic compressible Navier-Stokes equations under location uncertainty -- Data driven stochastic primitive equations with dynamic modes decomposition.…”
Link to Metadata