Sciweavers

4066 search results - page 670 / 814
» Almost Complete Sets
Sort
View
JAR
2010
95views more  JAR 2010»
15 years 1 months ago
Equivariant Unification
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
James Cheney
JMLR
2010
157views more  JMLR 2010»
15 years 1 months ago
Why are DBNs sparse?
Real stochastic processes operating in continuous time can be modeled by sets of stochastic differential equations. On the other hand, several popular model families, including hi...
Shaunak Chatterjee, Stuart Russell
191
Voted
JSYML
2010
120views more  JSYML 2010»
15 years 1 months ago
Universally measurable subgroups of countable index
We prove that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the i...
Christian Rosendal
MEMETIC
2010
311views more  MEMETIC 2010»
15 years 1 months ago
Iterated local search with Powell's method: a memetic algorithm for continuous global optimization
In combinatorial solution spaces Iterated Local Search (ILS) turns out to be exceptionally successful. The question arises: is ILS also capable of improving the optimization proces...
Oliver Kramer
MMAS
2010
Springer
15 years 1 months ago
On the Stochastic Modeling of Rigid Body Systems with Application to Polymer Dynamics
The stochastic equations of motion for a system of interacting rigid bodies in a solvent are formulated and studied. Three-dimensional bodies of arbitrary shape, with arbitrary cou...
J. Walter, O. Gonzalez, J. H. Maddocks