Skip to Main content Skip to Navigation

hal-01982895v1  Journal articles
Hassan FahsG. OvarlezXavier Chateau. Pair-particle trajectories in a shear flow of a Bingham fluid
Journal of Non-Newtonian Fluid Mechanics, Elsevier, 2018, 261, pp.171-187. ⟨10.1016/j.jnnfm.2018.07.010⟩
hal-01978795v1  Conference papers
Arthur LebéeLaurent MonasseH. Nassar. Fitting surfaces with the Miura tessellation
7th International Meeting on Origami in Science, Mathematics and Education (7OSME), Sep 2018, Oxford, United Kingdom. pp.811
inria-00548505v1  Conference papers
Jean PonceKenton Mc HenryThéodore PapadopouloMonique TeillaudBill Triggs. On the Absolute Quadratic Complex and its Application to Autocalibration
IEEE Conference on Computer Vision & Pattern Recognition (CPRV '05), Jun 2005, San Diego, United States. pp.780--787, ⟨10.1109/CVPR.2005.256⟩
hal-01075944v1  Conference papers
Zide MengFabien GandonCatherine Faron ZuckerGe Song. Empirical Study on Overlapping Community Detection in Question and Answer Sites
Advances in Social Networks Analysis and Mining (ASONAM), 2014 IEEE/ACM International Conference on, Aug 2014, Beijing, China. ⟨10.1109/ASONAM.2014.6921608⟩
hal-01096040v1  Conference papers
Vincent KherbacheEric MadelaineFabien Hermenier. Planning Live-Migrations to Prepare Servers for Maintenance
Euro-Par 2014: Parallel Processing Workshops, Aug 2014, Porto, Portugal. pp.498 - 507, ⟨10.1007/978-3-319-14313-2_42⟩
inria-00178498v1  Book sections
Bernard MourrainJean-Pascal PavonePhilippe TrebuchetElias TsigaridasJulien Wintz. SYNAPS: A library for dedicated applications in symbolic numeric computing,
M.E. Stillman and N. Takayama and J. Verschelde. Software for algebraic geometry, 148, Springer, pp.81-110, 2007, IMA Volumes in Mathematics and its Applications
inria-00070537v1  Conference papers
Bernard MourrainPhilippe Trebuchet. Generalized normal forms and polynomial system solving
ISSAC 2005 - International Symposium on Symbolic and Algebraic Computation , Jul 2005, Beijing, China. pp.253-260, ⟨10.1145/1073884.1073920⟩
hal-01252167v1  Journal articles
Jean-Pierre LoziFlorian DavidGaël ThomasJulia LawallGilles Muller. Fast and Portable Locking for Multicore Architectures
ACM Transactions on Computer Systems, Association for Computing Machinery, 2016, ⟨10.1145/2845079⟩
hal-01376970v1  Conference papers
Michaël PerrotNicolas CourtyRémi FlamaryAmaury Habrard. Mapping Estimation for Discrete Optimal Transport
Neural Information Processing System, Dec 2016, Barcelone, Spain
hal-00504734v1  Journal articles
Nathann CohenFedor V. FominGregory GutinEun Jung KimSaket Saurabh et al.  Algorithm for finding k-vertex out-trees and its application to k-internal out-branching problem
Journal of Computer and System Sciences, Elsevier, 2010, 76 (7), pp.650 - 662
hal-01571229v1  Conference papers
Nathann CohenFrédéric HavetDorian MazauricIgnasi Sau VallsRémi Watrigant. Complexity Dichotomies for the Minimum $F$-Overlay Problem
28th International Workshop on Combinatorial Algorithms (IWOCA), Jul 2017, Newcastle, Australia. pp.116-127, ⟨10.1007/978-3-319-78825-8_10⟩
hal-01905191v1  Journal articles
Daniel HirschkoffEtienne LozesDavide Sangiorgi. ON THE EXPRESSIVENESS OF THE AMBIENT LOGIC
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2006, 2, pp.1 - 35. ⟨10.2168/LMCS-2⟩