Skip to Main content Skip to Navigation

Search by documents



...
hal-01706146v1  Conference papers
Patrick BechonMagali BarbierChristophe GrandSimon LacroixCharles Lesire et al.  Integrating planning and execution for a team of heterogeneous robots with time and communication constraints
IEEE International Conference on Robotics and Automation (ICRA 2018), May 2018, Brisbanne, Australia. 7p
...
hal-01709008v1  Conference papers
Alexandre AlboreSilvano Dal ZilioMarie de RoquemaurelChristel SeguinPierre Virelizier. Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. 10p
...
hal-01653161v1  Journal articles
P. ApkarianD. Noll. The H∞ Control Problem is Solved
Aerospace Lab, Alain Appriou, 2017, p. 1-11. ⟨10.12762/2017.AL13-01⟩
...
hal-01629365v1  Journal articles
Kévin GuerchJustin DekanyJ R DennisonJustin ChristensenThierry Paulmier et al.  Cathodoluminescence studies of defects in coated boron nitride
Journal of Physics D: Applied Physics, IOP Publishing, 2017, 50 (29), pp.1-12. ⟨10.1088/1361-6463/aa78b7⟩
...
hal-01828682v1  Conference papers
Pierre-Jean BarjhouxYoussef DiouaneStéphane GrihonDimitri BettebghorJoseph Morlier. Mixed Variable Structural Optimization: Toward an Efficient Hybrid Algorithm
12th World Congress on Structural and Multidisciplinary Optimisation, Jun 2017, Braunschweig, Germany. pp.1880-1896, ⟨10.1007/978-3-319-67988-4_140⟩
...
hal-01926480v1  Conference papers
Sylvain DubreuilJoan Mas-ColomerMichel SalaünNathalie BartoliThierry Lefebvre. Évaluation de l'incertitude associée à l'interpolation de maillage dans un calcul couplé partitionné
13e colloque national en calcul des structures, Université Paris-Saclay, May 2017, Giens, Var, France
...
cel-01452867v3  Lectures
Catherine TessierFabienne VialletArthur MaryBertrand TonduLucie Baudouin et al.  Formation Doctorale "Éthique de la recherche et intégrité scientifique
Doctorat. "Éthique de la recherche et Intégrité scientifique", Toulouse, France. 2017, pp.56
...
hal-01510979v1  Conference papers
Érik Martin-DorelPierre Roux. A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations
The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.90 - 99, ⟨10.1145/3018610.3018622⟩
...
hal-01706575v1  Journal articles
Stanislas GuillemantMilan MaksimovicAlain HilgersFilippo PantelliniLamy Laurent et al.  A Study of Solar Orbiter Spacecraft–Plasma Interactions Effects on Electric Field and Particle Measurements
IEEE Transactions on Plasma Science, Institute of Electrical and Electronics Engineers, 2017, 45 (9), page 2578-2587
...
hal-01711007v1  Journal articles
Emanuele ArceseFrançois RogierJean-Pierre Boeuf. Plasma fluid modeling of microwave streamers: Approximations and accuracy
Physics of Plasmas, American Institute of Physics, 2017, 24 (11), pp.113517. ⟨10.1063/1.5006651⟩
...
hal-01407484v1  Journal articles
Laurence CholvyLaurent PerrusselJean-Marc Thévenin. Using inconsistency measures for estimating reliability
International Journal of Approximate Reasoning, Elsevier, 2017, 89, pp.41-57. ⟨10.1016/j.ijar.2016.10.004⟩