1302 search results - page 97 / 261 » Free-Style Theorem Proving |
122
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Protocol sequences are used in channel access for the multiple-access collision channel without feedback. A new construction of protocol sequences with a guarantee of worstcase sys...
117
click to vote
NA
2007
15 years 3 months ago
2007
In 2000, Reimer proved that a positive weight quadrature rule on the unit sphere Sd ⊂ Rd+1 has the property of quadrature regularity. Hesse and Sloan used a related property, ca...
132
click to vote
GC
2010
Springer
15 years 3 months ago
2010
Springer
A directed graph has a natural Z-module homomorphism from the underlying graph’s cycle space to Z where the image of an oriented cycle is the number of forward edges minus the n...
144
click to vote
IANDC
2010
15 years 3 months ago
2010
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
120
click to vote
JCT
2010
15 years 2 months ago
2010
We show that for each η > 0 every digraph G of sufficiently large order n is Hamiltonian if its out- and indegree sequences d+ 1 ≤ · · · ≤ d+ n and d− 1 ≤ · · · â...