4716 search results - page 522 / 944 » Iterative-free program analysis |
162
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
183
click to vote
ENTCS
2010
15 years 6 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract--We establish that the feedback capacity of the trapdoor channel is the logarithm of the golden ratio and provide a simple communication scheme that achieves capacity. As ...
133
click to vote
ENGL
2007
15 years 6 months ago
2007
The application of Genetic Algorithm (GA) to the optimization of gain of microstrip antenna, fabricated on ferrite substrate, biased externally by a steady magnetic field, is repor...
156
Voted
ENTCS
2007
15 years 6 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...