Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
| english
:    Page: 1 2345 ... 1011121314
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 Russell typicality in Set Theory.
Proceedings of the American Mathematical Society, 2022, under review.
WoS Q2

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, to appear.
Early view DOI: https://doi.org/10.1090/tran/8710
WoS Q1
Go to publication Download (100.1 KB)

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
Scopus Q1
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. 7085. 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: Shilovsky G., Putyatina T., Markov A.

Altruism and phenoptosis as programs supported by evolution. Biochemistry (Moscow), 2021, Vol. 86, Iss. 12-13, P. 15401552. 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: MCCMB21, 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. 512. 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. 13521367. 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. 358367. 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.
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.
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)

2021 year
Authors: Gorbunov K., Lyubetsky V.

Multiplicatively exact algorithms for transformation and reconstruction of directed path-cycle graphs with repeated edges. Mathematics, Oct 14 2021, Vol. 9, No. 20, Art. 2576. DOI: 10.3390/math9202576 (WoS Q1)
Go to publication

2021 year
Authors: Seliverstov A.

On the absence of any (0,1)-solution to a system of equations. International Conference Mal"tsev meeting, September 20-24, 2021. Collection of Abstracts. Novosibirsk, 2021. P. 73 (in Russian).
Go to publication

2021 year
Authors: Kanovei V.

Paradoxical partitions of the reals by Robert Solovay.
International Conference "Adian 90: Conference on Mathematical Logic, Algebra and Computation" 7 July 2021, 12:4513:30, Steklov Math. Inst. (Moscow).
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.
Go to publication

2021 year
Authors: Enayat A., Kanovei V., Lyubetsky V.

On effectively indiscernible projective sets and the Leibniz-Mycielski axiom. Mathematics, 2021, Vol. 9, No. 14, Art. 1670. DOI: 10.3390/math9141670 (WoS Q1)
Go to publication

2021 year
Authors: Seliverstov A.

Binary solutions to large systems of linear equations. Prikl. Diskr. Mat. 2021, no. 52, pp. 5-15. DOI: 10.17223/20710410/52/1
Go to publication

2021 year
Authors: Seliverstov A.

A plain note on binary solutions to large systems of linear equations. In: S.A. Abramov, L.A. Sevastyanov (eds) Computer algebra: 4th International Conference Materials, Moscow, Russia, June 28-29 2021. Moscow: MAKS Press, 2021, pp. 100-103. DOI: 10.29003/m2019.978-5-317-06623-9
Go to publication Download (1.2 MB)

2021 year
Authors: Seliverstov A.

A gap between small and large systems of linear equations. The 22nd Workshop on Computer Algebra in memory of Professor Vladimir Gerdt, Dubna, Russia, 2021. P. 26.
Go to publication Download (261 KB)

2021 year
Authors: Shilovsky G., Putyatina T.S., Morgunova G.V., Seliverstov A., Ashapkin V.V., Sorokina E.V., Markov A.V., Skulachev V.P.

A crosstalk between the biorhythms and gatekeepers of longevity: dual role of glycogen synthase kinase-3. Biochemistry Moscow, 2021, vol. 86, pp. 433-448. DOI: 10.1134/S0006297921040052
Go to publication

2021 year
Authors: Seliverstov A.

Heuristic algorithms for recognition of some cubic hypersurfaces. Programming and Computer Software, 2021, vol. 47, no. 1, pp. 50-55. DOI: 10.1134/S0361768821010096
Go to publication

2021 year
Authors: Enayat A., Kanovei V.

An unpublished theorem of Solovay, on OD partitions of reals into two non-OD parts, revisited.
Journal of Mathematical Logic, 2021, vol. 21, Issue 03, Article No. 2150014
DOI: 10.1142/S0219061321500148
WoS Q1.
Go to publication

2021 year
Authors: Kanovei V., Lyubetsky V.

Models of set theory in which separation theorem fails. Izvestiya: Mathematics, 2021, Vol. 85, No 6,1181-1219. DOI: https://doi.org/10.1070/IM8937 (WoS Q2)
Go to publication

2021 year
Authors: Kanovei V., Schindler R.

Definable Hamel bases and ACω(R).
Fundamenta Mathematicae, 2021, 253, 3, p. 239-256.
DOI 10.4064/fm909-6-2020
WoS Q3
Go to publication

2021 year
Authors: Kanovei V., Lyubetsky V.

Factoring Solovay-random extensions, with application to the Reduction property. Monatshefte fur Mathematik, 2021, 194, 1, pp. 105117. DOI: 10.1007/s00605-020-01482-9 (WoS Q2)
Go to publication

2021 year
Authors: Kanovei V., Lyubetsky V.

The full basis theorem does not imply analytic wellordering, Annals of pure and applied logic, 2021, volume 172, issue 4, paper no 102929. DOI: 10.1016/j.apal.2020.102929 (WoS Q1)
Go to publication

2020 year
Authors: Enayat A., Kanovei V.

An unpublished theorem of Solovay, revisited. arXiv:2001.11058 [math.LO], January 2020.
Go to publication

2020 year
Authors: Seliverstov A.

