Search Results

ISCEV guidelines for calibration and verification of stimuli and recording instruments (2023 update)

• Authors : McCulloch, Daphne Lynne; Bach, Michael; Brigell, Mitchell G.

• Source: Documenta ophthalmologica. - 146, 3 (2023) , 199-210, ISSN: 1573-2622

Record details

Stratified commutativity in verification algorithms for concurrent programs

• Authors : Farzan, Azadeh; Klumpp, Dominik; Podelski, Andreas

• Source: Proceedings of the ACM on programming languages. - 7, POPL (2023) , 1426-1453, ISSN: 2475-1421

Record details

Requests for verification across varieties of Spanish

• Authors : Satti, Ignacio

• Source: Contrastive pragmatics. - 5, 1-2 (2023) , 122-154, ISSN: 2666-0393

Record details

Verification witnesses

• Authors : Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel

• Source: ACM transactions on software engineering and methodology. - 31, 4 (2022) , 1-69, ISSN: 1049-331X

Record details

Validation and verification of predictive salivary biomarkers for oral health

• Authors : Bostanci, Nagihan; Mitsakakis, Konstantinos; Afacan, Beral

• Source: Scientific reports. - 11, 1 (2021) , 6406, ISSN: 2045-2322

Record details

Incremental column-wise verification of arithmetic circuits using computer algebra

• Authors : Kaufmann, Daniela; Biere, Armin; Kauers, Manuel

• Source: Formal methods in system design. - 56, 1-3 (2020) , 22-54, ISSN: 1572-8102

Record details

CopomuS - ranking compensatory mutations to guide RNA-RNA interaction verification experiments

• Authors : Raden, Martin; Gutmann, Fabio; Uhl, Michael

• Source: International journal of molecular sciences. - 21, 11 (2020) , 3852, ISSN: 1422-0067

Record details

Dosimetric impact of interfractional variations for post-prostatectomy radiotherapy to the prostatic fossa - relevance for the frequency of position verification imaging and treatment adaptation

• Authors : Splinter, Mona; Bostel, Tilman; Sachpazidis, Ilias

Subjects: Prostatakrebs

• Source: Frontiers in oncology. - 9 (2019) , 1191, ISSN: 2234-943X

Record details

Verification of behavior-based control systems in their physical environment

• Authors : Ropertz, Thorsten; Berns, Karsten; Li, Xian ...

Record details

Connecting a C++ based structural verification tool to the web : a new bridge between C++ and the web

• Authors : Schmitt, Carsten; Jäschke, Christoph; Wolkober, Claudia ...

Record details