 |
 |
 |
|
|
||
|---|---|---|
| inria-00521708v1
Conference papers
[Demo] From del.icio.us to x.qui.site: recommendations in social tagging sites SIGMOD, Jun 2009, Vancouver, Canada. ⟨10.1145/1376616.1376766⟩ |
||
| inria-00374392v1
Reports
3D Registration of Articulated Spine Models Using Markov Random Fields [Technical Report] RT-0364, INRIA. 2009, pp.14 |
||
| inria-00528770v1
Journal articles
9x9 GO AS BLACK WITH KOMI 7.5: AT LAST SOME GAMES WON AGAINST TOP PLAYERS IN THE DISADVANTAGEOUS SITUATION International Computer Games Association Journal, ICGA, 2009 |
||
| inria-00541142v1
Journal articles
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
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-00424248v1
Reports
A Categorical Semantics for The Parallel Lambda-Calculus [Research Report] RR-7063, INRIA. 2009, pp.22 |
||
| inria-00370379v2
Preprints, Working Papers, ...
A completeness theorem for strong normalization in minimal deduction modulo 2009 |
||
| inria-00431806v1
Book sections
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 |
||
| inria-00429439v1
Conference papers
A Content-based Network Coding to Match Social Interest Similarities in Delay Tolerant Networks ExtremeCom Workshop, Aug 2009, Laponia, Sweden |
||
| hal-00667815v1
Conference papers
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
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-00371350v1
Reports
A distribution framework for the generalized Fourier transform associated with a Sturm--Liouville operator [Research Report] RR-6885, INRIA. 2009, pp.18 |
||
| inria-00529096v1
Conference papers
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
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
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
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
A Kleene Theorem for Forest Languages Language and Automata Theory and Applications, LATA'09, 2009, Tarragona, Spain |
||
| inria-00352834v1
Conference papers
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-00276216v1
Journal articles
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 |
||
| inria-00428994v1
Conference papers
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
A new control strategy for shape memory alloys actuators 8th European Symposium on Martensitic Transformations, Sep 2009, Prague, Czech Republic. pp.CDROM |
||
| hal-00862582v1
Journal articles
A New Fuzzy Connectivity Measure for Fuzzy Sets and Associated Fuzzy Attribute Openings Journal of Mathematical Imaging and Vision, Springer Verlag, 2009, 34, pp.107-136. ⟨10.1007/s10851-009-0136-3⟩  |
||
| inria-00384041v1
Reports
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property [Research Report] Université d'Evry Val d'Essonne. 2009 |
||
| inria-00564022v1
Book sections
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-00386476v1
Conference papers
A Novel Ontology for Computer Go Knowledge Management IEEE FUZZ, 2009, Jeju, South Korea |
||
| inria-00428924v1
Conference papers
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
A post-treatment of the homogenization method in shape optimization 8th World Congress on Structural and Multidisciplinary Optimization, 2009, Lisbonne, Portugal |
||
| hal-01350256v1
Journal articles
À propos de l’enseignement de l’informatique Interstices, INRIA, 2009 |
||
| inria-00445212v2
Journal articles
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding Journal of Applied Non-Classical Logics, Taylor & Francis, 2009, 19 (4), pp.489-516. ⟨10.3166/jancl.19.489-516⟩ |
||
| hal-00864493v1
Journal articles
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-00385520v1
Preprints, Working Papers, ...
A semantic method to prove strong normalization from weak normalization 2009 |
||
| inria-00369782v1
Conference papers
A Statistical Learning Perspective of Genetic Programming EuroGP, 2009, Tuebingen, Germany. pp.327-338 |
||
| inria-00546291v1
Conference papers
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-00379776v1
Reports
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems [Research Report] RR-6912, INRIA. 2009, pp.42 |
||
| inria-00612342v1
Conference papers
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
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
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
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-00772696v1
Books
Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi Elsevier, 410, pp.4601-4800, 2009, Theoretical Computer Science |
||
| hal-00155295v1
Book sections
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-02420940v1
Journal articles
Accelerating scientific computations with mixed precision algorithms Computer Physics Communications, Elsevier, 2009, 180 (12), pp.2526-2533. ⟨10.1016/j.cpc.2008.11.005⟩  |
||
| hal-00533524v1
Conference papers
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
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 |
||
| |
||
| inria-00356601v2
Reports
Adaptive Forwarding to Match Mobility Characteristics in Delay Tolerant Networks [Research Report] RR-6816, INRIA. 2009, pp.24 |
||
| hal-00504093v1
Conference papers
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 |
||
| inria-00386477v1
Conference papers
Adding expert knowledge and exploration in Monte-Carlo Tree Search Advances in Computer Games, 2009, Pamplona, Spain |
||
| hal-00974807v1
Journal articles
Advances on 3D geoelectric forward solver techniques Geophysical Journal International, Oxford University Press (OUP), 2009, 176, pp.740-752 |
||
| hal-00772633v1
Conference papers
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
Algebraic observer for a class of switched systems with Zeno phenomenon 48th IEEE Conference on Decision and Control, CDC 2009, Dec 2009, shanghai, China |
||
| inria-00439232v2
Reports
Algebraic types and pattern matching in the logical language of the Why verification platform [Research Report] RR-7128, INRIA. 2009 |
||
| tel-00785953v1
Theses
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
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
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
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
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
An Agent Model Using Polychronous Networks Colibri, Jul 2009, Bento Gonçalves, Brazil. pp.76-80 |
||
| inria-00389872v1
Conference papers
An algebraic derivative-based approach for the zero-crossings estimation 17th European Signal Processing Conference, EUSIPCO 2009, Aug 2009, Glasgow, United Kingdom |
||
| hal-00504100v1
Journal articles
An automatic valuation system in the human brain: evidence from functional neuroimaging. Neuron, Elsevier, 2009, 64 (3), pp.431-9. ⟨10.1016/j.neuron.2009.09.040⟩ |
||
| hal-00772641v1
Journal articles
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-00391819v1
Journal articles
An observation algorithm for nonlinear systems with unknown inputs Automatica, Elsevier, 2009, 45 (8), pp.1970-1974. ⟨10.1016/j.automatica.2009.04.009⟩ |
||
| inria-00426610v1
Conference papers
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
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-00394972v1
Conference papers
Analyse fréquentielle des dérivateurs algébriques XXIIe Colloque GRETSI, Sep 2009, Dijon, France |
||
| pastel-00005464v1
Theses
Analyse mathématique et numérique de problèmes de propagation des ondes dans des milieux périodiques infinis localement perturbés Mathématiques [math]. Ecole Polytechnique X, 2009. Français |
||
| inria-00386718v1
Conference papers
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
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⟩ |
||
| hal-00546782v1
Conference papers
Analysis of Cecropia sciadophylla Morphogenesis Based on a Sink-Source Dynamic Model 2009 Plant Growth Modeling And Applications, Nov 2009, Beijing, China. pp.10-17 |
||
| inria-00543137v1
Conference papers
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
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
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
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
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
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
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⟩ |
||
| inria-00360552v1
Reports
Asymptotic models for scattering problems from unbounded media with high conductivity [Research Report] RR-6841, INRIA. 2009, pp.29 |
||
| tel-00772693v1
Theses
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
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
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
Bandit-Aided Boosting OPT 2009: 2nd NIPS Workshop on Optimization for Machine Learning, Dec 2009, Whistler, Canada |
||
| inria-00382093v1
Conference papers
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
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
Benchmarking sep-CMA-ES on the BBOB-2009 Function Testbed GECCO, Jul 2009, Montréal, Canada |
||
| inria-00377090v1
Conference papers
Benchmarking sep-CMA-ES on the BBOB-2009 Noisy Testbed GECCO, Jul 2009, Montréal, Canada |
||
| inria-00430515v1
Conference papers
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
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
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
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-00377076v1
Conference papers
Benchmarking the BFGS Algorithm on the BBOB-2009 Function Testbed GECCO, Jul 2009, Montréal, Canada |
||
| inria-00377079v2
Conference papers
Benchmarking the BFGS Algorithm on the BBOB-2009 Noisy Testbed GECCO, Jul 2009, Montréal, Canada |
||
| inria-00382104v1
Conference papers
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
Benchmarking the NEWUOA on the BBOB-2009 Function Testbed GECCO, Jul 2009, Montréal, France |
||
| inria-00377083v1
Conference papers
Benchmarking the NEWUOA on the BBOB-2009 Noisy Testbed GECCO, Jul 2009, Montréal, Canada |
||
| inria-00430534v1
Conference papers
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
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
Bias and variance in continuous EDA EA 09, Oct 2009, Strasbourg, France |
||
| inria-00542344v1
Conference papers
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
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
Biological Resource Discovery Ling Liu, M. Tamer Özsu. Encyclopedia of Database Systems, Springer US, pp.220-223, 2009 |
||
| hal-00684869v1
Conference papers
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⟩ |
||
|
|
||
