Zobrazeno 1 - 10
of 60
pro vyhledávání: '"O. Shilova"'
Autor:
Valentina S. Rubets, Ksenia O. Shilova, Anastasia A. Lappo, Vitaly A. Puhalsky, Irina N. Voronchikhina, Viktor V. Voronchikhin
Publikováno v:
Mezhdunarodnyi sel'skokhozyaistvennyi zhurnal. :282-286
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb980f7e4bf811e8c853faab4966fbab
https://doi.org/10.55186/25876740_2022_65_3_282
https://doi.org/10.55186/25876740_2022_65_3_282
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030713737
Is there a need to popularize Formal Methods in Software Engineering? Maybe industrial demand in Formal Methods is the best way to explain their utility and importance? – We try to argue educational and emotional role of popularization for a better
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5bd7a191b0c97dc7c1d5d2808a0a1062
https://doi.org/10.1007/978-3-030-71374-4_4
https://doi.org/10.1007/978-3-030-71374-4_4
Publikováno v:
Electrochimica Acta. 410:139999
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::70e3ba20162ffa67917cefc840f5ee4d
https://doi.org/10.1016/j.electacta.2022.139999
https://doi.org/10.1016/j.electacta.2022.139999
Autor:
V Arhipov, N.N. Shabanova, N Belova, A Vergun, Daria Aleksyutina, A Baranskaya, S. A. Ogorodov, Anna Novikova, O Shilova, O Kokin
Publikováno v:
Materials of XXVII International Coastal Conference "Arctic shores: shore-up to sustainability".
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c7744ef60ff4a9c541dc346219c80b9
https://doi.org/10.31519/conferencearticle_5cebbb8964c945.71462156
https://doi.org/10.31519/conferencearticle_5cebbb8964c945.71462156
Publikováno v:
Programming and Computer Software. 42:239-256
A survey is presented of the so-called program schemata technique for proving the decidability of propositional program logics. This method is based on the reduction to versions of the problem of relative totality for nondeterministic Yanov schemata.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fea7d53a3432e7c4ef3ba2ffa74a2c4b
https://doi.org/10.1134/s036176881604006x
https://doi.org/10.1134/s036176881604006x
Publikováno v:
Alternative Energy and Ecology (ISJAEE). :60-68
The results of measurement and the comparative analysis of the density of radon flux (RF), the volume activity of radon in soil pore space and permeability of soils (the Czech Republic) are shown in this article. It is shown that the measured values
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46dc76d16a49885488afdd52c4fac36e
https://doi.org/10.15518/isjaee.2015.23.008
https://doi.org/10.15518/isjaee.2015.23.008
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.
Autor:
Nikolay V. Shilov, S. O. Shilova
Publikováno v:
ACM SIGACT News. 35:102-108
We present a tutorial for undergraduate students who are interested in different programming contests like National Programming Olympiads or regional ACM International Collegiate Programming Contests (ACM ICPC). It is based on a problem discussed by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c6564debfdade78ee827efb13a5a93f
https://doi.org/10.1145/1027914.1027917
https://doi.org/10.1145/1027914.1027917