5409 search results - page 44 / 1082 » Basic Observables for Processes |
DCC
2011
IEEE
13 years 2 months ago
2011
IEEE
In this paper, we use linear approximations of the addition modulo 2n of three n-bit integers to identify linear approximations of g1, g2, the feedback functions of HC-128. This, i...
CDVE
2004
Springer
14 years 1 months ago
2004
Springer
The physical environments in which design collaborations take place provide many affordances, which enable interactions to occur both seamlessly and (in most cases) successfully. P...
ENTCS
2007
13 years 7 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
JRTIP
2007
13 years 7 months ago
2007
The paper presents a real-time algorithm that compensates image distortions due to atmospheric turbulence in video sequences, while keeping the real moving objects in the video unh...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
— The Cartier-Perrin theorem, which was published in 1995 and is expressed in the language of nonstandard analysis, permits, for the first time perhaps, a clear-cut mathematical...