ÂÅÐÑÈß ÄËß ÑËÀÁÎÂÈÄßÙÈÕ
Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
ðóññêèé | english
Ïóáëèêàöèé íà ñòðàíèöå:    Page: 1234 5 ... 1314151617
2019 year
Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., Kutateladze S., Nowik T., Schaps D., Sherry D.

Gregory’s Sixth Operation.
Mircea Pitici (Editor), The Best Writing on Mathematics 2019
Princeton University Press, 2019, pp. 195–207.
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
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. 1027–1040. DOI: 10.1016/j.celrep.2019.09.038, PMID: 31644900 (WoS Q1, IF 10)
Go to publication Download (6.1 MB)

2019 year
Authors: Kanovei V.

Definable selector for Δ02 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)

2019 year
Authors: Kanovei V., Lyubetsky V.

Models of set theory in which separation theorem fails. arXiv:1905.11241 [math.LO], May 2019.
Go to publication

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

Dicyemida and Orthonectida: Two stories of body plan simplification. Frontiers in Genetics Vol. 10, Article 443. DOI: 10.3389/fgene.2019.00443, PMID: 31178892 (WoS Q1, IF 5)
Go to publication Download (6.2 MB)

2019 year
Authors: Seliverstov A.

On the geometric brigade of the Institute of General and Inorganic Chemistry of the Academy of Sciences of the USSR until 1941. XVI International Conference "Algebra, Number Theory and Discrete Geometry: modern problems, applications and problems of history" dedicated to the 80th anniversary of the birth of Professor Michel Desa. Tula, the Tula State Pedagogical University of Leo Tolstoy, 2019. P. 378–380. (In Russian)
Go to publication

2019 year
Authors: Seliverstov A.

On polynomials of odd degree over reals. International Conference Polynomial Computer Algebra "2019; St. Petersburg, April 15–20, 2016 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2019. P. 133–134.
Go to publication Download (567.9 KB)

2019 year
Authors: Kanovei V., Lyubetsky V.

Absoluteness of the Solovay set Σ. Siberian Mathematical Journal, 2019, 60, no 6, pp. 1003-1006. DOI: 10.1134/S0037446619060089 (WoS Q3)
Go to publication

2019 year
Authors: Gitman V., Friedman S.D., Kanovei V.

A model of second-order arithmetic satisfying AC but not DC.
Journal of Mathematical Logic, 2019, 19, no 1, article ID 1850013, pp. 1--39.
DOI 10.1142/S0219061318500137
WoS Q1 (Ranked 1st overall in the category of Logic)
Go to publication

2019 year
Authors: Kanovei V., Lyubetsky V.

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy. Fundamenta mathematicae, 2019, 245, 2, pp. 175--216. DOI: 10.4064/fm517-7-2018 (WoS Q3)
Go to publication

2019 year
Authors: Kanovei V., Lyubetsky V.

Definable elements of definable Borel sets. Mathematical Notes, 2019, 105, no 5, pp. 684-693. DOI: 10.1134/S0001434619050055 (WoS Q3)
Go to publication

2019 year
Authors: Kanovei V., Lyubetsky V.

Borel OD sets of reals are OD-Borel in some simple models. Proceedings of the American mathematical society, 2019, 147, no 3, pp. 1277–1282. DOI 10.1090/proc/14286 (WoS Q2)
Go to publication

2019 year
Authors: Kanovei V., Lyubetsky V.

Definable minimal collapse functions at arbitrary projective levels. Journal of Symbolic Logic, 2019, vol. 84, no 1, pp. 266-289. DOI:10.1017/jsl.2018.77 (WoS Q2)
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy. arXiv:1712.00769v3 [math.LO], January 2018.
Go to publication

2018 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.

Bioinformatic screening of genes present only in well regenerating vertebrates reveals novel FGF and purinergic signaling modulator - c-Answer. bioRxiv, 13 Dec 2018. DOI: 10.1101/494609
Go to publication

2018 year
Authors: Shilovsky G., Putyatina T., Ashapkin V., Rozina A., Lyubetsky V., Minina E., Bychkovskaia I., Markov A., Skulachev V.

Ants as Object of Gerontological Research. Biochemistry (Moscow), 2018, Vol. 83, Iss. 12–13, P. 1489–1503. DOI: 10.1134/S0006297918120076
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

