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