Results 191 to 200 of about 32,620 (305)
Revision of the Choices Nutrient Profiling System. [PDF]
Smorenburg H +9 more
europepmc +1 more source
Formal Proof Systems for Program Equivalence.
J.A. Bergstra, Jan Willem Klop
openalex +1 more source
This work presents self‐propelled CRISPR/Cas9‐functionalized Au–MRs for rapid, amplification‐free, “on‐the‐fly” DNA detection. By harnessing motion‐assisted signal recovery, the platform achieved the limit of detection in low fM DNA concentrations, enabling detection across a wide dynamic range within only 5 min, which is significantly faster than any ...
Jyoti +3 more
wiley +1 more source
Validation and evaluation of a tablet-based dietary record app for adults aged 70 and above. [PDF]
Hinrichsen J, Quinten V, Diekmann R.
europepmc +1 more source
Framework of the Formal Equivalence Between Orthonormal Sub-Martingales and Orthogonal Martingale
Cyprien Saito
openalex +1 more source
Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence
Lourdes del Carmen González Huesca +2 more
openalex +1 more source
Exploring the photocatalytic reverse water–gas shift (RWGS) reaction on doped SrTiO3 nanoparticle films, reveals that normalizing catalytic rates by the catalyst's specific surface area (SSA) disentangled surface area effects from the catalyst's intrinsic material properties.
Dikshita Bhattacharyya +6 more
wiley +1 more source
Conversion Factors to Compare Serum Concentrations of Anti-HBs, Anti-SARS-CoV-2 and Anti-Tetanus Toxin IgG. [PDF]
Knispel A, Jassoy C.
europepmc +1 more source
Formal equivalence checking and design debugging
openaire +1 more source
Herein presented supraparticles combine the nanoparticulate photocatalyst graphitic carbon nitride with the enzyme horseradish peroxidase, which is immobilized on silica nanoparticles. In an optimized compatibility range, both catalysts operate effectively within the hybrid supraparticles and catalyze a cascade reaction consisting of the photocatalytic
Bettina Herbig +11 more
wiley +1 more source

