×

Found 305 Documents (Results 1–100)

Gromov-Hausdorff distances, Borsuk-Ulam theorems, and Vietoris-Rips complexes. arXiv:2301.00246

Preprint, arXiv:2301.00246 [math.MG] (2022).
BibTeX Cite
Full Text: arXiv

A hybrid neuro-symbolic approach for complex event processing (extended abstract). (English) Zbl 07455709

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 90-92 (2020).
MSC:  68N17
PDFBibTeX XMLCite

Sparse CCA via precision adjusted iterative thresholding. (English) Zbl 1432.62161

Ji, Lizhen (ed.) et al., Proceedings of the seventh international congress of Chinese mathematicians, ICCM 2016, Beijing, China, August 2016. Volume II. Somerville, MA: International Press; Beijing: Higher Education Press. Adv. Lect. Math. (ALM) 44, 481-534 (2019).
PDFBibTeX XMLCite
Full Text: arXiv

Single-player and two-player buttons & scissors games (extended abstract). (English) Zbl 1482.68106

Akiyama, Jin (ed.) et al., Discrete and computational geometry and graphs. 18th Japan conference, JCDCGG 2015, Kyoto, Japan, September 14–16, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9943, 60-72 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A distributed-memory algorithm for connected components labeling of simulation data. (English) Zbl 1312.65028

Bennett, Janine (ed.) et al., Topological and statistical methods for complex data. Tackling large-scale, high-dimensional, and multivariate data spaces. Selected papers based on the presentations at the workshop on the analysis of large-scale, high-dimensional, and multivariate data using topology and statistics, Le Barp, France, June 12–14, 2013. Berlin: Springer (ISBN 978-3-662-44899-1/hbk; 978-3-662-44900-4/ebook). Mathematics and Visualization, 3-19 (2015).
MSC:  65D19 65Y05
PDFBibTeX XMLCite
Full Text: DOI

Frenetic: a network programming language. (English) Zbl 1323.68114

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 279-291 (2011).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

Robin Milner 1934–2010. Verification, languages, and concurrency. (English) Zbl 1284.68185

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 473-474 (2011).
MSC:  68N30 01A70
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