ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ
Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english
Публикаций на странице:    Страница: 1 2345 ... 1112131415
2024 г.
Авторы: Gorbunov K., Lyubetsky V.

Algorithms for the reconstruction of genomic structures with proofs of their low polynomial complexity and high exactness. Mathematics, March 11 2024, Vol. 12, No. 6, Art. 817. DOI: 10.3390/math12060817 (WoS Q1)
Перейти к публикации

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

Jensen Reals by Means of Second-Order Peano Arithmetic. Axioms, 2024, 13(2), Article no 96. DOI: 10.3390/axioms13020096 (WoS Q2)
Перейти к публикации Загрузить (248.3 KB)

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

A good lightface Δ^1_n well-ordering of the reals does not imply the existence of boldface Δ^1_{n−1} well-orderings. Annals of Pure and Applied Logic, 2024, 175, 6, pp.\ 1-38. DOI 10.1016/j.apal.2024.103426 (WoS Q2)
Перейти к публикации

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

Parameterfree Comprehension does not imply full Comprehension in second order Peano arithmetic. Studia Logica, 2024, accepted. (WoS Q2)
Загрузить (128.6 KB)

2023 г.
Авторы: Shilovsky G., Seliverstov A., Zverkóv O.

Demographic indicators, models, and testing. Discrete and Continuous Models and Applied Computational Science. 2023. V. 31. No. 4. P. 359–374.
Перейти к публикации

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

О длине невыполнимой подформулы. Международная конференция Мальцевские чтения 13-17 ноября 2023 г. Новосибирск, 2023. С. 132.
Перейти к публикации Загрузить (1.8 MB)

2023 г.
Авторы: Русин Л.Ю.

Современные проблемы биологической эволюции, материалы IV Международной конференции «к 875-летию Москвы и 115-летию со дня основания Государственного Дарвиновского музея», 17–20 октября 2022, Москва, М.: ГДМ, 2022, стр. 395–397
Перейти к публикации Загрузить (558.6 KB)

2023 г.
Авторы: Rusin L.

Evolution of homology: From archetype towards a holistic concept of cell type. Journal of Morphology, 284(4), e21569. DOI: 10.1002/jmor.21569, WOS: 000939793400001, Scopus: 2-s2.0-85150724886 (JCR Q1)
Перейти к публикации

2023 г.
Авторы: Shilovsky G., Dibrova D.

Regulation of cell proliferation and Nrf2-mediated antioxidant defense: Conservation of Keap1 cysteines and Nrf2 binding site in the context of the evolution of KLHL family. Life, Apr 19 2023, Vol. 13, No. 4, Art. 1045. DOI: 10.3390/life13041045
Перейти к публикации

2023 г.
Авторы: Skulachev V., Vyssokikh M., Chernyak B., Mulkidjanian A., Skulachev M., Shilovsky G., Lyamzaev K., Borisov V., Severin F., Sadovnichii V.

Six functions of respiration: Isn’t it time to take control over ROS production in mitochondria, and aging along with it? International Journal of Molecular Sciences, Aug 8 2023, Vol. 24, Iss. 16, Art. 12540. DOI: 10.3390/ijms241612540 (WoS Q1)
Перейти к публикации

2023 г.
Авторы: Tchesunov A., Nikolaeva O., Rusin L., Sanamyan N., Panina E., Miljutin D., Gorelysheva D., Pegova A., Khromova M., Mardashova M., Mikhailov K., Yushin V., Petrov N., Nikitin M., Lyubetsky V., Aleoshin V.

Paraphyly of Marimermithida refines primary routes of transition to parasitism in roundworms. Zoological Journal of the Linnean Society, April 2023, Vol. 197, Iss. 4, P. 909–923. DOI: 10.1093/zoolinnean/zlac070 (WoS Q1)
Перейти к публикации

