Results 111 to 120 of about 446,349 (194)

Parental perspectives of prenatal counseling and decision making for termination or hospice birth due to fetal congenital heart defects. [PDF]

open access: yesPLoS One
Knowles G   +10 more
europepmc   +1 more source

Semaglutide Exposure During Pregnancy: Results from the FAERS Database. [PDF]

open access: yesPharmaceuticals (Basel)
Zinzi A   +9 more
europepmc   +1 more source

Proving Termination via Measure Transfer in Equivalence Checking (Extended Version)

open access: yes
Program verification can benefit from proofs with varied induction schemas. A natural class of induction schemas, functional induction, consists of those derived from definitions of functions.
Bucev, Mario   +3 more
core  

Home - About - Disclaimer - Privacy