Filter your results
- 3869
- 3099
- 10
- 1824
- 943
- 463
- 278
- 119
- 72
- 38
- 36
- 34
- 27
- 19
- 10
- 2
- 2
- 1
- 1
- 383
- 31
- 5
- 1
- 2984
- 685
- 365
- 284
- 146
- 105
- 76
- 75
- 44
- 24
- 11
- 3
- 3
- 3869
- 3390
- 470
- 4
- 2
- 1
- 1
- 1
- 661
- 585
- 583
- 563
- 504
- 486
- 351
- 338
- 305
- 287
- 268
- 210
- 200
- 172
- 166
- 147
- 120
- 120
- 110
- 92
- 89
- 88
- 76
- 73
- 69
- 67
- 56
- 50
- 49
- 47
- 44
- 42
- 41
- 41
- 39
- 38
- 35
- 32
- 32
- 29
- 29
- 26
- 26
- 25
- 25
- 24
- 23
- 23
- 23
- 23
- 22
- 21
- 21
- 20
- 20
- 20
- 19
- 19
- 19
- 19
- 19
- 18
- 18
- 17
- 16
- 16
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 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
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 23
- 22
- 19
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 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
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
|
Chaos et Transitions de phases dans la FA2012
Other publications
hal-04183697v1
|
||
|
Towards a Littlewood Richardson rule for Kac-Moody homogeneous spacesJournal of Lie Theory, 2012
Journal articles
hal-00358861v1
|
||
|
Existential Rules: A Graph-Based ViewPablo Barceló; Reinhard Pichler. Datalog 2.0, Sep 2012, Vienne, Austria. Springer, 2nd International Workshop on Datalog 2.0, LNCS (7494), pp.21-26, 2012, ⟨10.1007/978-3-642-32925-8_3⟩
Conference poster
lirmm-00763474v1
|
||
|
Upscaling for the Laplace problem using a discontinuous Galerkin methodJournal of Computational and Applied Mathematics, 2012, ⟨10.1016/j.cam.2012.05.025⟩
Journal articles
hal-00757098v1
|
||
|
LMPC based online generation of more efficient walking motionsIEEE-RAS International Conference on Humanoid Robots (Humanoids), Nov 2012, Osaka, Japan. pp.390-395, ⟨10.1109/HUMANOIDS.2012.6651549⟩
Conference papers
hal-02487630v1
|
||
|
Turbulent flow in a tube array : static case and FSI numerical simulationTurbulence and Interactions, 2012, Saline-les -Bains, France. pp.47-53, ⟨10.1007/978-3-662-43489-5_6⟩
Conference papers
hal-03208930v1
|
||
|
On optimal and balanced sparse matrix partitioning problems2012 IEEE International Conference on Cluster Computing, Sep 2012, Beijing, China. pp.257--265, ⟨10.1109/CLUSTER.2012.77⟩
Conference papers
hal-00763535v1
|
||
|
On the Complexity of Sets of Free Lines and Line Segments Among Balls in Three DimensionsDiscrete and Computational Geometry, 2012, 47 (4), pp.756-772. ⟨10.1007/s00454-012-9414-8⟩
Journal articles
hal-00643880v1
|
||
|
Microfluidic tools to investigate pathologies in the blood microcirculationInternational Journal of Nanotechnology, 2012, 9 (3/4/5/6/7), pp.529. ⟨10.1504/ijnt.2012.045340⟩
Journal articles
hal-02022343v1
|
||
|
A comprehensive framework for the detection of individual brain perfusion abnormalities using Arterial Spin LabelingInternational Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI), Oct 2012, Nice, France. pp.542-549
Conference papers
inserm-00720593v1
|
||
|
A test facility for assessing simulations of jets in cross flow configurations9th International ERCOFTAC Symposium on Engineering Turbulence Modelling and Measurements, ERCOFTAC, Jun 2012, Thessaloniki, Greece
Conference papers
hal-00768340v1
|
||
|
Eclipse Labs for improving DSL developmentEclipse DemoCamp Juno 2012 - Nantes, Jun 2012, Nantes, France
Conference papers
hal-00713733v1
|
||
|
The physical Church thesis as an explanation of the Galileo thesis2012
Preprints, Working Papers, ...
hal-04071350v1
|
||
|
Around the physical Church-Turing thesis: cellular automata, formal languages, and the principles of quantum theory.2012
Preprints, Working Papers, ...
hal-04075081v2
|
||
|
Dynamique de l'agrégation protéique chez la bactérie Escherichia coliSciences agricoles. INSA de Lyon, 2012. Français. ⟨NNT : 2012ISAL0108⟩
Theses
tel-00778887v2
|
||
|
Characterisation and Application of Idle Period Durations in IEEE 802.11 DCF-based Multihop Wireless NetworksACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM), Oct 2012, Paphos, Cyprus
Conference papers
hal-00724969v1
|
||
|
Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilitéLogique [math.LO]. Université Paris-Diderot - Paris VII, 2012
Habilitation à diriger des recherches
tel-00724233v2
|
||
|
On Model Subtyping4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France
Conference poster
hal-00726399v1
|
||
|
Fouille de données pour la stylistique : cas des motifs séquentiels émergents11es Journées Internationales d'Analyse Statistique des Données Textuelles (JADT'12), Jun 2012, Liège, Belgique. pp.821-833
Conference papers
hal-00675586v1
|
||
|
Distributed Monitoring with Collaborative Prediction12th IEEE International Symposium on Cluster, Cloud and Grid Computing (CCGrid'12), May 2012, Ottawa, Canada. epub ahead of print
Conference papers
hal-00673148v1
|
||
|
An Automatic Reversible Transformation from Composite to Visitor in JavaCIEL 2012 - Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France
Conference papers
hal-00733182v1
|
||
|
Erlang-based dimensioning for IPv4 Address+Port translationICC 2012: IEEE International Conference on Communications, Jun 2012, Ottawa, Canada. pp.1230-1234, ⟨10.1109/ICC.2012.6364328⟩
Conference papers
hal-00785727v1
|
||
|
Keys and Pseudo-keys Detection for Web Datasets Cleansing and Interlinking[Contract] scharffe2012b, 2012, pp.18
Reports
hal-00785745v1
|
||
|
Contributions à la recherche et à l'analyse de modèles 3DVision par ordinateur et reconnaissance de formes [cs.CV]. Université des Sciences et Technologie de Lille - Lille I, 2012
Habilitation à diriger des recherches
tel-00834372v1
|
||
|
MMG3D: User Guide[Technical Report] RT-0422, INRIA. 2012
Reports
hal-00681813v1
|
||
|
Improving Real Analysis in Coq: a User-Friendly Approach to Integrals and DerivativesCPP - 2nd International Conference on Certified Programs and Proofs - 2012, Dec 2012, Kyoto, Japan. pp.289-304, ⟨10.1007/978-3-642-35308-6_22⟩
Conference papers
hal-00712938v2
|
||
|
Approximate controllability of the Schrödinger equation with a polarizability termCDC - The 51st IEEE Conference on Decision and Control - 2012, Dec 2012, Maui, Hawaii, United States. pp.3024-3029
Conference papers
hal-00784881v1
|
||
|
Harmony: Towards Automated Self-Adaptive Consistency in Cloud Storage2012 IEEE International Conference on Cluster Computing, Sep 2012, Beijing, China
Conference papers
hal-00734050v1
|
||
|
The French Social Media Bank: a Treebank of Noisy User Generated ContentCOLING 2012 - 24th International Conference on Computational Linguistics, Kay, Martin and Boitet, Christian, Dec 2012, Mumbai, India
Conference papers
hal-00780895v1
|
||
|
Homotopes of Symmetric Spaces I. Construction by Algebras with Two Involutions2012
Preprints, Working Papers, ...
hal-00535693v2
|