On circular sections of a second-order surface. Computer tools in education, 2020, no. 4, pp. 59-68. DOI: 10.32603/2071-2340-2020-4-59-68
Go to publication Download (281.8 KB)

2020 year
Authors: Kanovei V., Lyubetsky V.

On the "definability of definable" problem of Alfred Tarski. Mathematics, 2020, Vol. 8, No. 12, Art. 2214.
DOI: 10.3390/math8122214 (WoS Q1)
Go to publication

2020 year
Authors: Gorbunov K., Lyubetsky V.

Linear time additively exact algorithm for transformation of chain-cycle graphs for arbitrary costs of deletions and insertions. Mathematics, Vol. 8, No. 11, Art. 2001. DOI: 10.3390/math8112001 (WoS Q1)
Go to publication

2020 year
Authors: Gorbunov K., Lyubetsky V.

Evolution of mitochondrial genomic structures in metazoans: algorithm and software. The proceedings of International forum Biotechnology: state of the art and perspectives, Moscow, Russia, October 2830 2020, Iss. 18, P. 261262. DOI: 10.37747/2312-640X-2020-18-260-262
Go to publication

2020 year
Authors: Rubanov L., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V.

Gene loss prediction based on genomic structure. The proceedings of International forum Biotechnology: state of the art and perspectives, Moscow, Russia, October 2830 2020, Iss. 18, P. 259260. DOI: 10.37747/2312-640X-2020-18-258-260
Go to publication

2020 year
Authors: Seliverstov A.

An Effectively Computable Projective Invariant Polynomial Computer Algebra "2020. St. Petersburg, 2020.
Go to publication Download (8.7 MB)

2020 year
Authors: Gorbunov K., Lyubetsky V.

An almost exact linear algorithm for transformation of chain-cycle graphs with optimization of the sum of operation costs. Doklady Mathematics, 2020, Vol. 102, No. 2, P. 376379. DOI: 10.1134/S1064562420050324
Go to publication

2020 year
Authors: Gorbunov K., Lyubetsky V.

An almost exact linear complexity algorithm of the shortest transformation of chain-cycle graphs. arXiv:2004.14351 [math.CO], Apr 29 2020.
Go to publication

2020 year
Authors: Ashapkin V., Khavinson V., Shilovsky G., Linkova N., Vanyushin B.

Gene expression in human mesenchymal stem cell aging cultures: modulation by short peptides Molecular Biology Reports, 2020, Vol. 47, Iss. 6, P. 43234329. DOI: 10.1007/s11033-020-05506-3, PMID: 32399807
Go to publication

2020 year
Authors: Skulachev V., Shilovsky G., Putyatina T., Popov N., Markov A., Skulachev M., Sadovnichii V.

Perspectives of Homo sapiens lifespan extension: focus on external or internal resources? Aging, 2020, Vol. 12, No. 6, P. 55665584. DOI: 10.18632/aging.102981, PMID: 32229707
Go to publication

2020 year
Authors: Lyubetsky V., Shilovsky G., Zverkóv O., Seliverstov A., Rubanov L.

New bioinformatics methods for identification of lost genes and protein isoforms. Homo sapiens liberatus, Proceedings of the 3rd International Conference in celebration of the 85th birthday of professor V.P. Skulachev, Moscow, Russia, February 2021 2020, Abstract Book. Moscow: Torus Press, 2020, P. 4142. DOI: 10.30826/HomoSapiens-2020-30
Go to publication

2020 year
Authors: Lyubetsky V., Shilovsky G., Seliverstov A., Zverkóv O., Rubanov L.

Evolution of proteins involved in response to ROS. Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2020), The Twelfth International Multiconference Abstracts, Novosibirsk, Russia, 610 July 2020. Novosibirsk: ICG SB RAS, 2020, P. 652653. DOI: 10.18699/BGRS/SB-2020-398
Go to publication Download (844.5 KB)

2020 year
Authors: Seliverstov A.

Fast enumeration of rational numbers and bioinformatics problems. XVIII International conference Algebra, number theory and discrete geometry modern problems, applications and problems of history dedicated to the centenary of the birth of professors B. M. Bredikhin, V. I. Nechaev and S. B. Stechkin, Tula, September 2326 2020, Tula: TSPU, 2020, pp. 196-198. eLIBRARY ID: 44367872
Go to publication Download (525.6 KB)

2020 year
Authors: Rubanov L., Zverkóv O., Shilovsky G., Seliverstov A., Lyubetsky V.

Protein-coding genes in Euarchontoglires with pseudogene homologs in humans. Life, 2020, Vol. 10, No. 9, Art. 192, 10 pp. DOI: 10.3390/life10090192, PMID: 32927891
Go to publication

2020 year
Authors: Kanovei V., Lyubetsky V.

On the Δ1n Problem of Harvey Friedman. Mathematics, 2020, Vol. 8, No. 9, Art. 1477.
DOI: 10.3390/math8091477 (WoS Q1)
Go to publication

:    Page: 1 2345 ... 1011121314
Search for publications
Year of publication
from
Author

Search phrase

Type of publication


Search in department

Date descending
Date ascending
 

 

  © Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2022
About  |  Contacts  |  The old version of this site