9521 search results - page 361 / 1905 » Compiling with continuations, continued |
ANNALS
2006
15 years 4 months ago
2006
This paper describes an interactive simulation of the Electronical Numerical Integrator and Computer (ENIAC). With the simulator, the user can wire up complex configurations of th...
115
click to vote
EOR
2008
15 years 4 months ago
2008
We solve an optimal growth model in continuous space, continuous and bounded time. The optimizer chooses the optimal trajectories of capital and consumption across space and time ...
126
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
It was shown by Zames and Shneydor and later by Mossaheb that a high-frequency dither signal of a quite arbitrary shape can be used to narrow the effective nonlinear sector of Lip...
129
click to vote
FUIN
2008
15 years 4 months ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
123
click to vote
CG
2006
Springer
15 years 4 months ago
2006
Springer
on games are a recent genre of abstract board games with some interesting geometrical properties. We introduce a recursive metarule with which existing connection games can be exp...