×

zbMATH — the first resource for mathematics

Found 395 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Kurdyumov, Vitaliĭ Pavlovich; Khromov, Avgust Petrovich; Khalova, Viktoriya Anatol’evna
Mixed problem for a homogeneous wave equation with a nonzero initial velocity and a summable potential. (Russian. English summary) Zbl 1456.35125
Izv. Sarat. Univ. (N.S.), Ser. Mat. Mekh. Inform. 20, No. 4, 444-456 (2020).
MSC:  35L20 35L05 35C10
PDF BibTeX XML Cite
\textit{V. P. Kurdyumov} et al., Izv. Sarat. Univ. (N.S.), Ser. Mat. Mekh. Inform. 20, No. 4, 444--456 (2020; Zbl 1456.35125)
Full Text: DOI MNR
Yan, Jingchen; Wang, Yating; Goto, Yuichi; Cheng, Jingde
An extension of formal analysis method with reasoning: a case study of flaw detection for non-repudiation and fairness. (English) Zbl 07116584
Carlet, Claude (ed.) et al., Codes, cryptology and information security. Third international conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019. Proceedings – in honor of Said el Hajji. Cham: Springer (ISBN 978-3-030-16457-7/pbk; 978-3-030-16458-4/ebook). Lecture Notes in Computer Science 11445, 399-408 (2019).
MSC:  68P25 68P30 94A60 94Bxx
PDF BibTeX XML Cite
\textit{J. Yan} et al., Lect. Notes Comput. Sci. 11445, 399--408 (2019; Zbl 07116584)
Full Text: DOI
Babakov, R. M.; Barkalov, A. A.
Structural classification of methods for synthesis of a microprogram finite-state machine with datapath of transitions. (English. Russian original) Zbl 1443.68081
Cybern. Syst. Anal. 55, No. 2, 167-173 (2019); translation from Kibern. Sist. Anal. 2019, No. 2, 3-9 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{R. M. Babakov} and \textit{A. A. Barkalov}, Cybern. Syst. Anal. 55, No. 2, 167--173 (2019; Zbl 1443.68081); translation from Kibern. Sist. Anal. 2019, No. 2, 3--9 (2019)
Full Text: DOI
Farmer, William M.
A new style of mathematical proof. (English) Zbl 1395.68257
Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 175-181 (2018).
MSC:  68T30 03F07 68U35
PDF BibTeX XML Cite
\textit{W. M. Farmer}, Lect. Notes Comput. Sci. 10931, 175--181 (2018; Zbl 1395.68257)
Full Text: DOI
Asinowski, Andrei; Bacher, Axel; Banderier, Cyril; Gittenberger, Bernhard
Analytic combinatorics of lattice paths with forbidden patterns: enumerative aspects. (English) Zbl 1437.68090
Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10792, 195-206 (2018).
MSC:  68Q45 05A15 05A16 11B75
PDF BibTeX XML Cite
\textit{A. Asinowski} et al., Lect. Notes Comput. Sci. 10792, 195--206 (2018; Zbl 1437.68090)
Full Text: DOI
Basset, Nicolas; Mairesse, Jean; Soria, Michèle
Uniform sampling for networks of automata. (English) Zbl 1442.68081
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 36, 16 p. (2017).
MSC:  68Q45 68Q85 68Q87
PDF BibTeX XML Cite
\textit{N. Basset} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 36, 16 p. (2017; Zbl 1442.68081)
Full Text: DOI
Freden, Eric
Growth of groups. (English) Zbl 1430.20045
Clay, Matt (ed.) et al., Office hours with a geometric group theorist. Princeton, NJ: Princeton University Press. 237-266 (2017).
MSC:  20F69 20-01
PDF BibTeX XML Cite
\textit{E. Freden}, in: Office hours with a geometric group theorist. Princeton, NJ: Princeton University Press. 237--266 (2017; Zbl 1430.20045)
Full Text: DOI
Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Hongwei; Yang, Kai
Modeling and verifying multi-core programs. (English) Zbl 06852667
Gao, Xiaofeng (ed.) et al., Combinatorial optimization and applications. 11th international conference, COCOA 2017, Shanghai, China, December 16–18, 2017. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-71146-1/pbk; 978-3-319-71147-8/ebook). Lecture Notes in Computer Science 10628, 492-500 (2017).
MSC:  68T20 90C27
PDF BibTeX XML Cite
\textit{N. Zhang} et al., Lect. Notes Comput. Sci. 10628, 492--500 (2017; Zbl 06852667)
Full Text: DOI
Kornev, V. V.; Khromov, A. P.
A mixed problem for an inhomogeneous wave equation with a summable potential. (English. Russian original) Zbl 1391.35261
Comput. Math. Math. Phys. 57, No. 10, 1666-1681 (2017); translation from Zh. Vychisl. Mat. Mat. Fiz. 57, No. 10, 1692-1707 (2017).
Reviewer: Vanja Nikolić (Garching)
MSC:  35L20 35L05
PDF BibTeX XML Cite
\textit{V. V. Kornev} and \textit{A. P. Khromov}, Comput. Math. Math. Phys. 57, No. 10, 1666--1681 (2017; Zbl 1391.35261); translation from Zh. Vychisl. Mat. Mat. Fiz. 57, No. 10, 1692--1707 (2017)
Full Text: DOI
Bertoni, Guido; Martinoli, Marco
A methodology for the characterisation of leakages in combinatorial logic. (English) Zbl 1398.94098
Carlet, Claude (ed.) et al., Security, privacy, and applied cryptography engineering. 6th international conference, SPACE 2016, Hyderabad, India, December 14–18, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-49444-9/pbk; 978-3-319-49445-6/ebook). Lecture Notes in Computer Science 10076, 363-382 (2016).
MSC:  94A60 94C10
PDF BibTeX XML Cite
\textit{G. Bertoni} and \textit{M. Martinoli}, Lect. Notes Comput. Sci. 10076, 363--382 (2016; Zbl 1398.94098)
Full Text: DOI
Tamm, Hellis
New interpretation and generalization of the Kameda-Weiner method. (English) Zbl 1388.68182
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 116, 12 p. (2016).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{H. Tamm}, LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 116, 12 p. (2016; Zbl 1388.68182)
Full Text: DOI
Khromov, A. P.
On the convergence of the formal Fourier solution of the wave equation with a summable potential. (English. Russian original) Zbl 1356.35089
Comput. Math. Math. Phys. 56, No. 10, 1778-1792 (2016); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 10, 1795-1809 (2016).
MSC:  35C10 35L20 35L05
PDF BibTeX XML Cite
\textit{A. P. Khromov}, Comput. Math. Math. Phys. 56, No. 10, 1778--1792 (2016; Zbl 1356.35089); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 10, 1795--1809 (2016)
Full Text: DOI
Reps, Thomas; Turetsky, Emma; Prabhu, Prathmesh
Newtonian program analysis via tensor product. (English) Zbl 1347.68094
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 663-677 (2016).
MSC:  68N30 16Y60 68Q45
PDF BibTeX XML Cite
\textit{T. Reps} et al., in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 663--677 (2016; Zbl 1347.68094)
Full Text: DOI
Ishmeev, M. R.; Levenshtam, V. B.
High-frequency asymptotics of a solution to a linear system with the Stokes operator in the principal part. (English. Russian original) Zbl 1331.35091
J. Math. Sci., New York 208, No. 2, 151-159 (2015); translation from Probl. Mat. Anal. 80, 3-10 (2015).
MSC:  35F40 35B10
PDF BibTeX XML Cite
\textit{M. R. Ishmeev} and \textit{V. B. Levenshtam}, J. Math. Sci., New York 208, No. 2, 151--159 (2015; Zbl 1331.35091); translation from Probl. Mat. Anal. 80, 3--10 (2015)
Full Text: DOI
Kornev, V. V.; Khromov, A. P.
A resolvent approach in the Fourier method for the wave equation: the non-selfadjoint case. (English. Russian original) Zbl 1351.65079
Comput. Math. Math. Phys. 55, No. 7, 1138-1149 (2015); translation from Zh. Vychisl. Mat. Mat. Fiz. 55, No. 7, 1156-1167 (2015).
Reviewer: Yanlai Chen (North Dartmouth)
MSC:  65M70 35L05
PDF BibTeX XML Cite
\textit{V. V. Kornev} and \textit{A. P. Khromov}, Comput. Math. Math. Phys. 55, No. 7, 1138--1149 (2015; Zbl 1351.65079); translation from Zh. Vychisl. Mat. Mat. Fiz. 55, No. 7, 1156--1167 (2015)
Full Text: DOI
Yoneyama, Kazuki
Formal modeling of random oracle programmability and verification of signature unforgeability using task-PIOAs. (English) Zbl 1453.68026
Lee, Jooyoung (ed.) et al., Information security and cryptology – ICISC 2014. 17th international conference, Seoul, South Korea, December 3–5, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8949, 37-52 (2015).
MSC:  68M25 68Q45 94A60 94A62
PDF BibTeX XML Cite
\textit{K. Yoneyama}, Lect. Notes Comput. Sci. 8949, 37--52 (2015; Zbl 1453.68026)
Full Text: DOI
Kornev, V. V.; Khromov, A. P.
Resolvent approach to the Fourier method in a mixed problem for the wave equation. (English. Russian original) Zbl 1320.35187
Comput. Math. Math. Phys. 55, No. 4, 618-627 (2015); translation from Zh. Vychisl. Mat. Mat. Fiz. 55, No. 4, 621-630 (2015).
MSC:  35L20
PDF BibTeX XML Cite
\textit{V. V. Kornev} and \textit{A. P. Khromov}, Comput. Math. Math. Phys. 55, No. 4, 618--627 (2015; Zbl 1320.35187); translation from Zh. Vychisl. Mat. Mat. Fiz. 55, No. 4, 621--630 (2015)
Full Text: DOI
Bobodzhanov, A. A.; Safonov, V. F.
Regularization method for nonlinear integro-differential systems of Fredholm type with rapidly varying kernels. (English. Russian original) Zbl 1323.65124
Differ. Equ. 51, No. 2, 255-267 (2015); translation from Differ. Uravn. 51, No. 2, 251-262 (2015).
Reviewer: Alexandru Mihai Bica (Oradea)
MSC:  65R20 45G15 45J05 45B05
PDF BibTeX XML Cite
\textit{A. A. Bobodzhanov} and \textit{V. F. Safonov}, Differ. Equ. 51, No. 2, 255--267 (2015; Zbl 1323.65124); translation from Differ. Uravn. 51, No. 2, 251--262 (2015)
Full Text: DOI
Yoneyama, Kazuki
Computational soundness of asymmetric bilinear pairing-based protocols. (English) Zbl 1368.94136
Chow, Sherman S.M. (ed.) et al., Provable security. 8th international conference, ProvSec 2014, Hong Kong, China, October 9–10, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-12474-2/pbk). Lecture Notes in Computer Science 8782, 317-325 (2014).
MSC:  94A60 68M12
PDF BibTeX XML Cite
\textit{K. Yoneyama}, Lect. Notes Comput. Sci. 8782, 317--325 (2014; Zbl 1368.94136)
Full Text: DOI
Zhang, Nan; Duan, Zhenhua; Tian, Cong
An axiomatization for cylinder computation model. (English) Zbl 1332.68144
Cai, Zhipeng (ed.) et al., Computing and combinatorics. 20th international conference, COCOON 2014, Atlanta, GA, USA, August 4–6, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08782-5/pbk). Lecture Notes in Computer Science 8591, 71-83 (2014).
MSC:  68Q60 03B44 68T15
PDF BibTeX XML Cite
\textit{N. Zhang} et al., Lect. Notes Comput. Sci. 8591, 71--83 (2014; Zbl 1332.68144)
Full Text: DOI
Goryuchkina, Irina V.
Convergence of a formal solution to an ODE. (English) Zbl 1291.34027
Bruno, Alexander D. (ed.) et al., Painlevé equations and related topics. Proceedings of the international conference, Saint Petersburg, Russia, June 17–23, 2011. Berlin: de Gruyter (ISBN 978-3-11-027558-2/hbk; 978-3-11-027566-7/ebook). De Gruyter Proceedings in Mathematics, 23-26 (2012).
MSC:  34A25 34E05
PDF BibTeX XML Cite
\textit{I. V. Goryuchkina}, in: Painlevé equations and related topics. Proceedings of the international conference, Saint Petersburg, Russia, June 17--23, 2011. Berlin: de Gruyter. 23--26 (2012; Zbl 1291.34027)
Milhau, Jérémy; Frappier, Marc; Laleau, Régine
A metamodel of the B modeling of access-control policies: work in progress. (English) Zbl 1303.68053
Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12–13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 234-241 (2012).
MSC:  68P25
PDF BibTeX XML Cite
\textit{J. Milhau} et al., Lect. Notes Comput. Sci. 6888, 234--241 (2012; Zbl 1303.68053)
Full Text: DOI
Konopacki, Pierre; Belhaouari, Hakim; Frappier, Marc; Laleau, Régine
Specification and verification of access control policies in EB\(^{3}\)SEC: work in progress. (English) Zbl 1303.68052
Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12–13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 227-233 (2012).
MSC:  68P25
PDF BibTeX XML Cite
\textit{P. Konopacki} et al., Lect. Notes Comput. Sci. 6888, 227--233 (2012; Zbl 1303.68052)
Full Text: DOI
Siedow, Norbert
Radiative heat transfer and applications for glass production processes. II. (English) Zbl 1226.80023
Fasano, Antonio (ed.), Mathematical models in the manufacturing of glass. C.I.M.E. summer school, Montecatini Terme, Italy, September 8–19, 2008. Berlin: Springer; Florence: Fondazione CIME Roberto Conti (ISBN 978-3-642-15966-4/pbk; 978-3-642-15967-1/ebook). Lecture Notes in Mathematics 2010, 135-171 (2011).
Reviewer: Viktor Shevchuk (Lviv)
MSC:  80A20 35K55 35K60 35K61 80M35 80A23 35R30 65N21 45D05
PDF BibTeX XML Cite
\textit{N. Siedow}, Lect. Notes Math. 2010, 135--171 (2011; Zbl 1226.80023)
Full Text: DOI

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