×

Found 916 Documents (Results 1–100)

100
MathJax

Parameterized complexity of categorical clustering with size constraints. (English) Zbl 07498691

Lubiw, Anna (ed.) et al., Algorithms and data structures. 17th international symposium, WADS 2021, virtual event, August 9–11, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12808, 385-398 (2021).
MSC:  68P05 68Wxx
PDF BibTeX XML Cite
Full Text: DOI

Modern quantification theory. Joint graphical display, biplots, and alternatives. (English) Zbl 07359794

Behaviormetrics: Quantitative Approaches to Human Behavior 8. Singapore: Springer (ISBN 978-981-16-2469-8/hbk; 978-981-16-2472-8/pbk; 978-981-16-2470-4/ebook). xvii, 231 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Probability and statistical inference. 3rd edition. (English) Zbl 1456.62003

Wiley Series in Probability and Statistics. Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-24380-9/hbk; 978-1-119-24383-0/ebook). xvi, 576 p. (2021).
MSC:  62-01 60-01 62-04
PDF BibTeX XML Cite
Full Text: DOI

Semantics for first-order affine inductive data types via slice categories. (English) Zbl 1480.68011

Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 180-200 (2020).
MSC:  68Q65 18C50 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

On well-founded and recursive coalgebras. (English) Zbl 1455.18001

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
MSC:  18A15 18C50 68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Persistence diagrams as diagrams: a categorification of the stability theorem. (English) Zbl 1453.55004

Baas, Nils (ed.) et al., Topological data analysis. Proceedings of the Abel symposium 2018, Geiranger, Norway, June 4–8, 2018. Cham: Springer. Abel Symp. 15, 67-96 (2020).
MSC:  55N31
PDF BibTeX XML Cite
Full Text: DOI arXiv

Unsupervised feature extraction applied to bioinformatics. A PCA based and TD based approach. (English) Zbl 1455.62004

Unsupervised and Semi-Supervised Learning. Cham: Springer (ISBN 978-3-030-22455-4/hbk; 978-3-030-22456-1/ebook). xviii, 321 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Categorical range reporting with frequencies. (English) Zbl 07561469

Barcelo, Pablo (ed.) et al., 22nd international conference on database theory, ICDT 2019, March 26–28, 2019, Lisbon, Portugal. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 127, Article 9, 19 p. (2019).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI

Term charters. (English) Zbl 1444.68085

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 119-138 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Institutions for SQL database schemas and datasets. (English) Zbl 1444.68068

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 67-86 (2019).
MSC:  68P15 18C50 68Q65
PDF BibTeX XML Cite
Full Text: DOI

The \(\ell^\infty\)-cophenetic metric for phylogenetic trees as an interleaving distance. (English) Zbl 1422.92099

Gasparovic, Ellen (ed.) et al., Research in data science. Based on the first women in data science and mathematics (WiSDM) research collaboration workshop, Institute for Computational and Experimental Research in Mathematics (ICERM), Providence, RI, USA, July 17–21, 2017. Cham: Springer. Assoc. Women Math. Ser. 17, 109-127 (2019).
MSC:  92D15 55N35 18D99
PDF BibTeX XML Cite
Full Text: DOI arXiv

Heterogeneous substitution systems revisited. (English) Zbl 1433.68220

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Quotients in monadic programming: projective algebras are equivalent to coalgebras. (English) Zbl 1458.68123

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 50, 12 p. (2017).
MSC:  68Q65 18C15 68N30
PDF BibTeX XML Cite
Full Text: arXiv Link

Building and integrating semantic theories over institutions. (English) Zbl 1439.68015

Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer. Springer Proc. Math. Stat. 219, 363-374 (2017).
MSC:  68Q65 03C95 18C50
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software