×

Found 11,896 Documents (Results 1–100)

100
MathJax

Two projection-based methods for bilevel pseudomonotone variational inequalities involving non-Lipschitz operators. (English) Zbl 07462218

PDF BibTeX XML Cite
Full Text: DOI

Scalable SAT solving in the cloud. (English) Zbl 07495595

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

Piercing all translates of a set of axis-parallel rectangles. (English) Zbl 07495030

Flocchini, Paola (ed.) et al., Combinatorial algorithms. 32nd international workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12757, 295-309 (2021).
MSC:  68Rxx 68Wxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Adaptive computer technologies for solving problems of computational and applied mathematics. (English. Russian original) Zbl 07485097

Cybern. Syst. Anal. 57, No. 6, 990-997 (2021); translation from Kibern. Sist. Anal. 57, No. 6, 162-171 (2021).
MSC:  65Fxx 65Yxx
PDF BibTeX XML Cite
Full Text: DOI

Parallel-in-time integration methods. 9th parallel-in-time workshop, virtual, June 8–12, 2020. (English) Zbl 1483.65009

Springer Proceedings in Mathematics & Statistics 356. Cham: Springer (ISBN 978-3-030-75932-2/hbk; 978-3-030-75933-9/ebook). ix, 127 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Optimal tree decompositions revisited: a simpler linear-time FPT algorithm. (English) Zbl 1479.05294

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, 67-78 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. (English) Zbl 07426853

Lecture Notes in Computer Science 12984. Cham: Springer (ISBN 978-3-030-87992-1/pbk; 978-3-030-87993-8/ebook). xxii, 195 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Homomorphisms to digraphs with large girth and oriented colorings of minimal series-parallel digraphs. (English) Zbl 07405961

Uehara, Ryuhei (ed.) et al., WALCOM: algorithms and computation. 15th international conference and workshops, WALCOM 15, Yangon, Myanmar, February 28 – March 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12635, 182-194 (2021).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI

Euro-Par 2021: parallel processing. 27th international conference on parallel and distributed computing, Lisbon, Portugal, September 1–3, 2021. Proceedings. (English) Zbl 1483.68013

Lecture Notes in Computer Science 12820. Cham: Springer (ISBN 978-3-030-85664-9/pbk; 978-3-030-85665-6/ebook). xxxviii, 632 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Minimal residual based iterative methods and its parallel implementation for sparse linear systems. (English) Zbl 07392501

He, Kun (ed.) et al., Theoretical computer science. 38th national conference, NCTCS 2020, Nanning, China, November 13–15, 2020. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1352, 87-104 (2021).
MSC:  65Fxx
PDF BibTeX XML Cite
Full Text: DOI

High-performance supercomputer technologies of simulation and identification of nanoporous systems with feedback for \(n\)-component competitive adsorption. (English. Ukrainian original) Zbl 1473.82027

Cybern. Syst. Anal. 57, No. 2, 316-328 (2021); translation from Kibern. Sist. Anal. 57, No. 2, 170-183 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Principles of parallel scientific computing. A first guide to numerical concepts and programming methods. (English) Zbl 1481.65008

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-76193-6/pbk; 978-3-030-76194-3/ebook). xiii, 314 p. (2021).
MSC:  65-01 65Y05 65Y10
PDF BibTeX XML Cite
Full Text: DOI

Euro-Par 2020: parallel processing workshops. Euro-Par 2020 international workshops, Warsaw, Poland, August 24–25, 2020. Revised selected papers. (English) Zbl 1465.68008

Lecture Notes in Computer Science 12480. Cham: Springer (ISBN 978-3-030-71592-2/pbk; 978-3-030-71593-9/ebook). xv, 358 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Automated verification of concurrent search structures. (English) Zbl 1473.68009

Synthesis Lectures on Computer Science 13. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-63639-130-4/hbk; 978-1-63639-128-1/pbk; 978-1-63639-129-8/ebook). xi, 176 p. (2021).
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

Classification

Biographic Reference

all top 3

Software