139 résultats  enregistrer la recherche


...
hal-01100186v2  Communication dans un congrès
Aina Frau-PascualThomas VincentFlorence ForbesPhilippe CiuciuHemodynamically informed parcellation of cerebral FMRI data
ICASSP 2014 - 2014 IEEE International Conference on Acoustics, Speech and Signal Processing, May 2014, Florence, Italy. IEEE, pp.2079-2083, 2014, <10.1109/ICASSP.2014.6853965>
...
hal-01100266v1  Communication dans un congrès
Aina Frau-PascualThomas VincentJennifer SlobodaPhilippe CiuciuFlorence ForbesPhysiologically Informed Bayesian Analysis of ASL fMRI Data
M. Jorge Cardoso; Ivor Simpson; Tal Arbel; Doina Precup; Annemie Ribbens. BAMBI 2014 - First International Workshop on Bayesian and grAphical Models for Biomedical Imaging, Sep 2014, Boston, United States. Springer International Publishing, 8677, pp.37 - 48, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-12289-2_4>
...
hal-00854624v1  Communication dans un congrès
Solveig BadilloThomas VincentPhilippe CiuciuMulti-session extension of the joint-detection framework in fMRI
ISBI 2013 - International Symposium on BIomedical Imaging: From Nano to Macro, Apr 2013, San Fransisco, United States. IEEE, pp.1512-1515, 2013, <10.1109/ISBI.2013.6556822>
...
hal-00854626v1  Communication dans un congrès
Solveig BadilloThomas VincentPhilippe CiuciuImpact of the joint detection-estimation approach on random effects group studies in fMRI
Pan X, Liebling M,. ISBI 2011 - IEEE Computer Society International Symposium on Biomedical Imaging: From Nano to Macro, Mar 2011, Chicago, United States. IEEE, pp.376-380, 2011, <10.1109/ISBI.2011.5872427>
...
inria-00524938v1  Communication dans un congrès
Bruno BarrasPierre CorbineauBenjamin GrégoireHugo HerbelinJorge SacchiniA New Elimination Rule for the Calculus of Inductive Constructions
Stefano Berardi and Ferruccio Damiani and Ugo de'Liguoro. Types for Proofs and Programs, Mar 2008, Torino, Italy. Springer, 5497, pp.32-48, 2009, Lecture Notes in Computer Science; Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. <10.1007/978-3-642-02444-3_3>
...
hal-01510994v1  Communication dans un congrès
Vincent BraultChristine KeribinMahendra MariadassouÉquivalence asymptotique des vraisemblances observée et complète dans le modèle de blocs latents
XXIV èmes Rencontres de la Société Francophone de Classification, Jun 2017, Lyon, France. 2017, <http://polytech-sfc2017.univ-lyon1.fr/>
inria-00527287v1  Communication dans un congrès
Fatiha SaïsNobal NiraulaNathalie PernelleMarie-Christine RoussetLN2R – a knowledge based reference reconciliation system: OAEI 2010 Results
The Fifth International Workshop on Ontology Matching, Nov 2010, Shanghai, China. 2010
inria-00329977v1  Communication dans un congrès
Jean-François CouchotFrédéric DadeauGuiding the Correction of Parameterized Specifications
6th international conference on integrated Formal Methods (iFM'07), Jul 2007, Oxford, United Kingdom. 4591, 2007, LNCS
...
inria-00179222v1  Communication dans un congrès
Gang ZhengDriss BoutatJean-Pierre BarbotSingle output dependent quadratic observability normal form
NOLCOS 2007 - 7th IFAC Symposium on Nonlinear Control Systems, Aug 2007, Pretoria, South Africa. 2007
inria-00429710v1  Communication dans un congrès
Nada AbdallahFrançois GoasdouéMarie-Christine RoussetDL-liteR in the Light of Propositional Logic for Decentralized Data Management
International Joint Conference on Artificial Intelligence, Jul 2009, Passadena, United States. 2009
...
hal-00847635v1  Communication dans un congrès
Sheng DiYves RobertFrédéric VivienDerrick KondoCho-Li Wang et al.  Optimization of Cloud Task Processing with Checkpoint-Restart Mechanism
SC13 - Supercomputing - 2013, Nov 2013, Denver, United States. ACM, 2013, <10.1145/2503210.2503217>
hal-00847933v1  Ouvrage (y compris édition critique et traduction)
Serge AbiteboulIoana ManolescuPhilippe RigauxMarie-Christine RoussetPierre SenellartWeb Data Management
Cambridge University Press, pp.432, 2012
hal-00765226v1  Ouvrage (y compris édition critique et traduction)
Gilles DowekJean-Pierre ArchambaultEmmanuel BaccelliSylvie BoldoDenis Bouhineau et al.  Une introduction à la science informatique pour les enseignants de la discipline en lycée
Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
...
inria-00534336v1  Communication dans un congrès
Asma TafatSylvain BoulméClaude MarchéA refinement methodology for object-oriented programs
Bernhard Beckert and Claude Marché. Formal Verification of Object-Oriented Software, Jun 2010, Paris, France. Karlsruhe University, 2010-13, pp.143--159, 2010, Karlsruhe Reports in Informatics; Formal Verification of Object-Oriented Software, Papers Presented at the International Conference
hal-00933701v1  Communication dans un congrès
Christine BakhousFlorence ForbesFarida EnikeevaThomas VincentMichel Dojat et al.  Analyse parcimonieuse des données d'IRM fonctionnelle dans un cadre bayésien variationnel
45èmes Journées de Statistique, May 2013, Toulouse, France. 2013
...
inria-00319964v1  Communication dans un congrès
Gang ZhengDriss BoutatJean-Pierre BarbotGeometrical Conditions for Output Depending Observability Normal Form
CDC 2008 - 47th IEEE Conference on Decision and Control, Dec 2008, Cancun, Mexico. IEEE, pp.5075-5079, 2008, <10.1109/CDC.2008.4739505>
hal-00452935v1  Communication dans un congrès
Guillaume SandouSorin OlaruEmmanuel WitrantSimona NiculescuReceding Horizon Control: an Effective Methodology for Energy Management in Complex Systems
IFAC Conference on Control Methodologies and Technology for Energy Efficiency (CMTEE 2010), Mar 2010, Vilamoura, Portugal. pp.CD-Rom, 2010
...
inria-00502888v1  Communication dans un congrès
Gilles FedakJean-Patrick GelasThomas HéraultVictor IniestaDerrick Kondo et al.  DSL-Lab: a Low-power Lightweight Platform to Experiment on Domestic Broadband Internet
9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey. 2010
hal-00324575v1  Communication dans un congrès
Serge AbiteboulTristan AllardPhilippe ChatalicGeorges GardarinAnca Ghitescu et al.  WebContent: Efficient P2P Warehousing of Web Data
Conference on Very Large Databases, Aug 2008, Auckland, Nouvelle Zélande, France. 2008
hal-01355135v1  Communication dans un congrès
Alfredo HubardVojtech KaluzaArnaud De MesmayMartin TancerShortest Path Embeddings of Graphs on Surfaces
Sandor Fekete and Anna Lubiw. 32nd International Symposium on Computational Geometry (SoCG 2016), Jun 2016, Boston, United States. 51, pp.43:1--43:16, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). <10.4230/LIPIcs.SoCG.2016.43>
...
hal-00859386v1  Communication dans un congrès
Lotfi ChaariFlorence ForbesThomas VincentPhilippe CiuciuRobust voxel-wise Joint Detection Estimation of Brain Activity in fMRI
ICIP 2012 - 19th IEEE International Conference on Image Processing, Sep 2012, Orlando, United States. IEEE, pp.1273-1276, 2012, <10.1109/ICIP.2012.6467099>
...
hal-00859391v1  Communication dans un congrès
Christine BakhousFlorence ForbesThomas VincentMichel DojatPhilippe CiuciuVariational Variable Selection To Assess Experimental Condition Relevance In Event-Related fMRI
ISBI 2013 - 10th IEEE International Symposium on Biomedical Imaging, Apr 2013, San Francisco, United States. IEEE, pp.1508-1511, 2013, <10.1109/ISBI.2013.6556821>