9383 results  save search


...
hal-00803108v1  Book sections
Zhiping RaoHasnaa Zidani. Hamilton-Jacobi-Bellman Equations on Multi-Domains
K. Bredies and C. Clason and K. Kunisch and G. von Winckel. Control and Optimization with PDE Constraints, 164, Springer, pp.93--116, 2013, International Series of Numerical Mathematics, 978-3-0348-0630-5. ⟨10.1007/978-3-0348-0631-2_6⟩
...
hal-00803135v1  Journal articles
Damien LeprovostLylia AbroukDavid Gross-Amblard. Discovering Implicit Communities in Web forums through Ontologies
Web Intelligence and Agent Systems : An International Journal (WIAS), 2012, 10 (1), pp.93-103. ⟨10.3233/WIA-2012-0234⟩
...
hal-00853097v1  Conference papers
Hao XuBertrand ThirionStéphanie Allassonnière. Bayesian Estimation of Probabilistic Atlas for Anatomically-Informed Functional MRI Group Analyses
MICCAI - 16th International Conference on Medical Image Computing and Computer Assisted Intervention - 2013, Sep 2013, Nagoya, Japan
...
inria-00000964v1  Conference papers
Laurent BouraouiArnaud de la FortelleAnis Laouiti. OLSR improvement for distributed traffic applications
Fourth Annual Mediterranean Ad Hoc Networking Workshop, Jun 2005, Île de Porquerolles, France. pp.73-77, ⟨10.1007/0-387-31173-4_9⟩
...
hal-01002815v2  Conference papers
Christine BerthaudLaurent CapelliJens GustedtClaude KirchnerLoiseau Kevin et al.  EPISCIENCES - an overlay publication platform
ELPUB2014 - International Conference on Electronic Publishing, Alexander Technological Education Institute of Thessaloniki, Jun 2014, Thessalonique, Greece. pp.78-87, ⟨10.3233/978-1-61499-409-1-78⟩
lirmm-00203668v1  Book sections
Philippe FraisseArnaud LelevéWilfrid Perruquetti. Robots en réseaux
JP. Richard. Systèmes commandés en réseau, 1, ⟨HERMES⟩, pp.125-179, 2007, T. Divoux, 978-2-7462-1513-9
hal-00652770v1  Conference papers
Thanh-Nghi DoFrançois PouletJean-Daniel Fekete. Massive Data Mining via Boosting of Least Squares SVM Algorithm
5th IEEE International Conference on Computer Sciences: Research & Innovation and Vision for the Future, RIVF'07, 2007, Hanoï, Vietnam. pp.47-52
...
hal-00548212v1  Conference papers
Mário AlvimMiguel AndrésCatuscia Palamidessi. Entropy and Attack Models in Information Flow
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.53-54, ⟨10.1007/978-3-642-15240-5_4⟩
...
hal-01202901v1  Conference papers
Jean-Daniel Fekete. ProgressiVis: a Toolkit for Steerable Progressive Analytics and Visualization
1st Workshop on Data Systems for Interactive Analysis, Oct 2015, Chicago, United States. pp.5
...
inria-00202841v1  Conference papers
Jean-Christophe Filliâtre. Gagner en passant à la corde
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.139-152
...
inria-00602419v1  Conference papers
Charlotte BaeyPaul-Henry Cournède. Using a hierarchical segmented model to assess the dynamics of leaf appearance in plant populations.
14th Applied Stochastic Models and Data Analysis International Conference (ASMDA 2011), Jun 2011, Rome, Italy
...
inria-00502500v1  Conference papers
Arnaud Spiwack. An abstract type for constructing tactics in Coq
Proof Search in Type Theory, Jul 2010, Edinburgh, United Kingdom
hal-00904144v1  Conference papers
Philippe JacquetDimitrios MiliorisWojciech Szpankowski. Classification of Markov Sources Through Joint String Complexity: Theory and Experiments
IEEE International Symposium on Information Theory, Jul 2013, Istanbul, Turkey
...
inria-00103433v1  Conference papers
Olivier ChevassutPierre-Alain FouquePierrick GaudryDavid Pointcheval. The Twist-AUgmented technique for key exchange
9th International Conference on Theory and Practice of Public Key Cryptology - PKC 2006, Apr 2006, New York, USA, pp.410-426
inserm-01103094v1  Journal articles
Alberto AscherioKassandra L. MungerRick WhiteKarl KöchertKelly Claire Simon et al.  Vitamin D as an early predictor of multiple sclerosis activity and progression.
JAMA neurology, American Medical Association (imprimé) / 2014, pp.306-14
...
hal-01302236v1  Conference papers
Davidysson AlvarengaFelipe Domingos da CunhaAline Carneiro VianaRaquel A. F. MiniAntonio A. F. Loureiro. Classificando Comportamentos Sociais em Redes Veiculares
XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, SBC, May 2014, Florianópolis, Brazil
hal-01252379v1  Conference papers
Marianne AkianStéphane GaubertAndrea Marchesini. Tropical bounds for the eigenvalues of block structured matrices
SIAM Conference on Applied Linear Algebra (SIAM LA), Oct 2015, Atlanta, United States
...
hal-01401950v1  Reports
Andy PhilpottFaisal WahidFrédéric Bonnans. MIDAS: A Mixed Integer Dynamic Approximation Scheme
[Research Report] Inria Saclay Ile de France. 2016, pp.22
...
hal-00853108v1  Conference papers
Bernard NgGaël VaroquauxJean-Baptiste PolineBertrand Thirion. Implications of Inconsistencies between fMRI and dMRI on Multimodal Connectivity Estimation
MICCAI - 16th International Conference on Medical Image Computing and Computer Assisted Intervention - 2013, Kensaku Mori, Sep 2013, Nagoya, Japan
hal-00853350v1  Conference papers
Lotfi ChaâriJean-Christophe PesquetJean-Yves TourneretPhilippe CiuciuAmel Benazza-Benyahia. A hierarchical Bayesian model for frame representation
IEEE International Conference Acoustics, Speech, and Signal (ICASSP), Mar 2010, Dallas, USA, France. pp.4086-4089