|
|
 |
2021 г. Авторы: Селиверстов А.В.Эвристические алгоритмы распознавания некоторых кубических гиперповерхностей. Программирование. 2021. № 1. С. 65–72. DOI: 10.31857/S0132347421010106
|
|
2021 г. Авторы: Enayat A., Kanovei V.An unpublished theorem of Solovay, revisited.
Journal of Mathematical Logic, 2020. Online first.
DOI: 10.1142/S0219061321500148
WoS Q1.
Перейти к публикации |
|
2021 г. Авторы: Кановей В.Г., Любецкий В.А.Модели теории множеств, в которых теорема отделимости неверна.
Известия Российской академии наук. Серия математическая, 2021, том 85, №6,
принята к печати.
DOI: 10.1070/IM8937
WoS Q2
Перейти к публикации Загрузить (231 KB) |
|
2021 г. Авторы: Kanovei V., Schindler R.Definable Hamel bases and ACω(R).
Fundamenta Mathematicae, 2021.
Published online: 17 December 2020.
DOI 10.4064/fm909-6-2020
WoS Q3
Перейти к публикации |
|
2021 г. Авторы: Kanovei V., Lyubetsky V.Factoring Solovay-random extensions, with application to the Reduction property.
Monatshefte fur Mathematik, 2021, 194, 1, pp. 105–117.
DOI: 10.1007/s00605-020-01482-9
WoS Q2.
Перейти к публикации |
|
2021 г. Авторы: 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
Перейти к публикации |
|
2020 г. Авторы: 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)
Перейти к публикации |
|
2020 г. Авторы: 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)
Перейти к публикации |
|
2020 г. Авторы: Горбунов К.Ю., Любецкий В.А.Эволюция митохондриальных геномных структур у Metazoa: алгоритм и программа.
Материалы международного форума «Биотехнология: состояние и перспективы развития»,
Москва, 28–30 октября 2020, вып. 18, стр. 260–261.
DOI: 10.37747/2312-640X-2020-18-260-262
Перейти к публикации |
|
2020 г. Авторы: Рубанов Л.И., Шиловский Г.А., Селиверстов А.В., Зверко́в О.А., Любецкий В.А.Предсказание потерь генов на основе геномных структур.
Материалы международного форума «Биотехнология: состояние и перспективы развития»,
Москва, 28–30 октября 2020, вып. 18, стр. 258–259.
DOI: 10.37747/2312-640X-2020-18-258-260
Перейти к публикации |
|
2020 г. Авторы: Селиверстов А.В.An Effectively Computable Projective Invariant Polynomial Computer Algebra "2020. St. Petersburg, 2020.
Перейти к публикации Загрузить (292.2 KB) |
|
2020 г. Авторы: Горбунов К.Ю., Любецкий В.А.Почти точный линейный алгоритм преобразования графов из цепей и циклов, с оптимизацией суммы цен операций.
Доклады Российской академии наук. Математика, информатика, процессы управления,
2020, том 494, № 1, стр. 26–29.
DOI: 10.31857/S2686954320050343
Перейти к публикации |
|
2020 г. Авторы: 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.
Перейти к публикации |
|
2020 г. Авторы: 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. 4323–4329.
DOI: 10.1007/s11033-020-05506-3, PMID: 32399807
Перейти к публикации |
|
2020 г. Авторы: 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. 5566–5584.
DOI: 10.18632/aging.102981, PMID: 32229707
Перейти к публикации |
|
2020 г. Авторы: 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 20–21 2020, Abstract Book.
Moscow: Torus Press, 2020, P. 41–42.
DOI: 10.30826/HomoSapiens-2020-30
Перейти к публикации |
|
2020 г. Авторы: 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, 6–10 July 2020.
Novosibirsk: ICG SB RAS, 2020, P. 652–653.
DOI: 10.18699/BGRS/SB-2020-398
Перейти к публикации Загрузить (844.5 KB) |
|
2020 г. Авторы: Селиверстов А.В.Быстрое перечисление рациональных чисел и задачи биоинформатики. Алгебра, теория чисел и дискретная геометрия: современные проблемы, приложения и проблемы истории, Материалы XVIII Международной конференции, посвящённой столетию со дня рождения профессоров Б. М. Бредихина, В. И. Нечаева и С. Б. Стечкина, Тула, 23–26 сентября 2020, Тула: ТГПУ им. Л. Н. Толстого, 2020. С. 196-198. eLIBRARY ID: 44367872.
Перейти к публикации Загрузить (525.6 KB) |
|
2020 г. Авторы: 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
Перейти к публикации |
|
2020 г. Авторы: 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)
Перейти к публикации |
|
2020 г. Авторы: Кановей В.Г., Любецкий В.А.Об отношении равенства с точностью до счетного множества.
Математические заметки,
2020, том 108, вып. 4, стр. 629–631.
DOI: 10.4213/mzm12753
Перейти к публикации |
|
2020 г. Авторы: Селиверстов А.В.Достаточные условия гомеоморфности вещественных кубических гиперповерхностей. Теория управления и математическое моделирование: Материалы Всероссийской конференции с международным участием, посвященной памяти профессора Н.В. Азбелева и профессора Е.Л. Тонкова (Ижевск, Россия, 15-19 июня 2020 г.). Ижевск: Издательский центр Удмуртский университет, 2020. С. 370-372.
Перейти к публикации Загрузить (212 KB) |
|
2020 г. Авторы: 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
Перейти к публикации |
|
2020 г. Авторы: 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)
Перейти к публикации |
|
2020 г. Авторы: 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
Перейти к публикации |
|
2020 г. Авторы: Селиверстов А.В.Симметричные матрицы, элементами которых служат линейные функции. Журнал вычислительной математики и математической физики, 2020, том 60, № 1, с. 109–115.
DOI: 10.31857/S0044466920010147
|
|
2020 г. Авторы: 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
Перейти к публикации |
|
2020 г. Авторы: 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. 117–128.
DOI: 10.1215/00294527-2019-0034
Перейти к публикации |
|
2019 г. Авторы: Шиловский Г.А.Поли(ADP-рибозил)ирование белков в культивируемых клетках: влияние «стационарного старения» и различных биологически активных соединений.
Диссертация на соискание учёной степени кандидата биологических наук (03.01.08 – Биоинженерия), Москва, 2019, 157 стр.
Перейти к публикации |
|
2019 г. Авторы: Шиловский Г.А.Поли(ADP-рибозил)ирование белков в культивируемых клетках: влияние «стационарного старения» и различных биологически активных соединений.
Автореферат диссертации на соискание учёной степени кандидата биологических наук (03.01.08 – Биоинженерия), Москва, 2019, 26 стр.
Перейти к публикации |
|
2019 г. Авторы: 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: MCCMB’19,
Moscow, Russia, July 27–30 2019.
Перейти к публикации |
|
2019 г. Авторы: Горбунов К.Ю., Любецкий В.А.Линейный алгоритм реконструкции хромосомных структур.
Материалы международного конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 25–27 февраля 2019, вып. 17, стр. 349–350.
Перейти к публикации |
|
2019 г. Авторы: Рубанов Л.И., Шиловский Г.А., Селиверстов А.В., Зверко́в О.А., Любецкий В.А.Гены мыши, потерянные у грызунов и приматов с высокой продолжительностью жизни.
Материалы международного конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 25–27 февраля 2019, вып. 17, стр. 341.
Перейти к публикации |
|
2019 г. Авторы: Шиловский Г.А., Путятина Т.С., Ашапкин В.В., Ямскова О.В., Любецкий В.А., Сорокина Е.В., Шрам С.И., Марков А.В., Высоких М.Ю.Биологическое разнообразие кардиолипина и его ремоделирование при окислительном стрессе и возрастных патологиях.
Биохимия, 2019, том 84, № 12, стр. 1815–1831.
DOI: 10.1134/S0320972519120066
|
|
2019 г. Авторы: Селиверстов А.В.О двоичных решениях систем уравнений.
Прикладная дискретная математика,
2019, № 45, стр. 26–32.
DOI: 10.17223/20710410/45/3
Перейти к публикации |
|
2019 г. Авторы: Любецкий В.А., Кановей В.Г.Теория множеств: абсолютно неразрешимые классические проблемы.
Учебное пособие для вузов, 2-е изд. М.: Юрайт, 2019. 348 стр.
ISBN: 978-5-534-10390-8
|
|
2019 г. Авторы: Любецкий В.А.Элементарная математика с точки зрения высшей. Основные понятия.
Учебное пособие для вузов, 3-е изд. М.: Юрайт, 2019. 538 стр.
ISBN: 978-5-534-10421-9, 978-5-534-12055-4
|
|
2019 г. Авторы: Горбунов К.Ю., Любецкий В.А.Линейный алгоритм реконструкции хромосомных структур. Материалы международного конгресса «Биотехнология: состояние и перспективы развития»
Перейти к публикации |
|
2019 г. Авторы: 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
Перейти к публикации |
|
2019 г. Авторы: 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
Перейти к публикации |
|
2019 г. Авторы: Kanovei V., Lyubetsky V.Indiscernible pairs of countable sets of reals at a given projective level.
arXiv: 1912.12962 [math.LO], December 2019.
Перейти к публикации |
|
2019 г. Авторы: Селиверстов А.В.Вычисление наибольшего общего делителя на обобщённых регистровых машинах. Программа 62-й Всероссийской научной конференции МФТИ. 18-24 ноября 2019 года. М.: МФТИ, 2019. С. 95.
Перейти к публикации |
|
2019 г. Авторы: Селиверстов А.В.Замечание о круговых сечениях. Неопубликованный текст.
Загрузить (138 KB) |
|
2019 г. Авторы: 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)
Перейти к публикации Загрузить (1.4 MB) |
|
2019 г. Авторы: 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
Перейти к публикации Загрузить (2.6 MB) |
|
2019 г. Авторы: 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 8)
Перейти к публикации Загрузить (6.1 MB) |
|
2019 г. Авторы: Kanovei V.Definable selector for Δ02 sets modulo countable.
arXiv: 1910.00926 [math.LO],
October 2019
Перейти к публикации |
|
2019 г. Авторы: Селиверстов А.В.Матрицы Гессе приводимых многочленов третьей степени. Алгебра, теория чисел и дискретная геометрия: современные проблемы, приложения и проблемы истории: Материалы XVII Междунар. конф., посвященной 100-летию со дня рождения профессора Н. И. Фельдмана и 90-летию со дня рождения профессоров А. И. Виноградова, А. В. Малышева и Б. Ф. Скубенко. Тула: Тул. гос. пед. ун-т им. Л. Н. Толстого, 2019. С. 294-296
Перейти к публикации Загрузить (5.7 MB) |
|
2019 г. Авторы: Селиверстов А.В.On smoothness recognition over reals. Международная конференция Мальцевские чтения 19–23 августа 2019 г. Тезисы докладов. Новосибирск, 2019. С. 97.
Перейти к публикации Загрузить (1.8 MB) |
|
2019 г. Авторы: 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
Перейти к публикации |
|
|
|
|
|
