370 search results - page 2 / 74 » Bounded modified realizability |
MLQ
2010
13 years 1 days ago
2010
MOC
2010
13 years 1 days ago
2010
It is widely believed that if monotone difference schemes are applied to the linear convection equation with discontinuous initial data, then solutions of the monotone schemes are ...
MSCS
2006
13 years 5 months ago
2006
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
USS
2010
13 years 3 months ago
2010
One of the main obstacles for the wider deployment of radio (RF) distance bounding is the lack of platforms that implement these protocols. We address this problem and we build a ...
CORR
2006
Springer
13 years 5 months ago
2006
Springer