×

Found 108 Documents (Results 1–100)

Towards blackbox identity testing of log-variate circuits. (English) Zbl 1499.68390

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 54, 16 p. (2018).
MSC:  68W20 68Q06
PDFBibTeX XMLCite
Full Text: DOI

Solution of ill-posed nonconvex optimization problems with accuracy proportional to the error in input data. (English. Russian original) Zbl 1412.90124

Comput. Math. Math. Phys. 58, No. 11, 1748-1760 (2018); translation from Zh. Vychisl. Mat. Mat. Fiz. 58, No. 11, 1815-1828 (2018).
MSC:  90C26 90C48 65K05
PDFBibTeX XMLCite
Full Text: DOI

Categorical combinatorics for non deterministic strategies on simple games. (English) Zbl 1505.91111

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 39-70 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference