Results 41 to 50 of about 333,009 (323)
Theoretical Computer Science, 1987 \textit{J. C. Raoult} [ibid. 32, 1-24 (1984; Zbl 0551.68065)] has given a description of graph rewriting. His description is operational, despite the similarity which his constructions have to the category-theoretic concept of a pushout. We describe a modification to Raoult's description of graph rewriting which allows the reduction of a redex to be ...
openaire +3 more sources
Journal of the American Chemical Society, 2009 We describe microarraying of carbohydrates for protein screening using either disulfide bridge or Schiff base imine immobilization chemistries on plasmachemical deposited functional nanolayers. The commonly observed issue of nonspecific background binding of proteins is overcome by spotting carbohydrates through a protein-resistant overlayer yielding ...
Harris, L G +4 more
openaire +3 more sources
FEBS Letters, EarlyView.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
Knuth-Bendix algorithm and the conjugacy problems in monoids
, 2010 We present an algorithmic approach to the conjugacy problems in monoids, using rewriting systems. We extend the classical theory of rewriting developed by Knuth and Bendix to a rewriting that takes into account the cyclic conjugates.Comment: This is a ...
C. Choffrut +13 more
core +1 more source
Corela, 2020 As a thinker of a fragmented thruth, the apologist of the Pensées co-enunciates as an "honnête homme" what he over-enunciates as a Christian. The enunciature "posture" therefore casts a new light on the dialectical movement at work in Pascal's logic and
Laurent Susini
doaj +1 more source
The IQ‐compete assay for measuring mitochondrial protein import efficiencies in living yeast cells
FEBS Letters, EarlyView.The efficiency of mitochondrial protein import depends on the properties of the newly synthesized precursor proteins. The Import and de‐Quenching Competition (IQ‐compete) assay is a novel method to monitor the import efficiency of different proteins by fluorescence in living yeast cells.
Yasmin Hoffman +3 more
wiley +1 more source
By dawn or dusk—how circadian timing rewrites bacterial infection outcomes
FEBS Letters, EarlyView.The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo +2 more
wiley +1 more source
Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems [PDF]
, 2006 In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size based termination and initially developed for ML-like programs.
Blanqui, Frédéric, Riba, Colin
core +4 more sources
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
Why emerging leaders should focus on being good postdoctoral supervisors
FEBS Letters, EarlyView.Swamped with work and suddenly a new student is waiting at your doorstep for supervision? Great—this is your chance! In this article, we share tips on how postdocs can strengthen their leadership skills while supervising students. This image has been created using DALL·E. Many postdocs work as leaders later in their career.
Hannah Rostalski +5 more
wiley +1 more source