-
University and her national and international collaborators on a HRB-funded project that aims to generate a hiPSC-based preclinical model for DDX3X syndrome, a rare neurodevelopmental disease caused by
-
an energy-aware modelling and system identification framework that incorporates computational efficiency into the model development process. Rather than focusing solely on predictive performance, the
Searches related to model checking
Enter an email to receive alerts for model-checking positions