×

Found 26 Documents (Results 1–26)

Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs. (English) Zbl 1497.68128

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). 889-898 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Correction of weighted orthology and paralogy relations – complexity and algorithmic results. (English) Zbl 1383.92054

Frith, Martin (ed.) et al., Algorithms in bioinformatics. 16th international workshop, WABI 2016, Aarhus, Denmark, August 22–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43680-7/pbk; 978-3-319-43681-4/ebook). Lecture Notes in Computer Science 9838. Lecture Notes in Bioinformatics, 121-136 (2016).
PDFBibTeX XMLCite
Full Text: DOI Link

PreLie-decorated hypertrees. (English) Zbl 1294.05094

Proceedings of the 25th international conference on formal power series and algebraic combinatorics, FPSAC 2013, Paris, France, June 24–28, 2013. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 445-456, electronic only (2013).
PDFBibTeX XMLCite
Full Text: Link

Hopf bifurcation in competing species models with linear and quadratic fitnesses. (English) Zbl 0863.92019

Ladde, G. S. (ed.) et al., Dynamic systems and applications. Vol. 2. Proceedings of the 2nd international conference, Morehouse College, Atlanta, GA, USA, May 24–27, 1995. Atlanta, GA: Dynamic Publishers. 535-542 (1996).
MSC:  92D40 92D25 34C23
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software