Skip to Main content Skip to Navigation

hal-03254787v1  Conference papers
Thomas GurrietAndrew SingletaryJacob ReherLaurent CiarlettaEric Feron et al.  Towards a Framework for Realizable Safety Critical Control through Active Set Invariance
ICCPS '18: ACM/IEEE 9th International Conference on Cyber-Physical Systems, Apr 2018, Porto, Portugal. pp.98-106, ⟨10.1109/ICCPS.2018.00018⟩
hal-03251470v1  Conference papers
Abir DerouicheAbdesslem LayebZineb Habbas. Frequent Itemsets Mining with Chemical Reaction Optimization Metaheuristic
PAIS'2018 : The 3rd International Conference on Pattern Analysis and Intelligent Systems, Oct 2018, Tebessa, Algeria. pp.1-6, ⟨10.1109/PAIS.2018.8598483⟩
hal-03250913v1  Conference papers
Nicolas DuguéJean-Charles LamirelAnthony Perez. Bringing a Feature Selection Metric from Machine Learning to Complex Networks
COMPLEX NETWORKS 2018:The Seventh International Conference on Complex Networks & their Applications, Dec 2018, Cambridge, United Kingdom. pp.107-118, ⟨10.1007/978-3-030-05414-4_9⟩
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-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-03195517v1  Journal articles
Matthieu RoustitJoris GiaiOlivier GagetCharles KhouriMyriam Mouhib et al.  On-Demand Sildenafil as a Treatment for Raynaud Phenomenon
Annals of Internal Medicine, American College of Physicians, 2018, 169 (10), pp.694. ⟨10.7326/M18-0517⟩
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⟩
hal-03189956v1  Journal articles
Amna KlichRené EcochardFabien Subtil. Unequal intra-group variance in trajectory classification
Statistics in Medicine, Wiley-Blackwell, 2018, 37 (28), pp.4155-4166. ⟨10.1002/sim.7921⟩