In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
A nonlinear observer for estimation of the longitudinal velocity, lateral velocity, and yaw rate of a vehicle, designed for the purpose of vehicle side-slip estimation, is modifie...
We investigated image retrieval using texture segmentation by genetic programming. In this study, we are interested with two textures: sky and grass textures. Single-step texture ...
The asynchronous systems f are the models of the asynchronous circuits from digital electrical engineering. They are multi-valued functions that associate to each input u : R {0, ...
: An explicit ion, implicit water solvent model for molecular dynamics was developed and tested with DNA and RNA simulations. The implicit water model uses the finite difference Po...
Ninad V. Prabhu, Manoranjan Panda, Qingyi Yang, Ki...