Loading...
Derniers dépôts
-
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier. Function Synthesis for Maximizing Model Counting. 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, Londres, United Kingdom. pp.258-279, ⟨10.1007/978-3-031-50524-9_12⟩. ⟨hal-04578258⟩
-
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis. From High-Level Component-Based Models to Distributed Implementations. 10th International conference on Embedded software (EMSOFT 2010), Oct 2010, Scottsdale, AZ, United States. pp.209-218, ⟨10.1145/1879021.1879049⟩. ⟨hal-00557792⟩
-
Pascal Petit, Elise Gondard, Gérald Gandon, Olivier Moreaud, Mathilde Sauvée, et al.. Agricultural activities and risk of Alzheimer’s disease: the TRACTOR project, a nationwide retrospective cohort study. European Journal of Epidemiology, 2024, 39 (3), pp.271-287. ⟨10.1007/s10654-023-01079-0⟩. ⟨hal-04390645⟩
-
Bob Aubouin--Pairault, Mirko Fiacchini, Thao Dang. PID and Model Predictive Control Approach for Drug Dosage in Anesthesia During Induction: a Comparative Study ⋆. PID24 - 4th IFAC Conference on Advances in Proportional-Integral-Derivative Control, IFAC - International Federation of Automatic Control, Jun 2024, Almeria, Spain. ⟨hal-04565817⟩
-
Pierre-Marie Roy, Andrea Penaloza, Olivier Hugli, Frederikus Klok, Armelle Arnoux, et al.. Triaging acute pulmonary embolism for home treatment by Hestia or simplified PESI criteria: the HOME-PE randomized trial. European Heart Journal, 2021, 42 (33), pp.3146-3157. ⟨10.1093/eurheartj/ehab373⟩. ⟨hal-03885526⟩
-
Adeline Ruyssen-Witrand, Damien Caillet-Portillo, Aurélie Najm, Olivier Fogel, Athan Baillet, et al.. Standardized reporting for systematic global evaluation of axial spondyloarthritis: An evidence-based and consensus-driven initiative. Joint Bone Spine, 2024, 91 (5), pp.105733. ⟨10.1016/j.jbspin.2024.105733⟩. ⟨hal-04564488⟩