Skip to Main content Skip to Navigation

inria-00098721v1  Conference papers
Arnaud SimonAmedeo NapoliJean LieberAlain Ketterlin. Aspects de la classification dans un système de représentation des connaissances par objets
Sixièmes rencontres de la société francophone de classification, Olivier Gascuel et Gilles Caraux, 1998, Montpellier, France. pp.205-209
hal-01936351v1  Conference papers
Cristian Ramon-CortesRamon AmelaJorge EjarquePhilippe ClaussRosa Badia. AutoParallel: A Python module for automatic parallelization and distributed execution of affine loop nests
PyHPC 2018 - 8th Workshop on Python for High-Performance and Scientific Computing, Nov 2018, Dallas, TX, United States
hal-00756053v1  Book sections
Giovanni ManfrediPaul-Antoine HervieuxYue YinNicolas Crouseilles. Collective Electron Dynamics in Metallic and Semiconductor nanostructures
Carlo Massobrio and Hervé Bulou and Christine Goyhenex. Advances in the Atomic-Scale Modeling of Nanosystems and Nanostructured Materials, 795, springer, pp.1-44, 2010, Lecture Notes in Physics, 978-3-642-04649-0. ⟨10.1007/978-3-642-04650-6_1⟩
inria-00591061v1  Conference papers
Guillaume Latu. Fine-grained parallelization of a Vlasov-Poisson application on GPU
Europar'10, HPPC Workshop, Sep 2010, Ischia, Italy
inria-00502813v1  Conference papers
Alain KetterlinPhilippe Clauss. Recovering the Memory Behavior of Executable Programs
10th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM, Sep 2010, Timisoara, Romania
hal-00498545v1  Conference papers
Corinne GracAgnès BraudFlorence Le BerMichèle Trémolières. Un système d'information pour le suivi et l'évaluation de la qualité des cours d'eau
Actes du 3ème atelier " Systèmes d'Information et de Décision pour l'Environnement" - SIDE 2010 - Congrès Inforsid, 2010, Marseille, France. pp.12--21
hal-00616372v1  Conference papers
Ahmed Gamal EldinFabien SalzensteinChristophe Collet. Hidden fuzzy Markov chain model with K discrete classes
Information Sciences Signal Processing and their Applications (ISSPA), May 2010, Kuala Lumpur, Malaysia
inria-00504027v1  Conference papers
Jean-François DufourdYves Bertot. Formal study of plane Delaunay triangulation
Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.211-226
hal-00643446v1  Directions of work or proceedings
Pierre ColletNicolas MonmarchéPierrick LegrandMarc SchoenauerEvelyne Lutton. Evolution Artificielle 2009
Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton. LNCS 5975, Springer, pp.163, 2010, 978-3-642-14155-3
hal-00856846v1  Journal articles
Pierre-Yves CallandAnne MignotteOlivier PeyranYves RobertFrédéric Vivien. Retiming DAGs
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 1998, 17 (12), pp.1319-1325
hal-00856847v1  Journal articles
Pierre-Yves CallandAlain DarteYves RobertFrédéric Vivien. On the removal of anti- and output-dependences
International Journal of Parallel Programming, Springer Verlag, 1998, 26 (3), pp.285-312. ⟨10.1023/A:1018790129478⟩
hal-01695035v1  Conference papers
Benoît CaldairouNicolas PassatBenoît Naegel. Attribute-filtering and knowledge extraction for vessel segmentation
International Symposium on Visual Computing (ISVC), 2010, Las Vegas, United States. pp.13-22, ⟨10.1007/978-3-642-17289-2_2⟩
hal-00756242v1  Journal articles
Mihai Bostan. Boundary value problems for the stationary Nordström-Vlasov system
Journal of the Korean Mathematical Society, The Korean Mathematical Society, 2010, 47 (4), pp.743-766. ⟨10.4134/JKMS.2010.47.4.743⟩
hal-00531756v1  Journal articles
Aurélie BertauxFlorence Le BerAgnès BraudMichèle Trémolières. Mining Complex Hydrobiological Data with Galois Lattices
International Journal of Computing and Information Sciences (IJCIS), APCEP - Canada, 2010, 7 (2), pp.63--77
inria-00589812v1  Conference papers
Julien BeaudauxAntoine GallaisTahiry Razafindralambo. Multiple Coverage with Controlled Connectivity in Wireless Sensor Networks
Proceedings of the 7th ACM workshop on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks, Oct 2010, Bodrum, Turkey. ⟨10.1145/1868589.1868592⟩
hal-00202638v1  Journal articles
Pierre AilliotEmmanuel FrénodValérie Monbet. Modeling the Coastal Ocean over a Time Period of Several Weeks
Journal of Differential Equations, Elsevier, 2010, 246 (4), pp.639 - 659. ⟨10.1016/j.jde.2009.11.004⟩
tel-01939268v1  Theses
Yinoussa Adagolodjo. Couplage de La rObotique et de la simulatioN médicalE pour des proCédures automaTisées (CONECT)
Optimisation et contrôle [math.OC]. Université de Strasbourg, 2018. Français