|
|
 |
2023 г. Авторы: Зверко́в О.А., Шиловский Г.А., Селиверстов А.В., Любецкий В.А.Связь видовой продолжительности жизни с эволюцией гена Fbxl21.
Proceedings of 11th Moscow Conference on Computational Molecular Biology MCCMB"23.
Москва, 3–6 августа 2023, М.: ИППИ РАН, 2023
|
|
2023 г. Авторы: Селиверстов А.В.О двоичных решениях у системы нескольких линейных уравнений по модулю три. Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: Современные проблемы, приложения и проблемы истории: Материалы XXII Международной конференции, посвященной 120-летию со дня рождения академика А. Н. Колмогорова и 60-летию со дня открытия школы-интерната № 18 при Московском университете. — Тула: Тул. гос. пед. ун-т им. Л. Н. Толстого, 2023.
Перейти к публикации |
|
2023 г. Авторы: 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,
2023, under review.
(WoS Q2)
|
|
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 Q1, IF 7)
Перейти к публикации |
|
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.Parameterfree Comprehension does not imply full Comprehension in second order Peano arithmetic.
Studia Logica,
2023, under review.
(WoS Q2)
|
|
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, том 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 г. Авторы: Шиловский Г.А., Зверко́в О.А., Рубанов Л.И., Селиверстов А.В., Любецкий В.А.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 г. Авторы: 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
Перейти к публикации |
|
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 г. Авторы: 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) |
|
|
|
|
|
