Biblio

Export 5 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is H  [Clear All Filters]
A B C D E F G [H] I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
H
Poston T, Dhanik A, Burdet E, Teo CL.  2005.  Haptics of Buckling. 1st Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (WHC’05). :299-307.
Moll M.  1995.  Head-corner Parsing Using Typed Feature Structures.
Abstract      Preprint PDF
Buban JP, Ramasse Q, Gipson B, Browning ND, Stahlberg H.  2009.  High-resolution low-dose scanning transmission electron microscopy. Journal of Electron Microscopy. 10:1–10.
     Publisher's web site     
Plaku E, Kavraki LE, Vardi MY.  2007.  Hybrid Systems: From Verification to Falsification. International Conference on Computer Aided Verification (CAV). 4590:468--481.
Abstract      Preprint PDF     Publisher's web site     
Plaku E, Kavraki LE, Vardi MY.  2009.  Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods in System Design. 34:157-182.
Abstract      Preprint PDF     Publisher's web site