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

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

2006

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

[BibT_eX]

[DOI]

ARIMA J., 2006

2005

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

[BibT_eX]

[DOI]

Vincent Martin

Jérôme Jaffré

Jean E. Roberts

SIAM J. Sci. Comput., 2005

Domain Decomposition and Skeleton Programming with OCamlP3l.

[BibT_eX]

Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

Vincent Martin

Bibliography

Loading...