2025 |
| Kanovei V., Lyubetsky V., On the significance of parameters and the projective level in the Choice and Collection axioms.
Memoirs of the American Mathematical Society 2025, under review (WoS Q1). |
| Kanovei V., Lyubetsky V., On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility.
Mathematics 2025, Vol. 13, No 3, Article 409, DOI 10.3390/math13030409. (WoS Q1). http://iitp.ru/https://www.mdpi.com/2227-7390/13/3/409 |
| Kanovei V., Lyubetsky V., On the uniform projection problem in descriptive set theory.
Axioms, 2025, Vol. 14, No. 1, Art. 13.
DOI: 10.3390/axioms14010013
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2075-1680/14/1/13 |
| Кановей В.Г., Любецкий В.А., Независимость схемы свертки в арифметике второго порядка от счетного выбора без параметров.
Математические заметки,
2025, том 117, вып. 2, стр. 257–269.
DOI: https://doi.org/10.4213/mzm14255
(WoS Q3, Scimago SJR Q2).
http://iitp.ru/https://doi.org/10.4213/mzm14255 |
| Kanovei V., Lyubetsky V., Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic.
Studia Logica, 2025, 113, pp. 109--124.
DOI: 10.1007/s11225-024-10108-2
(WoS Q2) http://iitp.ru/https://doi.org/10.1007/s11225-024-10108-2 |
2024 |
| Селиверстов А.В., О длине невыполнимой подформулы. Алгебра и логика. 2024. Том 63. No. 1. С. 89-99.
http://iitp.ru/https://rdcu.be/d4eSj |
| Зверко́в О.А., Селиверстов А.В., Шиловский Г.А., Выравнивание скрытого палиндрома. Математическая биология и биоинформатика. 2024. Т. 19. N 2. С. 427-438. DOI: 10.17537/2024.19.427
http://iitp.ru/https://www.matbio.org/article.php?journ_id=47&id=584&lang=eng |
| Байрамов А.В., Ермакова Г.В., Любецкий В.А., Зарайский А.Г., Поиск генетических основ появления и развития парных конечностей у челюстноротых путем исследования современных представителей эволюционно древних групп.
Сборник тезисов Всероссийской научной конференции с международным участием, посвященной юбилею академика Б.Л. Астаурова «Генетика и индивидуальное развитие»,
Москва, ИБР РАН, 29–31 октября 2024, М.: «Перо», 2024, стр. 27. http://idbras.ru/conferenc2024/tezis2024.pdf |
| Селиверстов А.В., О полурекурсивных множествах. Международная конференция Мальцевские Чтения, 11–15 ноября 2024 г. Тезисы докладов. Новосибирск, 2024. С. 68. http://old.math.nsc.ru/conference/malmeet/24/Main.htm |
| Горбунов К.Ю., Любецкий В.А., Точный квадратичный алгоритм кратчайшего преобразования деревьев.
Доклады Российской академии наук. Математика, информатика, процессы управления,
2024, том 519, № 1, стр. 22–27.
DOI: 10.31857/S2686954324050058 http://iitp.ru/https://doi.org/10.1134/S1064562424702259 |
| Шиловский Г.А., Сорокина Е.В., Любецкая Е.В., Ферубко Е.В., Новые методы индукции антиоксидантной защиты на основе миметиков физических упражнений у пожилых.
Клиническая геронтология, 2024, том 30, № 3-4, стр. 52–56.
DOI: 10.26347/1607-2499202403-04052-056 http://iitp.ru/https://kg.newdiamed.ru/issue/id423192/id423254 |
| Шиловский Г.А., Белок p62: пересечение путей антиоксидантной защиты и аутофагии.
Молекулярная биология, 2024, том 58, № 5, стр. 703–718. http://iitp.ru/https://doi.org/10.1134/S0026893324700390 |
| Селиверстов А.В., Зверко́в О.А., О системах нескольких уравнений по модулю три. XIV Белорусская математическая конференция, посвященная 65-летию Института математики НАН Беларуси: материалы Международной научной конференции. Минск, 28 октября – 1 ноября 2024 г. Минск: Беларуская навука, 2024. Часть 3. С. 152-154. http://iitp.ru/https://mmf.bsu.by/ru/konferentsii/xiv-belorusskaya-matematicheskaya-konferentsiya/ |
| Malaschonok G.I., Селиверстов А.В., MathPartner: An Artificial Intelligence Cloud Service. In: Arai K. (eds) Intelligent Systems and Applications. IntelliSys 2024, Lecture Notes in Networks and Systems, Springer, Cham, 2024, Vol. 1068, P. 182–194. http://iitp.ru/https://doi.org/10.1007/978-3-031-66336-9_14 |
| Шиловский Г.А., Sorokina E., Akhaev D., Антивозрастная медицина: митохондриально-направленные антиоксиданты и физическая нагрузка.
Успехи современной биологии, 2024, том 144, № 2, стр. 155–164.
DOI: 10.31857/S0042132424020035 http://iitp.ru/https://doi.org/10.1134/S2079086424600188 |
| Шиловский Г.А., Исчисление старения: анализ кривых выживания в норме и при патологии, колебание динамики смертности, характеристики распределения продолжительности жизни и показатели ее разброса.
Биохимия, 2024, том 89, № 2, стр. 373–380.
DOI: 10.31857/S0320972524020138MARUU http://iitp.ru/https://doi.org/10.1134/S0006297924020159 |
| Шиловский Г.А., Putyatina T., Markov A., Причины долголетия Tetrapoda: защищенность важнее уровня метаболизма.
Биохимия, 2024, том 89, № 2, стр. 331–351.
DOI: 10.31857/S0320972524020105MHIKM http://iitp.ru/https://doi.org/10.1134/S0006297924020111 |
| Wijayawardene N., Hyde K., Mikhailov K., Peter G., Aptroot A., Pires-Zottarelli C., Goto B., Tokarev Y., Haelewaters D., Karunarathna S., Kirk P., de Santiago A., Saxena R., Schoutteten N., Wimalasena M., Aleoshin V., . . ., Zverkóv O., Thines M., Karpov S.A., Classes and phyla of the kingdom Fungi.
Fungal Diversity, Sep 2024, Vol. 128, P. 1–165.
DOI: 10.1007/s13225-024-00540-z http://iitp.ru/https://doi.org/10.1007/s13225-024-00540-z |
| Kanovei V., Lyubetsky V., On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility.
Preprints 2024, 2024101379. DOI 10.20944/preprints202410.1379.v1 http://iitp.ru/https://doi.org/10.20944/preprints202410.1379.v1 |
| Lyubetsky V., Shilovsky G., Yang J.-R., Seliverstov A., Zverkóv O., The change rate of the Fbxl21 gene and the amino acid composition of its protein correlate with the species-specific lifespan in placental mammals.
Biology, 2024, Vol. 13, No. 10, Art. 792.
DOI: 10.3390/biology13100792
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/biology13100792 |
| Kanovei V., Lyubetsky V., On the significance of parameters and the projective level in the Choice and Collection axioms.
arXiv: 2407.20098 [math.LO], August 2024, 127 pp.
DOI: 10.48550/arXiv.2407.20098 http://iitp.ru/https://arxiv.org/abs/2407.20098 |
| Селиверстов А.В., Бойков А.А., Обсуждение аналогов теоремы Дезарга. IV Конференция Матцентров, Санкт-Петербург, 11 августа 2024. http://iitp.ru/https://mc4-conf.ru/history-of-mathematics |
| Gorbunov K., Lyubetsky V., Algorithms for the reconstruction of genomic structures with proofs of their low polynomial complexity and high exactness.
Mathematics, Mar 11 2024, Vol. 12, No. 6, Art. 817.
DOI: 10.3390/math12060817
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math12060817 |
| Kanovei V., Lyubetsky V., Jensen Δ1n reals by means of ZFC and second-order Peano arithmetic.
Axioms, Jan 30 2024, Vol. 13, No. 2, Art. 96.
DOI: 10.3390/axioms13020096
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/axioms13020096 |
| Kanovei V., Lyubetsky V., A good lightface Δ1n well-ordering of the reals does not imply the existence of boldface Δ1n-1 well-orderings.
Annals of Pure and Applied Logic, Jun 2024, Vol. 175, Iss. 6, Art. 103426.
DOI: 10.1016/j.apal.2024.103426
(WoS Q2) http://iitp.ru/https://doi.org/10.1016/j.apal.2024.103426 |
| Селиверстов А.В., Зверко́в О.А., Нижние границы для ранга матрицы с нулями и единицами вне главной диагонали.
Программирование, 2024, том 50, № 2, стр. 100–107.
DOI: 10.31857/S0132347424020133 http://iitp.ru/https://doi.org/10.1134/S0361768824020142 |
| Селиверстов А.В., On the length of an unsatisfiable conjunction. International Conference Polynomial Computer Algebra 2024, St. Petersburg, Russia, Apr 15–20 2024, pp. 140–143. |
| Селиверстов А.В., О вычислимых за полиномиальное время структурах. Материалы международной конференции Алгебра и математическая логика: теория и приложения. Казань, 27 июня - 1 июля 2024. Стр. 190-192. http://iitp.ru/https://mathcenter.kpfu.ru/algmathlog |
2023 |
| Morgunova G., Shilovsky G., Khokhlov A., Influence of AMPK on the functioning of the circadian clock and its possible role in the development of age-related metabolic disorders.
Advances in Gerontology, Jun 2023, Vol. 13, P. 54–61, published on Feb 15 2024.
DOI: 10.1134/S207905702460006X |
| Хавинсон В.Х., Линькова Н.С., Ашапкин В.В., Шиловский Г.А., Борушко Н.В., Петухов М.Г., Ванюшин Б.Ф., Пептид KE регулирует экспрессию генов и синтез белков SIRT1, PARP1, PARP2 в мезенхимальных стволовых клетках человека при старении. Успехи геронтологии, 2023, том 36, № 3, стр. 302–312.
DOI: 10.34922/AE.2023.36.3.003
http://iitp.ru/https://doi.org/10.34922/AE.2023.36.3.003 |
| Shilovsky G., Seliverstov A., Demographic Indicators of Probability Models.
Advances in Gerontology,
Sep 2023, Vol. 13, No. 3, P. 164–177.
DOI: 10.1134/S2079057024600307 http://iitp.ru/https://doi.org/10.1134/S2079057024600307 |
| 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. http://iitp.ru/https:/doi.org/10.22363/2658-4670-2023-31-4-359-374 |
| Селиверстов А.В., О длине невыполнимой подформулы. Международная конференция Мальцевские чтения 13-17 ноября 2023 г. Новосибирск, 2023. С. 132.
http://old.math.nsc.ru/conference/malmeet/23/maltsev2023.pdf |
| Русин Л.Ю., Современные проблемы биологической эволюции, материалы IV Международной конференции «к 875-летию Москвы и 115-летию со дня основания Государственного Дарвиновского музея», 17–20 октября 2022, Москва, М.: ГДМ, 2022, стр. 395–397 http://iitp.ru/https://www.darwinmuseum.ru/projects/event/evolconf-iv |
| 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) http://iitp.ru/https://onlinelibrary.wiley.com/share/author/PZTK4NRUXGH6JITUIM5P?target=10.1002/jmor.21569 |
| 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 http://iitp.ru/https://doi.org/10.3390/life13041045 |
| 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) http://iitp.ru/https://doi.org/10.3390/ijms241612540 |
| 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) http://iitp.ru/https://doi.org/10.1093/zoolinnean/zlac070 |
| 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) http://iitp.ru/https://doi.org/10.1016/j.jgg.2022.11.005 |
| 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) http://iitp.ru/https://doi.org/10.3390/math11092024 |
| Бойков А.А., Селиверстов А.В., О кубе и проекциях подпространства. Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2023. Т. 33, № 3. С. 402-415.
http://vm.udsu.ru/issues/archive/issue/2023-3-2 |
| Зверко́в О.А., Шиловский Г.А., Селиверстов А.В., Любецкий В.А., Связь видовой продолжительности жизни с эволюцией гена Fbxl21.
Proceedings of 11th Moscow Conference on Computational Molecular Biology MCCMB’23.
Москва, 3–6 августа 2023, М.: ИППИ РАН, 2023 |
| Селиверстов А.В., О двоичных решениях у системы нескольких линейных уравнений по модулю три. Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: Современные проблемы, приложения и проблемы истории: Материалы XXII Международной конференции, посвященной 120-летию со дня рождения академика А. Н. Колмогорова и 60-летию со дня открытия школы-интерната № 18 при Московском университете. — Тула: Тул. гос. пед. ун-т им. Л. Н. Толстого, 2023. С. 242–244.
http://iitp.ru/https://elibrary.ru/umniqg |
| Зверко́в О.А., Селиверстов А.В., Эффективные нижние границы для ранга матрицы и приложения. Программирование. 2023. № 5. С. 79-86.
http://iitp.ru/https://www.elibrary.ru/mheydz |
| 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) http://iitp.ru/https://doi.org/10.1186/s13062-023-00405-6 |
| 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) http://iitp.ru/https://www.mdpi.com/2227-7390/11/15/3294 |
| Селиверстов А.В., Обобщение задачи о сумме подмножеств и кубические формы.
Журнал вычислительной математики и математической физики, 2023, том 63, № 1, стр. 51-60.
Перевод:
Computational Mathematics and Mathematical Physics, 2023, vol. 63, no. 1, pp. 48-56. http://iitp.ru/https://doi.org/10.1134/S0965542523010116 |
| Селиверстов А.В., 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 |
| Селиверстов А.В., А.В. Селиверстов.
Понижение размерности для решения задач о расположении подпространства и вершин куба.
Материалы Всероссийской научно-практической конференции "Ученый, педагог, наставник", посвященной 85-летию со дня рождения профессора А. Р. Есаяна, Тула, 20-21 апреля 2023, Тула: ТГПУ им. Л.Н. Толстого, 2023, стр. 66-69.
http://poivs.tsput.ru/conf/vseros/esayan2023/ |
| Селиверстов А.В., Notes on obstacles to dimensionality reduction.
International Conference Polynomial Computer Algebra "2023, Apr 17, St. Petersburg, Russia, 2023, pp. 104-107.
http://iitp.ru/https://pca-pdmi.ru/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) http://iitp.ru/https://www.mdpi.com/2227-7390/11/11/2517 |
| 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) http://iitp.ru/https://www.mdpi.com/2227-7390/11/3/726 |
| 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)
http://iitp.ru/https://www.ams.org/journals/proc/0000-000-00/S0002-9939-2023-16232-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 http://iitp.ru/https://doi.org/10.20944/preprints202212.0255.v2 |
| 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 http://iitp.ru/https://doi.org/10.48550/arXiv.2209.07599 |
| 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 http://iitp.ru/https://doi.org/10.48550/arXiv.2204.03915 |
| 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 http://iitp.ru/https://doi.org/10.1101/2022.02.15.480519 |
| Шиловский Г.А., Сорокина Е.В., Путятина Т.С., Оценка метаболома человека как метод молекулярной диагностики колоректального рака. Профилактика и терапия.
Успехи современной биологии, 2022, том 142, № 2, стр. 199–205.
DOI: 10.31857/S0042132422020077 http://iitp.ru/https://doi.org/10.1134/S2079086422040089 |
| Шиловский Г.А., Путятина Т.С., Марков А.В., Эволюция долголетия как видового признака у млекопитающих.
Биохимия, 2022, том 87, № 12, стр. 1947–1971.
DOI: 10.31857/S0320972522120132 |
| Шиловский Г.А., Ашапкин В.В., Транскрипционный фактор Nrf2 и митохондрии – друзья или противники в редокс-регуляции темпов старения.
Биохимия, 2022, том 87, № 12, стр. 1856–1867.
DOI: 10.31857/S0320972522120065 http://iitp.ru/https://doi.org/10.31857/S0320972522120065 |
| Шиловский Г.А., Сорокина Е.В., Любецкая Е.В., Ферубко Е.В., Новые методы индукции антиоксидантной защиты на основе нутриентов и пробиотиков у пожилых.
Клиническая геронтология, 2022, том 28, № 11-12, стр. 76–78.
DOI: 10.26347/1607-2499202211-12076-078 http://iitp.ru/https://doi.org/10.26347/1607-2499202211-12076-078 |
| Селиверстов А.В., 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. |
| Латкин И.В., Селиверстов А.В., Недетерминированные вычисления посредством обобщенных регистровых машин.
Международная конференция Мальцевские чтения. Тезисы докладов, Новосибирск, 14-19 ноября 2022, Новосибирск: Новосибирский государственный университет, 2022, стр. 72.
|
| Латкин И.В., Селиверстов А.В., Вычисления над упорядоченными кольцами посредством обобщённых регистровых машин.
Математическая логика и компьютерные науки, Труды Международной научной конференции, Астана, Казахстан, 7-8 октября 2022, стр. 36-40.
http://iitp.ru/https://fit.enu.kz/subpage/protokoly |
| Адлай С.Ф., Малашонок Г.И., Малышев К.Ю., Селиверстов А.В., Усков Ф.Г., Об алгоритмах вычисления полных эллиптических интегралов.
Записки научных семинаров ПОМИ, 2022, том 517, стр. 5-16. http://mi.mathnet.ru/znsl7277 |
| Латкин И.В., Селиверстов А.В., О вычислениях над упорядоченными кольцами.
Сибирские электронные математические известия, 2022, том 19, № 2, стр. 1054-1076.
DOI: 10.33048/semi.2022.19.085
http://iitp.ru/https://doi.org/10.33048/semi.2022.19.085 |
| 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. http://iitp.ru/https://elibrary.ru/item.asp?id=49238208 |
| Селиверстов А.В., 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. http://iitp.ru/https://elibrary.ru/item.asp?id=48599481 |
| 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 http://iitp.ru/https://www.preprints.org/manuscript/202212.0255/v2 |
| 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. http://logicgroup.altervista.org/torino/ESTC2022/site/abstracts/ |
| 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. http://iitp.ru/https://arxiv.org/pdf/2209.07599.pdf |
| 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) http://iitp.ru/https://doi.org/10.3390/axioms11080354 |
| 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. http://iitp.ru/https://arxiv.org/abs/2204.03915 |
| 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) http://iitp.ru/https://doi.org/10.1090/tran/8710 |
| 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) http://iitp.ru/https://www.mdpi.com/2075-1680/11/3/122 |
| Шиловский Г.А., Лабильность защитной системы клетки Nrf2/Keap/ARE в различных моделях клеточного старения и возрастных патологиях.
Биохимия, 2022, том 87, вып. 1, стр. 86–103.
DOI: 10.31857/S0320972522010067 http://iitp.ru/https://doi.org/10.1134/S0006297922010060 |
| 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) http://iitp.ru/https://doi.org/10.3390/math10030491 |
2021 |
| Горбунов К.Ю., Любецкий В.А., Реконструкция эволюции геномных структур с паралогами.
Материалы международного конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 26–29 октября 2021, вып. 19, стр. 207–208.
DOI: 10.37747/2312-640X-2021-19-207-209 http://iitp.ru/https://doi.org/10.37747/2312-640X-2021-19-207-209 |
| Малашонок Г.И., Селиверстов А.В., New features in MathPartner 2021. Computer Tools in Education, 2021, No. 3, P. 29–40. http://cte.eltech.ru/ojs/index.php/kio/article/view/1719 |
| Шиловский Г.А., Сорокина Е.В., Орловский И.В., Транскрипционный фактор NRF2 - мишень активирующих антиоксидантную систему клетки препаратов: перспективы применения при возрастных заболеваниях.
Клиническая геронтология, 2021, том 27, № 11-12, стр. 57–62.
DOI: 10.26347/1607-2499202111-12057-062 http://iitp.ru/https://doi.org/10.26347/1607-2499202111-12057-062 |
| 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,
том 86, вып. 12, стр. 1782–1797.
DOI: 10.31857/S0320972521120034 http://iitp.ru/https://doi.org/10.1134/S0006297921120038 |
| 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. С. 262-266.
doi:10.26456/mfcsics-21-36 http://iitp.ru/https://doi.org/10.26456/mfcsics-21-36 |
| Селиверстов А.В., О некоторых алгоритмах квазиполиномиального времени. Компьютерные инструменты в образовании. 2021, № 2. С. 5–12. DOI: 10.32603/2071-2340-2021-2-5-12 http://cte.eltech.ru/ojs/index.php/kio/article/view/1684 |
| Шиловский Г.А., Путятина Т.С., Павлова И.Б., Сорокина Е.В., Ямскова О.В., Любецкий В.А., Митохондриально-направленные соединения, обеспечивающие защиту фосфолипида митохондрий кардиолипина при возрастных патологиях человека.
Клиническая геронтология, 2021, том 27, № 3-4, стр. 90–94.
DOI: 10.26347/1607-2499202103-04090-094 http://iitp.ru/https://doi.org/10.26347/1607-2499202103-04090-094 |
| Шиловский Г.А., Путятина Т.С., Орловский И.В., Перспективы разработки и применения потенциальных антиоксидантных препаратов на основе глутамил-содержащих и металл-связывающих пептидов.
Клиническая геронтология, 2021, том 27, № 1-2, стр. 59–63.
DOI: 10.26347/1607-2499202101-02059-063 |
| Моргунова Г.В., Шиловский Г.А., Хохлов А.Н., Влияние ограничения питания на старение: исправление проблем с "сенсорами питания" у постмитотических клеток?
Биохимия, 2021, том 86, вып. 10, стр. 1531–1549.
DOI: 10.31857/S0320972521100092 http://iitp.ru/https://doi.org/10.1134/S0006297921100151 |
| Олескин А.В., Сорокина Е.В., Шиловский Г.А., Взаимодействие катехоламинов с микроорганизмами, нейронами и с клетками иммунной системы.
Успехи современной биологии, 2021, том 141, № 1, стр. 3–13.
DOI: 10.31857/S004213242101021X http://iitp.ru/https://doi.org/10.1134/S2079086421040058 |
| Kanovei V., Lyubetsky V., On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021.
DOI: 10.48550/arXiv.2111.07654 http://iitp.ru/https://doi.org/10.48550/arXiv.2111.07654 |
| 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 http://iitp.ru/https://doi.org/10.48550/arXiv.2111.13491 |
| Малашонок Г.И., Селиверстов А.В., 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 http://iitp.ru/https://doi.org/10.22363/2658-4670-2021-29-4-337-346 |
| 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) http://iitp.ru/https://doi.org/10.3390/math9202576 |
| Селиверстов А.В., Об отсутствии (0,1)-решений у системы уравнений. Международная конференция Мальцевские чтения 20-24 сентября 2021. Тезисы докладов. Новосибирск: 2021. С. 73.
http://www.math.nsc.ru/conference/malmeet/21/Main.htm |
| 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). http://www.mathnet.ru/php/presentation.phtml?option_lang=rus&presentid=31068 |
| 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) http://iitp.ru/https://doi.org/10.3390/math9141670 |
| Селиверстов А.В., Двоичные решения для больших систем линейных уравнений. Прикладная дискретная математика. 2021. № 52. С. 5-15. DOI: 10.17223/20710410/52/1 http://iitp.ru/https://doi.org/10.17223/20710410/52/1 |
| Селиверстов А.В., 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 http://iitp.ru/https://doi.org/10.29003/m2019.978-5-317-06623-9 |
| Селиверстов А.В., 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.
http://iitp.ru/https://indico-hlit.jinr.ru/event/187/ |
| Шиловский Г.А., Путятина Т.С., Моргунова Г.В., Селиверстов А.В., Ашапкин В.В., Сорокина Е.В., Марков А.В., Скулачев В.П., Регуляция белков циркадных ритмов и Nrf2-опосредованной антиоксидантной защиты: двойная роль киназы гликогенсинтазы 3.
Биохимия, 2021, том 86, вып. 4, стр. 511–528.
DOI: 10.31857/S0320972521040059 http://iitp.ru/https://doi.org/10.1134/S0006297921040052 |
| Селиверстов А.В., Эвристические алгоритмы распознавания некоторых кубических гиперповерхностей. Программирование. 2021. № 1. С. 65–72. DOI: 10.31857/S0132347421010106 http://iitp.ru/https://elibrary.ru/item.asp?id=44429151 |
| 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) http://iitp.ru/https://www.worldscientific.com/doi/10.1142/S0219061321500148 |
| Кановей В.Г., Любецкий В.А., Модели теории множеств, в которых теорема отделимости неверна.
Известия Российской академии наук. Серия математическая,
2021, том 85, №6, стр. 164–204.
DOI: 10.4213/im8937
(WoS Q2) http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=8937&option_lang=rus |
| 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) http://iitp.ru/https://www.impan.pl/en/publishing-house/journals-and-series/fundamenta-mathematicae/online/113667/d |
| 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) http://iitp.ru/https://doi.org/10.1007/s00605-020-01482-9 |
| 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) http://iitp.ru/https://www.sciencedirect.com/science/article/pii/S0168007220301536?via%3Dihub |
2020 |
| Enayat A., Kanovei V., An unpublished theorem of Solovay, revisited. arXiv:2001.11058 [math.LO], January 2020. http://iitp.ru/https://arxiv.org/abs/2001.11058 |
| Селиверстов А.В., О круговых сечениях поверхности второго порядка. Компьютерные инструменты в образовании. 2020. № 4. С. 59-68.
DOI: 10.32603/2071-2340-2020-4-59-68 http://ipo.spb.ru/journal/index.php?article/2258/ |
| Шиловский Г.А., Сорокина Е.В., Охратоксин А и индукция антиоксидантной / антитоксической системы клетки транскрипционным фактором NRF2 (обзор литературы).
Проблемы медицинской микологии,
2020, том 22, № 4, стр. 3–7. http://iitp.ru/https://elibrary.ru/item.asp?id=44577005 |
| Моргунова Г.В., Шиловский Г.А., Хохлов А.Н., Возрастные расстройства метаболизма: от «четырёх моделей медицины» до клеток.
Клиническая геронтология, 2020, том 26, № 9–10, стр. 17–20.
DOI: 10.26347/1607-2499202009-10017-020 http://iitp.ru/https://doi.org/10.26347/1607-2499202009-10017-020 |
| 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) http://iitp.ru/https://www.mdpi.com/2227-7390/8/12/2214 |
| 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) http://iitp.ru/https://doi.org/10.3390/math8112001 |
| Горбунов К.Ю., Любецкий В.А., Эволюция митохондриальных геномных структур у Metazoa: алгоритм и программа.
Материалы международного форума «Биотехнология: состояние и перспективы развития»,
Москва, 28–30 октября 2020, вып. 18, стр. 260–261.
DOI: 10.37747/2312-640X-2020-18-260-262 http://iitp.ru/https://doi.org/10.37747/2312-640X-2020-18-260-262 |
| Рубанов Л.И., Шиловский Г.А., Селиверстов А.В., Зверко́в О.А., Любецкий В.А., Предсказание потерь генов на основе геномных структур.
Материалы международного форума «Биотехнология: состояние и перспективы развития»,
Москва, 28–30 октября 2020, вып. 18, стр. 258–259.
DOI: 10.37747/2312-640X-2020-18-258-260 http://iitp.ru/https://doi.org/10.37747/2312-640X-2020-18-258-260 |
| Селиверстов А.В., An Effectively Computable Projective Invariant Polynomial Computer Algebra "2020. St. Petersburg, 2020. http://iitp.ru/https://pca-pdmi.ru/2020/program |
| Горбунов К.Ю., Любецкий В.А., Почти точный линейный алгоритм преобразования графов из цепей и циклов, с оптимизацией суммы цен операций.
Доклады Российской академии наук. Математика, информатика, процессы управления,
2020, том 494, № 1, стр. 26–29.
DOI: 10.31857/S2686954320050343 http://iitp.ru/https://doi.org/10.1134/S1064562420050324 |
| 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. http://iitp.ru/https://arxiv.org/abs/2004.14351 |
| 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 http://iitp.ru/https://doi.org/10.1007/s11033-020-05506-3 |
| 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 http://iitp.ru/https://www.aging-us.com/article/102981/text |
| 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 http://iitp.ru/https://www.elibrary.ru/item.asp?id=42660982 |
| 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 http://iitp.ru/https://doi.org/10.18699/BGRS/SB-2020-398 |
| Селиверстов А.В., Быстрое перечисление рациональных чисел и задачи биоинформатики. Алгебра, теория чисел и дискретная геометрия: современные проблемы, приложения и проблемы истории, Материалы XVIII Международной конференции, посвящённой столетию со дня рождения профессоров Б. М. Бредихина, В. И. Нечаева и С. Б. Стечкина, Тула, 23–26 сентября 2020, Тула: ТГПУ им. Л. Н. Толстого, 2020. С. 196-198. eLIBRARY ID: 44367872. http://iitp.ru/https://elibrary.ru/item.asp?id=44367872 |
| 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.
DOI: 10.3390/life10090192, PMID: 32927891 http://iitp.ru/https://doi.org/10.3390/life10090192 |
| 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) http://iitp.ru/https://www.mdpi.com/2227-7390/8/9/1477 |
| Кановей В.Г., Любецкий В.А., Об отношении равенства с точностью до счетного множества.
Математические заметки,
2020, том 108, вып. 4, стр. 629–631.
DOI: 10.4213/mzm12753 (WoS Q3) http://mi.mathnet.ru/mz12753 |
| Селиверстов А.В., Достаточные условия гомеоморфности вещественных кубических гиперповерхностей. Теория управления и математическое моделирование: Материалы Всероссийской конференции с международным участием, посвященной памяти профессора Н.В. Азбелева и профессора Е.Л. Тонкова (Ижевск, Россия, 15-19 июня 2020 г.). Ижевск: Издательский центр Удмуртский университет, 2020. С. 370-372. http://iitp.ru/https://elibrary.ru/item.asp?id=44214003 |
| 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.
DOI: 10.1155/2020/3465380, PMID: 32025518 http://iitp.ru/https://www.hindawi.com/journals/bmri/2020/3465380/ |
| 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) http://iitp.ru/https://www.mdpi.com/2227-7390/8/6/910 |
| 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 http://iitp.ru/https://www.degruyter.com/view/journals/math/18/1/article-p162.xml?tab_body=abstract |
| Селиверстов А.В., Симметричные матрицы, элементами которых служат линейные функции. Журнал вычислительной математики и математической физики, 2020, том 60, № 1, с. 109–115.
DOI: 10.31857/S0044466920010147 |
| 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 http://iitp.ru/https://www.jstor.org/stable/10.14321/realanalexch.45.1.0127?seq=1 |
| 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
(WoS Q1) http://iitp.ru/https://projecteuclid.org/euclid.ndjfl/1576120172 |
2019 |
| Шиловский Г.А., Поли(ADP-рибозил)ирование белков в культивируемых клетках: влияние «стационарного старения» и различных биологически активных соединений.
Диссертация на соискание учёной степени кандидата биологических наук (03.01.08 – Биоинженерия), Москва, 2019, 157 стр. http://iitp.ru/https://istina.msu.ru/dissertations/157339526/ |
| Шиловский Г.А., Поли(ADP-рибозил)ирование белков в культивируемых клетках: влияние «стационарного старения» и различных биологически активных соединений.
Автореферат диссертации на соискание учёной степени кандидата биологических наук (03.01.08 – Биоинженерия), Москва, 2019, 26 стр. http://iitp.ru/https://istina.msu.ru/dissertations/157339526/ |
| 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. http://mccmb.belozersky.msu.ru/2019/thesis/MCCMB2019/pages/author.utf8.html |
| Горбунов К.Ю., Любецкий В.А., Линейный алгоритм реконструкции хромосомных структур.
Материалы международного конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 25–27 февраля 2019, вып. 17, стр. 349–350. http://iitp.ru/https://elibrary.ru/item.asp?id=37590378 |
| Рубанов Л.И., Шиловский Г.А., Селиверстов А.В., Зверко́в О.А., Любецкий В.А., Гены мыши, потерянные у грызунов и приматов с высокой продолжительностью жизни.
Материалы международного конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 25–27 февраля 2019, вып. 17, стр. 341. http://iitp.ru/https://elibrary.ru/item.asp?id=37590373 |
| Шиловский Г.А., Путятина Т.С., Ашапкин В.В., Ямскова О.В., Любецкий В.А., Сорокина Е.В., Шрам С.И., Марков А.В., Высоких М.Ю., Биологическое разнообразие кардиолипина и его ремоделирование при окислительном стрессе и возрастных патологиях.
Биохимия, 2019, том 84, № 12, стр. 1815–1831.
DOI: 10.1134/S0320972519120066 |
| Селиверстов А.В., О двоичных решениях систем уравнений.
Прикладная дискретная математика,
2019, № 45, стр. 26–32.
DOI: 10.17223/20710410/45/3 http://iitp.ru/https://doi.org/10.17223/20710410/45/3 |
| Любецкий В.А., Кановей В.Г., Теория множеств: абсолютно неразрешимые классические проблемы.
Учебное пособие для вузов, 2-е изд. М.: Юрайт, 2019. 348 стр.
ISBN: 978-5-534-10390-8 |
| Любецкий В.А., Элементарная математика с точки зрения высшей. Основные понятия.
Учебное пособие для вузов, 3-е изд. М.: Юрайт, 2019. 538 стр.
ISBN: 978-5-534-10421-9, 978-5-534-12055-4 |
| Горбунов К.Ю., Любецкий В.А., Линейный алгоритм реконструкции хромосомных структур. Материалы международного конгресса «Биотехнология: состояние и перспективы развития» http://lab6.iitp.ru/ru/pub/ru_biotech_2019_gl.pdf |
| 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 http://iitp.ru/https://doi.org/10.1515/9780691197944-015 |
| 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 http://iitp.ru/https://wydawnictwa.ptm.org.pl/index.php/antiquitates-mathematicae/article/view/6440 |
| Kanovei V., Lyubetsky V., Indiscernible pairs of countable sets of reals at a given projective level.
arXiv: 1912.12962 [math.LO], December 2019. http://iitp.ru/https://arxiv.org/abs/1912.12962 |
| Селиверстов А.В., Вычисление наибольшего общего делителя на обобщённых регистровых машинах. Программа 62-й Всероссийской научной конференции МФТИ. 18-24 ноября 2019 года. М.: МФТИ, 2019. С. 95. http://iitp.ru/https://conf62.mipt.ru |
| Селиверстов А.В., Замечание о круговых сечениях. Неопубликованный текст. |
| 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, IF 4) http://iitp.ru/https://doi.org/10.1186/s13040-019-0208-x |
| 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 http://iitp.ru/https://www.hindawi.com/journals/omcl/2019/2901057/ |
| 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 10) http://iitp.ru/https://www.cell.com/cell-reports/fulltext/S2211-1247(19)31226-4 |
| Kanovei V., Definable selector for Δ02 sets modulo countable.
arXiv: 1910.00926 [math.LO], October 2019 http://iitp.ru/https://arxiv.org/abs/1910.00926 |
| Селиверстов А.В., Матрицы Гессе приводимых многочленов третьей степени. Алгебра, теория чисел и дискретная геометрия: современные проблемы, приложения и проблемы истории: Материалы XVII Междунар. конф., посвященной 100-летию со дня рождения профессора Н. И. Фельдмана и 90-летию со дня рождения профессоров А. И. Виноградова, А. В. Малышева и Б. Ф. Скубенко. Тула: Тул. гос. пед. ун-т им. Л. Н. Толстого, 2019. С. 294-296
http://poivs.tsput.ru/conf/international/XVII/files/Conference2019S.pdf |
| Селиверстов А.В., On smoothness recognition over reals. Международная конференция Мальцевские чтения 19–23 августа 2019 г. Тезисы докладов. Новосибирск, 2019. С. 97. http://www.math.nsc.ru/conference/malmeet/19/Main.htm |
| 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 http://iitp.ru/https://doi.org/10.15330/ms.51.2.200-224 |
| 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 http://cte.eltech.ru/ojs/public/static/ProgramCAM-2019.pdf |
| Селиверстов А.В., Заметки о генерической сложности задач распознавания. Материалы конференции "Алгебра и математическая логика: теория и приложения" (г. Казань, 24-28 июня 2019 г.) Казань: КФУ, 2019. С. 158-160. http://iitp.ru/https://kpfu.ru/math/conference/algmathlog |
| Kanovei V., Lyubetsky V., Models of set theory in which separation theorem fails.
arXiv:1905.11241 [math.LO], May 2019. http://iitp.ru/https://arxiv.org/abs/1905.11241 |
| Zverkóv O., Mikhailov K., Isaev S., Rusin L., Popova O., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V., Dicyemida and Orthonectida: Two stories of body plan simplification.
Frontiers in Genetics
Vol. 10, Article 443.
DOI: 10.3389/fgene.2019.00443, PMID: 31178892
(WoS Q1, IF 5) http://iitp.ru/https://www.frontiersin.org/articles/10.3389/fgene.2019.00443/full |
| Селиверстов А.В., О Геометрической бригаде ИОНХ АН СССР до 1941 года. Алгебра, теория чисел и дискретная геометрия: современные проблемы, приложения и проблемы истории: Материалы XVI Междунар. конф., посвященной 80-летию со дня рождения профессора Мишеля Деза. – Тула: Тул. гос. пед. ун-т им. Л. Н. Толстого, 2019. С. 378–380. http://poivs.tsput.ru/conf/international/XVI/files/Conference2019M.pdf |
| Селиверстов А.В., On polynomials of odd degree over reals. International Conference Polynomial Computer Algebra "2019; St. Petersburg, April 15–20, 2016 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2019. P. 133–134. http://iitp.ru/https://pca-pdmi.ru/2019/pca2019_book.pdf |
| Кановей В.Г., Любецкий В.А., Абсолютность множества Σ по Соловею.
Сибирский математический журнал,
2019, 60, №6, стр. 1286-1290.
DOI 10.33048/smzh.2019.60.608 http://mi.mathnet.ru/rus/smj/v60/i6/p1286 |
| Gitman V., Friedman S.D., Kanovei V., A model of second-order arithmetic satisfying AC but not DC.
Journal of Mathematical Logic, 2019, 19, no 1, article ID 1850013, pp. 1--39. DOI 10.1142/S0219061318500137 WoS Q1 (Ranked 1st overall in the category of Logic) http://iitp.ru/https://www.worldscientific.com/doi/pdf/10.1142/S0219061318500137 |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae,
2019, 245, 2, pp. 175--216.
DOI: 10.4064/fm517-7-2018
(WoS Q3) http://iitp.ru/https://www.doi.org/10.4064/fm517-7-2018 |
| Кановей В.Г., Любецкий В.А., Определимые элементы определимых борелевских множеств.
Математические заметки,
2019, 105, вып. 5, стр. 696–707.
DOI: 10.4213/mzm12001
(WoS Q3) http://mi.mathnet.ru/mz12001 |
| Kanovei V., Lyubetsky V., Borel OD sets of reals are OD-Borel in some simple models.
Proceedings of the American mathematical society,
2019, 147, no 3, pp. 1277–1282.
DOI 10.1090/proc/14286
(WoS Q2) http://iitp.ru/https://doi.org/10.1090/proc/14286 |
| Kanovei V., Lyubetsky V., Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic,
2019, vol. 84, no 1, pp. 266-289.
DOI:10.1017/jsl.2018.77
(WoS Q2) http://iitp.ru/https://doi.org/10.1017/jsl.2018.77 |
2018 |
| Шиловский Г.А., Ашапкин В.В., Линькова Н.С., Хавинсон В.Х., Ванюшин Б.Ф., Экспрессия генов KLF, PTEN, SUMO1, APOE, SOD2 и SHC1 в покоящихся клетках разного «возраста»: модель тестирования некоторых геропротекторов.
Клиническая геронтология,
2018, том 24, № 9–10, стр. 80–82. |
| Исаев С.В., Зверко́в О.А., Михайлов К.В., Алёшин В.В., Панчин Ю.В., Кольцевые последовательности ДНК в геноме Dicyema sp.
ИТИС 2018, Сборник трудов 42-й междисциплинарной школы-конференции ИППИ РАН «Информационные технологии и системы 2018», Казань, 25–30 сентября 2018,
М.: ИППИ РАН, 2018, стр. 584–587. http://iitp.ru/https://elibrary.ru/item.asp?id=37930756 |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769v3 [math.LO], January 2018. http://iitp.ru/https://arxiv.org/abs/1712.00769v3 |
| Korotkova D., Lyubetsky V., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Martynova N., Nesterenko A., Tereshina M., Peshkin L., Zaraisky A., Bioinformatic screening of genes present only in well regenerating vertebrates reveals novel FGF and purinergic signaling modulator - c-Answer.
bioRxiv, 13 Dec 2018.
DOI: 10.1101/494609 http://iitp.ru/https://doi.org/10.1101/494609 |
| Короткова Д.Д., Иванова А.С., Мартынова Н.Ю., Любецкий В.А., Селиверстов А.В., Нестеренко А.М., Терёшина М.Б., Зарайский А.Г., Роль нового трансмембранного модулятора пуринергического рецептора P2Y1 и рецепторов факторов роста фибробластов – c-Answer в регенерации и развитии мозга у холоднокровных.
Студенческий биохимический форум - 2018,
Материалы I межвузовской студенческой конференции, Москва, 17 декабря 2018, М.: МГУ, 2018, стр. 13–14. http://iitp.ru/https://elibrary.ru/item.asp?id=37024423 |
| Короткова Д.Д., Иванова А.С., Мартынова Н.Ю., Любецкий В.А., Селиверстов А.В., Нестеренко А.М., Терёшина М.Б., Зарайский А.Г., Роль нового трансмембранного регулятора регенерации и развития мозга - c-Answer - в функционировании пуринэргического рецептора P2Y1 и рецептора факторов роста фибробластов FGFR4.
Перспективные направления физико-химической биологии и биотехнологии,
Сборник тезисов XXX зимней молодежной научной школы, Москва, 12–15 февраля 2018, Сост.: Стукачева Е.А., Шереметьева Э.В., М.: ИБХ РАН, 2018, стр. 72–73. http://iitp.ru/https://elibrary.ru/item.asp?id=32869223 |
| Алёшин В.В., Слюсарев Г.С., Михайлов К.В., Русин Л.Ю., Попова О.В., Мороз Л.Л., Зверко́в О.А., Любецкий В.А., Филогения Mesozoa.
Зоология беспозвоночных – новый век,
Материалы конференции, посвященной 160-летию Кафедры зоологии беспозвоночных Биологического факультета МГУ им. М.В. Ломоносова, Москва, 19–21 декабря 2018, стр. 15. http://iitp.ru/https://elibrary.ru/item.asp?id=36828957 |
| Шиловский Г.А., Путятина Т.С., Ашапкин В.В., Минина Е.П., Любецкий В.А., Ванюшин Б.Ф., Антивозрастная медицина: требования к геропротекторам для лиц пожилого возраста.
Клиническая геронтология,
2018, том 24, № 9–10, стр. 82–84. http://iitp.ru/https://elibrary.ru/item.asp?id=35418993 |
| Шиловский Г.А., Путятина Т.С., Ашапкин В.В., Розина А.А., Любецкий В.А., Минина Е.П., Бычковская И.Б., Марков А.В., Скулачев В.П., Муравьи как объект геронтологических исследований.
Биохимия,
2018, том 83, № 12, стр. 1827–1843.
DOI: 10.1134/S0320972518120072 http://iitp.ru/https://doi.org/10.1134/S0006297918120076 |
| Kanovei V., Lyubetsky V., On intermediate extensions of generic extensions by a random real.
arXiv:1811.10568 [math.LO], December 2018. http://iitp.ru/https://arxiv.org/abs/1811.10568 |
| Селиверстов А.В., Эллиптические точки на графиках многочленов третьей степени. Труды 61-й Всероссийской научной конференции МФТИ. 19–25 ноября 2018 года. Прикладная математика и информатика. М.: МФТИ, 2018. С. 159–160. http://iitp.ru/https://conf61.mipt.ru/view/2847663 |
| Kanovei V., Lyubetsky V., On Harrington"s model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami.
arXiv:1810.12542v2 [math.LO], November 2018. http://iitp.ru/https://arxiv.org/abs/1810.12542 |
| Aleoshin V., Slyusarev G., Mikhailov K., Popova O., Rusin L., Zverkóv O., Lyubetsky V., Orthonectida and Dicyemida: Two stories of body plan simplification.
In: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin),
Moscow: Torus Press, 2018, P. 3–4.
DOI: 10.30826/MolPhy2018-01 http://iitp.ru/https://doi.org/10.30826/MolPhy2018-01 |
| Kanovei V., Lyubetsky V., A countable definable set of reals containing no definable elements,
arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
http://iitp.ru/https://arxiv.org/abs/1408.3901 |
| Gitman V., Friedman S.D., Kanovei V., A model of second-order arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO], August 2018. http://iitp.ru/https://arxiv.org/abs/1808.04732 |
| Seliverstov A., Shilovsky G., Rubanov L., Zverkóv O., Lyubetsky V., Longevity in mammals: lost genes as a determinant.
Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB-2018): The Eleventh International Conference (20–25 Aug. 2018, Novosibirsk, Russia); Abstracts.
Institute of Cytology and Genetics, Siberian Branch of Russian Academy of Sciences; Novosibirsk State University. –
Novosibirsk: ICG SB RAS, 2018. P. 249.
DOI: 10.18699/BGRSSB-2018-221 http://conf.bionet.nsc.ru/bgrssb2018/en/ |
| Seliverstov A., Rubanov L., Shilovsky G., Zverkóv O., Lyubetsky V., Longevity in euarchontoglires: lost genes as a determinant.
FEBS Open Bio,
2018, Vol. 8 (Suppl. 1), P. 456–457;
DOI: 10.1002/2211-5463.12453. http://iitp.ru/https://doi.org/10.1002/2211-5463.12453 |
| Селиверстов А.В., Двоичные решения некоторых систем линейных уравнений. Проблемы оптимизации и их приложения = Optimization Problems and Their Applications (OPTA-2018): тезисы докладов VII Международной конференции (Омск, Россия, 8-14 июля 2018 г.): памяти проф. А.А. Колоколова / редкол.: С.В. Белим и др. - Омск: Изд-во Ом. гос. ун-та, 2018. С. 105. |
| Селиверстов А.В., Binary Solutions to Some Systems of Linear Equations.
In: Eremeev A., Khachay M., Kochetov Y., Pardalos P. (eds) Optimization Problems and Their Applications. OPTA 2018.
Communications in Computer and Information Science, vol 871, pp. 183-192. Springer, Cham (2018).
http://iitp.ru/https://doi.org/10.1007/978-3-319-93800-4_15 |
| Горбунов К.Ю., Любецкий В.А., Линейный алгоритм перестройки графа.
Автоматика и телемеханика,
2018, том 79, № 12, стр. 124–141.
DOI: 10.31857/S000523100002861-1 http://iitp.ru/https://doi.org/10.1134/S0005117918120093 |
| Селиверстов А.В., Замечание о двоичных решениях некоторых систем алгебраических уравнений. Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения: Материалы XV Междунар. конф., посвященной столетию со дня рождения профессора Николая Михайловича Коробова. – Тула: ТГПУ им. Л.Н. Толстого, 2018. С. 197-199.
http://poivs.tsput.ru/conf/international/XV/files/conference2018.pdf |
| Селиверстов А.В., Распознавание вещественных кубических гиперповерхностей без прямой из особых точек. Международная алгебраическая конференция, посвящённая 110-летию со дня рождения профессора А.Г. Куроша. Тезисы докладов. - М.: Издательство МГУ, 2018. С. 175-177. http://iitp.ru/https://lomonosov-msu.ru/rus/event/4623/ |
| Селиверстов А.В., Real cubic hypersurfaces containing no line of singular points. International Conference Polynomial Computer Algebra "2018, Russian Academy of Sciences, St. Petersburg Department of Steklov Mathematical Institute, Euler International Mathematical Institute, April 19–21 2018, St. Petersburg, Russia, Ed. by N. N. Vassiliev, VVM Publishing, 2018, P. 109–110. http://pca-pdmi.ru/2018/Book_PCA2018_.pdf |
| Lyubetsky V., Lyubetskaya E., Gorbunov K., Linear algorithm for a cyclic graph transformation.
Lobachevskii Journal of Mathematics,
2018, Vol. 39, No. 9, P. 1217–1227.
DOI: 10.1134/S1995080218090147 http://iitp.ru/https://doi.org/10.1134/S1995080218090147 |
| Kanovei V., Lyubetsky V., Definable E0 classes at arbitrary projective levels.
Annals of Pure and Applied Logic,
2018, Vol. 169, Iss. 9, P. 851–871.
DOI: 10.1016/j.apal.2018.04.006
(WoS Q1) http://iitp.ru/https://doi.org/10.1016/j.apal.2018.04.006 |
| Kanovei V., Lyubetsky V., Canonization of smooth equivalence relations on infinite-dimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018. http://arxiv.org/abs/1804.05174 |
| Селиверстов А.В., О некоторых вещественных кубических гиперповерхностях. Алгебра и теория алгоритмов: Всероссийская конференция, посвященная 100-летию факультета математики и компьютерных наук Ивановского государственного университета: сборник материалов. Иваново, Иван. гос. ун-т. 2018. С.179-181. http://math.ivanovo.ac.ru/math-ivsu-100/index.html |
| Kanovei V., Katz M., Blaszczyk P., Nowik T., Monotone subsequence via ultrapower.
Open Mathematics, 2018, 16, 1, c. 149-153 DOI: 10.1515/math-2018-0015 WoS Q2 http://iitp.ru/https://www.degruyter.com/view/j/math.2018.16.issue-1/math-2018-0015/math-2018-0015.xml |
| Kanovei V., Katz K., Katz M., Mormann T., What makes a theory of infinitesimals useful? A view by Klein and Fraenkel.
Journal of Humanistic Mathematics, 2018, 8, 1, pp. 108-119. DOI: 10.5642/jhummath.201801.07 http://scholarship.claremont.edu/jhm/vol8/iss1/7 |
| Bascelli T., Blazczyk P., Borovik A., Kanovei V., Katz K., Katz M., Kutateladze S., McCaffery T., Schaps D., Sherry D., Cauchy"s infinitesimals, his sum theorem, and foundational paradigms.
Foundations of Science, 2018, 23, 2, pp 267–296. DOI: 10.1007/s10699-017-9534-y WoS Q2 http://link.springer.com/article/10.1007/s10699-017-9534-y |
| Kanovei V., Lyubetsky V., Countable OD sets of reals belong to the ground model.
Archive for Mathematical Logic,
2018, Vol. 57, Iss. 3–4, P. 285–298.
DOI: 10.1007/s00153-017-0569-0 http://link.springer.com/article/10.1007/s00153-017-0569-0 |
| Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al., Gregory"s sixth operation,
Foundations of Science, 2018, 23, 1, pp. 133--144. DOI: 10.1007/s10699-016-9512-9 WoS Q2 http://link.springer.com/article/10.1007/s10699-016-9512-9 |
| Herzberg F., Kanovei V., Katz M., Lyubetsky V., Minimal axiomatic frameworks for definable hyperreals with transfer.
Journal of Symbolic Logic,
2018, 83, 1, pp. 385-391.
DOI: 10.1017/jsl.2017.48
(WoS Q1)
http://iitp.ru/https://doi.org/10.1017/jsl.2017.48 |
| Кановей В.Г., Любецкий В.А., Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали.
Известия Российской академии наук. Серия математическая,
2018, том 82, № 1, стр. 65–96.
DOI: 10.4213/im8521
(WoS Q2) http://mi.mathnet.ru/izv8521 |
2017 |
| Herzberg F., Kanovei V., Katz M., Lyubetsky V., Minimal axiomatic frameworks for definable hyperreals with transfer.
arXiv:1707.00202 [math.LO], July 2017. http://iitp.ru/https://arxiv.org/abs/1707.00202 |
| Zverkóv O., Mikhailov K., Rusin L., Lyubetsky V., Aleoshin V., Phylogenomic evidence disentangles affinities of the Mesozoa.
Proceedings of the 4th International Congress on Invertebrate Morphology (ICIM4),
Moscow, Russia, August 18–23 2017, P. 55. http://docs.wixstatic.com/ugd/129822_1dbca70562c24ef59bb43f05d8741720.pdf |
| Lyubetsky V., Gershgorin R., Rubanov L., Seliverstov A., Zverkóv O., Evolution and systematics of plastids of rhodophytic branch.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’17,
Moscow, Russia, July 27–30 2017, P. 48. http://iitp.ru/https://elibrary.ru/item.asp?id=32563226 |
| Любецкий В.А., Рубанов Л.И., Горбунов К.Ю., Зверко́в О.А., Селиверстов А.В., Высококонсервативные элементы в митохондриях инфузорий и однодольных растений.
Материалы IX Международного Конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 20–22 февраля 2017, часть 1, стр. 392. http://iitp.ru/https://elibrary.ru/item.asp?id=29220438 |
| Короткова Д.Д., Иванова А.С., Любецкий В.А., Селиверстов А.В., Нестеренко А.М., Терёшина М.Б., Зарайский А.Г., Роль нового трансмембранного белка холоднокровных c-Answer в регенерации и развитии мозга у шпорцевой лягушки.
Перспективные направления физико-химической биологии и биотехнологии,
Сборник тезисов, Москва, 7–10 февраля 2017, стр. 25–26. http://iitp.ru/https://elibrary.ru/item.asp?id=28808988 |
| Lyubetsky V., Gershgorin R., Gorbunov K., Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming.
BMC Bioinformatics,
2017, Vol. 18, No. 537.
doi:10.1186/s12859-017-1944-x, PMID: 29212445
(WoS Q1) http://dx.doi.org/10.1186/s12859-017-1944-x |
| Zverkóv O., Rubanov L., Rusin L., Seliverstov A., Lyubetsky V., Finding long highly conserved elements in complete animal genomes.
CEUR Workshop Proceedings,
Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 402–408, in Russian. http://ceur-ws.org/Vol-2064/paper47.pdf |
| Gorbunov K., Lyubetsky V., Transformation of large chromosome structures: an algorithm of equalization of gene contents.
CEUR Workshop Proceedings,
Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 395–401, in Russian. http://ceur-ws.org/Vol-2064/paper46.pdf |
| Селиверстов А.В., Эффективная унирациональность кубической гиперповерхности. Труды 60-й Всероссийской научной конференции МФТИ. 20–26 ноября 2017 г. Прикладная математика и информатика.. М.: МФТИ, 2017. С. 173–175. http://iitp.ru/https://abitu.net/public/admin/mipt-conference/FPMI.pdf |
| Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., Kudryk T., Kutateladze S., McGaffey T., Mormann T., Schaps D., Sherry D., Cauchy, infinitesimals and ghosts of departed quantifiers,
Mat. Stud. 2017, 47, 2, 115--144 doi:10.15330/ms.47.2.115-144 http://matstud.org.ua/texts/2017/47_2/115-144.pdf |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769v1 [math.LO], December 2017. http://iitp.ru/https://arxiv.org/abs/1712.00769v1 |
| Селиверстов А.В., Поиск точек на гладкой кубической гиперповерхности. Компьютерная алгебра: материалы Международной конференции. Москва, 30 октября - 3 ноября 2017 г. / ред. С.А. Абрамов, Т.М. Садыков. - Москва: ФГБОУ ВО РЭУ им. Г.В. Плеханова, 2017. С. 158-164. |
| Селиверстов А.В., Начертательная геометрия для преподавания математики. Проблемы качества графической подготовки студентов в техническом вузе: традиции и инновации. 2017. Т. 1. С. 346-352.
|
| Горбунов К.Ю., Любецкий В.А., Кратчайшее преобразование графа.
Доклады академии наук,
2017, том 476, № 6, стр. 614–616.
doi:10.7868/S0869565217300028 http://iitp.ru/https://doi.org/10.1134/S1064562417050313 |
| Lyubetsky V., Korotkova D., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Nesterenko A., Tereshina M., Zaraisky A.G., Novel transmembrane protein c-Answer revealed by bioinformatic screening of genes present only in well regenerating animals.
FEBS Journal, 2017, Vol. 284, Iss. S1, P. 155.
doi:10.1111/febs.14174 |
| Gorbunov K., Lyubetsky V., A linear algorithm for the shortest transformation of graphs with different operation costs.
Journal of Communications Technology and Electronics,
2017, Vol. 62, No. 6, P. 653–662.
doi:10.1134/S1064226917060092 http://iitp.ru/https://doi.org/10.1134/S1064226917060092 |
| Korotkova D.D., Ivanova A.S., Lyubetsky V., Seliverstov A., Martynova N.Y., Nesterenko A.M., Zaraisky A.G., Novel FGF-signaling modulator c-Answer revealed by bioinformatics screening for genes present only in well-regenerative animals.
Mechanisms of Development,
2017, Vol. 145, P. S49.
doi:10.1016/j.mod.2017.04.089 |
| Kanovei V., Lyubetsky V., Definable minimal collapse functions at arbitrary projective levels.
arXiv:1707.07320 [math.LO], July 2017. http://iitp.ru/https://arxiv.org/abs/1707.07320 |
| Селиверстов А.В., О касательных прямых к аффинным гиперповерхностям. Вестник Удмуртского университета. Математика. Механика. Компьютерные науки 2017. Том 27, No. 2. С. 248--256. DOI: 10.20537/vm170208 http://vst.ics.org.ru/uploads/vestnik/2_2017/17-02-08.pdf |
| Рубанов Л.И., Селиверстов А.В., Projective-invariant description of a meandering river. Journal of Communications Technology and Electronics, 2017; vol. 62, no. 6, p. 663–668. DOI: 10.1134/S1064226917060201 |
| Kanovei V., Lyubetsky V., Definable E0 classes at arbitrary projective levels.
arXiv:1705.02975 [math.LO], May 2017. http://iitp.ru/https://arxiv.org/abs/1705.02975 |
| Селиверстов А.В., On probabilistic algorithm for solving almost all instances of the set partition problem. In: P. Weil (Ed.) Computer Science – Theory and Applications. CSR 2017. Lecture Notes in Computer Science, vol. 10304. Springer, Cham, 2017. Pp. 285–293. DOI: 10.1007/978-3-319-58747-9_25
http://iitp.ru/https://link.springer.com/chapter/10.1007%2F978-3-319-58747-9_25 |
| Селиверстов А.В., О поиске особых точек алгебраической кривой. Геометрия и графика 2017. Т. 5. № 1. С. 36-42. DOI: 10.12737/25118 |
| Селиверстов А.В., An Approach to the Set Partition Problem. International Conference on Polynomial Computer Algebra "2017; St. Petersburg, April 17-22, 2017 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2017. P. 96-99. http://pca.pdmi.ras.ru/2017/pca2017_Book.pdf |
| Горбунов К.Ю., Любецкий В.А., Алгоритм преобразования одного графа в другой с минимальной ценой.
Информатика и её применения,
2017, том 11, вып. 1, стр. 79–89. doi:10.14357/19922264170107 |
| Горбунов К.Ю., Любецкий В.А., Линейный алгоритм минимальной перестройки структур.
Проблемы передачи информации,
2017, том 53, вып. 1, стр. 60–78. |
| Gershgorin R., Gorbunov K., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., Highly Conserved Elements and Chromosome Structure Evolution in Mitochondrial Genomes in Ciliates.
Life, 2017, Vol. 7, No. 9.
doi:10.3390/life7010009, PMID: 28264444 http://www.mdpi.com/2075-1729/7/1/9/htm |
| Kanovei V., Lyubetsky V., The full basis theorem does not imply analytic wellordering.
arXiv:1702.03566v2 [math.LO], February 2017. http://iitp.ru/https://arxiv.org/abs/1702.03566 |
| Кановей В.Г., Любецкий В.А., Генерическое свойство множества Σ по Соловею.
Сибирский математический журнал,
2017, том 58, вып. 6, стр. 1302–1305.
doi:10.17377/smzh.2017.58.610 http://iitp.ru/https://link.springer.com/article/10.1134%2FS0037446617060106 |
| Fletcher P., Hrbacek K., Kanovei V., Katz M., Lobry C., Sanders S., Approaches to analysis with infinitesimals following Robinson, Nelson, and others.
Real Analysis Exchange, 2017, 42, 2, pp. 193-252. DOI: 10.14321/realanalexch.41.1.0193 SCIMAGO, Q3 http://iitp.ru/https://www.jstor.org/stable/10.14321/realanalexch.42.2.0193?refreqid=excelsior%3Ab03b59e276fdb542e9 |
| Kanovei V., Katz M., A positive function with vanishing Lebesgue integral in Zermelo -- Fraenkel set theory.
Real Analysis Exchange, 2017, 42, no. 2, 385-390. DOI: 10.14321/realanalexch.42.2.0385 SCIMAGO, Q3 http://msupress.org/journals/issue/?id=50-21D-61F |
| Blaszczyk P., Kanovei V., Katz M., et al., Toward a history of mathematics focused on procedures,
Foundations Of Science, 2017, 22, Issue 4, pp 763–783, DOI: 10.1007/s10699-016-9498-3 . WoS Q2 http://link.springer.com/article/10.1007/s10699-016-9498-3 |
| Blaszczyk Piotr, Kanovei V., U. Katz Karin, G. Katz Mikhail, et al., Is Leibnizian calculus embeddable in first order logic?
Foundations of Science, 2017, 22, Issue 4, pp 717–731. DOI: 10.1007/s10699-016-9495-6 . WoS Q2 http://iitp.ru/https://link.springer.com/article/10.1007/s10699-016-9495-6 |
| Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., et al., Interpreting the infinitesimal mathematics of Leibniz and Euler,
Journal for General Philosophy of Science, 2017, 48, issue 2, pp, 195--238. DOI: 10.1007/s10838-016-9334-z . SCOPUS Q2 http://link.springer.com/article/10.1007/s10838-016-9334-z |
| Кановей В.Г., Любецкий В.А., Определимое счетное множество, не содержащее определимых элементов.
Математические заметки, 2017, 102, вып. 3, стр. 369-382.
doi:10.4213/mzm10842 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=10842&option_lang=rus |
| Blazczyk P., Kanovei V., Katz M., Sherry D., Controversies on foundations of analysis: comments on Schubring’s conflicts.
Foundations of Science, 2017, 22, 1, pp. 125--140. DOI: 10.1007/s10699-015-9473-4 . WoS Q2 http://link.springer.com/article/10.1007/s10699-015-9473-4?no-access=true |
| Golshani M., Kanovei V., Lyubetsky V., A Groszek-Laver pair of undistinguishable E0-classes.
Mathematical Logic Quarterly,
2017, Vol. 63, No. 1–2, P. 19–31.
doi:10.1002/malq.201500020 http://onlinelibrary.wiley.com/wol1/doi/10.1002/malq.201500020/abstract |
2016 |
| Golshani M., Kanovei V., Lyubetsky V., A Groszek-Laver pair of undistinguishable E0 classes.
arXiv:1601.03477 [math.LO], Jan 14 2016, 18 pp. http://iitp.ru/https://arxiv.org/abs/1601.03477 |
| Зверко́в О.А., Русин Л.Ю., Любецкий В.А., Алёшин В.В., Problem of phylogenetic position of dicyemids.
Abstracts of the International Symposium "Cognitive Sciences, Genomics and Bioinformatics" (CSGB-2016),
Novosibirsk, Russia, August 29–31 2016, P. 68. http://iitp.ru/https://elibrary.ru/item.asp?id=39388956 |
| Горбунов К.Ю., Любецкий В.А., Модифицированный алгоритм преобразования хромосомных структур: условия абсолютной точности.
Современные информационные технологии и ИТ-образование.
2016, том 12, № 1, стр. 162–172. http://iitp.ru/https://elibrary.ru/item.asp?id=27539231 |
| Селиверстов А.В., Начертательная геометрия для преподавания дискретной математики Математические методы и модели: теория, приложения и роль в образовании: Международная научно-техническая конференция (Россия, г. Ульяновск, 28-30 апреля 2016 г.): сборник научных трудов. Ч. 1 / под общ. ред. д-ра физ.-мат. наук, проф. П. А. Вельмисова. Ульяновск: УлГТУ, 2016.
С. 257-260.
http://venec.ulstu.ru/lib/disk/2017/84.pdf |
| Korolev S., Gorbunov K., Zverkóv O., Seliverstov A., Lyubetsky V., Degenerate inverted repeats in the genomes of mycobacterium.
CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 182–187, in Russian. |
| Lyubetsky V., Piel W., Stadler P., Molecular Phylogenetics 2016.
BioMed Research International,
2016, vol. 2016, Article ID 9029306.
DOI: 10.1155/2016/9029306, PMID: 28127550 http://iitp.ru/https://www.hindawi.com/journals/bmri/2016/9029306/ |
| Gorbunov K., Lyubetsky V., A modified algorithm for transformation of chromosomal structures: a condition of absolute exactness.
CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 162–172, in Russian. |
| Горбунов К.Ю., Любецкий В.А., Линейный алгоритм кратчайшей перестройки графов при разных ценах операций.
Информационные процессы, 2016, том 16, № 2, стр. 223–236. |
| Lyubetsky V., Seliverstov A., A Novel Algorithm for Solution of a Combinatory Set Partitioning Problem.
Journal of Communications Technology and Electronics,
2016, vol. 61, no. 6, p. 705–708.
DOI: 10.1134/S1064226916060152 |
| Rubanov L., Seliverstov A., Zverkóv O., Lyubetsky V., A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata.
BMC Bioinformatics.
2016, vol. 17, art. 385, 16 pp.
DOI: 10.1186/s12859-016-1257-5, PMID: 27645252 http://dx.doi.org/10.1186/s12859-016-1257-5 |
| Селиверстов А.В., О симметрии проективных кривых. Вестник ТвГУ. Серия: Прикладная математика. 2016. № 3. С. 59-66.
|
| Рубанов Л.И., Зверко́в О.А., Селиверстов А.В., Любецкий В.А., Высоко консервативные элементы в митохондриях однодольных растений.
Современные информационные технологии и ИТ-образование.
2016, том 12, № 2. стр. 211-215. |
| Королев С.А., Горбунов К.Ю., Зверко́в О.А., Селиверстов А.В., Любецкий В.А., Вырожденные инвертированные повторы в геномах микобактерий.
Современные информационные технологии и ИТ-образование.
2016, том 12, № 1. стр. 162-172. |
| Kanovei V., Lyubetsky V., A generic property of Solovay"s set Σ.
arXiv:1611.00176 [math.LO], November 2016, 4 pp. http://iitp.ru/https://arxiv.org/abs/1611.00176 |
| Kanovei V., Lyubetsky V., In Cohen generic extension, every countable OD set of reals belongs to the ground model.
July 2016, arXiv:1607.02880 [math.LO] pp. 1-3. http://iitp.ru/https://arxiv.org/abs/1607.02880 |
| Рубанов Л.И., Селиверстов А.В., Проективно-инвариантное описание излучины реки. Информационные процессы. 2016. Том 16, № 3. С. 281-290. http://www.jip.ru/2016/16-3-2016.htm |
| Lyubetsky V., Gershgorin R., Seliverstov A., Gorbunov K., Algorithms for Reconstruction of Chromosomal Structures.
BMC Bioinformatics,
2016, vol. 17, art. 40, 23 pp.
DOI: 10.1186/s12859-016-0878-z, PMID: 26780836 http://bmcbioinformatics.biomedcentral.com/articles/10.1186/s12859-016-0878-z |
| Селиверстов А.В., О проверке гладкости гиперповерхности. XII Белорусская математическая конференция: материалы Международной научной конференции. Минск, 5-10 сентября 2016 г. В 5 частях. / Ред. С.Г. Красовский. - Часть 4. - Минск: Институт математики НАН Беларуси, 2016. - С. 64-65. http://bmc.bsu.by/about/ |
| Kanovei V., Lyubetsky V., Countable OD sets of reals belong to the ground model.
arXiv:1609.01032 [math.LO], September 2016, 12 pp. http://arxiv.org/abs/1609.01032 |
| Błaszczyk P., Borovik A., Kanovei V., Katz M., et al., A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos.
Logica Universalis, 2016, 10, pp. 393-405. DOI 10.1007/s11787-016-0153-0 SCOPUS Q3 http://link.springer.com/article/10.1007/s11787-016-0153-0?wt_mc=Internal.Event.1.SEM.ArticleAuthorO |
| Селиверстов А.В., On cubic hypersurfaces with involutions. International Conference Polynomial Computer Algebra "2016; St. Petersburg, April 18-22, 2016 / Euler International Mathematical Institute, Ed. by N.N. Vassiliev, VVM Publishing, 2016. pp. 74-77. http://pca.pdmi.ras.ru/2016/program |
| Korolev S., Zverkóv O., Seliverstov A., Lyubetsky V., Ribosome reinitiation at leader peptides increases translation of bacterial proteins.
Biology Direct,
2016, vol. 11, art. 20.
DOI: 10.1186/s13062-016-0123-8, PMID: 27084079
(WoS Q1, IF 7) http://biologydirect.biomedcentral.com/articles/10.1186/s13062-016-0123-8#CR11 |
| Kanovei V., Katz K., Katz M., Nowik T., Small oscillations of the pendulum, Euler’s method, and adequality,
Quantum Studies: Mathematics and Foundations, 2016, 3, no 3, pp 231–236. DOI: 10.1007/s40509-016-0074-x http://link.springer.com/article/10.1007%2Fs40509-016-0074-x |
| Kanovei V., OD elements of countable OD sets in the Solovay model.
March 2016, arXiv:1603.04237 [math.LO], pp. 1-20. http://arxiv.org/abs/1603.04237 |
| Kanovei V., Some applications of finite-support products of Jensen"s minimal forcing.
Winter School in Abstract Analysis 2016, Hejnice, Czech Republic, Jan 30—Feb 6, 2016, Abstracts and slides. http://www.winterschool.eu/files/885-Some_applications_of_finite-support_products_of_Jensens_minimal_Delta_31_forcing.pdf http://www.winterschool.eu/2016/abstracts |
| Zverkóv O., Seliverstov A., Lyubetsky V., Regulation of expression and evolution of genes in plastids of rhodophytic branch.
Life, 2016, vol. 6, art. 7.
DOI: 10.3390/life6010007, PMID: 26840333 http://www.mdpi.com/2075-1729/6/1/7/htm |
| Kanovei V., Lyubetsky V., Counterexamples to countable-section
Π12 uniformization and Π13 separation.
Annals of Pure and Applied Logic, 2016, 167, 3, pp. 262–283. DOI: 10.1016/j.apal.2015.12.002 (WoS Q1) http://www.sciencedirect.com/science/article/pii/S0168007215001268 |
| Kanovei V., Lyubetsky V., On countable cofinality and decomposition of definable thin orderings.
Fundamenta mathematicae, 2016, 235, no 1, pp. 13-36.
DOI: 10.4064/fm977-10-2015 http://iitp.ru/https://www.impan.pl/en/publishing-house/journals-and-series/fundamenta-mathematicae/online/91557/on |
| Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al., Leibniz vs Ishiguro: closing a quarter-century of syncategoremania.
The Journal of the International Society for the History of Philosophy of Science,
2016, 6, no 1, pp. 117 -- 147.
DOI: 10.1086/685645 http://www.journals.uchicago.edu/doi/10.1086/685645 |
2015 |
| Любецкий В.А., Рубанов Л.И., Байрамов А.В., Шандарин И.В., Иванова А.С., Русин Л.Ю., Зверко́в О.А., Селиверстов А.В., Зарайский А.Г., Широкомасштабный поиск потерь, приобретений и нарушений синтении генов у позвоночных животных.
Материалы VIII Московского Международного Конгресса «Биотехнология: состояние и перспективы развития», Москва, 17–20 марта 2015, часть 1, стр. 259–260. http://iitp.ru/https://elibrary.ru/item.asp?id=25631493 |
| Gershgorin R., Gorbunov K., Seliverstov A., Lyubetsky V., Evolution of chromosome structures.
Proceedings of the 39th IITP RAS Interdisciplinary Conference & School “Information Technology and Systems 2015” (ITaS’15),
Sochi, Russia, Sep 7–11 2005, Moscow: IITP, 2015, P. 105–120. http://iitp.ru/https://elibrary.ru/item.asp?id=24378278 |
| Korolev S., Lyzhin S., Zverkóv O., Seliverstov A., Lyubetsky V., A search for genes encoding histidine-containing leader peptides in Actinobacteria.
Proceedings of the 39th IITP RAS Interdisciplinary Conference & School “Information Technology and Systems 2015” (ITaS’15),
Sochi, Russia, Sep 7–11 2005, Moscow: IITP, 2015, P. 53–60. http://iitp.ru/https://elibrary.ru/item.asp?id=24378300 |
| Lyubetsky V., Rubanov L., Zverkóv O., Rusin L., Seliverstov A., Zaraisky A., A method of detecting local gene synteny rearrangement.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’15,
Moscow, July 16–19 2015, Moscow, IITP RAS, 2015, P. 249–252. http://mccmb.belozersky.msu.ru/2015/proceedings/author.html |
| Lyubetsky V., Molecular Phylogenetics 2014.
BioMed Research International,
2015, vol. 2015, Article ID 919251.
DOI: 10.1155/2015/919251 http://www.hindawi.com/journals/bmri/2015/919251/ |
| Любецкий В.А., Горбунов К.Ю., Реконструкция предковых хромосомных структур.
Современные информационные технологии и ИТ-образование,
2015, том 2, № 11, стр. 600–605. |
| Любецкий В.А., Селиверстов А.В., Новый алгоритм решения комбинаторной задачи о разбиении множества.
Информационные процессы, 2015, том 15, № 3, стр. 337–342. |
| Любецкий В.А., Селиверстов А.В., Об алгоритме решения NP-полной задачи, если решений нет или их нечётное число.
International Journal of Open Information Technologies,
2015, том 3, № 11, стр. 1–3. |
| Селиверстов А.В., Замечание о билатеральной симметрии. Труды XIII международных Колмогоровских чтений: сборник статей. Ярославль: РИО ЯГПУ, 2015. С. 90-92. http://yspu.org/images/e/e6/Work-kolmogor13.pdf |
| Королев С.А., Селиверстов А.В., Любецкий В.А., О трансляции рибосомного белка L16 в пластидах цветковых растений.
Современные информационные технологии и ИТ-образование.
2015, том 2, № 11, стр. 606-607. |
| Рубанов Л.И., Селиверстов А.В., Любецкий В.А., Широкомасштабный поиск ультраконсервативных элементов в полных геномах.
Современные информационные технологии и ИТ-образование.
2015, том 2, № 11, стр. 586-593. |
| Рубанов Л.И., Селиверстов А.В., Зверко́в О.А., Любецкий В.А., Ультраконсервативные элементы у простейших из надтипа Alveolata.
Современные информационные технологии и ИТ-образование,
2015, том 2, № 11, стр. 581–585. |
| Зверко́в О.А., Селиверстов А.В., Любецкий В.А., О транскрипционных факторах, кодируемых в пластидах родофитной ветви.
Современные информационные технологии и ИТ-образование,
2015, том 2, № 11, стр. 571–575. |
| Любецкий В.А., Селиверстов А.В., О решении одной NP-полной задачи.
Современные информационные технологии и ИТ-образование.
2015, том 2, № 11, стр. 569-570. |
| Королев С.А., Селиверстов А.В., Зверко́в О.А., Любецкий В.А., Классическая аттенюаторная регуляция, зависимая от концентрации триптофана, у актинобактерий.
Современные информационные технологии и ИТ-образование,
2015, том 2, № 11, стр. 565–568. |
| Kanovei V., Some applications of finite-support products of Jensen’s minimal forcing.
Book of abstracts, Logic Colloquium 2015, Annual European Summer Meeting of the Association for Symbolic Logic,
University of Helsinki, 3–8 August 2015, pp. 670-671. http://www.helsinki.fi/lc2015/materials/CLMPS_LC_book of abstracts 29.7.2015.pdf |
| Селиверстов А.В., Замечание о неявно заданных гиперграфах, Вестник Тамбовского университета. Серия: Естественные и технические науки, 2015, том 20, № 5, стр. 1422–1425. |
| Селиверстов А.В., О вычислительной сложности поиска особых точек. Дискретная математика, алгебра и их приложения: Тез. докл. Междунар. науч. конф. Минск, 14-18 сентября 2015 г. - Минск: Институт математики НАН Беларуси, 2015. С. 135-137. http://im.bas-net.by/~dima/index.html |
| Селиверстов А.В., Замечание о комплексных кубических формах с нулевым гессианом, Теория управления и математическое моделирование: Тезисы докладов Всероссийской конференции с международным участием, посвященной памяти профессора Н.В. Азбелева и профессора Е.Л. Тонкова (Ижевск, Россия, 9-11 июня 2015 г.). - Ижевск: Изд-во "Удмуртский университет", 2015, стр. 333-334. http://elibrary.ru/item.asp?id=23708884 |
| Seliverstov A., Zverkóv O., Istomina S., Pirogov S., Kitsis P., Comparative analysis of apicoplast-targeted protein extension lengths in Apicomplexan parasites.
BioMed Research International,
2015, Vol. 2015, Article ID 452958.
DOI: 10.1155/2015/452958, PMID: 26114107 http://www.hindawi.com/journals/bmri/2015/452958/ |
| Zverkóv O., Seliverstov A., Lyubetsky V., A database of plastid protein families from red algae and Apicomplexa and expression regulation of the moeB gene.
BioMed Research International,
2015, Vol. 2015, Article ID 510598.
DOI: 10.1155/2015/510598, PMID: 26114108 http://www.hindawi.com/journals/bmri/2015/510598/ |
| Горбунов К.Ю., Гершгорин Р.А., Любецкий В.А., Перестройка и реконструкция хромосомных структур.
Молекулярная биология, 2015, том 49, № 3, стр. 372–383,
DOI: 10.7868/S0026898415030076, PMID: 26107890. |
| Kanovei V., Lyubetsky V., Grossone approach to Hutton and Euler transforms.
Applied Mathematics and Computation,
2015, 255, pp. 36–43.
DOI: 10.1016/j.amc.2014.06.037
(WoS Q1) http://dx.doi.org/10.1016/j.amc.2014.06.037 |
| Латкин И.В., Селиверстов А.В., "Вычислительная сложность фрагментов теории поля комплексных чисел". Вестник Карагандинского университета. Серия Математика, 2015, №1 (77), стр. 47-55. WOS:000410367200007 http://vestnik.ksu.kz/files_vestnik/Mathematics/Mathematics_1_77_2015.pdf |
| Селиверстов А.В., "Cubic hypersurfaces with an odd number of singular points", International Conference Polynomial Computer Algebra "2015; St. Petersburg, April 13-18, 2015 / Euler International Mathematical Institute, Ed. by N.N. Vassiliev, VVM Publishing, 2015. P. 85-86. |
| Селиверстов А.В., "Кубические формы без мономов от двух переменных", Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, 2015, том 25, № 1, с. 71-77. http://vst.ics.org.ru/journal/article/2250/ |
| Kanovei V., Katz K., Katz M., Sherry D., Euler"s lute and Edward"s oud.
Mathematical Intelligencer, 2015, 37, 4, pp. 48--51.
DOI: 10.1007/s00283-015-9565-6 SCIMAGO, Q2 http://dx.doi.org/10.1007/s00283-015-9565-6 |
| Kanovei V., Lyubetsky V., A definable E0 class containing no definable elements.
Archive for Mathematical Logic,
2015, 54, 5, pp. 711–723.
DOI: 10.1007/s00153-015-0436-9 http://link.springer.com/article/10.1007/s00153-015-0436-9 |
| Кановей В.Г., Любецкий В.А., Обобщение одной конструкции Соловея.
Сибирский математический журнал,
2015, том 56, № 6, стр. 1341–1350.
DOI: 10.17377/smzh.2015.56.611 http://iitp.ru/https://link.springer.com/article/10.1134/S0037446615060117 |
| Kanovei V., Katz К., Katz M., Schaps D., Proofs and retributions,
Foundations of Science, 2015, 20, 1, pp 1-25.
DOI: 10.1007/s10699-013-9340-0 SCIMAGO, Q2 http://link.springer.com/article/10.1007%2Fs10699-013-9340-0 |
| Кановей В.Г., Любецкий В.А., Об эффективной σ-ограниченности и σ-компактности в модели Соловея.
Математические заметки,
2015, том 98, вып. 2, стр. 247–257.
DOI: 10.4213/mzm10415 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=10415&option_lang=rus |
2014 |
| Гершгорин Р.А., Рубанов Л.И., Селиверстов А.В., "Легко вычислимые инварианты для распознавания гиперповерхности," Информационные процессы, 2014, том 14, № 4, стр. 365-369. http://www.jip.ru/2014/365-369-2014.pdf |
| Селиверстов А.В., "О вершинах куба, лежащих на гиперплоскости" Труды XII международных Колмогоровских чтений : сборник статей. - Ярославль: Изд-во ЯГПУ, 2014. - С. 113-116. http://yspu.org/Ежегодная_международная_конференция_«Колмогоровские_чтения» |
| Kanovei V., Lyubetsky V., On countable cofinality and decomposition of definable thin orderings, arXiv:1412.0195 [math.LO], Dec. 2014, 21 p.
http://arxiv.org/abs/1412.0195 |
| Гешгорин Р.А., Латкин И.В., Селиверстов А.В., "Следы форм высших степеней" Труды 57-й научной конференции МФТИ. Управление и прикладная математика. Том 1. - М.: МФТИ, 2014. - С. 11-12. |
| Зверко́в О.А., Рубанов Л.И., Селиверстов А.В., «Поиск ультраконсервативных элементов у простейших типа Apicomplexa»
Современные информационные технологии и ИТ-образование / Сборник избранных трудов IX Международной научно-практической конференции. Под ред. проф. В.А. Сухомлина.
М.: ИНТУИТ.РУ, 2014. стр. 865–870. |
| Латкин И.В., Селиверстов А.В., "О сложности фрагментов теории поля комплексных чисел", Современные информационные технологии и ИТ-образование / Сборник избранных трудов IX Международной научно-практической конференции. Под ред. проф. В.А. Сухомлина. - М.:ИНТУИТ.РУ, 2014. - С. 849-855. |
| Kanovei V., Lyubetsky V., Counterexamples to countable-section Π12 uniformization and Π13 separation, arXiv:1410.2537 [math.LO], Oct. 2014, 18 p. http://arxiv.org/abs/1410.2537 |
| Kanovei V., Lyubetsky V., A definable $E_0$-class containing no definable elements, arXiv:1408.6642 [math.LO], Aug 2014, 12 p. http://arxiv.org/abs/1408.6642 |
| Kanovei V., Lyubetsky V., A countable definable set of reals containing no definable elements,
arXiv:1408.3901 [math.LO], Aug. 2014, 11 p. http://arxiv.org/abs/1408.3901 |
| Kanovei V., Lyubetsky V., Linearization of partial quasi-orderings in the Solovay model revisited, arXiv:1408.1202 [math.LO], Aug. 2014, 13 p. http://arxiv.org/abs/1408.1202 |
| Kanovei V., Bounding and decomposing thin analytic partial orderings, arXiv:1407.0929v2 [math.LO], Jul 2014, 12 p. http://arxiv.org/abs/1407.0929 |
| Rubanov L., "Parallelization of nonuniform loops in supercomputers with distributed memory" Journal of Communications Technology and Electronics, 2014, Vol. 59, No. 6, P. 639–646. |
| Рубанов Л.И., "Параллельное моделирование Монте-Карло на системах с распределённой памятью" International Journal of Open Information Technologies, 2014, Т. 2, № 2, с. 12-20. http://injoit.org/index.php/j1/article/view/65 |
| Zverkóv O., Seliverstov A., Lyubetsky V., “A database of Rhodophyte plastid protein families and regulation of moeB genes”
Abstracts of the Ninth International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB"2012),
Novosibirsk, Russia, June 23–28 2014, p. 176. |
| Селиверстов А.В., "Многогранники и связные подграфы", Дискретный анализ и исследование операций, 2014, том 21, № 3, стр. 82–86.
|
| Rusin L., Lyubetskaya E., Gorbunov K., Lyubetsky V., “Reconciliation of Gene and Species Trees”
BioMed Research International,
2014, Vol. 2014, Article ID 642089, 22 pages. http://dx.doi.org/10.1155/2014/642089 |
| Kanovei V., A generalization of Solovay"s Sigma-construction. arXiv:1402.0961 [math.LO]. 5 Feb 2014, 6 p. http://arxiv.org/abs/1402.0961 |
| Lyubetsky V., Korolev S., Seliverstov A., Zverkóv O., Rubanov L., “Gene expression regulation of the PF00480 or PF14340 domain proteins suggests their involvement in sulfur metabolism”
Computational Biology and Chemistry,
2014, vol. 49, p. 7–13. http://www.sciencedirect.com/science/article/pii/S1476927114000036 |
| Kanovei V., On the automorphisms behind the Gitik -- Koepke model. In:
Infinity, Computability, and Metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch.
College publications, London, 2014, SeriesTributes, Vol. 23, pp. 229--253
http://iitp.ru/https://zbmath.org/?q=an%3A1358.03074 |
| Bascelli T., Kanovei V., Katz K., Katz M., et al., Fermat, Leibniz, Euler, and the gang: the true history of the concepts of limit and shadow.
Notices of the AMS, 2014, 61, 8, pp. 848--864.
DOI: 10.1090/noti1149 SCIMAGO, Q3 http://www.ams.org/notices/201408/rnoti-p848.pdf |
2013 |
| Рубанов Л.И., "Обработка больших данных в параллельных циклах" Сборник избранных трудов VIII Международной научно-практической конференции «Современные информационные технологии и ИТ-образование». Москва, МГУ им. М.В. Ломоносова, 8–10 ноября 2013. М.: ИНТУИТ.РУ, 2013. С. 769-772. |
| Рубанов Л.И., "О распараллеливании неоднородных циклов на суперкомпьютерах с распределённой памятью" Информационные процессы, 2013, № 4. С. 295-305. http://www.jip.ru/2013/295-305-2013.pdf |
| Kanovei V., On countable cofinality of definable chains in Borel partial orders.
arXiv:1312.2064 [math.LO].
Sat, 7 Dec 2013 http://arxiv.org/abs/1312.2064 |
| Селиверстов А.В., "Несовместность системы двух уравнений" Труды 56-й научной конференции МФТИ: Всероссийской научной конференции «Актуальные проблемы фундаментальных и прикладных наук в современном информационном обществе», Всероссийской молодежной научно-инновационной конференции «Физико-математические науки: актуальные проблемы и их решения». Управление и прикладная математика. Том 1. - М.: МФТИ. 2013. С.29-30 http://science.phystech.edu/56conf/f_6dadr1/c_6daeml |
| Любецкий В.А., Горбунов К.Ю., «Задачи и алгоритмы, связанные с хромосомными перестройками»
Сборник избранных трудов VIII Международной научно-практической конференции «Современные информационные технологии и ИТ-образование»,
Москва, МГУ им. М. В. Ломоносова, 8–10 ноября 2013, М.: ИНТУИТ.РУ, 2013, стр. 764–768. |
| Зверко́в О.А., «Использование быстрых алгоритмов в задаче кластеризации последовательностей»
Сборник избранных трудов VIII Международной научно-практической конференции «Современные информационные технологии и ИТ-образование,
Москва, МГУ им. М. В. Ломоносова, 8–10 ноября 2013, М.: ИНТУИТ.РУ, 2013, стр. 757–763. |
| Селиверстов А.В., "Алгоритм проверки совместимости системы двух уравнений" Современные информационные технологии и ИТ-образование / Сборник избранных трудов VIII Международной научно-практической конференции М.: ИНТУИТ.РУ. 2013. С. 773-774. |
| Селиверстов А.В., "О перечислении особых точек на аффинной гиперповерхности" Математика в современном мире. Материалы Международной конференции, посвященной 150-летию Д.А. Граве. Вологда: ВГПУ, 2013. С. 35. |
| Любецкий В.А., Селиверстов А.В., Зверко́в О.А., «Семейства пластомных белков зелёных водорослей и растений»
Материалы VII Московского Международного Конгресса «Биотехнология: состояние и перспективы развития»,
Москва, ул. Новый Арбат, 36/9, 19–22 марта 2013. |
| Lyubetsky V., Korolev S., Seliverstov A., Zverkóv O., “Rho-dependent attenuation of sulfur metabolism in mycobacteria”
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’13, Moscow, Russia, July 25–28 2013. |
| Kobets N., Goncharov D., Seliverstov A., Zverkóv O., Lyubetsky V., “Comparative analysis of apicoplast-targeted proteins in Toxoplasma gondii and other Apicomplexa species”
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’13,
Moscow, Russia, July 25–28 2013.
|
| Любецкий В.А., Селиверстов А.В., Зверко́в О.А., Построение разделяющих паралоги семейств гомологичных белков, кодируемых в пластидах цветковых растений.
Математическая биология и биоинформатика.
2013, том 8, № 1, стр. 225–233. |
| Зверко́в О.А., Селиверстов А.В., Любецкий В.А., Усредненная энтропия как характеристика консервативности участков генома.
Вестник Тамбовского университета. Серия: Естественные и технические науки.
2013, том 18, вып. 5, стр. 2529–2531. |
| Селиверстов А.В., "О конусе связных подграфов." Вестник Тамбовского университета. Серия: Естественные и технические науки. 2013. Том: 18, N 5. Стр. 2668-2670.
|
| Kanovei V., Surreal numbers from the point of view of nonstandard analysis,
Sy David Friedman"s 60th-Birthday Conference, Vienna, Austria, July 2013. http://www.logic.univie.ac.at/2013/SDF60/Abstracts.html#Kanovei |
| Felgner U., Kanovei V., Koepke P., Purkert W., editors ., Felix Hausdorff.
Gesammelte Werke, Band IA: Allgemeine Mengenlehre.
Berlin: Springer, 2013, xxvi+538 pp., Monograph
ISBN: 978-3-642-25598-4. http://www.springer.com/mathematics/history+of+mathematics/book/978-3-642-25598-4 |
| Lyubetsky V., Seliverstov A., Zverkóv O., Transcription Regulation of Plastid Genes Involved in Sulfate Transport in Viridiplantae.
BioMed Research International. 2013, Vol. 2013, Article ID 413450.
DOI: 10.1155/2013/413450, PMID: 24073405 http://www.hindawi.com/journals/bmri/2013/413450/ |
| Bair J., Blazczyk P., Ely R., Henry V., Kanovei V., et al., Is mathematical history written by the victors?
Notices of the AMS, 2013, 60, no 7, pp. 886-904.
DOI: 10.1090/noti1026 SCIMAGO, Q3 http://www.ams.org/notices/201307/rnoti-p886.pdf |
| Kanovei V., Sabok M., Zapletal J., Canonical Ramsey Theory on Polish Spaces.
Cambridge University Press, Cambridge, UK, 2013, viii+269 pp.,
Monograph ISBN 978-1-107-02685-8 http://www.cambridge.org/9781107026858 |
| Кановей В.Г., Любецкий В.А., Современная теория множеств: абсолютно неразрешимые классические проблемы.
М., МЦНМО, 2013, 384 c.,
Монография.
ISBN: 978-5-4439-0097-1. http://biblio.mccme.ru/node/2878 |
| Селиверстов А.В., "О релаксационном многограннике для квадратичного булева программирования" Международная конференция Дискретная оптимизация и исследование операций, Новосибирск, 24-28 июня 2013. Материалы конференции. Новосибирск: издательство Интитута математики, 2013. С. 152. http://math.nsc.ru/conference/door/2013/index.html |
| Селиверстов А.В., "О мономах квадратичных форм", Дискретный анализ и исследование операций , 2013, том 20, номер 3, стр. 65–70 |
| Kanovei V., Kommentar zu [H 1936b], Summen von $aleph_1$ Mengen.
In: Felix Hausdorff,
Gesammelte Werke. Band Ia: Allgemeine Mengenlehre,
Berlin: Springer, 2013, pp. 364-366.
http://www.amazon.ca/Felix-Hausdorff-Gesammelte-Allgemeine-Mengenlehre/dp/toc/3642255981 |
| Kanovei V., Kommentar zu [H 1909a], Die Graduierung nach dem Endverlauf.
In: Felix Hausdorff,
Gesammelte Werke. Band Ia: Allgemeine Mengenlehre,
Berlin: Springer, 2013, pp. 336-346.
http://www.amazon.ca/Felix-Hausdorff-Gesammelte-Allgemeine-Mengenlehre/dp/toc/3642255981 |
| Kanovei V., Gaps in partially ordered sets and related problems,
In: Felix Hausdorff,
Gesammelte Werke. Band Ia: Allgemeine Mengenlehre,
Berlin: Springer, 2013,
pp. 367-405. http://www.amazon.ca/Felix-Hausdorff-Gesammelte-Allgemeine-Mengenlehre/dp/toc/3642255981 |
| Kanovei V., Lyubetsky V., On effective $sigma$-boundedness and $sigma$-compactness,
Mathematical Logic Quarterly,
2013, 59, no 3,
pp. 147-166.
doi: 10.1002/malq.201200001 http://onlinelibrary.wiley.com/doi/10.1002/malq.201200001/full |
| Зверко́в О.А., Русин Л.Ю., Селиверстов А.В., Любецкий В.А., Изучение вставок прямых повторов в микроэволюции митохондрий и пластид растений на основе кластеризации белков.
Вестник Московского университета. Серия 16. Биология. 2013, № 1, стр. 8–13.
DOI: 10.3103/S0096392513020119 |
| Kanovei V., Katz M., Mormann T., Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics,
Foundations of Science, 2013, 18, 2, pp. 259-296.
DOI 10.1007/s10699-012-9316-5 http://dx.doi.org/10.1007/s10699-012-9316-5 |
2012 |
| Lyubetsky V., Rubanov L., Rusin L., Gorbunov K., "Cubic time algorithms of amalgamating gene trees and building evolutionary scenarios" Biology Direct, 2012, 7:48. PMID: 24513779 http://www.biologydirect.com/content/7/1/48 |
| Селиверстов А.В., "Замечания о расположениях точек на квадриках" Моделирование и анализ информационных систем, 2012, том 19, номер 4, стр. 72-77 http://mais.uniyar.ac.ru/ru/articles/19/4 |
| Королев С.А., Любецкий В.А., С.А. Королев, В.А. Любецкий «Распределение и роль длинных шпилек» Труды 55-й научной конференции МФТИ: Всероссийской научной конференции «Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе», Научной конференции «Современные проблемы фундаментальных и прикладных наук в области физики и астрономии», Всероссийской молодежной научной конференции «Современные проблемы фундаментальных и прикладных наук». Управление и прикладная математика. Том 1. - М.: МФТИ, 2012. - стр. 94-95. |
| Селиверстов А.В., "Замечание о фасетах многогранников BQP малой размерности" Труды 55-й научной конференции МФТИ: Всероссийской научной конференции «Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе», Научной конференции «Современные проблемы фундаментальных и прикладных наук в области физики и астрономии», Всероссийской молодежной научной конференции «Современные проблемы фундаментальных и прикладных наук». Управление и прикладная математика. Том 1. - М.: МФТИ, 2012. - С. 95-96. |
| Селиверстов А.В., "О нулях в матрицах квадратичных форм" Международная научная конференция "XI Белорусская математическая конференция", Минск, 4-9 ноября 2012. Тезисы докладов. Часть 4. С. 99-100 http://www.bmc.bsu.by/ru/sm.aspx?guid=3643 |
| Зверко́в О.А., Селиверстов А.В., Любецкий В.А., Белковые семейства, специфичные для пластомов небольших таксономических групп водорослей и простейших.
Молекулярная биология. 2012, том 46, № 5, стр. 799–809.
PMID: 23156680 |
| Калинина А.С., Селиверстов А.В., Любецкий В.А., «Супердеревья пластид хлорофитной ветви водорослей и животных Ecdysozoa»
Труды 35-й конференции «Информационные технологии и системы» (ИТиС’12),
г. Петрозаводск, 19–25 августа 2012, стр. 307–311. http://www.itas2012.iitp.ru/pdf/1569599597.pdf |
| Зверко́в О.А., Селиверстов А.В., Любецкий В.А., Семейства белков, кодируемых в пластомах Chlorophyta, Euglenozoa и Rhizaria.
Труды 35-й конференции «Информационные технологии и системы» (ИТиС’12),
г. Петрозаводск, 19–25 августа 2012, стр. 298–302. http://www.itas2012.iitp.ru/pdf/1569591277.pdf |
| Gorbunov K., Lyubetsky V., “The problems of reconciling gene and species trees, mapping a gene tree into a species tree, and gene tree inference”
Abstracts of the First RECOMB Satellite Conference on Open Problems in Algorithmic Biology (RECOMB-AB),
St. Petersburg, Russia, August 27–29 2012. |
| Зверко́в О.А., Русин Л.Ю., Селиверстов А.В., Любецкий В.А., Вставки прямых повторов в микроэволюции пластид и митохондрий семенных растений
Информационные процессы.
2012, том 12, вып. 3, стр. 191–197. http://www.jip.ru/2012/191-197-2012.pdf |
| Лопатовская К.В., Зверко́в О.А., Селиверстов А.В., Любецкий В.А., Регуляция транскрипции гена chlL у Viridiplantae.
Информационные процессы.
2012, том 12, вып. 3, стр. 172–175. http://www.jip.ru/2012/172-175-2012.pdf |
| Горбунов К.Ю., Селиверстов А.В., Любецкий В.А., “Взаимное расположение параллельных гиперплоскостей, квадрик и вершин многомерного куба”, Проблемы передачи информации, 2012, 48:2, 113-120. http://dx.doi.org/10.1134%2FS0032946012020081 |
| Lyubetsky V., Zverkóv O., Pirogov S., Rubanov L., Seliverstov A., Modeling RNA polymerase interaction in mitochondria of chordates.
Biology Direct. 2012, 7:26.
DOI: 10.1186/1745-6150-7-26, PMID: 22873568 http://www.biology-direct.com/content/7/1/26 |
| Zverkóv O., Korolev S., Seliverstov A., Lyubetsky V., Transcription regulation of plastid genes cysT and cysA in Viridiplantae.
in: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin, V. Aleoshin),
Moscow, Torus Press, 2012, P. 85. |
| Seliverstov A., Lyubetsky V., “About Forms Equal to Zero at Each Vertex of a Cube”
Journal of Communications Technology and Electronics,
2012, Vol. 57, No. 8, P. 892–895. |
| Seliverstov A., Lyubetsky V., “Modeling RNA Polymerase Interaction in Plastids of Plants, Algea and Mitochondria of Chordates: Human Bearing the MELAS Mutation and Rat with Hyposecretion of Thyroid Hormone”
Proceedings of the Eighth International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB"2012),
Novosibirsk, Russia, June 25–29 2012, P. 189. |
| Кановей В.Г., Любецкий В.А., Об эффективной компактности и сигма-компактности,
Математические заметки,
2012, том 91, вып. 6, стр. 840–852. http://mi.mathnet.ru/rus/mz/v91/i6/p840 |
| Селиверстов А.В., "Расположения точек на пустых квадриках" Моделирование и анализ информационных систем. Труды международной конференции, посвящённой 35-летию математического факультета и 25-летию факультета информатики и вычислительной техники Ярославского государственного университета им. П.Г. Демидова. Ярославль. ЯрГУ. 6-7 февраля 2012. С. 161-163. |
| Kanovei V., Lyubetsky V., An infinity which depends on the axiom of choice,
Applied Mathematics and Computation,
Vol. 218, Iss. 16, April 15 2012, P. 8196–8202,
http://dx.doi.org/10.1016/j.amc.2011.05.003 |
| Горбунов К.Ю., Любецкий В.А., «Быстрый алгоритм построения супердерева видов по набору белковых деревьев»
Молекулярная биология,
2012, том 46, № 1, стр. 176–183. |
2011 |
| Kanovei V., On effective compactness and sigma-compactness.
arXiv:1103.1060 [math.LO].
Sat, 5 Mar 2011 http://arxiv.org/abs/1103.1060 |
| Kanovei V., On effective sigma-boundedness and sigma-compactness.
arXiv:1110.0919 [math.LO].
Wed, 5 Oct 2011. http://arxiv.org/abs/1110.0919 |
| Kanovei V., Lyubetsky V.A., An infinity which needs the axiom of choice,
Logic Colloquium 2011, Barcelona, 2011,
Contributed Talks. http://www.logic2011.org/Dades/TimetableContributedTalks.pdf |
| Kanovei V., On e ffective compactness and sigma-compactness,
Third European Set Theory
Conference, 3 - 8 July 2011, ICMS, Edinburgh, UK.
http://www.esf.org/serving-science/conferences/details/2011/confdetail368/368-final-programme.html |
| Селиверстов А.В., Любецкий В.А., «О формах, равных нулю в каждой вершине куба»
Информационные процессы,
2011, том 11, № 3, стр. 330–335. http://www.jip.ru/2011/330-335-2011.pdf |
| Lazarev V.N., Levitskii S.A., Basovskii Y.I., Chukin M.M., Akopian T.A., Vereshchagin V.V., Kostrjukova E.S., Kovaleva G., Kazanov M., Malko D.B., Vitreschak A., Sernova N.V., Gelfand M., Demina I.A., Serebryakova M.V., Galyamina M.A., Vtyurin N.N., Rogov S.I., Alexeev D.G., Ladygina V.G., Govorun V.M., Complete genome and proteome of Acholeplasma laidlawii. Journal of Bacteriology 2011 Sep;193(18):4943-4953. http://jb.asm.org/content/193/18/4943.long |
| Любецкая Е.В., Горбунов К.Ю., Селиверстов А.В., Любецкий В.А., «Дифференциальные уравнения, описывающие клеточный процесс»
Труды 54-й научной конференции МФТИ «Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе». Управление и прикладная математика,
том 2, М.: МФТИ, 2011, стр. 91–92. |
| Зверко́в О.А., Горбунов К.Ю., Селиверстов А.В., Любецкий В.А., Кластеризация белков с учётом их доменной структуры.
Труды 54-й научной конференции МФТИ «Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе», 25–26 ноября 2011, Москва, 25–26 ноября 2011, М.: МФТИ, 2011, Управление и прикладная математика, том 2, стр. 88–89. |
| Селиверстов А.В., «Об оптимизации на множестве вершин многомерного куба»
Труды 54-й научной конференции МФТИ "Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе". Управление и прикладная математика., Том 2. М.: МФТИ, 2011. С. 74-75. |
| Кановей В.Г., Любецкий В.А., «Эффективная минимальная кодировка несчетных множеств»
Сибирский математический журнал,
2011, том 52, № 5, сс. 1074–1086. http://www.springerlink.com/content/hgwv8882kl061v70/ |
| Любецкий В.А., Рубанов Л.И., Селиверстов А.В., «Тканеспецифичная транскрипция в митохондриях хордовых в процессе онтогенеза»
Юбилейная конференция «50лет ИППИ РАН. Нейрофизиология, биофизика и психофизика в ИППИ РАН: истоки и современность»,
Москва, сентябрь 2011, стр. 54–58. |
| Селиверстов А.В., Любецкий В.А., «Эволюция РНК-полимераз и их промоторов в пластидах»
Юбилейная конференция «50лет ИППИ РАН. Нейрофизиология, биофизика и психофизика в ИППИ РАН: истоки и современность»,
Москва, сентябрь 2011, стр. 58–62. |
| Lyubetsky V., Seliverstov A., ”Mathematical problems in biological evolution and molecular regulation“
Proceedings of the International Mathematical Conference “50 Years of IITP”,
Moscow, Russia, July 25–29, 2011, 7 pages. http://iitp.ru/upload/content/839/Lyubetsky%20Seliverstov.pdf |
| Kanovei V., Lyubetsky V., On the infinitary pantachie of Du Bois Reymond,
Proceedings of the International Mathematical Conference “50 Years Of IITP”,
Moscow, Russia, July 25–29, 2011, 7 pages. http://iitp.ru/upload/content/839/Kanovei.pdf |
| Gorbunov K., Rubanov L., Rusin L., Lyubetsky V., “An accurate algorithm of cubic complexity to build supertrees”
Zitteliana. An International Journal of Palaeontology and Geobiology. Series B,
Vol. 30, Abstracts of the international conference “Deep Metazoan Phylogeny 2011 – new data, new challenges", Munchen, Germany, October 11–14 2011, P. 20. |
| Горбунов К.Ю., Любецкий В.А., «Дерево, ближайшее в среднем к данному набору деревьев»
Проблемы передачи информации,
том 47, вып. 3, 2011, сс. 64–79. |
| 154, Селиверстов А.В., Любецкий В.А., «Транскрипция в пластидах кокцидий»
Труды 34-й конференции «Информационные технологии и системы» (ИТиС’11)
г. Геленджик, 2–7 октября 2011, стр. 20–24. http://itas2011.iitp.ru/pdf/1569455191.pdf |
| 154, Seliverstov A., Lyubetsky V., “Bacterial type RNA polymerase sigma subunits and their specific promoters in plastids”
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’11, July 21–24, 2011, pp. 209–210. http://mccmb.belozersky.msu.ru/2011/mccmb11.pdf |
| 154, Селиверстов А.В., Любецкий В.А., «Регулоны NtcA и NtcB у цианобактерий и хлоропластов»
Труды VI московского международного конгресса «Биотехнология: состояние и перспективы развития» (21-25 марта 2011), сс. 395–396. |
| 154, Селиверстов А.В., Любецкий В.А., «Регулоны NtcA и NtcB у цианобактерий и хлоропластов водорослей отдела Rhodophyta»
Молекулярная биология, том 45, № 3, 2011, сс. 570–574. http://www.springerlink.com/content/83173k2162213k56/ |
| Lyubetsky V., Zverkóv O., Rubanov L., Seliverstov A., Modeling RNA polymerase competition: the effect of σ-subunit knockout and heat shock on gene transcription level.
Biology Direct. 2011, 6:3.
DOI: 10.1186/1745-6150-6-3, PMID: 21255416 http://www.biology-direct.com/content/6/1/3 |
2010 |
| Kanovei V., Linear ROD subsets of Borel partial orders are countably cofinal in Solovay"s model.
arXiv:1005.5534 [math.LO].
Sun, 30 May 2010. http://arxiv.org/abs/1005.5534 |
| Kanovei V., On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals.
arXiv:1008.3471 [math.LO].
Fri, 20 Aug 2010. http://arxiv.org/abs/1008.3471 |
| Kanovei V., A weak dichotomy below E_1 * E_3,
Topology and its applications, 2010, 157, 8, pp. 1465-–1478
doi:10.1016/j.topol.2009.03.052.
http://iitp.ru/ http://dx.doi.org/10.1016/j.topol.2009.03.052 |
| Bagaria J., Kanovei V., On coding uncountable sets by reals,
Mathematical Logic Quarterly, 2010, 56, No. 4, pp. 409--424.
http://onlinelibrary.wiley.com/doi/10.1002/malq.200910056/abstract |
| Kanovei V., Lyubetsky V., Julius Koenig sets as higher infinity,
Infinite and Infinitesimal in Mathematics and Natural Sciences. International Workshop, 17-21 May 2010, Book of Abstracts, p. 27, University of Calabria, Italy, 2010. http://www.theinfinitycomputer.com/Infinity2010/Abstracts_Infinity2010.pdf |
| Селиверстов А.В., Любецкий В.А., «О функции Гильберта множества вершин куба»
Труды 53-й научной конференции МФТИ, Москва, МФТИ, 2010, часть 1, том 1, сс. 123–124. http://mipt.ru/nauka/53conf/Materialy+53+konferenzii/01-FRTK1-view-arpggzeu7il.pdf |
| Щелкунов М.И., Любецкий В.А., «Электростатическое поле и длина межгенных областей связаны с диффузией белковых факторов»
Труды 33-й конференции «Информационные технологии и системы» (ИТиС’10),
г. Геленджик, 20-24 сентября 2010, сс. 382–384. http://www.itas-proceedings.iitp.ru/pdf/1569325479.pdf |
| 154, Селиверстов А.В., Любецкий В.А., «Регулоны факторов NtcA и NtcB у цианобактерий и багрянок»
Труды 33-й конференции «Информационные технологии и системы» (ИТиС’10),
г. Геленджик, 20-24 сентября 2010, сс. 339–342. http://www.itas-proceedings.iitp.ru/pdf/1569320755.pdf |
| Lyubetsky V., Seliverstov A., “Fast and Slow Evolution of Bacterial Type Promoters in Plastids of Streptophyta”
Molecular Phylogenetics: Contributions to the 2nd Moscow International Conference “Molecular Phylogenetics” (Moscow, Russia, May 18-21, 2010), Moscow, Torus Press, 2010, p. 54. |
| 154, Seliverstov A., Lyubetsky V., “The Evolution of NtcA- and NtcB-regulons in Cyanobacteria and Rhodophyte Chloroplasts”
Molecular Phylogenetics: Contributions to the 2nd Moscow International Conference “Molecular Phylogenetics” (Moscow, Russia, May 18-21, 2010), Moscow, Torus Press, 2010, pp. 134–135. |
| 154, Gorbunov K., Seliverstov A., Lyubetsky V., “The evolution of proline synthesis transcription regulation in gamma proteobacteria”
Molecular Phylogenetics: Contributions to the 2nd Moscow International Conference “Molecular Phylogenetics” (Moscow, Russia, May 18-21, 2010), Moscow, Torus Press, 2010, pp. 132–133. |
| Seliverstov A., Rubanov L., Lyubetsky V., “Lack of Conservation of Bacterial Type Promoters in Plastids of Streptophyta”
Proceedings of the Seventh International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB’2010), Novosibirsk, Russia, 20-27 June 2010, p. 170. |
| Lyubetsky V., Zverkóv O., Rubanov L., Seliverstov A., Interaction between nucleome and plastome: heat shock response regulation in plastids of plants.
Proceedings of the Seventh International Conference on Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB"2010), Novosibirsk, Russia, June 20–27 2010, P. 161. |
| Gorbunov K., Lyubetsky V., “A Fast Algorithm of Building Species Supertrees with a Set of Gene Trees”
Proceedings of the Seventh International Conference on Bioinformatics of Genome Regulation and StructureSystems Biology (BGRSSB’2010), Novosibirsk, Russia, 20-27 June 2010, p. 92. |
| Селиверстов А.В., Любецкий В.А., «О вещественных точках на многообразии четвёртой степени, ближайших к данной точке»
Информационные процессы,
том 10, № 3, 2010, сс. 245–246. http://www.jip.ru/2010/245-246-2010.pdf |
| Горбунов К.Ю., Любецкий В.А., «Об одном алгоритме согласования деревьев генов и видов с учетом дупликаций, потерь и горизонтальных переносов генов»
Информационные процессы
том 10, № 2, 2010, сс. 140–144. http://www.jip.ru/2010/140-144-2010.pdf |
| Lyubetsky V., Rubanov L., Seliverstov A., “Lack of conservation of bacterial type promoters in plastids of Streptophyta”
Biology Direct 2010, 5:34.
PMID: 20459727 http://www.biology-direct.com/content/5/1/34 |
| 154, Горбунов К.Ю., Русин Л.Ю., Селиверстов А.В., Любецкий В.А., «Эволюция транскрипционной регуляции синтеза пролина у гамма-протеобактерий»
Вестник МГУ. Биология, 2010, том 65, № 4, сс. 92–94. |
| Кановей В.Г., Любецкий В.А., Современная теория множеств: борелевские и проективные множества,
М.: МЦНМО, 2010, 320 стр. Монография.
ISBN 978-5-94057-683-9 http://www.mccme.ru/free-books/#kanovej |
| Зверко́в О.А., Селиверстов А.В., Любецкий В.А., Об одном алгоритме кластеризации белков.
Труды 53-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук», Москва, 24–29 ноября 2010, М.: МФТИ, 2010, часть I, том 1, стр. 118–119. http://mipt.ru/nauka/53conf/Materialy+53+konferenzii/01-FRTK1-view-arpggzeu7il.pdf |
| Кондратенков И.Б., Рубанов Л.И., Алгоритм автоматического обнаружения устойчивых изменений, наблюдаемых на неоднородном фоне в последовательности видеокадров // Информационные технологии и системы ИТиС 2010, Геленджик, 20-24 сентября 2010, стр. 121-126. http://www.itas-proceedings.iitp.ru/pdf/1569320973.pdf |
| Кондратенков И.Б., Рубанов Л.И., Обнаружение устойчивых изменений наблюдаемой сцены при пространственно-временном анализе видеопоследовательности. Прикладная информатика, 2010, № 2 (26), стр. 64-70. |
| Зверко́в О.А., Селиверстов А.В., Любецкий В.А., Позиционная связь генов пластомов растений и водорослей.
Труды 33-й конференции «Информационные технологии и системы» (ИТиС’10), г. Геленджик, 20–24 сентября 2010, стр. 326–330. http://www.itas-proceedings.iitp.ru/pdf/1569319815.pdf |
| Gorbunov K., Laikova O.N., Rodionov D., Gelfand M., Lyubetsky V., “Evolution of regulatory motifs of bacterial transcription factors”
In Silico Biology, 2010, 10, 0012. http://www.bioinfo.de/isb/2010/10/0012/ |
| 154, Селиверстов А.В., Любецкий В.А., «Аттенюаторная регуляция оперонов биосинтеза аминокислот и аминоацил-тРНК у бактерий: сравнительный геномный анализ»
Молекулярная биология,
2010, том 44, № 1, с. 140–151. |
2009 |
| Kanovei V., Lyubetsky V., Borel reducibility as an additive property of domains,
Journal of Mathematical Sciences,
2009, Vol. 158, No. 5, P. 708–712. http://www.springerlink.com/content/t61n117p753548n1/ |
| Кановей В.Г., Об упорядоченных структурах Хаусдорфа,
Известия РАН, сер. матем., 2009, 73, 5, с. 83--104
http://mi.mathnet.ru/rus/izv/v73/i5/p83 |
| Kanovei V., On definability of some counterexamples in descriptive set theory,
ESI Workshop on Large Cardinals and descriptive Set Theory,
Vienna, June 14--27, 2009,
Vienna, Erwin Schroedinger Institute,
2009, p. 20. http://www.logic.univie.ac.at/2009/esi/booklet.pdf |
| Rusin L., Aleoshin V., Lyubetsky V., “A phylogenomic pipeline to construct multi-gene datasets and infer multi-gene trees”,
Proceedings of the international conference “Celebrating Darwin: from the Origin of Species to Deep Metazoan Phylogeny, DMP’09”, Berlin, Germany, March 4–6 2009. |
| Кондратенков И.Б., Рубанов Л.И., Автоматическое обнаружение и выделение стабильных изменений в видеопоследовательностях // Информационные технологии и системы ИТиС 32, 2009, Московская обл., пос. д/о Бекасово, 15 - 18 декабря 2009, стр. 183-186. |
| Селиверстов А.В., Т.А. Садовская, А.В. Селиверстов "Анализ 5"-лидерных областей некоторых генов пластид у простейших типа Apicomplexa и у красных водорослей", Молекулярная биология, 2009. T. 43, N 4. C. 599-604. |
| Gelfand M., 60, Korostelev Y., Laikova O., Mironov A., Rakhmaninova A., 170, Rodionov D., Vitreschak A., Evolution of Regulatory Systems in Bacteria. Lecture Notes in Bioinformatics. 2009; 5542 (ISBRA 2009): 1-4.
|
| Любецкий В.А., Селиверстов А.В., «Прямые повторы в некодирующих областях хлоропластов у семенных растений»
Труды 52-й научной конференции МФТИ,
2009, Москва, сс. 116–117. |
| Селиверстов А.В., Любецкий В.А., «Об эллипсоидах, внутри которых нет целых точек»
Труды 52-й научной конференции МФТИ,
2009, Москва, сс. 128–130. |
| Зверко́в О.А., Селиверстов А.В., Рубанов Л.И., Любецкий В.А., Моделирование конкуренции РНК-полимераз: влияние нокаута сигма субъединицы и температуры на экспрессию генов.
Труды 32-й конференции «Информационные технологии и системы» (ИТиС’09), пос. д/о Бекасово, 15–18 декабря 2009, стр. 328–331. http://www.iitp.ru/upload/content/539/itas09_proceedings.pdf |
| Зверко́в О.А., Селиверстов А.В., Любецкий В.А., Транскрипция генов синтеза пролина у бактерий родов Marinobacter, Pseudomonas и Shewanella регулируется белком семейства tetR.
Труды 32-й конференции «Информационные технологии и системы» (ИТиС’09), пос. д/о Бекасово, 15–18 декабря 2009, стр. 278–281. http://www.iitp.ru/upload/content/539/itas09_proceedings.pdf |
| Горбунов К.Ю., Любецкая Е.В., «Реконструкция эволюции белковых семейств» ITAS"09. |
| Kanovei V., Lyubetsky V., Reeken M., Nonstandard class and superset theories,
Logic and Mathematics, The University of York, 3-7 August, 2009.
Department of Mathematics, University of York, 2009, p. 21. http://maths.york.ac.uk/www/sites/default/files/kanovei-slides.pdf |
| Lyubetsky V., 154, “Comparative genomic analysis of the attenuation regulation of amino acid and amino acyl-tRNA biosynthesis operons in bacteria” International Moscow Conference on Computational Molecular Biology: MCCMB’09, pp. 219–220. |
| 154, Seliverstov A., Lyubetsky V., “Chlorophyll synthesis regulation in plant chloroplasts” International Moscow Conference on Computational Molecular Biology: MCCMB’09, pp. 217–218. |
| Gorbunov K., Lyubetsky V., “Inferring gene evolution along a species tree” International Moscow Conference on Computational Molecular Biology: MCCMB’09, pp. 120–121. |
| Любецкий В.А., Рубанов Л.И., Селиверстов А.В., «Конкуренция РНК-полимераз, транскрибирующих локус в противоположных направлениях» Труды съезда генетиков и селекционеров и Пятый съезд Вавиловского общества генетиков и селекционеров, Москва, 21–27 июня 2009, часть II, с. 68. |
| Lyubetsky V., Zhizhina E., Rubanov L., “Gibbs Field for Evolutionary Analysis of Regulatory Signal of Gene Expression under Constraints on Secondary Structure” The 18th IMACS World Congress on Computational and Applied Mathematics & Applications in Science and Engineering, August 3-5, 2009, The University of Georgia, Athens, GA 30602-7404, USA, р. 54. |
| Любецкий В.А., Селиверстов А.В., «Регуляция экспрессии пластидных белков у паразитов, водорослей и растений» Труды 5-го Биоинформатического конгресса, 2009, Москва, сс. 387–388. |
| Горбунов К.Ю., Любецкий В.А., «Реконструкция эволюции генов вдоль дерева видов»
Молекулярная биология,
2009, том 43, № 5, сс. 946–958. |
| Горбунов К.Ю., Любецкая Е.В., Асарин Е.В., Любецкий В.А., «Реконструкция эволюции бактериальных регуляторных сигналов, основанных на вторичной структуре»
Молекулярная биология,
2009, том 43, № 3, стр. 527–541. |
| Mikhailov K.V., Konstantinova A.V., Nikitin M.A., Troshin P.V., Rusin L., Lyubetsky V., Panchin Y., Mylnikov A.P., Moroz L.L., Kumar S., Aleoshin V.V., “The origin of Metazoa: a transition from temporal to spatial cell differentiation”
BioEssays,
2009, V. 31, Issue 07, pp. 758–768.
PMID: 19472368 |
| Селиверстов А.В., Лысенко Е.А., Любецкий В.А., «Быстрая эволюция промоторов пластомных генов ndhF у цветковых растений»
Физиология растений,
2009, том 56, № 6, сс. 926–934. |
| Селиверстов А.В., Любецкий В.А., «Совместная регуляция белков, гомологичных рубредоксину, у диатомовых водорослей и паразитов Piroplasmida»
Информационные процессы,
2009, т. 9, № 1, сс. 30–33. http://www.jip.ru/2009/30-33-2009.pdf |
| Селиверстов А.В., Любецкий В.А., «Механизм регуляции транспорта марганца у Brucella с участием длинной спирали РНК»
Биофизика,
2009, т. 54, вып. 2, сс. 222-225. |
| Kanovei V., Lyubetsky V., Reasonable non-Radon-Nikodym ideals,
Topology and its Applications,
2009, 156, 5, pp. 911–914. http://iitp.ru/ http://dx.doi.org/10.1016/j.topol.2008.11.008 |
| Селиверстов А.В., Любецкий В.А., «О симметричных матрицах с неопределенной главной диагональю»
Проблемы передачи информации,
2009, том 45, вып. 3, сс. 73–78. http://mi.mathnet.ru/rus/ppi/v45/i3/p73 |
2008 |
| Kanovei V., Lyubetsky V., Reasonable non--Radon--Nikodym ideals.
arXiv:0806.4760 [math.LO].
Sun, 29 Jun 2008 http://arxiv.org/abs/0806.4760 |
| Felgner U., Herrlich H., Husek M., Kanovei V., et al., editors ., Felix Hausdorff.
Gesammelte Werke, Band III: Mengenlehre,
Deskriptive Mengenlehre und Topologie.
Berlin: Springer, 2008, xxii+1005 pp.,
Monograph
ISBN: 978-3-540-76806-7. http://iitp.ru/https://www.springer.com/de/book/9783540768067 |
| Herrlich H., Husek M., Kanovei V., et al., Anmerkungen der Herausgeber,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 352-398.
|
| Kanovei V., Hausdorff und Lusin,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 25-30.
|
| Kanovei V., Koepke P., Commentary to [H 1916],
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 439-442.
|
| Kanovei V., Koepke P., Commentary to [H 1933a],
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 478.
|
| Kanovei V., Koepke P., Commentary to [H 1933b],
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 482.
|
| Kanovei V., Koepke P., Commentary to [H 1935c],
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 528.
|
| Kanovei V., Koepke P., ds-Operationen, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 583-587.
|
| Kanovei V., Koepke P., Mengensysteme, Borelmengen, Trennbarkeit, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 617-625.
|
| Kanovei V., Koepke P., Borelsche Funktionen, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 651-653.
|
| Kanovei V., Koepke P., Reduzible Mengen und Differenzenketten, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 668-674. |
| Kanovei V., Koepke P., Suslinmengen, Indizes, Trennbarkeit, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 703-714. |
| Kanovei V., Koepke P., Varia, Kommentare,
In: Felix Hausdorff,
Gesammelte Werke. Band III: Descriptive Mengenlehre und Topologie,
Berlin: Springer, 2008, pp. 732-737. |
| Kanovei V., A dichotomy below E_1 * E_3,
Advances in set-theoretic topology, International conference, June 9-19, 2008,
Abstracts,
International Centre for Scientific Culture, Erice, Italy, 2008.
http://www.math.sci.ehime-u.ac.jp/erice/ |
| Friedman S.D., Kanovei V., Some natural equivalence relations in the Solovay model,
Abhandlungen aus dem Mathematischen Seminar der Universitaet Hamburg,
2008, 78, 1, pp. 91--98. http://dx.doi.org/10.1007/s12188-008-0003-y |
| Kanovei V., Reeken Michael, Development in nonstandard set theoretic analysis,
Scientiae Mathematicae Japonicae,
2008, 68, 1, pp. 141--176. http://www.jams.or.jp/notice/scmj/68-1.html |
| Кановей В.Г., Успенский В.А., Линтон Том, Игровой подход к мере Лебега,
Матем. Сборник, 2008, 199, 11, с. 21--44.
http://iitp.ru/www.mathnet.ru/sm3948 |
| Mikhailov K., Konstantinova A., Nikitin M., Troshin P., Rusin L., Lyubetsky V., Panchin Yu., Mylnikov A., Moroz L., Kumar S., Aleoshin V., “The Gastrea theory in postgenomic age: cell differentiation preceded multicellularity in early metazoan evolution”
Proceedings of the ICREA Conference on the Origin and Early Evolution of Metazoans, Barcelona Spain, October 24–25 2008. |
| Rusin L., Lyubetsky V., Kumar S., “Phylogenomic pipeline and construction of a multi-gene dataset for Metazoa”
Proceedings of the Annual Meeting of the Society for Molecular Biology and Evolution SMBE’2008, Barcelona Spain, June 5–8 2008. |
| Кондратенков И.Б., Рубанов Л.И., Использование методов анализа неподвижных изображений для поиска событий в видеопоследовательностях // Информационные технологии и системы ИТиС 31, 2008, Геленджик, 29 сентября - 3 октября 2008, стр. 478-481. |
| Зверко́в О.А., Программный комплекс для согласования набора эволюционных деревьев и выявления эволюционных событий.
Труды 51-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук»,
Москва, 28–30 ноября 2008, М.: МФТИ, 2008, часть 1, стр. 133–136. http://frtk.ru/conf/probl_pered_obrab_inf/Zverkov-site.pdf |
| Селиверстов А.В., Любецкий В.А., «О квадратичных формах ранга n-2, равных единице на большом множестве вершин n-мерного куба»
Труды 51-й научной конференции МФТИ,
Москва, 2008, сс. 150–153. http://frtk.ru/conf/probl_pered_obrab_inf/Seliverstov1-site-arpfsytjo57.pdf |
| Селиверстов А.В., Любецкий В.А., «Алгоритмы для поиска многобоксовых сигналов и их применения»
Труды 51-й научной конференции МФТИ,
2008, Москва, сс. 147–149. |
| Любецкая Е.В., Горбунов К.Ю., Алгоритмы реконструкции эволюции регуляторных сигналов. 2008, Труды 51-й научной конференции МФТИ, Москва, с. 144-146. |
| 154, Селиверстов А.В., Любецкий В.А., «Об одном подходе к поиску регуляции в дискретных последовательностях»
Труды 51-й научной конференции МФТИ,
Москва, 2008, сс. 141–143. http://frtk.ru/conf/probl_pered_obrab_inf/Lopatovskaya-site-arpfsytjn7m.pdf |
| Lyubetsky V., Seliverstov A., “On evolution of promoters in plastomes”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 217. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Lysenko E., Seliverstov A., Lyubetsky V., “Analysis of Sig3, Sig4 and Sig6 evolution on new genomic data”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 147. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| 154, Seliverstov A., Lyubetsky V., “RNA structures upstream the 2-isopropylmalate synthase encoding gene in alfa-proteobacteria and actinobacteria”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 144. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Gorbunov K., Kanovei V., Lyubetsky V., “Inferring optimal scenario of gene evolution along a species tree”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 90. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Rubanov L., Seliverstov A., Lyubetsky V., “Multiple alignment based on species tree”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 212. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Lyubetsky V., Zhizhina E., Rubanov L., “A model of regulatory signal evolution”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 148. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Glotova I., Lyubetsky V., ”Classical attenuation regulation model”
Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2008), Novosibirsk, June 22–28, p. 85. http://www.bionet.nsc.ru/meeting/bgrs2008/BGRS2008_Proceedings.pdf |
| Lyubetsky V., “Models of gene expression regulation and evolution of regulatory elements” Proceeding of the Fifth International Conference of Applied Mathematics and Computing (Plovdiv, Bulgaria, August 12-18), 2008, pp. 17–19. |
| Любецкий В.А., Рубанов Л.И., Селиверстов А.В., «Выравнивание последовательностей на основе дерева» Труды 9-й Международной конференции РАН «Распознавание образов и анализ изображений: новые информационные технологии», 2008, 15-20 сентября, Нижний Новгород, сс. 137–140. |
| Friedman Sy-D., Kanovei V., Lyubetsky V., On ROD reducibility of equivalence relations in Solovay model,
Methods of Logic in Mathematics V,
Russian Academy of Sciences, Steklov Institute of Mathematics and Euler International Mathematical Institute, Proceedings of International Conference, St. Petersburg, Russia, June 1-7 2008, p. 6. |
| Любецкий В.А., Жижина Е.А., Рубанов Л.И., «Гиббсовский подход в задаче эволюции регуляторного сигнала экспрессии гена»
Проблемы передачи информации,
2008, т. 43, № 4, сс. 52–71. |
| Vitreschak A., Mironov A., Lyubetsky V., Gelfand M., “Comparative genomic analysis of T-box regulatory systems in bacteria”
Ribonucleic acids molecular biology (RNA),
V. 14, No. 4, April 2008, pp. 717-735.
PMID: 18359782 http://rnajournal.cshlp.org/content/14/4/717.full |
| Селиверстов А.В., Любецкий В.А., «О квадратичных формах, равных единице на большом множестве вершин n-мерного куба»
Информационные процессы,
2008, том 8, № 4, стр. 201–204. |
| Кановей В.Г., Любецкий В.А., Борелевская сводимость как аддитивное свойство областей,
Исследования по конструктивной математике и математической логике. XI,
Записки научных семинаров ПОМИ, том 358, СПб.: ПОМИ, 2008, 189–198. http://www.mathnet.ru/php/getFT.phtml?jrnid=znsl&paperid=2151&what=fullt&option_lang=rus |
| Kanovei V., Borel equivalence relations: structure and classification,
University Lectures series of the AMS, 2008. Monograph ISBN: 978-0-8218-4453-3
http://www.ams.org/bookstore-getitem/item=ulect-44 |
2007 |
| Kanovei V., A weak dichotomy below E_1 x E_3.
arXiv:0707.2706 [math.LO].
Wed, 18 Jul 2007. http://arxiv.org/abs/0707.2706 |
| Kazanov M., Vitreschak A., Gelfand M., Abundance and functional diversity of riboswitches in microbial communities. BMC Genomics. 2007 Oct 1;8:347. http://www.biomedcentral.com/1471-2164/8/347 |
| Kanovei V., Canonization of Borel equivalence relations on large sets.
Euler and modern combinatorics, international conference. June 1-7, 2007.
Program, abstracts, pp. 12-13.
Euler International Mathematical Institute,
St.Petersburg, 2007.
|
| Горбунов К.Ю., «Оценка числа элементов покрытия произвольного теста на случайность частотными тестами» Проблемы передачи информации, 2007, том 43, вып. 1, сс. 65–75. |
| Селиверстов А.В., Любецкий В.А., «Структура РНК перед геном 2-изопропилмалат синтазы у некоторых протеобактерий»
Информационные процессы,
2007. т. 7, № 1, сс. 113–115. http://www.jip.ru/2007/113-115-2007.pdf |
| Кановей В.Г., Любецкий В.А., Современная теория множеств: начала дескриптивной динамики,
Наука, 2007, 231 стр., Монография ISBN: 978-5-02-035577-4. http://www.ozon.ru/context/detail/id/3938505/ |
| Селиверстов А.В., Любецкий В.А., «Кластеризация и поиск промоторов у хлоропластов»
Труды 30-й конференции «Информационные технологии и системы» (ИТиС’07), Звенигород, 18–21 сентября 2007, стр. 321–323. |
| Глотова И., Рубанов Л.И., Селиверстов А.В., Любецкий В.А., «Псевдоузлы и РНК-триплексы в модели классической аттенюаторной регуляции» Труды конференции ИТиС 30, Звенигород, 18–21 сентября 2007, сс. 222-227. |
| Витрещак А.Г., Миронов А.А., Любецкий В.А., Гельфанд М.С., «Компьютерный анализ, функциональная аннотация и изучение эволюции Т-бокс регулона в бактериях» Труды конференции ИТиС 30, Звенигород, 18–21 сентября 2007, сс. 220-221. |
| Любецкий В.А., Жижина Е.А., Горбунов К.Ю., Селиверстов А.В., «Модель эволюции нуклеотидной последовательности» Труды конференции «Математические методы распознавания образов», 2007, сс. 605–609. |
| Seliverstov A., Lysenko E., Lyubetsky V., “Rapid evolution of promoters in Magnoliophyta chloroplasts” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 286–292. |
| Vitreschak A., Lyubetsky V., Gelfand M., “Analysis of evolution of T-box regulatory elements prediction of amino acid transporters and other amino acid related genes” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 30–37. |
| Rusin L., Lyubetsky V., “Algorithms to model gene evolution events and reconstruct multigene phylogenies of species”
Proceedings of the international conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, Moscow, November 16–19 2007, KMK Scientific Press, P. 274–277. |
| Lyubetsky V., Seliverstov A., Gorbunov K., “Models of gene expression regulation and evolution of regulatory elements” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 158–165. |
| Gorbunov K., Lyubetsky V., “Modeling evolution of the nucleotide sequence with secondary structure” Proceedings of the international scientific conference “Computational Phylogenetics and Molecular Systematics, CPMS’2007”, November 16–19 2007, KMK Scientific Press, Moscow, pp. 68–75. |
| Vitreschak A., Mironov A., Lyubetsky V., Gelfand M., “Function and evolutionary analysis of the T-box regulon in bacteria” Proceedings of International Moscow Conference on Computational Molecular Biology: МССМВ’07, November 2007, pp. 309–310. |
| Rusin L., Lyubetsky V., “Phylogenomics of Metazoa: Constructing the Gene Set” Proceedings of International Moscow Conference on Computational Molecular Biology: МССМВ’07, 2007, pp. 267–268. |
| Lyubetsky V., Seliverstov A., Zverkóv O., RNA Structures upstream leuA Genes in α-proteobacteria.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’07, Moscow, Russia, July 27–31 2007, P. 191–192. |
| Lyubetsky V., Seliverstov A., “Long helices in mRNA processing” Proceedings of International Moscow Conference on Computational Molecular Biology: МССМВ’07, 2007, pp. 189–191. |
| Gorbunov K., Radionov D., Laikova O., Gelfand M., Lyubetsky V., “Reconstruction of ancestral regulatory signal along a phylogeny” Proceedings of International Moscow Conference on Computational Molecular Biology: МССМВ’07, 2007, pp. 111–113. |
| Русин Л.Ю., Рубанов Л.И., Любецкий В.А., «Данные для построения эволюционного дерева высших Metazoa»
Информационные процессы,
2007, т. 7, № 3. сс. 199–213. |
| Кановей В.Г., Любецкий В.А., Борелевская сводимость сохраняется при счетном дизъюнктном объединении борелевских множеств,
Препринт Петербургского отделения Математического института РАН, 2007. http://www.pdmi.ras.ru/preprint/2007/07-16.html |
| Rubanov L., Lyubetsky V., “RNAmodel Web Server: Modeling Classic Attenuation in Bacteria”
In Silico Biology,
2007, V. 7, No 3, pp. 285–308.
PMID: 18415978 http://www.bioinfo.de/isb/2007/07/0044/ |
| Asarin E., Cachat Th., Seliverstov A., Touili T., Lyubetsky V., “Attenuation regulation as a term rewriting system” Article in the book “Algebraic Biology”, Lecture Notes in Computer Science 4545, Springer Berlin / Heidelberg, pp. 81–94, (Proceedings of the 2nd international conference on Algebraic biology: AB"07, Castle of Hagenberg, Austria, July 2-4 2007). http://arxiv.org/PS_cache/arxiv/pdf/0706/0706.2126v1.pdf |
| Горбунов К.Ю., Любецкий В.А., «Реконструкция предковых регуляторных сигналов вдоль дерева эволюции фактора транскрипции»
Молекулярная биология,
2007, том 41, № 5, стр. 918–925. |
| Любецкая Е.В., Селиверстов А.В., Любецкий В.А., «У актинобактерий число длинных шпилек в межгенных трейлерных областях велико по сравнению с другими областями генома»
Молекулярная биология,
2007, том 41, № 4, стр. 739–742. |
| Селиверстов А.В., Любецкий В.А., «Регуляция биосинтеза пролина у протеобактерий»
Молекулярная биология,
2007, том 41, № 3, стр. 572–574. |
| Кановей В.Г., Любецкий В.А., Проблемы теоретико-множественного нестандартного анализа,
Успехи математических наук,
2007, 62:1(373), сс. 51–122. http://www.mathnet.ru/php/getFT.phtml?jrnid=rm&paperid=5588&what=fullt&option_lang=rus |
| Кановей В.Г., Любецкий В.А., Реекен М., О сводимости монадических отношений эквивалентности,
Математические заметки,
2007, т. 81, № 6, сс. 842–854. http://www.mathnet.ru/links/4511ac41dc80f2435c1b79658aa17116/mzm3735.pdf |
| Любецкий В.А., Пирогов С.А., «Нестандартные представления локально компактных групп»
Математические заметки,
2007, 82, 3, сс. 383–389. http://www.springerlink.com/content/bj210202g2448945/fulltext.pdf |
| Lyubetsky V., Pirogov S., Rubanov L., Seliverstov A., “Modeling classic attenuation regulation of gene expression in bacteria”
Journal of Bioinformatics and Computational Biology,
Vol. 5, Iss. 1, 2007, pp. 155–180.
PMID: 17477496 |
2006 |
| Кановей В.Г., Любецкий В.А., Конфинальное семейство отношений эквивалентности
и порождающих их борелевских идеалов.
Труды МИАН, 2006, 252, с. 94--113.
http://mi.mathnet.ru/tm65 |
| Кановей В.Г., Успенский В.А., О единственности нестандартных расширений.
Вестник МГУ, сер. матем., 2006, 5, c. 3--10.
http://elibrary.ru/item.asp?id=9297010 |
| Kanovei V., Reeken M., Effective cardinals in the nonstandard universe.
Mathematical Logic in Asia.
Proceedings of the 9th Asian Logic Conference.
Novosibirsk, Russia, 16--19 August, 2005, pp. 113--144.
World Scientific Publishers, 2006.
http://iitp.ru/https://www.worldscientific.com/worldscibooks/10.1142/6255 |
| Витрещак А.Г., Регуляторные РНК-переключатели. Международная школа «биоинформатика, геномика и протеоимка». (2006) Алматы, 11-16 апр, (доклад). |
| Seliverstov A., Zverkóv O., Lyubetsky V., Translation of some chloroplast genes is checked to allow for splicing and editing.
Biophysics. 2006, Vol. 51, Suppl. 1, P. S18–S22.
DOI: 10.1134/S0006350906070049 http://www.springerlink.com/content/p7517k3187230111/ |
| Lyubetsky V., Seliverstov A., “Modeling classic attenuation regulation of gene expression in bacteria”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 1, pp. 102–105. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V1_022.pdf |
| Rusin L., Lyubetsky V., “Refinement of phylogenetic signal in multiple sequence alignment: results of simulation study”
Proceedings of the Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS"2006), Novosibirsk, Russia, July 16–22 2006, Vol. 3, P. 222–224. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V3_049.pdf |
| Gorbunov K., Lyubetsky V., “Inferring regulatiory signal profiles and evolutionary events”
Proceedings of the Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS"2006), Novosibirsk, Russia, July 16–22 2006, Vol. 3, P. 151–154. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V3_031.pdf |
| Lyubetskaya E., Seliverstov A., Lyubetsky V., “Detecting Hairpins in 3’-Untranslated Regions of Highly Expressed Genes in Actinobacteria”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 1, pp. 99–101. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V1_021.pdf |
| Vitreschak A., Lyubetsky V., Gelfand M., “Evolutional and Functional Analysis of T-box Regulon in Bacteria: Identification of new Genes Involved in Amino Acid Metabolism”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 3, pp. 236–240. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V3_053.pdf |
| Seliverstov A., Lyubetsky V., “Translation Regulation in Chloroplasts”
Proceedings of The Fifth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2006), Novosibirsk, July 16–22 2006, V. 1, pp. 146–149. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2006/BGRS_2006_V1_033.pdf |
| Кановей В.Г., Любецкий В.А., «Конфинальное семейство отношений эквивалентности и порождающих их борелевских идеалов»
Труды Математического института имени В.А. Стеклова,
Труды МИАН,
2006, т. 252, № 1, сс. 94–113. http://dx.doi.org/10.1134/S008154380601010X |
| Любецкий В.А., Рубанов Л.И., Селиверстов А.В., Пирогов С.А., «Модель регуляции экспрессии генов у бактерий на основе формирования вторичных структур РНК»
Молекулярная биология,
2006, т. 40, № 3, сс. 497–511. |
| Любецкий В.А., Селиверстов А.В., «Вычисление эффективности регуляции биосинтеза триптофана у бактерий на основе модели классической аттенюации» Информационные процессы, 2006, т. 6, № 1, сс. 55–57. http://www.jip.ru/2006/55-57-2006.pdf |
| Селиверстов А.В., Любецкий В.А., «Алгоритм поиска консервативных участков нуклеотидных последовательностей» Информационные процессы, 2006, т. 6, № 1, сс. 33–36. http://www.jip.ru/2006/33-36-2006.pdf |
| Леонтьев Л.А., Любецкий В.А., «Алгоритм определения белка, согласованного с заданным филогенетическим профилем» Информационные процессы, 2006, т. 6, № 1, сс. 24–32. |
| Леонтьев Л.А., Любецкий В.А., «Массовый поиск консервативных регуляторных структур, содержащих Т-боксы: результаты счета» Информационные процессы, 2006, т. 6, № 1, сс. 20–23. |
| Seliverstov A., Lyubetsky V., “Translation Regulation of Intron-containing Genes in Chloroplasts”
Journal of Bioinformatics and Computational Biology,
2006, Vol. 4, No. 4, P. 783–792.
PMID: 17007067 |
| Lyubetsky V., Gorbunov K., Rusin L., V'yugin V., “Algorithms to reconstruct evolutionary events at molecular level and infer species phylogeny” An article in the book: “Bioinformatics of Genome Regulation and Structure II”, Springer Science & Business Media, Inc. 2006, pp. 189–204. http://www.springerlink.com/content/q67568k37g687647/ |
| Любецкая А.В., Рубанов Л.И., Гельфанд М.С., "Применение потоковой модели для изучения метаболизма Escherichia coli", Биохимия, 2006, том 71, выпуск 11, с.1544-1549 |
| Любецкая Е.В., Рубанов Л.И., Селиверстов А.В., Любецкий В.А., "Алгоритм поиска мощных вторичных структур в нуклеотидной последовательности и его применение для подсчета числа таких структур в разных областях геномов". Информационные процессы, том 6, № 3, 2006, с.258-263 http://www.jip.ru/2006/258-263-2006.pdf |
2005 |
| Кановей В.Г., Любецкий В.А., О совершенных подмножествах инвариантных СА-множеств.
Математические заметки, 2005, 77, 3, с. 334--338
http://mi.mathnet.ru/mz2496 |
| Кановей В.Г., Успенский В.А., Об эквивалентности двух форм континуум-гипотезы.
Вестник МГУ, сер. матем., 2005, 3, c. 62--64.
http://elibrary.ru/item.asp?id=9133206 |
| Kanovei V., Lyubetsky V., A cofinal family of equivalence relations generated by Borel ideals.
Logic Colloquium 2005.
ASL European Summer meeting. July 28 -- August 3,
Athens, Greece, pp. 83.
Department of Mathematics, University of Athens, Greece, 2005.
|
| Rusin L., V'yugin V., Lyubetsky V., “Phylogenetic signal vs. informational noise: combat for resolution”
Proceedings of the international conference “9th Evolutionary Biology Meeting”, Marseille, France, September 21–23 2005. |
| Rusin L., V'yugin V., Lyubetsky V., “A method to optimize primary sequence data for enhanced tree resolution”
Proceedings of the 4th European Conference on Computational Biology ECCB 2005, Madrid, Spain, September 28 – October 01 2005. |
| Гельфанд М.С., Герасимова А., Котельникова Е.А., Лайкова О.Н., Макеев В.Ю., Миронов А.А., Панина Е.М., Равчеев Д.А., Родионов Д.А., Витрещак А.Г., Comparative genomics and evolution of bacterial regulatory systems.
Bioinformatics of Genome Regulation and Structure II (Springer Science+Business Media, Inc.) P. 111-119 (2005)
|
| Витрещак А.Г., Кучеров Г., Computer prediction of H-NS regulon in E. coli. Comparative analysis of regulation of rrn operons in proteobacteria. Proceedings of the international conference on computational molecular biology (MCCMB-05), 2005, July 18-21, 2005, P. 403-405. |
| Любецкий В.А., «Математические модели эволюции и регуляции экспрессии генов» Труды конференции РАН «Математические методы распознавания образов», 2005, Москва, сс. 366–368. |
| Леонтьев Л.А., Селиверстов А.В., Любецкий В.А., «Регуляция транскрипции с участием Т-боксов» Труды конференции РАН «Проблемы управления и моделирования в сложных системах, VII Международная конференция», 2005, Самара, сс. 222–224. |
| Любецкий В.А., Селиверстов А.В., «Регуляция трансляции у Актинобактерий и Цианобактерий с участием вторичных структур мРНК» Труды конференции РАН «Проблемы управления и моделирования в сложных системах, VII Международная конференция», 2005, Самара, сс. 216–221. |
| Пирогов С.А., Горбунов К.Ю., Любецкий В.А., «Макро- и микросостояния в модели аттенюаторной регуляции экспрессии генов у бактерий» Труды конференции РАН «Проблемы управления и моделирования в сложных системах, VII Международная конференция», 2005, Самара, сс. 210–215. |
| Любецкий В.А., Пирогов С.А., «Модель аттенюаторной регуляции у бактерий» Труды конференции РАН «Проблемы управления и моделирования в сложных системах, VII Международная конференция», 2005, Самара, сс. 205–209. |
| Leont'yev L., Seliverstov A., Lyubetsky V., “An algorithm for mass searching of T-box structures in bacteria” MCCMB’05, 2005, pp. 202–206. |
| Lyubetsky V., V'yugin V., “A model for evolutionary event reconstruction” MCCMB’05, 2005, pp. 217–219. |
| Rusin L., V'yugin V., Lyubetsky V., “Enhancing phylogenetic inference: concentration of the signal in sequence data” MCCMB’05, 2005, pp. 342–346. |
| Gorbunov K., Lyubetsky V., “Algorithms to reconstruct ancestral gene evolution events” MCCMB’05, 2005, pp. 128–129. |
| Lyubetsky V., Seliverstov A., “RNA regulatory structures in Actinobacteria and Cyanobacteri” MCCMB’05, 2005, pp. 351–353. |
| Lyubetsky V., Pirogov S., “A model for bacterial gene expression regulation with secondary RNA structures” MCCMB’05, 2005, pp. 214–216. |
| Селиверстов А.В., Любецкий В.А., «Регуляция трансляции в хлоропластах» Информационные процессы, 2005, т. 5, № 5, сс. 400–404. http://www.jip.ru/2005/400-404.pdf |
| Любецкий В.А., Селиверстов А.В., «Поиск консервативных участков в лидерных областях генов в случае известного дерева видов» Информационные процессы, 2005, т. 5, No 4, сс. 265–270. http://www.jip.ru/2005/265-270.pdf |
| Любецкий В.А., Горбунов К.Ю., Вьюгин В.В., Русин Л.Ю., «Удаление шума в множественном выравнивании белковых последовательностей» Информационные процессы, 2005, т. 5, № 5, сс. 380–391. http://www.jip.ru/2005/380-391.pdf |
| Любецкий В.А., Горбунов К.Ю., Пирогов С.А., Рубанов Л.И., Селиверстов А.В., «Алгоритм и результаты счета для модели регуляции экспрессии генов у бактерий на основе формирования вторичных структур РНК» Информационные процессы, 2005, т. 5, № 5, сс. 337–366. http://www.jip.ru/2005/337-366.pdf |
| Леонтьев Л.А., Любецкий В.А., Селиверстов А.В., «Алгоритм массового поиска опосредованной Т-боксом транскрипционной регуляции у бактерий»
Молекулярная биология,
2005, т. 39, № 6, сс. 1076–1078.
PMID: 16358746 |
| Любецкий В.А., Селиверстов А.В., «Регуляция экспрессии генов биосинтеза аминокислот и аминоацил-тРНК-синтетаз у актинобактерий»
Молекулярная биология,
2005, том 39, № 6, стр. 1072–1075.
PMID: 16358745 |
| Seliverstov A., Putzer H., Gelfand M., Lyubetsky V., “Comparative analysis of RNA regulatory elements of amino acid metabolism genes in Actinobacteria”
BMC Microbiology,
2005, 5:54.
PMID: 16202131 http://www.biomedcentral.com/1471-2180/5/54 |
| Горбунов К.Ю., Любецкий В.А., «Поиск предковых генов, нарушающих согласованность деревьев белков и видов»
Молекулярная биология,
2005, т. 39, № 5, сс. 847–858.
PMID: 16240718 |
| Кановей В.Г., Любецкий В.А., «О совершенных подмножествах инвариантных CA-множеств»
Математические заметки,
2005, том 77, № 3, стр. 334–338. http://www.springerlink.com/content/hx77t845227524g5/fulltext.pdf |
| Kanovey V., Lyubetsky V., “A cofinal family of equivalence relations generated by Borel ideals” Conference of Association for Symbolic Logic, Greece, Logic Colloquium 2005, ASL European Summer Meeting, July 28 – August 2, Athens, Greece, University of Athens, Greece, pp. 83. |
2004 |
| Kanovei V., Shelah S., A definable nonstandard model of the reals.
J. Symbolic Logic, 2004, 69, 1, pp. 159--164.
http://www.jstor.org/discover/10.2307/30041716?uid=2129&uid=2&uid=70&uid=4&sid=21102182105633 |
| Kanovei V., Reeken M., Borel irreducibility between two large families of Borel equivalence relations.
Logic Colloquium 99,
Lecture Notes in Logic, 17.
Association for Symbolic Logic, 2004, pp. 100--110. http://iitp.ru/https://aslonline.org/books/lecture-notes-in-logic/available-volumes/lecture-notes-in-logic-17/ |
| Kanovei V., Reeken M., Shelah S., Fully saturated extensions of the standard universe.
Logic, algebra and geometry, June 1 -- 7, 2004,
program, abstracts, St.,Petersburg, pp. 16--17.
Euler International mathematical institute,
St. Petersburg, 2004. |
| Kanovei V., Reeken M., Shelah S., Fully saturated extensions of the standard universe.
Models of Arithmetic and Analysis,
International Congress, Pisa, June 25-26, 2004,
Program and abstracts, pp. 1.
Pisa, Italy, 2004. http://www.dm.unipi.it/~dinasso/marian2004/kanovei.pdf |
| Kanovei V., Reeken M., Shelah S., Fully saturated extensions of standard universe.
Timetable and abstracts, Logic Colloquium 2004,
p. 117. Torino, Italy, 2004. |
| Любецкий В.А., Селиверстов А.В., «Note on Cliques and Alignments»
Информационные процессы,
2004, том 4, № 3, стр. 241–246. http://www.jip.ru/2004/241-246.pdf |
| Kanovei V., Reeken Michael, Nonstandard analysis, axiomatically.
Series: Springer Monographs in Mathematics
2004, XVI, 408 p., Monograph
ISBN: 978-3-540-22243-9
http://www.springer.com/math/analysis/book/978-3-540-22243-9 |
| Витрещак А.Г., Ноэ Л., Кучеров Г., Computer analysis of multiple repeats in bacteria. In the proceedings of the forth International Conference on Bioinformatics of Genome Regulation and Structure, Novosibirsk, July 25-30, 2004. V. 2. P. 297-299. |
| Витрещак А.Г., Detection of multiple repeats in bacteria. Conference “Indexation de texte et découverte de motifs. Algorithmique des sequences”, Lille, France, December 9-10, 2004 (http://www.lifl.fr/BIOINFO/programme.html). http://www.lifl.fr/BIOINFO/programme.html |
| Родионов Д.А., Витрещак А.Г., Миронов А.А., Гельфанд М.С., Comparative genomics of the methionine metabolism in Gram-positive bacteria: a variety of regulatory systems. Nucleic Acids Res. 2004 Jun 23;32(11):3340-53. http://www.pubmedcentral.nih.gov/articlerender.fcgi?tool=pubmed&pubmedid=15215334 |
| Витрещак А.Г., Родионов Д.А., Миронов А.А., Гельфанд М.С., Riboswitches: the oldest mechanism for the regulation of gene expression? Trends in Genetics, 2004 Jan; 20(1):44-50. http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6TCY-4B4RT47-1&_user=10&_rdoc=1&_fmt=&_ori |
| Lyubetsky V., Gorbunov K., V'yugin V., “Inferring evolutionary events, quality of COGs, measuring the dissimilarity between gene and species trees” Presentation abstracts of the EMBO World Phylogenetic Course 2004. November 1–7 2004, Rio de Janeiro, Brazil. |
| Lyubetsky V., V'yugin V., “Complex phylogenetic analysis of the evolutionary history for some prokaryotes family”
Biophysics (Moscow),
2004, V. 48, Suppl. 1 (2003), pp. 97–106. |
| Gorbunov K., Lyubetsky V., “New approach for detecting common secondary structures in a set of RNA sequences”
Biophysics (Moscow),
2004, V. 48, Suppl. 1 (2003), pp. 56–67. |
| Селиверстов А.В., Любецкий В.А., «Особенности синтеза цистеина у Corynebacterium, Mycobacterium и Propionibacterium» Информационные процессы, 2004, т. 4, № 3, сс. 247–250. http://www.jip.ru/2004/247-250.pdf |
| Кановей В.Г., Любецкий В.А., О множестве конструктивных вещественных чисел,
Геометрическая топология и теория множеств,
Труды МИАН, том 247, М.: Наука, 2004, сс. 95–128. http://mi.mathnet.ru/tm12 |
| Любецкий В.А., Селиверстов А.В., «Многодольные графы с двумя вершинами в каждой доле» Информационные процессы, 2004, т. 4, № 2, сс. 127–132. http://www.jip.ru/2004/127-132.pdf |
| Любецкий В.А., Основные понятия элементарной математики.
Учебное пособие для вузов. Айрис-пресс, 2004. 625 стр. http://www.ozon.ru/context/detail/id/2194434/ |
| Кузнецов Н.А., Гельфанд М.С., Любецкий В.А., «Биоинформатика бактерий – основные задачи и характер моделей» Труды 6-й международной конференции «Проблемы управления и моделирования в сложных системах», 14–17 июня 2004, РАН, сс. 5–11. |
| Любецкая Е.В., Леонтьев Л.А., Ширшин М.А., Любецкий В.А., «Алгоритм поиска сигнала со сложной структурой» Труды 6-й международной конференции «Проблемы управления и моделирования в сложных системах», 14–17 июня 2004, РАН, сс. 158–162. |
| Любецкий В.А., Селиверстов А.В., «Геометрический метод поиска клики в графе и его применение для выделения сигнала» Труды 6-й международной конференции «Проблемы управления и моделирования в сложных системах», 14–17 июня 2004, РАН, сс. 154–157. |
| Горбунов К.Ю., Любецкий В.А., «Модель регуляции биосинтеза» Труды 6-й международной конференции «Проблемы управления и моделирования в сложных системах», 14–17 июня 2004, РАН, сс. 151–153. |
| Lyubetsky V., V'yugin V., “Measuring the Dissimilarity Between Gene and Species Trees, the Quality of a COG”
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 2, pp. 281–284. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V2_069.pdf |
| Gorbunov K., Lyubetsky V., “A Model of Tryptophan Biosynthesis Regulation”
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 2, pp. 53–55. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V2_011.pdf |
| Lyubetsky V., Seliverstov A., ”Amino Acid Biosynthesis Attenuation in Bacteria“
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 1, pp. 307–310. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V1_077.pdf |
| Leont'yev L., Shirshin M., Lyubetsky V., “Detection of Classical Attenuation in Bacterial Genomes”
Proceedings of the Fourth International Conference on Bionnformatics of Genome Regulation and Structure (BGRS’2004), Novosibirsk, July 25–30 2004, V. 1, pp. 116–118. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2004/BGRS_2004_V1_028.pdf |
| Vitreschak A., Lyubetskaya E., Shirshin M., Gelfand M., Lyubetsky V., “Attenuation regulation of amino acid biosynthetic operons in proteobacteria: comparative genomics analysis”
FEMS Microbiological Letters,
2004, 234(2), pp. 357–370.
PMID: 15135544 http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6T2W-4C5VMJK-4&_user=10&_rdoc=1&_fmt=&_ori |
| Кузнецов Н.А., Любецкий В.А., Чернавский А.В., «К вопросу о понятии информационного взаимодействия, 3: речевой интеллект» Информационные процессы, 2004, т. 4, № 2, сс. 117–126. http://www.jip.ru/2004/117-126.pdf |
2003 |
| Кановей В.Г., Реекен М., Некоторые новые результаты о борелевской несводимости
отношений эквивалентности.
Известия РАН, сер. матем., 2003, 67, 1, с. 59--82.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=418&option_lang=rus |
| Кановей В.Г., Любецкий В.А., О некоторых классических проблемах дескриптивной теории множеств.
УМН, 2003, 58, 5, c. 3--88. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=666&option_lang=rus |
| Kanovei V., Reeken M., A theorem on ROD-hypersmooth equivalence relations
in the Solovay model.
Math. Logic Quarterly, 2003, 49, 3, pp. 299--304.
http://onlinelibrary.wiley.com/doi/10.1002/malq.200310030/abstract |
| Kanovei V., Reeken M., Borel and countably determined
reducibility in nonstandard domain.
Monatshefte fur Mathematik, 2003, 140, 3, pp. 197--231.
doi: 10.1007/s00605-003-0004-y
http://link.springer.com/content/pdf/10.1007%2Fs00605-003-0004-y.pdf |
| Durand B., Kanovei V., Uspensky V.A., Vereshchagin N., Do stronger definitions of randomness exist?
Theor. Comput. Sci., 2003, 290, 3, pp. 1987--1996
http://www.sciencedirect.com/science/article/pii/S0304397502000403 |
| Гельфанд М.С., Любецкий В.А., «Биоинформатика: от эксперимента к компьютерному анализу и снова к эксперименту»
Вестник РАН,
2003, том 73, № 11, стр. 987–994. http://vivovoco.rsl.ru/VV/JOURNAL/VRAN/GENOMICS/GENOMICS.HTM |
| Кановей В.Г., Любецкий В.А., О существовании регулярного неопределимого множества вещественных чисел,
Труды конференции «Колмогоров и современная математика (100 лет Колмогорову)», Москва, 2003, стр. 690. |
| Карнаухов В.Н., Кузнецов Н.А., Рубанов Л.И., Разработка многоуровневого информационного ресурса «История российской науки в лицах». Труды международной конференции EVA’2003, М.: Центр ПИК, ГТГ, 2003, стр.2/5/1 2/5/3. |
| Витрещак А.Г., Identification of RNA 5’ UTR regulatory elements and prediction of RNA riboswitch mechanism of regulation of vitamin biosynthetic and transport genes in bacteria. Proceedings of the International Moscow Conference on Computational Molecular Biology. Moscow, Russia, July 22-25, 2003. P. 233. |
| Жанг З., Фейж Ж., Ченг А., Андерсон И., Бродянски В., Витрещак А.Г., Гельфанд М.С., Сайер М., A transporter of Escherichia coli specific for l- and d-methionine is the prototype for a new family within the ABC superfamily. Arch Microbiol, 2003. 180: 88-100. http://www.springerlink.com/content/ylj23b9fp53be09d/ |
| Панина Е.М., Витрещак А.Г., Миронов А.А., Гельфанд М.С., Regulation of biosynthesis and transport of aromatic amino acids in low-GC Gram-positive bacteria. FEMS Microbiol Lett. 2003 May 28; 222(2):211-20. http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6T2W-48GNYN9-1&_user=10&_rdoc=1&_fmt=&_ori |
| Родионов Д.А., Витрещак А.Г., Миронов А.А., Гельфанд М.С., Comparative genomics of the vitamin B12 metabolism and regulation in prokaryotes. J Biol Chem. 2003 Oct 17; 278(42), 41148-59. http://www.jbc.org/cgi/content/full/278/42/41148 |
| Родионов Д.А., Витрещак А.Г., Миронов А.А., Гельфанд М.С., Regulation of lysine biosynthesis and transport genes in bacteria: yet another RNA riboswitch? Nucleic Acids Research, 2003, Dec 1, 31(23):6748-57. http://www.pubmedcentral.nih.gov/articlerender.fcgi?tool=pubmed&pubmedid=14627808 |
| Витрещак А.Г., Родионов Д.А., Миронов А.А., Гельфанд М.С., Regulation of the vitamin B(12) metabolism and transport in bacteria by a conserved RNA structural element. RNA. 2003 Sep; 9(9):1084-1097. http://www.pubmedcentral.nih.gov/articlerender.fcgi?tool=pubmed&pubmedid=12923257 |
| Lyubetskaya E., Leont'yev L., Lyubetsky V., “Algorithm for detecting alternative secondary RNA structures and mass analysis attenuator regulation in proteobacteria” MCCMB’03, 2003, pp. 144–145. |
| Любецкая Е.В., Леонтьев Л.А., Любецкий В.А., «Поиск альтернативных вторичных структур в классе гамма-протеобактерий» Информационные процессы, том 3, № 1, 2003, сс. 23–38. |
| Любецкая Е.В., Леонтьев Л.А., Гельфанд М.С., Любецкий В.А., «Поиск альтернативных вторичных структур РНК, регулирующих экспрессию бактериальных генов»
Молекулярная биология,
том 37, № 5, 2003, сс. 834–842.
PMID 14593920 |
| Голубцов П.В., Любецкий В.А., «Информационная структура динамических игр и объем доступной игрокам информации»
Логические исследования РАН,
2003, сс. 36–47. |
| Кузнецов Н.А., Любецкий В.А., Чернавский А.В., «О понятии информационного взаимодействия, 2: допсихический уровень» Информационные процессы, том 3, № 2, 2003, сс.154-172. http://www.jip.ru/2003/3-2-2003.htm |
| Кановей В.Г., Любецкий В.А., «О некоторых классических проблемах дескриптивной теории множеств»
Успехи математических наук,
т. 58, № 5, 2003, сс. 3–88. |
| Lyubetsky V., V'yugin V., “Complex phylogenetic analysis of evolutionary history for prokaryotes families” MCCMB’03, 2003, pp. 146–147. |
| Gorbunov K., Lyubetsky V., “Detecting common secondary structures in a set of RNA sequences and its testing” MCCMB’03, 2003, pp. 83–85. |
| Danilova L., Lyubetsky V., Laikova O., “Computer detecting of glycerol-3-phosphate metabolism regulation in proteobacterial genomes” MCCMB’03, 2003, pp. 52–53. |
| Гельфанд М.С., Любецкий В.А., «ДНК: от молекулы до генома, от биохимических озарений к алгоритмическому анализу»
Вестник РАН,
№ 11, 2003, сс. 963–970. |
| Кановей В.Г., Любецкий В.А., «Классические проблемы дескриптивной теории множеств» Труды 4-й международной Смирновской конференции, РАН, Москва, 2003, сс. 32–34. |
| Голубцов П.В., Любецкий В.А., «Результат информационного процесса зависит от характера и объёма доступной его участникам информации» Международная конференция РАН, Самара, 2003, сс. 445–453. |
| Горбунов К.Ю., Любецкий В.А., Миронов А.А., «Поиск консервативной вторичной структуры РНК»
Молекулярная биология,
том 37, № 5, 2003, сс. 850–860.
PMID 14593922 |
| Кузнецов Н.А., Любецкий В.А., Чернавский А.В., «О понятии информационного взаимодействия, 1: допсихический уровень» Информационные процессы, том 3, № 1, 2003, сс. 1–22. |
| Любецкий В.А., Горбунов К.Ю., «Поиск консервативных вторичных структур РНК» Информационные процессы, том 3, № 1, 2003, сс. 47–60. |
| Данилова Л.В., Гельфанд М.С., Любецкий В.А., Лайкова О.Н., «Компьютерный анализ регуляции метаболизма глицерол-3-фосфата в геномах протеобактерий»
Молекулярная биология,
2003, т. 37, № 5. сс. 843–849.
PMID 14593921 |
| Вьюгин В.В., Гельфанд М.С., Любецкий В.А., «Идентификация горизонтально перенесенных генов на основе филогенетических данных»
Молекулярная биология,
том 37, № 4, 2003, сс. 674–687.
PMID 12942641 |
| Danilova L., Lyubetsky V., Gelfand M., “An algorithm for identification of regulatory signals in unaligned DNA sequences, its testing and parallel implementation”
In Silico Biology,
V. 3, No 1,2, 2003, pp. 33–47.
PMID 12762844 http://www.bioinfo.de/isb/2003/03/0004 |
| Lyubetsky V., V'yugin V., “Methods of horizontal gene transfer determination using phylogenetic data”
In Silico Biology,
V. 3, No 1,2, 2003, pp. 17–31.
PMID 12762843 http://www.bioinfo.de/isb/2003/03/0003 |
| Голубцов П.В., Любецкий В.А., «Стохастические динамические игры с информацией различного типа»
Проблемы передачи информации,
2003, том 39, вып. 3, сс. 40–71. |
| Любецкий В.А., Селиверстов А.В., «Некоторые алгоритмы, связанные с конечными группами» Информационные процессы, том 3, № 1, 2003, сс. 39–46. http://www.jip.ru/2003/LS%2039-46.pdf |
2002 |
| Brieskorn E., Chatterji S.D., Epple M., Felgner U., Herrlich H., Husek M., Kanovei V., et al., editors ., Felix Hausdorff.
Gesammelte Werke, Band II: Grundzuege der Mengenlehre.
Berlin: Springer, 2002, xviii+883 pp.,
Monograph ISBN: 3-540-42224-2.
http://iitp.ru/https://books.google.ru/books/about/Felix_Hausdorff_Gesammelte_Werke_Band_II.html?id=3nth_p-6DpcC&re |
| Brieskorn E., Chatterji S.D., Epple M., Felgner U., Herrlich H., Husek M., Kanovei V., et al., Anmerkungen der Herausgeber.
In: Felix Hausdorf,
Gesammelte Werke, Band II: Grundzuege der Mengenlehre,
Berlin: Springer, 2002, pp. 577--617. |
| Kanovei V., Koepke P., Deskriptive Mengenlehre in Hausdorffs Grundzuegen der Mengenlehre.
In: Felix Hausdorf,
Gesammelte Werke, Band II:
Grundzuege der Mengenlehre, Springer, 2002, pp. 773--787. http://www.amazon.com/Felix-Hausdorff-Gesammelte-Grundz%C3%BCge-Mengenlehre/dp/3540422242 |
| Рубанов Л.И., Мерзляков Н.С., Карнаухов В.Н., Многоуровневые цифровые архивы: стратегия построения и опыт создания // Труды 4-й Всероссийской научной конференции «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» (RCDL’2002), Дубна 2002, т. 2, с. 181 188. |
| Merzlyakov N., Rubanov L., Karnaukhov V., Multi-scale image presentation in a digital archive. Proceedings of Second International Conference on Image and Graphics ICIG’2002, 2002, pp.1067-1074. |
| Rubanov L., Merzlyakov N., Karnaukhov V., Osipova N., Strategy of creation of digital archives accessible through the Internet // Proc. of IS&T/SPIE’s 14th Annual Symposium “Electronic Imaging 2002: Science and Technology”, 20-25 January 2002, San Jose, California, USA / Internet Imaging III, G.B. Beretta, R. Schettini (eds.), Proceedings of SPIE, 2002, Vol.4672, p.181-189 |
| Витрещак А.Г., Computer analysis of regulation of genes, encoding aminoacyl-tRNA synthetases and amino acid biosynthetic proteins in Gram positive bacteria: T-box RNA regulatory element. Prediction of regulation of new genes, including amino acid transporters. Proc. of the International Summer School "From Genome to Life: Structural, Functional and Evolutionary Approaches", Cargese, Corsica, France, July, 15-27, 2002, P. 57-58. |
| Витрещак А.Г., Родионов Д.А., Миронов А.А., Гельфанд М.С., Regulation of bacterial riboflavin genes by a conserved RNA structural element. In the proceedings of the third International Conference on Bioinformatics of Genome Regulation and Structure, Novosibirsk, July 14-20, 2002. V. 2. P. 44-46. |
| Панина Е.М., Витрещак А.Г., Миронов А.А., Гельфанд М.С., Bioinformatics approach to analysis of regulation of aromatic amino acids biosynthesis in Bacillus/Clostridium group. In the proceedings of the third International Conference on Bioinformatics of Genome Regulation and Structure, Novosibirsk, July 14-20, 2002. V. 2. P. 32-35. |
| Витрещак А.Г., Панина Е.М., Родионов Д.А., Миронов А.А., Гельфанд М.С., Comparative analysis of RNA regulation in bacterial genomes. Proc. of the Meeting of International Research Scholars of the Howard Hughes Medical Institute, Palm Cove, Australia, June, 25-28, 2002. |
| Витрещак А.Г., Компьютерное предсказание регуляторных сайтов мРНК. Анализ регуляции экспрессии генов биосинтеза аминокислот и генов, кодирующих тРНК-синтетазы в грам-положительных бактериях // Электронный научный журнал “Информационные процессы”. 2002. Т. 2. № 1. С. 91-95 (http://www.jip.ru/). http://www.jip.ru/2002/VITR.pdf |
| Родионов Д.А., Витрещак А.Г., Миронов А.А., Гельфанд М.С., Comparative Genomics of Thiamin Biosynthesis in Procaryotes. New Genes and Regulatory Mechanisms. J. Biol. Chem. 2002 Dec 13;277(50):48949-59. http://www.jbc.org/cgi/content/full/277/50/48949 |
| Витрещак А.Г., Родионов Д.А., Миронов А.А., Гельфанд М.С., Regulation of riboflavin biosynthesis and transport genes in bacteria by transcriptional and translational attenuation. Nucleic Acids Research. 2002. V. 30(14) P. 3141-51. http://www.pubmedcentral.nih.gov/articlerender.fcgi?tool=pubmed&pubmedid=12136096 |
| Леонтьев Л.А., Любецкая Е.В., Любецкий В.А., «Модифицированный алгоритм поиска альтернативных вторичных структур РНК и результаты счета» Информационные процессы, 2002, том 2, № 1, сс. 100–105. |
| Вьюгин В.В., Гельфанд М.С., Любецкий В.А., «Согласование деревьев: реконструкция эволюции видов по филогенетическим деревьям генов»
Молекулярная биология,
2002, т. 36, № 5, сс. 807–816.
PMID 12391844 |
| Lyubetsky V., Rubanov L., “Parallel Algorithm for Searching Regulatory Signal in Bacterial Genome”
Proceedings of the Third International Conference of Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14-20, 2002, v. 1, p. 24-27. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_1_005.pdf |
| Gorbunov K., Lyubetsky V., “An Algorithm for Searching for Common Secondary Structures in a Set of RNA Sequences”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 3, pp. 20–22. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_3_004.pdf |
| Lyubetskaya E., Lyubetsky V., “Algorithm for Searching for Alternative Secondary RNA Structures”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 3, pp. 14–20. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_3_002.pdf |
| Lyubetsky V., V'yugin V., “Method of Horizontal Gene Transfer Determination Using Phylogenetic Data”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 2, pp. 61–63. http://www.bionet.nsc.ru/meeting/bgrs_proceedings/papers/2002/BGRS_2002_2_019.pdf |
| Кузнецов Н.А., Любецкий В.А., Чернавский А.В., «К вопросу о понятии информационного взаимодействия, 3: речевой интеллект» Труды 4-ой Международной конференции РАН «Проблемы управления и моделирования в сложных системах», 17–23 июня 2002, Самара, сс. 7–17. |
| Вьюгин В.В., Любецкий В.А., «О некоторых способах отбора горизонтально перенесенных генов на основе филогенетических данных» Информационные процессы, 2002, том 2, № 1, сс. 120–140. |
| Горбунов К.Ю., Любецкий В.А., «Алгоритм поиска консервативных вторичных структур в наборе фрагментов РНК» Информационные процессы, 2002, том 2, № 1, сс. 55–58. |
| Истомина С.Н., Рубанов Л.И., "Параллельный алгоритм поиска регуляторного сигнала в геномах бактерий", Информационные процессы, 2002, т. 2, № 1, с. 85-90 http://www.jip.ru/2002/Isto.pdf |
| Рубанов Л.И., Мерзляков Н.С., Карнаухов В.Н., "Многоуровневые цифровые архивы: стратегия построения и опыт создания" // Труды 4-й Всероссийской научной конференции «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» (RCDL’2002), Дубна 2002, т. 2, с. 181-188 |
2001 |
| Kanovei V., Reeken M., On Ulam stability of the real line.
Unsolved Problems in Mathematics for the 21th Century: A Tribute to Kioshi Iseki"s 80th Birthday,
IOS Press, Amsterdam, 2001, pp. 169--181.
http://books.google.ru/books?id=yHzfbqtVGLIC&pg=PA169&lpg=PA169&dq=Kanovei+On+Ulam+stability+of+the+ |
| Christensen J.R.P., Kanovei V., Reeken M., On Borel orderable groups.
Topology and its Applications, 2001, 109, pp. 285--299.
http://www.sciencedirect.com/science/article/pii/S0166864199001649 |
| Кановей В.Г., Реекен М., Нестандартная теория множеств в e-языке.
Математические Заметки, 2001, 70, 1, с. 46--50.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=717&option_lang=rus |
| Kanovei V., A version of the Jensen -- Johnsbraten coding at arbitrary level n>3.
Archive for Math. Logic, 2001, 40, 8, pp. 615--628.
http://link.springer.com/article/10.1007/s001530100087 |
| Гельфанд М.С., Лайкова О., Миронов А.А., Новичков П.С., Панина Е.М., Родионов Д.А., Витрещак А.Г., Comparative analysis of bacterial patterns. In the abstracts of Meeting of HHMI International Research Scholars. Vancouver, Canada, June 20-23, 2001, P. 75. |
| Витрещак А.Г., Computer analysis of regulation of genes, encoding aminoacyl-tRNA synthetases and amino acid biosynthetic proteins in Gram positive bacteria: T-box RNA regulatory element. Prediction of regulation of new genes, including amino acid transporters. In the abstracts of International School “Artifical Intelligence and Heuristic Methods for Bioinformatics”, Italy, San-Miniato, October 1-11, 2001, P. 63. |
| Витрещак А.Г., Миронов А.А., Гельфанд М.С., Computer prediction of RNA secondary structure. The RNApattern program: searching for RNA secondary structure by the pattern rule. In the proceedings of the third International Conference "ComplexSystems: Control and modeling problems". Russia, Samara, June, 2001, PP. 623-625. |
| Панина Е.М., Витрещак А.Г., Миронов А.А., Гельфанд М.С., Regulation of Aromatic Amino Acid Biosynthesis in Gamma-Proteobacteria. J. Mol. Microbiol. Biotechnol. 2001. V. 3. P. 529-543. http://www.horizonpress.com/jmmb/v3/v3n4/07.pdf |
| Горбунов К.Ю., Любецкая Е.В., Любецкий В.А., «О двух алгоритмах поиска альтернативной вторичной структуры РНК» Информационные процессы, том 1, № 2, 2001, сс. 178–187. |
| Lyubetsky V., “First projective sets, AE-prefix and quantifiers elimination” Abstracts of International conference on Mathematical Logic, Algebra and Set theory dedicated to the 100-th anniversary of P.S. Novikov, August 27–31 2001, Steklov Mathematical Institute RAS, Moscow, 2001, p. 27. |
| Кузнецов Н.А., Любецкий В.А., Чернавский А.В., «К вопросу о понятии информационного взаимодействия, 2: доречевой интеллект» Труды 3-ей международной конференции «Проблемы управления и моделирования в сложных системах», Самара, РАН, 2001, сс. 25–42. |
| Данилова Л.В., Любецкий В.А., «Алгоритм выделения регуляторных сигналов: тестирование и биологические применения» Труды 3-ей международной конференции «Проблемы управления и моделирования в сложных системах», Самара, РАН, 2001, сс. 632–634. |
| Любецкий В.А., Селиверстов А.В., «Об одном вероятностном алгоритме решения NP-полной проблемы» Труды третьей международной конференции «Смирновские чтения», РАН, Москва, 2001, сс. 47–49. |
| Вьюгин В.В., Любецкий В.А., «Об одном алгоритме поиска горизонтального переноса гена на основе филогенетических деревьев белков»
Информационные процессы,
2001, том 1, № 2, стр. 167–177. |
| Данилова Л.В., Горбунов К.Ю., Гельфанд М.С., Любецкий В.А., «Алгоритм выделения регуляторных сигналов в последовательностях ДНК»
Молекулярная биология,
том 35, № 6, 2001, сс. 987–995.
PMID 11771146 |
| Гельфанд М.С., Вьюгин В.В., Любецкий В.А., «Об одном способе построения деревьев эволюции видов по множественным генетическим данным» Информационные процессы, том 1, № 1, 2001, сс. 64–77. |
| Данилова Л.В., Горбунов К.Ю., Гельфанд М.С., Любецкий В.А., «Алгоритм выделения регуляторных сигналов в последовательностях ДНК» Информационные процессы, том 1, № 1, 2001, сс. 56–63. |
| Зарелуа А.В., Любецкий В.А., Предисловие редакторов ко 2-му тому книги А. Маллиос «Геометрия векторных пучков», Мир, 2001 (442 страницы). |
2000 |
| Kanovei V., Linearization of definable order relations.
Annals of Pure and Applied Logic, 2000, 102, 1--2, pp. 69--100. http://www.sciencedirect.com/science/article/pii/S0168007299000135 |
| Kanovei V., Reeken M., Extending standard models of ZFC to models of nonstandard set theories.
Studia Logica, 2000, 64, pp. 37--59. http://link.springer.com/article/10.1023%2FA%3A1005286212737 |
| Kanovei V., Reeken M., On Baire measurable homomorphisms of quotients of the additive group of the reals.
Math. Logic Quarterly, 2000, 46, 3, pp. 377--384.
http://onlinelibrary.wiley.com/doi/10.1002/1521-3870(200008)46:3<377::AID-MALQ377>3.0.CO;2-9/abstrac |
| Kanovei V., Reeken M., A nonstandard set theory in the e-language.
Archive for Math. Logic, 2000, 39, 4, pp. 403--416. http://link.springer.com/article/10.1007%2Fs001530050155 |
| Кановей В.Г., Реекен М., Проблема Улама об устойчивости приближенных гомоморфизмов.
Динамические системы, автоматы и бесконечные группы,
Труды МИАН им. В.А.Стеклова, 2000, 231, c. 249--283. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=tm&paperid=518&option_lang=rus |
| Kanovei V., Reeken M., New Radon-Nikodym ideals.
Mathematika, 2000, 47, no. 1--2, pp. 219--227.
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=7015000 |
| Рубанов Л.И., Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Интерактивные системы для цифровой обработки, визуализации и хранения архивных изображений. // Труды 3-й международной конференции "Цифровая обработка сигналов и ее применение", 29 ноября – 1 декабря 2000 г., Москва, РНТОРЭС – ИПУ РАН, 2000, с.118-120. |
| Merzlyakov N., Karnaukhov V., Rubanov L., Integration of Image Processing and Database Management Systems. First International Conference on Image and Graphics, August 16-18, Tianjin, China, 2000, p.665-668. |
| Витрещак А.Г., Миронов А.А., Гельфанд М.С., Comparative approach of regulation in complete genomes: attenuators of aromatic amino acid operons of gamma-proteobacteria. In the proceedings of the second International Conference "ComplexSystems: Control and modeling problems". Russia, Samara, June, 2000, PP. 141-142. |
| Витрещак А.Г., Гельфанд М.С., Сравнительный подход к анализу регуляции в полных геномах: аттенюаторы ароматических аминокислотных оперонов гамма-протеобактерий. В материалах школы-конференции “Горизонты физико-химической биологии”, Пущино, Май, 2000, С. 231. |
| Витрещак А.Г., Бансал А., Гельфанд М.С., Comparative approach to analysis of regulation in complete genomes: attenuators of aromatic amino acid operons of gamma-proteobacteria. In the proceedings of the first International Conference on Bioinformatics of Genome Regulation and Structure, Novosibirsk, August 7-11, 2000. V. 2. P. 55-56. |
| Витрещак А.Г., Гельфанд М.С., Computer analysis of control signals in bacterial genomes. Attenuators of operons of aromatic amino acids metabolism. Mol Biol (rus). 2000, 34(4):461-67 http://www.springerlink.com/content/rn126571v2w17765/?p=7f037f93bed342e1950dae9eeaa6ee32&pi=1 |
| Lyubetsky V., Larijani M.J.A., “Topics in Classical and Intuitionistic Model Theory”
Gardariki, Moscow, 2000, 390 pages.
Monograph |
| Зарелуа А.В., Любецкий В.А., Предисловие редакторов к 1-му тому книги А. Маллиос «Геометрия векторных пучков», Мир, 2000 (460 страниц). |
| Верещагин Н.К., Любецкий В.А., «Алгоритм определения вторичной структуры РНК»
Труды научно-исследовательского семинара логического центра ИФ РАН,
выпуск 14, Москва, Издательство РАН, 2000, сс. 99–109. |
| Горбунов К.Ю., Любецкий В.А., «Об алгоритме выявления регуляторного сигнала в наборе последовательностей»
Логические исследования,
выпуск 7, Москва, Наука, 2000, сс. 159–163. |
| Вьюгин В.В., Горбунов К.Ю., Любецкий В.А., «Алгоритмы выделения регуляторного сигнала и построения эволюционных деревьев» Труды 2-ой международной конференции «Проблемы управления и моделирования в сложных системах», Самара, Издательство РАН, 2000, сс. 130–137. |
| Кузнецов Н.А., Любецкий В.А., А.В. Чернавский, «К вопросу о понятии информационного взаимодействия, 1: допсихическая биоинформатика» Труды 2-ой международной конференции «Проблемы управления и моделирования в сложных системах», Самара, Издательство РАН, 2000, сс. 8–20. |
| Рубанов Л.И., Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Интерактивные системы для цифровой обработки, визуализации и хранения архивных изображений // Труды 3-й международной конференции «Цифровая обработка сигналов и ее применение», 29 ноября - 1 декабря 2000 г., Москва, т. 2, МЦНТИ, 2000, с.118-123 |
1999 |
| Kanovei V., Non-wellfounded iterations of perfect set forcing.
J. Symbolic Logic, 1999, 64, 2, pp. 551--574. http://www.jstor.org/discover/10.2307/2586484?uid=2129&uid=2&uid=70&uid=4&sid=21102181989303 |
| Kanovei V., Reeken M., A nonstandard proof of the Jordan curve theorem.
Real Analysis Exchange, 1999, 24, 1, pp. 161--170. http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.rae/1300906020 |
| Kanovei V., Reeken M., Special model axiom in nonstandard set theory.
Math. Logic Quarterly, 1999, 45, 3, pp. 371--384 http://onlinelibrary.wiley.com/doi/10.1002/malq.19990450308/abstract |
| Кановей В.Г., Реекен М., Расширение стандартных моделей ZFC до моделей нестандартной теории множеств Нельсона IST.
Математические Заметки,1999, 66, 2, с. 202--210. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=1157&option_lang=rus |
| Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И., Тексто-графический цифровой архив Российской Академии наук. // Труды конференции «Электронные изображения и визуальные искусства» (EVA’99 Москва), 25-29 октября 1999 г., М.: Центр ПИК - Государственная Третьяковская Галерея, с. 5/2/1–5/2/6
|
| Гельфанд М.С., Витрещак А.Г., Миронов А.А., Information interactions and regulatory patterns in bacterial genomes. In the proceedings of the first International Conference "ComplexSystems: Control and modeling problems". Russia, Samara, June, 1999, PP. 101-105. |
| Витрещак А.Г., Гельфанд М.С., Компьютерный анализ регуляторных сигналов в полных бактериальных геномах. Инициация трасляции оперонов рибосомальных белков. Биофизика. 1999. Т. 44. С. 601-610. |
| Кузнецов Н.А., Любецкий В.А., «Компьютерная логика в информационных процессах»
Проблемы передачи информации,
1999, том 35, вып. 2, сс. 107–111. http://mi.mathnet.ru/rus/ppi/v35/i2/p107 |
| Любецкий В.А., «Логические модели процессов информационного взаимодействия» Труды 1-ой международной конференции РАН «Проблемы управления и моделирования в сложных системах», Самара, 1999, сс. 133–145. |
| Любецкий В.А., «Об основах интеллектуальных процессов» Труды второго философского конгресса, Екатеринбург, часть 1, 1999, сс. 223–224. |
| Любецкий В.А., «О преобразовании классических выводов в интуиционистские» Труды второй международной конференции «Смирновские чтения», Москва, 1999, сс. 38–41. |
| Любецкий В.А., «Логика устной речи в сравнении с логикой письменной речи» Труды второго философского конгресса, Екатеринбург, 1999, часть 1, с. 222. |
| Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И., "Принципы построения цифрового фотоархива Российской Академии наук", Компьютерная оптика, 1999, вып.19, с.188-192 |
1998 |
| Kanovei V., When a partial Borel order is Borel linearizable.
Fundamenta Mathematicae, 1998, 155, 3, pp. 301--309.
http://iitp.ru/https://eudml.org/doc/212258 |
| Kanovei V., Reeken M., Elementary extensions of external classes in a nonstandard universe.
Studia Logica, 1998, 60, 2, pp. 253--273. http://link.springer.com/article/10.1023%2FA%3A1005064032270 |
| Кановей В.Г., Заплетал И., Пирамидальная структура степеней конструктивности.
Математические Заметки,1998, 63, 4, c. 632--635
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=1325&option_lang=rus |
| Kanovei V., Ulm classification of analytic equivalence relations in generic universes.
Math. Logic Quarterly, 1998, 44, 3, pp. 287--303. http://onlinelibrary.wiley.com/doi/10.1002/malq.19980440302/abstract |
| Kanovei V., On ``star"" schemata of Kossak and Paris,
Logic Colloquium "96,
Lecture Notes in Logic 12, Springer, 1998, pp. 101--114. http://link.springer.com/chapter/10.1007%2F978-3-662-22110-5_4 |
| Karnaukhov V., Miller B., Rubanov L., Merzlyakov N.S., Digital archives of manuscripts and photo-documents: technology and experience. // Proc. of International Conference EVA’98, Moscow 1 5 December 1998, STG, M., 1998, pp.5/1/1–5/1/9. |
| Karnaukhov V., Merzlyakov N.S., Rubanov L., Image processing and storage in digital archives of manuscripts and photo-documents. // Proc. of 5-th Open German-Russian Workshop on Pattern Recognition and Image Understanding (21-25 September 1998, Herrshing, Germany). Sankt Augustin: Infix, 1999. p.176-183. |
| Витрещак А.Г., Гельфанд М.С., Conserved RNA structures regulation initiation of translation of Escherichia coli and Haemophilus influenzae ribosomal protein operons. In the abstracts of Theoretical biophysics international school, Moscow, June 15-20, 1998. P. 105. |
| Витрещак А.Г., Бансал А., Гельфанд М.С., Conserved RNA structures regulate initiation of translation of Escherichia coli and Haemophilus influenzae ribosomal protein operons. In the proceedings of the first International Conference on Bioinformatics of Genome Regulation and Structure, Novosibirsk, August 24-31, 1998. V. 1. P. 229. |
| Бокштейн И.М., Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И., "Digital image processing of archival photo-documents". In: Mikaelian A.L. (ed.), Computer and Holographic Optics and Image Processing. Proceedings of SPIE, Vol.3348 (1998), p.226-232 |
| Карнаухов В.Н., Мерзляков Н.С., Миллер Б.М., Рубанов Л.И., Цифровые архивы рукописей и фотодокументов: технологии разработки и опыт создания // Труды конференции «Электронные изображения и визуальные искусства» (EVA’98 Москва), 26-30 октября 1998 г., М.: Центр ПИК - Государственная Третьяковская Галерея, с. 5/1/1–5/1/10 |
| Бокштейн И.М., Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И., "Automation of Archival Image Database Population", Pattern Recognition and Image Analysis, Vol. 8, No. 4, 1998, p.582-600 |
1997 |
| Kanovei V., Reeken M., Mathematics in a nonstandard world, I.
Math. Japonica, 1997, vol. 45, 2, pp. 369--408.
http://www.jams.or.jp/notice/mj/45-2.html |
| Kanovei V., Reeken M., Mathematics in a nonstandard world, II.
Math. Japonica, 1997, vol. 45, 3, pp. 555--571.
http://www.jams.or.jp/notice/mj/45-3.html |
| Kanovei V., Non--Glimm--Effros equivalence relations at second projective level.
Fundamenta Mathematicae, 1997, 154, 1, pp. 1--35.
http://iitp.ru/https://eudml.org/doc/212225 |
| Kanovei V., van Lambalgen M., On a Spector ultrapower of Solovay model.
Math. Logic Quarterly, 1997, 43, 2, pp. 389--395.
http://onlinelibrary.wiley.com/doi/10.1002/malq.19970430311/abstract |
| Kanovei V., Two dichotomy theorems on colourability of non-analytic graphs.
Fundamenta Mathematicae, 1997, 154, 2, pp. 183--201.
http://iitp.ru/https://eudml.org/doc/212233 |
| Kanovei V., Reeken M., Isomorphism property in nonstandard extensions of the ZFC universe.
Annals of Pure and Applied Logic, 1997, 88, pp. 1--25. http://www.sciencedirect.com/science/article/pii/S0168007297000110 |
| Kanovei V., An Ulm--type classification theorem for equivalence relations in Solovay model.
J. Symbolic Logic, 1997, 62, 4, pp. 1333--1351. http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183745385 |
| Любецкий В.А., Любецкая С.Н., «О некоторых задачах эффективизации и целенаправленного поведения»,
Логические исследования,
М.: Наука, 1997, вып. 4, стр. 180. |
| Любецкий В.А., «Теоремы переноса и интуиционистская теория множеств»
Доклады РАН,
1997, т. 357, № 2, сс. 168–171. |
| Любецкий В.А., «Теоремы переноса и алгебра модальных операторов, III»
Алгебра и Логика (СО АН СССР),
1997, т. 36, № 3, сс. 282–303. http://www.springerlink.com/content/t6335872j077x161/ |
| Рубанов Л.И., Шапиро Д.И., "Processing of Multisignificant Images for Virtual Reality Systems". In: Proc. 7th Int. Conference on Artificial Intelligence and Information-Control Systems of Robots (AIICSR-97), Smolenice Castle (Slovakia), 10-14 September, 1997 |
| Бокштейн И.М., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И., "Возможности и средства цифровой реставрации архивных рукописных текстов", Информационные технологии и вычислительные системы, М.: ИВВС РАН, № 1, 1997, с.1-15 |
| Бокштейн И.М., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И., Богатова Г.А., "Digital Restoration of Archival Handwritten Texts", Pattern Recognition and Image Analysis, 1997, Vol.7, No.3, p.379-390 |
| Бокштейн И.М., Карнаухов В.Н., Мерзляков Н.С., Рубанов Л.И., "Цифровые методы обработки архивных фотодокументов", Компьютерная оптика, 1997, Вып.17, с.116-124 |
| Бокштейн И.М., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И., "Development of an Archive Image Database within the Framework of Modern Technologies of Image Processing and Storage". In: Wenger E., Dimitrov L.I. (eds.): 6th International Workshop on Digital Image Processing and Computer Graphics. Applications in Humanities and Natural Sciences (DIP-97). Proceedings of SPIE, Vol. 3346 (1998), p.342-349 |
| Бокштейн И.М., Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И., "Digital Restoration, Enhancement and Archiving of Photo-Documents". In: Wenger E., Dimitrov L.I. (eds.): 6th International Workshop on Digital Image Processing and Computer Graphics. Applications in Humanities and Natural Sciences (DIP-97). Proceedings of SPIE, Vol.3346 (1998), p.350-356 |
| Бокштейн И.М., Карнаухов В.Н., Кузнецов Н.А., Мерзляков Н.С., Рубанов Л.И., Цифровые методы обработки архивных фотодокументов // Международный симпозиум «Информационная оптика. Научные основы и технологии», 27-30 августа 1997, Москва. Программа и аннотации докладов. М.: РАН, 1997, с.33 |
1996 |
| Kanovei V., Reeken M., Loeb measure from the point of view of coin flipping game.
Math. Logic Quarterly, 1996, 42, 1, pp. 19--26.
http://dx.doi.org/10.1002/malq.19960420103 |
| Kanovei V., Reeken M., Internal approach to external sets and universes. 3. Partially saturated universes.
Studia Logica, 1996, 56, 3, pp. 293--322.
http://link.springer.com/article/10.1007%2FBF00372770 |
| Kanovei V., On external Scott algebras in nonstandard models of Peano arithmetic.
J. Symbolic Logic, 1996, 61, 2, pp. 586--608. http://www.jstor.org/discover/10.2307/2275677?uid=2129&uid=2&uid=70&uid=4&sid=21102182737583 |
| Kanovei V., Reeken M., Summation of divergent series from the nonstandard point of view.
Real Analysis Exchange, 1996, 21, 2, pp. 453--477. http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.rae/1339694079&page |
| Кановей В.Г., Топологии, порожденные эффективно суслинскими
множествами, и их приложения в дескриптивной теории множеств.
УМН, 1996, 51, 3, с. 17--52.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=968&option_lang=rus |
| Любецкий В.А., «О некоторых применениях метода семантического оценивания»
Проблемы передачи информации,
1996, т. 32, № 3, сс. 82–96. http://mi.mathnet.ru/rus/ppi/v32/i3/p82 |
1995 |
| Kanovei V., Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic.
J. Symbolic Logic, 1995, 60, 1, pp. 318--324.
http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183744692 |
| Kanovei V., Reeken M., Internal approach to external sets and universes. 1. Bounded set theory.
Studia Logica, 1995, 55, 2, pp. 229--257. http://link.springer.com/article/10.1007%2FBF01061236 |
| Kanovei V., Reeken M., Internal approach to external sets and universes. 2. External universes over the BST universe.
Studia Logica, 1995, 55, 3, pp. 347--376. http://link.springer.com/article/10.1007%2FBF01057803 |
| Любецкий В.А., «Теоремы переноса и алгебра модальных операторов, II»
Логические исследования,
РАН, 1995, № 3, Наука, Москва, сс. 205–232. |
| Файн В.С., Рубанов Л.И., Activity and Understanding. Structure of Action and Orientated Linguistics. World Scientific, 1995, 300 p. |
1994 |
| Kanovei V., A course on Foundations of Nonstandard Analysis,
IPM Lecture Notes Series 1, 1994, 149 pp. Monograph
http://math.ipm.ac.ir/publications/pic_books/course_large.jpg |
1993 |
| Кановей В.Г., О суммировании Леонардом Ейлером ряда знакочередующихся факториалов.
Историко-математические исследования, 1993, 34, с. 8--45. http://pyrkov.professorjournal.ru/mediateca/15?p_p_id=101_INSTANCE_2Lct&p_p_lifecycle=0&p_p_state=no |
| Любецкий В.А., «Об одном подходе к моделированию интеллектуальных систем»
Проблемы передачи информации,
1993, т. 29, № 3, сс. 107–109. http://mi.mathnet.ru/rus/ppi/v29/i3/p107 |
1992 |
| Кановей В.Г., О принципе продолжения в теории внутренних множеств.
Сиб. Мат. Ж.,1992, 33, 6, с. 66--78. http://mi.mathnet.ru/smj1717 |
| Любецкий В.А., «Локально аксиоматизируемые классы колец, II»
The Journal of Symbolic Logic,
1992, vol. 57, № 1, p. 377. |
| Lyubetsky V., “Heyting-Valued Analysis: P. S. Novikov’s Hypotheses”
Contemporary Mathematics,
1993, V. 131, Pt. 3, PP. 565–583. |
1991 |
| Кановей В.Г., О мощности множества классов эквивалентности Витали.
Математические Заметки, 1991, 49, 4, с. 55--62. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=2934&option_lang=rus |
| Кановей В.Г., Неразрешимые гипотезы в теории внутренних множеств Эдварда Нельсона.
УМН, 1991, 46: 6, с. 3--50 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=4674&option_lang=rus |
| Любецкий В.А., «Гейтинговозначный анализ: гипотеза П.С. Новикова»
The Journal of Symbolic Logic,
1991, vol. 56, № 3, p. 1131. |
| Любецкий В.А., «Перевод выводимости в классической теории множеств в интуиционистскую теорию множеств для языка колец»
Алгебра и Логика (СО АН СССР),
Новосибирск, 1991, т. 30, № 6, сс. 652–670. http://www.springerlink.com/content/v7n82v773n44h430/ |
| Любецкий В.А., «Интуиционистская теория алгебраических систем и нестандартный анализ»
Алгебра и Логика (СО АН СССР),
Новосибирск, 1991, т. 30, № 3, сс. 320–333. http://www.springerlink.com/content/q8056m2630165072/ |
| Файн В.С., Рубанов Л.И., Машинное понимание текстов с ошибками. М.: Наука, 1991. 151 с. |
| Рубанов Л.И., "Метод классификации словаря для помехоустойчивой системы машинного понимания естественного языка". Известия АН СССР. Техническая кибернетика. № 5, 1991, с.84-93 |
1990 |
| Кановей В.Г., Ограниченные множества в теории внутренних множеств Эдварда Нельсона.
Третий Всесоюзный семинар по нестандартному анализу, Саратов, 1990, с. 15--23. |
| Любецкий В.А., «Гейтинговозначный анализ: гипотеза П.С. Новикова»
в книге «Основания неклассических логик»,
М.: АН СССР, 1990, стр. 105–119. |
| Любецкий В.А., «Модельная полнота теории и оценки формул»
Алгебра и Логика (СО АН СССР),
Новосибирск, 1990, т. 29, № 1, сс. 15–28. http://www.springerlink.com/content/jw471283h3tqh831/ |
| Рубанов Л.И., Профессиональные персональные компьютеры // «Радиоэлектроника» (Состояние и тенденции развития), Часть 1, Обзор, М.: НИИЭИР, 1990, с.1-19 |
1989 |
| Кановей В.Г., К отделимости внешних множеств.
Математическая конференция памяти М.Я.Суслина, Саратов, 1989, с. 38--45.
|
| Любецкий В.А., «Оценки и пучки. О некоторых вопросах нестандартного анализа»
Успехи математических наук,
1989, т. 44, № 4 (268), сс. 99–153. http://mi.mathnet.ru/rus/umn/v44/i4/p99 |
| Файн В.С., Рубанов Л.И., "Communication with a Computer System from the Pattern Recognition Point of View", International Journal of Pattern Recognition and Artificial Intelligence (IJPRAI), Vol.3, No.1, 1989, p.9-18 |
| Файн В.С., Рубанов Л.И., Луценко М.М., Требатицкий И., "A Gradient Based Method for Grey- Scale Computer Vision". In: Computer Analysis of Images and Patterns, Akademie-Verlag, Berlin, 1989. V.55., p.135-140 |
| Файн В.С., Рубанов Л.И., Товарек Л., Буковчан М., "Multilingual Multiproblem Natural Language Preprocessor Based on ATNR Nets", Proc. of 5th Int. Conference on Artificial Intelligence and Information-Control Systems of Robots (AIICSR-89), North-Holland, 1989 |
1988 |
| Кановей В.Г., О корректности эйлерова метода разложения синуса в бесконечное произведение.
УМН, 1988, 43, 4, с. 57--81
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=1834&option_lang=rus |
| Кановей В.Г., Идеи А.Н.Колмогорова в теории операций над множествами.
УМН, 1988, 43, 6, с. 93--128.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=2048&option_lang=rus |
| Кановей В.Г., Успенский В.А., Вклад М.Я.Суслина в теоретико-множественную математику.
Вестник Моск. Унив. сер. мат., мех., 1988, 43, 5, с. 22--30.
http://iitp.ru/https://istina.msu.ru/publications/article/93856823/ |
| Гришин В.Н., Кановей В.Г., О работах по дескриптивной теории множеств, выполненных в Математическом институте им. В.А.Стеклова АН СССР.
Труды МИАН, 1988, 182, с. 224--244.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=tm&paperid=1926&option_lang=rus |
| Lyubetsky V., “On some applications of Heyting-valued analysis II”
Article in the book COLOG-88, Lecture Notes in Computer Science, Vol. 417, Springer, 1990, P. 122–145, Proceedings of the International Conference on Computer Logic, Tallinn, USSR, December 12–16 1988 |
| Рубанов Л.И., "Практическая реализация имитационного подхода к пониманию естественного языка" // Системы передачи и обработки информации, ч.1. М.: ИППИ АН СССР, 1988, с.25-28 |
| Рубанов Л.И., "Компьютерные системы с естественно- языковым доступом: методология и опыт построения". Труды Всесоюзной конференции по искусственному интеллекту. Том 3. Переславль-Залесский: ИПС АН СССР, 1988, с.60-65 |
1987 |
| Кановей В.Г., К проблемам Н.Н.Лузина о существовании CA-множеств, не имеющих совершенных подмножеств.
Математические Заметки, 1987, 41, 5, с. 750--759. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=4915&option_lang=rus |
| Кановей В.Г., "Нестандартное" построение степенного ряда.
В книге В.А.Успенского
"Что такое нестандартный анализ", М., Наука, 1987, с. 121--124.
|
| Любецкий В.А., Основные понятия школьной математики.
Учебное пособие для вузов. М.: Просвещение, 1987. 600 стр. ISBN 103-03-87. http://www.ozon.ru/context/detail/id/4518411/ |
| Рубанов Л.И., Файн В.С., "Имитационный принцип в задаче общения с компьютером на свободном естественном языке". В кн.: В.С.Файн, Распознавание образов и машинное понимание естественного языка. М.: Наука, 1987, с.105-129,154-165. |
1986 |
| Любецкий В.А., «Некоторые применения теории топосов к изучению алгебраических систем»,
дополнение к книге: П.T. Джонстон «Теория топосов», М.: Наука, 1986, стр. 376–433. |
1985 |
| Кановей В.Г., Некоторые проблемы дескриптивной теории множеств и теории типов.
Автореф. дисс. докт. физ.--матем. наук.
МИАН им. В.А.Стеклова, 1985, 18 с. http://lpcs.math.msu.su/~zolin/phd/#1985 |
| Кановей В.Г., К проблеме существования неборелевских AF_II множеств.
Математические Заметки, 1985, 37, 2, с. 274--283
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=5305&option_lang=rus |
| Кановей В.Г., Развитие дескриптивной теории множеств под влиянием трудов Н.Н.Лузина.
УМН, 1985, 40, 3 (243), с. 115--153.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=2649&option_lang=rus |
| Кановей В.Г., Аксиома детерминированности и современное развитие дескриптивной теории множеств.
Итоги науки и техники. Алгебра, топология, геометрия, т. 23, 1985, с. 3--50.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=inta&paperid=109&option_lang=rus |
| Любецкий В.А., «О некоторых алгебраических проблемах нестандартного анализа»
Доклады АН СССР,
1985, т. 280, № 1. |
1984 |
| Успенский В.А., Кановей В.Г., Н.Н. Лузин — выдающийся математик и педагог.
Вестник АН СССР, 1984, 11, с. 95--102. |
| Кановей В.Г., Неразрешимые и разрешимые свойства конституант.
Матем. Сборник, 1984, 124, 4, с. 505--535.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=sm&paperid=2064&option_lang=rus |
| Кановей В.Г., Аксиома выбора и аксиома детерминированности.
М.: Наука, серия «Проблемы науки и технического прогресса», 1984, 63 c.
Монография
http://iitp.ru/https://zbmath.org/?q=an%3A0599.03053 |
| Файн В.С., Толчан А.Я., Рубанов Л.И., "Новые аспекты машинного понимания естественно-языковых сообщений". В кн.: Проблемы искусственного интеллекта и распознавания образов. Часть 1. Искусственный интеллект, Киев: Изд. ИК АН УССР, 1984, с.173-176 |
| Рубанов Л.И., "Об одном методе параметризации перенастраиваемого естественно-языкового процессора". В кн.: Проблемы искусственного интеллекта и распознавания образов. Часть 1. Искусственный интеллект, Киев: Изд. ИК АН УССР, 1984, с.157-160 |
1983 |
| Кановей В.Г., О некоторых проблемах дескриптивной теории множеств и определимости в теории типов.
Исследования по неклассическим логикам и формальным системам,
М., Наука, 1983, с. 21--81
|
| Кановей В.Г., О структуре конституант CA-множеств.
Сиб. Мат. Ж., 1983, 24, 2, с. 56--76
|
| Кановей В.Г., Обобщение одной теоремы П.С.Новикова о сечениях борелевских множеств.
Матем. Заметки, 1983, 33, 2, с. 289--292.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=5681&option_lang=rus |
| Кановей В.Г., Ответ на вопрос Н.Н.Лузина об отделимости CA кривых.
Матем. Заметки, 1983, 33, 3, с. 435--437
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=10095&option_lang=rus |
| Кановей В.Г., Успенский В.А., Проблемы Лузина о конституантах и их судьба.
Вестник Моск. Унив. сер. мат., мех.
1983, 6, с. 73--87
http://iitp.ru/https://istina.msu.ru/publications/article/93856782/ |
| Любецкий В.А., Гордон Е.И., «Вложение пучков в гейтинговозначный универсум»
Доклады АН СССР,
1983, т. 268, № 4. |
| Любецкий В.А., Гордон Е.И., «Булевы расширения равномерных структур» В книге: «Исследования по неклассическим логикам и формальным системам», Наука, 1983, сс. 82–153. |
1982 |
| Кановей В.Г., К проблемам Н.Н. Лузина о вложимости и расщеплении проективных множеств.
Математические Заметки, 1982, 32, 1, с. 23--39. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=6055&option_lang=rus |
| Кановей В.Г., Проективная иерархия Н.Н. Лузина: современное состояние теории.
Справочная книга по математической логике, часть II: теория множеств,
М.: Наука, 1982, с. 273--364.
|
1981 |
| Кановей В.Г., О несчетных последовательностях множеств, даваемых операцией решета,
ДАН СССР, 1981, 257, 4, с. 808--812.
http://mi.mathnet.ru/dan44352 |
| Кановей В.Г., Островский А.В., О неборелевских F_II множествах.
ДАН СССР, 1981, 260, 5, с. 1061--1064. http://mi.mathnet.ru/dan44783 |
| Кановей В.Г., Теории Цермело без аксиомы степени и Цермело -- Френкеля без аксиомы степени равнонепротиворечивы.
Математические Заметки, 1981, 30, 3, с. 407--419.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=6204&option_lang=rus |
| Любецкий В.А., Гордон Е.И., «Некоторые применения нестандартного анализа в теории булевозначных мер»
Доклады АН СССР,
1981, т. 256, № 5, сс. 1037–1041. |
| Рубанов Л.И., "О разработке диалоговой системы для отраслевой АСУ". В кн.: Диалог в автоматизированных системах. М.: Изд. МДНТП, 1981, c.134-141 |
1980 |
| Кановей В.Г., О некоторых проблемах дескриптивной теории множеств и о связи конструктивности и определимости.
ДАН СССР, 1980, 253, 4, c. 800 - 803.
http://mi.mathnet.ru/dan43771 |
1979 |
| Кановей В.Г., О выразимости формулы вынуждения в анализе.
Вестник Моск. Унив. сер. мат., мех., 1979, 2, с. 3--13. |
| Кановей В.Г., О дескриптивных формах счетной аксиомы выбора.
Исследования по неклассическим логикам и теории множеств,
М.: Наука, 1979, с. 3--136. |
| Кановей В.Г., Множество всех аналитически определимых множеств натуральных чисел может быть аналитически определимо.
Изв. АН СССР, сер. матем., 1979, 43, 6, с. 1259--1293.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=1755&option_lang=rus |
| Кановей В.Г., Об одном следствии аксиомы Мартина.
Математические Заметки, 1979, 26, 1, с. 113--121.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=8384&option_lang=rus |
1978 |
| Кановей В.Г., О существенности параметров и сложности основной формулы в схеме аксиом свертки в арифметике второго порядка.
ДАН СССР, 1978, 243, 6, с. 1384--1386.
http://mi.mathnet.ru/dan42219 |
| Кановей В.Г., Доказательство одной теоремы Н.Н. Лузина.
Математические Заметки, 1978, 23, 1, с. 61--66. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=8119&option_lang=rus |
| Кановей В.Г., Оптимальная стратегия распределения ресурсов в условиях
оперативного руководства перевозочным процессом.
Межвузовский сборник, 597,
МИИТ, 1978, с. 86--107.
|
| Кановей В.Г., О непустоте классов в аксиоматической теории множеств.
Изв. АН СССР, сер. матем., 1978, 42, 3, с. 550--579. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=1779&option_lang=rus |
1976 |
| Кановей В.Г., Определимость с помощью степеней конструктивности.
Исследования по теории множеств и неклассическим логикам,
Москва, Наука, 1976, с. 5--95.
http://www.logic-books.info/node/383 |
| Кановей В.Г., Непротиворечивость некоторых предложений дескриптивной теории множеств, выражающих существование объектов с
парадоксальными свойствами.
Автореф. дисс. канд. физ.--мат. наук,
МГУ, 1976, 16 с. http://iitp.ru/https://search.rsl.ru/ru/record/01006983244 |
| Любецкий В.А., Дискретная математика.
Учебное пособие для вузов. М.: Изд-во МО, 1976. 175 стр. ISBN G-917017-89. |
| Любецкий В.А., «Случайные последовательности вещественных чисел и А2 множества» В книге: «Исследования по теории множеств и неклассическим логикам», Наука, Москва, 1976, сс. 96–122. |
1975 |
| Кановей В.Г., О мажорировании начальных сегментов степеней конструктивности.
Математические Заметки, 1975, 17, 6, с. 939--946. http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=7614&option_lang=rus |
| Кановей В.Г., О независимости некоторых предложений дескриптивной теории множеств и арифметики второго порядка.
ДАН СССР, 1975, 223, 3, с. 552--554. http://mi.mathnet.ru/dan39167 |
1974 |
| Кановей В.Г., О степенях конструктивности и дескриптивных свойствах множества действительных чисел в исходной модели и в ее расширениях.
ДАН СССР, 1974, 216, 4, с. 728--729. http://mi.mathnet.ru/dan38331 |
1973 |
| Кановей В.Г., О проблеме сингулярных кардиналов.
Мат. Заметки, 1973, 13, 5, с. 717--724.
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=mzm&paperid=7176&option_lang=rus |
1971 |
| Любецкий В.А., «Независимость некоторых предложений дескриптивной теории множеств от теории множеств Цермело-Френкеля»
Вестник Московского университета,
1971, № 2, сс. 78–82, издательство МГУ. |
| Любецкий В.А., «Определимые последовательности ординалов»
Доклады АН СССР,
1971, т. 196. No 6, Наука. |
1970 |
| Любецкий В.А., «Существование неизмеримого множества типа A2 влечёт существование несчётного множества без совершенного ядра типа CA»,
Доклады АН СССР,
1970, том 195, № 3, стр. 548–550. |
1969 |
| Любецкий В.А., «Конструкция эффективно недостижимого кардинала в некотором естественном расширении теории множеств Цермело-Френкеля»
Доклады АН СССР,
1969, т. 187, № 6, Наука. |
1968 |
| Любецкий В.А., «Некоторые следствия гипотезы о несчётности множества конструктивных (по Гёделю) вещественных чисел»
Доклады АН СССР,
1968, т. 182, № 4, сс. 758–759, Наука. |