×

Found 326 Documents (Results 1–100)

True crafted formula families for benchmarking quantified satisfiability solvers. (English) Zbl 07810739

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 291-296 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Neural networks as black-box benchmark functions optimized for exploratory landscape features. (English) Zbl 07809171

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 129-139 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

General Boolean function benchmark suite. (English) Zbl 07809167

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 84-95 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

Using automated algorithm configuration for parameter control. (English) Zbl 07809163

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 38-49 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI arXiv

Digital collections of examples in mathematical sciences. (English) Zbl 07763413

Hujdurović, Ademir (ed.) et al., European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20–26, 2021. Berlin: European Mathematical Society (EMS). 719-731 (2023).
MSC:  68-02
PDFBibTeX XMLCite
Full Text: DOI arXiv

On computing optimal linear diagrams. (English) Zbl 1524.68433

Giardino, Valeria (ed.) et al., Diagrammatic representation and inference. 13th international conference, Diagrams 2022, Rome, Italy, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13462, 20-36 (2022).
MSC:  68W05 68Q17 90C27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Deep statistical comparison for meta-heuristic stochastic optimization algorithms. (English) Zbl 1504.90003

Natural Computing Series. Cham: Springer (ISBN 978-3-030-96916-5/hbk; 978-3-030-96919-6/pbk; 978-3-030-96917-2/ebook). xvii, 133 p. (2022).
MSC:  90-02 90C15 90C59
PDFBibTeX XMLCite
Full Text: DOI

Robust efficiency analysis of public hospitals in Queensland, Australia. (English) Zbl 07645403

Daouia, Abdelaati (ed.) et al., Advances in contemporary statistics and econometrics. Festschrift in honor of Christine Thomas-Agnan. Cham: Springer. 221-242 (2021).
MSC:  62P20
PDFBibTeX XMLCite
Full Text: DOI

QBFFam: a tool for generating QBF families from proof complexity. (English) Zbl 07495563

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 21-29 (2021).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI

Product market competition and CEO pay benchmarking. (English) Zbl 1451.91223

Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 2. Hackensack, NJ: World Scientific. 1695-1723 (2021).
MSC:  91G50
PDFBibTeX XMLCite
Full Text: DOI

Establishment and development of benchmark family (P21). (English) Zbl 1469.78030

Cheng, Zhiguang (ed.) et al., Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 451-516 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Secure computation of the \(k^{\text{th}}\)-ranked element in a star network. (English) Zbl 1459.94144

Bonneau, Joseph (ed.) et al., Financial cryptography and data security. 24th international conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12059, 386-403 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bayesian ACRONYM tuning. (English) Zbl 07559368

van Dam, Wim (ed.) et al., 14th conference on the theory of quantum computation, communication and cryptography, TQC 2019, College Park, Maryland, USA, June 3–5, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 135, Article 7, 19 p. (2019).
MSC:  68Q05 81P68 81P94
PDFBibTeX XMLCite
Full Text: DOI arXiv

Evolving diverse TSP instances by means of novel and creative mutation operators. (English) Zbl 1433.90128

Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 58-71 (2019).
MSC:  90C27 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

A linear constrained optimization Benchmark for probabilistic search algorithms: the rotated Klee-Minty problem. (English) Zbl 1522.68516

Fagan, David (ed.) et al., Theory and practice of natural computing. 7th international conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11324, 139-151 (2018).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI arXiv

A simple and optimal complementation algorithm for Büchi automata. (English) Zbl 1497.68246

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 46-55 (2018).
MSC:  68Q45 68W40
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software