61 citations · 359 across the 17 of their papers we have counts for
3 papers · 1 filter
Cylindrical Algebraic Decomposition with Equational Constraints
Matthew England, Russell Bradford, James H. Davenport
Cylindrical Algebraic Decomposition (CAD) has long been one of the most important algorithms within Symbolic Computation, as a tool to perform quantifier elimination in first order…
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks
R. Bradford, J. H. Davenport, M. England +8
We consider a problem from biological network analysis of determining regions in a parameter space over which there are multiple steady states for positive real values of variables…
Does the "Artificial Intelligence Clinician" learn optimal treatment strategies for sepsis in intensive care?
Russell Jeter, Christopher Josef, Supreeth Shashikumar +1
From 2017 to 2018 the number of scientific publications found via PubMed search using the keyword "Machine Learning" increased by 46% (4,317 to 6,307). The results of studies invol…