2643 search results - page 188 / 529 » Higher order messaging |
143
click to vote
COMBINATORICS
2000
15 years 6 months ago
2000
It is shown in this note that with high probability it is enough to destroy all triangles in order to get a cover graph from a random graph Gn,p with p log n/n for any constant ...
161
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
In this paper we expose the theoretical background underlying our current research. This consists in the development of behaviour-based knowledge systems, for closing the gaps bet...
151
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
183
click to vote
MOC
1998
15 years 6 months ago
1998
This paper contains error estimates for covolume discretizations of Maxwell’s equations in three space dimensions. Several estimates are proved. First, an estimate for a semi-dis...
127
click to vote
JNS
2010
15 years 5 months ago
2010
Quasipatterns (two-dimensional patterns that are quasiperiodic in any spatial direction) remain one of the outstanding problems of pattern formation. As with problems involving qu...