3 papers
q-bio.QM2019
RuleVis: Constructing Patterns and Rules for Rule-Based Models
David Abramov, Jasmine Otto, Mahika Dubey +4
We introduce RuleVis, a web-based application for defining and editing "correct-by-construction" executable rules that model biochemical functionality, which can be used to simulat…
cs.MS2019
Solving Polynomial Systems with phcpy
Jasmine Otto, Angus Forbes, Jan Verschelde
The solutions of a system of polynomials in several variables are often needed, e.g.: in the design of mechanical systems, and in phase-space analyses of nonlinear biological dynam…
astro-ph.IM2018
IGM-Vis: Analyzing Intergalactic and Circumgalactic Medium Absorption Using Quasar Sightlines in a Cosmic Web Context
Joseph N. Burchett, David Abramov, Jasmine Otto +3
We introduce IGM-Vis, a novel astrophysics visualization and data analysis application for investigating galaxies and the gas that surrounds them in context with their larger scale…