3208 search results - page 446 / 642 » A Lower Bound for Primality |
151
click to vote
COMBINATORICS
1998
15 years 6 months ago
1998
An n-Venn diagram is a collection of n finitely-intersecting simple closed curves in the plane, such that each of the 2n sets X1 ∩X2 ∩· · ·∩Xn, where each Xi is the open...
150
click to vote
MP
2007
15 years 6 months ago
2007
We analyze a separation procedure for Mixed-Integer Programs related to the work of Gomory and Johnson on interpolated subadditive functions. This approach has its roots in the Go...
168
click to vote
NECO
2007
15 years 6 months ago
2007
An ensemble of stochastic non-leaky integrate-and-fire neurons with global, delayed and excitatory coupling and a small refractory period is analyzed. Simulations with adiabatic ...
169
click to vote
PVLDB
2008
15 years 6 months ago
2008
The dependency propagation problem is to determine, given a view defined on data sources and a set of dependencies on the sources, whether another dependency is guaranteed to hold...
147
click to vote
FOCM
2010
15 years 5 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...