Problems of uncertainty quantification usually involve large number realiza-tions of a stationary spatial Gaussian random field over a regular grid points. This paper analyzes the convergence of the continuous spectral method for generating a stationary Gaussian random field. The continuous spectral method is the classical approach which discretize...
When dredged from water, marine sediments are highly reactive, thus their bio-geochemical behavior has to be appreciated so as to limit spreading of polluted leachates in the surrounding ecosystems. In this context, it is essential to assess the main the impact of bio-physicochemical factors [1, 2, 3].In this research, two marine sediments were con...
International audience
Uniform or near-uniform generation of solutions for large satisfiability formulas is a problem of theoretical and practical interest for the testing community. Recent works proposed two algorithms (namely UniGen and QuickSampler) for reaching a good compromise between execution time and uniformity guarantees, with empirical evidence on SAT benchmar...
International audience
International audience
International audience
Uniform or near-uniform generation of solutions for large satisfiability formulas is a problem of theoretical and practical interest for the testing community. Recent works proposed two algorithms (namely UniGen and QuickSampler) for reaching a good compromise between execution time and uniformity guarantees, with empirical evidence on SAT benchmar...
Randomized fault-tolerant distributed algorithms pose a number of challenges for automated verification: (i) parameterization in the number of processes and faults, (ii) randomized choices and probabilistic properties, and (iii) an unbounded number of asynchronous rounds. The combination of these challenges makes verification hard. Challenge (i) wa...
National audience
