Big news for enterprise DJI drone users as Terra, the company’s 3D modeling software, is set to get some new next-generation ...

Physics and Python stuff. Most of the videos here are either adapted from class lectures or solving physics problems. I really like to use numerical calculations without all the fancy programming ...

Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking. This ...