Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english
Публикаций на странице:    Страница: 1 2345 ... 1011121314
2021 г.
Авторы: Селиверстов А.В.

Эвристические алгоритмы распознавания некоторых кубических гиперповерхностей. Программирование. 2021. № 1. С. 59–65. DOI: 10.31857/S0132347421010106

2021 г.
Авторы: Кановей В.Г., Любецкий В.А.

Модели теории множеств, в которых теорема отделимости неверна. Известия Российской академии наук. Серия математическая, 2021, том 85, принята к печати. (WoS Q2)
Загрузить (231 KB)

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. С. 186-188.
Перейти к публикации Загрузить (8.8 MB)

2020 г.
Авторы: Enayat A., Kanovei V.

An unpublished theorem of Solovay, revisited.
Journal of Mathematical Logic, 2020, online.
DOI: 10.1142/S0219061321500148
WoS Q1.
Перейти к публикации

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. С. 366-368.
Загрузить (783 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., Schindler R.

Definable Hamel bases and ACω(R).
Fundamenta Mathematicae, 2020, to appear.
WoS Q3
Перейти к публикации

2020 г.
Авторы: 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 г.
Авторы: Kanovei V., Lyubetsky V.

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

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 $\Delta^0_2$ 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
Перейти к публикации

2019 г.
Авторы: 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
Перейти к публикации Загрузить (205.8 KB)

2019 г.
Авторы: Селиверстов А.В.

Заметки о генерической сложности задач распознавания. Материалы конференции "Алгебра и математическая логика: теория и приложения" (г. Казань, 24-28 июня 2019 г.) Казань: КФУ, 2019. С. 158-160.
Перейти к публикации Загрузить (1.5 MB)

Публикаций на странице:    Страница: 1 2345 ... 1011121314
Поиск по публикациям
Год публикации
с по
Автор

Название/ключевое слово

Тип публикации

Наличие в международных базах цитирования
Искать в подразделении

По убыванию даты
По возрастанию даты
 

 

  © Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2020
Об институте  |  Контакты  |  Старая версия сайта