Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Svetlana Selivanova"'
Autor:
Svetlana Selivanova, Victor Selivanov
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 4 (2017)
We discuss possibilities of application of Numerical Analysis methods to proving computability, in the sense of the TTE approach, of solution operators of boundary-value problems for systems of PDEs. We prove computability of the solution operator fo
Externí odkaz:
https://doaj.org/article/4d72aaa884f64d5f861afeb43f8d9393
Autor:
Leonard Ventsyulis, Aleksander Pimenov, Aleksander Chusov, Svetlana Selivanova, Vitaly Terleev
Publikováno v:
The Eurasian Scientific Journal. 14
The article examines the state of the waste management system in St. Petersburg over the past 25 years. It is shown that over 25 years, the environmental damage to the waste management system in St. Petersburg has increased 2.22 times, which indicate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6074f7660ea798eae81be8d3ddbe453
https://doi.org/10.15862/38nzvn622
https://doi.org/10.15862/38nzvn622
Publikováno v:
Journal of Complexity. 76:101727
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bcdf3f92b893e9d1a74ded7e47fee5d3
https://doi.org/10.1016/j.jco.2022.101727
https://doi.org/10.1016/j.jco.2022.101727
Publikováno v:
Computability. 10:123-140
We establish upper bounds of bit complexity of computing solution operators for symmetric hyperbolic systems of PDEs. Here we continue the research started in in our revious publications where computability, in the rigorous sense of computable analys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af81b6c90872d6cce16c10f993e58872
https://doi.org/10.3233/com-180215
https://doi.org/10.3233/com-180215
Autor:
Svetlana Selivanova
Publikováno v:
Общество: социология, психология, педагогика. :76-79
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0f8125a1ab544ba289f1b714da4a694
https://doi.org/10.24158/spp.2021.5.12
https://doi.org/10.24158/spp.2021.5.12
Autor:
Svetlana Selivanova
Publikováno v:
Общество: социология, психология, педагогика. :55-58
The paper examines the phenomenon of profes-sional identity as a tool for intensifying labor capital. Professional identity implies the orientation of an individual to the constant development of profes-sional qualities, which over time provides the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::084757c14bd83c2d7c5af71a1dce765b
https://doi.org/10.24158/spp.2020.9.9
https://doi.org/10.24158/spp.2020.9.9
Autor:
Svetlana Selivanova
Publikováno v:
Revolutions and Revelations in Computability ISBN: 9783031087394
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::419e2fccde59d62eb5f88048556561f7
https://doi.org/10.1007/978-3-031-08740-0_25
https://doi.org/10.1007/978-3-031-08740-0_25
Publikováno v:
Computer Algebra in Scientific Computing ISBN: 9783030851644
CASC
CASC
We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals and apply them to several problems of algebra and analysis. In particular, we find a primitive recursive analogue of Ershov-Ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e7531c55724aa5e8fc59c90859d0786
https://doi.org/10.1007/978-3-030-85165-1_20
https://doi.org/10.1007/978-3-030-85165-1_20
Publikováno v:
Computer Algebra in Scientific Computing ISBN: 9783030851644
CASC
CASC
We devise and analyze the bit-cost of solvers for linear evolutionary systems of Partial Differential Equations (PDEs) with given analytic initial conditions. Our algorithms are rigorous in that they produce approximations to the solution up to guara
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca8f23f9f2008279ce8c378c069912f6
https://doi.org/10.1007/978-3-030-85165-1_21
https://doi.org/10.1007/978-3-030-85165-1_21
Publikováno v:
Computer Science – Theory and Applications ISBN: 9783030794156
CSR
CSR
Finite Elements are a common method for solving differential equations via discretization. Under suitable hypotheses, the solution \(\mathbf {u}=\mathbf {u}(t,\vec x)\) of a well-posed initial/boundary-value problem for a linear evolutionary system o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9804bc96fcfa898ea8b9178e4e81f85c
https://doi.org/10.1007/978-3-030-79416-3_13
https://doi.org/10.1007/978-3-030-79416-3_13