Filter your results
- 2897
- 3403
- 4
- 1479
- 984
- 140
- 106
- 50
- 45
- 32
- 16
- 15
- 13
- 9
- 2
- 2
- 2
- 2
- 18
- 13
- 2
- 2
- 1908
- 517
- 466
- 317
- 106
- 80
- 43
- 39
- 28
- 23
- 12
- 7
- 5
- 2897
- 2540
- 329
- 20
- 4
- 2
- 1
- 1
- 420
- 415
- 411
- 341
- 332
- 285
- 284
- 279
- 242
- 199
- 195
- 175
- 150
- 149
- 113
- 107
- 99
- 90
- 79
- 67
- 63
- 57
- 54
- 51
- 46
- 43
- 43
- 41
- 38
- 35
- 35
- 33
- 31
- 30
- 29
- 26
- 26
- 24
- 24
- 24
- 23
- 23
- 21
- 20
- 20
- 18
- 17
- 17
- 16
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 26
- 25
- 24
- 23
- 21
- 18
- 17
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
El proyecto Pl@ntNet : Una sistema de información colaborativa y de identificación de plantasWorkshop International "Origine de la biodiversité et utilisations innovantes de la diversité moléculaire et génétique", Nov 2010, Iquitos, Perú
Conference papers
hal-02821455v1
|
|||
Application of a temperature-dependent von Bertalanffy growth model to bullhead (Cottus gobio)Ecological Modelling, 2010, 221 (20), pp.2475-2481. ⟨10.1016/j.ecolmodel.2010.07.001⟩
Journal articles
istex
hal-02594632v1
|
|||
IRIM at TRECVID 2010: High Level Feature Extraction and Instance SearchTREC Video Retrieval Evaluation workshop, 2010, Gaithersburg, MD, United States
Conference papers
hal-00953839v1
|
|||
Angio IRM des membres inférieurs sans injection Etude de faisabilité à 3T chez des volontaires sains de la séquence NATIVE SPACEJournées Françaises de Radiologie 2010, Oct 2010, France
Conference papers
inserm-00606935v1
|
|||
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPSClaus Braband and Pierre-Etienne Moreau. ACM, 2010, 978-1-4503-0063-6
Books
inria-00607189v1
|
|||
|
Bounds on real eigenvalues and singular values of interval matricesSIAM Journal on Matrix Analysis and Applications, 2010, 31 (4), pp.2116-2129. ⟨10.1137/090753991⟩
Journal articles
hal-00907726v1
|
||
Multimodal inference of articulated spine models from higher order energy functions of discrete MRFS2010 IEEE 7th International Symposium on Biomedical Imaging - ISBI 2010, Apr 2010, Rotterdam, Netherlands. pp.1393-1396, ⟨10.1109/ISBI.2010.5490258⟩
Conference papers
hal-00856052v1
|
|||
Image transport regression using mixture of experts and discrete Markov random fields2010 IEEE 7th International Symposium on Biomedical Imaging - ISBI 2010, Apr 2010, Rotterdam, Netherlands. pp.1229-1232, ⟨10.1109/ISBI.2010.5490217⟩
Conference papers
hal-00856054v1
|
|||
Needle tracking through higher-order MRF optimization2010 IEEE 7th International Symposium on Biomedical Imaging - ISBI 2010, Apr 2010, Rotterdam, Netherlands. pp.624-627, ⟨10.1109/ISBI.2010.5490099⟩
Conference papers
hal-00856058v1
|
|||
Primal Heuristics for Branch-and-PriceEuropean Conference on Operational Research (EURO'10), 2010, Lisbon, Portugal
Conference papers
inria-00550137v1
|
|||
Sky Computing on FutureGrid and Grid'5000TeraGrid'10 (Poster session), Aug 2010, Pittsburgh, PA, United States
Conference papers
inria-00551206v1
|
|||
Bringing fast floating-point arithmetic into embedded integer processorsHiPEAC Info, 2010, 22, pp.11-12
Journal articles
ensl-00551245v1
|
|||
OpenViBE Tutorial: A Novel Open-‐Source Software to Design, Test and Use Brain-‐Computer InterfacesBCI Meeting 2010, May 2010, Asilomar, United States
Conference papers
inria-00551379v1
|
|||
Fuzzy multi-attribute decision making for e-sourcing7th International Symposium on Intelligent and Manufacturing Systems - IMS 2010, Sep 2010, Sarajevo, Bosnia and Herzegovina
Conference papers
inria-00601285v1
|
|||
ESS versus cooperative behaviour in a consumer-resource modelConference on Computational and Mathematical Population Dynamics, 2010, Bordeaux, France
Conference papers
hal-00850412v1
|
|||
Computing gap-free Pareto front approximations with stochastic search algorithmsEvolutionary Computation, 2010, 18 (1), pp.65-96. ⟨10.1162/evco.2010.18.1.18103⟩
Journal articles
hal-00750950v1
|
|||
|
Fences in Weak Memory ModelsCAV'10, Computer Aided Verification - 22nd International Conference, Jul 2010, Edinburgh, United Kingdom. ⟨10.1007/978-3-642-14295-6_25⟩
Conference papers
hal-01100859v1
|
||
Flow simulations in 3D Discrete Fracture Networks.International congress in Mathematical Fluid Dynamics and its Applications, Jun 2010, Rennes, France
Conference papers
hal-00853263v1
|
|||
Sleep disorders and accidental risk in a large group of regular registered highway drivers.Sleep Medicine, 2010, 11 (10), pp.973-9
Journal articles
hal-01155590v1
|
|||
A survey of superadditive functions and dual-feasible functionsAnnals of Operations Research, 2010, 179 (1), pp.281-288
Journal articles
inria-00522674v1
|
|||
A global camera network calibration method with Linear Programming3DPVT 2010 - International Symposium on 3D Data Processing, Visualization and Transmission, May 2010, Paris, France
Conference papers
inria-00523984v1
|
|||
Image-Based Satellite Attitude EstimationIGARSS - IEEE International Geoscience and Remote Sensing Symposium, Jul 2010, Honolulu, United States. pp.3394-3397, ⟨10.1109/IGARSS.2010.5650425⟩
Conference papers
inria-00523990v1
|
|||
One-shot scanning method using an uncalibrated projector and camera systemPROCAMS 2010 - IEEE International Workshop on Projector-Camera Systems, Jun 2010, San Francisco, United States. pp.104-111, ⟨10.1109/CVPRW.2010.5544604⟩
Conference papers
inria-00523992v1
|
|||
|
Formal Proof of SCHUR Conjugate FunctionCALCULEMUS 2010, Jul 2010, Paris, France. pp.158-171, ⟨10.1007/978-3-642-14128-7⟩
Conference papers
hal-00477574v1
|
||
Génolevures : Policy for automated annotation of genome sequencesLevures, Modèles et Outils IX, Aug 2010, Strasbourg, France
Conference papers
inria-00524385v1
|
|||
On Array Theory of Bounded ElementsCAV 2010 - 22nd International Conference on Computer Aided Verification, Jul 2010, Edinburgh, United Kingdom
Conference papers
inria-00517943v1
|
|||
|
Proof and Refutation in MALL as a gameAnnals of Pure and Applied Logic, 2010, 161 (5), pp.654-672. ⟨10.1016/j.apal.2009.07.017⟩
Journal articles
hal-00527922v1
|
||
|
Standardization and Böhm Trees for $\Lambda\mu$-CalculusTenth International Symposium on Functional and Logic Programming - FLOPS 2010, Apr 2010, Sendai, Japan. pp.134-149, ⟨10.1007/978-3-642-12251-4_11⟩
Conference papers
hal-00527926v1
|
||
A high-order time and space formulation of the unsplit perfectly matched layer for the seismic wave equation using Auxiliary Differential Equations (ADE-PML)Computer Modeling in Engineering and Sciences, 2010, 56 (1), pp.17-42. ⟨10.3970/cmes.2010.056.017⟩
Journal articles
inria-00528456v1
|
|||
Nouvelle technique d'analyse de la forme des signaux de pression artérielle basée sur une approche semi-classiqueUne demi-journée sur le coeur-Séminaire université de Versailles, Mar 2010, Versailles, France
Conference papers
inria-00527760v1
|