Skip to Main content Skip to Navigation

hal-00005841v1  Journal articles
Francis CometsFrançois DelarueRené Schott. Distributed Algorithms in an Ergodic Markovian Environment
Random Structures and Algorithms, Wiley, 2007, 30, pp.131-167
inria-00000598v1  Journal articles
Hervé BrönnimannOlivier DevillersSylvain LazardFrank Sottile. Lines tangent to four triangles in three-dimensional space
Discrete and Computational Geometry, Springer Verlag, 2007, 37 (3), pp.369-380. ⟨10.1007/s00454-006-1278-3⟩
inria-00103490v1  Journal articles
S. ChenAmine BermakW. YanDominique Martinez. Adaptive-Quantization Digital Image Sensor for Low-Power, Real-Time, Image Compression
IEEE Transactions on Circuits and Systems Part 1 Fundamental Theory and Applications, Institute of Electrical and Electronics Engineers (IEEE), 2007, 54 (1), pp.13-25
inria-00103493v1  Journal articles
Thomas VoegtlinDominique Martinez. Effect of Asynchronous GABA Release on the Oscillatory Dynamics of Inhibitory Coupled Neurons
Neurocomputing, Elsevier, 2007, Computational Neuroscience: Trends in Research 2007, Computational Neuroscience 2006, 70 (10-12), pp.2079-2084. ⟨10.1016/j.neucom.2006.10.093⟩
inria-00103655v1  Journal articles
Laurent FousseGuillaume HanrotVincent LefèvrePatrick PélissierPaul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩
inria-00097395v1  Journal articles
Gilles BartheLeonor Prensa Nieto. Secure Information Flow for a Concurrent Language with Scheduling
Journal of Computer Security, IOS Press, 2007, Formal Methods in Security Engineering Workshop (FMSE 04), 16 (6), pp.647 - 689
inria-00110628v1  Journal articles
Michael AronGilles SimonMarie-Odile Berger. Use of Inertial Sensors to Support Video Tracking
Computer Animation and Virtual Worlds, Wiley, 2007, 18, pp.57-68. ⟨10.1002/cav.161⟩
inria-00110872v1  Journal articles
Paolo BaldanClara BertolissiHoratiu CirsteaClaude Kirchner. A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
inria-00111243v1  Journal articles
Denis Roegel. Review of ``Mathematical Illustrations: A Manual of Geometry and PostScript
Notices of the American Mathematical Society, American Mathematical Society, 2007, 54 (1), pp.38-42
inria-00111240v1  Journal articles
Denis Roegel. Sphères, grands cercles et parallèles
Cahiers Gutenberg, Association GUTenberg, 2007, Avril 2007 (48), pp.7-22
inria-00112065v1  Journal articles
Eunyoung KangStephan Merz. Predicate Diagrams for the Verification of Real-Time Systems
Formal Aspects of Computing, Springer Verlag, 2007, 19 (3), pp.401-413. ⟨10.1007/s00165-007-0030-y⟩
inria-00118983v1  Journal articles
Olivier BuffetAlain DutechFrançois Charpillet. Shaping Multi-Agent Systems with Gradient Reinforcement Learning
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2007, 15 (2), pp.197--220. ⟨10.1007/s10458-006-9010-5⟩
inria-00119482v1  Journal articles
Daniel SzerFrançois CharpilletShlomo Zilberstein. Résolution optimale de DEC-POMDPs par recherche heuristique
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2007, Prise de décision séquentielle, 21 (1), pp. 107-128
inria-00120352v2  Journal articles
Richard BrentColin PercivalPaul Zimmermann. Error Bounds on Complex Floating-Point Multiplication
Mathematics of Computation, American Mathematical Society, 2007, 76, pp.1469-1481
hal-00126001v1  Journal articles
Dominique BarthJohanne CohenTaoufik Faik. On the B-Continuity Property of Graphs
Discrete Applied Mathematics, Elsevier, 2007, 155 (13), pp.1761 - 1768. ⟨10.1016/j.dam.2007.04.011⟩
hal-00136941v1  Journal articles
Jean-Paul Cerri. Euclidean minima of totally real number fields, algorithmic determination
Mathematics of Computation, American Mathematical Society, 2007, pp.29
inria-00147824v1  Journal articles
Dominique MéryStephan Merz. Specification and Refinement of Access Control
Journal of Universal Computer Science, Springer, 2007, 13 (8), pp.1073-1093
hal-00152811v1  Journal articles
P. FeinsilverRené Schott. Inversion of analytical functions via canonical polynomials: a matrix approach
Mathematics in Computer Science, Springer, 2007, 1, pp.345-356
inria-00153555v1  Journal articles
Rémi BadonnelRadu StateOlivier Festor. A Probabilistic Approach for Managing Mobile Ad-Hoc Networks
IEEE Transactions on Network and Service Management, IEEE, 2007, 4 (1), pp.39-50. ⟨10.1109/TNSM.2007.030104⟩
inria-00154259v1  Journal articles
Nazim Fatès. À la découverte des automates cellulaires
Interstices, INRIA, 2007
hal-00162171v1  Journal articles
Amedeo NapoliFlorence Le Ber. The Galois lattice as a hierarchical structure for topological relations
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2007, pp.1-20. ⟨10.1007/s10472-007-9054-5⟩
inria-00000625v2  Journal articles
Pierrick Gaudry. Fast genus 2 arithmetic based on Theta functions
Journal of Mathematical Cryptology, De Gruyter, 2007, 1 (3), pp.243-265. ⟨10.1515/JMC.2007.012⟩
inria-00168449v1  Journal articles
Bruno GaujalNicolas Navet. Dynamic voltage scaling under EDF revisited
Real-Time Systems, Springer Verlag, 2007, 37 (1), pp.77-97. ⟨10.1007/s11241-007-9029-y⟩
inria-00170992v1  Journal articles
David HewsonJacques DucheneFrançois CharpilletJamal SabouneValérie Michel-Pellegrino et al.  The PARAChute Project: Remote Monitoring of Posture and Gait for Fall Prevention
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2007, Special Issue : Signal Processing Technologies for Ambient Intelligence in Home-Care Applications, 2007 (ID : 27421), 15 p. ⟨10.1155/2007/27421⟩