Results 81 to 90 of about 923,302 (188)

Right ventricular global constructive work as an echocardiographic predictor of worsening heart failure. [PDF]

open access: yesEur Heart J Open
Chilingaryan A   +4 more
europepmc   +1 more source

Encoding Dependently-Typed Constructions into Simple Type Theory

open access: yesProceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
Bordg, Anthony, Doña Mateo, Adrián
openaire   +1 more source

Home - About - Disclaimer - Privacy