|
|
 |
2023 year Authors: Seliverstov A.On binary solutions to a system of several linear equations modulo three. Algebra, Number Theory, Discrete Geometry and Multiscale Modeling: modern problems and applications, applications and problems of history. XXII International Conference dedicated to the 120th anniversary of the birth of Academician A. N. Kolmogorov and 60th anniversary of the opening of boarding school ¹18 at Moscow University. Tula, TSPU of Leo Tolstoy, 2023, pp. 242–244.
Go to publication |
|
2023 year Authors: Zverkóv O., Seliverstov A.Effective lover bounds on the matrix rank and their applications.
Programming and Computer Software, 2023, vol. 49, no. 5, pp. 441–447.
DOI: 10.1134/S0361768823020160
Go to publication |
|
2023 year Authors: Lyubetsky V., Rubanov L., Tereshina M., Ivanova A., Araslanova K., Uroshlev L., Goremykina G., Yang J., Kanovei V., Zverkóv O., Shitikov A., Korotkova D., Zaraisky A.Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations.
Biology Direct, 2023, Vol. 18, Art. 45.
DOI: 10.1186/s13062-023-00405-6
(WoS Q1, ÁÑ2)
Go to publication |
|
2023 year Authors: Kanovei V., Lyubetsky V.A model in which well-orderings of the reals first appear at a given projective level, part III, the case of second-order PA.
Mathematics, 2023, 11(15), Article no. 3294.
DOI: 10.3390/math11153294
(WoS Q1, ÁÑ1)
Go to publication |
|
2023 year Authors: Seliverstov A.Generalization of the subset sum problem and cubic forms.
Computational Mathematics and Mathematical Physics, 2023, vol. 63, no. 1, pp. 48-56.
DOI: 10.1134/S0965542523010116
Go to publication |
|
2023 year Authors: Seliverstov A.On a simple lower bound for the matrix rank.
In: S.A. Abramov, A.B. Batkhin, L.A. Sevastyanov (eds.)
Computer algebra: 5th International Conference Materials, Moscow, Russia, June 26-28 2023, Moscow: KIAM, 2023, P. 126-128.
ISBN: 978-5-98354-067-5
|
|
2023 year Authors: Seliverstov A.Dimensionality reduction to solve problems on the arrangement of a subspace and cube vertices.
All-Russian Scientific and Practical Conference SCIENTIST, TEACHER, MENTOR dedicated to the 85th anniversary of the birth of Professor A. R. Esayan, Tula, 2023, pp. 66-69.
Go to publication |
|
2023 year Authors: Seliverstov A.Notes on obstacles to dimensionality reduction.
International Conference Polynomial Computer Algebra "2023, Apr 17, St. Petersburg, Russia, 2023, pp. 104-107.
Go to publication |
|
2023 year Authors: Kanovei V., Lyubetsky V.A model in which well-orderings of the reals first appear at a given projective level, part II.
Mathematics, 2023, 11(11), Article no. 2517.
DOI: 10.3390/math11112517
(WoS Q1, ÁÑ1)
Go to publication |
|
2023 year Authors: Kanovei V., Lyubetsky V.On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic.
Mathematics, 2023, 11 (3), Article no. 726.
DOI: 10.3390/math11030726
(WoS Q1, ÁÑ1)
Go to publication |
|
2023 year Authors: Kanovei V., Lyubetsky V.On Russell typicality in Set Theory.
Proceedings of the American Mathematical Society, 2023, 151, no 5, pp. 2201–2210.
DOI: 10.1090/proc/16232
(WoS Q2, ÁÑ2)
Go to publication |
|
2022 year Authors: Kanovei V., Lyubetsky V.On the significance of parameters in the choice and collection schemata in the 2nd order Peano arithmetic.
Preprints, Dec 26 2022, Art. 2022120255.
DOI: 10.20944/preprints202212.0255.v2
Go to publication |
|
2022 year Authors: Kanovei V., Lyubetsky V.The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic.
Eprint, arXiv:2209.07599 [math.LO], Sep 15 2022.
DOI: 10.48550/arXiv.2209.07599
Go to publication |
|
2022 year Authors: Kanovei V., Lyubetsky V.A model in which the Separation principle holds for a given effective projective Sigma-class.
Eprint, arXiv:2204.03915 [math.LO], Apr 8 2022.
DOI: 10.48550/arXiv.2204.03915
Go to publication |
|
2022 year Authors: Tchesunov A., Nikolaeva O., Rusin L., Sanamyan N., Panina E., Miljutin D., Gorelysheva D., Pegova A., Khromova M., Mardashova M., Mikhailov K., Yushin V., Petrov N., Lyubetsky V., Nikitin M., Aleshin S.Demise of Marimermithida refines primary routes of transition to parasitism in roundworms.
bioRxiv, 2022.02.15.480519, Feb 19 2022.
DOI: 10.1101/2022.02.15.480519
Go to publication |
|
2022 year Authors: Shilovsky G., Sorokina E., Putyatina T.Assessment of the human metabolome as a method for molecular diagnostics of colorectal cancer: Prevention and therapy.
Biology Bulletin Reviews, Aug 2022, Vol. 12, P. 422–427.
DOI: 10.1134/S2079086422040089
Go to publication |
|
2022 year Authors: Shilovsky G., Putyatina T., Markov A.Evolution of longevity as a species-specific trait in mammals.
Biochemistry (Moscow), 2022, Vol. 87, Iss. 12-13, P. 1579–1599.
DOI: 10.1134/S0006297922120148
|
|
2022 year Authors: Shilovsky G., Ashapkin V.Transcription factor Nrf2 and mitochondria – friends or foes in the regulation of aging rate.
Biochemistry (Moscow), 2022, Vol. 87, Iss. 12-13, P. 1477–1486.
DOI: 10.1134/S0006297922120057
Go to publication |
|
2022 year Authors: Seliverstov A.On binary solutions to a system of linear equations over a computable field. International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 78.
|
|
2022 year Authors: Latkin I.V., Seliverstov A.International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 72.
|
|
2022 year Authors: Latkin I.V., Seliverstov A.International Scientific Conference on Mathematical Logic and Computer Science, Eurasian National University, Kazakhstan, Astana, October 7-8, 2022, pp. 36-40.
Go to publication |
|
2022 year Authors: Adlaj S.F., Malaschonok G.I., Malyshev K.Yu., Seliverstov A., Uskov F.G.On algorithms for calculating complete elliptic integrals.
Representation theory, dynamical systems, combinatorial methods. Part XXXIV, Zap. Nauchn. Sem. POMI, 517, POMI, St. Petersburg, 2022, 5-16.
Go to publication |
|
2022 year Authors: Latkin I.V., Seliverstov A.On computations over ordered rings.
Siberian Electronic Mathematical Reports, 2022, vol. 19, no. 2, pp. 1054–1076 (in Russian).
Go to publication |
|
2022 year Authors: Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V.Evolution of protein regulators of circadian rhythm in mammals.
Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2022), The Thirteenth International Multiconference Abstracts, Novosibirsk, Russia, 4-8 July 2022, Novosibirsk: ICG SB RAS, 2022, P. 173.
Go to publication |
|
2022 year Authors: Seliverstov A.Generic-case complexity of the multiple subset sum problem.
International Conference Polynomial Computer Algebra "2022, May 2-7, St. Petersburg, Russia, 2022, pp. 96-99.
Go to publication |
|
2022 year Authors: Kanovei V., Lyubetsky V.On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic.
Preprints,
2022, no 2022120255.
DOI: 10.20944/preprints202212.0255.v2
Go to publication |
|
2022 year Authors: Kanovei V.On sets that hereditarily belong to countable OD sets.
European Set Theory Conference 2022.
Department of Mathematics of the University of Turin and the European Set Theory Society,
August 29 - September 2, 2022, Turin, Italy.
Go to publication |
|
2022 year Authors: Kanovei V., Lyubetsky V.The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022.
Go to publication |
|
2022 year Authors: Kanovei V., Lyubetsky V.A model in which wellorderings of the reals appear at a given projective level.
Axioms, 2022, 11(8), Article no 354.
DOI: 10.3390/axioms11080354
(WoS Q2)
Go to publication |
|
2022 year Authors: Kanovei V., Lyubetsky V.A model in which the Separation principle holds for a given effective projective Sigma-class.
arXiv: 2204.03915 [math.LO], April 2022.
Go to publication |
|
2022 year Authors: Kanovei V., Lyubetsky V.On the ‘definability of definable’ problem of Alfred Tarski, Part II.
Transactions of the American Mathematical Society,
2022, Vol. 375, No. 12, P. 8651–8686.
DOI: 10.1090/tran/8710
(WoS Q2)
Go to publication |
|
2022 year Authors: Kanovei V., Lyubetsky V.A model in which the separation principle holds for a given effective projective Sigma-class.
Axioms, 2022, 11, Issue 3, Paper no. 122.
DOI 10.3390/axioms11030122
(WoS Q2)
Go to publication |
|
2022 year Authors: Shilovsky G.Lability of the Nrf2/Keap/ARE cell defense system in different models of cell aging and age-related pathologies.
Biochemistry (Moscow), 2022, Vol. 87, Iss. 1, P. 70–85.
DOI: 10.1134/S0006297922010060
Go to publication |
|
2022 year Authors: Kanovei V., Lyubetsky V.A generic model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe.
Mathematics, 2022, 10, Issue 3, Paper no. 491, DOI 10.3390/math10030491
(WoS Q1)
Go to publication |
|
2021 year Authors: Gorbunov K., Lyubetsky V.Reconstruction of evolution of genome structures with paralogs.
The proceedings of International congress «Biotechnology: state of the art and perspectives»,
Moscow, Russia, October 26–29 2021, Iss. 19, P. 208–209.
DOI: 10.37747/2312-640X-2021-19-207-209
Go to publication |
|
2021 year Authors: Malaschonok G.I., Seliverstov A.New features in MathPartner 2021. Computer Tools in Education, 2021, No. 3, P. 29–40.
Go to publication |
|
2021 year Authors: Kanovei V.On the ‘Definability of definable’ problem of Alfred Tarski.
Logic Colloquium 2021.
European Summer Meeting of the Association for Symbolic Logic.
Book of abstracts.
S.Chlebowski, D.Ratajczyk, P.Lupkowski (eds.)
Adam Mickiewicz University, Poznan, Poland, 19-24 July 2021.
Page 195.
Download (2.5 MB) |
|
2021 year Authors: Shilovsky G., Putyatina T., Markov A.Altruism and phenoptosis as programs supported by evolution.
Biochemistry (Moscow),
2021, Vol. 86, Iss. 12-13, P. 1540–1552.
DOI: 10.1134/S0006297921120038
Go to publication |
|
2021 year Authors: Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V.Complex evolution of Fbxl21 gene in mammals.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’21,
Moscow, Russia, July 30 — August 2 2021.
|
|
2021 year Authors: Seliverstov A.On some quasipolynomial-time algorithms. Computer Tools in Education. 2021, no. 2, pp. 5–12. DOI: 10.32603/2071-2340-2021-2-5-12
Go to publication Download (376.6 KB) |
|
2021 year Authors: Morgunova G., Shilovsky G., Khokhlov A.Effect of Caloric Restriction on Aging: Fixing the Problems of Nutrient Sensing in Postmitotic Cells?
Biochemistry (Moscow), Oct 2021, Vol. 86, Iss. 10, P. 1352–1367.
DOI: 10.1134/S0006297921100151
Go to publication |
|
2021 year Authors: Oleskin A., Sorokina E., Shilovsky G.Interaction of catecholamines with microorganisms, neurons, and immune cells.
Biology Bulletin Reviews, 2021, Vol. 11, No. 4, P. 358–367.
DOI: 10.1134/S2079086421040058
Go to publication |
|
2021 year Authors: Kanovei V., Lyubetsky V.On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021.
DOI: 10.48550/arXiv.2111.07654
Go to publication |
|
2021 year Authors: Kanovei V., Lyubetsky V.A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. arXiv: 2111.13491 [math.LO], November 2021.
DOI: 10.48550/arXiv.2111.13491
Go to publication |
|
2021 year Authors: Malaschonok G.I., Seliverstov A.Calculation of integrals in MathPartner. Discrete and Continuous Models and Applied Computational Science, 2021, vol. 29, no. 4, pp. 337-346.
DOI:10.22363/2658-4670-2021-29-4-337-346
Go to publication Download (537.6 KB) |
|
|
|
|
|
