Results 121 to 130 of about 3,210,715 (302)
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq +8 more
wiley +1 more source
A Direct Approach to Shape Optimisation of Structures
Shape optimisation of structures constitutes - mathematically a non-standard problem of the calculus of variations consisting in searching for the conditional extremum of a functional which does not possess, as a rule, a "localization property".
Z.K. Leśniak
doaj
Most quantum logics do not allow for a reasonable calculus of conditional probability. However, those ones which do so provide a very general and rich mathematical structure, including classical probabilities, quantum mechanics, and Jordan algebras. This
Gerd Niestegge
doaj +1 more source
Functional Programming and Lambda Calculus [PDF]
Contains fulltext : 13246.pdf (Publisher’s version ) (Open Access)
openaire +2 more sources
Circulating microRNAs as biomarkers of cachexia and sex‐specific cancer in senior dogs. In 25 client‐owned dogs, four circulating miRNAs (miR‐15a, miR‐15b, miR‐16, miR‐140) were downregulated in cachexia, with miR‐16 the strongest individual biomarker (AUC = 0.899).
Soon‐Seok Park +6 more
wiley +1 more source
Correctness of copy in calculi with letrec, case and constructors [PDF]
Call-by-need lambda calculi with letrec provide a rewritingbased operational semantics for (lazy) call-by-name functional languages. These calculi model the sharing behavior during evaluation more closely than let-based calculi that use a fixpoint ...
Schmidt-Schauß, Manfred
core
A Fluent Calculus Approach to Automatic Web Service Composition
Web service composition is mandatory when complex functional requirements cannot be satisfied by a single Web service. Because of the exponential growth of available Web services, their automatic discovery and composition are highly desirable tasks. This
CHIFU, V., SALOMIE, I.
doaj +1 more source
The continuous functional calculus in Lean
The 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
Detecting circulating tumor cells (CTCs) in blood before surgery may help predict outcomes in patients with head and neck squamous cell carcinoma (HNSCC). Here, we show when combined with tumor size and lymph node involvement from routine imaging, CTC status identifies high‐risk patients with poorer survival—offering a simple, minimally invasive tool ...
Susanne Flach +9 more
wiley +1 more source
This paper develops integral inequalities for first-order differentiable convex functions within the framework of fractional calculus, extending Boole-type inequalities to this domain. An integral equality involving Riemann–Liouville fractional integrals
Abdul Mateen +4 more
doaj +1 more source

