|
|
 |
2018 г. Авторы: 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.
Перейти к публикации |
|
2018 г. Авторы: 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
Перейти к публикации Загрузить (2.2 MB) |
|
2018 г. Авторы: 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.
Перейти к публикации |
|
2018 г. Авторы: Селиверстов А.В.Двоичные решения некоторых систем линейных уравнений. Проблемы оптимизации и их приложения = Optimization Problems and Their Applications (OPTA-2018): тезисы докладов VII Международной конференции (Омск, Россия, 8-14 июля 2018 г.): памяти проф. А.А. Колоколова / редкол.: С.В. Белим и др. - Омск: Изд-во Ом. гос. ун-та, 2018. С. 105.
Загрузить (2.2 MB) |
|
2018 г. Авторы: Селиверстов А.В.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).
Перейти к публикации |
|
2018 г. Авторы: Горбунов К.Ю., Любецкий В.А.Линейный алгоритм перестройки графа.
Автоматика и телемеханика,
2018, том 79, № 12, стр. 124–141.
DOI: 10.31857/S000523100002861-1
Перейти к публикации |
|
2018 г. Авторы: Селиверстов А.В.Замечание о двоичных решениях некоторых систем алгебраических уравнений. Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения: Материалы XV Междунар. конф., посвященной столетию со дня рождения профессора Николая Михайловича Коробова. – Тула: ТГПУ им. Л.Н. Толстого, 2018. С. 197-199.
Перейти к публикации Загрузить (7.2 MB) |
|
2018 г. Авторы: Селиверстов А.В.Распознавание вещественных кубических гиперповерхностей без прямой из особых точек. Международная алгебраическая конференция, посвящённая 110-летию со дня рождения профессора А.Г. Куроша. Тезисы докладов. - М.: Издательство МГУ, 2018. С. 175-177.
Перейти к публикации Загрузить (1.7 MB) |
|
2018 г. Авторы: Селиверстов А.В.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.
Перейти к публикации Загрузить (2.8 MB) |
|
2018 г. Авторы: 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
Перейти к публикации |
|
2018 г. Авторы: 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)
Перейти к публикации |
|
2018 г. Авторы: Kanovei V., Lyubetsky V.Canonization of smooth equivalence relations on infinite-dimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018.
Перейти к публикации |
|
2018 г. Авторы: Селиверстов А.В.О некоторых вещественных кубических гиперповерхностях. Алгебра и теория алгоритмов: Всероссийская конференция, посвященная 100-летию факультета математики и компьютерных наук Ивановского государственного университета: сборник материалов. Иваново, Иван. гос. ун-т. 2018. С.179-181.
Перейти к публикации Загрузить (2.3 MB) |
|
2018 г. Авторы: 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
Перейти к публикации |
|
2018 г. Авторы: 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
Перейти к публикации |
|
2018 г. Авторы: 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
Перейти к публикации |
|
2018 г. Авторы: 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
Перейти к публикации |
|
2018 г. Авторы: 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
Перейти к публикации |
|
2018 г. Авторы: 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)
Перейти к публикации |
|
2018 г. Авторы: Кановей В.Г., Любецкий В.А.Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали.
Известия Российской академии наук. Серия математическая,
2018, том 82, № 1, стр. 65–96.
DOI: 10.4213/im8521
(WoS Q2)
Перейти к публикации |
|
2017 г. Авторы: Herzberg F., Kanovei V., Katz M., Lyubetsky V.Minimal axiomatic frameworks for definable hyperreals with transfer.
arXiv:1707.00202 [math.LO], July 2017.
Перейти к публикации |
|
2017 г. Авторы: 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.
Перейти к публикации |
|
2017 г. Авторы: 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.
Перейти к публикации |
|
2017 г. Авторы: Любецкий В.А., Рубанов Л.И., Горбунов К.Ю., Зверко́в О.А., Селиверстов А.В.Высококонсервативные элементы в митохондриях инфузорий и однодольных растений.
Материалы IX Международного Конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 20–22 февраля 2017, часть 1, стр. 392.
Перейти к публикации |
|
2017 г. Авторы: Короткова Д.Д., Иванова А.С., Любецкий В.А., Селиверстов А.В., Нестеренко А.М., Терёшина М.Б., Зарайский А.Г.Роль нового трансмембранного белка холоднокровных c-Answer в регенерации и развитии мозга у шпорцевой лягушки.
Перспективные направления физико-химической биологии и биотехнологии,
Сборник тезисов, Москва, 7–10 февраля 2017, стр. 25–26.
Перейти к публикации |
|
2017 г. Авторы: 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)
Перейти к публикации |
|
2017 г. Авторы: 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.
Перейти к публикации |
|
2017 г. Авторы: 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.
Перейти к публикации |
|
2017 г. Авторы: Селиверстов А.В.Эффективная унирациональность кубической гиперповерхности. Труды 60-й Всероссийской научной конференции МФТИ. 20–26 ноября 2017 г. Прикладная математика и информатика.. М.: МФТИ, 2017. С. 173–175.
Перейти к публикации Загрузить (18.5 MB) |
|
2017 г. Авторы: 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
Перейти к публикации |
|
2017 г. Авторы: 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.
Перейти к публикации |
|
2017 г. Авторы: Селиверстов А.В.Поиск точек на гладкой кубической гиперповерхности. Компьютерная алгебра: материалы Международной конференции. Москва, 30 октября - 3 ноября 2017 г. / ред. С.А. Абрамов, Т.М. Садыков. - Москва: ФГБОУ ВО РЭУ им. Г.В. Плеханова, 2017. С. 158-164.
|
|
2017 г. Авторы: Селиверстов А.В.Начертательная геометрия для преподавания математики. Проблемы качества графической подготовки студентов в техническом вузе: традиции и инновации. 2017. Т. 1. С. 346-352.
Загрузить (175.4 KB) |
|
2017 г. Авторы: Горбунов К.Ю., Любецкий В.А.Кратчайшее преобразование графа.
Доклады академии наук,
2017, том 476, № 6, стр. 614–616.
doi:10.7868/S0869565217300028
Перейти к публикации |
|
2017 г. Авторы: 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
|
|
2017 г. Авторы: 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
Перейти к публикации |
|
2017 г. Авторы: 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
|
|
2017 г. Авторы: Kanovei V., Lyubetsky V.Definable minimal collapse functions at arbitrary projective levels.
arXiv:1707.07320 [math.LO], July 2017.
Перейти к публикации |
|
2017 г. Авторы: Селиверстов А.В.О касательных прямых к аффинным гиперповерхностям. Вестник Удмуртского университета. Математика. Механика. Компьютерные науки 2017. Том 27, No. 2. С. 248--256. DOI: 10.20537/vm170208
Перейти к публикации Загрузить (245.3 KB) |
|
2017 г. Авторы: Рубанов Л.И., Селиверстов А.В.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
|
|
2017 г. Авторы: Kanovei V., Lyubetsky V.Definable E0 classes at arbitrary projective levels.
arXiv:1705.02975 [math.LO], May 2017.
Перейти к публикации |
|
2017 г. Авторы: Селиверстов А.В.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
Перейти к публикации |
|
2017 г. Авторы: Селиверстов А.В.О поиске особых точек алгебраической кривой. Геометрия и графика 2017. Т. 5. № 1. С. 36-42. DOI: 10.12737/25118
|
|
2017 г. Авторы: Селиверстов А.В.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.
Перейти к публикации Загрузить (7.2 MB) |
|
2017 г. Авторы: Горбунов К.Ю., Любецкий В.А.Алгоритм преобразования одного графа в другой с минимальной ценой.
Информатика и её применения,
2017, том 11, вып. 1, стр. 79–89. doi:10.14357/19922264170107
|
|
2017 г. Авторы: Горбунов К.Ю., Любецкий В.А.Линейный алгоритм минимальной перестройки структур.
Проблемы передачи информации,
2017, том 53, вып. 1, стр. 60–78.
|
|
2017 г. Авторы: 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
Перейти к публикации |
|
2017 г. Авторы: Kanovei V., Lyubetsky V.The full basis theorem does not imply analytic wellordering.
arXiv:1702.03566v2 [math.LO], February 2017.
Перейти к публикации |
|
2017 г. Авторы: Кановей В.Г., Любецкий В.А.Генерическое свойство множества Σ по Соловею.
Сибирский математический журнал,
2017, том 58, вып. 6, стр. 1302–1305.
doi:10.17377/smzh.2017.58.610
Перейти к публикации |
|
2017 г. Авторы: 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
Перейти к публикации |
|
|
|
|
|
