×

Found 368 Documents (Results 1–100)

k-inductive barrier certificates for stochastic systems. (English) Zbl 07807720

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Hopf algebras and tensor categories. International workshop, Nanjing University, Nanjing, China, September 9–13, 2019. (English) Zbl 1472.16001

Contemporary Mathematics 771. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5624-5/pbk; 978-1-4704-6427-1/ebook). x, 359 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Arithmetic algebra in the 12th century: “al-Bāhir” of al-Samaw’al. (L’algèbre arithmétique au XIIe siècle : “al-Bāhir” d’al-Samaw’al.) (French, Arabic) Zbl 1487.01034

Scientia Graeco-Arabica 32. Berlin: De Gruyter (ISBN 978-3-11-073834-6/hbk; 978-3-11-073346-4/ebook). lxxi, 255 p. (2021).
MSC:  01A75 01A30
PDFBibTeX XMLCite

Integral operators that determine the solution of an iterated hyperbolic-type equation. (English. Russian original) Zbl 1463.45055

Cybern. Syst. Anal. 56, No. 3, 401-409 (2020); translation from Kibern. Sist. Anal. 2020, No. 3, 70-79 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Reconstruction of magnetic susceptibility using full magnetic gradient data. (English. Russian original) Zbl 1451.78027

Comput. Math. Math. Phys. 60, No. 6, 1000-1007 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 6, 1027-1034 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Math leads for mathletes. A rich resource for young math enthusiasts, parents, teachers, and mentors. Book 2. (English) Zbl 1395.00001

Allen, TX: XYZ Press (ISBN 978-0-9968745-5-7/hbk). xii, 230 p. (2018).
PDFBibTeX XMLCite

Improving rewriting induction approach for proving ground confluence. (English) Zbl 1434.68215

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 7, 18 p. (2017).
MSC:  68Q42 68V15
PDFBibTeX XMLCite
Full Text: DOI

Natural sciences in focus I. Historical development, basic concepts, mathematics. (Naturwissenschaften im Fokus I. Geschichtliche Entwicklung, Grundbegriffe, Mathematik.) (German) Zbl 1379.01001

Wiesbaden: Springer Vieweg (ISBN 978-3-658-15189-8/pbk; 978-3-658-15190-4/ebook). xv, 205 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Homological mirror symmetry for singularities. (English) Zbl 1369.14053

Krause, Henning (ed.) et al., Representation theory – Current trends and perspectives. In part based on talks given at the last joint meeting of the priority program in Bad Honnef, Germany, in March 2015. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-171-2/hbk; 978-3-03719-671-7/ebook). EMS Series of Congress Reports, 75-107 (2017).
PDFBibTeX XMLCite
Full Text: arXiv

Simulation of thermomechanical behavior subjected to induction hardening. (English) Zbl 1383.78011

Bartel, Andreas (ed.) et al., Scientific computing in electrical engineering. SCEE 2014. Proceedings of the 10th international conference, Wuppertal, Germany, July 22–25, 2014. Cham: Springer (ISBN 978-3-319-30398-7/hbk; 978-3-319-30399-4/ebook). Mathematics in Industry 23. The European Consortium for Mathematics in Industry, 133-142 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Ground confluence prover based on rewriting induction. (English) Zbl 1387.68205

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 33, 12 p. (2016).
MSC:  68T15 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Sliding mode control of induction generator wind turbine connected to the grid. (English) Zbl 1360.93159

Vaidyanathan, Sundarapandian (ed.) et al., Advances and applications in nonlinear control systems. Cham: Springer (ISBN 978-3-319-30167-9/hbk; 978-3-319-30169-3/ebook). Studies in Computational Intelligence 635, 531-553 (2016).
PDFBibTeX XMLCite
Full Text: DOI

dNLS flow on discrete space curves. (English) Zbl 1382.35267

Dobashi, Yoshinori (ed.) et al., Mathematical progress in expressive image synthesis III. Selected and extended results from the symposium MEIS 2015, Fukuoka, Japan, September 25–27, 2015. Singapore: Springer (ISBN 978-981-10-1075-0/hbk; 978-981-10-1076-7/ebook). Mathematics for Industry 24, 137-149 (2016).
MSC:  35Q55 35Q51
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Similarity between the heat transfer to a model in an underexpanded dissociated-air jet of a high-frequency plasmatron and to a sphere in a high-velocity flow in the terrestrial atmosphere. (English. Russian original) Zbl 1347.76030

Fluid Dyn. 51, No. 3, 400-405 (2016); translation from Izv. Ross. Akad. Nauk, Mekh. Zhidk. Gaza 2016, No. 3, 110-116 (2016).
MSC:  76K05 76X05 76V05 80A20
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

Biographic Reference

all top 3

Software