Results 101 to 110 of about 13,143,476 (301)
From mice to humans—divergent strategies for intestinal homeostasis and regeneration
FEBS Letters, EarlyView.Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa +2 more
wiley +1 more source
FEBS Letters, EarlyView.CT10 regulator of kinase (CRK) and CRK‐Like (CRKL) are signaling adaptors driving cell adhesion, motility, differentiation, and proliferation. SH2‐domain containing (SH) proteins are enriched in YXXP motifs which when phosphorylated create preferred binding sites for CRK family SH2 domains.
Phoebe M. Cousens +8 more
wiley +1 more source
, 2007 itives j A B j !A Exponentials We now reconsider the quanti ers, 8x: A and 9x: A. In the rst-order linear logic we developed, the quanti ers range over a single (unspeci ed) domain.
Linear Type Theory, J A (a J A
core
Reconstructing enzyme evolution by protein engineering
FEBS Letters, EarlyView.Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler +2 more
wiley +1 more source
A Type Theory with Partially Defined Functions [PDF]
, 2005 Only can totally defined functions be introduced in conventional dependently typed systems and such functions are normally defined by eliminators. Because of the limitation of the elimination rules, many (mathematical) functions cannot be defined in ...
Luo, Yong
core
Applications of type theory [PDF]
, 1993 The paper discusses the setting of type theory and proposes a uniform framework for disciplines of declarations and types. The framework combines fundamental concepts found in the setting of type theory and supports both its denotational and its constructive view.
openaire +1 more source
Conserved binding mode but diverse interfaces of MreC‐PBP2 interactions
FEBS Letters, EarlyView.The crystal structure of abMreC reveals a conserved two β‐barrel architecture and provides structural insights into its role within the bacterial elongasome. The abMreC–abPBP2 complex model identifies the molecular basis of MreC‐mediated PBP2 recognition, contributing to the regulation of peptidoglycan synthesis.
Hyunseok Jang +4 more
wiley +1 more source
The perceiving process and mystical orientation : an empirical study in psychological type theory among participants at the parliament of the world's religions [PDF]
, 2012 A sample of 580 participants attending the Parliament of the World’s Religions in Barcelona 2004 completed the Francis-Louden Mystical Orientation Scale together with a measure of psychological type (the Francis Psychological Type Scales) in order to ...
Robbins, Mandy +2 more
core
Links between homotopy theory and type theory [PDF]
, 2014 International audienceThis short note reviews the relations between homotopy theory and type theory, especially the similarity between paths in homotopy and proofs of equality in type ...
Bertot, Yves
core +2 more sources
Structure‐forward targeting of claudins with synthetic binders
FEBS Letters, EarlyView.Claudins form the paracellular barriers between epithelial and endothelial tissues at tight junctions and are targets for molecular binders with the goal of modulating barrier permeability. Claudin‐binding molecules are relevant in drug delivery or in altering claudin interactions with disease‐causing proteins.
Alex J. Vecchio
wiley +1 more source