Results 61 to 70 of about 324,410 (283)
Non-simplifying Graph Rewriting Termination [PDF]
So far, a very large amount of work in Natural Language Processing (NLP) rely on trees as the core mathematical structure to represent linguistic informations (e.g. in Chomsky's work).
Bonfante, Guillaume, Guillaume, Bruno
core +4 more sources
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
A Graph Rewriting Approach for Transformational Design of Digital Systems [PDF]
Transformational design integrates design and verification. It combines “correctness by construction” and design creativity by the use of pre-proven behaviour preserving transformations as design steps.
Huijs, Corrie
core +6 more sources
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes +3 more
wiley +1 more source
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source
Die spore van Raka: Oor herskrywing en kanonisering (Deel 2)
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
Coherence in monoidal track categories [PDF]
We introduce homotopical methods based on rewriting on higher-dimensional categories to prove coherence results in categories with an algebraic structure.
Inria Université Lyon +2 more
core +9 more sources
Structural biology of ferritin nanocages
Ferritin is a conserved iron‐storage protein that sequesters iron as a ferric mineral core within a nanocage, protecting cells from oxidative damage and maintaining iron homeostasis. This review discusses ferritin biology, structure, and function, and highlights recent cryo‐EM studies revealing mechanisms of ferritinophagy, cellular iron uptake, and ...
Eloise Mastrangelo, Flavio Di Pisa
wiley +1 more source
Heterogenesis in Musical Rewriting and (Re)Performance
In the music of the Twentieth Century, Luciano Berio perhaps is one of the most concerned composers with musical rewriting, intercrossing several traditions, from either European music or traditional cultures.
Silvio Ferraz Mello Filho +1 more
doaj +1 more source
Closed nominal rewriting and efficiently computable nominal algebra equality
We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories.
Fernández, Maribel, Gabbay, Murdoch J.
core +2 more sources

