Formal verification approaches and standards in the cloud computing: a comprehensive and systematic review

A Souri, NJ Navimipour, AM Rahmani - Computer Standards & Interfaces, 2018 - Elsevier
Cloud computing as a new internet-based computing model provides different resources as
a service dynamically. Today, cloud computing is actually one of the main improvements in …

High-dimensional integration: the quasi-Monte Carlo way

J Dick, FY Kuo, IH Sloan - Acta Numerica, 2013 - cambridge.org
This paper is a contemporary review of QMC ('quasi-Monte Carlo') methods, that is, equal-
weight rules for the approximate evaluation of high-dimensional integrals over the unit cube …

[KNIHA][B] Tractability of Multivariate Problems: Standard information for functionals

E Novak, H Woźniakowski - 2008 - books.google.com
This is the second volume of a three-volume set comprising a comprehensive study of the
tractability of multivariate problems. The second volume deals with algorithms using …

Discrepancy-based evolutionary diversity optimization

A Neumann, W Gao, C Doerr, F Neumann… - Proceedings of the …, 2018 - dl.acm.org
Diversity plays a crucial role in evolutionary computation. While diversity has been mainly
used to prevent the population of an evolutionary algorithm from premature convergence …

Discrepancy bounds for a class of negatively dependent random points including Latin hypercube samples

M Gnewuch, N Hebbinghaus - The Annals of Applied Probability, 2021 - projecteuclid.org
We introduce a class of γ-negatively dependent random samples. We prove that this class
includes, apart from Monte Carlo samples, in particular Latin hypercube samples and Latin …

Calculation of discrepancy measures and applications

C Doerr, M Gnewuch, M Wahlström - A panorama of discrepancy theory, 2014 - Springer
In this book chapter we survey known approaches and algorithms to compute discrepancy
measures of point sets. After providing an introduction which puts the calculation of …

Discrepancy theory and quasi-Monte Carlo integration

J Dick, F Pillichshammer - A panorama of discrepancy theory, 2014 - Springer
In this chapter we show the deep connections between discrepancy theory on the one hand
and quasi-Monte Carlo integration on the other. Discrepancy theory was established as an …

[HTML][HTML] Heuristic approaches to obtain low-discrepancy point sets via subset selection

F Clément, C Doerr, L Paquete - Journal of Complexity, 2024 - Elsevier
Building upon the exact methods presented in our earlier work (2022)[5], we introduce a
heuristic approach for the star discrepancy subset selection problem. The heuristic gradually …

Discrepancy, integration and tractability

A Hinrichs - Monte Carlo and Quasi-Monte Carlo Methods 2012, 2013 - Springer
The discrepancy function of a point distribution measures the deviation from the uniform
distribution. Different versions of the discrepancy function capture this deviation with respect …

Computing star discrepancies with numerical black-box optimization algorithms

F Clément, D Vermetten, J De Nobel… - Proceedings of the …, 2023 - dl.acm.org
The L∞ star discrepancy is a measure for the regularity of a finite set of points taken from [0,
1) d. Low discrepancy point sets are highly relevant for Quasi-Monte Carlo methods in …