×

Found 1,206 Documents (Results 1–100)

Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory. (English) Zbl 1439.03108

Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 79-172 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

The fine structure of the stationary distribution for a simple Markov process. (English) Zbl 1415.60086

Budzban, Gregory (ed.) et al., Probability on algebraic and geometric structures. International research conference in honor of Philip Feinsilver, Salah-Eldin A. Mohammed, and Arunava Mukherjea, Southern Illinois University, Carbondale, IL, USA, June 5–7, 2014. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 668, 1-12 (2016).
MSC:  60J05 28A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Estimation of the uniform norm of one-dimensional Riesz potential of the partial derivative of a function with bounded Laplacian. (English. Russian original) Zbl 1499.42045

Ukr. Math. J. 68, No. 7, 987-999 (2016); translation from Ukr. Mat. Zh. 68, No. 7, 867-878 (2016).
PDFBibTeX XMLCite
Full Text: DOI

The tangled derivative logic of the real line and zero-dimensional spaces. (English) Zbl 1400.03042

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 342-361 (2016).
MSC:  03B45 54F45
PDFBibTeX XMLCite

Effective Brenier theorem: applications to computable analysis and algorithmic randomness. (English) Zbl 1401.03085

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 720-729 (2016).
MSC:  03D78 03D32
PDFBibTeX XMLCite
Full Text: DOI

Characterization and lower bounds for branching program size using projective dimension. (English) Zbl 1391.68040

Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 37, 14 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Constant-distortion embeddings of Hausdorff metrics into constant-dimensional \(\ell_p\) spaces. (English) Zbl 1398.68610

Jansen, Klaus (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. Proceedings of the 19th international workshop on approximation algorithms for combinatorial optimization problems, APPROX 2016, and the 20th international workshop on randomization and computation, RANDOM 2016, Paris, France, September 7–9, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-018-7). LIPIcs – Leibniz International Proceedings in Informatics 60, Article 1, 15 p. (2016).
MSC:  68U05 46B85
PDFBibTeX XMLCite
Full Text: DOI

Singularity and fine fractal properties of one class of infinite Bernoulli convolutions with essential overlapping. II. (English. Ukrainian original) Zbl 1390.60148

Ukr. Math. J. 67, No. 12, 1884-1899 (2016); translation from Ukr. Mat. Zh. 67, No. 12, 1667-1678 (2015).
PDFBibTeX XMLCite
Full Text: DOI

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