Results 71 to 80 of about 230,472 (297)
FEBS Open Bio, EarlyView.Using peripheral blood for determining B‐cell or T‐cell clonality is more reliable when we use cell‐free RNA (cfRNA) because cells release blood significantly more RNA than DNA. Next‐generation sequencing (NGS) of cfRNA allows us to evaluate fragment cfRNA and evaluate clonality reliably without the need for prior determination of the specific dominant
Adam Albitar +11 more
wiley +1 more source
Light Logics and the Call-by-Value Lambda Calculus [PDF]
Logical Methods in Computer Science, 2008 The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus from these logics, however, is problematic.
Paolo Coppola +2 more
doaj +1 more source
FEBS Open Bio, EarlyView.In this study, a novel esterase from the thermoacidophilic archaeon Thermoplasma acidophilum was biochemically and structurally characterized. Our results demonstrate that Ta0887 is a highly thermostable esterase that preferentially hydrolyzes p‐nitrophenyl hexanoate and possesses an α‐helical cap domain that likely contributes to its substrate ...
Alejandro Delgado‐Rey +4 more
wiley +1 more source
A correspondence between rooted planar maps and normal planar lambda terms [PDF]
Logical Methods in Computer Science, 2015 A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no beta-redexes ...
Noam Zeilberger, Alain Giorgetti
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Facioscapulohumeral muscular dystrophy (FSHD) is one of the most debilitating and common muscular dystrophies. Despite its severity, no approved therapy exists for FSHD patients. However, several therapeutic candidates are currently under development, and some have recently entered clinical trials, marking the need for reliable ...
Mustafa Bilal Bayazit +11 more
wiley +1 more source
The Vectorial $\lambda$-Calculus
CoRR, 2013 Comment: Long and corrected version of arXiv:1012.4032 (EPTCS 88:1-15), to appear in Information and ...
Pablo Arrighi +2 more
openaire +2 more sources
Proving Soundness of Extensional Normal-Form Bisimilarities [PDF]
Logical Methods in Computer Science, 2019 Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence that relates terms in $\lambda$-calculi by decomposing their normal forms into bisimilar subterms.
Dariusz Biernacki +2 more
doaj +1 more source
FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface : approaching a theory of unsafePerformIO [PDF]
, 2003 This paper proposes a non-standard way to combine lazy functional languages with I/O. In order to demonstrate the usefulness of the approach, a tiny lazy functional core language FUNDIO , which is also a call-by-need lambda calculus, is investigated. The
Schmidt-Schauß, Manfred
core
Polynomial Time in the Parametric Lambda Calculus [PDF]
, 2015 In this paper we investigate Implicit Computational Complexity via the parametric lambda calculus of Ronchi Della Rocca and Paolini. We show that a particular instantiation of the set of input values leads to a characterization of polynomial time ...
Redmond, Brian F.
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective The prognosis of glioblastoma (GBM) remains highly unfavorable, largely due to high tumor heterogeneity and an immunosuppressive microenvironment. However, the functional role of PANoptosis in this context is poorly understood. Methods Patients were stratified via K‐means clustering. A risk score model was constructed using prognosis‐
Langfei Tian +6 more
wiley +1 more source