×

Found 1,580 Documents (Results 1–100)

Reciprocity in the Langlands program since Fermat’s last theorem. (English) Zbl 1533.11106

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 2. Plenary lectures. Berlin: European Mathematical Society (EMS). 610-651 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modularity based community detection in hypergraphs. (English) Zbl 07745684

Dewar, Megan (ed.) et al., Algorithms and models for the web graph. 18th international workshop, WAW 2023, Toronto, ON, Canada, May 23–26, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13894, 52-67 (2023).
MSC:  68T05 05C65 62H30
PDFBibTeX XMLCite
Full Text: DOI

Correcting for granularity bias in modularity-based community detection methods. (English) Zbl 07745681

Dewar, Megan (ed.) et al., Algorithms and models for the web graph. 18th international workshop, WAW 2023, Toronto, ON, Canada, May 23–26, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13894, 1-18 (2023).
MSC:  68T05 05C82 68T20
PDFBibTeX XMLCite
Full Text: DOI

Variable neighborhood search approach to community detection problem. (English) Zbl 1521.90112

Georgiev, Ivan (ed.) et al., Numerical methods and applications. 10th international conference, NMA 2022, Borovets, Bulgaria, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13858, 188-199 (2023).
MSC:  90C35 90C59 91D30
PDFBibTeX XMLCite
Full Text: DOI

Solving \(S\)-unit, Mordell, Thue, Thue-Mahler and generalized Ramanujan-Nagell equations via the Shimura-Taniyama conjecture. (English) Zbl 1527.11001

Memoirs of the American Mathematical Society 1419. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6416-5/pbk; 978-1-4704-7513-0/ebook). vi, 142 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Cutting a proof into bite-sized chunks: incrementally proving termination in higher-order term rewriting (invited talk). (English) Zbl 07853707

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 1, 17 p. (2022).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Latent effects for reusable language components. (English) Zbl 1520.68021

Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 182-201 (2021).
MSC:  68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

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