×

Found 40,796 Documents (Results 1–100)

Regression analysis with interval-censored covariates. Application to liquid chromatography. (English) Zbl 07857559

Sun, Jianguo (ed.) et al., Emerging topics in modeling interval-censored survival data. Cham: Springer. ICSA Book Ser. Stat., 271-294 (2022).
MSC:  62Nxx 62P10
PDFBibTeX XMLCite
Full Text: DOI

A combinatorial approach to higher-order structure for polynomial functors. (English) Zbl 07853737

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 31, 19 p. (2022).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

mwp-analysis improvement and implementation: realizing implicit computational complexity. (English) Zbl 07853732

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 26, 23 p. (2022).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Adequate and computational encodings in the logical framework dedukti. (English) Zbl 07853731

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 25, 18 p. (2022).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Type-based termination for futures. (English) Zbl 07853718

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 12, 21 p. (2022).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

An analysis of Tennenbaum’s theorem in constructive type theory. (English) Zbl 07853715

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 9, 19 p. (2022).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Combined hierarchical matching: the regular case. (English) Zbl 07853712

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 6, 22 p. (2022).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A scalable work function algorithm for the \(k\)-server problem. (English) Zbl 07853702

Czumaj, Artur (ed.) et al., 18th Scandinavian symposium and workshops on algorithm theory, SWAT 2022, Tórshavn, Faroe Islands, June 27–29, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 227, Article 30, 20 p. (2022).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software