Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Vaitkus, A."'
Publikováno v:
Journal of Applied Crystallography. 55:515-525
An application of formal verification (using the proof assistant Isabelle/HOL) for ensuring the correctness of scientific data processing software in the crystallographic domain is presented. The proposed process consists of writing a pseudocode that
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Applied Crystallography
Journal of applied crystallography, Chester : International Union of Crystallography, 2021, vol. 54, Pt 2, p. 661-672
Journal of applied crystallography, Chester : International Union of Crystallography, 2021, vol. 54, Pt 2, p. 661-672
Data curation practices of the Crystallography Open Database are described with greater focus being placed on the cif_validate program, capable of validating crystallographic information files against both DDL1 and DDLm dictionaries.
Data curati
Data curati
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Andrius Merkys, Justas Butkus, Mykolas Okulič-Kazarinas, Saulius Gražulis, Antanas Vaitkus, Visvaldas Kairys
Publikováno v:
Journal of Applied Crystallography, Hoboken : Wiley-Blackwell Publishing Ltd, 2016, Vol. 49, Part 1, p. 292-301
Journal of Applied Crystallography
Journal of Applied Crystallography
A syntax-correcting CIF parser, COD::CIF::Parser, is described that can parse CIF 1.1 files and accurately report the position and nature of the discovered syntactic problems while automatically correcting the most common and the most obvious syntact
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.