Wang, Haoyu; Wang, Yanjing; Wang, Yunsong Inquisitive logic as an epistemic logic of knowing how. (English) Zbl 07587332 Ann. Pure Appl. Logic 173, No. 10, Article ID 103145, 29 p. (2022). MSC: 03B55 03B45 03B42 03B20 03B60 PDF BibTeX XML Cite \textit{H. Wang} et al., Ann. Pure Appl. Logic 173, No. 10, Article ID 103145, 29 p. (2022; Zbl 07587332) Full Text: DOI OpenURL
Gao, Shan On Bell’s Everett (?) Theory. (English) Zbl 07585175 Found. Phys. 52, No. 4, Paper No. 89, 7 p. (2022). MSC: 81Pxx 81-XX 00Axx PDF BibTeX XML Cite \textit{S. Gao}, Found. Phys. 52, No. 4, Paper No. 89, 7 p. (2022; Zbl 07585175) Full Text: DOI OpenURL
Bolotin, Arkady The paradox of classical reasoning. (English) Zbl 07585173 Found. Phys. 52, No. 4, Paper No. 87, 21 p. (2022). MSC: 81Pxx 03Axx 03Bxx PDF BibTeX XML Cite \textit{A. Bolotin}, Found. Phys. 52, No. 4, Paper No. 87, 21 p. (2022; Zbl 07585173) Full Text: DOI OpenURL
Alvir, Rachael; Calvert, Wesley; Goodman, Grant; Harizanov, Valentina; Knight, Julia; Miller, Russell; Morozov, Andrey; Soskova, Alexandra; Weisshaar, Rose Interpreting a field in its Heisenberg group. (English) Zbl 07576904 J. Symb. Log. 87, No. 3, 1215-1230 (2022). MSC: 03C57 03D45 20H20 12L12 PDF BibTeX XML Cite \textit{R. Alvir} et al., J. Symb. Log. 87, No. 3, 1215--1230 (2022; Zbl 07576904) Full Text: DOI arXiv OpenURL
’t Hooft, Gerard Quantum mechanics, statistics, standard model and gravity. (English) Zbl 07565298 Gen. Relativ. Gravitation 54, No. 6, Paper No. 56, 11 p. (2022). MSC: 83-XX PDF BibTeX XML Cite \textit{G. 't Hooft}, Gen. Relativ. Gravitation 54, No. 6, Paper No. 56, 11 p. (2022; Zbl 07565298) Full Text: DOI OpenURL
Gergely, Bret; Batelaan, Herman Simulation of Afshar’s double slit experiment. (English) Zbl 07563136 Found. Phys. 52, No. 4, Paper No. 69, 10 p. (2022). MSC: 81Pxx 81-XX 81Sxx PDF BibTeX XML Cite \textit{B. Gergely} and \textit{H. Batelaan}, Found. Phys. 52, No. 4, Paper No. 69, 10 p. (2022; Zbl 07563136) Full Text: DOI OpenURL
Sipoş, Andrei On extracting variable Herbrand disjunctions. (English) Zbl 07562026 Stud. Log. 110, No. 4, 1115-1134 (2022). MSC: 03F10 03F05 03F30 PDF BibTeX XML Cite \textit{A. Sipoş}, Stud. Log. 110, No. 4, 1115--1134 (2022; Zbl 07562026) Full Text: DOI OpenURL
Ruyant, Quentin On the relationship between modelling practices and interpretive stances in quantum mechanics. (English) Zbl 07556437 Found. Sci. 27, No. 2, 387-405 (2022). MSC: 81P05 PDF BibTeX XML Cite \textit{Q. Ruyant}, Found. Sci. 27, No. 2, 387--405 (2022; Zbl 07556437) Full Text: DOI Link OpenURL
Dorato, Mauro; Morganti, Matteo What ontology for relational quantum mechanics? (English) Zbl 07552863 Found. Phys. 52, No. 3, Paper No. 66, 19 p. (2022). MSC: 81Pxx 01Axx 00Axx PDF BibTeX XML Cite \textit{M. Dorato} and \textit{M. Morganti}, Found. Phys. 52, No. 3, Paper No. 66, 19 p. (2022; Zbl 07552863) Full Text: DOI OpenURL
Lombardi, Olimpia; Ardenghi, Juan Sebastián How different interpretations of quantum mechanics can enrich each other: the case of the relational quantum mechanics and the modal-Hamiltonian interpretation. (English) Zbl 07552861 Found. Phys. 52, No. 3, Paper No. 64, 21 p. (2022). MSC: 81Pxx 81-XX 94Axx PDF BibTeX XML Cite \textit{O. Lombardi} and \textit{J. S. Ardenghi}, Found. Phys. 52, No. 3, Paper No. 64, 21 p. (2022; Zbl 07552861) Full Text: DOI OpenURL
Di Biagio, Andrea; Rovelli, Carlo Relational quantum mechanics is about facts, not states: a reply to Pienaar and Brukner. (English) Zbl 07552859 Found. Phys. 52, No. 3, Paper No. 62, 21 p. (2022). MSC: 81Pxx 94Axx 81-XX PDF BibTeX XML Cite \textit{A. Di Biagio} and \textit{C. Rovelli}, Found. Phys. 52, No. 3, Paper No. 62, 21 p. (2022; Zbl 07552859) Full Text: DOI OpenURL
Trotta, Davide; Spadetto, Matteo; de Paiva, Valeria Dialectica logical principles. (English) Zbl 07551728 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, 346-363 (2022). MSC: 03B70 PDF BibTeX XML Cite \textit{D. Trotta} et al., Lect. Notes Comput. Sci. 13137, 346--363 (2022; Zbl 07551728) Full Text: DOI arXiv OpenURL
DeBoer, Neil J. 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 \textit{N. J. DeBoer}, Lect. Notes Comput. Sci. 13137, 37--51 (2022; Zbl 07551710) Full Text: DOI OpenURL
Uzun, Nezihe Hydrodynamic interpretation of generic squeezed coherent states: a kinetic theory. (English) Zbl 07541660 Ann. Phys. 442, Article ID 168900, 32 p. (2022). MSC: 81R30 81S30 82-XX 81P20 81Q10 82B30 81Q70 46G10 76E05 82C31 94A17 26A33 PDF BibTeX XML Cite \textit{N. Uzun}, Ann. Phys. 442, Article ID 168900, 32 p. (2022; Zbl 07541660) Full Text: DOI OpenURL
Philippou, Anna; Psara, Kyriaki A collective interpretation semantics for reversing Petri nets. (English) Zbl 07540260 Theor. Comput. Sci. 924, 148-170 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Philippou} and \textit{K. Psara}, Theor. Comput. Sci. 924, 148--170 (2022; Zbl 07540260) Full Text: DOI OpenURL
Fiscaletti, Davide From Bohm’s vision of quantum processes to quantum field theory ... to the transactional approach. Variations on the theme. (English) Zbl 07528502 Found. Phys. 52, No. 3, Paper No. 51, 25 p. (2022). MSC: 81P05 81Q70 81T05 81Q12 PDF BibTeX XML Cite \textit{D. Fiscaletti}, Found. Phys. 52, No. 3, Paper No. 51, 25 p. (2022; Zbl 07528502) Full Text: DOI OpenURL
Gao, Kun; Wang, Hanpin; Cao, Yongzhi; Inoue, Katsumi Learning from interpretation transition using differentiable logic programming semantics. (English) Zbl 07510308 Mach. Learn. 111, No. 1, 123-145 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{K. Gao} et al., Mach. Learn. 111, No. 1, 123--145 (2022; Zbl 07510308) Full Text: DOI OpenURL
Bényi, Beáta; Ramírez, José L. On \(q\)-poly-Bernoulli numbers arising from combinatorial interpretations. (English) Zbl 07508342 Aequationes Math. 96, No. 2, 465-487 (2022). MSC: 11B68 05A19 PDF BibTeX XML Cite \textit{B. Bényi} and \textit{J. L. Ramírez}, Aequationes Math. 96, No. 2, 465--487 (2022; Zbl 07508342) Full Text: DOI OpenURL
Jeon, Hanul Constructive Ackermann’s interpretation. (English) Zbl 07501981 Ann. Pure Appl. Logic 173, No. 5, Article ID 103086, 19 p. (2022). MSC: 03F50 03E70 03F30 03F65 PDF BibTeX XML Cite \textit{H. Jeon}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103086, 19 p. (2022; Zbl 07501981) Full Text: DOI arXiv OpenURL
Komech, Alexander I. On quantum jumps and attractors of the Maxwell-Schrödinger equations. (English. French summary) Zbl 07495621 Ann. Math. Qué. 46, No. 1, 139-159 (2022). MSC: 35Q40 35Q55 35Q41 35Q60 35L70 35P30 35B20 35B41 35C08 78A45 47J10 47J35 37K06 35R03 PDF BibTeX XML Cite \textit{A. I. Komech}, Ann. Math. Qué. 46, No. 1, 139--159 (2022; Zbl 07495621) Full Text: DOI OpenURL
Inoué, Takao On blass translation for Leśniewski’s propositional ontology and modal logics. (English) Zbl 07490474 Stud. Log. 110, No. 1, 265-289 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{T. Inoué}, Stud. Log. 110, No. 1, 265--289 (2022; Zbl 07490474) Full Text: DOI arXiv OpenURL
Kurahashi, Taishi On inclusions between quantified provability logics. (English) Zbl 07490470 Stud. Log. 110, No. 1, 165-188 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{T. Kurahashi}, Stud. Log. 110, No. 1, 165--188 (2022; Zbl 07490470) Full Text: DOI arXiv OpenURL
Benitez, Federico; Romero-Maltrana, Diego; Razeto-Barry, Pablo (Re)interpreting \(E=mc^2\). (English) Zbl 1485.83001 Found. Phys. 52, No. 1, Paper No. 15, 19 p. (2022). MSC: 83A05 03A05 00A79 PDF BibTeX XML Cite \textit{F. Benitez} et al., Found. Phys. 52, No. 1, Paper No. 15, 19 p. (2022; Zbl 1485.83001) Full Text: DOI OpenURL
Schlatter, Andreas On the foundation of space and time by quantum-events. (English) Zbl 1485.83005 Found. Phys. 52, No. 1, Paper No. 7, 17 p. (2022). MSC: 83C05 83C45 83F05 PDF BibTeX XML Cite \textit{A. Schlatter}, Found. Phys. 52, No. 1, Paper No. 7, 17 p. (2022; Zbl 1485.83005) Full Text: DOI OpenURL
Bordg, Anthony The interpretation lifting theorem for C-systems. (English) Zbl 1483.18003 Theory Appl. Categ. 38, 214-231 (2022). Reviewer: Sergejs Solovjovs (Praha) MSC: 18C10 18C50 18F20 PDF BibTeX XML Cite \textit{A. Bordg}, Theory Appl. Categ. 38, 214--231 (2022; Zbl 1483.18003) Full Text: arXiv Link OpenURL
Xia, Ernest X. W.; Zhao, Xiang Truncated sums for the partition function and a problem of Merca. (English) Zbl 1480.11128 Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 116, No. 1, Paper No. 22, 8 p. (2022). Reviewer: Mircea Merca (Cornu de Jos) MSC: 11P81 05A17 PDF BibTeX XML Cite \textit{E. X. W. Xia} and \textit{X. Zhao}, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 116, No. 1, Paper No. 22, 8 p. (2022; Zbl 1480.11128) Full Text: DOI OpenURL
Kiefer, Claus (ed.) 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). Reviewer: Eugene Kryachko (Kyïv) MSC: 81-01 81-03 01A60 81P05 81P40 81P15 00A79 01A75 PDF BibTeX XML Cite \textit{C. Kiefer} (ed.), 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. Cham: Birkhäuser (2022; Zbl 07289984) Full Text: DOI OpenURL
Biswas, Ananda An iterative method for solving system of nonlinear algebraic and transcendental equations. (English) Zbl 07583753 J. Indian Acad. Math. 43, No. 2, 147-162 (2021). MSC: 65H10 PDF BibTeX XML Cite \textit{A. Biswas}, J. Indian Acad. Math. 43, No. 2, 147--162 (2021; Zbl 07583753) OpenURL
Sassoli de Bianchi, Massimiliano Sassoli A non-spatial reality. (English) Zbl 1490.81010 Found. Sci. 26, No. 1, 143-170 (2021). MSC: 81P05 PDF BibTeX XML Cite \textit{M. S. Sassoli de Bianchi}, Found. Sci. 26, No. 1, 143--170 (2021; Zbl 1490.81010) Full Text: DOI OpenURL
Su, Youan; Murai, Ryo; Sano, Katsuhiko 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 \textit{Y. Su} et al., Lect. Notes Comput. Sci. 13039, 216--231 (2021; Zbl 07547772) Full Text: DOI OpenURL
Seidl, Helmut; Vogler, Ralf Three improvements to the top-down solver. (English) Zbl 1489.68053 Math. Struct. Comput. Sci. 31, No. 9, 1090-1134 (2021). MSC: 68N30 PDF BibTeX XML Cite \textit{H. Seidl} and \textit{R. Vogler}, Math. Struct. Comput. Sci. 31, No. 9, 1090--1134 (2021; Zbl 1489.68053) Full Text: DOI OpenURL
Zhao, Dazhi; Yu, Guozhu; Yu, Tao; Zhang, Lu A probabilistic interpretation of the Dzhrbashyan fractional integral. (English) Zbl 07542128 Fractals 29, No. 8, Article ID 2150269, 8 p. (2021). MSC: 26Axx 34Axx 26-XX PDF BibTeX XML Cite \textit{D. Zhao} et al., Fractals 29, No. 8, Article ID 2150269, 8 p. (2021; Zbl 07542128) Full Text: DOI OpenURL
Ebrahimi-Fard, Kurusch; Patras, Frédéric 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 \textit{K. Ebrahimi-Fard} and \textit{F. Patras}, in: Algebra and applications 2. Combinatorial algebra and Hopf algebras. London: ISTE; Hoboken, NJ: John Wiley \& Sons. 55--118 (2021; Zbl 07533223) Full Text: DOI OpenURL
Lee, Eun Ryung; Park, Seyoung Poisson reduced-rank models with sparse loadings. (English) Zbl 07514937 J. Korean Stat. Soc. 50, No. 4, 1079-1097 (2021). MSC: 62-XX PDF BibTeX XML Cite \textit{E. R. Lee} and \textit{S. Park}, J. Korean Stat. Soc. 50, No. 4, 1079--1097 (2021; Zbl 07514937) Full Text: DOI OpenURL
Zubkov, A. M. Entropy as the quality characteristic of random sequences. (Russian. English summary) Zbl 1486.94044 Mat. Vopr. Kriptografii 12, No. 3, 31-48 (2021). MSC: 94A17 62F03 PDF BibTeX XML Cite \textit{A. M. Zubkov}, Mat. Vopr. Kriptografii 12, No. 3, 31--48 (2021; Zbl 1486.94044) Full Text: DOI MNR OpenURL
Behrisch, Mike; Vargas-García, Edith On a stronger reconstruction notion for monoids and clones. (English) Zbl 07502633 Forum Math. 33, No. 6, 1487-1506 (2021). MSC: 08A35 08A40 54H15 08A02 03C15 03C40 PDF BibTeX XML Cite \textit{M. Behrisch} and \textit{E. Vargas-García}, Forum Math. 33, No. 6, 1487--1506 (2021; Zbl 07502633) Full Text: DOI arXiv OpenURL
Casso, Ignacio; Morales, José F.; López-García, P.; Hermenegildo, Manuel V. 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 \textit{I. Casso} et al., Lect. Notes Comput. Sci. 12561, 271--292 (2021; Zbl 07496652) Full Text: DOI OpenURL
Ferreira, Fernando On false Heine/Borel compactness principles in proof mining. (English) Zbl 07495168 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 199-203 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Ferreira}, Lect. Notes Comput. Sci. 12813, 199--203 (2021; Zbl 07495168) Full Text: DOI OpenURL
Yin, Guosheng; Shi, Haolun Demystify Lindley’s paradox by connecting \(p\)-value and posterior probability. (English) Zbl 07468425 Stat. Interface 14, No. 4, 489-502 (2021). MSC: 62A01 62F15 62F03 PDF BibTeX XML Cite \textit{G. Yin} and \textit{H. Shi}, Stat. Interface 14, No. 4, 489--502 (2021; Zbl 07468425) Full Text: DOI arXiv OpenURL
Hooker, Giles; Mentch, Lucas; Zhou, Siyu Unrestricted permutation forces extrapolation: variable importance requires at least one more model, or there is no free variable importance. (English) Zbl 1477.62008 Stat. Comput. 31, No. 6, Paper No. 82, 16 p. (2021). MSC: 62-08 PDF BibTeX XML Cite \textit{G. Hooker} et al., Stat. Comput. 31, No. 6, Paper No. 82, 16 p. (2021; Zbl 1477.62008) Full Text: DOI arXiv OpenURL
Illous, Hugo; Lemerre, Matthieu; Rival, Xavier A relational shape abstract domain. (English) Zbl 07440327 Form. Methods Syst. Des. 57, No. 3, 343-400 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{H. Illous} et al., Form. Methods Syst. Des. 57, No. 3, 343--400 (2021; Zbl 07440327) Full Text: DOI Link OpenURL
Li, Tianlin; Liu, Aishan; Liu, Xianglong; Xu, Yitao; Zhang, Chongzhi; Xie, Xiaofei Understanding adversarial robustness via critical attacking route. (English) Zbl 1475.68317 Inf. Sci. 547, 568-578 (2021). MSC: 68T07 62F35 91D30 PDF BibTeX XML Cite \textit{T. Li} et al., Inf. Sci. 547, 568--578 (2021; Zbl 1475.68317) Full Text: DOI OpenURL
Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella Completeness of string analysis for dynamic languages. (English) Zbl 07433313 Inf. Comput. 281, Article ID 104791, 18 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{V. Arceri} et al., Inf. Comput. 281, Article ID 104791, 18 p. (2021; Zbl 07433313) Full Text: DOI OpenURL
Feintzeig, Benjamin H.; Librande, Jonah; Soiffer, Rory Localizable particles in the classical limit of quantum field theory. (English) Zbl 07422267 Found. Phys. 51, No. 2, Paper No. 49, 31 p. (2021). MSC: 81Txx 81Pxx 46Lxx PDF BibTeX XML Cite \textit{B. H. Feintzeig} et al., Found. Phys. 51, No. 2, Paper No. 49, 31 p. (2021; Zbl 07422267) Full Text: DOI arXiv OpenURL
Waaijer, Marijn; Neerven, Jan van Relational analysis of the Frauchiger-Renner paradox and interaction-free detection of records from the past. (English) Zbl 07422263 Found. Phys. 51, No. 2, Paper No. 45, 18 p. (2021). MSC: 03Bxx 03Axx PDF BibTeX XML Cite \textit{M. Waaijer} and \textit{J. van Neerven}, Found. Phys. 51, No. 2, Paper No. 45, 18 p. (2021; Zbl 07422263) Full Text: DOI arXiv OpenURL
Di Biagio, Andrea; Rovelli, Carlo Stable facts, relative facts. (English) Zbl 07422248 Found. Phys. 51, No. 1, Paper No. 30, 14 p. (2021). MSC: 81-XX PDF BibTeX XML Cite \textit{A. Di Biagio} and \textit{C. Rovelli}, Found. Phys. 51, No. 1, Paper No. 30, 14 p. (2021; Zbl 07422248) Full Text: DOI arXiv OpenURL
Romano, Davide On the alleged extra-structures of quantum mechanics. (English) Zbl 07422247 Found. Phys. 51, No. 1, Paper No. 29, 20 p. (2021). MSC: 81-XX PDF BibTeX XML Cite \textit{D. Romano}, Found. Phys. 51, No. 1, Paper No. 29, 20 p. (2021; Zbl 07422247) Full Text: DOI Link OpenURL
Cuffaro, Michael E.; Doyle, Emerson P. Essay review of: T. Bub and Jeffrey Bub, Totally random: why nobody understands quantum mechanics: a serious comic on entanglement. (English) Zbl 07422246 Found. Phys. 51, No. 1, Paper No. 28, 17 p. (2021). MSC: 81-01 81P05 81P40 00A79 PDF BibTeX XML Cite \textit{M. E. Cuffaro} and \textit{E. P. Doyle}, Found. Phys. 51, No. 1, Paper No. 28, 17 p. (2021; Zbl 07422246) Full Text: DOI arXiv OpenURL
Bopp, Fritz W. An intricate quantum statistical effect and the foundation of quantum mechanics. (English) Zbl 07422233 Found. Phys. 51, No. 1, Paper No. 15, 22 p. (2021). MSC: 81Pxx PDF BibTeX XML Cite \textit{F. W. Bopp}, Found. Phys. 51, No. 1, Paper No. 15, 22 p. (2021; Zbl 07422233) Full Text: DOI arXiv OpenURL
Şahin, İnanç Can parallel lives provide a solution to Hardy’s paradox? (English) Zbl 07422227 Found. Phys. 51, No. 1, Paper No. 9, 15 p. (2021). MSC: 81Pxx PDF BibTeX XML Cite \textit{İ. Şahin}, Found. Phys. 51, No. 1, Paper No. 9, 15 p. (2021; Zbl 07422227) Full Text: DOI arXiv OpenURL
Allart, Emilie; Niehren, Joachim; Versari, Cristian Computing difference abstractions of linear equation systems. (English) Zbl 07417739 Theor. Comput. Sci. 893, 72-104 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{E. Allart} et al., Theor. Comput. Sci. 893, 72--104 (2021; Zbl 07417739) Full Text: DOI HAL OpenURL
Ferreira, Fernando The abstract type of the real numbers. (English) Zbl 1486.03098 Arch. Math. Logic 60, No. 7-8, 1005-1017 (2021). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03F10 03F25 54F15 PDF BibTeX XML Cite \textit{F. Ferreira}, Arch. Math. Logic 60, No. 7--8, 1005--1017 (2021; Zbl 1486.03098) Full Text: DOI OpenURL
Kohlenbach, Ulrich Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. (English) Zbl 1487.03065 Arch. Math. Logic 60, No. 7-8, 995-1003 (2021). Reviewer: Andrei Sipoş (Bucureşti) MSC: 03F10 47H09 PDF BibTeX XML Cite \textit{U. Kohlenbach}, Arch. Math. Logic 60, No. 7--8, 995--1003 (2021; Zbl 1487.03065) Full Text: DOI OpenURL
Wang, Detao; Chen, Guoxiong Seismic stratum segmentation using an encoder-decoder convolutional neural network. (English) Zbl 1472.86013 Math. Geosci. 53, No. 6, 1355-1374 (2021). MSC: 86A15 86A32 68T07 PDF BibTeX XML Cite \textit{D. Wang} and \textit{G. Chen}, Math. Geosci. 53, No. 6, 1355--1374 (2021; Zbl 1472.86013) Full Text: DOI OpenURL
Roque Freire, Alfredo; Hamkins, Joel David Bi-interpretation in weak set theories. (English) Zbl 07415218 J. Symb. Log. 86, No. 2, 609-634 (2021). MSC: 03Exx PDF BibTeX XML Cite \textit{A. Roque Freire} and \textit{J. D. Hamkins}, J. Symb. Log. 86, No. 2, 609--634 (2021; Zbl 07415218) Full Text: DOI arXiv OpenURL
Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino 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 \textit{L. Negrini} et al., Lect. Notes Comput. Sci. 12597, 267--290 (2021; Zbl 1472.68039) Full Text: DOI arXiv OpenURL
Uetake, Yoichi 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). MSC: 93C05 47A40 47A11 11F66 11F70 35J05 PDF BibTeX XML Cite \textit{Y. Uetake}, Banach Cent. Publ. 124, 123--141 (2021; Zbl 1471.93131) Full Text: DOI OpenURL
Cheng, Yong Current research on Gödel’s incompleteness theorems. (English) Zbl 07396323 Bull. Symb. Log. 27, No. 2, 113-167 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03-02 PDF BibTeX XML Cite \textit{Y. Cheng}, Bull. Symb. Log. 27, No. 2, 113--167 (2021; Zbl 07396323) Full Text: DOI arXiv OpenURL
Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V. Incremental and modular context-sensitive analysis. (English) Zbl 1472.68035 Theory Pract. Log. Program. 21, No. 2, 196-243 (2021). MSC: 68N30 68N17 PDF BibTeX XML Cite \textit{I. Garcia-Contreras} et al., Theory Pract. Log. Program. 21, No. 2, 196--243 (2021; Zbl 1472.68035) Full Text: DOI arXiv OpenURL
Yang, Pengfei; Li, Jianlin; Liu, Jiangchao; Huang, Cheng-Chao; Li, Renjue; Chen, Liqian; Huang, Xiaowei; Zhang, Lijun Enhancing robustness verification for deep neural networks via symbolic propagation. (English) Zbl 07387999 Formal Asp. Comput. 33, No. 3, 407-435 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{P. Yang} et al., Formal Asp. Comput. 33, No. 3, 407--435 (2021; Zbl 07387999) Full Text: DOI OpenURL
Ma, Shi-Mei; Ma, Jun; Yeh, Yeong-Nan; Zhou, Roberta R. Jacobian elliptic functions and a family of bivariate peak polynomials. (English) Zbl 1473.33010 Eur. J. Comb. 97, Article ID 103371, 13 p. (2021). Reviewer: Thomas Ernst (Uppsala) MSC: 33E05 PDF BibTeX XML Cite \textit{S.-M. Ma} et al., Eur. J. Comb. 97, Article ID 103371, 13 p. (2021; Zbl 1473.33010) Full Text: DOI OpenURL
Verlan, A. F.; Malachivskyy, P. S.; Pizyur, Ya. V. 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 \textit{A. F. Verlan} et al., Cybern. Syst. Anal. 57, No. 4, 584--591 (2021; Zbl 07378096); translation from Kibern. Sist. Anal. 57, No. 4, 95--103 (2021) Full Text: DOI OpenURL
Kondruk, N. E.; Malyar, M. M. Analysis of cluster structures by different similarity measures. (English. Ukrainian original) Zbl 1470.62086 Cybern. Syst. Anal. 57, No. 3, 436-441 (2021); translation from Kibern. Sist. Anal. 57, No. 3, 114-120 (2021). MSC: 62H30 62P25 PDF BibTeX XML Cite \textit{N. E. Kondruk} and \textit{M. M. Malyar}, Cybern. Syst. Anal. 57, No. 3, 436--441 (2021; Zbl 1470.62086); translation from Kibern. Sist. Anal. 57, No. 3, 114--120 (2021) Full Text: DOI OpenURL
Poliakov, Nikolai L.; Saveliev, Denis I. On ultrafilter extensions of first-order models and ultrafilter interpretations. (English) Zbl 07373424 Arch. Math. Logic 60, No. 5, 625-681 (2021). MSC: 03C55 54C08 54C20 54D35 54D80 03C30 03C80 54A20 54B05 54B10 54B20 54C10 54C15 54C20 54C50 54F65 54E05 54H10 PDF BibTeX XML Cite \textit{N. L. Poliakov} and \textit{D. I. Saveliev}, Arch. Math. Logic 60, No. 5, 625--681 (2021; Zbl 07373424) Full Text: DOI arXiv OpenURL
Uftring, Patrick The characterization of Weihrauch reducibility in systems containing \(E-PA^{\omega } + QF-AC^{0,0}\). (English) Zbl 07370811 J. Symb. Log. 86, No. 1, 224-261 (2021). MSC: 03B47 03F52 03D65 03D30 PDF BibTeX XML Cite \textit{P. Uftring}, J. Symb. Log. 86, No. 1, 224--261 (2021; Zbl 07370811) Full Text: DOI arXiv OpenURL
Kalimullin, I. Sh.; Selivanov, V. L.; Frolov, A. N. 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 \textit{I. Sh. Kalimullin} et al., J. Math. Sci., New York 256, No. 2, 143--159 (2021; Zbl 07364542); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 23--39 (2018) Full Text: DOI OpenURL
Cousot, Patrick Calculational design of a regular model checker by abstract interpretation. (English) Zbl 07346941 Theor. Comput. Sci. 869, 62-84 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Cousot}, Theor. Comput. Sci. 869, 62--84 (2021; Zbl 07346941) Full Text: DOI OpenURL
van Diejen, Jan Felipe 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 \textit{J. F. van Diejen}, SEMA SIMAI Springer Ser. 22, 171--192 (2021; Zbl 1460.33020) Full Text: DOI arXiv OpenURL
Kohlenbach, Ulrich; Sipoş, Andrei The finitary content of sunny nonexpansive retractions. (English) Zbl 07266076 Commun. Contemp. Math. 23, No. 1, Article ID 1950093, 63 p. (2021). MSC: 47H06 47H09 47H10 03F10 PDF BibTeX XML Cite \textit{U. Kohlenbach} and \textit{A. Sipoş}, Commun. Contemp. Math. 23, No. 1, Article ID 1950093, 63 p. (2021; Zbl 07266076) Full Text: DOI arXiv OpenURL
Bezhanishvili, Guram; Carai, Luca Temporal interpretation of intuitionistic quantifiers. (English) Zbl 07585709 Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 95-114 (2020). MSC: 03B45 PDF BibTeX XML Cite \textit{G. Bezhanishvili} and \textit{L. Carai}, in: Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24--28, 2020. London: College Publications. 95--114 (2020; Zbl 07585709) OpenURL
Plante, André A Gaussian alternative to using improper confidence intervals. (English. French summary) Zbl 07566600 Can. J. Stat. 48, No. 4, 773-801 (2020). MSC: 62A01 62-03 97N20 PDF BibTeX XML Cite \textit{A. Plante}, Can. J. Stat. 48, No. 4, 773--801 (2020; Zbl 07566600) Full Text: DOI OpenURL
Ranzato, Francesco 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 \textit{F. Ranzato}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 30, 21 p. (2020; Zbl 07559486) Full Text: DOI OpenURL
Baldan, Paolo; König, Barbara; Padoan, Tommaso 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 \textit{P. Baldan} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 25, 20 p. (2020; Zbl 07559481) Full Text: DOI OpenURL
Aerts, Diederik; Sassoli De Bianchi, Massimiliano; Sozzo, Sandro; Veloz, Tomas On the conceptuality interpretation of quantum and relativity theories. (English) Zbl 1490.81003 Found. Sci. 25, No. 1, 5-54 (2020). MSC: 81P05 PDF BibTeX XML Cite \textit{D. Aerts} et al., Found. Sci. 25, No. 1, 5--54 (2020; Zbl 1490.81003) Full Text: DOI OpenURL
Dimitrov, Boyan; Rykov, Vladimir; Esa, Sahib 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: 60J05 PDF BibTeX XML Cite \textit{B. Dimitrov} et al., Lect. Notes Comput. Sci. 12563, 538--554 (2020; Zbl 07498115) Full Text: DOI OpenURL
He, Guang Ping Copenhagen interpretation can survive the upgraded Schrödinger’s cat gedankenexperiment. (English) Zbl 1484.81006 Found. Phys. 50, No. 7, 715-726 (2020). MSC: 81P05 81P40 53Z05 PDF BibTeX XML Cite \textit{G. P. He}, Found. Phys. 50, No. 7, 715--726 (2020; Zbl 1484.81006) Full Text: DOI arXiv OpenURL
Arve, Per Everett’s missing postulate and the Born rule. (English) Zbl 1484.81010 Found. Phys. 50, No. 7, 665-692 (2020). MSC: 81P15 83F05 81S07 00A79 PDF BibTeX XML Cite \textit{P. Arve}, Found. Phys. 50, No. 7, 665--692 (2020; Zbl 1484.81010) Full Text: DOI arXiv OpenURL
Read, James; Møller-Nielsen, Thomas Motivating dualities. (English) Zbl 1475.81016 Synthese 197, No. 1, 263-291 (2020). MSC: 81T35 81P05 PDF BibTeX XML Cite \textit{J. Read} and \textit{T. Møller-Nielsen}, Synthese 197, No. 1, 263--291 (2020; Zbl 1475.81016) Full Text: DOI OpenURL
Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella 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 \textit{S. Buro} et al., Lect. Notes Comput. Sci. 12389, 310--332 (2020; Zbl 1474.68045) Full Text: DOI OpenURL
Martinez, Jean-Philippe The Fock-Infeld dispute: an illustration of the Renaissance of general relativity in the Soviet Union. (English) Zbl 1472.83006 Blum, Alexander S. (ed.) et al., The Renaissance of general relativity in context. Cham: Birkhäuser. Einstein Stud. 16, 113-139 (2020). MSC: 83-03 01A60 83C10 PDF BibTeX XML Cite \textit{J.-P. Martinez}, Einstein Stud. 16, 113--139 (2020; Zbl 1472.83006) Full Text: DOI OpenURL
Juthe, André A defense of analogy inference as sui generis. (English) Zbl 1478.03008 Log. Log. Philos. 29, No. 2, 259-309 (2020). MSC: 03A05 03B65 PDF BibTeX XML Cite \textit{A. Juthe}, Log. Log. Philos. 29, No. 2, 259--309 (2020; Zbl 1478.03008) Full Text: DOI OpenURL
Badie, Farshad Towards contingent world descriptions in description logics. (English) Zbl 1478.68340 Log. Log. Philos. 29, No. 1, 115-141 (2020). MSC: 68T27 68T30 PDF BibTeX XML Cite \textit{F. Badie}, Log. Log. Philos. 29, No. 1, 115--141 (2020; Zbl 1478.68340) Full Text: DOI OpenURL
Ferreira, Fernando Weak König’s lemma in Herbrandized classical second-order arithmetic. (English) Zbl 1486.03096 Port. Math. (N.S.) 77, No. 3-4, 399-408 (2020). MSC: 03F10 03B30 03F35 PDF BibTeX XML Cite \textit{F. Ferreira}, Port. Math. (N.S.) 77, No. 3--4, 399--408 (2020; Zbl 1486.03096) Full Text: DOI OpenURL
Ferreira, Fernando Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach. (English) Zbl 1462.03025 Bull. Symb. Log. 26, No. 3-4, 257-267 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F10 13A15 13F20 03F35 PDF BibTeX XML Cite \textit{F. Ferreira}, Bull. Symb. Log. 26, No. 3--4, 257--267 (2020; Zbl 1462.03025) Full Text: DOI OpenURL
Cheng, Yong Finding the limit of incompleteness. I. (English) Zbl 1464.03089 Bull. Symb. Log. 26, No. 3-4, 268-286 (2020). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03D35 PDF BibTeX XML Cite \textit{Y. Cheng}, Bull. Symb. Log. 26, No. 3--4, 268--286 (2020; Zbl 1464.03089) Full Text: DOI arXiv OpenURL
Stovall, Preston 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). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{P. Stovall}, in: 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; Zbl 07307096) OpenURL
Knight, Julia F.; Soskova, Alexandra A.; Vatev, Stefan V. Coding in graphs and linear orderings. (English) Zbl 1459.03046 J. Symb. Log. 85, No. 2, 673-690 (2020). Reviewer: Jamalbek Tussupov (Astana) MSC: 03C57 03D45 03D30 PDF BibTeX XML Cite \textit{J. F. Knight} et al., J. Symb. Log. 85, No. 2, 673--690 (2020; Zbl 1459.03046) Full Text: DOI arXiv OpenURL
Powell, Thomas 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 \textit{T. Powell}, in: 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; Zbl 07299511) Full Text: DOI arXiv OpenURL
Samarin, Alekseĭ Yur’evich Quantum evolution as a usual mechanical motion of peculiar continua. (English) Zbl 1463.81018 Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 24, No. 1, 7-21 (2020). MSC: 81S40 58D30 PDF BibTeX XML Cite \textit{A. Y. Samarin}, Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 24, No. 1, 7--21 (2020; Zbl 1463.81018) Full Text: DOI MNR OpenURL
Braak, D.; Mannhart, J. Fermi’s golden rule and the second law of thermodynamics. (English) Zbl 1454.00039 Found. Phys. 50, No. 11, 1509-1540 (2020). MSC: 00A79 81P05 80A10 PDF BibTeX XML Cite \textit{D. Braak} and \textit{J. Mannhart}, Found. Phys. 50, No. 11, 1509--1540 (2020; Zbl 1454.00039) Full Text: DOI arXiv OpenURL
Oldofredi, Andrea; López, Cristian On the classification between \(\psi \)-ontic and \(\psi \)-epistemic ontological models. (English) Zbl 1451.81012 Found. Phys. 50, No. 11, 1315-1345 (2020). MSC: 81P05 00A79 81P15 PDF BibTeX XML Cite \textit{A. Oldofredi} and \textit{C. López}, Found. Phys. 50, No. 11, 1315--1345 (2020; Zbl 1451.81012) Full Text: DOI arXiv OpenURL
Le Mézo, Thomas; Jaulin, Luc; Zerr, Benoît Bracketing backward reach sets of a dynamical system. (English) Zbl 1454.93023 Int. J. Control 93, No. 11, 2528-2540 (2020). MSC: 93B03 93B70 PDF BibTeX XML Cite \textit{T. Le Mézo} et al., Int. J. Control 93, No. 11, 2528--2540 (2020; Zbl 1454.93023) Full Text: DOI HAL OpenURL
Akahori, Jirô; Chiba, Yu Generalizations of Ho-Lee’s binomial interest rate model. II: Randomization. (English) Zbl 1454.91312 JSIAM Lett. 12, 57-60 (2020). MSC: 91G30 60G50 PDF BibTeX XML Cite \textit{J. Akahori} and \textit{Y. Chiba}, JSIAM Lett. 12, 57--60 (2020; Zbl 1454.91312) Full Text: DOI OpenURL
Gubarev, V. F. Problem of mathematical data interpretation. II: Distributed-parameter systems. (English. Russian original) Zbl 1454.93052 Cybern. Syst. Anal. 56, No. 3, 356-365 (2020); translation from Kibern. Sist. Anal. 2020, No. 3, 17-29 (2020). MSC: 93B28 93C10 PDF BibTeX XML Cite \textit{V. F. Gubarev}, Cybern. Syst. Anal. 56, No. 3, 356--365 (2020; Zbl 1454.93052); translation from Kibern. Sist. Anal. 2020, No. 3, 17--29 (2020) Full Text: DOI OpenURL
Dürr, Detlef; Lazarovici, Dustin 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). Reviewer: Eugene Kryachko (Kyïv) MSC: 81-02 81P05 81P15 81Q65 PDF BibTeX XML Cite \textit{D. Dürr} and \textit{D. Lazarovici}, Understanding quantum mechanics. The world according to modern quantum foundations. Cham: Springer (2020; Zbl 1467.81005) Full Text: DOI OpenURL
Mandolesi, André L. G. Quantum fractionalism: the Born rule as a consequence of the complex Pythagorean theorem. (English) Zbl 1448.81021 Phys. Lett., A 384, No. 28, Article ID 126725, 12 p. (2020). MSC: 81P05 81P15 PDF BibTeX XML Cite \textit{A. L. G. Mandolesi}, Phys. Lett., A 384, No. 28, Article ID 126725, 12 p. (2020; Zbl 1448.81021) Full Text: DOI arXiv OpenURL
Peretyat’kin, Mikhaĭl G. The property of being a model complete theory is preserved by Cartesian extensions. (English) Zbl 1477.03119 Sib. Èlektron. Mat. Izv. 17, 1540-1551 (2020). MSC: 03C10 03B10 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Èlektron. Mat. Izv. 17, 1540--1551 (2020; Zbl 1477.03119) Full Text: DOI OpenURL
Bennett, Curtis; Carrillo, Juan; Machacek, John; Sagan, Bruce E. Combinatorial interpretations of Lucas analogues of binomial coefficients and Catalan numbers. (English) Zbl 1451.05009 Ann. Comb. 24, No. 3, 503-530 (2020). MSC: 05A10 05A15 05A19 11B39 PDF BibTeX XML Cite \textit{C. Bennett} et al., Ann. Comb. 24, No. 3, 503--530 (2020; Zbl 1451.05009) Full Text: DOI arXiv OpenURL
Zhan, Xianglin; Lu, Cai; Hu, Guangmin 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). MSC: 68P15 68T27 68T35 68U35 PDF BibTeX XML Cite \textit{X. Zhan} et al., Lect. Notes Comput. Sci. 12012, 318--333 (2020; Zbl 07266060) Full Text: DOI OpenURL
Obornev, E. A.; Obornev, I. E.; Rodionov, E. A.; Shimelevich, M. I. 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 \textit{E. A. Obornev} et al., Comput. Math. Math. Phys. 60, No. 6, 1025--1036 (2020; Zbl 1450.86004); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 6, 1053--1065 (2020) Full Text: DOI OpenURL