×

Found 2,384 Documents (Results 201–300)

Incentive compatible active learning. (English) Zbl 07650415

Vidick, Thomas (ed.), 11th innovations in theoretical computer science conference, ITCS 2020, Seattle, Washington, USA, January 12–14, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 151, Article 67, 20 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Linear-time recognition of double-threshold graphs. (English) Zbl 07636213

Adler, Isolde (ed.) et al., Graph-theoretic concepts in computer science. 46th international workshop, WG 2020, Leeds, UK, June 24–26, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12301, 286-297 (2020).
MSC:  68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Session subtyping and multiparty compatibility using circular sequents. (English) Zbl 07559468

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 12, 22 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

On the enumeration of minimal non-pairwise compatibility graphs. (English) Zbl 07336119

Kim, Donghyun (ed.) et al., Computing and combinatorics. 26th international conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12273, 372-383 (2020).
MSC:  68Rxx
PDFBibTeX XMLCite
Full Text: DOI

Surface of discontinuity in anisotropic reduced Cosserat continuum: uniqueness theorem for dynamic problems with discontinuities. (English. Russian original) Zbl 1461.74002

Mech. Solids 55, No. 7, 1051-1056 (2020); translation from Prikl. Mat. Mekh. 84, No. 1, 77-84 (2020).
MSC:  74A35 74H25 35Q74
PDFBibTeX XMLCite
Full Text: DOI

Negation on the neo-Australian plan. (English) Zbl 1505.03061

Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 131-145 (2020).
MSC:  03B47 03B42
PDFBibTeX XMLCite

Generalized solutions of the Galilean invariant thermodynamically compatible conservation laws constructed using Godunov’s ideas. (English. Russian original) Zbl 1451.80016

Comput. Math. Math. Phys. 60, No. 4, 558-567 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 4, 567-577 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Computing polynomial solutions and annihilators of integro-differential operators with polynomial coefficients. (English) Zbl 07244750

Quadrat, Alban (ed.) et al., Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4–6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7–11, 2014. Cham: Springer. Adv. Delays Dyn. 9, 87-114 (2020).
MSC:  47G20
PDFBibTeX XMLCite
Full Text: DOI Link

A class of well-posed parabolic final value problems. (English) Zbl 1451.35078

Boggiatto, Paolo (ed.) et al., Advances in microlocal and time-frequency analysis. Contributions of the conference on microlocal and time-frequency analysis 2018, MLTFA18, in honor of Prof. Luigi Rodino on the occasion of his 70th birthday, Torino, Italy, July 2–6, 2018. Cham: Birkhäuser. Appl. Numer. Harmon. Anal., 259-280 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Compatibility fans realizing graphical nested complexes. (English. French summary) Zbl 1443.05184

Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4–8, 2016. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Math. Theor. Comput. Sci., Proc., 827-838 (2020).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

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