Skip to Main content Skip to Navigation

pastel-00927122v1  Theses
Zheng Qu. Nonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
inria-00112838v1  Journal articles
Sylvain GellyOlivier Teytaud. Bayesian Networks: a Non-Frequentist Approach for Parametrization, and a more Accurate Structural Complexity Measure
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006
hal-02174938v2  Journal articles
Florentin DelaineBérengère LebentalHervé Rivano. In Situ Calibration Algorithms for Environmental Sensor Networks: a Review
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2019, 19 (15), pp 5968 - 5978. ⟨10.1109/JSEN.2019.2910317⟩
hal-00781127v1  Journal articles
Jing-Rebecca LiLeslie Greengard. Strongly consistent marching schemes for the wave equation
Journal of Computational Physics, Elsevier, 2003, 188 (1), pp.194--208
inria-00386299v1  Journal articles
Régis DupontAndreas EngeFrançois Morain. Building curves with arbitrary small MOV degree over finite prime fields
Journal of Cryptology, Springer Verlag, 2005, 18 (2), pp.79-89
hal-00781131v1  Journal articles
Jing-Rebecca LiLeslie Greengard. High order marching schemes for the wave equation in complex geometry
Journal of Computational Physics, Elsevier, 2004, 198 (1), pp.295--309
hal-00782990v1  Journal articles
Jing-Rebecca LiDonna CalhounLucien Brush. Efficient thermal field computation in phase-field models
Journal of Computational Physics, Elsevier, 2009, 228 (24), pp.8945--8957. ⟨10.1016/⟩
hal-00782837v1  Journal articles
Xavier AllamigeonR.D. Katz. Minimal external representations of tropical polyhedra
Journal of Combinatorial Theory, Series A, Elsevier, 2013, 120 (4), pp.907-940. ⟨10.1016/j.jcta.2013.01.011⟩
inria-00497177v2  Journal articles
Vincent SilesHugo Herbelin. Pure Type System conversion is always typable
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
inria-00424856v1  Journal articles
Gethin NormanCatuscia PalamidessiDavid ParkerPeng Wu. Model checking probabilistic and stochastic extensions of the $\pi$-calculus
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2009, 35 (2), pp.209--223
hal-01096715v1  Journal articles
Andrei AgrachevLuca RizziPavel Silveira. On conjugate times of LQ optimal control problems
Journal of Dynamical and Control Systems, Springer Verlag, 2014, pp.14
hal-00940791v1  Journal articles
Stéphane GaubertSergei Sergeev. The level set method for the two-sided max-plus eigenproblem
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (2), pp.105-134. ⟨10.1007/s10626-012-0137-z⟩
inria-00386311v1  Journal articles
Régis DupontAndreas Enge. Provably Secure Non-Interactive Key Distribution Based on Pairings
Discrete Applied Mathematics, Elsevier, 2006, 154 (2), pp.270-276
hal-00710290v3  Journal articles
Alexander ZehSergey Bezzateev. A New Bound on the Minimum Distance of Cyclic Codes Using Small-Minimum-Distance Cyclic Codes
Designs, Codes and Cryptography, Springer Verlag, 2012, pp.229-246
inria-00111208v1  Conference papers
Michel FliessCédric JoinHebertt Sira-Ramirez. Closed-loop fault-tolerant control for uncertain nonlinear systems
Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems, Sep 2005, Stuttgart, Germany. pp.217-233
inria-00425077v1  Conference papers
Michel FliessCédric Join. Systematic risk analysis: first steps towards a new definition of beta
Cognitive Systems with Interactive Sensors, COGIS'09, SEE, Nov 2009, Paris, France
inria-00172366v1  Conference papers
Jean-Pierre BarbotMichel FliessThierry Floquet. An algebraic framework for the design of nonlinear observers with unknown inputs
46th IEEE Conference on Decision and Control, 2007, New Orleans, United States
inria-00533447v1  Journal articles
Djamila BenmerzoukJean-Pierre Barbot. Chaotic behavior analysis based on sliding bifurcations
Nonlinear Analysis: Hybrid Systems, Elsevier, 2010, 4 (3), pp.503-512. ⟨10.1016/j.nahs.2009.12.001⟩
inria-00288107v3  Journal articles
Michel FliessCédric Join. Commande sans modèle et commande à modèle restreint
e-STA Sciences et Technologies de l’Automatique, SEE - Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication 2008, 5 (4), pp.1-23
inria-00120991v1  Conference papers
Alexandre Sedoglavic. Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries
Algebraic Biology 2007, Jul 2007, RISC, Castle of Hagenberg, Austria, Austria. pp.277-291, ⟨10.1007/978-3-540-73433-8_20⟩
inria-00105673v1  Conference papers
Michel FliessStefan FuchshumerKurt SchlacherHebertt Sira-Ramirez. Discrete-time linear parametric identification: An algebraic approach
2èmes Journées Identification et Modélisation Expérimentale - JIME'2006, Nov 2006, Poitiers, France
inria-00000824v1  Conference papers
Michel FliessCédric JoinHebertt Sira-Ramirez. Complex Continuous Nonlinear Systems: Their Black Box Identification And Their Control
Proc. 14th IFAC Symposium on System Identification (SYSID 2006), Mar 2006, Newcastle, Australia
inria-00126995v1  Conference papers
Alexandre Sedoglavic. A probabilistic algorithm to test local algebraic observability in polynomial time
International Symposium on Symbolic and Algebraic Computation, Jul 2001, London, Ontorio, Canada