A virtual reconfigurable circuit (VRC) is a domain-specific reconfigurable device developed using an ordinary FPGA in order to easily implement evolva...

In this article, we present a nanoscale reconfigurable mesh which is interconnected by ferromagnetic spin-wave buses. In this architecture, unlike th...

In recent years, many advances have been made in the development of molecular scale devices. Experimental data shows that these devices have potential...

Probabilistic inference and maximum a posteriori (MAP) explanation are two important and related problems on Bayesian belief networks. Both problems...

Model checking is a fruitful application of computational logic with high relevance to the verification of concurrent systems. While model checking i...