Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Filters

Susmit Jha

Showing results (1-10 of 4) with videos related to

Pageof 1
Sort By:
International Journal of Bioinformatics Research and Applications|July 4, 2014
Parameter discovery in stochastic biological models using simulated annealing and statistical model checkingFaraz Hussain, Sumit K Jha, Susmit Jha, et al.
International Journal of Bioinformatics Research and Applications|July 4, 2014
Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle modelArup Kumar Ghosh, Faraz Hussain, Susmit Jha, et al.
International Journal of Bioinformatics Research and Applications|September 11, 2012
Synthesis of insulin pump controllers from safety specifications using Bayesian model validationSumit Kumar Jha, Raj Gautam Dutta, Christopher J Langmead, et al.
Studies in Health Technology and Informatics|August 8, 2025
Predicting Secure Messaging Traffic in Clinical SettingsLaura R Baratta, Sunny S Lou, Thomas Kannampallil, et al.
Pageof 1

Showing results (1-10 of 4) with videos related to

Sort By:
Pageof 1
International Journal of Bioinformatics Research and Applications|July 4, 2014
Parameter discovery in stochastic biological models using simulated annealing and statistical model checkingFaraz Hussain, Sumit K Jha, Susmit Jha, et al.
International Journal of Bioinformatics Research and Applications|July 4, 2014
Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle modelArup Kumar Ghosh, Faraz Hussain, Susmit Jha, et al.
International Journal of Bioinformatics Research and Applications|September 11, 2012
Synthesis of insulin pump controllers from safety specifications using Bayesian model validationSumit Kumar Jha, Raj Gautam Dutta, Christopher J Langmead, et al.
Studies in Health Technology and Informatics|August 8, 2025
Predicting Secure Messaging Traffic in Clinical SettingsLaura R Baratta, Sunny S Lou, Thomas Kannampallil, et al.
Pageof 1