E-LIB Suche - Ergebnisse für: Clément, François

1

Heuristic approaches to obtain low-discrepancy point sets v..:

Clément, François ; Doerr, Carola ; Paquete, Luís
Journal of Complexity. 83 (2024) - p. 101852 , 2024

2

Partitions for stratified sampling:

Clément, François ; Kirk, Nathan ; Pausinger, Florian
Monte Carlo Methods and Applications. 30 (2024) 2 - p. 163-181 , 2024

Link: https://doi.org/10.1515/..

3

A Coq Formalization of Lebesgue Induction Principle and Ton..:

, In: Formal Methods; Lecture Notes in Computer Science,

Boldo, Sylvie ; Clément, François ; Martin, Vincent.. - p. 39-55 , 2023

Link: https://doi.org/10.1007/..

4

Computing Star Discrepancies with Numerical Black-Box Optim..:

, In: Proceedings of the Genetic and Evolutionary Computation Conference,

Clément, François ; Vermetten, Diederick ; De Nobel, Jacob... - p. 1330-1338 , 2023

Link: https://dl.acm.org/doi/1..

5

Distribution of Distances in Five Dimensions and Related Pr..:

Clément, François ; Pham, Thang
SIAM Journal on Discrete Mathematics. 36 (2022) 3 - p. 2271-2281 , 2022

Link: https://doi.org/10.1137/..

6

ON THE TWO-PARAMETER ERDŐS–FALCONER DISTANCE PROBLEM IN FIN..:

CLÉMENT, FRANCOIS ; MOJARRAD, HOSSEIN NASSAJIAN ; PHAM, DUC HIEP.
Bulletin of the Australian Mathematical Society. 107 (2022) 3 - p. 502-506 , 2022

Link: https://doi.org/10.1017/..

7

Star discrepancy subset selection: Problem formulation and ..:

Clément, François ; Doerr, Carola ; Paquete, Luís
Journal of Complexity. 70 (2022) - p. 101645 , 2022

Link: https://doi.org/10.1016/..

8

À propos de la ville assiégée: un schéma narratif; On the S..:

Clément, François
Annales islamologiques. , 2021

Link: https://doi.org/10.4000/..

9

A Coq Formalization of Lebesgue Integration of Nonnegative ..:

Boldo, Sylvie ; Clément, François ; Faissole, Florian..
Journal of Automated Reasoning. 66 (2021) 2 - p. 175-213 , 2021

Link: https://doi.org/10.1007/..

10

Two different methods to assess sympathetic tone during gen..:

Defresne, Aline ; Harrison, Michael ; Clement, François..
Journal of Clinical Monitoring and Computing. 33 (2018) 3 - p. 463-469 , 2018

Link: https://doi.org/10.1007/..

11

Appropriate Sequence for Afatinib and Cisplatin Combination..:

Longton, Eleonore ; Schmit, Kathleen ; Fransolet, Maude..
Frontiers in Oncology. 8 (2018) - p. , 2018

Link: https://doi.org/10.3389/..

12

Traumatic Break of the Ascending Aorta: About a Case:

Perrotti, Andrea ; Kanté, Abdoulaye ; Coulibaly, Bréhima...
Open Journal of Thoracic Surgery. 8 (2018) 4 - p. 63-67 , 2018

Link: https://doi.org/10.4236/..

13

Standardised noxious stimulation-guided individual adjustme..:

Defresne, Aline ; Barvais, Luc ; Clement, François.
European Journal of Anaesthesiology. 35 (2018) 3 - p. 173-183 , 2018

Link: https://doi.org/10.1097/..

14

Adventitial Rupture of the Ascending Thoracic Aorta Extende..:

Kanté, Abdoulaye ; Perrotti, Andrea ; Coulibaly, Bréhima...
Open Journal of Thoracic Surgery. 8 (2018) 4 - p. 74-78 , 2018

Link: https://doi.org/10.4236/..

15

A Coq formal proof of the Lax-Milgram theorem:

, In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs,

Boldo, Sylvie ; Clément, François ; Faissole, Florian.. - p. 79-89 , 2017

Link: https://dl.acm.org/doi/1..