|
|
 |
2025 year Authors: Khaziev G., Seliverstov A., Lyubetsky V.Structure-aware sequence alignment. Algebra, Number Theory, Discrete Geometry and Multiscale Modeling: modern problems and applications, applications and problems of history. XXIV International Conference dedicated to the 110th anniversary of the birth of Academician Yu.V. Linnik and the 110th anniversary of the birth of Professor A.B. Shidlovsky and the 80th anniversary of the birth of Professor G.I. Arkhipov. Tula, May 14–17, 2025. Tula: TSPU, 2025. P. 156–159.
Go to publication |
|
2025 year Authors: Zhang X., Li Z., Chen J., Yang W., He X., Wu P., Chen F., Zhou Z., Ren Ch., Shan Y., Wen X., Lyubetsky V., Rusin L., Chen X., Yang J.-R.Stereotyped subclones revealed by high-density single-cell lineage tracing support robust development.
Advanced Science, 2025, 2406208.
DOI: 10.1002/advs.202406208
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.Notes on iterative summation of alternating factorials.
Mathematics, 2025, Vol. 13, No. 12, Article 1942.
DOI 10.3390/math13121942.
(WoS Q1, ÁÑ1)
Go to publication Download (228.7 KB) |
|
2025 year Authors: Semenov A., Babenko M., Belov A., Vereschagin N., Vishnikin M., Zolin E., Krupsky V., Kuznetsov S., Lyubetsky V., Onoprienko A., Pentus M., Soprunov S., Sorokin A., Shehtman V., Yavorskaya T.Chair of mathematical logic and theory of algorithms.
Moscow University Mathematics Bulletin, Feb 2025, Vol. 80, No. 1, P. 23–33.
DOI: 10.3103/S0027132225700196
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.On the significance of parameters and the projective level in the Choice and Collection axioms.
Annals of Pure and Applied logic, 2025, under review.
(Scimago Q1, ÁÑ 2)
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility.
Mathematics, 2025, Vol. 13, No 3, Article 409.
DOI 10.3390/math13030409
(WoS Q1, ÁÑ1)
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.On the uniform projection problem in descriptive set theory.
Axioms, 2025, Vol. 14, No. 1, Art. 13.
DOI: 10.3390/axioms14010013
(WoS Q2, ÁÑ2)
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.Independence of the Comprehension Schema in Second-Order
Arithmetic from the Parameter-Free Countable Choice.
Mathematical Notes, 2025, vol. 117, no. 2, pp. 275-286.
DOI: 10.1134/S0001434625010250
(WoS Q3, Scimago SJR Q2, ÁÑ2)
Go to publication |
|
2025 year Authors: Kanovei V., Lyubetsky V.Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic.
Studia Logica, 2025, 113, pp. 109--124.
DOI: 10.1007/s11225-024-10108-2
(WoS Q2, Scimago Q1, ÁÑ2)
Go to publication |
|
2024 year Authors: Seliverstov A.The length of an unsatisfiable subformula. Algebra and Logic, 2024, Vol. 63, No. 1, pp. 65-72.
DOI 10.1007/s10469-024-09771-0
Go to publication |
|
2024 year Authors: Zverkóv O., Seliverstov A., Shilovsky G.Alignment of a hidden palindrome.
Math. Biol. Bioinf,
2024, vol. 19, no. 2, pp. 427-438.
DOI: 10.17537/2024.19.427
Go to publication |
|
2024 year Authors: Seliverstov A.On semirecursive sets. International Conference Mal"tsev Meeting, November 11–15, 2024, Collection of Abstracts. Novosibirsk, 2024. P. 68.
Go to publication Download (51.1 KB) |
|
2024 year Authors: Gorbunov K., Lyubetsky V.An exact quadratic algorithm for the shortest tree transformation.
Doklady Mathematics, Oct 29 2024, Vol. 110, Iss. 2, P. 373–378.
DOI: 10.1134/S1064562424702259
Go to publication |
|
2024 year Authors: Shilovsky G., Sorokina E., Lyubetskaya E., Ferubko E.New methods of induction of antioxidant defense based on exercise mimetics in the elderly.
Clinical Gerontology, 2024, Vol. 30, No. 3-4, P. 52–56, (in Russian).
DOI: 10.26347/1607-2499202403-04052-056
Go to publication |
|
2024 year Authors: Shilovsky G.p62: Intersection of antioxidant defense and autophagy pathways.
Molecular Biology, Oct 2024, Vol. 58, No. 5, P. 822–835.
DOI: 10.1134/S0026893324700390
Go to publication |
|
2024 year Authors: Seliverstov A., Zverkóv O.On systems of several equations modulo three.
XIV Belarusian Mathematical Conference dedicated to the 65th anniversary of the Institute of Mathematics
Minsk, October 28 – November 1, 2024. Minsk, 2024. Part 3. P. 152-154.
Go to publication Download (83.3 KB) |
|
2024 year Authors: Malaschonok G., Seliverstov A.MathPartner: An Artificial Intelligence Cloud Service. In: Arai K. (eds) Intelligent Systems and Applications. IntelliSys 2024, Lecture Notes in Networks and Systems, Springer, Cham, 2024, Vol. 1068, P. 182–194.
Go to publication |
|
2024 year Authors: Shilovsky G., Sorokina E., Akhaev D.Anti-aging medicine: Mitochondria-targeted antioxidants and physical activity.
Biology Bulletin Reviews, Aug 2024, Vol. 14, No. 4, P. 426–433.
DOI: 10.1134/S2079086424600188
Go to publication |
|
|
|
|
|
