×

Found 801 Documents (Results 1–100)

Multiplicity results for mass constrained Allen-Cahn equations on Riemannian manifolds with boundary. arXiv:2401.17847

Preprint, arXiv:2401.17847 [math.AP] (2024).
MSC:  35A15 49Q20 58J32
BibTeX Cite
Full Text: arXiv

Intuitive modelling and formal analysis of collective behaviour in foraging ants. (English) Zbl 07810883

Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 44-61 (2023).
MSC:  92C42
PDFBibTeX XMLCite
Full Text: DOI

AAA-least squares rational approximation and solution of Laplace problems. (English) Zbl 1526.41003

Hujdurović, Ademir (ed.) et al., European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20–26, 2021. Berlin: European Mathematical Society (EMS). 511-534 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Breaking down the parallel performance of GROMACS, a high-performance molecular dynamics software. (English) Zbl 07731587

Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 14th international conference, PPAM 2022, Gdansk, Poland, September 11–14, 2022. Revised selected papers. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13826, 333-345 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

PFL: a probabilistic logic for fault trees. (English) Zbl 07728844

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 199-221 (2023).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Analytical Study of a generalised Dirichlet-Neumann operator and application to three-dimensional water waves on Beltrami flows. arXiv:2307.01702

Preprint, arXiv:2307.01702 [math.AP] (2023).
MSC:  76B15 76B45 47G30
BibTeX Cite
Full Text: arXiv

Block constrained pressure residual preconditioning for two-phase flow in porous media by mixed hybrid finite elements. arXiv:2303.13415

Preprint, arXiv:2303.13415 [math.NA] (2023).
MSC:  65F08 65M22 65N08
BibTeX Cite
Full Text: arXiv

Fine spectral analysis of preconditioned matrices and matrix-sequences arising from stage-parallel implicit Runge-Kutta methods of arbitrarily high order. arXiv:2302.04657

Preprint, arXiv:2302.04657 [math.NA] (2023).
BibTeX Cite
Full Text: arXiv

A first-order logic characterisation of safety and co-safety languages. (English) Zbl 07793032

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 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. 13242, 244-263 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Molecular robots with chirality on grids. (English) Zbl 07722891

Erlebach, Thomas (ed.) et al., Algorithmics of wireless networks. 18th international symposium on algorithmics of wireless networks, ALGOSENSORS 2022, Potsdam, Germany, September 8–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13707, 45-59 (2022).
MSC:  68M18 68T40
PDFBibTeX XMLCite
Full Text: DOI

Process algebras and flocks of birds. (English) Zbl 1524.68214

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 512-523 (2022).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Evolving quantum circuits to implement stochastic and deterministic cellular automata rules. (English) Zbl 1520.68079

Chopard, Bastien (ed.) et al., Cellular automata. 15th international conference on cellular automata for research and industry, ACRI 2022, Geneva, Switzerland, September 12–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13402, 119-129 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Can dynamic functional connectivity be used to distinguish between resting-state and motor imagery in EEG-BCIs? (English) Zbl 1507.92010

Benito, Rosa Maria (ed.) et al., Complex networks & their applications X. Volume 2. Proceedings of the 10th international conference, COMPLEX NETWORKS 2021, Madrid, Spain, November 30 – December 2, 2021. Cham: Springer. Stud. Comput. Intell. 1016, 688-699 (2022).
MSC:  92B20 92C55
PDFBibTeX XMLCite
Full Text: DOI

Studies in theoretical and applied statistics. SIS 2021. Selected papers based on the presentations at the 50th scientific meeting of the Italian Statistical Society, virtual, June 21–25, 2021. (English) Zbl 07607997

Springer Proceedings in Mathematics & Statistics 406. Cham: Springer (ISBN 978-3-031-16608-2/hbk; 978-3-031-16611-2/pbk; 978-3-031-16609-9/ebook). ix, 546 p., C1 (2022).
MSC:  62-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

A fast and simple partially oblivious PRF, with applications. (English) Zbl 1496.94067

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 674-705 (2022).
MSC:  94A60 94A62
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

all top 3

Software