Vincent Martin

PhD thesis, 2022

Statistical Destriping of Pushbroom-Type Images Based on an Affine Detector Response.

[BibT_eX]

[DOI]

Mehdi Chahine Amrouche

Hervé Carfantan

Jérôme Idier

IEEE Trans. Geosci. Remote. Sens., 2022

A Coq Formalization of Lebesgue Integration of Nonnegative Functions.

[BibT_eX]

[DOI]

J. Autom. Reason., 2022

Lebesgue Induction and Tonelli's Theorem in Coq.

[BibT_eX]

[DOI]

CoRR, 2022

Stochastic Pairing for Contrastive Anomaly Detection on Time Series.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition and Artificial Intelligence, 2022

2021

Lebesgue integration. Detailed proofs to be formalized in Coq.

[BibT_eX]

[DOI]

François Clément

CoRR, 2021

Amélioration du pronostic par apprentissage profond pour des applications de maintenance prédictive.

[BibT_eX]

[DOI]

Proceedings of the Extraction et Gestion des Connaissances, 2021

2020

Adaptive Inexact Semismooth Newton Methods for the Contact Problem Between Two Membranes.

[BibT_eX]

[DOI]

Jad Dabaghi

Martin Vohralík

J. Sci. Comput., 2020

2017

A Coq formal proof of the LaxMilgram theorem.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

The Lax-Milgram Theorem. A detailed proof to be formalized in Coq.

[BibT_eX]

[DOI]

François Clément

CoRR, 2016

2015

Predicting the French Stock Market Using Social Media Analysis.

[BibT_eX]

[DOI]

Emmanuel Bruno

Elisabeth Murisasco

Int. J. Virtual Communities Soc. Netw., 2015

2014

Panel of computing students with disabilities.

[BibT_eX]

[DOI]

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Bandwidth Prediction on a WiMAX Network.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2014

Ontology Driven Indexing: Application to Personalized Information Retrieval.

[BibT_eX]

[DOI]

Emmanuel Bruno

Elisabeth Murisasco

Proceedings of the Database and Expert Systems Applications, 2014

2013

Predicting the French Stock Market Using Social Media Analysis.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Semantic and Social Media Adaptation and Personalization, 2013

FIDO - facilitating interactions for dogs with occupations: wearable dog-activated interfaces.

[BibT_eX]

[DOI]

Proceedings of the 17th Annual International Symposium on Wearable Computers. ISWC 2013, 2013

2012

Violence Detection in Video by Large Scale Multi-Scale Local Binary Pattern Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Working Notes Proceedings of the MediaEval 2012 Workshop, 2012

2011

Projection Schemes for Fluid Flows through a Porous Interface.

[BibT_eX]

[DOI]

Alfonso Caiazzo

Miguel A. Fernández

Jean-Frédéric Gerbeau

SIAM J. Sci. Comput., 2011

Analysis of a stabilized finite element method for fluid flows through a porous interface.

[BibT_eX]

[DOI]

Alfonso Caiazzo

Miguel A. Fernández

Appl. Math. Lett., 2011

MagnetoHemoDynamics Effect on Electrocardiograms.

[BibT_eX]

[DOI]

Agnes Drochon

Odette Fokapu

Jean-Frédéric Gerbeau

Proceedings of the Functional Imaging and Modeling of the Heart, 2011

2010

Geometric improvement for Earth observation applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

2008

An interpolation-based watermarking scheme.

[BibT_eX]

[DOI]

Signal Process., 2008

2007

Digital Watermarking of Natural Images Based on LPTV Filters.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2007

2006

Domain decomposition and skeleton programming with OCamlP3l.

[BibT_eX]

[DOI]

Parallel Comput., 2006

Décomposition de domaine pour un milieu poreux fracturé : un modèle en 3D avec fractures.

[BibT_eX]

[DOI]

ARIMA J., 2006

A Novel Watermarking Scheme Based on Bilinear Interpolation for Digital Images.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006

Substitutive watermarking algorithms based on interpolation.

[BibT_eX]

[DOI]

Proceedings of the 14th European Signal Processing Conference, 2006

2005

Modeling Fractures and Barriers as Interfaces for Flow in Porous Media.

[BibT_eX]

[DOI]

Jérôme Jaffré

Jean E. Roberts

SIAM J. Sci. Comput., 2005

A Spread Spectrum Watermarking Scheme Based on Periodic Clock Changes for Digital Images.

[BibT_eX]

[DOI]

Proceedings of the Information Hiding, 7th International Workshop, 2005

Single and multiple spread spectrum watermarking based on periodic clock changes.

[BibT_eX]

[DOI]