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

On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic. Mathematics, 2023, 11 (3), Article no. 726. DOI: 10.3390/math11030726 (WoS Q1)
Перейти к публикации

2023 г.
Авторы: Kanovei V., Lyubetsky V.

On Russell typicality in Set Theory. Proceedings of the American Mathematical Society, 2023, 151, no 5, pp. 2201–2210. https://doi.org/10.1090/proc/16232 (WoS Q2)
Перейти к публикации

2022 г.
Авторы: Kanovei V., Lyubetsky V.

On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic. Preprints, 2022, no 2022120255. DOI: 10.20944/preprints202212.0255.v2
Перейти к публикации

2022 г.
Авторы: Kanovei V.

On sets that hereditarily belong to countable OD sets.
European Set Theory Conference 2022.
Department of Mathematics of the University of Turin and the European Set Theory Society,
August 29 - September 2, 2022, Turin, Italy.
Перейти к публикации

2022 г.
Авторы: Kanovei V., Lyubetsky V.

The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022.
Перейти к публикации

2022 г.
Авторы: Kanovei V., Lyubetsky V.

A model in which wellorderings of the reals appear at a given projective level. Axioms, 2022, 11(8), Article no 354. DOI: 10.3390/axioms11080354 (WoS Q2)
Перейти к публикации

2022 г.
Авторы: 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.
Перейти к публикации

2022 г.
Авторы: Kanovei V., Lyubetsky V.

On the ‘definability of definable’ problem of Alfred Tarski, Part II. Transactions of the American Mathematical Society, 2022, Vol. 375, No. 12, P. 8651–8686. DOI: 10.1090/tran/8710 (WoS Q2)
Перейти к публикации

2022 г.
Авторы: 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 (WoS Q2)
Перейти к публикации

2022 г.
Авторы: Шиловский Г.А.

Лабильность защитной системы клетки Nrf2/Keap/ARE в различных моделях клеточного старения и возрастных патологиях. Биохимия, 2022, том 87, вып. 1, стр. 86–103. DOI: 10.31857/S0320972522010067
Перейти к публикации

2022 г.
Авторы: 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)
Перейти к публикации

2021 г.
Авторы: Шиловский Г.А., Путятина Т.С., Марков А.В.

Альтруизм и феноптоз как программы, поддерживаемые эволюцией. Биохимия, 2021, том 86, вып. 12, стр. 1782–1797. DOI: 10.31857/S0320972521120034
Перейти к публикации

2021 г.
Авторы: 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: MCCMB’21, Moscow, Russia, July 30 — August 2 2021.

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

О сводимости систем линейных уравнений. Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем". Сборник трудов. Тверь: ТвГУ, 2021. С. 262-266. doi:10.26456/mfcsics-21-36
Перейти к публикации

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

О некоторых алгоритмах квазиполиномиального времени. Компьютерные инструменты в образовании. 2021, № 2. С. 5–12. DOI: 10.32603/2071-2340-2021-2-5-12
Перейти к публикации Загрузить (376.6 KB)

2021 г.
Авторы: Шиловский Г.А., Путятина Т.С., Павлова И.Б., Сорокина Е.В., Ямскова О.В., Любецкий В.А.

Митохондриально-направленные соединения, обеспечивающие защиту фосфолипида митохондрий кардиолипина при возрастных патологиях человека. Клиническая геронтология, 2021, том 27, № 3-4, стр. 90–94. DOI: 10.26347/1607-2499202103-04090-094
Перейти к публикации

2021 г.
Авторы: Шиловский Г.А., Путятина Т.С., Орловский И.В.

Перспективы разработки и применения потенциальных антиоксидантных препаратов на основе глутамил-содержащих и металл-связывающих пептидов. Клиническая геронтология, 2021, том 27, № 1-2, стр. 59–63. DOI: 10.26347/1607-2499202101-02059-063

