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

Sumit Kumar Jha

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

Pageof 1
Sort By:
BMC Bioinformatics|April 28, 2012
Exploring behaviors of stochastic differential equation models of biological systems using change of measuresSumit Kumar Jha, Christopher James Langmead
Journal of Bioinformatics and Computational Biology|April 3, 2009
Symbolic approaches for finding control strategies in Boolean NetworksChristopher James Langmead, Sumit Kumar Jha
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.
BMC Bioinformatics|June 16, 2017
A theorem proving approach for automatically synthesizing visualizations of flow cytometry dataSunny Raj, Faraz Hussain, Zubir Husein, et al.
Bioanalysis|July 11, 2017
Development and validation of an electrochemiluminescent ELISA for quantitation of oral insulin tregopil in diabetes mellitus serumShilpa G Ramaswamy, Vivek G Nayak, Sumit Kumar Jha, et al.
Pageof 1

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

Sort By:
Pageof 1
BMC Bioinformatics|April 28, 2012
Exploring behaviors of stochastic differential equation models of biological systems using change of measuresSumit Kumar Jha, Christopher James Langmead
Journal of Bioinformatics and Computational Biology|April 3, 2009
Symbolic approaches for finding control strategies in Boolean NetworksChristopher James Langmead, Sumit Kumar Jha
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.
BMC Bioinformatics|June 16, 2017
A theorem proving approach for automatically synthesizing visualizations of flow cytometry dataSunny Raj, Faraz Hussain, Zubir Husein, et al.
Bioanalysis|July 11, 2017
Development and validation of an electrochemiluminescent ELISA for quantitation of oral insulin tregopil in diabetes mellitus serumShilpa G Ramaswamy, Vivek G Nayak, Sumit Kumar Jha, et al.
Pageof 1