×

Found 152 Documents (Results 1–100)

An automatic regularization method: An application for 3D X-ray micro-CT reconstruction using sparse data. arXiv:1708.02067

Preprint, arXiv:1708.02067 [physics.med-ph] (2017).
BibTeX Cite
Full Text: arXiv

Tampere verification tool. (English) Zbl 1126.68488

Jensen, Kurt (ed.) et al., Tools and algorithms for the construction and analysis of systems. 10th international conference, TACAS 2004, held as part of the joint conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21299-X/pbk). Lecture Notes in Computer Science 2988, 153-157 (2004).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Software