×

Found 1,628 Documents (Results 1–100)

100
MathJax

Numerical solution of the inverse boundary value heat transfer problem for an inhomogeneous rod. (Russian. English summary) Zbl 07482125

PDF BibTeX XML Cite
Full Text: DOI MNR

Concurrent correctness in vector space. (English) Zbl 1472.68092

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, 151-173 (2021).
MSC:  68Q60 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058

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

Completeness criteria for a linear model of classification algorithms with respect to families of decision rules. (English. Russian original) Zbl 07424552

Dokl. Math. 101, No. 1, 57-59 (2020); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 490, 67-70 (2020).
MSC:  68-XX 93-XX
PDF BibTeX XML Cite
Full Text: DOI

Implementation correctness for replicated data types, categorically. (English) Zbl 07369994

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 283-303 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Towards a theory of randomized shared memory algorithms. (English) Zbl 07298669

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI

Constructing constraint-preserving interaction schemes in adhesive categories. (English) Zbl 1444.68086

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 139-153 (2019).
MSC:  68Q42 18A30
PDF BibTeX XML Cite
Full Text: DOI

Correctness, explanation and intention. (English) Zbl 1457.68035

Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 62-71 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Certification of breadth-first algorithms by extraction. (English) Zbl 1434.68090

Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 45-75 (2019).
MSC:  68N18 68P05
PDF BibTeX XML Cite
Full Text: DOI HAL

Constructing optimized validity-preserving application conditions for graph transformation rules. (English) Zbl 1429.68092

Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 177-194 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

A linear inverse problem for a multidimensional mixed-type second-order equation of the first-kind. (English. Russian original) Zbl 1427.35354

Russ. Math. 63, No. 6, 8-18 (2019); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 6, 11-22 (2019).
MSC:  35R30 35M10
PDF BibTeX XML Cite
Full Text: DOI

Testing real-time systems using determinization techniques for automata over timed domains. (English) Zbl 07142673

Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 124-133 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Estimates of characteristics of localization methods for discontinuities of the first kind of a noisy function. (Russian, English) Zbl 1438.65019

Sib. Zh. Ind. Mat. 22, No. 1, 3-12 (2019); translation in J. Appl. Ind. Math. 13, No. 1, 1-10 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Unique perfect matchings and proof nets. (English) Zbl 1462.03030

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 25, 20 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

On the complexity of compressing obfuscation. (English) Zbl 1457.94092

Shacham, Hovav (ed.) et al., Advances in cryptology – CRYPTO 2018. 38th annual international cryptology conference, Santa Barbara, CA, USA, August 19–23, 2018. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 10993, 753-783 (2018).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI

Proof pearl: constructive extraction of cycle finding algorithms. (English) Zbl 06946991

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 370-387 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

The approximate correctness of systems based on \(\delta\)-bisimulation. (English) Zbl 1392.68309

Luo, Mao-Kang (ed.) et al., Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2–6, 2017. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 333, 73-87 (2017).
MSC:  68Q85 06B23 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Preserving syntactic correctness while editing mathematical formulas. (English) Zbl 1383.68095

Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 459-471 (2017).
MSC:  68U15 68U35
PDF BibTeX XML Cite
Full Text: DOI HAL

Invariants of quantum programs: characterisations and generation. (English) Zbl 1380.68135

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 818-832 (2017).
MSC:  68N30 81P68
PDF BibTeX XML Cite
Full Text: DOI Link

Verifying integer programming results. (English) Zbl 1418.90176

Eisenbrand, Friedrich (ed.) et al., Integer programming and combinatorial optimization. 19th international conference, IPCO 2017, Waterloo, ON, Canada, June 26–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10328, 148-160 (2017).
MSC:  90C11
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