Results 51 to 60 of about 333,009 (323)
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
Вестник Кемеровского государственного университета, 2018 The research presents typology and semantics of the rewriting plots in V. Sharov's novels «Tract in trace» (1991) and «The Raising of Lazarus» (2002) in two aspects: receptive and historical, or historiosophical. In V.
A. I. Pantuhina
doaj +1 more source
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
FEBS Letters, EarlyView.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
Projections for infinitary rewriting
, 2016 Proof terms in term rewriting are a representation means for reduction sequences, and more in general for contraction activity, allowing to distinguish e.g simultaneous from sequential reduction.
de Vrijer, Roel +2 more
core +1 more source
Extending Context-Sensitivity in Term Rewriting [PDF]
, 2009 We propose a generalized version of context-sensitivity in term rewriting based on the notion of "forbidden patterns". The basic idea is that a rewrite step should be forbidden if the redex to be contracted has a certain shape and appears in a certain ...
Bernhard Gramlich +2 more
core +5 more sources
Effondrement ou ensevelissement : les modalités d’une logique conservatrice dans The Mists of Avalon
Caliban: French Journal of English Studies, 2020 This paper aims at exploring the dynamics of erosion and collapse that can be observed throughout a neo-pagan rewriting of the Matter of Britain, The Mists of Avalon by Marion Zimmer Bradley (1982), that played a significant part in the popularization of
Manon Berthier
doaj +1 more source
Peptide‐based ligand antagonists block a Vibrio cholerae adhesin
FEBS Letters, EarlyView.The structure of a peptide‐binding domain of the Vibrio cholerae adhesin FrhA was solved by X‐ray crystallography, revealing how the inhibitory peptide AGYTD binds tightly at its Ca2+‐coordinated pocket. Structure‐guided design incorporating D‐amino acids enhanced binding affinity, providing a foundation for developing anti‐adhesion therapeutics ...
Mingyu Wang +9 more
wiley +1 more source
« Et ils ne vécurent pas heureux » : la fin de Jane Eyre réécrite dans Charlotte de D.M. Thomas
Revue LISA, 2006 D.M. Thomas’s rewriting of Jane Eyre in Charlotte (2000) takes the shape of a transformation of the ending which enables the second Mrs Rochester’s story to be continued in the West Indies, thus also acknowledging Jean Rhys’s Wide Sargasso Sea as another
Armelle Parey
doaj +1 more source
Criticón, 2023 With the aim of shedding some light on the poetic production of the Count of Villamediana in traditional meters (essentially, redondillas), the article proposes to analyze the procedures, of transcoding and (auto)rewriting, through which the poet reworks
Flavia Gherardi
doaj +1 more source
FEBS Letters, EarlyView.This perspective highlights emerging insights into how the circadian transcription factor CLOCK:BMAL1 regulates chromatin architecture, cooperates with other transcription factors, and coordinates enhancer dynamics. We propose an updated framework for how circadian transcription factors operate within dynamic and multifactorial chromatin landscapes ...
Xinyu Y. Nie, Jerome S. Menet
wiley +1 more source