|
![](/images/news.gif) |
2024 year Authors: Gorbunov K., Lyubetsky V.Algorithms for the reconstruction of genomic structures with proofs of their low polynomial complexity and high exactness.
Mathematics, Mar 11 2024, Vol. 12, No. 6, Art. 817.
DOI: 10.3390/math12060817
(WoS Q1) Go to publication |
![](/images/news.gif) |
2024 year Authors: Kanovei V., Lyubetsky V.Jensen Δ1n reals by means of ZFC and second-order Peano arithmetic.
Axioms, Jan 30 2024, Vol. 13, No. 2, Art. 96.
DOI: 10.3390/axioms13020096
(WoS Q1) Go to publication |
![](/images/news.gif) |
2024 year Authors: Kanovei V., Lyubetsky V.A good lightface Δ1n well-ordering of the reals does not imply the existence of boldface Δ1n-1 well-orderings.
Annals of Pure and Applied Logic, Jun 2024, Vol. 175, Iss. 6, Art. 103426.
DOI: 10.1016/j.apal.2024.103426
(WoS Q2) Go to publication |
![](/images/news.gif) |
2024 year Authors: Kanovei V., Lyubetsky V.Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic.
Studia Logica, Apr 24 2024.
DOI: 10.1007/s11225-024-10108-2
(WoS Q2) Go to publication |
![](/images/news.gif) |
2024 year Authors: Seliverstov A., Zverkóv O.Lower bounds for the rank of a matrix with zeros and ones outside the leading diagonal. Programming and Computer Software, 2024, vol. 50, pp. 202–207. Go to publication |
![](/images/news.gif) |
2024 year Authors: Seliverstov A.On the length of an unsatisfiable conjunction. International Conference Polynomial Computer Algebra 2024, St. Petersburg, Russia, Apr 15–20 2024, pp. 140–143.
|
![](/images/news.gif) |
2024 year Authors: Seliverstov A.On polynomial-time computable structures. Proceedings of the international conference Algebra and mathematical logic: theory and applications. June 27-July 1, 2024, Kazan (Volga Region) Federal University, Kazan, pp. 190-192 (in Russian). Go to publication |
![](/images/news.gif) |
2023 year Authors: Shilovsky G., Seliverstov A., Zverkóv O.Demographic indicators, models, and testing. Discrete and Continuous Models and Applied Computational Science. 2023. V. 31. No. 4. P. 359–374. Go to publication |
![](/images/news.gif) |
2023 year Authors: Seliverstov A.On the length of an unsatisfiable subformula. International Conference Mal"tsev meeting November 13-17, 2023. Novosibirsk, 2023, p. 132. Go to publication Download (1.8 MB) |
![](/images/news.gif) |
2023 year Authors: Rusin L.Evolution of homology: From archetype towards a holistic concept of cell type. Journal of Morphology, 284(4), e21569. DOI: 10.1002/jmor.21569, WOS: 000939793400001, Scopus: 2-s2.0-85150724886 (JCR Q1) Go to publication |
![](/images/news.gif) |
2023 year Authors: Shilovsky G., Dibrova D.Regulation of cell proliferation and Nrf2-mediated antioxidant defense: Conservation of Keap1 cysteines and Nrf2 binding site in the context of the evolution of KLHL family.
Life, Apr 19 2023, Vol. 13, No. 4, Art. 1045.
DOI: 10.3390/life13041045 Go to publication |
![](/images/news.gif) |
2023 year Authors: Skulachev V., Vyssokikh M., Chernyak B., Mulkidjanian A., Skulachev M., Shilovsky G., Lyamzaev K., Borisov V., Severin F., Sadovnichii V.Six functions of respiration: Isn’t it time to take control over ROS production in mitochondria, and aging along with it?
International Journal of Molecular Sciences, Aug 8 2023, Vol. 24, Iss. 16, Art. 12540.
DOI: 10.3390/ijms241612540
(WoS Q1) Go to publication |
![](/images/news.gif) |
2023 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., Nikitin M., Lyubetsky V., Aleoshin V.Paraphyly of Marimermithida refines primary routes of transition to parasitism in roundworms.
Zoological Journal of the Linnean Society, April 2023, Vol. 197, Iss. 4, P. 909–923.
DOI: 10.1093/zoolinnean/zlac070
(WoS Q1) Go to publication |
![](/images/news.gif) |
2023 year Authors: Cheng H., Guo Z., Zhang X., Wang X.-J., Li Z., Huo W.-W., Zhong H.-C., Li X.-J., Wu X.-W., Li W.-H., Chen Z.-W., Wu T.-C., Gan X.-F., Zhong B.-L., Lyubetsky V., Rusin L., Yang J., Zhao Q., Cao Q.-D., Yang J.-R.Lack of evolutionary convergence in multiple primary lung cancer suggests insufficient specificity of personalized therapy.
Journal of Genetics and Genomics, May 2023, Vol. 50, Iss. 5, P. 330–340.
DOI: 10.1016/j.jgg.2022.11.005
(WoS Q1) Go to publication |
![](/images/news.gif) |
2023 year Authors: Gorbunov K., Lyubetsky V.Constructing an evolutionary tree and path–cycle graph evolution along it.
Mathematics, Apr 24 2023, Vol. 11, No. 9, Art. 2024.
DOI: 10.3390/math11092024
(WoS Q1) Go to publication |
![](/images/news.gif) |
2023 year Authors: Boykov A., Seliverstov A.On a cube and subspace projections. Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp"yuternye Nauki, 2023, vol. 33, no. 3, pp. 402-415. Go to publication |
![](/images/news.gif) |
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 |
![](/images/news.gif) |
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 |
|
|
|
|