2023 г.
Авторы: Cheng H., Guo Z., Zhang X., Wang X.-J., Li Z., Huo W.-W., Zhong H.-C., Li X.-J., Wu X.-W., Li W.-H., Chen Z.-W., Wu T.-C., Gan X.-F., Zhong B.-L., Lyubetsky V., Rusin L., Yang J., Zhao Q., Cao Q.-D., Yang J.-R.

Lack of evolutionary convergence in multiple primary lung cancer suggests insufficient specificity of personalized therapy. Journal of Genetics and Genomics, May 2023, Vol. 50, Iss. 5, P. 330–340. DOI: 10.1016/j.jgg.2022.11.005 (WoS Q1)
Перейти к публикации

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

Constructing an evolutionary tree and path–cycle graph evolution along it. Mathematics, Apr 24 2023, Vol. 11, No. 9, Art. 2024. DOI: 10.3390/math11092024 (WoS Q1)
Перейти к публикации

2023 г.
Авторы: Бойков А.А., Селиверстов А.В.

О кубе и проекциях подпространства. Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2023. Т. 33, № 3. С. 402-415.
Перейти к публикации

2023 г.
Авторы: Зверко́в О.А., Шиловский Г.А., Селиверстов А.В., Любецкий В.А.

Связь видовой продолжительности жизни с эволюцией гена Fbxl21. Proceedings of 11th Moscow Conference on Computational Molecular Biology MCCMB"23. Москва, 3–6 августа 2023, М.: ИППИ РАН, 2023

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

О двоичных решениях у системы нескольких линейных уравнений по модулю три. Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: Современные проблемы, приложения и проблемы истории: Материалы XXII Международной конференции, посвященной 120-летию со дня рождения академика А. Н. Колмогорова и 60-летию со дня открытия школы-интерната № 18 при Московском университете. — Тула: Тул. гос. пед. ун-т им. Л. Н. Толстого, 2023.
Перейти к публикации

2023 г.
Авторы: Зверко́в О.А., Селиверстов А.В.

Эффективные нижние границы для ранга матрицы и приложения. Программирование. 2023. № 5. С. 79-86.
Перейти к публикации

2023 г.
Авторы: Lyubetsky V., Rubanov L., Tereshina M., Ivanova A., Araslanova K., Uroshlev L., Goremykina G., Yang J., Kanovei V., Zverkóv O., Shitikov A., Korotkova D., Zaraisky A.

Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations. Biology Direct, 2023, Vol. 18, Art. 45. DOI: 10.1186/s13062-023-00405-6 (WoS Q2)
Перейти к публикации

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

A model in which well-orderings of the reals first appear at a given projective level, part III, the case of second-order PA. Mathematics, 2023, 11(15), Article no. 3294. DOI 10.3390/math11153294 (WoS Q1)
Перейти к публикации

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

Обобщение задачи о сумме подмножеств и кубические формы. Журнал вычислительной математики и математической физики, 2023, том 63, № 1, стр. 51-60. Перевод: Computational Mathematics and Mathematical Physics, 2023, vol. 63, no. 1, pp. 48-56.
Перейти к публикации

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

On a simple lower bound for the matrix rank. In: S.A. Abramov, A.B. Batkhin, L.A. Sevastyanov (eds.) Computer algebra: 5th International Conference Materials, Moscow, Russia, June 26-28 2023, Moscow: KIAM, 2023, P. 126-128. ISBN: 978-5-98354-067-5

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

А.В. Селиверстов. Понижение размерности для решения задач о расположении подпространства и вершин куба. Материалы Всероссийской научно-практической конференции "Ученый, педагог, наставник", посвященной 85-летию со дня рождения профессора А. Р. Есаяна, Тула, 20-21 апреля 2023, Тула: ТГПУ им. Л.Н. Толстого, 2023, стр. 66-69.
Перейти к публикации

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

Notes on obstacles to dimensionality reduction. International Conference Polynomial Computer Algebra "2023, Apr 17, St. Petersburg, Russia, 2023, pp. 104-107.
Перейти к публикации

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

