Vincent Martin

According to our database1, Vincent Martin authored at least 21 papers between 2005 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A Coq formal proof of the LaxMilgram theorem.
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.
CoRR, 2016

2015
Predicting the French Stock Market Using Social Media Analysis.
Int. J. Virtual Communities Soc. Netw., 2015

2014
Panel of computing students with disabilities.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Bandwidth Prediction on a WiMAX Network.
Proceedings of the 11th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2014

Ontology Driven Indexing: Application to Personalized Information Retrieval.
Proceedings of the Database and Expert Systems Applications, 2014

2013
Predicting the French Stock Market Using Social Media Analysis.
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.
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.
Proceedings of the Working Notes Proceedings of the MediaEval 2012 Workshop, 2012

2011
Projection Schemes for Fluid Flows through a Porous Interface.
SIAM J. Scientific Computing, 2011

Analysis of a stabilized finite element method for fluid flows through a porous interface.
Appl. Math. Lett., 2011

MagnetoHemoDynamics Effect on Electrocardiograms.
Proceedings of the Functional Imaging and Modeling of the Heart, 2011

2010
Geometric improvement for Earth observation applications.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

2008
An interpolation-based watermarking scheme.
Signal Process., 2008

2007
Digital Watermarking of Natural Images Based on LPTV Filters.
Proceedings of the IEEE International Conference on Acoustics, 2007

2006
Domain decomposition and skeleton programming with OCamlP3l.
Parallel Comput., 2006

A Novel Watermarking Scheme Based on Bilinear Interpolation for Digital Images.
Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006

Substitutive watermarking algorithms based on interpolation.
Proceedings of the 14th European Signal Processing Conference, 2006

2005
Modeling Fractures and Barriers as Interfaces for Flow in Porous Media.
SIAM J. Scientific Computing, 2005

A Spread Spectrum Watermarking Scheme Based on Periodic Clock Changes for Digital Images.
Proceedings of the Information Hiding, 7th International Workshop, 2005

Single and multiple spread spectrum watermarking based on periodic clock changes.
Proceedings of the 13th European Signal Processing Conference, 2005


  Loading...