Skip to Main content Skip to Navigation

inria-00090434v2  Journal articles
Joachim NiehrenJan SchwinghammerGert Smolka. A Concurrent Lambda Calculus with Futures
Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science, 364 (3), pp.338-356. ⟨10.1016/j.tcs.2006:08.016⟩
hal-00484906v1  Journal articles
Hervé Grall. A Confinement Criterion for Securely Executing Mobile Code
Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2006, 1 (11), pp.59-106
inria-00070383v1  Journal articles
Antoine Gloria. A direct approach to numerical homogenization in finite elasticity
Networks and Heterogeneous Media, AIMS-American Institute of Mathematical Sciences, 2006, 1 (1), pp.109-141
hal-00342156v1  Journal articles
Pascal PoizatJean-Claude Royer. A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2006, 12 (12), pp.1741-1782. ⟨10.3217/jucs-012-12-1741⟩
hal-00004891v1  Journal articles
Anestis AntoniadisEfstathios PaparoditisTheofanis Sapatinas. A Functional Wavelet-Kernel Approach for Continuous-time Prediction
Journal of the Royal Statistical Society: Series B, Royal Statistical Society, 2006, 68 (5), pp.837-857. ⟨10.1111/j.1467-9868.2006.00569.x⟩
inria-00000920v1  Journal articles
Laurent BaratchartMonique ChybaJean-Baptiste Pomet. A Grobman-Hartman Theorem for Control Systems
Journal of Dynamics and Differential Equations, Springer Verlag, 2006, ⟨10.1007/s10884-006-9014-5⟩
inria-00110865v1  Journal articles
Michel MehrenbergerEric Violard. A Hermite type adaptive semi-Lagrangian scheme
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2006, ⟨10.2478/v10006-007-0027-y⟩
hal-00404068v1  Journal articles
Marianne ClauselMarc DurufléPatrick JolySébastien Tordeux. A mathematical analysis of the resonance of the finite thin slots
Applied Numerical Mathematics, Elsevier, 2006, 56 (10-11), pp.1432-1449
inria-00107307v1  Journal articles
Laurent BuséCarlos d'Andrea. A matrix-based approach to properness and inversion problems for rational surfaces
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2006, 17 (6), pp.393--407
hal-00097239v1  Journal articles
Véronique CortierXavier GoaocMira LeeNa Hyeon-Suk. A note on maximally repeated sub-patterns of a point set
Discrete Mathematics, Elsevier, 2006, 306 (16), pp.1965-1968
inria-00001215v1  Journal articles
François RousseauPierre HellierChristian Barillot. A Novel Temporal Calibration Method for 3D Ultrasound
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2006
inria-00111165v1  Journal articles
Michel MehrenbergerEric ViolardOlivier HoenenMartin Campos PintoEric Sonnendrücker. A Parallel Adaptive Vlasov Solver Based on Hierarchical Finite Element Interpolation
Nuclear Instruments and Methods in Physics Research, Elsevier, 2006, Proceedings of the 8th International Computational Accelerator Physics Conference - ICAP 2004, 558 (1), pp.188-191. ⟨10.1016/j.nima.2005.11.225⟩
inria-00092424v1  Journal articles
Madalina DeaconuAntoine Lejay. A random walk on rectangles algorithm
Methodology and Computing in Applied Probability, Springer Verlag, 2006, 8 (1), pp.135-151. ⟨10.1007/s11009-006-7292-3⟩
inria-00614990v1  Journal articles
Xavier PennecPierre FillardNicholas Ayache. A Riemannian Framework for Tensor Computing
International Journal of Computer Vision, Springer Verlag, 2006, 66 (1), pp.41--66. ⟨10.1007/s11263-005-3222-z⟩
inria-00158808v2  Journal articles
Daniel Gracia-PerezHugues BerryOlivier Temam. A Sampling Method Focusing on Practicality
IEEE Micro, Institute of Electrical and Electronics Engineers, 2006
inria-00000410v1  Journal articles
Antoine LejayMiguel Martinez. A scheme for simulating one-dimensional diffusion processes with discontinuous coefficients
Annals of Applied Probability, Institute of Mathematical Statistics (IMS), 2006, 16 (1), pp.107-139. ⟨10.1214/105051605000000656⟩
hal-01730821v1  Journal articles
Régis DuvigneauDominique Pelletier. A sensitivity equation method for fast evaluation of nearby flows and uncertainty analysis for shape parameters
International Journal of Computational Fluid Dynamics, Taylor & Francis, 2006, 20 (7)
hal-01114190v1  Journal articles
F CaroF CoquelDamien JametS Kokh. A Simple Finite-Volume Method for Compressible Isothermal Two-Phase Flows Simulation
International Journal on Finite Volumes, Institut de Mathématiques de Marseille, AMU, 2006,
inria-00544941v1  Journal articles
Rémi GribonvalRosa Maria Figueras I VenturaPierre Vandergheynst. A simple test to check the optimality of sparse signal approximations
Signal Processing, Elsevier, 2006, special issue on Sparse Approximations in Signal and Image Processing, 86 (3), pp.496--510. ⟨10.1016/j.sigpro.2005.05.026⟩
inria-00510219v1  Journal articles
Sylvain ParisFrançois X. SillionLong Quan. A Surface Reconstruction Method Using Global Graph Cut Optimization
International Journal of Computer Vision, Springer Verlag, 2006, 66 (2), pp.141--161
inria-00000552v1  Journal articles
Véronique CortierStéphanie DelaunePascal Lafourcade. A Survey of Algebraic Properties Used in Cryptographic Protocols
Journal of Computer Security, IOS Press, 2006, 14 (1), pp.1-43
inria-00110973v1  Journal articles
Umapada PalChaudhuri Bidyut B.Abdel Belaïd. A System for Bangla Handwritten Numeral Recognition
IETE Journal of Research, Institution of Electronics and Telecommunication Engineers, CDRAP Sharma, IN, 2006, 52 (1), pp.27-34
hal-00189137v1  Journal articles
Pierre GenevèsNabil Layaïda. A System for the Static Analysis of XPath
ACM Transactions on Information Systems, Association for Computing Machinery, 2006, 24 (4), pp.475--502
inria-00410313v1  Journal articles
Julien DiazPatrick Joly. A time domain analysis of PML models in acoustics.
Computer Methods in Applied Mechanics and Engineering, Elsevier, 2006, 195 (29-32), pp.3820-3853. ⟨10.1016/j.cma.2005.02.031⟩
hal-01110739v1  Journal articles
Frédéric GiraudBetty Lemaire-Semail. A torque estimator for a traveling wave ultrasonic motor - application to an active claw
IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control, Institute of Electrical and Electronics Engineers, 2006, 53 (8), pp.1468 - 1477. ⟨10.1109/TUFFC.2006.1665104⟩
hal-00018114v2  Journal articles
Gregory KucherovLaurent NoéMihkail Roytberg. A unifying framework for seed sensitivity and its application to subset seeds.
Journal of Bioinformatics and Computational Biology, World Scientific Publishing, 2006, 4 (2), pp.553-69. ⟨10.1142/S0219720006001977⟩
inria-00377394v1  Journal articles
Emmanuel PradosFabio CamilliOlivier Faugeras. A viscosity solution method for Shape-From-Shading without image boundary data
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2006, 40 (2), pp.393--412
inria-00321022v2  Journal articles
Jakob VerbeekJan NunninkNikos Vlassis. Accelerated EM-based clustering of large data sets
Data Mining and Knowledge Discovery, Springer, 2006, Data Mining and Knowledge Discovery, 13 (3), pp.291-307. ⟨10.1007/s10618-005-0033-3⟩
hal-00258559v1  Journal articles
Dominique BarchiesiB. GuizalThomas Grosges. Accuracy of local field enhancement models: toward predictive models?
Applied Physics B - Laser and Optics, Springer Verlag, 2006, 84 (1-2), pp.55-60. ⟨10.1007/s00340-006-2217-y⟩
inria-00379201v1  Journal articles
Aurélien MartinetCyril SolerNicolas HolzschuchFrançois X. Sillion. Accurate Detection of Symmetries in 3D Shapes
ACM Transactions on Graphics, Association for Computing Machinery, 2006, 25 (2), pp.439 - 464. ⟨10.1145/1138450.1138462⟩
inria-00379310v1  Journal articles
David RogerNicolas Holzschuch. Accurate Specular Reflections in Real-Time
Computer Graphics Forum, Wiley, 2006, 25 (3), pp.293 - 302. ⟨10.1111/j.1467-8659.2006.00948.x⟩
hal-01148846v1  Journal articles
Daniel J. DoughertyPierre LescanneLuigi Liquori. Addressed term rewriting systems: application to a typed object calculus
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16 (issue 4), pp.667-709. ⟨10.1017/S096012950600541X⟩
inria-00001171v2  Journal articles
Yves Bertot. Affine functions and series with co-inductive real numbers
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 17 (1), pp.37-63. ⟨10.1017/S0960129506005809⟩
hal-00498814v1  Journal articles
Jérémy BuissonFrançoise AndréJean-Louis Pazat. Afpac: enforcing consistency during the adaptation of a parallel component
Scalable Computing : Practice and Experience, West University of Timisoara, 2006, 7 (3), pp.61
hal-00168252v1  Journal articles
Antonio CapobiancoNoëlle Carbonell. Aides en ligne à l'utilisation de logiciels grand public : problèmes spécifiques de conception et solutions potentielles
Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), Association pour la Recherche sur la Cognition, 2006, 2006/2 (44), pp.87-120
inria-00402593v1  Journal articles
Caroline LarbouletteMarie-Paule CaniBruno Arnaldi. Ajout de détails dynamiques à une animation temps-réel de personnage
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2006, 25 (6), pp.759-789
hal-00307763v1  Journal articles
Arnaud PecherAnnegret K. Wagler. Almost all webs are not rank-perfect
Mathematical Programming, Springer Verlag, 2006, 105, pp.311--328
hal-00020268v1  Journal articles
Hechmi Ben Messaoud. Almost split real forms for hyperbolic Kac-Moody Lie algebras
Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2006, 39, pp.13659-13690. ⟨10.1088/0305-4470/39/44/004⟩
hal-00094713v1  Journal articles
Jean-Marie Monnez. Almost sure convergence of stochastic gradient processes with matrix step sizes
Statistics and Probability Letters, Elsevier, 2006, 76, pp.531-536
inria-00000694v1  Journal articles
Noëlle Carbonell. Ambient Multimodality: towards Advancing Computer Accessibility and Assisted Living.
Universal Access in the Information Society, Springer Verlag, 2006, pp.96-104
inria-00001247v1  Journal articles
Hebertt Sira-RamirezMichel Fliess. An algebraic state estimation approach for the recovery of chaotically encrypted messages
International journal of bifurcation and chaos in applied sciences and engineering , World Scientific Publishing, 2006, 16 (2), pp.295-309. ⟨10.1142/S0218127406014812⟩
inria-00070230v1  Journal articles
Antoine Gloria. An analytical framework for the numerical homogenization of monotone elliptic operators and quasiconvex energies
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2006, 5 (3), pp.996-1043. ⟨10.1137/060649112⟩
inria-00069629v1  Journal articles
Charles Robert. An annotation model for Personal Information Management
Computer Communication Review, Association for Computing Machinery, 2006
hal-00112062v2  Journal articles
Olivier BokanowskiSophie MartinRémi MunosHasnaa Zidani. An anti-diffusive scheme for viability problems
Applied Numerical Mathematics, Elsevier, 2006, 56 (9), pp.1147-1162
hal-00875620v1  Journal articles
Anthony ScemamaTony LelièvreGabriel StoltzEric CancèsMichel Caffarel. An efficient sampling algorithm for variational Monte Carlo.
Journal of Chemical Physics, American Institute of Physics, 2006, 125 (11), pp.114105. ⟨10.1063/1.2354490⟩
inria-00614991v1  Journal articles
Maxime SermesantHervé DelingetteNicholas Ayache. An Electromechanical Model of the Heart for Image Analysis and Simulation
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2006, 25 (5), pp.612-625
inria-00124253v2  Journal articles
Jun-Hai YongXiao ChenJean-Claude Paul. An example on approximation by fat arcs and fat biarcs
Computer-Aided Design, Elsevier, 2006, 38 (5), pp.515-517
inria-00442180v1  Journal articles
Rémi DouenceThomas FritzNicolas LoriantJean-Marc MenaudMarc Ségura-Devillechaise et al.  An expressive aspect language for system applications with Arachne
LNCS Transactions on Aspect-Oriented Software Development, Springer, 2006, 1 (1)
hal-00107038v1  Journal articles
Nicolas Bouleau. An extension to the Wiener space of the arbitrary functions principle
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2006, 343, pp.329-332
hal-01730842v1  Journal articles
Régis DuvigneauDominique PelletierJ Borggaard. An Improved Continuous Sensitivity Equation Method for Optimal Shape Design in Mixed Convection
Numerical Heat Transfer, Part B Fundamentals, Taylor & Francis, 2006, 50 (1)
inria-00293831v1  Journal articles
Thierry FloquetJean-Pierre Barbot. An observability form for linear systems with unknown inputs
International Journal of Control, Taylor & Francis, 2006, 79 (2), pp.132-139. ⟨10.1080/00207170500472909⟩
inria-00001134v1  Journal articles
Michel Fliess. Analyse non standard du bruit
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2006, 342 (10), pp.797-802. ⟨10.1016/j.crma.2006.02.037⟩
hal-00012082v1  Journal articles
Martin CostabelMonique DaugeSergei A. NazarovJan Sokolowski. Analysis of crack singularities in an aging elastic material
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2006, 40 (3), pp.553-595. ⟨10.1051/m2an:2006022⟩
inria-00000959v3  Journal articles
Nelson AntunesChristine FrickerPhilippe RobertDanielle Tibi. Analysis of Loss Networks with Routing
Annals of Applied Probability, Institute of Mathematical Statistics (IMS), 2006, 16 (4), pp.2007­-2026
inria-00384231v1  Journal articles
Laurent FavreauLionel ReveretChristine DeprazMarie-Paule Cani. Animal gaits from video : comparative studies
Graphical Models, Elsevier, 2006, 68 (2), pp.212-234
inria-00089729v1  Journal articles
Charles RobertAmos Abayomi David. Annotation and its application to information research in economic intelligence
Advances in Knowledge Organization, Ergon Verlag, 2006, Knowledge Organization for a Global Learning Society - Proceedings of the Ninth International ISKO Conference, 4-7 July 2006, Vienna, 10, pp.35-40
hal-00133404v1  Journal articles
Emmanuel Frénod. Application of the averaging method to the gyrokinetic plasma
Asymptotic Analysis, IOS Press, 2006, 46, pp.1--28
inria-00276937v1  Journal articles
Bernard BoulayFrancois BremondMonique Thonnat. Applying 3D Human Model in a Posture Recognition System
Pattern Recognition Letters, Elsevier, 2006, Special Issue on vision for Crime, 27 (15), pp.1788-1796. ⟨10.1016/j.patrec.2006.02.008⟩
hal-00086522v1  Journal articles
Salah BaïnaHervé PanettoKhalid Benali. Apport de l'approche MDA pour une interopérabilité sémantique : Interopérabilité des systèmes d'information d'entreprise
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2006, 11/13, pp.11-29
inria-00081461v1  Journal articles
Michel Fliess. Approche intrinsèque des fluctuations browniennes en mécanique stochastique
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2006
hal-00142473v1  Journal articles
Jean-Marie Monnez. Approximation stochastique en analyse factorielle multiple
Publications de l'Institut de Statistique de l'Université de Paris, Institut de statistique de l'Université de Paris, 2006, L (3), pp.27-45
hal-00658587v1  Journal articles
Françoise DetienneWillemien VisserRaphaël Tabary. Articulation des dimensions graphico-gestuelle et verbale dans l'analyse de la conception collaborative
Psychologie de l'interaction, L'Harmattan, 2006, Langage et cognition : Contraintes pragmatiques, pp.283-307
inria-00000696v2  Journal articles
Suzanne KiefferNoëlle Carbonell. Assistance orale à la recherche visuelle - étude expérimentale de l'apport d'indications spatiales à la détection de cibles
Revue des Interactions Humaines Médiatisées (RIHM) = Journal of Human Mediated Interactions, Europia, 2006, 7 (1), 30 p
inria-00544949v1  Journal articles
Elie-Laurent BenaroyaFrédéric BimbotRémi Gribonval. Audio Source Separation With a Single Sensor
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2006, 14 (1), pp.191--199. ⟨10.1109/TSA.2005.854110⟩
hal-02344277v1  Journal articles
Frédéric CaoRonan Fablet. Automatic morphological detection of otolith nucleus
Pattern Recognition Letters, Elsevier, 2006, 27 (6), pp.656 - 666
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
inria-00182004v1  Journal articles
Christophe CouéCedric PradalierChristian LaugierThierry FraichardPierre Bessière. Bayesian Occupancy Filtering for Multitarget Tracking: an Automotive Application
The International Journal of Robotics Research, SAGE Publications, 2006, 25, 25 (1), pp.19--30
inria-00000479v1  Journal articles
Jean-Pierre ManoChristine BourjotGabriel LopardoPierre Glize. Bio-inspired Mechanisms for Artificial Self-organised Systems
Informatica, Slovene Society Informatika, Ljubljana, 2006, 30 (1), pp.55--62
inria-00548615v1  Journal articles
Joost van de WeijerTheo GeversAndrew Bagdanov. Boosting color saliency in image feature detection
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2006, 28 (1), pp.150--156. ⟨10.1109/TPAMI.2006.3⟩
inria-00548616v1  Journal articles
Bill TriggsMichaël Sdika. Boundary conditions for Young - van Vliet recursive filtering
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2006, 54 (6), pp.2365 - 2367. ⟨10.1109/TSP.2006.871980⟩
inria-00614992v1  Journal articles
Valérie Moreau-VillégerHervé DelingetteMaxime SermesantHiroshi AshikagaElliot Mcveigh et al.  Building Maps of Local Apparent Conductivity of the Epicardium with a 2D Electrophysiological Model of the Heart
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2006, 53 (8), pp.1457-1466. ⟨10.1109/TBME.2006.877794⟩
inria-00590202v1  Journal articles
Radu HoraudDavid KnossowMarkus Michaelis. Camera Cooperation for Achieving Visual Attention
Machine Vision and Applications, Springer Verlag, 2006, 16 (6), pp.331--342. ⟨10.1007/s00138-005-0182-9⟩
hal-00340128v1  Journal articles
Olivier MichelJean-Pierre BanâtrePascal FradetJean-Louis Giavitto. Challenging Questions for the Rationale of Non-Classical Programming Languages
International Journal of Unconventional Computing, Old City Publishing, 2006, 2, pp.337--347
inria-00000109v2  Journal articles
Hugues BerryDaniel Gracia PérezOlivier Temam. Chaos in computer performance
Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2006, 16 (1), pp.013110. ⟨10.1063/1.2159147⟩
ensl-00000009v1  Journal articles
Jean-Michel MullerPeter Kornerup. Choosing Starting Values for certain Newton-Raphson Iterations
Theoretical Computer Science, Elsevier, 2006, 351 (1), pp.101-110. ⟨10.1016/j.tcs.2005.09.056⟩
hal-00530349v1  Journal articles
Jean-Michel PoggiChristine Tuleau. Classification supervisée en grande dimension. Application à l'agrément de conduite automobile
Revue de Statistique Appliquée, Société française de statistique, 2006, LIV (4), pp.41-60
hal-00172501v1  Journal articles
Ricardo MartinezNicolas PasquierClaude PasquierMartine CollardLucero Lopez-Perez. Co-expressed Gene Groups Analysis (CGGA): An Automatic Tool for the Interpretation of Microarray Experiments
Journal of Integrative Bioinformatics, Informationsmanagement in der Biotechnologie e.V. (IMBio e.V.), 2006, 3 (12), pp.1-12
inria-00117043v2  Journal articles
Françoise Detienne. Collaborative design : managing task interdependencies and multiple perspectives
Interacting with Computers, Oxford University Press (OUP), 2006, 18 (1), pp.1-20