Searching for authors named "Bud Mishra" – sorted by Relevance.
77 documents found, showing 1 through 10.
Next 10 →
-
On the Other Hands: Geometric Ideas in Robotics
- …On the Other Hands: Geometric Ideas in Robotics Bud Mishra Robotics Laboratory Courant Institute…
- Add To MetaCart
-
A Survey of Computational Differential Algebra
- … A Survey of Computational Differential Algebra Bud Mishra Courant Institute New York University…
- Add To MetaCart
-
Workholding - Analysis and Planning
- …WORKHOLDING Analysis and Planning Bud Mishra Robotics and Manufacturing Research Laboratory…
- Cited by 14 (0 self) – Add To MetaCart
-
review Intelligently Deciphering Unintelligible Designs: Algorithmic Algebraic Model Checking in Systems Biology
- … in Systems Biology Bud Mishra 1,2∗ 1 Courant Institute of Mathematical Sciences, New York University, 251…
- Add To MetaCart
-
Discrete Event Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers
- … Controllers Marco Antoniotti Bud Mishra Robotics Laboratory Courant Institute of Mathematical Sciences New…
- Cited by 11 (1 self) – Add To MetaCart
-
Partitioning K Clones: Hardness Results and Practical Algorithms for the K-Populations Problem
- … Bud Mishra Abstract Given a set of m molecules, derived from K homologous clones, we wish…
- Cited by 3 (1 self) – Add To MetaCart
-
CAFÉ: A Complex Adaptive Financial Environment
- … Sciences 251 Mercer St. New York, NY 10012 Bud Mishra Courant Institute of Mathematical Sciences 251 Mercer…
- Cited by 6 (1 self) – Add To MetaCart
-
Genomics via Optical Mapping (I): Probabilistic Analysis of Optical Mapping Models
- … Anantharaman and Bud Mishra 1 Abstract We study several simple models for optical mapping and explore…
- Cited by 4 (2 self) – Add To MetaCart
-
Automatic Synthesis Algorithms for Supervisory Controllers
- … Bud Mishra Robotics Laboratory Courant Institute of Mathematical Sciences New York University 719…
- Cited by 2 (1 self) – Add To MetaCart
-
The Supervisor Synthesis Problem for Unrestricted CTL is NP-complete
- … CTL is NP-complete Marco Antoniottiy Bud Mishraz TR-95-062 November 1, 1995 y International Computer…
- Cited by 5 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
