709 search results - page 114 / 142 » An Equational Theory for Transactions |
175
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
154
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
162
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
We explore the striking mathematical connections that exist between market scoring rules, cost function based prediction markets, and no-regret learning. We first show that any c...
180
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The previous studies of genome-wide expression patterns show that a certain percentage of genes are cell cycle regulated. The expression data has been analyzed in a nu...
205
click to vote
FOCM
2008
15 years 6 months ago
2008
We consider the problem of finding a singularity of a differentiable vector field X defined on a complete Riemannian manifold. We prove a unified result for the existence and local...