×

Found 50,440 Documents (Results 1–100)

A comprehensive software verification technology for onboard control systems of spacecraft. (English. Russian original) Zbl 07811374

Autom. Remote Control 84, No. 10, 1047-1054 (2023); translation from Avtom. Telemekh. 2023, No. 10, 48-58 (2023).
MSC:  68Nxx
PDFBibTeX XMLCite
Full Text: DOI

Impossibilities in succinct arguments: black-box extraction and more. (English) Zbl 07798846

El Mrabet, Nadia (ed.) et al., Progress in cryptology – AFRICACRYPT 2023. 14th international conference on cryptology in Africa, Sousse, Tunisia, July 19–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14064, 465-489 (2023).
MSC:  68Pxx 68Nxx 94A60
PDFBibTeX XMLCite
Full Text: DOI

Mathematics and ChatGPT. A rendezvous at the foot of the technological singularity. (Mathematik und ChatGPT. Ein Rendezvous am Fuße der technologischen Singularität.) (German) Zbl 07796262

Berlin: Springer Spektrum (ISBN 978-3-662-68208-1/pbk; 978-3-662-68209-8/ebook). xiv, 290 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

A 3D printed Arduino-powered interactive Barth sextic. (English) Zbl 07790508

Trnkova, Maria (ed.) et al., 3D printing in mathematics. AMS short course 3D printing: challenges and applications, virtual, January 3–4, 2022. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Appl. Math. 79, 51-72 (2023).
MSC:  14-04
PDFBibTeX XMLCite
Full Text: DOI

DL4TO: a deep learning library for sample-efficient topology optimization. (English) Zbl 07789231

Nielsen, Frank (ed.) et al., Geometric science of information. 6th international conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14071, 543-551 (2023).
MSC:  94-XX
PDFBibTeX XMLCite
Full Text: DOI

Magic SIAC Toolbox: a codebase of effective, efficient, and flexible filters. (English) Zbl 07781691

Franck, Emmanuel (ed.) et al., Finite volumes for complex applications X – Volume 1. Elliptic and parabolic problems. FVCA 10, Strasbourg, France, October 30 – November 3, 2023. Invited contributions. Cham: Springer. Springer Proc. Math. Stat. 432, 75-91 (2023).
PDFBibTeX XMLCite
Full Text: DOI

AeroSPEED: a high order acoustic solver for aeroacoustic applications. (English) Zbl 07781689

Franck, Emmanuel (ed.) et al., Finite volumes for complex applications X – Volume 1. Elliptic and parabolic problems. FVCA 10, Strasbourg, France, October 30 – November 3, 2023. Invited contributions. Cham: Springer. Springer Proc. Math. Stat. 432, 39-55 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

CONSULT-II: taxonomic identification using locality sensitive hashing. (English) Zbl 07777123

Jahn, Katharina (ed.) et al., Comparative genomics. 20th international conference, RECOMB-CG 2023, Istanbul, Turkey, April 14–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13883, 196-214 (2023).
MSC:  92B10 92-04
PDFBibTeX XMLCite
Full Text: DOI

Subgame optimal strategies in finite concurrent games with prefix-independent objectives. (English) Zbl 07770354

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 541-560 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Model and program repair via group actions. (English) Zbl 07770353

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 520-540 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Just testing. (English) Zbl 07770352

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 498-519 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

An efficient cyclic entailment procedure in a fragment of separation logic. (English) Zbl 07770351

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 477-497 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fixed points and Noetherian topologies. (English) Zbl 07770350

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 456-476 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Pebble minimization: the last theorems. (English) Zbl 07770349

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 436-455 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Compositional learning for interleaving parallel automata. (English) Zbl 07770348

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 413-435 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Fast matching of regular patterns with synchronizing counting. (English) Zbl 07770347

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 392-412 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the comparison of discounted-sum automata with multiple discount factors. (English) Zbl 07770346

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 371-391 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Quantitative safety and liveness. (English) Zbl 07770345

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 349-370 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Preservation and reflection of bisimilarity via invertible steps. (English) Zbl 07770344

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 328-348 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Weighted and branching bisimilarities from generalized open maps. (English) Zbl 07770343

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 308-327 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Explainability of probabilistic bisimilarity distances for labelled Markov chains. (English) Zbl 07770342

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 285-307 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Reverse bisimilarity vs. forward bisimilarity. (English) Zbl 07770341

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 265-284 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Unboundedness problems for machines with reversal-bounded counters. (English) Zbl 07770340

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 240-264 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On history-deterministic one-counter nets. (English) Zbl 07770339

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 218-239 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Coverability in 2-VASS with one unary counter is in NP. (English) Zbl 07770338

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 196-217 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the existential arithmetics with addition and bitwise minimum. (English) Zbl 07770337

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 176-195 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A programming language characterizing quantum polynomial time. (English) Zbl 07770336

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 156-175 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

A strict constrained superposition calculus for graphs. (English) Zbl 07770335

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 135-155 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software