Zobrazeno 1 - 10
of 1 127
pro vyhledávání: '"Matskevich, A."'
Autor:
Gordon, Colin S., Matskevich, Sergey
Publikováno v:
Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! '23)
Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However, this only validates truth of a formal claim, which may have been mis
Externí odkaz:
http://arxiv.org/abs/2310.03885
Autor:
Matskevich, Sergey, Gordon, Colin S.
Comments are an important part of the source code and are a primary source of documentation. This has driven interest in using large bodies of comments to train or evaluate tools that consume or produce them -- such as generating oracles or even code
Externí odkaz:
http://arxiv.org/abs/2208.11235
Autor:
Gordon, Colin S., Matskevich, Sergey
Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However, this only validates truth of a formal claim, which may have been mis
Externí odkaz:
http://arxiv.org/abs/2205.07811
Autor:
Matskevich, N.I., Semerikova, A.N., Trifonov, V.A., Kochelakov, D.V., Korolkov, I.V., Shlegel, V.N., Matskevich, M.Yu., Anyfrieva, O.I.
Publikováno v:
In Journal of Solid State Chemistry September 2023 325
Autor:
Matskevich, Nata I., Grigorieva, Veronika D., Semerikova, Anna N., Shlegel, Vladimir N., Matskevich, Mariya Yu., Anyfrieva, Olga I.
Publikováno v:
In Mendeleev Communications July-August 2023 33(4):522-524
Publikováno v:
In Journal of Cleaner Production 10 April 2024 449
Publikováno v:
In Journal of Solid State Chemistry December 2022 316
Autor:
Gerasyuta, S. M., Matskevich, E. E.
The relativistic six-quark equations are found in the framework of the dispersion relation technique. The strange baryonia are constructed without the mixing of the quarks and antiquarks. The relativistic six-quark amplitudes of the strange baryonia
Externí odkaz:
http://arxiv.org/abs/2001.09487
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.