Filtrer vos résultats
- 52
- 8
- 32
- 22
- 4
- 1
- 1
- 50
- 23
- 4
- 5
- 2
- 5
- 2
- 4
- 6
- 5
- 8
- 10
- 7
- 1
- 1
- 59
- 1
- 59
- 59
- 10
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 60
- 39
- 12
- 10
- 9
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
60 résultats
|
|
|
triés par
|
|
|
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on averageICALP 2014, Jul 2014, Copenhagen, France. pp.12, ⟨10.1007/978-3-662-43948-7_8⟩
Communication dans un congrès
hal-01096447v1
|
||
|
|
Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets13th International Conference, Formal Modeling and Analysis of Timed Systems (FORMATS 2015), Sep 2015, Madrid, Spain. ⟨10.1007/978-3-319-22975-1_2⟩
Communication dans un congrès
hal-01248814v1
|
||
|
|
The tropicalization of the entropic barrier2020
Pré-publication, Document de travail
hal-03151661v1
|
||
|
|
Interior point methods are not worse than SimplexFOCS 2022 - IEEE 63rd Annual Symposium on Foundations of Computer Science, Oct 2022, Denver, United States. pp.267-277, ⟨10.1109/FOCS54457.2022.00032⟩
Communication dans un congrès
hal-03915650v1
|
||
|
|
Tropical Complementarity Problems and Nash EquilibriaSIAM Journal on Discrete Mathematics, 2023, 37 (3), pp.1645-1665. ⟨10.1137/21M1446861⟩
Article dans une revue
hal-04355016v1
|
||
La méthode du simplexe tropicalROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision, Société française de recherche opérationnelle et d’aide à la décision (ROADEF), Feb 2014, Bordeaux, France
Communication dans un congrès
hal-01097726v1
|
|||
|
|
Static analysis of memory manipulations by abstract interpretation -- Algorithmics of tropical polyhedra, and application to abstract interpretationComputer Science [cs]. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩
Thèse
pastel-00005850v1
|
||
First steps in the formalization of convex polyhedra in CoqInternational Congress on Mathematical Software, Jul 2018, South Bend, United States
Communication dans un congrès
hal-01967576v1
|
|||
|
|
Tropical Fourier–Motzkin elimination, with an application to real-time verificationInternational Journal of Algebra and Computation, 2014, 24 (5), pp.569 - 607. ⟨10.1142/S0218196714500258⟩
Article dans une revue
hal-01087367v1
|
||
|
|
Formal Proofs for Nonlinear OptimizationJournal of Formalized Reasoning, 2015, 8 (15), pp.1-24
Article dans une revue
hal-00985675v1
|
||
A scalable algebraic method to infer quadratic invariants of switched systemsInternational Conference on Embedded Software (EMSOFT'2015), Alain Girault, INRIA, Grenoble, France and Nan Guan, Northeastern University, China, Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318262⟩
Communication dans un congrès
hal-01249320v1
|
|||
A scalable algebraic method to infer quadratic invariants of switched systemsACM Transactions on Embedded Computing Systems (TECS), 2016, Special Issue on ESWEEK2015, 15 (4), ⟨10.1145/2932187⟩
Article dans une revue
hal-01423744v1
|
|||
Solving Generic Nonarchimedean Semidefinite Programs using Stochastic Game AlgorithmsPGMO Days, Nov 2016, Palaiseau, France
Communication dans un congrès
hal-01429021v1
|
|||
|
|
Stationary solutions of discrete and continuous Petri nets with priorities10th EAI International Conference on Performance Evaluation Methodologies and Tools, Oct 2016, Taormina, France
Communication dans un congrès
hal-01421885v1
|
||
|
|
Long and winding central paths2014
Pré-publication, Document de travail
hal-01096452v1
|
||
|
|
Certification of inequalities involving transcendental functions: combining SDP and max-plus approximationEuropean Control Conference (ECC'13), Jul 2013, Zurich, Switzerland. pp.2244 - 2250
Communication dans un congrès
hal-00932348v1
|
||
|
|
A convex programming approach to solve posynomial systemsICMS 2020 - International Congress on Mathematical Software, Jul 2020, Braunschweig, Germany
Communication dans un congrès
hal-02586208v1
|
||
Combinatorial simplex algorithms can solve mean payoff games20th Conference of the International Federation of Operational Research Societies, Jul 2014, Barcelone, Spain
Communication dans un congrès
hal-01097728v1
|
|||
Tropicalizing the Simplex AlgorithmSMAI 2013 - 6ème biennale des mathématiques appliquées et industrielles, May 2013, Seignosse, France
Communication dans un congrès
hal-00930941v1
|
|||
Tropicalizing the simplex algorithmSIAM Conference on Control and its Applications (SIAM CT'13), Jul 2013, San Diego, United States
Communication dans un congrès
hal-00932350v1
|
|||
Long and winding central pathsEmerging Trends in Applied Mathematics and Mechanics (ETAMM), May 2016, Perpignan, France
Communication dans un congrès
hal-01428770v1
|
|||
|
|
Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game AlgorithmsISSAC '16: International Symposium on Symbolic and Algebraic Computation, ACM, Jul 2016, Waterloo, France. ⟨10.1145/2930889.2930935⟩
Communication dans un congrès
hal-01422638v1
|
||
|
|
Tropicalization of facets of polytopesLinear Algebra and its Applications, 2017, ⟨10.1016/j.laa.2017.02.011⟩
Article dans une revue
hal-01096435v1
|
||
|
|
The tropical double description method27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.47-58
Communication dans un congrès
inria-00455341v1
|
||
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical ProgramsACM Transactions on Embedded Computing Systems (TECS), 2017, Special Issue ESWEEK 2017, CASES 2017, CODES + ISSS 2017 and EMSOFT 2017, 16 (5s), pp.1-19. ⟨10.1145/3126502⟩
Article dans une revue
hal-01674495v1
|
|||
|
|
Computing Transience Bounds of Emergency Call Centers: a Hierarchical Timed Petri Net ApproachPETRI NETS 2022 - 43rd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2022, Bergen, Norway. pp.90-112, ⟨10.1007/978-3-031-06653-5_5⟩
Communication dans un congrès
hal-03913405v1
|
||
|
|
A Formal Disproof of Hirsch ConjectureCPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. pp.17-29, ⟨10.1145/3573105.3575678⟩
Communication dans un congrès
hal-04368266v1
|
||
|
|
Piecewise Affine Dynamical Models of Timed Petri Nets -- Application to Emergency Call CentersFundamenta Informaticae, 2021, 183 (3-4), pp.169-201. ⟨10.3233/FI-2021-2086⟩
Article dans une revue
hal-02550006v1
|
||
|
|
Tropical spectrahedraDiscrete and Computational Geometry, 2020, 63, pp.507-548. ⟨10.1007/s00454-020-00176-1⟩
Article dans une revue
hal-01422639v1
|
||
|
|
Minimal external representations of tropical polyhedraJournal of Combinatorial Theory, Series A, 2013, 120 (4), pp.907-940. ⟨10.1016/j.jcta.2013.01.011⟩
Article dans une revue
hal-00782837v1
|
- 1
- 2