208 citations
- Institut national de recherche en sciences et technologies du numériqueFR17 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR3 papers
- Centre de Recherche en Économie et StatistiqueFR2 papers
- Centre de Recherche en Mathématiques de la DécisionFR2 papers
- Hendrix Genetics (France)FR2 papers
- Laboratoire de Mathématiques Jean LerayFR2 papers
- Aarhus UniversityDK1 paper
- Centrale MéditerranéeFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Institut de Mathématiques de MarseilleFR1 paper
- Institut National de la Statistique et des Etudes EconomiquesFR1 paper
- Institut Polytechnique de ParisFR1 paper
7 papers · 1 filter
Time Series Technical Analysis via New Fast Estimation Methods: A Preliminary Study in Mathematical Finance
Michel Fliess, Cédric Join
New fast estimation methods stemming from control theory lead to a fresh look at time series, which bears some resemblance to "technical analysis". The results are applied to a typ…
A morphogenetic crop model for sugar-beet (Beta vulgaris L.)
Sébastien Lemaire, Fabienne Maupas, Paul-Henry Cournède +1
This paper is the instructions for the proceeding of the International Symposium on Crop. Sugar beet crop models have rarely taken into account the morphogenetic process generating…
Critique du rapport signal à bruit en communications numériques -- Questioning the signal to noise ratio in digital communications
Michel Fliess
The signal to noise ratio, which plays such an important rôle in information theory, is shown to become pointless for digital communications where the demodulation is achieved via…
Localisable moving average stable and multistable processes
Kenneth Falconer, Ronan Le Guével, Jacques Lévy-Véhel
We study a particular class of moving average processes which possess a property called localisability. This means that, at any given point, they admit a ``tangent process'', in a…
The computability path ordering: the end of a quest
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for which we p…
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Constructions, whi…