Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq
Sylvie Boldo, Guillaume Melquiond
openalex +2 more sources
Algorithms for Manipulating Quaternions in Floating-Point Arithmetic
Mioara Joldeş, Jean‐Michel Muller
openalex +2 more sources
The cancer problem is increasing globally with projections up to the year 2050 showing unfavourable outcomes in terms of incidence and cancer‐related deaths. The main challenges are prevention, improved therapeutics resulting in increased cure rates and enhanced health‐related quality of life.
Ulrik Ringborg +43 more
wiley +1 more source
Plasma-induced flow of de-mineralised water is governed by the aqueous grounding configuration. [PDF]
Ryan CT +4 more
europepmc +1 more source
Pharmacologic ascorbate (vitamin C) increases ROS, disrupts cellular metabolism, and induces DNA damage in CRPC cells. These effects sensitize tumors to PARP inhibition, producing synergistic growth suppression with olaparib in vitro and significantly delayed tumor progression in vivo. Pyruvate rescue confirms ROS‐dependent activity.
Nicolas Gordon +13 more
wiley +1 more source
An experimental investigation of the drift ratio and its influencing factors in mechanical draft wet cooling towers. [PDF]
Qu L, Li L.
europepmc +1 more source
Two Novel Quantum Steganography Algorithms Based on LSB for Multichannel Floating-Point Quantum Representation of Digital Signals [PDF]
Meiyu Xu +4 more
openalex +1 more source
LDAcoop: Integrating non‐linear population dynamics into the analysis of clonogenic growth in vitro
Limiting dilution assays (LDAs) quantify clonogenic growth by seeding serial dilutions of cells and scoring wells for colony formation. The fraction of negative wells is plotted against cells seeded and analyzed using the non‐linear modeling of LDAcoop.
Nikko Brix +13 more
wiley +1 more source
A New Penetration Depth Method Using Proctor Compaction Test for Determining the Optimal Starting Time of Hardening Topping in Concrete Flooring. [PDF]
Michalik A, Zychowicz J.
europepmc +1 more source
Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin
The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla +10 more
wiley +1 more source

