Sort by
Refine Your Search
-
(AIMLeNS) lab is a tight-knit team of computer scientists, chemists, physicists, and mathematicians working collaboratively. Our focus is on developing practical methods that blend traditional disciplines
-
are robotics for mines, construction sites, aerial inspection of aging infrastructure, multi-robotic search and rescue, multi sensorial fusion and multirobot coordination, including multirobot perception
-
Conservation D. How plant cell shape and tissue structure help cells stick together E. DETERMINER - Determining appropriate monitoring frequency for phytoplankton F. Predicting bacterial protein expression
-
Hydrogen is expected to play a key role in the energy and fuel mix of future sustainable transport systems. However, due to its small and light molecular structure, hydrogen exhibits significantly
-
include structural integrity, fatigue and fracture mechanics, collision survivability, hull design, risk and reliability analysis, ship resistance and motions, and propulsion systems. Our research spans
-
expressions when the matrix sizes are unknown at compile-time. The project aims to address the problem using e-graphs. An e-graph is a data structure commonly used in automated theorem provers and recently