The following pages link to Lydia E. Kavraki (Q406002):
Displaying 26 items.
- Modeling structures and motions of loops in protein molecules (Q406003) (← links)
- Computational challenges in systems biology (Q458470) (← links)
- Partitioning a planar assembly into two connected parts is NP-complete (Q672026) (← links)
- Distributed computation of the \textit{k}nn graph for large high-dimensional point sets (Q869400) (← links)
- Sampling conformation space to model equilibrium fluctuations in proteins (Q995778) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Randomized query processing in robot path planning (Q1273861) (← links)
- (Q1313729) (redirect page) (← links)
- On the complexity of assembly partitioning (Q1313730) (← links)
- (Q2749765) (← links)
- Iterative temporal motion planning for hybrid systems in partially unknown environments (Q2986941) (← links)
- Asynchronous Distributed Motion Planning with Safety Guarantees under Second-Order Dynamics (Q3020397) (← links)
- Kinodynamic Motion Planning by Interior-Exterior Cell Exploration (Q3079496) (← links)
- Sampling-Based Motion Planning for Uncertain High-Dimensional Systems via Adaptive Control (Q3381959) (← links)
- Quantitative Analysis of Nearest-Neighbors Search in High-Dimensional Sampling-Based Motion Planning (Q3564289) (← links)
- Geometric Sieving: Automated Distributed Optimization of 3D Motifs for Protein Function Prediction (Q3596327) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- (Q4234082) (← links)
- (Q4401031) (← links)
- (Q4499940) (← links)
- (Q4499953) (← links)
- (Q4788603) (← links)
- (Q4942235) (← links)
- (Q5021010) (← links)
- Hybrid Systems: From Verification to Falsification (Q5429337) (← links)
- (Q5713497) (← links)
