×

Found 2,562 Documents (Results 1–100)

100
MathJax

Justification logic and type theory as formalizations of intuitionistic propositional logic. (English) Zbl 07551710

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 37-51 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Albert Einstein, Boris Podolsky, Nathan Rosen. Can quantum-mechanical description of physical reality be considered complete? Translated from the German by Anna Katharina Hudert and Sebastian Linden. (English) Zbl 07289984

Classic Texts in the Sciences. Cham: Birkhäuser (ISBN 978-3-030-47036-4/hbk; 978-3-030-47039-5/pbk; 978-3-030-47037-1/ebook). vii, 114 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

On Artemov and Protopopescu’s intuitionistic epistemic logic expanded with distributed knowledge. (English) Zbl 07547772

Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 216-231 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

From iterated integrals and chronological calculus to Hopf and Rota-Baxter algebras. (English) Zbl 07533223

Makhlouf, Abdenacer (ed.), Algebra and applications 2. Combinatorial algebra and Hopf algebras. London: ISTE; Hoboken, NJ: John Wiley & Sons. Sciences, 55-118 (2021).
MSC:  16T05 17B37 17B38
PDF BibTeX XML Cite
Full Text: DOI

Testing your (static analysis) truths. (English) Zbl 07496652

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 271-292 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Twinning automata and regular expressions for string static analysis. (English) Zbl 1472.68039

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, 267-290 (2021).
MSC:  68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Systems, scattering and operators, and their connections with number theory. (English) Zbl 1471.93131

Banaszak, Grzegorz (ed.) et al., Arithmetic methods in mathematical physics and biology II. Proceedings of the 2nd international conference, Będlewo, Poland, August 5–11, 2018. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 124, 123-141 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Solving the problem of interpreting observations using the spline approximation of the scanned function. (English. Ukrainian original) Zbl 07378096

Cybern. Syst. Anal. 57, No. 4, 584-591 (2021); translation from Kibern. Sist. Anal. 57, No. 4, 95-103 (2021).
MSC:  65Dxx 41Axx 41-XX
PDF BibTeX XML Cite
Full Text: DOI

Degree spectra of structures. (English. Russian original) Zbl 07364542

J. Math. Sci., New York 256, No. 2, 143-159 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 23-39 (2018).
MSC:  03D45 03C57
PDF BibTeX XML Cite
Full Text: DOI

Stable equilibria for the roots of the symmetric continuous Hahn and Wilson polynomials. (English) Zbl 1460.33020

Marcellán, Francisco (ed.) et al., Orthogonal polynomials: current trends and applications. Proceedings of the 7th EIBPOA conference, Universidad Carlos III de Madrid, Leganés, Spain, July 3–6, 2018. Cham: Springer. SEMA SIMAI Springer Ser. 22, 171-192 (2021).
MSC:  33D45 33C45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Decidability and synthesis of abstract inductive invariants. (English) Zbl 07559486

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 30, 21 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Abstraction, up-to techniques and games for systems of fixpoint equations. (English) Zbl 07559481

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 25, 20 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Three approaches in the study of recurrent Markovian and semi-Markovian processes. (English) Zbl 07498115

Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 23rd international conference, DCCN 2020, Moscow, Russia, September 14–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12563, 538-554 (2020).
MSC:  60Jxx
PDF BibTeX XML Cite
Full Text: DOI

On multi-language abstraction. Towards a static analysis of multi-language programs. (English) Zbl 1474.68045

Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 310-332 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Proof-theoretic semantics and the interpretation of atomic sentences. (English) Zbl 07307096

Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 163-177 (2020).
PDF BibTeX XML Cite

On the computational content of Zorn’s lemma. (English) Zbl 07299511

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 768-781 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Understanding quantum mechanics. The world according to modern quantum foundations. (English) Zbl 1467.81005

Cham: Springer (ISBN 978-3-030-40067-5/pbk; 978-3-030-40068-2/ebook). xv, 239 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Event sequence interpretation of structural geomodels: a knowledge-based approach for extracting tectonic sequences. (English) Zbl 07266060

Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 318-333 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Application of neural networks in nonlinear inverse problems of geophysics. (English. Russian original) Zbl 1450.86004

Comput. Math. Math. Phys. 60, No. 6, 1025-1036 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 6, 1053-1065 (2020).
MSC:  86A22 86-08
PDF BibTeX XML Cite
Full Text: DOI

A probabilistic approximation of the evolution operator \(\operatorname{exp}(t(S\nabla,\nabla))\) with a complex matrix \(S\). (English. Russian original) Zbl 1448.35280

J. Math. Sci., New York 244, No. 5, 789-795 (2020); translation from Zap. Nauchn. Semin. POMI 466, 134-144 (2017).
MSC:  35K15 47D06
PDF BibTeX XML Cite
Full Text: DOI

Stochastic interpretation of the MHD-Burgers system. (English. Russian original) Zbl 1448.35385

J. Math. Sci., New York 244, No. 5, 703-717 (2020); translation from Zap. Nauchn. Semin. POMI 466, 7-29 (2017).
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