1 citations · 1 across the 3 of their papers we have counts for
4 papers
Reslicing Ultrasound Images for Data Augmentation and Vessel Reconstruction
Cecilia Morales, Jason Yao, Tejas Rane +3
Robot-guided catheter insertion has the potential to deliver urgent medical care in situations where medical personnel are unavailable. However, this technique requires accurate an…
Provably Robust Model-Centric Explanations for Critical Decision-Making
Cecilia G. Morales, Nicholas Gisolfi, Robert Edman +2
We recommend using a model-centric, Boolean Satisfiability (SAT) formalism to obtain useful explanations of trained model behavior, different and complementary to what can be glean…
Compositional Formal Analysis Based on Conventional Engineering Models
Tyler D. Smith, Ryan Peroutka, Robert Edman
Applications of formal methods for state space exploration have been successfully applied to evaluate robust critical software systems. Formal methods enable discovery of error con…
Zonotopes whose cellular strings are all coherent
Rob Edman, Pakawut Jiradilok, Gaku Liu +1
A cellular string of a polytope is a sequence of faces stacked on top of each other in a given direction. The poset of cellular strings, ordered by refinement, is known to be homot…