-
Interactive Realizability for Second-Order Heyting Arithmetic with EM1 and SK1
We introduce a classical realizability semantics based on interactive learning for full second-order Heyting Arithmetic with excluded middle and Skolem axioms over... -
Modeling active electrolocation in weakly electric fish
34 pages, 17 figures -
A relation between the parabolic Chern characters of the de Rham bundles
corrections and references -
Exploring the Nature of Strategic Interactions in the Ratification Process of...
Do countries interact when they decide whether or not to ratify the Kyoto Protocol? If so, what is the nature of these interactions? To answer these questions, we... -
Atom interferometry
submitted to Physica Scripta as a Comment on Atomic Molecular and Optical Physics. -
Necessary and sufficient condition for the existence of a Fréchet mean on the...
First submission : Advances in Applied Probability (AAP) on May 17th 2011 (ref. AP/13983) -
Model-based provisioning and management of adaptive distributed communication...
Adaptation of communication is required to maintain the reliable connection and to ensure the minimum quality in collaborative activities. Within the framework of... -
Counting arcs in negative curvature
42 pages -
Le premier témoignage chrétien sur la prise de Valence<br />(1098)
Conférence au cours d'été Comtat d'Urgell, « Balaguer, 1105 : cruïlla de civilitzacions », Balaguer, 13-15 juillet 2005 (actes à paraître). -
Criojo: A Pivot Language for Service-Oriented Computing - The Introspective C...
Interoperability remains a significant challenge in service-oriented computing. After proposing a pivot architecture to solve three interoperability problems, namely... -
On Almost-Riemannian Surfaces
arXiv admin note: text overlap with arXiv:math/0609566 by other authors -
Experience rating in non-life insurance
This paper presents statistical models which lead to experience rating in insurance. Serial correlation for risk variables can receive endogeneous or exogeneous... -
Is unbiasing estimators always justified ?
One more example added, format changed. -
The Effect of Development Aid Unpredictability and Migrants' Remittances on F...
We use panel data on seventy-four developing countries for the period 1980-2007 to examine the effects of aid unpredictability and migrants' remittances on fiscal... -
National Debates on Race Statistics: Towards an International Comparison
The Collège d'études mondiales/FMSH and SIPA/Columbia University have opened up a process of reflection on the global issues and conflicts stemming from "diversity... -
Ni dieu ni maître : les réseaux
Un nouveau système de communication a émergé : une auto-communication de masse à travers les sites de réseaux sociaux, les blogs... Ce nouvel environnement... -
L'écart et l'entre. Ou comment penser l'altérité
Dans sa leçon inaugurale, François Jullien dresse un bilan de son chantier engagé entre pensée chinoise et philosophie ; et présente les voies selon lesquelles il... -
Quelle place pour les collections musicales en bibliothèques?
L'arrivée du compact disque (CD) au début des années 1980, support économe en espace et plus solide que le vinyle, a permis le développement de discothèques de prêt... -
SPIRA: A Network-Friendly Topology Discovery Protocol
The Internet being very large and rapidly evolving, it is always difficult to maintain a real-time view of its topology without continuously flooding it with a large... -
Non-Newtonian thin films with normal stresses: dynamics and spreading.
The dynamics of thin films on a horizontal solid substrate is investigated in the case of non-Newtonian fluids exhibiting normal stress differences, the rheology of...
