Results 41 to 50 of about 31,656 (296)
, 2003 In this paper, we show how the problem of verifying liveness properties is related to termination of term rewrite systems (TRSs). We formalize liveness in the framework of rewriting and present a sound and complete transformation to transform particular liveness problems into TRSs.
Hans Zantema, Jürgen Giesl
openaire +5 more sources
FEBS Letters, EarlyView.In lymphoid organs, antigen recognition and B cell receptor signaling rely on integrins and the cytoskeleton. Integrins act as mechanoreceptors, couple B cell receptor activation to cytoskeletal remodeling, and support immune synapse formation as well as antigen extraction.
Abhishek Pethe, Tanja Nicole Hartmann
wiley +1 more source
Intensification of reflection in writings by pre-service teachers: a systemic-functional approach
Filologia e Linguística Portuguesa, 2015 This research aims to identify the linguistic-discursive aspects embedded in the educator’s rewriting commands and pre-service teacher’s response in the rewriting process of the Supervised Pre-Service Teaching Report genre in a Language and Literature ...
Aliny Sousa Mendes +3 more
doaj +1 more source
Remakes and Remakers from the Perspective of Translatıon Studies
İstanbul Üniversitesi Çeviribilim Dergisi, 2023 Since the early days of Turkish television, which profoundly affects societal engagement in Turkish culture, television (TV) series garner a sizeable audience and a significant share of total airtime is TV series (“dizi” in Turkish).
Mehmet Erguvan
doaj +1 more source
Journal of Symbolic Computation, 1987 This survey describes methods for proving that systems of rewrite rules are terminating programs. We illustrate the use in termination proofs of various kinds of orderings on terms, including polynomial interpretations and path orderings. The effect of restrictions, such as linearity, on the form of rules is also considered.
openaire +2 more sources
FEBS Letters, EarlyView.B cells sense external mechanical forces and convert them into biochemical signals through mechanotransduction. Understanding how malignant B cells respond to physical stimuli represents a groundbreaking area of research. This review examines the key mechano‐related molecules and pathways in B lymphocytes, highlights the most relevant techniques to ...
Marta Sampietro +2 more
wiley +1 more source
Вестник Кемеровского государственного университета, 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
Circulating histones as clinical biomarkers in critically ill conditions
FEBS Letters, EarlyView.Circulating histones are emerging as promising biomarkers in critical illness due to their diagnostic, prognostic, and therapeutic potential. Detection methods such as ELISA and mass spectrometry provide reliable approaches for quantifying histone levels in plasma samples.
José Luis García‐Gimenez +17 more
wiley +1 more source
Single‐cell insights into the role of T cells in B‐cell malignancies
FEBS Letters, EarlyView.Single‐cell technologies have transformed our understanding of T cell–tumor cell interactions in B‐cell malignancies, revealing new T‐cell subsets, functional states, and immune evasion mechanisms. This Review synthesizes these findings, highlighting the roles of T cells in pathogenesis, progression, and therapy response, and underscoring their ...
Laura Llaó‐Cid
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