Skip to Main content Skip to Navigation

hal-00002166v2  Journal articles
Grégory MouniéChristophe RapineDenis Trystram. A 3/2-Dual Approximation Algorithm for Scheduling Independent Monotonic Malleable Tasks
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2007, 37 (2), pp.401--412. ⟨10.1137/S0097539701385995⟩
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-00000873v1  Journal articles
Alain RapaportFrédéric GrognardFrederic Mazenc. Polytopic Lyapunov functions for persistence analysis of competing species
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2007, 8 (1), pp.73-93. ⟨10.3934/dcdsb.2007.8.73⟩
inria-00000940v1  Journal articles
Rémi DouencePascal Fradet. The next 700 Krivine Machines
Higher-Order and Symbolic Computation, Springer Verlag, 2007, 20 (3), pp.237-255. ⟨10.1007/s10990-007-9016-y⟩
inria-00001264v1  Conference papers
Alin BostanFrédéric ChyzakFrançois OllivierBruno SalvyÉric Schost et al.  Fast computation of power series solutions of systems of differential equations
2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021
inria-00070316v1  Journal articles
R. DoucA. GuillinJean-Michel MarinC.P. Robert. Minimum variance importance sampling via Population Monte Carlo
ESAIM: Probability and Statistics, EDP Sciences, 2007, pp.427-447
inria-00070522v1  Journal articles
R. DoucA. GuillinJean-Michel MarinC.P. Robert. Convergence of adaptive sampling schemes
Annals of Statistics, Institute of Mathematical Statistics, 2007, 35 (1), pp.420-448
inria-00070571v1  Journal articles
W.S. KendallJean-Michel MarinC.P. Robert. Brownian Confidence Bands on Monte Carlo Output
Statistics and Computing, Springer Verlag (Germany), 2007, 17 (1), pp.1-10
hal-00084863v1  Book sections
Béatrice DuvalAnsaf SallebChristel Vrain. On the Discovery of Exception Rules: A Survey
F. Guillet, H.J. Hamilton. Quality Measures in Data Mining Book, Springer in the Series Studies in Computational Intelligence, pp.77-98, 2007
inria-00086981v2  Reports
Frédéric HavetRoss KangTobias MüllerJean-Sébastien Sereni. Circular Choosability
[Research Report] RR-5957, INRIA. 2007, pp.33
inria-00088406v2  Journal articles
Wim MartensJoachim Niehren. On the Minimization of XML-Schemas and Tree Automata for Unranked Trees
Journal of Computer and System Sciences, Elsevier, 2007, Journal of Computer and System Science, 73 (4), pp.550-583. ⟨10.1016/j.jcss.2006.10.021⟩
inria-00093326v1  Conference papers
Jean-Pierre Merlet. A local planner for closed-loop robot
IEEE ICRA, Apr 2007, Rome
inria-00094787v1  Journal articles
Katrin ErkJoachim Niehren. Dominance Constraints in Stratified Context Unification
Information Processing Letters, Elsevier, 2007, 101 (4), pp.141-147. ⟨10.1016/j.ipl.2006.09.009⟩
inria-00102948v1  Book sections
Olivier BournezManuel L. Campagnolo. A Survey on Continuous Time Computation
Barry Cooper, Benedikt Löwe and Andrea Sorbi. New Computational Paradigms: Changing Conceptions of What is Computable, Springer, pp.383-424, 2007, 978-0387360331
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-00105440v1  Journal articles
Hervé JégouChristine Guillemot. Entropy coding with variable-length rewriting systems
IEEE Transactions on Communications, Institute of Electrical and Electronics Engineers, 2007, 55 (3), pp.444-452. ⟨10.1109/TCOMM.2006.887490⟩
inria-00110624v1  Conference papers
Ustun YildizClaude Godart. Towards Decentralized Service Orchestrations
The 22nd Annual ACM Symposium on Applied Computing - SAC'2007, Seoul National University in Seoul and Suwon University in Gyeonggi-do, Mar 2007, Seoul, South Korea. pp.1662-1666, ⟨10.1145/1244002.1244354⟩
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-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⟩
lirmm-00112647v1  Journal articles
Marie-Laure MugnierMichel Leclère. On Querying Simple Conceptual Graphs with Negation
Data and Knowledge Engineering, Elsevier, 2007, 60 (3), pp.468-493
inria-00112681v1  Conference papers
Nicolas BaskiotisMichèle SebagMarie-Claude GaudelSandrine-Dominique Gouraud. A Machine Learning approach for Statistical Software Testing
Twentieth International Joint Conference on Artificial Intelligence, Jan 2007, Hyderabad, India