Results 131 to 140 of about 2,511,435 (296)
Inductive Synthesis of Inductive Heap Predicates
Proceedings of the ACM on Programming LanguagesWe present an approach to automatically synthesise recursive predicates in Separation Logic (SL) from concrete data structure instances using Inductive Logic Programming (ILP) techniques. The main challenges to make such synthesis effective are (1) making it work without negative examples that are required in ILP but are difficult to ...
Ziyi Yang 0004, Ilya Sergey
openaire +2 more sources
Microbiome‐blood–brain barrier interactions in aging — mechanisms and therapeutic potential
FEBS Letters, EarlyView.Aging reshapes the gut microbiome (↓SCFA‐producing commensals; ↑pro‐inflammatory outputs), shifting circulating metabolites (↓SCFAs; ↑LPS, ↑TMAO, ↑PAA) that act at the BBB to increase nonspecific transcytosis, alter transport, and promote astrocyte reactivity, heightening brain vulnerability.
Daniel Cuervo‐Zanatta +3 more
wiley +1 more source
"Forward induction and the excess capacity puzzle: An experimental investigation" [PDF]
While the theoretical industrial organization literature has long argued that excess capacity can be used to deter entry into markets, there is little empirical evidence that incumbent firms effectively behave in this way.
Gary Charness +2 more
core +2 more sources
An epithelial GPR35 isoform supports tumor‐associated transcriptional and metabolic phenotypes
FEBS Letters, EarlyView.GPR35 generates two functionally distinct isoforms with previously unresolved roles. GPR35‐short mediates immune‐cell chemotaxis, while GPR35‐long is enriched in colorectal cancer epithelium, where it supports increased metabolism, proliferation, and tumor‐associated transcriptional programs.
Jørgen D. Rønneberg +14 more
wiley +1 more source
A Syntax for Higher Inductive-Inductive Types.
, 2018 Higher inductive-inductive types (HIITs) generalise inductive types of dependent type theories in two directions. On the one hand they allow the simultaneous definition of multiple sorts that can be indexed over each other. On the other hand they support equality constructors, thus generalising higher inductive types of homotopy type theory.
Ambrus Kaposi, András Kovács
openaire +3 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
Discerning protein pools by selective staining with self‐labeling tags
FEBS Letters, EarlyView.Cell surface proteins have an intra‐ and extracellular pool. Combining genetic fusion to self‐labeling tags that can be addressed with small molecule fluorophores allows separating these pools. We highlight recent developments and techniques for state‐of‐the‐art interrogation of cell surface proteins in the complex tissue setting.
Kati Fischermanns, Johannes Broichhagen
wiley +1 more source
Journal of Insect Science, 2002 Secreted ferritin in the mosquito, Aedes aegypti, has several subunits that are the products of at least two genes, one encoding a homologue of the vertebrate heavy chain (HCH) and the other the light chain homologue (LCH).
Boris C. Dunkov +4 more
doaj
Peripheral lysosomes recruit PLEKHG3 to focal adhesions and restrain protrusion dynamics
FEBS Letters, EarlyView.Proximity‐dependent labeling at the LAMTOR complex revealed the Rho GEF PLEKHG3 as a lysosome‐proximal protein directing the study toward the influence of lysosome positioning on actin dynamics and cell motility. We show that PLEKHG3 colocalizes with lysosomes at focal adhesion sites and observe that forced peripheral dispersion of lysosomes hinders ...
Rainer Ettelt +8 more
wiley +1 more source
Engineering peptides into antibodies—opportunities and strategies for therapeutic innovation
FEBS Letters, EarlyView.Peptides and antibodies occupy complementary therapeutic niches. Peptides recognize difficult targets in a compact format, while antibodies add specificity, long half‐life, and effector functions. This review examines strategies that merge both modalities—peptide grafting into loops, terminal and Fc fusions, and bioconjugation—highlighting how ...
Jinling Wang +2 more
wiley +1 more source