Skip to Main content Skip to Navigation

hal-02933477v1  Conference papers
Adélaïde GenayAnatole LécuyerMartin Hachet. Incarner un Avatar en Réalité Augmentée : Revue de la Littérature
WACAI 2020 - Workshop sur les Affects, Compagnons artificiels et Interactions, CNRS, Université Toulouse Jean Jaurès, Université de Bordeaux, Jun 2020, Saint Pierre d'Oléron, France
hal-02946930v2  Reports
Guillaume AmbalAlan SchmittSergueï Lenglet. Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step
[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
hal-02936968v1  Book sections
Arnaud LallouetYves MoinardPascal NicolasIgor Stephan. Logic Programming
A Guided Tour of Artificial Intelligence Research, 2020, ⟨10.1007/978-3-030-06167-8_4⟩
hal-02536463v2  Journal articles
Guillaume AmbalSergueï LengletAlan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
hal-02476478v1  Journal articles
Ricardo MarquesChristian BouvilleKadi Bouatouch. Spectral Analysis of Quadrature Rules and Fourier Truncation-based Methods Applied to Shading Integrals
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TVCG.2019.2913418⟩
hal-02437474v1  Journal articles
Sébastien FerréPeggy Cellier. Graph-FCA: An extension of formal concept analysis to knowledge graphs
Discrete Applied Mathematics, Elsevier, 2020, 271, pp.81-102
hal-02864914v1  Journal articles
Stefan KölblElmar TischhauserPatrick DerbezAndrey Bogdanov. Troika: a ternary cryptographic hash function
Designs, Codes and Cryptography, Springer Verlag, 2020, 88 (1), pp.91-117. ⟨10.1007/s10623-019-00673-2⟩
hal-02867413v1  Conference papers
Garip KusogluBérenger BramasStéphane Genaud. Automatic task-based parallelization of C++ applications by source-to-source transformations
Compas 2020 - Conférence francophone en informatique, Jun 2020, Lyon, France
tel-02509756v1  Habilitation à diriger des recherches
Nicolas Gast. Refinements of Mean Field Approximation
Performance [cs.PF]. Université Grenoble Alpes, 2020
hal-02459821v1  Conference papers
Gaetan FrusqueJulien JungPierre BorgnatPaulo Gonçalves. Regularized Partial Phase Synchrony Index Applied to Dynamical Functional Connectivity Estimation
ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, May 2020, Barcelona, Spain. pp.1-5
hal-01332481v3  Journal articles
Jan BlechtaJosef MálekMartin Vohralík. Localization of the $W^{-1,q}$ norm for local a posteriori efficiency
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2020, 40 (2), pp.914-950. ⟨10.1093/imanum/drz002⟩
hal-01956180v3  Journal articles
Iain SmearsMartin Vohralík. Simple and robust equilibrated flux a posteriori estimates for singularly perturbed reaction-diffusion problems
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2020, 54 (6), pp.1951-1973. ⟨10.1051/m2an/2020034⟩
hal-02487883v1  Journal articles
Gang Zheng. Control of a Silicone soft tripod robot via uncertainty compensation
IEEE Robotics and Automation Letters, IEEE 2020, 5 (2), pp.2801 - 2807. ⟨10.1109/LRA.2020.2974714⟩
hal-02406816v1  Journal articles
Chengcheng SongHaoping WangYang TianGang Zheng. Event-triggered observer design for delayed output-sampled systems
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, 65 (11), pp.4824 - 4831. ⟨10.1109/TAC.2019.2960267⟩
hal-03087580v1  Conference papers
Ke WuGang Zheng. Simulation and control co-design methodology for soft robotics
2020 39th Chinese Control Conference (CCC), Jul 2020, Shenyang, China. pp.3910-3914, ⟨10.23919/CCC50068.2020.9189205⟩
hal-03087579v1  Conference papers
Gang Zheng. A simple strategy for the control of soft robot
2020 39th Chinese Control Conference (CCC), Jul 2020, Shenyang, China. pp.1751-1755, ⟨10.23919/CCC50068.2020.9189126⟩
hal-03087578v1  Conference papers
Walid AmehriGang ZhengAlexandre Kruszewski. FEM Based Workspace Estimation for Soft Robots: a Forward-Backward Interval Analysis Approach
2020 3rd IEEE International Conference on Soft Robotics (RoboSoft), May 2020, New Haven, United States. pp.170-175, ⟨10.1109/RoboSoft48309.2020.9116002⟩
hal-03043779v1  Conference papers
Matteo MarraGuillermo PolitoElisa Gonzalez Boix. Framework-aware debugging with stack tailoring
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Nov 2020, Virtual USA, United States. pp.71-84, ⟨10.1145/3426422.3426982⟩