×

Found 257 Documents (Results 1–100)

100
MathJax

Identification of piecewise constant filtration parameters and boundaries of their constancy domains. (English. Russian original) Zbl 1377.93059

Autom. Remote Control 78, No. 8, 1404-1416 (2017); translation from Avtom. Telemekh. 2017, No. 8, 60-75 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Functions out of higher truncations. (English) Zbl 1373.03011

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 359-373 (2015).
MSC:  03B15 03G30 55U40 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv

The general universal property of the propositional truncation. (English) Zbl 1434.03150

Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 39, 111-145 (2015).
MSC:  03G30 03B38 18C50
PDF BibTeX XML Cite
Full Text: DOI arXiv

GNSS and other applications of general relativity. (English) Zbl 1348.83002

Rovelli, Carlo (ed.), General relativity: the most beautiful of theories. Applications and trends after 100 years. Berlin: De Gruyter (ISBN 978-3-11-034042-6/hbk; 978-3-11-034330-4/ebook). De Gruyter Studies in Mathematical Physics 28, 165-188 (2015).
MSC:  83-02
PDF BibTeX XML Cite

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software