×

Found 188 Documents (Results 1–100)

A comprehensive software verification technology for onboard control systems of spacecraft. (English. Russian original) Zbl 07811374

Autom. Remote Control 84, No. 10, 1047-1054 (2023); translation from Avtom. Telemekh. 2023, No. 10, 48-58 (2023).
MSC:  68Nxx
PDFBibTeX XMLCite
Full Text: DOI

Unrolled three-operator splitting for parameter-map learning in Low Dose X-ray CT reconstruction. arXiv:2304.08350

Preprint, arXiv:2304.08350 [math.OC] (2023).
BibTeX Cite
Full Text: arXiv

Possible and certain answers for queries over order-incomplete data. (English) Zbl 1515.68106

Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 4, 19 p. (2017).
MSC:  68P15 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software