Skip to Main content Skip to Navigation


inria-00541142v1  Journal articles
Luidnel MaignanFrédéric Gruau. A 1D cellular automaton that moves particles until regular spatial placement
Parallel Processing Letters, World Scientific Publishing, 2009, 19 (2), pp.315--331
...
inria-00143783v4  Journal articles
Lionel CucalaJean-Michel MarinChristian RobertMike Titterington. A Bayesian reassessment of nearest-neighbour classification
Journal of the American Statistical Association, Taylor & Francis, 2009, 104 (485), pp.263-273. ⟨10.1198/jasa.2009.0125⟩
...
inria-00431806v1  Book sections
Christine Paulin-Mohring. A constructive denotational semantics for Kahn networks in Coq
Yves Bertot and Gérard Huet and Jean-Jacques Lévy and Gordon Plotkin. From Semantics to Computer Science, Cambridge University Press, pp.383-413, 2009, 9780521518253
...
hal-00667815v1  Conference papers
yingmin LiLina yePhilippe DagueTarek Melliti. A Decentralized Model-Based Diagnosis for BPEL Services
21st International Conference on Tools with Artificial Intelligence (ICTAI 2009), Nov 2009, Newark, NJ, United States. pp.609--616, ⟨10.1109/ICTAI.2009.77⟩
...
inria-00426607v1  Conference papers
Carlos OlarteCamilo Rueda. A Declarative Language for Dynamic Multimedia Interaction Systems
MCM 2009 - Second International Conference of the Society for Mathematics and Computation in Music, Jun 2009, New Haven, United States. ⟨10.1007/978-3-642-02394-1_20⟩
...
inria-00529096v1  Conference papers
Paul-Henry CournèdeThomas GuyardBenoit BayolSébastien GriffonFrançois de Coligny et al.  A Forest Growth Simulator Based on Functional-Structural Modelling of Individual Trees
Third International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications (PMA09), IEEE, Nov 2009, Beijing, China. pp.34-41, ⟨10.1109/PMA.2009.55⟩
...
inria-00426608v1  Conference papers
Moreno FalaschiCarlos OlarteCatuscia Palamidessi. A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs
PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming, Sep 2009, Coimbra, Portugal. pp.207-218, ⟨10.1145/1599410.1599436⟩
...
inria-00429607v1  Conference papers
Sebastien LoriotFrédéric CazalsMichael LevittJulie Bernauer. A geometric knowledge-based coarse-grained scoring potential for structure prediction evaluation
Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM), Société Française de Bioinformatique, Jul 2009, Nantes, France
...
inria-00408226v1  Conference papers
Soraya BououdenDriss BoutatJean-Pierre Null BarbotFrédéric Kratz. A geometrical characterization of a class of $0$-flat affine dynamical systems
ACC 2009 - IEEE American Control Conference, IEEE, Jun 2009, Saint Louis, Missouri, United States. ⟨10.1109/ACC.2009.5160122⟩
inria-00436407v1  Conference papers
Lutz Strassburger. A Kleene Theorem for Forest Languages
Language and Automata Theory and Applications, LATA'09, 2009, Tarragona, Spain
...
inria-00352834v1  Conference papers
Michel FliessCédric Join. A mathematical proof of the existence of trends in financial time series
Systems Theory: Modelling, Analysis and Control, May 2009, Fes, Morocco. pp.43-62
...
inria-00428994v1  Conference papers
Daniel AlpayMamadou Mboup. A natural transfer function space for linear discrete time-invariant and scale-invariant systems
International Workshop on Multidimensional (nD) Systems, 2009- NDS 2009 (Invited session), Jun 2009, Thessaloniki, Greece. pp.1-4, ⟨10.1109/NDS.2009.5196173⟩
...
inria-00424933v2  Conference papers
Pierre-Antoine GédouinCédric JoinEmmanuel DelaleauJean-Matthieu BourgeotShabnam Arbab-Chirani et al.  A new control strategy for shape memory alloys actuators
8th European Symposium on Martensitic Transformations, Sep 2009, Prague, Czech Republic. pp.CDROM
inria-00564022v1  Book sections
Daniel AugotMichael Stepanov. A note on the generalisation of the Guruswami-Sudan list decoding algorithm to Reed-Muller codes
Massimiliano Sala and Teo Mora and Ludovic Perret and Shojiro Sakata and Carlo Traverso. Gröbner Bases, Coding, and Cryptography, 2, Springer, pp.395-398, 2009, ⟨10.1007/978-3-540-93806-4_27⟩
inria-00428924v1  Conference papers
András BánhalmiRóbert Busa-FeketeBalázs Kégl. A One-Class Classification Approach for Protein Sequences and Structures
5th International Symposium on Bioinformatics Research and Applications (ISBRA'09), May 2009, Fort Lauderdale, Florida, United States. pp.310-322
hal-00784173v1  Conference papers
Karim TrabelsiOlivier Pantz. A post-treatment of the homogenization method in shape optimization
8th World Congress on Structural and Multidisciplinary Optimization, 2009, Lisbonne, Portugal
hal-00864493v1  Journal articles
Frédéric ChazalDavid Cohen-SteinerAndré Lieutier. A Sampling Theory for Compact Sets in Euclidean Space
Discrete and Computational Geometry, Springer Verlag, 2009, 41 (3), pp.461-479. ⟨10.1007/s00454-009-9144-8⟩
...
inria-00546291v1  Conference papers
Benoit PallasCedric LoiAngélique ChristophePaul-Henry CournèdeJérémie Lecoeur. A stochastic growth model of grapevine with full interaction between environment, trophic competition and plant development.
Third International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications (PMA09), Nov 2009, Pékin, China. pp.95-102
...
inria-00612342v1  Conference papers
Antoine EchelardJacques Lévy VéhelClaude Tricot. A Unified Framework for the Study of the 2-microlocal and Large Deviation Multifractal Spectra
Self similar processes and their applications, SMF, Jul 2009, Angers, France. pp.13-44
hal-00772347v1  Conference papers
Liang ChuckDale Miller. A Unified Sequent Calculus for Focused Proofs
LICS 2009 - Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE, Aug 2009, Los Angeles, United States
...
inria-00437147v1  Book sections
Mireille RegnierZara KirakossianEugenia FurletovaMikhail A. Roytberg. A Word Counting Graph
Joseph Chan, Jacqueline W. Daykin and M. Sohel Rahman. London Algorithmics 2008: Theory and Practice (Texts in Algorithmics), London College Publications, 31 p., 2009, 978-1904987970
inria-00419444v1  Conference papers
Laurentiu HetelAlexandre KruszewskiJean-Pierre Richard. About the Lyapunov exponent of sampled-data systems with non-uniform sampling
TDS'09, 8th IFAC Workshop on Time Delay Systems, Sep 2009, Sinaia, Romania
...
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-00533524v1  Conference papers
Guillaume FaureOlivier ChapuisMichel Beaudouin-Lafon. Acquisition of Animated and Pop-up Targets
INTERACT '09: Proceedings of the 12th IFIP TC13 Conference in Human-Computer Interaction -- LNCS 5727, Aug 2009, Uppsala, Sweden. pp.372-385, ⟨10.1007/978-3-642-03658-3_43⟩
...
inria-00441154v1  Conference papers
Mubashir Husain RehmaniAline Carneiro VianaHicham KhalifeSerge Fdida. Adaptive and Occupancy-based Channel Selection for unreliable Cognitive Radio Networks
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
...
hal-00504093v1  Conference papers
Vincent MichelEvelyn EgerChristine KeribinBertrand Thirion. Adaptive multi-class Bayesian sparse regression - An application to brain activity classification
MICCAI 2009: fMRI data analysis workshop - Medical Image Computing and Computer Aided Intervention, Sep 2009, London, United Kingdom. pp.1
hal-00974807v1  Journal articles
Mark BlomeHansruedi MaurerKersten Schmidt. Advances on 3D geoelectric forward solver techniques
Geophysical Journal International, Oxford University Press (OUP), 2009, 176, pp.740-752
hal-00772633v1  Conference papers
H. Mahdi ZargayounaFlavien BalboSerge Haddad. Agents Secure Interaction in Data Driven Languages
Revised Selected Papers of the 2nd Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS'09), Sep 2009, Torino, Italy, Italy. pp.72-91, ⟨10.1007/978-3-642-13338-1_5⟩
...
inria-00423493v1  Conference papers
Gang ZhengLei yuDriss BoutatJean-Pierre Barbot. Algebraic observer for a class of switched systems with Zeno phenomenon
48th IEEE Conference on Decision and Control, CDC 2009, Dec 2009, shanghai, China
...
tel-00785953v1  Theses
Mahassine Djelloul. Algorithmes de graphes pour la recherche de motifs récurrents dans les structures tertiaires d'ARN
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2009. Français
hal-00772332v1  Conference papers
Nigam VivekDale Miller. Algorithmic specifications in linear logic with subexponentials
PPDP09 - ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Sep 2009, Coimbra, Portugal
...
inria-00425514v1  Conference papers
Regis MartinezHélène Paugam-Moisy. Algorithms for structural and dynamical polychronous groups detection
ICANN'2009, International Conference on Artificial Neural Networks, IEEE - INNS, Sep 2009, Limassol, Cyprus. pp.75-84
inria-00491166v1  Journal articles
Brigitte SafarChantal Reynaud. Alignement d'ontologies basé sur des ressources complémentaires : Illustration sur le système TaxoMap
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2009, pp.1211-1232
hal-00781428v1  Conference papers
Rance BastienJean-François GibratChristine Froidevaux. An Adaptive Combination of Matchers: Application to the Mapping of Biological Ontologies for Genome Annotation
DILS 2009-6th International Workshop on Data Integration in the Life Sciences, Jul 2009, Manchester, United Kingdom. pp.113-126, ⟨10.1007/978-3-642-02879-3_10⟩
inria-00393065v1  Conference papers
Julio MonteiroPhilippe CaillouMarco Netto. An Agent Model Using Polychronous Networks
Colibri, Jul 2009, Bento Gonçalves, Brazil. pp.76-80
...
inria-00389872v1  Conference papers
Giuseppe FedeleFrancesco ChiaravallotiCédric Join. An algebraic derivative-based approach for the zero-crossings estimation
17th European Signal Processing Conference, EUSIPCO 2009, Aug 2009, Glasgow, United Kingdom
hal-00772641v1  Journal articles
Étienne AndréEmmanuelle EncrenazLaurent FribourgThomas Chatain. An Inverse Method for Parametric Timed Automata
International Journal of Foundations of Computer Science, World Scientific Publishing, 2009, 20 (5), pp.819-836. ⟨10.1142/S0129054109006905⟩
...
inria-00426610v1  Conference papers
Jesus ArandaGérard AssayagCarlos OlarteCamilo RuedaToro Mauricio et al.  An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
ICLP 2009 - 25th International Conference on Logic Programming, Jul 2009, Pasadena, United States. pp.509-513, ⟨10.1007/978-3-642-02846-5⟩
...
inria-00423495v1  Conference papers
Gang ZhengWoihida AggouneJean-Pierre Barbot. Analogue private communication based on hybrid chaotic systems with delays
2nd IFAC Conference on Analysis and Control of Chaotic Systems, Jun 2009, London, United Kingdom
...
inria-00386718v1  Conference papers
François-Xavier JolloisJean-Michel PoggiBruno Portier. Analyse Statistique de la Pollution par les PM10 en Haute-Normandie
41èmes Journées de Statistique, SFdS, Bordeaux, 2009, Bordeaux, France, France
...
inria-00377449v2  Conference papers
Álvaro FialhoMarc SchoenauerMichèle Sebag. Analysis of Adaptive Operator Selection Techniques on the Royal Road and Long K-Path Problems
Genetic and Evolutionary Computation Conference (GECCO), ACM, Jul 2009, Montreal, Canada. pp.779-786, ⟨10.1145/1569901.1570009⟩
...
inria-00543137v1  Conference papers
Sébastien LemaireFabienne MaupasPaul-Henry CournèdeJean-Michel AllirandBertrand Ney et al.  Analysis of the density effects on the source-sink dynamics in Sugar-Beet growth
Third International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications (PMA09), Nov 2009, Beijing, China. 454 p
...
inria-00431405v1  Book sections
Denilson BarbosaIoana ManolescuJeffrey yu Xu. Application Benchmark
Ling Liu and Tamer Ozsu. Encyclopedia of Database Systems, Springer, pp.99-100, 2009, 978-0-387-35544-3
...
inria-00377093v1  Conference papers
Miguel Nicolau. Application of a simple binary genetic algorithm to a noiseless testbed benchmark
Genetic and Evolutionary Computation Conference (GECCO), Jul 2009, Montreal, Canada
...
hal-00403787v1  Journal articles
Nicolas CastelGary CohenMarc Duruflé. Application of Discontinuous Galerkin spectral method on hexahedral elements for aeroacoustic
Journal of Computational Acoustics, World Scientific Publishing, 2009, 17 (2), pp.175-196
...
hal-00546792v1  Conference papers
Hong GuoVéronique LetortXiangdong Leiyuanchang LuP. de Reffye. Applying GreenLab Model to Adult Chinese Pine Trees with Topology Simplification
Plant Growth Modeling, Simulation, Visualization and Applications - PMA09, Nov 2009, Beijing, China. pp.58-64
...
tel-00434316v1  Habilitation à diriger des recherches
Pierre Alliez. Approches variationnelles pour le traitement numérique de la géométrie
Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2009
...
hal-00431271v1  Conference papers
Anne AugerJohannes BaderDimo BrockhoffEckart Zitzler. Articulating User Preferences in Many-Objective Problems by Sampling the Weighted Hypervolume
Genetic and Evolutionary Computation Conference (GECCO 2009), Jul 2009, Montreal, Canada. pp.555-562, ⟨10.1145/1569901.1569979⟩
...
tel-00772693v1  Theses
Romain Beauxis. Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols
Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2009. English
...
inria-00578926v1  Conference papers
Nihel Ben youssefAdel BouhoulaFlorent Jacquemard. Automatic Verification of Conformance of Firewall Configurations to Security Policies
IEEE Symposium on Computers and Communications (ISCC), Jul 2009, Sousse, Tunisia. pp.526-531, ⟨10.1109/ISCC.2009.5202309⟩
...
inria-00471727v1  Conference papers
Philippe JacquetLaurent Viennot. Average Size of Unstretched Remote-Spanners
5th ACM Workshop on Analytic Algorithmics and Combinatorics (ANALCO), 2009, New York, United States. pp.23--33
...
in2p3-00580588v1  Poster communications
Róbert Busa-FeketeBalázs Kégl. Bandit-Aided Boosting
OPT 2009: 2nd NIPS Workshop on Optimization for Machine Learning, Dec 2009, Whistler, Canada
...
inria-00382093v1  Conference papers
Nikolaus Hansen. Benchmarking a BI-Population CMA-ES on the BBOB-2009 Function Testbed
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
...
inria-00382101v1  Conference papers
Nikolaus Hansen. Benchmarking a BI-Population CMA-ES on the BBOB-2009 Noisy Testbed
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
...
inria-00377087v1  Conference papers
Raymond Ros. Benchmarking sep-CMA-ES on the BBOB-2009 Function Testbed
GECCO, Jul 2009, Montréal, Canada
...
inria-00377090v1  Conference papers
Raymond Ros. Benchmarking sep-CMA-ES on the BBOB-2009 Noisy Testbed
GECCO, Jul 2009, Montréal, Canada
...
inria-00430515v1  Conference papers
Anne Auger. Benchmarking the (1+1) Evolution Strategy with One-Fifth Success Rule on the BBOB-2009 Function Testbed
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
...
inria-00430517v1  Conference papers
Anne AugerNikolaus Hansen. Benchmarking the (1+1)-CMA-ES on the BBOB-2009 Function Testbed
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
...
inria-00430518v1  Conference papers
Anne AugerNikolaus Hansen. Benchmarking the (1+1)-CMA-ES on the BBOB-2009 Noisy Testbed
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
...
inria-00430516v1  Conference papers
Anne Auger. Benchmarking the (1+1)-ES with One-Fifth Success rule on the BBOB-2009 Noisy Testbed
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
...
inria-00382104v1  Conference papers
Nikolaus Hansen. Benchmarking the Nelder-Mead Downhill Simplex Algorithm With Many Local Restarts
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
...
inria-00377082v1  Conference papers
Raymond Ros. Benchmarking the NEWUOA on the BBOB-2009 Function Testbed
GECCO, Jul 2009, Montréal, France
...
inria-00377083v1  Conference papers
Raymond Ros. Benchmarking the NEWUOA on the BBOB-2009 Noisy Testbed
GECCO, Jul 2009, Montréal, Canada
...
inria-00430534v1  Conference papers
Anne AugerRaymond Ros. Benchmarking the Pure Random Search on the BBOB-2009 Noisy Testbed
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
...
inria-00430532v1  Conference papers
Anne AugerRaymond Ros. Benchmarking the Pure Random Search on the BBOB-2009 Testbed
ACM-GECCO Genetic and Evolutionary Computation Conference, Jul 2009, Montreal, Canada
...
inria-00451416v1  Conference papers
Fabien TeytaudOlivier Teytaud. Bias and variance in continuous EDA
EA 09, Oct 2009, Strasbourg, France
inria-00542344v1  Conference papers
Sarah Cohen-BoulakiaKevin Masini. BioBrowsing: Making the Most of the Data Available in Entrez
21st Int. Conf. in Scientific and Statistical Database Management (SSDBM), LNCS 5566, Springer, Jun 2009, New Orlean, United States. pp.283-291
hal-00785756v1  Book sections
Zoé LacroixR. CartikPeter MorkMark WilkinsonSarah Cohen-Boulakia. Biological Metadata Management
Ling Liu and M. Tamer Özsu. Encyclopedia of Database Systems, Springer US, pp.215-219, 2009, 978-0-387-35544-3, 978-0-387-39940-9
inria-00542357v1  Book sections
Zoé LacroixR. CartikPeter MorkRami RifaiehMark Wilkinson et al.  Biological Resource Discovery
Ling Liu, M. Tamer Özsu. Encyclopedia of Database Systems, Springer US, pp.220-223, 2009
hal-00684869v1  Conference papers
Haiwu HeGilles FedakBing TangFranck Cappello. BLAST Application with Data-aware Desktop Grid Middleware
CCGrid'09: Proceedings of the 9th IEEE International Symposium on Cluster Computing and the Grid, May 2009, Shanghai, China. ⟨10.1109/CCGRID.2009.91⟩