The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfort...
: It is a very active research field to predict protein functions and active sites by protein surface patches. It is especially challengeable to predict the active sites by structu...
Sunshin Kim, Chung Rhee, Jungdo Choi, Yong Je Chun...
Geometric constraints solving often relies on graphbased methods to decompose systems of geometric constraints. These methods have intrinsic and unavoidable limitations which are ...
Hypervelocity collisions with space debris (SD, natural meteoroids and man-made artifacts) can significantly affect the performance of spacecraft. Here, I use an adaptivemesh Eule...