×

Found 1,218 Documents (Results 1–100)

Practically uniform solution sampling in constraint programming. (English) Zbl 07577871

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 335-344 (2022).
MSC:  68T20 68Q87
PDF BibTeX XML Cite
Full Text: DOI

The simultaneous semi-random model for TSP. (English) Zbl 1497.90163

Aardal, Karen (ed.) et al., Integer programming and combinatorial optimization. 23rd international conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13265, 43-56 (2022).
MSC:  90C27
PDF BibTeX XML Cite
Full Text: DOI

Generalized self-profit maximization in attribute networks. (English) Zbl 07550535

Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 333-347 (2021).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI

Low-gate quantum golden collision finding. (English) Zbl 1487.81067

Dunkelman, Orr (ed.) et al., Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12804, 329-359 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Enforcing almost-sure reachability in POMDPs. (English) Zbl 1493.68213

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 602-625 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Solving non-uniform planted and filtered random SAT formulas greedily. (English) Zbl 07495573

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, 188-206 (2021).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI

Split trees – a unifying model for many important random trees of logarithmic height: a brief survey. (English) Zbl 1484.68057

Lindblad, Joakim (ed.) et al., Discrete geometry and mathematical morphology. First international joint conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12708, 20-57 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Application of bat-inspired computing algorithm and its variants in search of near-optimal Golomb rulers for WDM systems: a comparative study. (English) Zbl 1460.78019

Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 79-101 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Bayesian and high-dimensional global optimization. (English) Zbl 1473.90134

SpringerBriefs in Optimization. Cham: Springer (ISBN 978-3-030-64711-7/pbk; 978-3-030-64712-4/ebook). viii, 118 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Tight bounds for the cover times of random walks with heterogeneous step lengths. (English) Zbl 07650913

Paul, Christophe (ed.) et al., 37th international symposium on theoretical aspects of computer science, STACS 2020, Montpellier, France, March 10–13, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 154, Article 28, 14 p. (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the collection of fringe subtrees in random binary trees. (English) Zbl 07600802

Kohayakawa, Yoshiharu (ed.) et al., Latin 2020: theoretical informatics. 14th Latin American symposium, São Paulo, Brazil, January 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12118, 546-558 (2020).
MSC:  68Qxx 68Rxx 68Wxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Randomized refinement checking of timed I/O automata. (English) Zbl 07580900

Pang, Jun (ed.) et al., Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12153, 70-88 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Enhanced foraging in robot swarms using collective Lévy walks. (English) Zbl 1464.68404

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 171-178 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Mini-batch adaptive random search method for the parametric identification of dynamic systems. (English. Russian original) Zbl 1457.93078

Autom. Remote Control 81, No. 11, 2026-2045 (2020); translation from Avtom. Telemekh. 2020, No. 11, 112-135 (2020).
MSC:  93E12 93C10
PDF BibTeX XML Cite
Full Text: DOI

Quadratic speedup for finding marked vertices by quantum walks. (English) Zbl 07298258

Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 412-424 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Discrete cuckoo search for combinatorial optimization. (English) Zbl 1465.68007

Springer Tracts in Nature-Inspired Computing. Singapore: Springer (ISBN 978-981-15-3835-3/hbk; 978-981-15-3838-4/pbk; 978-981-15-3836-0/ebook). xv, 130 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Result-sensitive binary search with noisy information. (English) Zbl 07650293

Lu, Pinyan (ed.) et al., 30th international symposium on algorithms and computation, ISAAC 2019, Shanghai University of Finance and Economics, Shanghai, China, December 8–11, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 149, Article 60, 15 p. (2019).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI

Feature selection for classification through population random search with memory. (English. Russian original) Zbl 1477.68266

Autom. Remote Control 80, No. 2, 324-333 (2019); translation from Avtom. Telemekh. 2019, No. 2, 161-172 (2019).
MSC:  68T05 62H30 68T20
PDF BibTeX XML Cite
Full Text: DOI

Analysis of properties of quantum hashing. (English. Russian original) Zbl 1426.81033

J. Math. Sci., New York 241, No. 2, 117-124 (2019); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 138, 11-18 (2017).
PDF BibTeX XML Cite
Full Text: DOI

The threshold for SDP-refutation of random regular NAE-3SAT. (English) Zbl 1432.68413

Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 2305-2321 (2019).
MSC:  68T20 68Q87 68R07
PDF BibTeX XML Cite
Full Text: DOI arXiv

Random search methods for the solution of a Stackelberg game of resource allocation. (English) Zbl 1425.91089

Petrosyan, Leon A. (ed.) et al., Contributions to game theory and management. Volume XII. Collected papers presented at the 12th international conference on game theory and management (GTM 2018), St. Petersburg, Russia, June 27–29, 2018. St. Petersburg: St. Petersburg State University. 37-48 (2019).
MSC:  91A65 91B32
PDF BibTeX XML Cite
Full Text: Link

Adjacent vertices can be hard to find by quantum walks. (English. Russian original) Zbl 1423.68188

Mosc. Univ. Comput. Math. Cybern. 43, No. 1, 32-39 (2019); translation from Vestn. Mosk. Univ., Ser. XV 2019, No. 1, 54-64 (2019).
MSC:  68Q12 05C81
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software