Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
May-2005 | Design and Implementation of a Solver for High-Index Differential-Algebraic Equations | Zhang, Wanhe |
May-2006 | Polyhedra Computation Under Symmetry | Indik, Gabriel |
May-2006 | An Analysis of Program by Symbolic Computation | Zhai, Yun |
22-Sep-2006 | A Proof-of-Concept for Using PVS and Maxima to Support Relational Calculus | Nguyen, Huong Thi Thu |
May-2005 | Approximation to K-Means-Type Clustering | Wei, Yu |
Feb-2007 | Implementation of Tabular Verification and Refinement | Zhou, Ning |
1-Sep-2006 | Requirements Documentation for Manufacturing Systems: Template and Management Tool | Ahmadi, Mahnaz |
19-Dec-2005 | Predictable Run Time Scheduling | Torenvliet, Nick |
Aug-2005 | An Optimal Design Method for MRI Teardrop Gradient Waveforms | Ren, Tingting |
May-2005 | Magnetic Resonance Tissue Quantification Using Optimal Pulse Sequence Design | Zheng, Zhuo |
Discover
Author
Subject