Browsing by Author Nedialkov, Ned
Showing results 5 to 11 of 11
< previous
Publication Date | Title | Author(s) |
---|---|---|
Apr-2014 | Formal Proof of the Fundamental Theorem of Decorated Interval Arithmetic | Zheng, Bingzhou; Zheng, Bingzhou |
Oct-2012 | INTERSECTION STATE VISUALIZATION FOR REALTIME SIMULATIONS | Roth, Justin L. |
Oct-2011 | Locating Carbon Bonds from INADEQUATE Spectra using Continuous Optimization Methods and Non-Uniform K-Space Sampling | Watson, Sean C. |
2022 | Multibody Dynamics Problems in Natural Coordinates: Theory, Implementation and Simulation | Derakhshan, Behrang |
Apr-2014 | Probabilistic Graphical Models for Prognosis and Diagnosis of Breast Cancer | KHADEMI, MAHMOUD |
2019 | Segmentation of Breast Cancer Ultrasound Images | Jiang, Mingjie |
Sep-2006 | A Tool for Automatic Index Analysis of Differential-Algebraic Equations | Liu, Ning |
Showing results 5 to 11 of 11
< previous