Search - Archive ouverte HAL Access content directly

Filter your results

860 Results
Domains : math
Image document

Certified Singular Value Decomposition

Joris van Der Hoeven , Jean-Claude Yakoubsohn
2018
Preprints, Working Papers, ... hal-01941987v1
Image document

Simple permutations poset

Adeline Pierrot , Dominique Rossin
2011
Preprints, Working Papers, ... hal-00649396v1
Image document

Codes algébriques et géométriques, applications à la cryptographie et à l'information quantique

Alain Couvreur
Mathématiques [math]. Université Paris Diderot, 2019
Habilitation à diriger des recherches tel-02438668v1

The Brownian continuum random tree as the unique solution to a fixed point equation

Marie Albenque , Christina Goldschmidt
Electronic Communications in Probability, 2015, 20 (61), pp.1-14. ⟨10.1214/ECP.v20-4250⟩
Journal articles hal-02408709v1
Image document

La production de nitrites lors de la dénitrification des eaux usées par biofiltration - Stratégie de contrôle et de réduction des concentrations résiduelles

Vincent Rocher , Cédric Join , Stéphane Mottelet , Jean Bernier , Sabrina Rechdaoui-Guérin et al.
Revue des Sciences de l'Eau / Journal of Water Science, 2018, 31 (1), pp.61-73. ⟨10.7202/1047053ar⟩
Journal articles hal-01640983v2
Image document

comparison-based algorithms are robust and randomized algorithms are anytime.

Sylvain Gelly , Sylvie Ruette , Olivier Teytaud
Evolutionary Computation, 2007
Journal articles inria-00173221v1
Image document

Directed topological complexity

Eric Goubault , Aurélien Sagnier , Michael Färber
Journal of Applied and Computational Topology, 2019
Journal articles hal-02434377v1
Image document

Representation of Monoids and Lattice Structures in the Combinatorics of Weyl Groups

Joël Gay
Discrete Mathematics [cs.DM]. Université Paris Saclay (COmUE), 2018. English. ⟨NNT : 2018SACLS209⟩
Theses tel-01861199v1
Image document

Admissible Tools in the Kitchen of Intuitionistic Logic

Andrea Condoluci , Matteo Manighetti
Seventh International Workshop on Classical Logic and Computation (CL&C 2018), Jul 2018, Oxford, United Kingdom. pp.10-23
Conference papers hal-01870112v1
Image document

Hopf algebras on decorated noncrossing arc diagrams

Vincent Pilaud
Journal of Combinatorial Theory, Series A, 2019, 161, pp.486-507. ⟨10.1016/j.jcta.2018.09.005⟩
Journal articles hal-02343600v1
Image document

Model-free control for VSC-based HVDC systems

Abderrahmane Barkat , Bogdan Marinescu , Cédric Join , Michel Fliess
8th IEEE PES Innovative Smart Grid Technologies Conference, ISGT Europe 2018, Oct 2018, Sarajevo, Bosnia and Herzegovina. ⟨10.1109/ISGTEurope.2018.8571469⟩
Conference papers hal-01820886v1

On the motion planning of rolling surfaces

Abdelkader Chelouah , Yacine Chitour
Forum Mathematicum, 2003, 15 (5), pp.727-758. ⟨10.1515/form.2003.039⟩
Journal articles istex hal-02320843v1
Image document

The facial weak order and its lattice quotients

Aram Dermenjian , Christophe Hohlweg , Vincent Pilaud
Transactions of the American Mathematical Society, 2018, 370 (2), pp.1469-1507. ⟨10.1090/tran/7307⟩
Journal articles hal-02343548v1
Image document

Sparse polynomial interpolation. Exploring fast heuristic algorithms over finite fields

Joris van Der Hoeven , Grégoire Lecerf
2019
Preprints, Working Papers, ... hal-02382117v1
Image document

Réflexions sur la question fréquentielle en traitement du signal

Michel Fliess
[Rapport de recherche] 2005, pp.7
Reports inria-00000461v1
Image document

Improving heuristics for network modularity maximization using an exact algorithm