2021 г.
Авторы: Моргунова Г.В., Шиловский Г.А., Хохлов А.Н.

Влияние ограничения питания на старение: исправление проблем с "сенсорами питания" у постмитотических клеток? Биохимия, 2021, том 86, вып. 10, стр. 1531–1549. DOI: 10.31857/S0320972521100092
Перейти к публикации

2021 г.
Авторы: Олескин А.В., Сорокина Е.В., Шиловский Г.А.

Взаимодействие катехоламинов с микроорганизмами, нейронами и с клетками иммунной системы. Успехи современной биологии, 2021, том 141, № 1, стр. 3–13. DOI: 10.31857/S004213242101021X
Перейти к публикации

2021 г.
Авторы: Kanovei V., Lyubetsky V.

On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021.
Перейти к публикации

2021 г.
Авторы: 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.
Перейти к публикации

2021 г.
Авторы: Малашонок Г.И., Селиверстов А.В.

Calculation of integrals in MathPartner. Discrete and Continuous Models and Applied Computational Science. 2021. Vol. 29. No. 4. P. 337-346. DOI:10.22363/2658-4670-2021-29-4-337-346
Перейти к публикации Загрузить (537.6 KB)

2021 г.
Авторы: 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)
Перейти к публикации

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

Об отсутствии (0,1)-решений у системы уравнений. Международная конференция Мальцевские чтения 20-24 сентября 2021. Тезисы докладов. Новосибирск: 2021. С. 73.
Перейти к публикации

2021 г.
Авторы: 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:45–13:30, Steklov Math. Inst. (Moscow).
Перейти к публикации

2021 г.
Авторы: 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.
Перейти к публикации

2021 г.
Авторы: 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)
Перейти к публикации

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

Двоичные решения для больших систем линейных уравнений. Прикладная дискретная математика. 2021. № 52. С. 5-15. DOI: 10.17223/20710410/52/1
Перейти к публикации

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

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

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

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

2021 г.
Авторы: Шиловский Г.А., Путятина Т.С., Моргунова Г.В., Селиверстов А.В., Ашапкин В.В., Сорокина Е.В., Марков А.В., Скулачев В.П.

Регуляция белков циркадных ритмов и Nrf2-опосредованной антиоксидантной защиты: двойная роль киназы гликогенсинтазы 3. Биохимия, 2021, том 86, вып. 4, стр. 511–528. DOI: 10.31857/S0320972521040059
Перейти к публикации

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

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

2021 г.
Авторы: 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.
Перейти к публикации

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

Модели теории множеств, в которых теорема отделимости неверна. Известия Российской академии наук. Серия математическая, 2021, том 85, №6, стр. 164–204. DOI: 10.4213/im8937 (WoS Q2)
Перейти к публикации

2021 г.
Авторы: 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
Перейти к публикации

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

An unpublished theorem of Solovay, revisited. arXiv:2001.11058 [math.LO], January 2020.
Перейти к публикации

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

О круговых сечениях поверхности второго порядка. Компьютерные инструменты в образовании. 2020. № 4. С. 59-68. DOI: 10.32603/2071-2340-2020-4-59-68
Перейти к публикации Загрузить (281.8 KB)

2020 г.
Авторы: Шиловский Г.А., Сорокина Е.В.

Охратоксин А и индукция антиоксидантной / антитоксической системы клетки транскрипционным фактором NRF2 (обзор литературы). Проблемы медицинской микологии, 2020, том 22, № 4, стр. 3–7.
Перейти к публикации

2020 г.
Авторы: Моргунова Г.В., Шиловский Г.А., Хохлов А.Н.

Возрастные расстройства метаболизма: от «четырёх моделей медицины» до клеток. Клиническая геронтология, 2020, том 26, № 9–10, стр. 17–20. DOI: 10.26347/1607-2499202009-10017-020
Перейти к публикации

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

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
Перейти к публикации

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

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

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

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

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

 

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