×

Found 4,864 Documents (Results 1–100)

100
MathJax

A simple recovery framework for signals with time-varying sparse support. (English) Zbl 1483.94015

Demir, Ilke (ed.) et al., Advances in data science. Selected papers based on the presentations at the 2nd women in data science and mathematics workshop, WiSDM, Providence, Rhode Island, USA, July 29 – August 2, 2019, and the 3rd women in shape, WiSh workshop, Trier, Germany, July 16–20, 2018. Cham: Springer. Assoc. Women Math. Ser. 26, 211-230 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Special subclass of generalized semi-Markov decision processes with discrete time. (English) Zbl 1481.90307

Gentile, Claudio (ed.) et al., Graphs and combinatorial optimization: from theory to applications. Proceedings of the 18th Cologne-Twente workshop on graphs and combinatorial optimization (CTW2020), online, September 14–16, 2020. Cham: Springer. AIRO Springer Ser. 5, 375-386 (2021).
MSC:  90C40
PDF BibTeX XML Cite
Full Text: DOI

Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 24th international conference, APPROX 2021, and 25th international conference, RANDOM 2021, University of Washington, Seattle, Washington, US (virtual conference), August 16–18, 2021. (English) Zbl 1473.68020

LIPIcs – Leibniz International Proceedings in Informatics 207. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-207-5). ix, 62 articles, not consecutively paged, electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

A reduction theorem for randomized distributed algorithms under weak adversaries. (English) Zbl 1472.68083

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 219-239 (2021).
MSC:  68Q60 68W15 68W20
PDF BibTeX XML Cite
Full Text: DOI

Stagnation detection with randomized local search. (English) Zbl 1474.68477

Zarges, Christine (ed.) et al., Evolutionary computation in combinatorial optimization. 21st European conference, EvoCOP 2021, held as part of EvoStar 2021, virtual event, April 7–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12692, 152-168 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 264-291 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Localized model reduction for parameterized problems. (English) Zbl 07358914

Benner, Peter (ed.) et al., Model order reduction. Volume 2: Snapshot-based methods and algorithms. Berlin: De Gruyter. 245-305 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software