-
, including the PBWT/GBWT family of haplotype algorithms for biobank-scale identity-by-descent (IBD) detection, the Med-BERT and CovRNN clinical foundation models for electronic health records, and the UDIP
-
that include mid-circuit measurements and feedforward Quantum simulation of many-body and lattice-gauge theory models Microscopic physics of Josephson junctions Other topics of mutual interest About the Yale
Searches related to model checking
Enter an email to receive alerts for model-checking positions in computer-science