Michael Parks

Learn More
We present methods to generate systematically the hardest test cases for multiplication, division, and square root subject to directed rounding, essentially extending previous work on number-theoretic floating-point testing to rounding modes other than to-nearest. The algorithms focus upon the rounding boundaries of the modes truncate, to-minus-infinity,(More)
A mathematical framework for the coupling of atomistic and continuum models by blending them over a subdomain subject to a constraint is developed. Using the framework, four classes of atomistic-to-continuum (AtC) blending methods are established, their consistency is studied, and their relative merits discussed. In addition, the framework helps clarify the(More)
The pharmacological use of the plant alkaloid berberine is based on its antibacterial and anti-inflammatory properties; recently, anticancer activity has been attributed to this compound. To exploit this interesting feature, we synthesized three berberine derivatives, namely, NAX012, NAX014, and NAX018, and we tested their effects on two human colon(More)
OBJECTIVE Development of an accurate and affordable test for the non-invasive prenatal diagnosis of Duchenne and Becker muscular dystrophies (DMD/BMD) to implement in clinical practice. METHOD Cell-free DNA was extracted from maternal blood and prepared for massively parallel sequencing on an Illumina MiSeq by targeted capture enrichment of single(More)
  • 1