Publications
Accueil > Actions marquantes > Publications
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks
Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada

Chen Tong, Lasserre Jean-Bernard, Magron Victor, Pauwels Edouard

A New Product Construction for the Diagnosability of Patterns in Time Petri Net
59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩

Lubat Éric, Dal Zilio Silvano, Le Botlan Didier, Pencolé Yannick, Subias Audine

Control issues and linear projection constraints on the control and on the controlled trajectory
North-Western European Journal of Mathematics, 2020

Ervedoza Sylvain

A Benchmark for Rough Sketch Cleanup
ACM Transactions on Graphics, 2020, 39 (6), pp.163.1 - 163.14. ⟨10.1145/3414685.3417784⟩

Yan Chuan, Vanderhaeghe David, Gingold Yotam

Valid attacks in argumentation frameworks with recursive attacks
Annals of Mathematics and Artificial Intelligence, 2020, 89 (1), pp.53-101. ⟨10.1007/s10472-020-09693-4⟩

Cayrol Claudette, Fandinno Jorge, Fariñas del Cerro Luis, Lagasquie-Schiex Marie-Christine

Stability of the Bakry-Émery theorem on R n
Journal of Functional Analysis, 2020, 279 (2), pp.108523. ⟨10.1016/j.jfa.2020.108523⟩

Courtade Thomas, Fathi Max

Kuperberg and Turaev-Viro Invariants in Unimodular Categories
Pacific Journal of Mathematics, 2020, ⟨10.2140/pjm.2020.306.421⟩

Costantino Francesco, Geer Nathan, Patureau-Mirand Bertrand, Turaev Vladimir

Towards a Logic-Based View of Some Approaches to Classification Tasks
18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2020), Jun 2020, Lisbonne, Portugal. pp.697-711, …

Dubois Didier, Prade Henri

Logical theories and abstract argumentation: A survey of existing works
Argument and Computation, 2020, 11 (1-2), pp.41-102. ⟨10.3233/AAC-190476⟩

Besnard Philippe, Cayrol Claudette, Lagasquie-Schiex Marie-Christine

A dual approach to Kohn-Vogelius regularization applied to data completion problem
Inverse Problems, 2020, ⟨10.1088/1361-6420/ab7868⟩

Caubet Fabien, Dardé Jérémi