×

Found 762 Documents (Results 1–100)

Essential simplices in persistent homology and subtle admixture detection. (English) Zbl 1494.92095

Parida, Laxmi (ed.) et al., 18th international workshop on algorithms in bioinformatics, WABI 2018, Helsinki, Finland, August 20–22, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 113, Article 14, 10 p. (2018).
MSC:  92D25 55N31 92-08
PDFBibTeX XMLCite
Full Text: DOI

Protein classification with improved topological data analysis. (English) Zbl 1494.92084

Parida, Laxmi (ed.) et al., 18th international workshop on algorithms in bioinformatics, WABI 2018, Helsinki, Finland, August 20–22, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 113, Article 6, 13 p. (2018).
MSC:  92D20 55N31 92-08
PDFBibTeX XMLCite
Full Text: DOI

Quantitative foundations for resource theories. (English) Zbl 1528.18008

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 32, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

High-level signatures and initial semantics. (English) Zbl 07533329

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 4, 22 p. (2018).
MSC:  68-XX 18C15
PDFBibTeX XMLCite
Full Text: DOI

Relating structure and power: comonadic semantics for computational resources. (English) Zbl 1509.03098

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 2, 17 p. (2018).
MSC:  03C13 18C15 18C50
PDFBibTeX XMLCite
Full Text: DOI

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics. (English) Zbl 1527.68041

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 239-260 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Cartesian integral categories and contextual integral categories. (English) Zbl 07517277

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 45-72 (2018).
MSC:  18C15
PDFBibTeX XMLCite
Full Text: DOI

Near distributive laws. (English) Zbl 1527.68135

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 277-295 (2018).
MSC:  68Q65 18C15
PDFBibTeX XMLCite
Full Text: DOI

Iterated covariant powerset is not a monad. (English) Zbl 1528.18007

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 261-276 (2018).
MSC:  18C15 18A99
PDFBibTeX XMLCite
Full Text: DOI

Relating idioms, arrows and monads from monoidal adjunctions. (English) Zbl 1525.68044

Atkey, Robert (ed.) et al., Proceedings of the 7th workshop on mathematically structured functional programming, MSFP 2018, Oxford, UK, July 8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 275, 18-33 (2018).
PDFBibTeX XMLCite
Full Text: arXiv Link

Strong collapse for persistence. (English) Zbl 1524.68390

Azar, Yossi (ed.) et al., 26th annual European symposium on algorithms, ESA 2018, August 20–22, 2018, Helsinki, Finland. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 112, Article 67, 13 p. (2018).
MSC:  68U03 55N31
PDFBibTeX XMLCite
Full Text: DOI arXiv

A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves. (English) Zbl 1520.68054

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 25, 18 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

A semantics for hybrid iteration. (English) Zbl 1520.68028

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 22, 17 p. (2018).
MSC:  68N30 18C15 18C50
PDFBibTeX XMLCite
Full Text: DOI arXiv

Up-to techniques for behavioural metrics via fibrations. (English) Zbl 1520.68089

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 17, 17 p. (2018).
MSC:  68Q85 18C15
PDFBibTeX XMLCite
Full Text: DOI arXiv

A homological theory of functions: nonuniform Boolean complexity separation and VC dimension bound via algebraic topology, and a homological Farkas lemma. (English) Zbl 1462.68063

Karlin, Anna R. (ed.), 9th innovations in theoretical computer science conference, ITCS 2018, Cambridge, MA, USA, January 11–14, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 94, Article 56, 16 p. (2018).
MSC:  68Q15 13F55 55N10
PDFBibTeX XMLCite
Full Text: DOI

An algebraic theory of Markov processes. (English) Zbl 1453.08002

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 679-688 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Cellular cohomology in homotopy type theory. (English) Zbl 1452.55016

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 521-529 (2018).
MSC:  55U35 03B38 55N20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Introduction to a provisional mathematical definition of Coulomb branches of 3-dimensional \(\mathcal{N}=4\) gauge theories. (English) Zbl 1471.22020

Muñoz, Vicente (ed.) et al., Modern geometry. A celebration of the work of Simon Donaldson. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Pure Math. 99, 193-211 (2018).
MSC:  22E70 14D21 55N91
PDFBibTeX XMLCite
Full Text: DOI arXiv

Homology cobordism and triangulations. (English) Zbl 1447.57035

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1175-1191 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Spatial refinements and Khovanov homology. (English) Zbl 1447.57016

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1153-1173 (2018).
MSC:  57K18 55P42 57-02
PDFBibTeX XMLCite
Full Text: DOI arXiv

Knot contact homology and open Gromov-Witten theory. (English) Zbl 1467.53093

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1063-1086 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Hodge theory and cycle theory of locally symmetric spaces. (English) Zbl 1443.11090

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 831-857 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Pairs of invariants of surface singularities. (English) Zbl 1441.14014

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 749-779 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Algebraic surfaces with minimal Betti numbers. (English) Zbl 1441.14131

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 699-718 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Knots, three-manifolds and instantons. (English) Zbl 1447.57034

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume I. Plenary lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 607-634 (2018).
MSC:  57R58 57K31
PDFBibTeX XMLCite
Full Text: DOI

