Zobrazeno 1 - 10
of 116
pro vyhledávání: '"Vlasov Dmitry"'
Autor:
Nianikova Galina, Bryukhanov Andrey, Vlasov Dmitry, Mayorova Margarita, Nurmagomedov Magomed, Akhaev Dmitry, Tsarovtseva Inga
Publikováno v:
E3S Web of Conferences, Vol 215, p 04001 (2020)
The composition of microbial communities in coastal zones in the area of Kislogubskaya tidal power plant (the Barents Sea) and near Saint Petersburg Flood Prevention Facility Complex in the Gulf of Finland (Baltic Sea) was studied. The enrichment and
Externí odkaz:
https://doaj.org/article/7cdee77da6f74d75a43a64c3fa7af12c
Autor:
Zappi, Alessandro, Popovicheva, Olga, Tositti, Laura, Chichaeva, Marina, Eremina, Irina, Kasper-Giebl, Anne, Tsai, Ying I., Vlasov, Dmitry, Kasimov, Nikolay
Publikováno v:
In Atmospheric Environment 1 February 2023 294
Publikováno v:
In Polar Science June 2022 32
Autor:
Vlasov, Dmitry
Russell is a logical framework for the specification and implementation of deductive systems. It is a high-level language with respect to Metamath language, so inherently it uses a Metamath foundations, i.e. it doesn't rely on any particular formal c
Externí odkaz:
http://arxiv.org/abs/1710.06187
Autor:
Vlasov, Dmitry
By a pure logical framework we mean a framework which does not rely on any particular formal calculus. For example, Metamath is an instance of a pure logical framework. Another example is the Russell system (https://github.com/dmitry-vlasov/russell).
Externí odkaz:
http://arxiv.org/abs/1710.06181
Publikováno v:
In Transportation Research Procedia 2022 61:462-466
Publikováno v:
In Science of the Total Environment 20 March 2021 761
Publikováno v:
In Atmospheric Pollution Research January 2021 12(1):255-271
Publikováno v:
In Mendeleev Communications September-October 2020 30(5):639-641
Publikováno v:
In Urban Climate June 2020 32