×

Found 61 Documents (Results 1–61)

Lattice subgroups acting on manifolds. (English) Zbl 07823070

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 5. Sections 9–11. Berlin: European Mathematical Society (EMS). 3388-3411 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Statistical analysis of KMM program – an educational intervention. (English) Zbl 1504.90004

Kulkarni, Anand J. (ed.), Multiple criteria decision making. Techniques, analysis and applications. Singapore: Springer. Stud. Syst. Decis. Control 407, 223-242 (2022).
MSC:  90-10 91C05 91D15
PDFBibTeX XMLCite
Full Text: DOI

Tight time-space lower bounds for finding multiple collision pairs and their applications. (English) Zbl 1479.94156

Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2020. 39th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, May 10–14, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12105, 405-434 (2020).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Entropy, Lyapunov exponents, and rigidity of group actions. Based on the workshop for young researchers: groups acting on manifolds, Teresópolis, Brazil, June 2016. Edited by Michele Triestino. With appendices by Dominique Malicet, Davi Obata, Bruno Santiago, Michele Triestino, Sébastien Alvarez and Mario Roldán. (English) Zbl 1435.22015

Ensaios Matemáticos 33. Rio de Janeiro: Sociedade Brasileira de Matemática (SBM) (ISBN 978-85-8337-159-5/pbk). 197 p., open access (2019).
PDFBibTeX XMLCite
Full Text: Link

Non-uniform measure rigidity for \(\mathbb{Z}^k\) actions of symplectic type. (English) Zbl 1388.37032

Katok, Anatole (ed.) et al., Modern theory of dynamical systems. A tribute to Dmitry Victorovich Anosov. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2560-9/pbk; 978-1-4704-4119-7/ebook). Contemporary Mathematics 692, 195-208 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems. (English) Zbl 1437.68116

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 234-251 (2013).
MSC:  68Q60 03B44 68M14
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tying up the loose ends in simple, multiple, joint correspondence analysis. (English) Zbl 1437.62022

Rizzi, Alfredo (ed.) et al., COMPSTAT. Proceedings in computational statistics. 17th symposium held in Rome, Italy, August 28 – September 1, 2006. With CD-Rom. Heidelberg: Physica-Verlag. 163-185 (2006).
MSC:  62-08 62H25 62P25
PDFBibTeX XMLCite
Full Text: DOI

Mathematical modeling of the temperature fields during solidification of metal in molds of complicated profile. (English. Russian original) Zbl 0922.73006

J. Math. Sci., New York 88, No. 3, 374-379 (1998); translation from Mat. Metody Fiz.-Mekh. Polya 40 No. 1, 59-65 (1997).
MSC:  74A15 74S30 80A22 80A20
PDFBibTeX XMLCite

Dynamic timing decisions under uncertainty. Essays on invention, innovation and exploration in resource economics. (English) Zbl 0807.90041

Lecture Notes in Economics and Mathematical Systems. 406. Berlin: Springer-Verlag. 194 p. (1994).
Reviewer: T.Cipra (Praha)
PDFBibTeX XMLCite

The entity relationship approach to logical database design. The entity relationship approach to logical program design. (Der Entity-Relationship-Ansatz zum logischen Systementwurf. Datenbank- und Programmentwurf.) (German) Zbl 0757.68033

Mannheim etc.: BI-Wissenschaftsverlag. 201 p. (1991).
Reviewer: J.Pokorny (Praha)
MSC:  68P05 68-01
PDFBibTeX XMLCite

Künstliche Intelligenz. Theoretische Grundlagen und Anwendungsfelder. (Artificial intelligence. Theoretical foundations and fields of applications). (Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16. März 1986). (German) Zbl 0663.68007

Informatik-Fachberichte, 159. Berlin etc.: Springer-Verlag. 339 p.; DM 47.50 (1988).
Reviewer: E.Melis
MSC:  68-06 68T99 68-01
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software