Homological algebra and data. (English) Zbl 1448.68007

Mahoney, Michael W. (ed.) et al., The mathematics of data. Lecture notes from the 26th IAS/Park City Mathematics Institute (PCMI) Summer School, Park City, UT, USA, July 2016. Providence, RI: American Mathematical Society (AMS); Princeton, NJ: Institute for Advanced Study (IAS); Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). IAS/Park City Math. Ser. 25, 273-325 (2018).
PDFBibTeX XMLCite

Effective computation of generalized spectral sequences. (English) Zbl 1467.55011

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 183-190 (2018).
MSC:  55T05 68W30
PDFBibTeX XMLCite
Full Text: DOI

Discrete stratified Morse theory: a user’s guide. (English) Zbl 1494.57044

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 54, 14 p. (2018).
MSC:  57Q70 55N31 68U03
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computational topology and the unique games conjecture. (English) Zbl 1489.68332

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 43, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Smallest enclosing spheres and Chernoff points in Bregman geometry. (English) Zbl 1489.68354

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 35, 13 p. (2018).
MSC:  68U05 55N31
PDFBibTeX XMLCite
Full Text: DOI

The multi-cover persistence of Euclidean balls. (English) Zbl 1493.55003

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 34, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Computing bottleneck distance for 2-D interval decomposable modules. (English) Zbl 1492.55005

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 32, 15 p. (2018).
MSC:  55N31
PDFBibTeX XMLCite
Full Text: DOI arXiv

Graph reconstruction by discrete Morse theory. (English) Zbl 1494.55009

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 31, 15 p. (2018).
MSC:  55N31 68R10 68U03
PDFBibTeX XMLCite
Full Text: DOI arXiv

The density of expected persistence diagrams and its kernel based estimation. (English) Zbl 1473.55002

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 26, 15 p. (2018).
MSC:  55N31 68U05
PDFBibTeX XMLCite
Full Text: DOI

Realizations of indecomposable persistence modules of arbitrarily large dimension. (English) Zbl 1493.55002

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 15, 13 p. (2018).
MSC:  55N31
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sheaf-theoretic stratification learning. (English) Zbl 1495.55002

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 14, 14 p. (2018).
MSC:  55N30 55N31
PDFBibTeX XMLCite
Full Text: DOI

Computational complexity of the interleaving distance. (English) Zbl 1489.68103

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 13, 15 p. (2018).
MSC:  68Q25 55N31 68Q17
PDFBibTeX XMLCite
Full Text: DOI arXiv

Vietoris-Rips and Čech complexes of metric gluings. (English) Zbl 1489.68330

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 3, 15 p. (2018).
MSC:  68U03 55N31
PDFBibTeX XMLCite
Full Text: DOI

Controlled algebra for simplicial rings and algebraic \(K\)-theory. (English) Zbl 1430.19005

Kropholler, Peter H. (ed.) et al., Geometric and cohomological group theory. Proceedings of the London Mathematical Society Durham symposium, Durham, UK, August 12–22, 2013. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 444, 182-266 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A guide for computing stable homotopy groups. (English) Zbl 1426.55014

Ayala, David (ed.) et al., Topology and quantum theory in interaction. NSF-CBMS regional conference in the mathematical sciences: topological and geometric methods in QFT, Montana State University, Bozeman, MT, USA, July 31 – August 4, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 718, 89-136 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tropical geometry of matroids. (English) Zbl 1423.14004

Jerison, David (ed.) et al., Current developments in mathematics 2016. Papers based on selected lectures given at the current development mathematics conference, Harvard University, Cambridge, MA, USA, November 2016. Somerville, MA: International Press. 1-46 (2018).
MSC:  14-02 05-02 14T05 05B35 14F99
PDFBibTeX XMLCite
Full Text: DOI

Stable Betti numbers of (partial) toroidal compactifications of the moduli space of abelian varieties. With an appendix by Mathieu Dutour Sikirić. (English) Zbl 1427.14092

Andersen, Jørgen Ellegaard (ed.) et al., Geometry and physics. A festschrift in honour of Nigel Hitchin. Volume 2. Oxford: Oxford University Press. 581-609 (2018).
MSC:  14K10 52B40
PDFBibTeX XMLCite
Full Text: arXiv

Three lectures on algebraic microlocal analysis. (English) Zbl 1409.14035

Hitrik, Michael (ed.) et al., Algebraic and analytic microlocal analysis. AAMA, Evanston, Illinois, USA, May 14–26, 2012 and May 20–24, 2013. Contributions of the workshops. Cham: Springer. Springer Proc. Math. Stat. 269, 63-97 (2018).
MSC:  14F05 14-02 14-03 01A60 01A61 35A27 53D37
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference

all top 3

Software