Skip to Main content Skip to Navigation

hal-00783099v1  Journal articles
Emmanuel JeandelGuillaume Theyssier. Subshifts as models for MSO logic
Information and Computation, Elsevier, 2013, pp.1-15. ⟨10.1016/j.ic.2013.01.003⟩
hal-01262173v1  Journal articles
Valérie BerthéEric DomenjoudDamien JametXavier Provençal. Fully Subtractive Algorithm, Tribonacci numeration and connectedness of discrete planes
RIMS Kôkyûroku Bessatsu, Research Institute for Mathematical Sciences Kyoto University Kyoto, 606-8502 JAPAN, 2014, Numeration and Substitution 2012, pp.159-174
tel-02152862v1  Theses
Rodrigo Dorantes Gilardi. Bio-mathematical aspects of the plasticity of proteins
Bioinformatics [q-bio.QM]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM092⟩
hal-00310126v1  Conference papers
Daniel HirschkoffTom HirschowitzDamien PousAlan SchmittJean-Bernard Stefani. Component-Oriented Programming with Sharing: Containment is not Ownership
Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩
hal-01571434v1  Conference papers
Bertrand KerautretAdrien KrähenbühlIsabelle Debled-RennessonJacques-Olivier Lachaud. On the Implementation of Centerline Extraction Based on Confidence Vote in Accumulation Map
RRPR 2016 1st Workshop on Reproducible Research in Pattern Recognition, Bertrand Kerautret; Miguel Colom; Pascal Monasse, Dec 2016, Cancùn, Mexico. pp.116-130, ⟨10.1007/978-3-319-56414-2_9⟩
hal-01364622v1  Conference papers
Damien JametXavier ProvençalLafrenière Nadia. Generation of Digital Planes Using Generalized Continued-Fractions Algorithms
19th IAPR International Conference on Discrete Geometry for Computer Imagery, Apr 2016, Nantes, France. pp.45-56, ⟨10.1007/978-3-319-32360-2_4⟩
hal-00780689v1  Journal articles
Bertrand KerautretJacques-Olivier Lachaud. Meaningful Scales Detection along Digital Contours for Unsupervised Local Noise Estimation
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2012, 34 (12), pp.2379--2392. ⟨10.1109/TPAMI.2012.38⟩
hal-00709484v1  Journal articles
Roman Hossein KhonsariJulien OlivierPaul VigneauxSophie SanchezPaul Tafforeau et al.  A mathematical model for mechanotransduction at the early steps of suture formation
Proceedings of the Royal Society of London. Series B, Containing papers of a Biological character. Royal Society (Great Britain), Royal Society, The, 2013, 280 (1759), pp.20122670. ⟨10.1098/rspb.2012.2670⟩
hal-01096402v1  Conference papers
Pierre l'EcuyerChristian LécotBruno Tuffin. Convergence rates for the Array-RQMC method
Eleventh International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing (MCQMC'14), Apr 2014, Leuven, Belgium
hal-00753935v1  Journal articles
Eric DomenjoudLaurent Vuillon. Geometric Palindromic Closure
Uniform Distribution Theory, Mathematical Institute of the Slovak Academy of Sciences, 2012, 7 (2), pp.109-140
hal-01359558v1  Conference papers
Bertrand KerautretAdrien KrähenbühlIsabelle Debled-RennessonJacques-Olivier Lachaud. Analyse géométrique d'objets tubulaires 3D basée sur l'accumulation de normales
RFIA 2016 - Reconnaissance des Formes et l'Intelligence Artificielle, Jun 2016, Clermont Ferrand, France
hal-01239553v1  Conference papers
Christian LécotPierre l'EcuyerBruno Tuffin. Recent developments on Array-RQMC
IMACS MCM 2015 Conference, Jul 2015, Linz, Austria
hal-01442384v1  Journal articles
Yi-Han SongA-Li LuoGeorges ComteZhong-Rui BaiJian-Nan Zhang et al.  Relative flux calibration for the Guoshoujing Telescope (LAMOST)
Research in Astronomy and Astrophysics, IOP Publishing, 2012, 12 (4), pp.453-464. ⟨10.1088/1674-4527/12/4/009⟩
hal-00944502v1  Conference papers
Pablo ArrighiNicolas SchabanelGuillaume Theyssier. Intrinsic Simulations between Stochastic Cellular Automata
18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium, Journées Automates Cellulaires, 2012, France. pp.208-224
hal-01290471v2  Journal articles
Didier ClamondDenys DutykhAndré Galligo. Algebraic method for constructing singular steady solitary waves: A case study
Proceedings of the Royal Society of London, Royal Society, The, 2016, 472 (2191), pp.20160194