sign in · help · news · about ·

BibSonomy :: author :: Delahaye ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(106)

<< < 1 | 2 | 3 > >>

Wind field evaluation by using radar data and vector spline interpolation.
Daniel Delahaye, Christophe Rabut, and Stephane Puechmorel ICCA, page 219-224. IEEE, (2011)
to dblp by dblp on Feb 13, 2012, 12:00 AM
URL | BibTeX
Image characterization and classification by physical complexity.
Hector Zenil, Jean-Paul Delahaye, and Cédric Gaucherel Complexity 17(3):26-42 (2012)
to dblp by dblp on Feb 6, 2012, 12:00 AM
URL | BibTeX
Statistical abstraction and model-checking of large heterogeneous systems.
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, and Axel Legay STTT 14(1):53-72 (2012)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Secure Communications in ATM Networks.
Maryline Laurent, Ahmed Bouabdallah, Christophe Delahaye, Herbert Leitold, Reinhard Posch, Enrique Areizaga, and Juàn Manuel Mateos ACSAC, page 84-93. IEEE Computer Society, (1999)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
A Guaranteed Compression Scheme for Repetitive DNA Sequences.
Eric Rivals, Jean-Paul Delahaye, Max Dauchet, and Olivier Delgrange Data Compression Conference, page 453. IEEE Computer Society, (1996)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant
David Delahaye, and Micaela Mayero CoRR (2005)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
An algorithmic information-theoretic approach to the behaviour of financial markets
Hector Zenil, and Jean-Paul Delahaye CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Un metodo estable para la evaluacion de la complejidad algoritmica de cadenas cortas
Hector Zenil, and Jean-Paul Delahaye CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Unpredictability and Computational Irreducibility
Hervé Zwirn, and Jean-Paul Delahaye CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A CounterExample to Kahle-Conjecture, New Conjectures and Automated Proofs in Geometry
Francesco De Comité, and Jean-Paul Delahaye CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
On the Kolmogorov-Chaitin Complexity for short sequences
Jean-Paul Delahaye, and Héctor Zenil CoRR (2007)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Numerical Evaluation of Algorithmic Complexity for Short Strings: A Glance into the Innermost Structure of Randomness
Jean-Paul Delahaye, and Hector Zenil CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Towards a stable definition of Kolmogorov-Chaitin complexity
Jean-Paul Delahaye, and Hector Zenil CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Assessing Cognitive Randomness: A Kolmogorov Complexity Approach
Nicolas Gauvrit, Hector Zenil, and Jean-Paul Delahaye CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Statistical Model Checking : An Overview
Axel Legay, and Benoît Delahaye CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
On the Algorithmic Nature of the World
Hector Zenil, and Jean-Paul Delahaye CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Image information content characterization and classification by physical complexity
Hector Zenil, Jean-Paul Delahaye, and Cédric Gaucherel CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts
Benoît Delahaye, and Benoît Caillaud CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving.
Mélanie Jacquel, Karim Berkani, David Delahaye, and Catherine Dubois SEFM, volume 7041 of Lecture Notes in Computer Science, page 253-268. Springer, (2011)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Des structures paysagères à la dynamique des feux. Essai de typologie régionale des campagnes pyrophiles de l'ouest du Burkina Faso.
S. Caillault, and D. Delahaye Revue Internationale de Géomatique 21(3):341-357 (2011)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper