Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
| english
:    Page: 1 2345 ... 1011121314
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 (292.2 KB)

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. 186-188.
Go to publication Download (8.8 MB)

2020 year
Authors: Enayat A., Kanovei V.

An unpublished theorem of Solovay, revisited.
Journal of Mathematical Logic, 2020, online.
DOI: 10.1142/S0219061321500148
WoS Q1.
Go to publication

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

2020 year
Authors: Kanovei V., Lyubetsky V.

On the equality modulo a countable set. Mathematical notes, 2020, Vol. 108, Iss. 4, P. 615616. DOI: 10.1134/S0001434620090357
Go to publication

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

Optimal growth temperature and intergenic distances in bacteria, archaea, and plastids of rhodophytic branch. BioMed Research International, 2020, Vol. 2020, Art. 3465380, 10 pp. DOI: 10.1155/2020/3465380, PMID: 32025518
Go to publication

2020 year
Authors: Kanovei V., Lyubetsky V.

Models of set theory in which nonconstructible reals first appear at a given projective level . Mathematics, 2020, Vol. 8, No. 6, Art. 910. DOI: 10.3390/math8060910 (WoS Q1)
Go to publication

2020 year
Authors: Kanovei V., Katz M., Nowik T.

Metric completions, Heine-Borel, and approachability.
Open Mathematics, 2020, Volume 18, Issue 1, 162-166.
DOI: 10.1515/math-2020-0017
WoS Q3
Go to publication

2020 year
Authors: Seliverstov A.

Symmetric matrices whose entries are linear functions. Computational Mathematics and Mathematical Physics, 2020, Vol. 60, No. 1, pp. 102108. DOI: 10.1134/S0965542520010121

2020 year
Authors: Bair J., Blaszczyk P., Heinig P., Kanovei V., Katz M., McGaffey T.

Cauchy"s work on integral geometry, centers of curvature, and other applications of infinitesimals.
Real Analysis Exchange, 2020, Vol. 45, No. 1, pp. 127-150 .
DOI: 10.14321/realanalexch.45.1.0127
Go to publication

2020 year
Authors: Kanovei V., Lyubetsky V.

Models of set theory in which separation theorem fails. Izvestiya: Mathematics, 2020, To appear. (WoS Q2)
Download (231 KB)

2020 year
Authors: Kanovei V., Schindler R.

Definable Hamel bases and ACω(R).
Fundamenta Mathematicae, 2020, to appear.
WoS Q3
Go to publication

2020 year
Authors: Kanovei V., Lyubetsky V.

Factoring Solovay-random extensions, with application to the Reduction property. Monatshefte fur Mathematik, 2020, recommended modulo Minor Revisions Needed. (WoS Q2)

2020 year
Authors: Kanovei V., Lyubetsky V.

The full basis theorem does not imply analytic wellordering, Annals of pure and applied logic, 2020, submitted. (WoS Q1)

2020 year
Authors: Kanovei V., Lyubetsky V.

Canonization of smooth equivalence relations on infinite-dimensional E0-large products. Notre Dame Journal of Formal Logic, 2020, Vol. 61, No. 1, P. 117128. DOI: 10.1215/00294527-2019-0034
Go to publication

2019 year
Authors: Zverkóv O., Mikhailov K., Isaev S., Rusin L., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V.

Dicyemida and Orthonectida: Two stories of body plan simplification. Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB19, Moscow, Russia, July 2730 2019.
Go to publication

2019 year
Authors: Gorbunov K., Lyubetsky V.

Linear algorithm for reconstruction of chromosome structures. The proceedings of International congress Biotechnology: state of the art and perspectives, Moscow, Russia, February 2527 2019, Iss. 17, P. 350351.
Go to publication

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

Mouse genes lost in rodent and primate species with long lifespan. The proceedings of International congress Biotechnology: state of the art and perspectives, Moscow, Russia, February 2527 2019, Iss. 17, P. 342.
Go to publication

2019 year
Authors: Shilovsky G., Putyatina T., Ashapkin V., Yamskova O., Lyubetsky V., Sorokina E., Shram S., Markov A., Vyssokikh M.

Biological diversity and remodeling of cardiolipin in oxidative stress and age-related pathologies. Biochemistry (Moscow), 2019, Vol. 84, No. 12, P. 14691483. DOI: 10.1134/S000629791912006X

2019 year
Authors: Seliverstov A.

On binary solutions to systems of equations. Prikladnaya Diskretnaya Matematika, 2019, No. 45, P. 2632 (in Russian). DOI: 10.17223/20710410/45/3
Go to publication

2019 year
Authors: Lyubetsky V., Kanovei V.

Set theory: absolute undecidability of classical problems. Textbook for universities, 2nd ed., Moscow, Urait, 2019, 348 p. (in Russian). ISBN: 978-5-534-10390-8

2019 year
Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., Kutateladze S., Nowik T., Schaps D., Sherry D.

Gregorys Sixth Operation.
Mircea Pitici (Editor), The Best Writing on Mathematics 2019
Princeton University Press, 2019, pp. 195207.
DOI: 10.1515/9780691197944-015
Book DOI: 10.1515/9780691197944
Online ISBN: 9780691197944
Go to publication

2019 year
Authors: Bair J., Blaszczyk P., Kanovei V., Katz M., Heinig P.

19th-century real analysis, forward and backward.
Antiquitates Mathematicae, 2019, 13, 1, pp. 19-49.
DOI:10.14708/am.v13i1.6440
Go to publication

2019 year
Authors: Kanovei V., Lyubetsky V.

Indiscernible pairs of countable sets of reals at a given projective level. arXiv: 1912.12962 [math.LO], December 2019.
Go to publication

2019 year
Authors: Seliverstov A.

Computation of the greatest common divisor with generalized register machines. Program of the 62nd All-Russian Scientific Conference MIPT. November18-24, 2019. MIPT, Moscow 2019. P. 95.
Go to publication

2019 year
Authors: Seliverstov A.

Note on circular sections. Unpublished text in Russian.
Download (138 KB)

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

Screening for mouse genes lost in mammals with long lifespans. BioData Mining, 2019, Vol. 12, Art. 20. DOI: 10.1186/s13040-019-0208-x, PMID: 31728160 (WoS Q1)
Go to publication Download (1.4 MB)

2019 year
Authors: Shilovsky G., Zverkóv O., Seliverstov A., Ashapkin V., Putyatina T., Rubanov L., Lyubetsky V.

New C-terminal conserved regions of tafazzin, a catalyst of cardiolipin remodeling. Oxidative Medicine and Cellular Longevity, Vol. 2019, Art. 2901057. DOI: 10.1155/2019/2901057, PMID: 31781330
Go to publication Download (2.6 MB)

2019 year
Authors: Korotkova D., Lyubetsky V., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Martynova N., Nesterenko A., Tereshina M., Peshkin L., Zaraisky A.

Bioinformatics screening of genes specific for well-regenerating vertebrates reveals c-answer, a regulator of brain development and regeneration. Cell Reports, Vol. 29, Iss. 4, P. 10271040. DOI: 10.1016/j.celrep.2019.09.038, PMID: 31644900 (WoS Q1, IF 8)
Go to publication Download (6.1 MB)

2019 year
Authors: Kanovei V.

Definable selector for $\Delta^0_2$ sets modulo countable.
arXiv: 1910.00926 [math.LO], October 2019
Go to publication

2019 year
Authors: Seliverstov A.

Hessian matrices of reducible third degree polynomials. XVII International conference algebra, number theory and discrete geometry modern problems, applications and problems of history dedicated to the centenary of the birth of professor N. I. Feldman and the ninetieth anniversary of the birth of professors A. I. Vinogradov, A. V. Malyshev and B. F. Skubenko Tula, 2019. P. 294-296 (in Russian).
Go to publication Download (5.7 MB)

2019 year
Authors: Seliverstov A.

On smoothness recognition over reals. International Conference Mal"tsev Meeting. August 19-23, 2019. Collection of Abstracts. Novosibirsk, 2019. P. 97.
Go to publication Download (1.8 MB)

2019 year
Authors: Bottazzi E., Kanovei V., Katz M., Mormann T., Sherry D.

On mathematical realism and applicability of hyperreals.
Matematychni Studii, 2019, 51, 2, pp. 200-224.
DOI:10.15330/ms.51.2.200-224
SCIMAGO, Q3
Go to publication

2019 year
Authors: Seliverstov A., Zverkóv O., Rubanov L., Lyubetsky V.

Protein clustering and gene loss prediction. Computer Assisted Mathematics Conference. Electrotechnical University "LETI" Saint-Petersburg, Russia, July 22-24, 2019. P. 7
Go to publication Download (205.8 KB)

2019 year
Authors: Seliverstov A.

Notes on the generic complexity of recognition problems (in Russian). Proceedings of the International Conference "Algebra and Mathematical Logic: Theory and Applications" (Kazan, June 24-28, 2019) Kazan: KFU, 2019. P. 158-160.
Go to publication Download (1.5 MB)

:    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), 2020
About  |  Contacts  |  The old version of this site