×

Found 9,600 Documents (Results 1–100)

Recent advances in computational optimization. Selected papers from the 15th workshop, WCO 2022 – workshop on computational optimization, Sofia, Bulgaria, September 4–7, 2022. (English) Zbl 07851873

Studies in Computational Intelligence 1158. Cham: Springer (ISBN 978-3-031-57319-4/hbk; 978-3-031-57322-4/pbk; 978-3-031-57320-0/ebook). x, 315 p. (2024).
PDFBibTeX XMLCite
Full Text: DOI

Programming-based formal languages and automata theory. Design, implement, validate, and prove. (English) Zbl 1531.68006

Texts in Computer Science. Cham: Springer (ISBN 978-3-031-43972-8/hbk; 978-3-031-43975-9/pbk; 978-3-031-43973-5/ebook). xxiii, 524 p. (2024).
MSC:  68-01 68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Targeting completeness: using closed forms for size bounds of integer programs. (English) Zbl 07842290

Sattler, Uli (ed.) et al., Frontiers of combining systems. 14th international symposium, Frocos 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14279, 3-22 (2023).
MSC:  68N30 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

43rd IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2023), IIIT Hyderabad, Telangana, India, December 18–20, 2023. (English) Zbl 07828124

LIPIcs – Leibniz International Proceedings in Informatics 284. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-304-1). xv, 43 articles, not consecutively paged, electronic only, open access (2023).
PDFBibTeX XMLCite
Full Text: DOI Link

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 1532.68003

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

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

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

Constructive algorithm to vectorize \((P \otimes P\) product for symmetric matrix \(P\). (English. Russian original) Zbl 1533.81029

Comput. Math. Math. Phys. 63, No. 9, 1559-1570 (2023); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 9, 1415-1427 (2023).
PDFBibTeX XMLCite
Full Text: DOI

A first course in options pricing theory. (English) Zbl 1534.91001

Other Titles in Applied Mathematics 192. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-763-9/pbk; 978-1-61197-764-6/ebook). xii, 286 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Program semantics and verification technique for AI-centred programs. (English) Zbl 1529.68083

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 473-491 (2023).
PDFBibTeX XMLCite
Full Text: DOI Link

symQV: automated symbolic verification of quantum programs. (English) Zbl 1529.68152

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 181-198 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Result invalidation for incremental modular analyses. (English) Zbl 1529.68085

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 296-319 (2023).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Sound symbolic execution via abstract interpretation and its application to security. (English) Zbl 1529.68084

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 267-295 (2023).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Efficient interprocedural data-flow analysis using treedepth and treewidth. (English) Zbl 1529.68158

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 177-202 (2023).
MSC:  68Q60 68N30 68R10
PDFBibTeX XMLCite
Full Text: DOI HAL

A pragmatic approach to stateful partial order reduction. (English) Zbl 1529.68156

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 129-154 (2023).
MSC:  68Q60 68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symbolic abstract heaps for polymorphic information-flow guard inference. (English) Zbl 1529.68079

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 66-90 (2023).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributing and parallelizing non-canonical loops. (English) Zbl 1529.68078

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 1-24 (2023).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI HAL

28th international conference on types for proofs and programs, TYPES 2022, LS2N, University of Nantes, France, June 20–25, 2022. (English) Zbl 1517.68019

LIPIcs – Leibniz International Proceedings in Informatics 269. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-285-3). vii, 15 articles, not consecutively paged, electronic only, open access (2023).
PDFBibTeX XMLCite
Full Text: DOI Link

Numerical simulation of effluent discharges. Applications with OpenFOAM. (English) Zbl 1510.76001

IAHR Books. Boca Raton, FL: CRC Press (ISBN 978-1-032-02048-8/hbk; 978-1-032-02094-5/pbk; 978-1-003-18181-1/ebook). ix, 114 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Reconstruction of generic anisotropic stiffness tensors from partial data around one polarization. arXiv:2307.03312

Preprint, arXiv:2307.03312 [math.DG] (2023).
BibTeX Cite
Full Text: arXiv

Grounding game semantics in categorical algebra. (English) Zbl 1530.68154

Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 368-383 (2022).
PDFBibTeX XMLCite
Full Text: arXiv Link

Proceedings of the thirteenth international workshop on graph computation models, GCM, Nantes, France, July 6, 2022. (English) Zbl 1522.68033

Electronic Proceedings in Theoretical Computer Science (EPTCS) 374. Waterloo: Open Publishing Association (OPA). 93 p., electronic only, open access (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Proceedings of the 9th workshop on Horn clauses for verification and synthesis and of the 10th international workshop on verification and program transformation, HCVS/VPT 2022, Munich, Germany, April 3, 2022. (English) Zbl 1522.68032

Electronic Proceedings in Theoretical Computer Science (EPTCS) 373. Waterloo: Open Publishing Association (OPA). 62 p., electronic only, open access (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Automated program repair using formal verification techniques. (English) Zbl 1528.68079

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 511-534 (2022).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

From interface automata to hypercontracts. (English) Zbl 1528.68186

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 477-493 (2022).
MSC:  68Q45 68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Runtime verification with imperfect information through indistinguishability relations. (English) Zbl 1525.68076

Schlingloff, Bernd-Holger (ed.) et al., Software engineering and formal methods. 20th international conference, SEFM 2022, Berlin, Germany, September 26–30, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13550, 335-351 (2022).
MSC:  68Q60 68N30 68T40
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