×

Found 951 Documents (Results 1–100)

Resource transition systems and full abstraction for linear higher-order effectful programs. (English) Zbl 07700628

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 23, 19 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Positive solutions of superlinear elliptic problems with discontinuous non-linearities. (English. Russian original) Zbl 1466.35181

Izv. Math. 85, No. 2, 262-278 (2021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 2, 95-112 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Distribution-free testing of linear functions on \(\mathbb{R}^n\). (English) Zbl 07650370

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 22, 19 p. (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Co-rotational formulations for 3D flexible multibody systems: a nodal-based approach. (English) Zbl 1501.70002

Altenbach, Holm (ed.) et al., Contributions to advanced dynamics and continuum mechanics. Dedicated to the 65th birthday of Prof. Alexander K. Belyaev. Cham: Springer. Adv. Struct. Mater. 114, 243-263 (2019).
MSC:  70E55
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic checking against non-signaling strategies from linearity testing. (English) Zbl 1499.68116

Blum, Avrim (ed.), 10th innovations in theoretical computer science conference, ITCS 2019, January 10–12, 2019, San Diego, CA, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 124, Article 25, 17 p. (2019).
MSC:  68Q10 68Q87 68W20
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

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