Results 71 to 80 of about 321,292 (267)
Time after time – circadian clocks through the lens of oscillator theory
FEBS Letters, EarlyView.Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo +2 more
wiley +1 more source
A Graph Rewriting Approach for Transformational Design of Digital Systems [PDF]
, 1996 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
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
FEBS Letters, EarlyView.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
Encapsulation for Practical Simplification Procedures [PDF]
, 2003 ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a resolution/paramodulation theorem proving system. Term rewriting is at the core
Matlin, Olga Shumsky, McCune, William
core +2 more sources
Non-simplifying Graph Rewriting Termination [PDF]
, 2013 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
PICALM::MLLT10 translocated leukemia
FEBS Letters, EarlyView.This comprehensive review of PICALM::MLLT10 translocated acute leukemia provides an in‐depth review of the structure and function of CALM, AF10, and the fusion oncoprotein (1). The multifaceted molecular mechanisms of oncogenesis, including nucleocytoplasmic shuttling (2), epigenetic modifications (3), and disruption of endocytosis (4), are then ...
John M. Cullen +7 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
A significação conceitual pela escrita e reescrita orientada em aulas de Química
Química Nova, 2014 In this paper, the practice of guided writing and rewriting in Chemistry classes on a graduate degree in Science is shown as a teaching method that promotes conceptual meaning in Chemistry among students.
Judite Scherer Wenzel +1 more
doaj +1 more source
Rewrite Closure and CF Hedge Automata [PDF]
, 2012 We introduce an extension of hedge automata called bidimensional context-free hedge automata. The class of unranked ordered tree languages they recognize is shown to be preserved by rewrite closure with inverse-monadic rules.
A. Bouajjani +6 more
core +6 more sources
Structural biology of ferritin nanocages
FEBS Letters, EarlyView.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