28 articles – 413 references  [version française]
.:. Browse > Document list .:.
441 documents ordered by :
First Previous ... 4 - 5 - 6 - 7 - 8 - 9 - 10 ... Next Last
Entry Byte Code Verification
Lanet J.-L.
(2010) Inconnu [hal-00638023 - version 1]
Effective descent for differential operators
Compoint E., Van Der Put M., Weil J.-A.
Journal of Algebra 324, 1 (2010) 146-158 [hal-00637676 - version 1]
Quasi-cyclic codes as codes over rings of matrices
Cayrel P.-L., Chabot C., Necer A.
Finite Fields and Theirs Applications 16, 2 (2010) 100-115 [hal-00637617 - version 1]
Renormalization, isogenies, and rational symmetries of differential equations
Bostan A., Boukraa S., Hassani S., Maillard J.M., Weil J.-A., Zenine N., Abarenkova N.
Advances in Mathematical Physics 2010, Article ID 941560 (2010) 44 pages [hal-00633847 - version 1]
Frobenius Method for Computing Power Series Solutions of Linear Higher-Order Differential Systems
Barkatou M. A., Cluzeau T., El Bacha C.
Dans Proceedings of Mathematical Theory of Networks and Systems (MTNS) 2010, Budapest (Hungary) - Proceedings of Mathematical Theory of Networks and Systems (MTNS) 2010, Budapest (Hungary), Hongrie (2010) [hal-00633268 - version 1]
Symmetries, parametrizations and potentials of multidimensional linear systems
Cluzeau T., Quadrat A.
Dans Proceedings of Mathematical Theory of Networks and Systems (MTNS) 2010 - Proceedings of Mathematical Theory of Networks and Systems (MTNS) 2010, Hongrie (2010) [hal-00633264 - version 1]
Module structure of classical multidimensional systems appearing in mathematical physics
Cluzeau T., Quadrat A.
Dans Proceedings of Mathematical Theory of Networks and Systems (MTNS) 2010 - Proceedings of Mathematical Theory of Networks and Systems (MTNS) 2010, Hongrie (2010) [hal-00633261 - version 1]
Redéfinition de la supervision dynamique d'une automobile à partir de nouveaux capteurs
Ouahi M., Stephant J., Meizel D.
Dans Conférence Internationale Francophone d'Automatique (CIFA) - Conférence Internationale Francophone d'Automatique (CIFA), France (2010) [hal-00633227 - version 1]
Redefining Automotive Supervision Using new sensor technology
Ouahi M., Stephant J., Meizel D.
Dans International Symposium on Advanced Vehicle Control (AVEC) - International Symposium on Advanced Vehicle Control (AVEC), Royaume-Uni (2010) [hal-00633225 - version 1]
Simultaneous Observation of Inputs and State of Wheeled Vehicle Model
Ouahi M., Stephant J., Meizel D.
Dans 7th IFAC Symposium on Intelligent Autonomous Vehicle (IAV) - 7th IFAC Symposium on Intelligent Autonomous Vehicle (IAV), Italie (2010) [hal-00633222 - version 1]
Swinging Atwood machine: experimental and numerical results, and a theoretical study
Pujol O., Pérez J.P., Ramis J.-P., Simó C., Simon S. H., Weil J.-A.
Physica D: Nonlinear Phenomena 239, 12 (2010) 1067-1081 [hal-00629803 - version 1]
A GIS Platform for Automatic Navigation into Georeferenced Scenes Using GIS Scene Explorer (GIS-SE)
Yiakoumettis C. P., Bardis G., Miaoulis G., Plemenos D., Ghazanfarpour D.
Dans Studies in Computational Intelligence - Intelligent Computer Graphics'2010, Grèce (2010) [hal-00602962 - version 1]
A Collaborative Framework for Virtual Globe Based 3D City Modeling
Yiakoumettis C. P., Bardis G., Miaoulis G., Plemenos D., Ghazanfarpour D.
Dans Studies in Computational Intelligence - INTELLIGENT COMPUTER GRAPHICS'2010, Grèce (2010) [hal-00602960 - version 1]
McEliece/Niederreiter PKC: Sensitivity to Fault Injection
Cayrel P.-L., Dusart P.
In International Conference on Future Information Technology - 5th International Workshop on Future Engineering, 2010, Korea, Republic Of (2010) [hal-00602197 - version 1]
Symbolic methods for solving systems of linear ordinary differential equations
Barkatou M. A.
In Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation - ISSAC 2010, 35th International Symposium on Symbolic and Algebraic Computation, Germany (2010) [hal-00602132 - version 1]
Simultaneously row- and column-reduced higher-order linear differential systems.
Barkatou M. A., El Bacha C., Pfluegel E.
In Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation - ISSAC 2010, 35th International Symposium on Symbolic and Algebraic Computation, Germany (2010) [hal-00602128 - version 1]
A fast algorithm for approximate polynomial gcd based on structured matrix computations
Bini D. A., Boito P.
In Numerical Methods for Structured Matrices and Applications (2010) 155-173 [hal-00601849 - version 1]
A Fast Implicit QR Eigenvalue Algorithm for Companion Matrices
Bini D. A., Boito P., Eldelman Y., Gemignani L., Gohberg I. C.
Linear Algebra and its Applications 432 (2010) 2006-2031 [hal-00601708 - version 1]
Quadrature rule-based bounds for functions of adjacency matrices
Benzi M., Boito P.
Linear Algebra and its Applications 433 (2010) 637-652 [hal-00601699 - version 1]
The condition metric in the space of rectangular full rank matrices
Boito P., Dedieu J.-P.
SIAM Journal on Matrix Analysis and Applications 31, 5 (2010) 2580-2602 [hal-00601697 - version 1]