We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
It is a major source of contention in brain dynamics as to whether the electrical rhythms of the brain show signs of chaos. Here we discuss evidence for the existence of chaos in ...
Mathew P. Dafilis, Paul D. Bourke, David T. J. Lil...
Lots of efforts in the last decades have been done to prove or disprove whether the set of polynomially bounded problems is equal to the set of polynomially verifiable problems. T...
Sina Jafarpour, Mohammad Ghodsi, Keyvan Sadri, Zuh...
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
Abstract. In the present study, fully nonlinear (i.e. accounting for both geometric and material nonlinearities) patient specific finite element brain model was applied to predict ...
Adam Wittek, Ron Kikinis, Simon K. Warfield, Karol...