Sonia Cafieri , Pierre Hansen , Leo Liberti
Discrete Applied Mathematics, 2014, 163 (1), pp 65-72. ⟨10.1016/j.dam.2012.03.030⟩
Journal articles hal-00935211v1

Random sampling of plane partitions

Olivier Bodini , Eric Fusy , Carine Pivoteau
Combinatorics, Probability and Computing, 2010, 19 (2), pp.201-226
Journal articles hal-00193199v1

Eigenvectors of Non-Linear Maps on the Cone of Positive Semidefinite Matrices Application to Stability Analysis

Nikolas Stott , Xavier Allamigeon , Stéphane Gaubert , Eric Goubault , Sylvie Putot et al.
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Conference papers hal-01263384v1
Image document

Graph properties of graph associahedra

Thibault Manneville , Vincent Pilaud
Seminaire Lotharingien de Combinatoire, 2015, 73, pp.B73d
Journal articles hal-01276806v1
Image document

Relaxed Hensel lifting of triangular sets

Romain Lebreton
MEGA: Effective Methods in Algebraic Geometry, Jun 2013, Frankfurt, Germany
Conference papers lirmm-01282077v1
Image document

Contraction-free proofs and finitary games for Linear Logic

André Hirschowitz , Michel Hirschowitz , Tom Hirschowitz
MFPS 2009, 2009, Oxford, United Kingdom. pp.287-305, ⟨10.1016/j.entcs.2009.07.095⟩
Conference papers hal-00387452v1
Image document

Systematic and multifactor risk models revisited

Michel Fliess , Cédric Join
First Paris Financial Management Conference, Dec 2013, Paris, France. http://khuongnguyen.free.fr/PFMC-2013/Program_Papers.pdf
Conference papers hal-00920175v1

On the Power of Substitution in the Calculus of Structures

Lutz Strassburger , Novak Novakovic
ACM Transactions on Computational Logic, 2015, 16 (3), ⟨10.1145/2701424⟩
Journal articles hal-00925707v1
Image document

A model-free control strategy for an experimental greenhouse with an application to fault accommodation

Frédéric Lafont , Jean-François Balmat , Nathalie Pessel , Michel Fliess
Computers and Electronics in Agriculture, 2015, 110 (1), pp.139-149
Journal articles hal-01081757v1

An upper bound on the number of rational points of arbitrary projective varieties over finite fields

Alain Couvreur
Proceedings of the American Mathematical Society, 2016, 144 (9), pp.3671-3685. ⟨10.1090/proc/13015⟩
Journal articles hal-01069510v1

Associahedra for finite type cluster algebras and minimal relations between $\mathbf{g}$-vectors

Arnau Padrol , Yann Palu , Vincent Pilaud , Pierre-Guy Plamondon
2019
Preprints, Working Papers, ... hal-02186092v1

Datalog and Constraint Satisfaction with Infinite Templates

Manuel Bodirsky , Victor Dalmau
Journal on Computer and System Sciences, 2013, 79, pp.79-100
Journal articles hal-00756928v1
Image document

A MILP approach for designing robust variable-length codes based on exact free distance computation

Hassan Hijazi , Amadou Diallo , Michel Kieffer , Leo Liberti , Claudio Weidmann et al.
DCC 2012, Apr 2012, Snowbird, United States. pp.257 - 266, ⟨10.1109/DCC.2012.33⟩
Conference papers hal-00727540v1
Image document

Optimizing Low-Discrepancy Sequences with an Evolutionary Algorithm

François-Michel De Rainville , Christian Gagné , Olivier Teytaud , Denis Laurendeau
Genetic and Evolutionary Computation Conference, 2009, Montréal, Canada. 8 p
Conference papers inria-00386475v1
Image document

Active magnetic bearing: A new step for model-free control

Jérôme de Miras , Cédric Join , Michel Fliess , Samer Riachy , Stéphane Bonnet et al.
52nd IEEE Conference on Decision and Control, CDC 2013, Dec 2013, Florence, Italy. pp.7449-7454
Conference papers hal-00857649v1