×

Found 1,243 Documents (Results 1–100)

A dependent dependency calculus. (English) Zbl 1528.68078

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 403-430 (2022).
MSC:  68N30 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Time series adjustment enhancement of hierarchical modeling of Arabidopsis thaliana gene interactions. (English) Zbl 1500.92054

Martín-Vide, Carlos (ed.) et al., Algorithms for computational biology. 7th international conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12099, 143-154 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Unifying graded and parameterised monads. (English) Zbl 1511.68056

New, Max S. (ed.) et al., Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 317, 18-38 (2020).
MSC:  68N18 18C15 68N30
PDFBibTeX XMLCite
Full Text: arXiv Link

Publicly evaluatable perceptual hashing. (English) Zbl 07314402

Conti, Mauro (ed.) et al., Applied cryptography and network security. 18th international conference, ACNS 2020, Rome, Italy, October 19–22, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12147, 436-455 (2020).
MSC:  68M25 94A60
PDFBibTeX XMLCite
Full Text: DOI

Low-dimensional shape analysis in the space of diffeomorphisms. (English) Zbl 1453.92181

Pennec, Xavier (ed.) et al., Riemannian geometric statistics in medical image analysis. Amsterdam: Elsevier/Academic Press. Elsevier Miccai Soc. Book Ser., 557-576 (2020).
MSC:  92C55 62P10 57R50
PDFBibTeX XMLCite
Full Text: DOI

Olivier Pironneau career paper. (English) Zbl 1416.35004

Chetverushkin, B. N. (ed.) et al., Contributions to partial differential equations and applications. Invited papers of the conferences ‘Contributions to partial differential equations’, Université Pierre et Marie Curie, Paris, France, August 31 – September 1, 2015 and ‘Applied and computational mathematics’, University of Houston, Texas, USA, February 26–27, 2016. Cham: Springer. Comput. Methods Appl. Sci. 47, 11-15 (2019).
MSC:  35-03 01A70
PDFBibTeX XMLCite
Full Text: DOI

Career of Prof. Yuri Kuznetsov. (English) Zbl 1416.35003

Chetverushkin, B. N. (ed.) et al., Contributions to partial differential equations and applications. Invited papers of the conferences ‘Contributions to partial differential equations’, Université Pierre et Marie Curie, Paris, France, August 31 – September 1, 2015 and ‘Applied and computational mathematics’, University of Houston, Texas, USA, February 26–27, 2016. Cham: Springer. Comput. Methods Appl. Sci. 47, 7-10 (2019).
MSC:  35-03 01A70
PDFBibTeX XMLCite
Full Text: DOI

Contributions to partial differential equations and applications. Invited papers of the conferences ‘Contributions to partial differential equations’, Université Pierre et Marie Curie, Paris, France, August 31 – September 1, 2015 and ‘Applied and computational mathematics’, University of Houston, Texas, USA, February 26–27, 2016. (English) Zbl 1411.35011

Computational Methods in Applied Sciences 47. Cham: Springer (ISBN 978-3-319-78324-6/hbk; 978-3-319-78325-3/ebook). xi, 452 p. (2019).
MSC:  35-06 65-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

Indicative conditionals and dynamic epistemic logic. (English) Zbl 1484.03026

Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 337-351 (2017).
MSC:  03B42
PDFBibTeX XMLCite
Full Text: arXiv Link

Homomorphic secret sharing from Paillier encryption. (English) Zbl 1439.94082

Okamoto, Tatsuaki (ed.) et al., Provable security. 11th international conference, ProvSec 2017, Xi’an, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10005, 381-399 (2017).
MSC:  94A62
PDFBibTeX XMLCite
Full Text: DOI

Estimations of area, radius and curvature for \(H\)-surfaces in 3-dimensional Riemannian manifolds. Paper from the 31st Brazilian mathematics colloquium – 31\(^{\text o}\) Colóquio Brasileiro de Matemática, IMPA, Rio de Janeiro, Brazil, July 30 – August 5, 2017. (Estimativas de área, raio e curvatura para \(H\)-superfícies em variedades Riemannianas de dimensão três.) (Portuguese) Zbl 1478.53004

Publicações Matemáticas do IMPA. Rio de Janeiro: Instituto Nacional de Matemática Pura e Aplicada (IMPA) (ISBN 978-85-244-0434-4). 104 p., open access (2017).
PDFBibTeX XMLCite
Full Text: Link

A monotonicity calculus and its completeness. (English) Zbl 1376.03030

Kanazawa, Makoto (ed.) et al., The 15th meeting on the mathematics of language. Proceedings of the meeting, MoL 15, London, UK, July 13–14, 2017. Stroudsburg, PA: Association for Computational Linguistics (ISBN 978-1-945626-72-2). 75-87 (2017).
MSC:  03B65 91F20
PDFBibTeX XMLCite
Full Text: Link

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

all top 3

Software