Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура института
образовательные проекты
периодические издания
сотрудники института
пресс-центр
контакты
русский | english
 Войти | Регистрация | Помощь
Публикаций на странице:    Страница: 1 2345 ... 89101112
2018 г.
Авторы: Кановей В.Г., Любецкий В.А.

Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали, Известия РАН, серия математическая, 2018, том 82, принято к печати.
Перейти к публикации

2017 г.
Авторы: Kanovei V., Lyubetsky V.

Definable minimal collapse functions at arbitrary projective levels. July 2017, arXiv:1707.07320 [math.LO], pp. 1-30.
Перейти к публикации

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. May 2017, arXiv:1705.02975 [math.LO], pp. 1--26. Submitted to Annals of pure and applied logic.
Перейти к публикации

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 г.
Авторы: 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, 2017, First Online 27 June 2017, DOI: 10.1007/s10699-017-9534-y.
Перейти к публикации

2017 г.
Авторы: Горбунов К.Ю., Любецкий В.А.

Линейный алгоритм кратчайшей перестройки структур при разных ценах операций. Информатика и её применения, 2017, принята

2017 г.
Авторы: Горбунов К.Ю., Любецкий В.А.

Линейный алгоритм минимальной перестройки структур. Проблемы передачи информации, 2017, принята

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, 11 pages, DOI: 10.3390/life7010009, PMID: 28264444.
Перейти к публикации

2017 г.
Авторы: Kanovei V., Lyubetsky V.

The full basis theorem does not imply analytic wellordering. February 2017, arXiv:1702.03566 [math.LO], pp. 1-63.
Перейти к публикации

2017 г.
Авторы: Кановей В.Г., Любецкий В.А.

Генерическое свойство множества $\Sigma$ по Соловею, Сибирский математический журнал, 2017, принято.

2017 г.
Авторы: Kanovei V., Katz M., Lobry C., et al.

Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange, 2017, accepted.
Перейти к публикации

2017 г.
Авторы: Kanovei V., Lyubetsky V.

Countable OD sets of reals belong to the ground model, Archive for Mathematical Logic, 2017, First Online 24 June 2017, DOI: 10.1007/s00153-017-0569-0.
Перейти к публикации

2017 г.
Авторы: Kanovei V., Katz M.

A positive function with vanishing Lebesgue integral in ZF. Real Analysis Exchange, 2017, 42, no. 2, to appear.
Перейти к публикации

2017 г.
Авторы: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al.

Gregory"s sixth operation, Foundations of Science, 2017. First Online 20 December 2016, DOI: 10.1007/s10699-016-9498-3
Перейти к публикации

2017 г.
Авторы: Herzberg F., Kanovei V., Katz M., Lyubetsky V.

Minimally definable hyperreals with transfer, Journal of symbolic logic, 2017, to appear.

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 of General Philosophy of Science, 2017, 48, issue 2, pp, 195--238. DOI: 10.1007/s10838-016-9334-z
Перейти к публикации

2017 г.
Авторы: Кановей В.Г., Любецкий В.А.

Определимое счетное множество, не содержащее определимых элементов, Математические заметки, 2017, 102, вып. 3, стр. 369--382, в печати.
Перейти к публикации

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

2017 г.
Авторы: Golshani M., Kanovei V., Lyubetsky V.

A Groszek – Laver pair of undistinguishable E0 classes. Mathematical Logic Quarterly, 2017, 63, No. 1–2, pp. 19–31. doi: 10.1002/malq.201500020.
Перейти к публикации

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, 2 pages, DOI: 10.1155/2016/9029306.
Перейти к публикации

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.

2016 г.
Авторы: Рубанов Л.И., Селиверстов А.В., Зверко́в О.А., Любецкий В.А.

A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata. BMC Bioinformatics. 2016, vol. 17, no. 385, 16 p.
Перейти к публикации

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 Σ. November 2016, arXiv:1611.00176 [math.LO], pp. 1-4.
Перейти к публикации

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 г.
Авторы: Любецкий В.А., Гершгорин Р.А., Селиверстов А.В., Горбунов К.Ю.

Algorithms for reconstruction of chromosomal structures. BMC Bioinformatics, 2016, 17:40, 23 p. DOI: 10.1186/s12859-016-0878-z
Перейти к публикации

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. September 2016, arXiv:1609.01032 [math.LO], pp. 1-12.
Перейти к публикации

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

2016 г.
Авторы: Blaszczyk P., Kanovei V., Katz M., et al.

Toward a history of mathematics focused on procedures, Foundations Of Science, 2016, First Online 21 September 2016, DOI: 10.1007/s10699-016-9498-3
Перейти к публикации

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, no. 20, 6 pages, DOI: 10.1186/s13062-016-0123-8, PMID: 27084079.
Перейти к публикации

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

2016 г.
Авторы: Kanovei V.

OD elements of countable OD sets in the Solovay model. March 2016, arXiv:1603.04237 [math.LO], pp. 1-20.
Перейти к публикации

2016 г.
Авторы: Blaszczyk Piotr, Kanovei V., U. Katz Karin, G. Katz Mikhail, et al.

Is Leibnizian calculus embeddable in first order logic? Foundations of Science, First Online: 22 June 2016, DOI: 10.1007/s10699-016-9495-6
Перейти к публикации

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, no. 7, 13 pages, DOI: 10.3390/life6010007, PMID: 26840333.
Перейти к публикации

2016 г.
Авторы: Kanovei V., Lyubetsky V.

Counterexamples to countable-section $Pi^1_2$ uniformization and $Pi^1_3$ separation. Annals of Pure and Applied Logic, 2016, 167, 3, pp. 262–283.
Перейти к публикации

2016 г.
Авторы: Kanovei V., Lyubetsky V.

On countable cofinality and decomposition of definable thin orderings. Fundamenta mathematicae, 2016, 235, no 1, pp. 13-36.
Перейти к публикации

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

Публикаций на странице:    Страница: 1 2345 ... 89101112
Поиск по публикациям
Год публикации
с по
Автор

Название/ключевое слово

Тип публикации

Наличие в международных базах цитирования
Искать в подразделении

По убыванию даты
По возрастанию даты
 

 

  © Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2017
Об институте  |  Контакты  |  Старая версия сайта