Abstract: We determine the optimal (shortest) path on a unicycle-like mobile robot in a known environment with smooth (possibly non-convex) obstacles with a constraint on curvature of their boundaries ...

Abstract: Spectral techniques are powerful methods for synthesis and verification of digital circuits. The advances in DD representations for discrete valued functions in terms of computational ...

ModelingToolkit.jl is a modeling framework for high-performance symbolic-numeric computation in scientific computing and scientific machine learning. It allows for users to give a high-level ...

remove-circle Internet Archive's in-browser bookreader "theater" requires JavaScript to be enabled. It appears your browser does not have it turned on. Please see ...