With the increasing popularity of commercial uses of the Internet, business-to-business (B2B) ecommerce and e-procurement are moving corporate purchasing to the World Wide Web. We identify two types of B2B e-commerce business models. Extranets connect the buyer and its suppliers with a closed network. In contrast, electronic markets create open networks for buyer and supplier interactions. Exte...

We study generic holomorphic families of dynamical systems presenting problems of small divisors with fixed arithmetic. We prove that we have convergence for all parameter values or divergence everywhere except for an exceptional set of zero Γ-capacity. We illustrate this general principle in different problems of small divisors. As an application we obtain new richer families of non-linearizab...

In [Apt et al., 1998] we introduced the imperative programming language Alma-0 that supports declarative programming. In this paper we illustrate the hybrid programming style of Alma-0 by means of various examples that complement those presented in [Apt et al., 1998]. The presented Alma-0 programs illustrate the versatility of the language and show that “don’t know” nondeterminism can be natura...

The work in this thesis concerns the split of Einstein field equations (EFE’s) with respect to nowhere-null hypersurfaces, the GR Cauchy and Initial Value problems (CP and IVP), the Canonical formulation of GR and its interpretation, and the Foundations of Relativity. I address Wheeler’s question about the why of the form of the GR Hamiltonian constraint “from plausible first principles”. I con...

AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the structure of the model, which can translate into exponential time savings for search algorithms. In this paper we introduce an AND/OR search algorithm that explores a context-minimal AND/OR search graph in a best-first manner for so...

We prove that Birkhoff normal form of hamiltonian flows at a non-resonant singular point with given quadratic part are always convergent or generically divergent. The same result is proved for the normalization mapping and any formal first integral.

There are three types of monopole in gauge theories with fundamental matter and N = 2 supersymmetry broken by a superpotential. There are unconfined 0-monopoles and also 1 and 2-monopoles confined respectively by one or two vortices transforming under distinct components of the unbroken gauge group. If a Fayet-Iliopoulos term is added then there are only 2-monopoles. Monopoles transform in the ...