|
|
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 Перейти к публикации |
|
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) Перейти к публикации |
|
|
|
|