×

Found 684 Documents (Results 1–100)

Proving soundness of extensional normal-form bisimilarities. (English) Zbl 1525.68023

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 41-56 (2018).
MSC:  68N30 03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI

Pseudo multinomial vectors and their properties. (English) Zbl 07395989

International conference in mathematics and applications, ICMA-MU 2018. Book on the conference proceedings, Bangkok, Thailand, December 16–18, 2018. Bangkok: Mahidol University, Centre of Excellence in Mathematics (CEM). 15-24 (2018).
MSC:  47Axx 46Axx 15Axx
PDFBibTeX XMLCite

Recovering sparse graphs. (English) Zbl 1512.68152

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 29, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Maximum rooted connected expansion. (English) Zbl 1512.68238

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 25, 14 p. (2018).
MSC:  68R10 68W25
PDFBibTeX XMLCite
Full Text: DOI arXiv

First-order interpretations of bounded expansion classes. (English) Zbl 1499.68202

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 126, 14 p. (2018).
MSC:  68Q60 03B70 05C75
PDFBibTeX XMLCite
Full Text: DOI

Semi-random graphs with planted sparse vertex cuts: algorithms for exact and approximate recovery. (English) Zbl 1499.68285

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 101, 15 p. (2018).
MSC:  68R10 68W25 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Stationary distribution analysis of a queueing model with local choice. (English) Zbl 1482.90066

Fill, James Allen (ed.) et al., 29th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, AofA 2018, June 25–29, 2018, Uppsala, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 110, Article 22, 18 p. (2018).
MSC:  90B22 60K25
PDFBibTeX XMLCite
Full Text: DOI

Optimality of geometric local search. (English) Zbl 1489.68360

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 48, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Stokes flow through a tube with wavy wall. (English) Zbl 1445.76037

Awrejcewicz, Jan (ed.), Dynamical systems in theoretical perspective. Łódź, Poland, December 11–14, 2017. Based on the 14th international conference on dynamical systems: theory and applications (DSTA). Cham: Springer. Springer Proc. Math. Stat. 248, 379-390 (2018).
MSC:  76D07 76M45
PDFBibTeX XMLCite
Full Text: DOI

Mathematics of Joseon dynasty – about the tianyuanshu. (English) Zbl 1436.01008

Ogawa, Tsukane (ed.) et al., Mathematics of Takebe Katahiro and history of mathematics in East Asia. Proceedings of the international conference on traditional mathematics in East Asia and related topics, Tokyo, Japan, August 25–30, 2014. Tokyo: Mathematical Society of Japan. Adv. Stud. Pure Math. 79, 157-174 (2018).
MSC:  01A25 12-03 12E12
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software