Skip to Main content Skip to Navigation


...
hal-03346500v1  Conference papers
Claire TheobaldBastien ArcelinFrédéric PennerathBrieuc Conan-GuezMiguel Couceiro et al.  A Bayesian Convolutional Neural Network for Robust Galaxy Ellipticity Regression
ECML PKDD 221: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Bilbao, Spain. pp.135
...
hal-02383654v1  Books
Jens Gustedt. Modern C
Manning, 2019, 9781617295812
...
hal-03341413v1  Conference papers
Hans-Jörg SchurrMathias FleuryHaniel BarbosaPascal Fontaine. Alethe: Towards a Generic SMT Proof Format (extended abstract)
PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving, Sep 2021, Pittsburgh/Virtual, United States. pp.49-54, ⟨10.4204/EPTCS.336.6⟩
...
hal-03341392v1  Conference papers
Vladimir GaranzhaIgor KaporinLiudmila KudryavtsevaFrançois ProtaisNicolas Ray et al.  On Local Invertibility and Quality of Free-boundary Deformations
IMR 2021 - 29th International Meshing Roundtable, Jun 2021, Virtual, United States
...
hal-03341368v1  Conference papers
Pascal FontaineHans-Jörg Schurr. Quantifier Simplification by Unification in SMT
FroCoS 2021 - The 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.232-249, ⟨10.1007/978-3-030-86205-3_13⟩
...
hal-03341357v1  Conference papers
Hans-Jörg SchurrMathias FleuryMartin Desharnais. Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant
CADE 28 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh/Virtual, United States. ⟨10.1007/978-3-030-79876-5⟩
...
hal-03337755v1  Conference papers
Emmanuel HainryEmmanuel JeandelRomain PéchouxOlivier Zeyen. ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs
ICTAC 2021 - 18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan/Virtual, Kazakhstan. pp.357-365, ⟨10.1007/978-3-030-85315-0_20⟩
...
hal-03312797v2  Conference papers
Guilherme AlvesMaxime AmblardFabien BernierMiguel CouceiroAmedeo Napoli. Reducing Unintended Bias of ML Models on Tabular and Textual Data
The 8th IEEE International Conference on Data Science and Advanced Analytics (DSAA), Oct 2021, Porto/Online, Portugal
...
hal-03127350v2  Journal articles
Vladimir GaranzhaIgor KaporinLiudmila KudryavtsevaFrançois ProtaisNicolas Ray et al.  Foldover-free maps in 50 lines of code
ACM Transactions on Graphics, Association for Computing Machinery, 2021, Volume 40 (issue 4), Article No.102, pp 1-16. ⟨10.1145/3450626.3459847⟩
...
hal-03326002v2  Conference papers
Zhiqi KangRadu HoraudMostafa Sadeghi. Robust Face Frontalization For Visual Speech Recognition
ICCV 2021 - International Conference on Computer Vision Workshops, IEEE, Oct 2021, Montreal - Virtual, Canada. pp.1-16
...
hal-03331250v1  Journal articles
Cédric FoyAntoine DeleforgeDiego Di Carlo. Mean absorption estimation from room impulse responses using virtually supervised learning
Journal of the Acoustical Society of America, Acoustical Society of America, 2021, 150 (2), pp.1286-1299. ⟨10.1121/10.0005888⟩
...
hal-02464242v4  Conference papers
Sorin Stratulat. E-Cyclist: Implementation of an Efficient Validation of FOL ID Cyclic Induction Reasoning
SYMBOLIC COMPUTATION FOR SOFTWARE SCIENCE, Sep 2021, Linz (vitual), Austria
...
hal-03328841v1  Poster communications
Safa AlsaidiAmandine DeckerPuthineath LayEsteban MarquerPierre-Alexandre Murena et al.  A Neural Approach for Detecting Morphological Analogies
IEEE DSAA 2021 - The 8th IEEE International Conference on Data Science and Advanced Analytics, Oct 2021, Porto / Online, Portugal. IEEE DSAA 2021
...
hal-03328555v1  Preprints, Working Papers, ...
Jens Gustedt. Enforce storage stability (slides)
2021