|
|
 |
2023 г. Авторы: Селиверстов А.В.О двоичных решениях у системы нескольких линейных уравнений по модулю три. Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: Современные проблемы, приложения и проблемы истории: Материалы XXII Международной конференции, посвященной 120-летию со дня рождения академика А. Н. Колмогорова и 60-летию со дня открытия школы-интерната № 18 при Московском университете. — Тула: Тул. гос. пед. ун-т им. Л. Н. Толстого, 2023. С. 242–244.
Перейти к публикации |
|
2023 г. Авторы: Зверко́в О.А., Селиверстов А.В.Эффективные нижние границы для ранга матрицы и приложения.
Программирование, 2023. № 5. С. 79-86.
DOI: 10.31857/S0132347423020176
Перейти к публикации |
|
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, БС2)
Перейти к публикации |
|
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, БС1)
Перейти к публикации |
|
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, БС1)
Перейти к публикации |
|
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, БС1)
Перейти к публикации |
|
2023 г. Авторы: Kanovei V., Lyubetsky V.On Russell typicality in Set Theory.
Proceedings of the American Mathematical Society, 2023, 151, no 5, pp. 2201–2210.
DOI: 10.1090/proc/16232
(WoS Q2, БС2)
Перейти к публикации |
|
2022 г. Авторы: Kanovei V., Lyubetsky V.On the significance of parameters in the choice and collection schemata in the 2nd order Peano arithmetic.
Preprints, Dec 26 2022, Art. 2022120255.
DOI: 10.20944/preprints202212.0255.v2
Перейти к публикации |
|
2022 г. Авторы: Kanovei V., Lyubetsky V.The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic.
Eprint, arXiv:2209.07599 [math.LO], Sep 15 2022.
DOI: 10.48550/arXiv.2209.07599
Перейти к публикации |
|
2022 г. Авторы: Kanovei V., Lyubetsky V.A model in which the Separation principle holds for a given effective projective Sigma-class.
Eprint, arXiv:2204.03915 [math.LO], Apr 8 2022.
DOI: 10.48550/arXiv.2204.03915
Перейти к публикации |
|
2022 г. Авторы: 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., Lyubetsky V., Nikitin M., Aleshin S.Demise of Marimermithida refines primary routes of transition to parasitism in roundworms.
bioRxiv, 2022.02.15.480519, Feb 19 2022.
DOI: 10.1101/2022.02.15.480519
Перейти к публикации |
|
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 г. Авторы: Горбунов К.Ю., Любецкий В.А.Реконструкция эволюции геномных структур с паралогами.
Материалы международного конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 26–29 октября 2021, вып. 19, стр. 207–208.
DOI: 10.37747/2312-640X-2021-19-207-209
Перейти к публикации |
|
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
Перейти к публикации |
|
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.
DOI: 10.48550/arXiv.2111.07654
Перейти к публикации |
|
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.
DOI: 10.48550/arXiv.2111.13491
Перейти к публикации |
|
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) |
|
|
|
|
|
