Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Novikov, Evgeny A."'
Automatic software verification tools help to find hard-to-detect faults in programs checked against specified requirements non-interactively. Besides, they can prove program correctness formally under certain assumptions. These capabilities are vita
Externí odkaz:
http://arxiv.org/abs/2309.16427
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:
Rottman, James W., Dommermuth, Douglas G., Innis, George E., O'Shea, Thomas T., Novikov, Evgeny
This paper describes some preliminary numerical studies using large eddy simulation of full-scale submarine wakes. Submarine wakes are a combination of the wake generated by a smooth slender body and a number of superimposed vortex pairs generated by
Externí odkaz:
http://arxiv.org/abs/1410.1946
Continuous testing during development is a well-established technique for software-quality assurance. Continuous model checking from revision to revision is not yet established as a standard practice, because the enormous resource consumption makes i
Externí odkaz:
http://arxiv.org/abs/1305.6915
Autor:
Novikov, Evgeny, Tuzov, Anton
Publikováno v:
Russian Journal of Mathematical Modelling 19, 6 (2007) 61--70
In this paper we construct a third order method for solving additively split autonomous stiff systems of ordinary differential equations. The constructed additive method is L-stable with respect to the implicit part and allows to use an arbitrary app
Externí odkaz:
http://arxiv.org/abs/0902.3723
Autor:
Novikov, Evgeny, Tuzov, Anton
Publikováno v:
Siberian Journal of Numerical Mathematics 10, 3 (2007) 307-316
In this paper we construct a third order method for solving additively split autonomous stiff systems of ordinary differential equations. The constructed additive method is L-stable with respect to the implicit part and allows to use an arbitrary app
Externí odkaz:
http://arxiv.org/abs/0902.2911
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:
Novikov, Evgeny
Publikováno v:
Journal of Applied Economic Sciences (JAES). X(35):729-732
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=537120
Publikováno v:
AIP Conference Proceedings; 10/13/2022, Vol. 2503 Issue 1, p1-6, 6p
Autor:
Novikov, Evgeny A.1 enovikov@ucsd.edu
Publikováno v:
Electronic Journal of Theoretical Physics. May2016, Vol. 12 Issue 35, p79-89. 11p.