Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
Apr-2012 | Identification and Documentation of Environmental Assumptions for the PACEMAKER System | WANG, Vivien You |
Oct-2013 | Aspect-Oriented Product Family Modeling | Zhang, Qinglei |
Apr-2014 | Formal Proof of the Fundamental Theorem of Decorated Interval Arithmetic | Zheng, Bingzhou; Zheng, Bingzhou |
Oct-2011 | Algebraic Constructions Applied to Theories | Tran, Minh Quang |
Apr-2012 | Extending Service Oriented Architecture Using Generic Service Representatives | Najafi, Mehran |
Oct-2011 | An Empirical Study of Algebraic Reconstruction Techniques | MOHAMMAD, KAZEMI EHSAN |
Oct-2012 | INTERSECTION STATE VISUALIZATION FOR REALTIME SIMULATIONS | Roth, Justin L. |
Apr-2014 | Probabilistic Graphical Models for Prognosis and Diagnosis of Breast Cancer | KHADEMI, MAHMOUD |
Apr-2013 | Modelling Fault Tolerance using Deontic Logic: a case study | Khan, Ahmed Jamil |
Apr-2013 | Artificial Intelligence in Simulations | Hynes, David |
Discover
Author
Subject