Results 101 to 110 of about 12,133 (300)
Molecular Oncology, EarlyView.A urine‐based digital PCR assay targeting two hotspot TERT promoter variants detected bladder cancer with high sensitivity and no false positives in this case–control cohort. The streamlined AbsoluteQ workflow outperformed Sanger sequencing and supports non‐invasive molecular testing for bladder cancer detection.
Anna Nykel +12 more
wiley +1 more source
Automated Complexity Analysis Based on Context-Sensitive Rewriting [PDF]
, 2014 In this paper we present a simple technique for analysing the runtime complexity of rewrite systems. In complexity analysis many techniques are based on reduction orders.
Hirokawa, Nao +3 more
core +1 more source
Cahiers d’Études RomanesFar from condemning the matrix-text to remain frozen in its anteriority, the primacy of the origin authorizes us, according to Walter Benjamin, to traverse history along a trail of rewritings.
Alexis Nuselovici (Nouss)
doaj +1 more source
Extended term rewriting systems [PDF]
, 1991 In this paper we will consider some extensions of the usual term rewrite format, namely: term rewriting with conditions, infinitary term rewriting and term rewriting with bound variables. Rather than aiming at a complete survey, we discuss some aspects of these three extensions.
J.W. Klop (Jan Willem), R. de Vrijer
openaire +2 more sources
Tumor B‐cell infiltration in platinum‐treated advanced muscle‐invasive urothelial carcinoma
Molecular Oncology, EarlyView.Bladder tumors with higher pretreatment memory B‐cell infiltration were linked to longer survival after cisplatin chemotherapy, but not carboplatin. These tumors also showed more organized immune structures (tertiary lymphoid structures) and a shared pro‐inflammatory B‐cell‐rich community, suggesting that memory B cells may help identify patients most ...
Konrad Stawiski +10 more
wiley +1 more source
Raman‐based label‐free microscopic analysis of the pancreas in living zebrafish larvae
FEBS Open Bio, EarlyView.Forward stimulated Raman scattering (F‐SRS) and epi coherent anti‐Stokes Raman scattering (E‐CARS) allow label‐free discrimination of distinct subcellular structures in the pancreas of living zebrafish larvae. Given the straightforward applicability, we anticipate broad implementation of Raman microscopy in other organs and across various biomedical ...
Noura Faraj +3 more
wiley +1 more source
From infinitary term rewriting to cyclic term graph rewriting and back [PDF]
, 2011 Cyclic term graph rewriting has been shown to be adequate forsimulating certain forms of infinitary term rewriting. These formsare, however, quite restrictive and it would be beneficial to liftthese restriction at least for a limited class of ...
Bahr, Patrick
core +1 more source
A Theory for Abstract Reduction Systems in PVS
CLEI Electronic Journal, 2008 A theory for Abstract Reduction Systems (ARS) in the proof assistant PVS (Prototype Verification System) called ars is described. Adequate specifications of basic definitions and notions of the theory of ARSs such as reduction, confluence and normal form
Andre Luiz Galdino +1 more
doaj +1 more source
FEBS Open Bio, EarlyView.This study explores the feasibility of expressing the antitumoral protein Amblyomin‐X through a suicide gene therapy approach and investigates its intracellular fate after gene delivery. Although the gene is efficiently expressed, melanoma cells rapidly degrade the Amblyomin‐X protein via proteasome activity.
Victor Dal Posolo Cinel +4 more
wiley +1 more source
State space c-reductions for concurrent systems in rewriting logic
, 2011 We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system.
Lluch-Lafuente, Alberto +8 more
core +1 more source