Results 131 to 140 of about 26,719 (309)
Functional Computation in a Uniformly Concurrent Calculus
, 2004 Liegt nicht vor.The thesis is written in German, but will be translated soon. English title: Functional Computation in a Uniformly Concurrent Calculus with Logic Variables. We present the delta-calculus, a model of uniformly concurrent computation.
Niehren, Joachim
core +1 more source
The continuous functional calculus in Lean
CoRRThe continuous functional calculus is perhaps the most fundamental construction in the theory of operator algebras, especially $C^{*}$-algebras. Here we document our formalization of the continuous functional calculus in Lean, which constitutes the first such formalization in any proof assistant.
Anatole Dedecker, Jireh Loreaux
openaire +2 more sources
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
On a calculus of partition functions [PDF]
Pacific Journal of Mathematics, 1969 openaire +3 more sources
Molecular Oncology, EarlyView.This study shows that lung adenocarcinomas exploit developmental branching morphogenesis to acquire a therapy resistant basal‐like tumour cell state. This process was found to be regulated by combined TP53 loss‐of‐function and type‐I interferon signalling, identifying a novel axis for biomarker and therapeutic target discovery.
Kamila J Bienkowska +13 more
wiley +1 more source
Valuation of boundary-linked assets [PDF]
, 2004 This article studies the valuation of boundary-linked assets and their derivatives in continuous-time markets. Valuing boundary-linked assets requires the solution of a stochastic differential equation with boundary conditions, which, often, is not ...
Vidal-Sanz, Jose M. +1 more
core
Molecular Oncology, EarlyView.Combining osimertinib with the STING agonist ADU‐S100 activates innate and adaptive immunity to overcome the non‐inflamed microenvironment of Egfr‐mutant lung cancer. This combination increases NK and CD8+ T‐cell infiltration, associated with activation of the STING‐IRF3 pathway and local immunogenic cell death.
Jun Nishimura +19 more
wiley +1 more source
On the safety of Nöcker's strictness analysis
, 2004 This paper proves correctness of Nocker s method of strictness analysis, implemented for Clean, which is an e ective way for strictness analysis in lazy functional languages based on their operational semantics.
Sabel, David +2 more
core
A historic functional and object-oriented calculus
, 2006 We present a functional object calculus which solves the traditional conflict between matching-based functional programming and object-oriented programming, by treating uniformly method invocations and functional constructor applications. The key feature
Fernandez, Maribel; id_orcid +3 more
core +1 more source
Approaching Bilinear Multipliers via a Functional Calculus. [PDF]
J Geom Anal, 2018 Wróbel B.
europepmc +1 more source