|
|
 |
2017 г. Авторы: 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
Перейти к публикации |
|
2017 г. Авторы: 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
Перейти к публикации |
|
2017 г. Авторы: 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
Перейти к публикации |
|
2017 г. Авторы: 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
Перейти к публикации |
|
2017 г. Авторы: Кановей В.Г., Любецкий В.А.Определимое счетное множество, не содержащее определимых элементов.
Математические заметки, 2017, 102, вып. 3, стр. 369-382.
doi:10.4213/mzm10842
Перейти к публикации |
|
2017 г. Авторы: 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
Перейти к публикации |
|
2017 г. Авторы: 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
Перейти к публикации |
|
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.
Перейти к публикации |
|
2016 г. Авторы: Зверко́в О.А., Русин Л.Ю., Любецкий В.А., Алёшин В.В.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.
Перейти к публикации |
|
2016 г. Авторы: Горбунов К.Ю., Любецкий В.А.Модифицированный алгоритм преобразования хромосомных структур: условия абсолютной точности.
Современные информационные технологии и ИТ-образование.
2016, том 12, № 1, стр. 162–172.
Перейти к публикации |
|
2016 г. Авторы: Селиверстов А.В.Начертательная геометрия для преподавания дискретной математики Математические методы и модели: теория, приложения и роль в образовании: Международная научно-техническая конференция (Россия, г. Ульяновск, 28-30 апреля 2016 г.): сборник научных трудов. Ч. 1 / под общ. ред. д-ра физ.-мат. наук, проф. П. А. Вельмисова. Ульяновск: УлГТУ, 2016.
С. 257-260.
Перейти к публикации Загрузить (4.4 MB) |
|
2016 г. Авторы: 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.
|
|
2016 г. Авторы: 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
Перейти к публикации |
|
2016 г. Авторы: 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 г. Авторы: Горбунов К.Ю., Любецкий В.А.Линейный алгоритм кратчайшей перестройки графов при разных ценах операций.
Информационные процессы, 2016, том 16, № 2, стр. 223–236.
|
|
2016 г. Авторы: 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
|
|
2016 г. Авторы: 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
Перейти к публикации |
|
2016 г. Авторы: Селиверстов А.В.О симметрии проективных кривых. Вестник ТвГУ. Серия: Прикладная математика. 2016. № 3. С. 59-66.
Загрузить (276.9 KB) |
|
2016 г. Авторы: Рубанов Л.И., Зверко́в О.А., Селиверстов А.В., Любецкий В.А.Высоко консервативные элементы в митохондриях однодольных растений.
Современные информационные технологии и ИТ-образование.
2016, том 12, № 2. стр. 211-215.
|
|
2016 г. Авторы: Королев С.А., Горбунов К.Ю., Зверко́в О.А., Селиверстов А.В., Любецкий В.А.Вырожденные инвертированные повторы в геномах микобактерий.
Современные информационные технологии и ИТ-образование.
2016, том 12, № 1. стр. 162-172.
|
|
2016 г. Авторы: Kanovei V., Lyubetsky V.A generic property of Solovay"s set Σ.
arXiv:1611.00176 [math.LO], November 2016, 4 pp.
Перейти к публикации |
|
2016 г. Авторы: 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.
Перейти к публикации |
|
2016 г. Авторы: Рубанов Л.И., Селиверстов А.В.Проективно-инвариантное описание излучины реки. Информационные процессы. 2016. Том 16, № 3. С. 281-290.
Перейти к публикации Загрузить (167 KB) |
|
2016 г. Авторы: 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
Перейти к публикации |
|
2016 г. Авторы: Селиверстов А.В.О проверке гладкости гиперповерхности. XII Белорусская математическая конференция: материалы Международной научной конференции. Минск, 5-10 сентября 2016 г. В 5 частях. / Ред. С.Г. Красовский. - Часть 4. - Минск: Институт математики НАН Беларуси, 2016. - С. 64-65.
Перейти к публикации |
|
2016 г. Авторы: Kanovei V., Lyubetsky V.Countable OD sets of reals belong to the ground model.
arXiv:1609.01032 [math.LO], September 2016, 12 pp.
Перейти к публикации |
|
2016 г. Авторы: 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
Перейти к публикации |
|
2016 г. Авторы: Селиверстов А.В.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.
Перейти к публикации Загрузить (88.5 KB) |
|
2016 г. Авторы: 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)
Перейти к публикации |
|
2016 г. Авторы: 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
Перейти к публикации |
|
2016 г. Авторы: Kanovei V.OD elements of countable OD sets in the Solovay model.
March 2016, arXiv:1603.04237 [math.LO], pp. 1-20.
Перейти к публикации |
|
2016 г. Авторы: 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
Перейти к публикации |
|
2016 г. Авторы: 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
Перейти к публикации |
|
2016 г. Авторы: 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)
Перейти к публикации |
|
2016 г. Авторы: 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
Перейти к публикации |
|
2016 г. Авторы: 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
Перейти к публикации |
|
2015 г. Авторы: Любецкий В.А., Рубанов Л.И., Байрамов А.В., Шандарин И.В., Иванова А.С., Русин Л.Ю., Зверко́в О.А., Селиверстов А.В., Зарайский А.Г.Широкомасштабный поиск потерь, приобретений и нарушений синтении генов у позвоночных животных.
Материалы VIII Московского Международного Конгресса «Биотехнология: состояние и перспективы развития», Москва, 17–20 марта 2015, часть 1, стр. 259–260.
Перейти к публикации |
|
2015 г. Авторы: 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.
Перейти к публикации |
|
2015 г. Авторы: 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.
Перейти к публикации |
|
2015 г. Авторы: 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.
Перейти к публикации |
|
2015 г. Авторы: Lyubetsky V.Molecular Phylogenetics 2014.
BioMed Research International,
2015, vol. 2015, Article ID 919251.
DOI: 10.1155/2015/919251
Перейти к публикации |
|
2015 г. Авторы: Любецкий В.А., Горбунов К.Ю.Реконструкция предковых хромосомных структур.
Современные информационные технологии и ИТ-образование,
2015, том 2, № 11, стр. 600–605.
|
|
2015 г. Авторы: Любецкий В.А., Селиверстов А.В.Новый алгоритм решения комбинаторной задачи о разбиении множества.
Информационные процессы, 2015, том 15, № 3, стр. 337–342.
|
|
2015 г. Авторы: Любецкий В.А., Селиверстов А.В.Об алгоритме решения NP-полной задачи, если решений нет или их нечётное число.
International Journal of Open Information Technologies,
2015, том 3, № 11, стр. 1–3.
|
|
2015 г. Авторы: Селиверстов А.В.Замечание о билатеральной симметрии. Труды XIII международных Колмогоровских чтений: сборник статей. Ярославль: РИО ЯГПУ, 2015. С. 90-92.
Перейти к публикации |
|
2015 г. Авторы: Королев С.А., Селиверстов А.В., Любецкий В.А.О трансляции рибосомного белка L16 в пластидах цветковых растений.
Современные информационные технологии и ИТ-образование.
2015, том 2, № 11, стр. 606-607.
|
|
2015 г. Авторы: Рубанов Л.И., Селиверстов А.В., Любецкий В.А.Широкомасштабный поиск ультраконсервативных элементов в полных геномах.
Современные информационные технологии и ИТ-образование.
2015, том 2, № 11, стр. 586-593.
|
|
2015 г. Авторы: Рубанов Л.И., Селиверстов А.В., Зверко́в О.А., Любецкий В.А.Ультраконсервативные элементы у простейших из надтипа Alveolata.
Современные информационные технологии и ИТ-образование,
2015, том 2, № 11, стр. 581–585.
|
|
2015 г. Авторы: Зверко́в О.А., Селиверстов А.В., Любецкий В.А.О транскрипционных факторах, кодируемых в пластидах родофитной ветви.
Современные информационные технологии и ИТ-образование,
2015, том 2, № 11, стр. 571–575.
|
|
2015 г. Авторы: Любецкий В.А., Селиверстов А.В.О решении одной NP-полной задачи.
Современные информационные технологии и ИТ-образование.
2015, том 2, № 11, стр. 569-570.
|
|
|
|
|
|
