×

Found 48,935 Documents (Results 1–100)

100
MathJax

An interactive tool for composing (with) automorphisms in the colored cube dance. (English) Zbl 07572919

Montiel, Mariana (ed.) et al., Mathematics and computation in music. 8th international conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13267, 41-47 (2022).
MSC:  00A65 68T99
PDF BibTeX XML Cite
Full Text: DOI

Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. (English) Zbl 07560729

Lecture Notes in Computer Science 13274. Cham: Springer (ISBN 978-3-031-07726-5/pbk; 978-3-031-07727-2/ebook). xv, 373 p. (2022).
MSC:  68-06 68Nxx 00B25
PDF BibTeX XML Cite
Full Text: DOI

49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. (English) Zbl 07559872

LIPIcs – Leibniz International Proceedings in Informatics 229. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-235-8). xxxvi, 133 articles, not consecutively paged, electronic only, open access (2022).
PDF BibTeX XML Cite
Full Text: DOI Link

ECLIPSE: enhanced compiling method for Pedersen-committed zkSNARK engines. (English) Zbl 07554926

Hanaoka, Goichiro (ed.) et al., Public-key cryptography – PKC 2022. 25th IACR international conference on practice and theory of public-key cryptography, virtual event, March 8–11, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13177, 584-614 (2022).
MSC:  68P25 68Nxx 94A60
PDF BibTeX XML Cite
Full Text: DOI

Handbook of graphs and networks in people analytics. With examples in R and Python. With a foreword by Jeff Polzer. (English) Zbl 07553857

Boca Raton, FL: CRC Press (ISBN 978-1-032-21124-4/hbk; 978-1-032-20497-0/pbk; 978-1-003-26681-5/ebook). 268 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Differential equations and population dynamics I. Introductory approaches. (English) Zbl 07539240

Lecture Notes on Mathematical Modelling in the Life Sciences. Cham: Springer (ISBN 978-3-030-98135-8/pbk; 978-3-030-98136-5/ebook). xx, 458 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Fuzz testing technique and its use in cybersecurity tasks. (English. Ukrainian original) Zbl 07515005

Cybern. Syst. Anal. 58, No. 1, 157-163 (2022); translation from Kibern. Sist. Anal. 58, No. 1, 181-189 (2022).
MSC:  68Qxx 68Mxx 68Txx
PDF BibTeX XML Cite
Full Text: DOI

Extension of the relational algebra on the basis of CODASYL DBTG proposals. (English. Ukrainian original) Zbl 07515004

Cybern. Syst. Anal. 58, No. 1, 148-156 (2022); translation from Kibern. Sist. Anal. 58, No. 1, 170-180 (2022).
MSC:  68Pxx 68-XX 68Nxx
PDF BibTeX XML Cite
Full Text: DOI

Logic-based program synthesis and transformation. 31st International symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. (English) Zbl 07514203

Lecture Notes in Computer Science 13290. Cham: Springer (ISBN 978-3-030-98868-5/pbk; 978-3-030-98869-2/ebook). ix, 177 p. (2022).
MSC:  68-06 68N30 00B25
PDF BibTeX XML Cite
Full Text: DOI

Hands-on intermediate econometrics using R. Templates for learning quantitative methods and R software. 2nd edition. (English) Zbl 07502699

Singapore: World Scientific (ISBN 978-981-12-5617-2/hbk; 978-981-12-5673-8/pbk; 978-981-12-5619-6/ebook). xxxvi, 608 p. (2022).
MSC:  62-01 62P20 62-04
PDF BibTeX XML Cite
Full Text: DOI

Mathematical modeling of hazardous natural phenomena in a shallow basin. (English. Russian original) Zbl 1486.92310

Comput. Math. Math. Phys. 62, No. 2, 269-286 (2022); translation from Zh. Vychisl. Mat. Mat. Fiz. 62, No. 2, 270-288 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software