A new algorithm is set to speed up path planning on large maps by a factor of 1000, with potential for robotics, logistics ...

Abstract: Communication Protocol is an important part of industrial CPS, which plays a very crucial role for CPS to complete its task. Runtime stochastic model checking is widely used to verify the ...

The rate of acquisition of genomic changes in cancer has been the topic of much discussion, with several recent investigations finding evidence of punctuated evolution instead of gradual accumulation ...