A model in which well-orderings of the reals first appear at a given projective level, part II. Mathematics, 2023, 11(11), Article no. 2517. DOI: 10.3390/math11112517 . (WoS Q1)
Перейти к публикации

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 г.
Авторы: Шиловский Г.А., Сорокина Е.В., Путятина Т.С.

Оценка метаболома человека как метод молекулярной диагностики колоректального рака. Профилактика и терапия. Успехи современной биологии, 2022, том 142, № 2, стр. 199–205. DOI: 10.31857/S0042132422020077
Перейти к публикации

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

Эволюция долголетия как видового признака у млекопитающих. Биохимия, 2022, том 87, № 12, стр. 1947–1971. DOI: 10.31857/S0320972522120132

2022 г.
Авторы: Шиловский Г.А., Ашапкин В.В.

Транскрипционный фактор Nrf2 и митохондрии – друзья или противники в редокс-регуляции темпов старения. Биохимия, 2022, том 87, № 12, стр. 1856–1867. DOI: 10.31857/S0320972522120065
Перейти к публикации

2022 г.
Авторы: Шиловский Г.А., Сорокина Е.В., Любецкая Е.В., Ферубко Е.В.

Новые методы индукции антиоксидантной защиты на основе нутриентов и пробиотиков у пожилых. Клиническая геронтология, 2022, том 28, № 11-12, стр. 76–78. DOI: 10.26347/1607-2499202211-12076-078
Перейти к публикации Загрузить (289.1 KB)

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

On binary solutions to a system of linear equations over a computable field. International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 78.

2022 г.
Авторы: Латкин И.В., Селиверстов А.В.

Недетерминированные вычисления посредством обобщенных регистровых машин. Международная конференция Мальцевские чтения. Тезисы докладов, Новосибирск, 14-19 ноября 2022, Новосибирск: Новосибирский государственный университет, 2022, стр. 72.

2022 г.
Авторы: Латкин И.В., Селиверстов А.В.

Вычисления над упорядоченными кольцами посредством обобщённых регистровых машин. Математическая логика и компьютерные науки, Труды Международной научной конференции, Астана, Казахстан, 7-8 октября 2022, стр. 36-40.
Перейти к публикации

2022 г.
Авторы: Адлай С.Ф., Малашонок Г.И., Малышев К.Ю., Селиверстов А.В., Усков Ф.Г.

Об алгоритмах вычисления полных эллиптических интегралов. Записки научных семинаров ПОМИ, 2022, том 517, стр. 5-16.
Перейти к публикации

2022 г.
Авторы: Латкин И.В., Селиверстов А.В.

О вычислениях над упорядоченными кольцами. Сибирские электронные математические известия, 2022, том 19, № 2, стр. 1054-1076. DOI: 10.33048/semi.2022.19.085
Перейти к публикации

2022 г.
Авторы: Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V.

Evolution of protein regulators of circadian rhythm in mammals. Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2022), The Thirteenth International Multiconference Abstracts, Novosibirsk, Russia, 4-8 July 2022, Novosibirsk: ICG SB RAS, 2022, P. 173.
Перейти к публикации

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

Generic-case complexity of the multiple subset sum problem. International Conference Polynomial Computer Algebra "2022, May 2-7, St. Petersburg, Russia, 2022, pp. 96-99.
Перейти к публикации

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 г.
Авторы: Малашонок Г.И., Селиверстов А.В.

New features in MathPartner 2021. Computer Tools in Education, 2021, No. 3, P. 29–40.
Перейти к публикации

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

Транскрипционный фактор NRF2 - мишень активирующих антиоксидантную систему клетки препаратов: перспективы применения при возрастных заболеваниях. Клиническая геронтология, 2021, том 27, № 11-12, стр. 57–62. DOI: 10.26347/1607-2499202111-12057-062
Перейти к публикации

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.
Загрузить (2.5 MB)

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

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

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

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

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

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

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

 

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