Zobrazeno 1 - 10
of 35
pro vyhledávání: '"Vitali SH"'
Autor:
Vitali Shekov, Gennady Kolesnikov
Publikováno v:
Materials, Vol 16, Iss 13, p 4875 (2023)
This paper discusses modeling the behavior and prediction of fracture of brittle materials. Numerous publications show that progress in this area is characterized by the emergence of a number of new models that meet the requirements of the mining ind
Externí odkaz:
https://doaj.org/article/fbd6c74de0bc453d93632f1f8c53b350
Publikováno v:
ACM SIGAda Ada Letters. :71-76
This paper presents the main results obtained by the research group of the Computer Science Department of Moscow State University in developing methods and tools for validating compiler diagnostics.Methods of diagnostic test design based on partially
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0fbcb196c7c0ddd256679f8d1ef0a5e
https://doi.org/10.1145/163105.163112
https://doi.org/10.1145/163105.163112
Autor:
Gennady Kolesnikov, Vitali Shekov
Publikováno v:
Materials, Vol 15, Iss 22, p 7907 (2022)
This article deals with the problem of predicting the brittle fracture of rocks and similar materials, which can also include frozen sandy soils. Such materials, due to the diversity of their conditions of origin, are characterized by natural heterog
Externí odkaz:
https://doaj.org/article/2edac9d57f494fe4932bd8b427f30df7
Autor:
Sergei I. Rybin, Vitali Sh. Kaufman
Publikováno v:
TRI-Ada
Three-semester course of programming languages for third-year students of Computational Mathematics and Cybernetics Department of Moscow State University is described. Ada and Ada9X are used in the course for demonstration of conceptions and principl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58ac7276390d36fbe16b9eea302f863c
https://doi.org/10.1145/197694.197720
https://doi.org/10.1145/197694.197720
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:
Rybin, Sergei, Kaufman, Vitali Sh.
Publikováno v:
Proceedings of the Conference: TRI-Ada '94; 11/ 6/1994, p194-202, 9p
Autor:
Sergei Badulin, Andrey Kostianoy, Pavel Shabanov, Vitali Sharmar, Vika Grigorieva, Sergey Lebedev
Publikováno v:
Remote Sensing, Vol 13, Iss 4, p 658 (2021)
For decades, satellite altimetry is providing reliable data on the sea level, surface currents, tides, planetary and wind waves and sea ice. We propose a potential enhancement of collecting special data subsets for a better temporal and spatial sampl
Externí odkaz:
https://doaj.org/article/c6c1983af1d849bbaafdf844b1108cfb
Autor:
Vitali Sh. Kaufman
Publikováno v:
Methods of Algorithmic Language Implementation ISBN: 9783540080657
Methods of Algorithmic Language Implementation
Methods of Algorithmic Language Implementation
A version of a more precise definition of the macro generation notion is suggested, and Metamacr language formed on its base for the description of programming languages macro extensions is discussed.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5393049b1981dee937b33cf06a06d740
https://doi.org/10.1007/3-540-08065-1_20
https://doi.org/10.1007/3-540-08065-1_20
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:
Michal Gropp, Vitali Shilo, Gilad Vainer, Miri Gov, Yaniv Gil, Hanita Khaner, Limor Matzrafi, Maria Idelson, Juri Kopolovic, Naomi B Zak, Benjamin E Reubinoff
Publikováno v:
PLoS ONE, Vol 7, Iss 9, p e45532 (2012)
Teratoma tumor formation is an essential criterion in determining the pluripotency of human pluripotent stem cells. However, currently there is no consistent protocol for assessment of teratoma forming ability. Here we present detailed characterizati
Externí odkaz:
https://doaj.org/article/eb264c649af849c4bb4e1a1763cc385c