Quantification of Extramyocellular Lipids and Intramuscular Fat from Muscle Echo Intensity in Lower Limb Muscles: A Comparison of Four Ultrasound Devices against Magnetic Resonance Spectroscopy.

[BibT_eX]

[DOI]

Enzo Piponnier

Masaki Ishikawa

Sensors, 2023

Complex QA and language models hybrid architectures, Survey.

[BibT_eX]

[DOI]

CoRR, 2023

A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Nouveaux biomarqueurs vocaux pour la détection automatique de la somnolence. (New speech biomarkers for automatic sleepiness detection).

[BibT_eX]

[DOI]

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

Vincent Martin

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

Vincent Martin

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

Vincent Martin

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

Vincent Martin

CoRR, 2016

2015

Predicting the French Stock Market Using Social Media Analysis.

[BibT_eX]

[DOI]

Vincent Martin

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]

Vincent Martin

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]

Vincent Martin

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

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]

Vincent Martin

Marie Chabert

Bernard Lacaze

Signal Process., 2008

2007

Digital Watermarking of Natural Images Based on LPTV Filters.

[BibT_eX]

[DOI]

Vincent Martin

Marie Chabert

Bernard Lacaze

Proceedings of the IEEE International Conference on Acoustics, 2007

2006

Contribution des filtres LPTV et des techniques d'interpolation au tatouage numérique. (Contribution of LPTV filters and interpolation techniques to digital watermarking).

[BibT_eX]

[DOI]

Vincent Martin

PhD thesis, 2006

Domain decomposition and skeleton programming with OCamlP3l.

[BibT_eX]

[DOI]