Results 151 to 160 of about 4,197,782 (360)
, 2016 We explore the use of liveness for interactive program verification for a simple concurrent object language. Our experimental IDE integrates two (formally dual) kinds of continuous testing into the development environment: compatibility-checking, which verifies an object's use of other objects, and compliance-checking, which verifies an object's claim ...
Perera, Roly, Gay, Simon J.
openaire +3 more sources
FEBS Letters, EarlyView.Spinal muscular atrophy (SMA) is a genetic disease affecting motor neurons. Individuals with SMA experience mitochondrial dysfunction and oxidative stress. The aim of the study was to investigate the effect of an antioxidant and neuroprotective substance, ergothioneine (ERGO), on an SMNΔ7 mouse model of SMA.
Francesca Cadile +8 more
wiley +1 more source
On the Opportunity afforded by the Eclipse of 1919 May 29 of verifying Einstein's Theory of Gravitation [PDF]
, 1917 Frank Watson Dyson
openalex +1 more source
Microbial exopolysaccharide production by polyextremophiles in the adaptation to multiple extremes
FEBS Letters, EarlyView.Polyextremophiles are microorganisms that endure multiple extreme conditions by various adaptation strategies that also include the production of exopolysaccharides (EPSs). This review provides an integrated perspective on EPS biosynthesis, function, and regulation in these organisms, emphasizing their critical role in survival and highlighting their ...
Tracey M Gloster, Ebru Toksoy Öner
wiley +1 more source
BMC Medical EducationObjective Ocular fundus disease is one of the most complex areas of ophthalmology and a difficulty in ophthalmic education and training. Fundus imaging is an essential tool and reliable method for teaching fundus diseases.
Shi Xuehui +4 more
doaj +1 more source
Cell‐free DNA aneuploidy score as a dynamic early response marker in prostate cancer
Molecular Oncology, EarlyView.mFast‐SeqS‐based genome‐wide aneuploidy scores are concordant with aneuploidy scores obtained by whole genome sequencing from tumor tissue and can predict response to ARSI treatment at baseline and, at an early time point, to ARSI and taxanes. This assay can be easily performed at low cost and requires little input of cfDNA. Cell‐free circulating tumor
Khrystany T. Isebia +17 more
wiley +1 more source
Researches on the Polarographic Diffusion Current. II. Distribution of the Depolarizer in the Vicinity of Dropping Mercury Electrode and Some Experimental Verifications of the Revised Equation [PDF]
, 1950 Tomihito Kambara, Isamu Tachi
openalex +1 more source
Molecular Oncology, EarlyView.Combining melting curve analysis enhances the multiplexing capability of digital PCR. Here, we developed a 14‐plex assay to simultaneously measure single nucleotide mutations and amplifications of KRAS and GNAS, which are common driver genes in pancreatic cancer precursors. This assay accurately quantified variant allele frequencies in clinical samples
Junko Tanaka +10 more
wiley +1 more source
Speaker Verification Using Adapted Gaussian Mixture Models
Digit. Signal Process., 2000 D. Reynolds, T. Quatieri, R. B. Dunn
semanticscholar +1 more source