6960 search results - page 811 / 1392 » Continuity Analysis of Programs |
195
click to vote
ENTCS
2010
15 years 7 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 7 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 ...
136
click to vote
ENGL
2007
15 years 7 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...
165
click to vote
ENTCS
2007
15 years 7 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...
157
click to vote
AMC
2005
15 years 7 months ago
2005
In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of reduction of order approximation method for solving singula...