Zobrazeno 1 - 10
of 361
pro vyhledávání: '"Gryzlov, A."'
Autor:
Genovese, Fabrizio, Gryzlov, Alex, Herold, Jelle, Knispel, Andre, Perone, Marco, Post, Erik, Videla, André
Publikováno v:
EPTCS 323, 2020, pp. 246-254
We introduce idris-ct, a Idris library providing verified type definitions of categorical concepts.idris-ct strives to be a bridge between academy and industry, catering both to category theorists who want to implement and try their ideas in a practi
Externí odkaz:
http://arxiv.org/abs/1912.06191
We review some of the endeavors in trying to connect Petri nets with free symmetric monoidal categories. We give a list of requirement such connections should respect if they are meant to be useful for practical/implementation purposes. We show how p
Externí odkaz:
http://arxiv.org/abs/1904.12974
Publikováno v:
Электрохимическая энергетика, Vol 22, Iss 2, Pp 100-106 (2022)
The reversible insertion of lithium into electrodes based on amorphous boron has been studied. The reversible capacity upon the lithium insertion has been found to be about 750 mA⋅h/g. The most efficient in terms of specific capacity are the electr
Externí odkaz:
https://doaj.org/article/a96ce80487604114baf92a0697a4a355
Publikováno v:
Высшее образование в России, Vol 0, Iss 6, Pp 11-18 (2022)
The paper offers a variant of implementing a competence approach within a credit-modular system of training in accordance with the Federal State Educational Standards (FSES). As an example, it presents a logical consequence of forming general cultura
Externí odkaz:
https://doaj.org/article/ee998353d9fb4c9a945b8e15d947da06
Autor:
Kulova, Tatiana, Gryzlov, Dmitri, Skundin, Alexander, Gavrilin, Ilia, Kudryashova, Yulia, Pokryshkin, Nicolai
Publikováno v:
In International Journal of Electrochemical Science December 2021 16(12)
Autor:
Gryzlov, Dmitry Yu., Kulova, Tatiana L., Nugmanova, Alsu G., Skundin, Alexander M., Kudryashova, Yulia O.
Publikováno v:
In Mendeleev Communications January-February 2024 34(1):88-89
Publikováno v:
In International Journal of Electrochemical Science November 2020 15(11):11102-11111