Skip to Main content Skip to Navigation

inria-00070350v1  Journal articles
Bernard MourrainJean-Pascal Pavone. Subdivision methods for solving polynomial equations
Journal of Symbolic Computation, Elsevier, 2009, 44 (3), pp.292-306. ⟨10.1016⟩
inria-00111244v1  Journal articles
Denis Roegel. Prototype Fragments from Babbage's First Difference Engine
IEEE Annals of the History of Computing, Institute of Electrical and Electronics Engineers, 2009, 31 (2), pp.70-75
inria-00126573v4  Journal articles
Adrien CatellaVictorita DoleanStephane Lanteri. An Implicit DGTD Method for Solving the Two-Dimensional Maxwell Equations on Unstructured Triangular Meshes
COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering, Emerald, 2009, To appear, pp.29
hal-00140527v1  Journal articles
Samuel Hym. Mobility control via passports
Information and Computation, Elsevier, 2009, 207 (2), pp.171-193. ⟨10.1016/j.ic.2007.11.011⟩
inria-00142973v1  Journal articles
Laurent BuséMohamed ElkadiAndré Galligo. A computational study of ruled surfaces
Journal of Symbolic Computation, Elsevier, 2009, Special Issue ICPSS, 44 (3), pp.232--241. ⟨10.1016/j.jsc.2007.04.005⟩
hal-00155295v1  Book sections
Pierre-Louis CurienHugo Herbelin. Abstract machines for dialogue games
Interactive models of computation and program behavior, Société Mathématique de France, pp.231-275, 2009, Panoramas et Synthèses
hal-00155296v1  Book sections
Pierre-Louis Curien. Sequential algorithms as bistable maps
Yves Bertot, Gérard Huet, Jean-Jacques Lévy and Gordon Plotkin. From semantics to computer science: essays in honour of Gilles Kahn, Cambridge University Press, pp.51-71, 2009
inria-00104191v2  Journal articles
Laurent BuséMarc ChardinJean-Pierre Jouanolou. Torsion of the symmetric algebra and implicitization
Proceedings of the American Mathematical Society, American Mathematical Society, 2009, 137 (6), pp.1855-1865
inria-00172337v1  Journal articles
Sana MoujahedOlivier SimoninAbderrafiaa Koukam. Location Problems Optimization by a Self-Organizing Multiagent Approach
Multiagent and Grid Systems - An International Journal of Cloud Computing , IOS Press, 2009, Special Issue on Engineering Environments For Multiagent Systems, 5 (1), pp.59-74. ⟨10.3233/MGS-2009-0119⟩
inria-00119287v2  Journal articles
Laurent BuséBernard Mourrain. Explicit factors of some iterated resultants and discriminants
Mathematics of Computation, American Mathematical Society, 2009, 78 (265), pp.345--386
inria-00192960v2  Journal articles
Gang ZhengDriss BoutatJean-Pierre Barbot. Multi-Output Dependent Observability Normal Form
Nonlinear Analysis: Theory, Methods and Applications, Elsevier, 2009, 70 (1), pp.404-418. ⟨10.1016/⟩
lirmm-00203723v1  Book sections
Guy MelançonChristophe Douy. La visualisation d'information au service de la veille concurrentielle, de la fouille d'information et de la supervision de systèmes complexes
Walter Akmouche. La sécurité globale : Réalité, enjeux et perspectives, SEE (Société des électriciens et des électroniciens), CNRS Editions, pp.263-271, 2009
inria-00266457v1  Book sections
Alexandre SeuretThierry FloquetJean-Pierre RichardSarah Spurgeon. Observer design for systems with non small and unknown time-varying delay
J.J. Loiseau, W. Michiels, S.I. Niculescu, R. Sipahi. Topics in Time-Delay Systems: Analysis, Algorithms and Control, Springer Verlag, pp.233-242, 2009, LNCIS, Lecture Notes in Control and Information Sciences, 978-3-642-02896-0. ⟨10.1007/978-3-642-02897-7_20⟩
inria-00269225v1  Journal articles
Daniil RyabkoJuergen Schmidhuber. Using Data Compressors to Construct Rank Tests
Applied Mathematics Letters, Elsevier, 2009, 22 (7), pp.1029-1032
lirmm-00269661v1  Directions of work or proceedings
Zohra BellahseneEla HuntMichael RysRainer Unland. Database and XML Technologies
France. Springer, pp.281, 2009, Lecture Notes in Computer Science, 3-540-20055-X. ⟨10.1007/978-3-642-03555-5⟩
ensl-00270753v1  Journal articles
Gilles Villard. Differentiation of Kaltofen's division-free determinant algorithm
Journal of Symbolic Computation, Elsevier, 2011, 46 (7), pp.773-790. ⟨10.1016/j.jsc.2010.08.012⟩
hal-00285603v1  Journal articles
Stef GraillatPhilippe LangloisNicolas Louvet. Algorithms for Accurate, Validated and Fast Polynomial Evaluation
Japan Journal of Industrial and Applied Mathematics, Kinokuniya Company, 2009, 26 (2-3), pp.191-214. ⟨10.1007/BF03186531⟩
hal-00286455v2  Journal articles
Eitan AltmanUrtzi AyestaBalakrishna Prabhu. Load Balancing in Processor Sharing Systems
Telecommunication Systems, Springer Verlag (Germany), 2011, 47 (1-2), pp.35-48
inria-00276216v1  Journal articles
Nikolaus HansenAndre NiederbergerLino GuzzellaPetros Koumoutsakos. A Method for Handling Uncertainty in Evolutionary Optimization with an Application to Feedback Control of Combustion
IEEE Transactions on Evolutionary Computation, Institute of Electrical and Electronics Engineers, 2009
hal-00290577v1  Journal articles
Marc DohmSeverinas Zube. The implicit equation of a canal surface
Journal of Symbolic Computation, Elsevier, 2009, 44 (2), pp.111-130. ⟨10.1016/j.jsc.2008.06.001⟩
inria-00296658v1  Journal articles
Michel LatteuxYves RoosAlain Terlutte. Minimal NFA and biRFSA Languages
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2009, 43 (2), pp.221-237. ⟨10.1051/ita:2008022⟩
lirmm-00303672v1  Journal articles
Anne-Elisabeth BaertVincent BoudetAlain Jean-Marie. Data replication optimisation in grid delivery network
International Journal of Grid and Utility Computing, Inderscience, 2009, 1 (4), pp.287-295. ⟨10.1504/IJGUC.2009.027918⟩
inria-00143084v2  Journal articles
Andreas Enge. Computing modular polynomials in quasi-linear time
Mathematics of Computation, American Mathematical Society, 2009, 78 (267), pp.1809-1824
inria-00001040v3  Journal articles
Andreas Enge. The complexity of class polynomial computation via floating point approximations
Mathematics of Computation, American Mathematical Society, 2009, 78 (266), pp.1089-1107
hal-00306394v1  Journal articles
Christian Retoré. Note de lecture sur Two-Step Approaches to Natural Language Formalisms de Frank Morawietz
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2009, 48 (3), pp.227--229