Results 51 to 60 of about 15,524 (267)
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe give a method of constructing an interpolant for linear equality, and inequality constraints over the rational numbers. Our method is based on efficient rewriting techniques, and does not require the use of combination methods. The interpolant is constructed in such a way that it reflects the structure of the rewrite proof.
Christopher Lynch, Yuefeng Tang
openaire +1 more source
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
Una bella història ...o dues? A l’entorn de la reescriptura d’un poemari de Miquel Bauçà
Catalonia, 2023 In 1987, Empúries published Obra Poètica 1959-1983 by Miquel Bauçà (Felanitx, 1940 – Barcelona, 2005). The volume included a new unpublished version of Una bella història, a collection originally released in 1962 and rewritten in heptasyllabic verse in ...
Pere Rosselló Bover
doaj +1 more source
Rewriting Strategies and Strategic Rewrite Programs [PDF]
, 2015 This survey aims at providing unified definitions of strategies, strategic rewriting and strategic programs. It gives examples of main constructs and languages used to write strategies. It also explores some properties of strategic rewriting and operational semantics of strategic programs. Current research topics are identified.
openaire +2 more sources
The human gut microbiome across the life course
FEBS Letters, EarlyView.Despite significant individual variation and continuous change throughout life, the human gut microbiome follows some life stage‐specific trends. This article provides a brief overview of how gut microbiome composition shifts across different phases of life. Created in BioRender. Özkurt, E. (2026) https://BioRender.com/8q4nrnc.
Alise J. Ponsero +4 more
wiley +1 more source
Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations
FEBS Letters, EarlyView.The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas +6 more
wiley +1 more source
Transforming Cycle Rewriting into String Rewriting.
, 2015 RTA 2015 : 26th International Conference on Rewriting Techniques and Applications, June 29-July 1, 2015, Warsaw ...
David Sabel, Hans Zantema
openaire +5 more sources
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
Phosphoinositides and inositol phosphates as molecular glues
FEBS Letters, EarlyView.Inositol phosphates (IPs) and phosphoinositides (PIPs) regulate diverse eukaryotic processes. Beyond recruiting signaling proteins or acting as structural cofactors, recent studies suggest they mediate protein–protein interactions as natural molecular glues.
Aleshia Seaton‐Terry +9 more
wiley +1 more source
Die spore van Raka: Oor herskrywing en kanonisering (Deel 2)
Tydskrif vir Letterkunde, 2017 Every literary system possesses a canon with the classical canon as the most stable and simultaneously the one with the most restrictive access. Writers and texts can only maintain their position within the canon through continuous rewriting: critical ...
H.P. Van Coller, A. Van Jaarsveld
doaj