5,598 datasets found

We introduce the resource control cube, a system consisting of eight intuitionistic lambda calculi with either implicit or explicit control of resources and with...

Après la crise du milieu du XIXe siècle les aliénistes rouennais font un état de la population asilaire en Seine-Inférieure en 1853. Cette enquête permet de mettre en...

An original alienist movement set up in "Lower Seine" with the creation of the departemental public asylum of Saint-Yon in 1825 and the opening of the agricultural...

We present an algorithm for the computation of the topological type of a real compact Riemann surface associated to an algebraic curve, i.e., its genus and the...

During academic year 2009-2010, I carried fieldwork in Bucharest on a popular music genre called maneleThis paper deals with their ironic and parodic aspects. Please...

The logsum formula, which provides the expected maximum utility for the multinomial logit model, is often used as a measure of welfare. We provide here a closed form...

31 pages

This note presents some equalities in law for $Z_N:=\det(\Id-G)$, where $G$ is an element of a subgroup of the set of unitary matrices of size $N$, endowed with its...

See paper for full list of authors. Preliminary results for Fall 2011

This paper concerns the problem of collision of two solitons for the quartic generalized Korteweg-de Vries equation. We introduce a new framework to describe the...

Published in at http://dx.doi.org/10.1214/009053606000001451 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics...

Let $f$ be a probability density and $C$ be an interval on which $f$ is bounded away from zero. By establishing the limiting distribution of the uniform error of the...

19 pages, 3 figures

We introduce a theoretical framework that contributes to the understanding of non-communicable chronic diseases' (NCDs) epidemics: even if NCDs are non-infectious...

This article analyses the corruption phenomenon in Open Source Software Organizations using a deductive approach. For that purpose, we examine whether there may be...

Time properties are key requirements for the reliability of Safety Critical Real-Time Systems (RTS). UML and MARTE are standardized modelling languages widely accepted...

This paper gives an abstract description of decision procedures for Satisfiability Modulo Theory (SMT) as proof search procedures in a sequent calculus with polarities...

Humans can lie strategically in order to leverage on their negotiation power. For instance, governments can claim that a "scapegoat" third party is responsible for...

Publié in J. Operational Risk 7, 3-23 (Winter 2013) DOI : https://doi.org/10.21314/jop.2012.113

We study the absolute continuity of ergodic measures of Markov chains $X_{n+1}=F(X_n,Y_{n+1})$ for the discrete case, and $dX_t=b(X_t)dt+\sigma(X_t).dW_t$ for the...