On intermediate extensions of generic extensions by a random real. arXiv:1811.10568 [math.LO], December 2018.
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

On Harrington"s model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami. arXiv:1810.12542v2 [math.LO], November 2018.
Go to publication

2018 year
Authors: Aleoshin V., Slyusarev G., Mikhailov K., Popova O., Rusin L., Zverkóv O., Lyubetsky V.

Orthonectida and Dicyemida: Two stories of body plan simplification. In: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin), Moscow: Torus Press, 2018, P. 3–4. DOI: 10.30826/MolPhy2018-01
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

A countable definable set of reals containing no definable elements, arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
Go to publication

2018 year
Authors: Gitman V., Friedman S.D., Kanovei V.

A model of second-order arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO], August 2018.
Go to publication

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

Longevity in mammals: lost genes as a determinant. Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB-2018): The Eleventh International Conference (20–25 Aug. 2018, Novosibirsk, Russia); Abstracts. Institute of Cytology and Genetics, Siberian Branch of Russian Academy of Sciences; Novosibirsk State University. – Novosibirsk: ICG SB RAS, 2018. P. 249. DOI: 10.18699/BGRSSB-2018-221
Go to publication Download (2.2 MB)

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

Longevity in euarchontoglires: lost genes as a determinant. FEBS Open Bio, 2018, Vol. 8 (Suppl. 1), P. 456–457; DOI: 10.1002/2211-5463.12453.
Go to publication

2018 year
Authors: Seliverstov A.

Binary Solutions to Some Systems of Linear Equations. In: Eremeev A., Khachay M., Kochetov Y., Pardalos P. (eds) Optimization Problems and Their Applications. OPTA 2018. Communications in Computer and Information Science, vol 871, pp. 183-192. Springer, Cham (2018).
Go to publication

2018 year
Authors: Gorbunov K., Lyubetsky V.

A linear algorithm for restructuring a graph. Automation and Remote Control, 2018, Vol. 79, Iss. 12, P. 2203–2216. DOI: 10.1134/S0005117918120093
Go to publication

2018 year
Authors: Seliverstov A.

Note on binary solutions to some systems of algebraic equations (In Russian). Algebra, Number Theory and Discrete Geometry: modern problems and applications. Proceedings of the XV International Conference, dedicated to the centenary of the birth of Professor Nikolai Mikhailovich Korobov. - Tula: Tula State Pedagogical University of Leo Tolstoy, 2018. P. 197-199.
Go to publication Download (7.2 MB)

2018 year
Authors: Seliverstov A.

Recognizing real cubic hypersurfaces without a straight line of singular points (In Russian). International Algebraic Conference dedicated to the 110th anniversary of Professor A. G. Kurosh. Proceedings. - Moscow, MSU, 2018, pp. 175-177.
Go to publication Download (1.7 MB)

2018 year
Authors: Seliverstov A.

Real cubic hypersurfaces containing no line of singular points. International Conference Polynomial Computer Algebra "2018, Russian Academy of Sciences, St. Petersburg Department of Steklov Mathematical Institute, Euler International Mathematical Institute, April 19–21 2018, St. Petersburg, Russia, Ed. by N. N. Vassiliev, VVM Publishing, 2018, P. 109–110.
Go to publication Download (2.8 MB)

2018 year
Authors: Lyubetsky V., Lyubetskaya E., Gorbunov K.

Linear algorithm for a cyclic graph transformation. Lobachevskii Journal of Mathematics, 2018, Vol. 39, No. 9, P. 1217–1227. DOI: 10.1134/S1995080218090147
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Definable E0 classes at arbitrary projective levels. Annals of Pure and Applied Logic, 2018, Vol. 169, Iss. 9, P. 851–871. DOI: 10.1016/j.apal.2018.04.006 (WoS Q1)
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Canonization of smooth equivalence relations on infinite-dimensional perfect cubes. arXiv:1804.05174 [math.LO], April 2018.
Go to publication

Ïóáëèêàöèé íà ñòðàíèöå:    Page: 1234 5 ... 1314151617
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), 2025
About  |  Contacts  |  Ïðîòèâîäåéñòâèå êîððóïöèè