Skip to Main content Skip to Navigation

hal-02337726v1  Journal articles
Laurent GranjonGauthier DobignyP ChevretArame Ndiaye. Histoire évolutive et taxonomie intégrative dans le genre Gerbillus (Rodentia: Muridae)
Bulletin de la Société d’Histoire Naturelle d’Afrique du Nord, 2018, 74, pp.43-55
hal-00539308v1  Journal articles
J.-C. DesenclosPascal AstagneauC. BernetV. Bussy-MalgrangeB. Coignard et al.  Surveillance and outbreak reports
Eurosurveillance, European Centre for Disease Prevention and Control, 2009, 14 (46), pp.1-8
tel-03245433v4  Theses
Nadim Kobeissi. Formal verification for real-world cryptographic protocols and implementations
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE065⟩
tel-03232722v1  Theses
Nicolás Jara. Optical network design considering fault tolerance to any set of link failures
Networking and Internet Architecture [cs.NI]. Université Rennes 1; Universidad técnica Federico Santa María (Valparaiso, Chili), 2018. English. ⟨NNT : 2018REN1S111⟩
hal-03223755v1  Conference papers
Yann Laurillauvan Bao NguyenJoëlle CoutazGaëlle CalvaryNadine Mandran et al.  The TOP-Slider for Multi-criteria Decision Making by Non-Specialists
Proceedings of the 10th Nordic Conference on Human-Computer Interaction (NordiCHI '18), Sep 2018, Oslo, Norway. pp.642-653, ⟨10.1145/3240167.3240185⟩
tel-01956833v2  Theses
Michaël Orieux. Some properties and applications of minimum time control
Dynamical Systems [math.DS]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLED079⟩
hal-03214192v1  Journal articles
Zichun ZhongWenping WangBruno LévyJing HuaXiaohu Guo. Computing a high-dimensional euclidean embedding from an arbitrary smooth riemannian metric
ACM Transactions on Graphics, Association for Computing Machinery, 2018, 37 (4), pp.1-16. ⟨10.1145/3197517.3201369⟩
hal-01862533v2  Journal articles
Bernard GibaudGermain ForestierCarolin FeldmannGiancarlo FerrignoPaulo Gonçalves et al.  Toward a standard ontology of surgical process models
International Journal of Computer Assisted Radiology and Surgery, Springer Verlag, 2018, 13 (9), pp.1397-1408. ⟨10.1007/s11548-018-1824-5⟩
hal-03206287v1  Book sections
Petra IsenbergBongshin LeeHuamin QuMaxime Cordeil. Immersive Visual Data Stories
Kim Marriott; Falk Schreiber; Tim Dwyer; Karsten Klein; Nathalie Henry Riche; Takayuki Itoh; Wolfgang Stuerzlinger; Bruce H. Thomas. Immersive Analytics, Immersive Analytics (LNCS 11190), Springer, pp.165-184, 2018, Lecture Notes in Computer Science book series, ⟨10.1007/978-3-030-01388-2_6⟩
hal-01906459v2  Conference papers
Silvia PagliariniXavier HinautArthur Leblois. A bio-inspired model towards vocal gesture learning in songbird
2018 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics (ICDL-EpiRob), Sep 2018, Tokyo, Japan
hal-01742016v1  Conference papers
Orcun YildizShadi Ibrahim. On the Performance of Spark on HPC Systems: Towards a Complete Picture
SCA 2018 - SupercomputingAsia, Mar 2018, Singapore, Singapore. pp.70-89, ⟨10.1007/978-3-319-69953-0_5⟩
hal-03198464v1  Conference papers
Stéphanie ThiéryDidier Fass. Vers un principe de conception sûre des systèmes cyber-économiques
Journée du droit pénal économique, ILCE - Institut de lutte contre la criminalité économique HEG-ARC, Université de Fribourg, Expert Suisse, Jun 2018, Neuchâtel, Suisse
hal-03198565v1  Conference papers
Franck GechterDidier Fass. Why co-adaptation is mandatory in extreme environment human-system integration and co-evolution modelling?
AHFE 2018 - Human Factors and Simulation, Jul 2018, Orlando, United States
hal-03195516v1  Journal articles
Paul MiniMarc BonnefoyFabien SubtilMichel Chuzeville. Prevalence of iron deficiency in patients aged 75 years or older with heart failure
Journal of Geriatric Cardiology, Institute of Geriatric Cardiology, Chinese PLA General Hospital, 2018, 15 (11), pp.382-686. ⟨10.11909/j.issn.1671-5411.2018.11.005⟩
inria-00413274v1  Conference papers
Guy BaeleNicolas BredecheEvert HaasdijkSteven MaereNiko Michiels et al.  Open-ended On-board Evolutionary Robotics for Robot Swarms
CEC 2009 - IEEE Congress on Evolutionary Computation, May 2009, Trondheim, Norway
hal-03189491v1  Journal articles
Stéphane DemriRanko Lazić. LTL with the Freeze Quantifier and Register Automata
ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (3), ⟨10.1145/1507244.1507246⟩
hal-01945650v2  Journal articles
Houssem HaddarShixu Meng. The spectral analysis of the interior transmission eigenvalue problem for Maxwell's equations
Journal de Mathématiques Pures et Appliquées, Elsevier, 2018, 120, pp.1-32
hal-03187851v1  Journal articles
Stéphane DemriRégis Gascon. The Effects of Bounding Syntactic Resources on Presburger LTL
Journal of Logic and Computation, Oxford University Press (OUP), 2009, 19 (6), pp.1541-1575. ⟨10.1093/logcom/exp037⟩
tel-03186940v1  Theses
Salima Harrat. Statistical Machine Translation: Application to low resourced languages
Computation and Language [cs.CL]. École Supérieure d’Informatique, 2018. English
hal-01588272v1  Journal articles
Chun Hao HuangBenjamin AllainEdmond BoyerJean-Sébastien FrancoFederico Tombari et al.  Tracking-by-Detection of 3D Human Shapes: from Surfaces to Volumes
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2018, 40 (8), pp.1994-2008. ⟨10.1109/TPAMI.2017.2740308⟩
inria-00370168v4  Conference papers
Michel FliessCédric Join. Towards new technical indicators for trading systems and risk management
15th IFAC Symposium on System Identification, 2009, Saint-Malo, France. pp.1435-1440, ⟨10.3182/20090706-3-FR-2004.00239⟩
inria-00413281v1  Conference papers
Serge KernbachHeiko HamannJuergen StradtnerRonald TheniusThomas Schmickl et al.  On adaptive self-organization in artificial robot organisms
ADAPTIVE 2009 - The First International Conference on Adaptive and Self-adaptive Systems and Applications, Nov 2009, Athens, Greece. ⟨10.1109/ComputationWorld.2009.9⟩
hal-03178814v1  Journal articles
Guillaume BonfanteFlorian Deloup. The genus of regular languages
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (1), pp.14-44. ⟨10.1017/S0960129516000037⟩
insu-00354723v1  Journal articles
Mondher Ben JemaaNathalie Glinsky-OlivierVictor Cruz-AtienzaJean Virieux. 3D Dynamic rupture simulations by a finite volume method
Geophysical Journal International, Oxford University Press (OUP), 2009, 178 (1), pp.541-560. ⟨10.1111/j.1365-246x.2009.04088.x⟩
insu-00446840v1  Journal articles
Mondher BenjemaaN. Glinsky-OlivierV. M. Cruz-AtienzaJ. Virieux. 3-D dynamic rupture simulations by a finite volume method
Geophysical Journal International, Oxford University Press (OUP), 2009, 178 (1), pp.541-560. ⟨10.1111/j.1365-246X.2009.04088.x⟩
hal-03160878v1  Journal articles
Joseph LarmarangeHassimiou Mamadou DialloNuala McgrathCollins IwujiMelanie Plazy et al.  The impact of population dynamics on the population HIV care cascade: results from the ANRS 12249 Treatment as Prevention trial in rural KwaZulu-Natal (South Africa)
Journal of the International AIDS Society, BioMed Central (2008-2012) ; International Aids Society (2008-) ; Wiley (2017-), 2018, Population mobility: challenges for universal HIV testing and treatment, 21 (Suppl 4), pp.e25128. ⟨10.1002/jia2.25128⟩
hal-01962407v1  Conference papers
Vincent PenelleSylvain SalvatiGrégoire Sutre. On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems
FSTTCS 2018 - 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2018, Ahmedabad, India. pp.44:1-44:20, ⟨10.4230/LIPIcs.FSTTCS.2018.44⟩
hal-03151899v1  Conference papers
Bongshin LeeMatthew BrehmerPetra IsenbergEun Kyoung ChoeRicardo Langner et al.  Data Visualization on Mobile Devices
Extended Abstracts of the Conference on Human Factors in Computing System (CHI), 2018, New York, NY, United States. pp.W07:1--W07:8, ⟨10.1145/3170427.3170631⟩