Лаборатория 6

«Математических методов и моделей в биоинформатике»
Института проблем передачи информации РАН

Зав. лабораторией - профессор, доктор физико-математических наук Василий Александрович Любецкий

E-mail: lyubetsk@iitp.ru, тел. (495)299-8354, (495)413-4643

В 1998 году в составе Лаборатории 1 образован сектор "Компьютерной логики в информационных процессах". В секторе продолжались исследования, основа которых была заложена в докторской диссертации заведующего сектором В.А. Любецкого. Это - исследования в области эффективного описания математических структур на основе теорий моделей, интуиционистской и дескриптивной теорий множеств, теории стохастических игр и т.п., а также - по созданию моделей информационного взаимодействия, в том числе в области биоинформатики (совместно с группой М.С. Гельфанда в Integrated genomics и затем в Центре биоинформатики ИППИ РАН). Эти последние исследования, главным образом, относились к проблемам поиска сигналов и моделированию процессов метаболического регулирования (экспрессии генов) у бактерий (на уровне вторичных структур РНК в процессах транскрипции и трансляции и белок-ДНКового взаимодействия), а также - реконструкции эволюционных событий молекулярного уровня, построения дерева видов. В 2004 году сектор был преобразован в Лабораторию 6 "Математических методов и моделей в биоинформатике", сохранив свою тематику.

Научные результаты, полученные за эти годы в секторе и затем в лаборатории, опубликованы: в математической части в журналах "Успехи математических наук", "Труды математического института РАН им. Стеклова", "Проблемы передачи информации" и в других ведущих изданиях, частью они вошли в книги "Topics in classical and intuitionistic model theory", "Nonstandard Analysis: Axiomatically"; а в биологической части - в ведущих журналах FEMS Microbiological Letters, In Silico Biology, Bioinformatics, Biophysics, Молекулярная биология. Готовится к изданию книга "Современная теория множеств".

Сотрудники лаборатории ведут научную и преподавательскую работу в российских и зарубежных университетах, вышло второе издание учебника "Основные понятия элементарной математики". Под руководством В.А. Любецкого защищены 2 докторские и 6 кандидатских диссертаций, выполненных в ИППИ; подготовлены две новые кандидатские диссертации.

Ведущие сотрудники лаборатории: А.Г. Витрещак, П.В. Голубцов, К.Ю. Горбунов, В.Г. Кановей, Л.Ю. Русин, А.В. Селиверстов, А.В. Чагров. Лаборатория тесно сотрудничает с учеными: В.В. Алешиным, Н.К. Верещагиным, В.В. Вьюгиным, М.С. Гельфандом, Е.В. Любецкой, А.А. Мироновым, С.А. Пироговым, Л.И. Рубановым, А.В. Чернавским.

Основные публикации c 1999 года

1999 2000 2001 2002 2003 2004 2005 2006

1999

  1. В.А. Любецкий. Логика устной речи в сравнении с логикой письменной речи. Труды второго философского конгресса, Екатеринбург, часть 1, 1999, с. 222.
  2. В.А. Любецкий. О преобразовании классических выводов в интуиционистские. Труды второй международной конференции «Смирновские чтения», Москва, 1999, с. 38-41.
  3. В.А. Любецкий. Об основах интеллектуальных процессов. Труды второго философского конгресса, Екатеринбург, часть 1, 1999, с. 223-224.
  4. В.А. Любецкий. Логические модели процессов информационного взаимодействия. Труды 1-ой международной конференции РАН «Проблемы управления и моделирования в сложных системах», Самара, 1999, с. 133-145.
  5. Кузнецов Н.А., Любецкий В.А. Компьютерная логика в информационных процессах. Проблемы передачи информации, РАН, том 35, вып. 2, 1999, с. 107-111.
  6. Голубцов П.В. Аксиоматическое описание категорий преобразователей информации. Пробл. передачи информ., Т.35, №3, 1999, с. 80-99.
  7. Gelfand M.S., Mironov A.A., Jomantas J., Kozlov Yu.I. and Perumov D.A. A conserved RNA structure element involved in the regulation of bacterial riboflavin biosynthesis genes. Trends Genet., 15, 1999, p.p. 439-442.
  8. Chagrov A.V. A first-order effect and modal propositional formulas. Andrea Cantini, etc. (Eds.) Logic and Foundation of Mathematics. Kluwer Academic Publishers, 1999. p. 209-217.
  9. R. Diestel, T.R. Jensen K. Gorbunov and C. Thomassen. Highly connected sets and the excluded grid theorem. Journal of Combinatorial Theory, Series B vol. 75, 1999, p. 61-73.

    2000

    1999 2000 2001 2002 2003 2004 2005 2006

  10. V.A. Lyubetsky, M.J.A. Larijani. Topics in Classical and Intuitionistic Model Theory. Gardariki, Moscow, 2000, 390 pages.
  11. Кузнецов Н.А., Любецкий В.А., Чернавский А.В. К вопросу о понятии информационного взаимодействия, 1: допсихическая биоинформатика. Труды 2-ой международной конференции «Проблемы управления и моделирования в сложных системах», Самара, Издательство РАН, 2000, с. 8-20.
  12. Вьюгин В.В., Горбунов К.Ю., Любецкий В.А. Алгоритмы выделения регуляторного сигнала и построения эволюционных деревьев. Труды 2-ой международной конференции «Проблемы управления и моделирования в сложных системах», Самара, Издательство РАН, 2000, с. 130-137.
  13. Горбунов К.Ю., Любецкий В.А. Об алгоритме выявления регуляторного сигнала в наборе последовательностей. Логические исследования. выпуск 7, Москва, Наука, 2000, с. 159-163.
  14. Верещагин Н.К., Любецкий В.А. Алгоритм определения вторичной структуры РНК. Труды научно-исследовательского семинара логического центра ИФ РАН, выпуск 14, Москва, Издательство РАН, 2000, с. 99-109.
  15. Горбунов К.Ю. Об оценке матричной сложности множества. Труды 2-ой международной конференции «Проблемы управления и моделирования в сложных системах», Самара, Издательство РАН, 2000, с. 138-140.
  16. Новичков П.С., Гельфанд М.С., Миронов А.А. Предсказание экзон-интронной структуры сравнением геномных последовательностей. Молекулярная биология, т. 34, № 2, 2000, с. 230-236.
  17. Панина Е.М., Миронов А.А., Гельфанд М.С. Статистический анализ полных бактериальных геномов: палиндромы и системы рестрикции-модификации. Молекулярная биология, т. 34, № 2, 2000, с. 246-252.
  18. Миронов А.А., Винокурова Н.П., Гельфанд М.С. Программное обеспечение анализа бактериальных геномов. Молекулярная биология, т. 34, № 2, 2000, с. 253-262.
  19. Gelfand M.S., Koonin E.V., Mironov A.A. Prediction of transcription regulatory sites in Archaea by a comparative-genomic approach. Nucleic Acids Res., vol. 28, no. 3, 2000, p. 695-705.
  20. Vitreschak A.G., Gelfand M.S. Comparative approach to analysis of regulation in complete genomes: Attenuators of aromatic amino acid operons of gamma-proteobacteria. II Международная конференции "Проблемы управления и моделирования в сложных системах", Самара, Издательство РАН, 2000, p. 141-142.
  21. Ramensky V.E., Makeev V.Ju., Gelfand M.S., Roytberg M.A., Tumanyan V.G. Bayesian approach to DNA segmentation into regions with different average nucleotide composition. JOBIM’2000 “Journees Ouvertes Biologie Informatique Mathematiques”, Montpellier, France, Mai 2000, p. 241-248.
  22. Верещагин Н.К., Шень А. Математическая логика и теория алгоритмов. Вычислимые функции. Изд-во Московского центра непрерывного математического образования. Москва, 1999, 174 стр.
  23. Верещагин Н.К., Шень А. Математическая логика и теория алгоритмов. Языки и исчисления. Изд-во Московского центра непрерывного математического образования. Москва, 2000, 274 стр.
  24. Vereshchagin N., Vyugin M. Independent minimum length programs to translate between given strings. Proc. of 15th Annual IEEE Conference on Computational Complexity, Florence, July 2000, р. 138-144.
  25. Romashchenko A., Shen A., Vereshchagin N. Combinatorial interpretation of Kolmogorov complexity. Proc. of 15th Annual IEEE Conference on Computational Complexity, Florence, July 2000, р. 131-137.
  26. Голубцов П.В., Старикова О.В. Проблема калибровки для инвариантных измерительно-вычислительных систем. Проблемы управления и моделирования в сложных системах, II международная конференция, Самара, 19-24 июня 2000, с. 143-148.
  27. Голубцов П.В., Сизарёв Д.В. Синтез оптимальных систем формирования изображений с непрерывным полем зрения. Проблемы управления и моделирования в сложных системах, II международная конференция, Самара, 19-24 июня 2000, с. 149-154.
  28. Чагров А.В. Об интерполяционном свойстве полных по Э.Посту модальных логик. Труды VI Общероссийской научной конференции «Современная логика: проблемы теории, истории и применения в науке», 22-24 июня 2000, Санкт-Петербург, Издательство ЛГУ, 2000, с. 258-259.
  29. Чагров А.В. Два замечания о строго импликативных формулах в модальной логике S3. Логические исследования, выпуск 7, Москва, Наука, 2000, с. 84-89.
  30. Чагров А.В. Об эффективных теоремах дедукции в нормальных модальных логиках. Логические исследования, выпуск 7, Москва, Наука, 2000, с. 209-216.
  31. Чагров А.В. Логика, не являющаяся ни конечнозначной, ни бесконечнозначной. Труды научно-исследовательского семинара логического центра ИФ РАН, выпуск 14, Москва, Издательство РАН, 2000, с. 59-67.
  32. Рыбаков М.Н., Чагров А.В. Стандарные переводы неклассических формул и относительная разрешимость логик. Труды научно-исследовательского семинара логического центра ИФ РАН, выпуск 14, Москва, Издательство РАН, 2000, с. 81-98.
  33. А.В. Зарелуа, В.А. Любецкий. Предисловие редакторов к первому тому книги А. Маллиос «Геометрия векторных пучков», Мир, 2000 (460 страниц в книге).

    2001

    1999 2000 2001 2002 2003 2004 2005 2006

  34. А.В. Зарелуа, В.А. Любецкий. Предисловие редакторов ко второму тому книги А. Маллиос «Геометрия векторных пучков», Мир, 2001 (442 страницы в книге).
  35. Данилова Л.В., Горбунов К.Ю., Гельфанд М.С., Любецкий В.А. Алгоритм выделения регуляторных сигналов в последовательностях ДНК (1). Информационные процессы, том 1, No 1, 2001, с. 56-63.
  36. Гельфанд М.С., Вьюгин В.В., Любецкий В.А. Об одном способе построения деревьев эволюции видов по множественным генетическим данным. Информационные процессы, том 1, No 1, 2001, с. 64-77.
  37. Данилова Л.В., Горбунов К.Ю., Гельфанд М.С., Любецкий В.А. Алгоритм выделения регуляторных сигналов в последовательностях ДНК (2). Молекулярная биология, том 35, № 6, 2001, с. 987-995.
  38. Вьюгин В.В., Любецкий В.А. Об одном алгоритме поиска горизонтального переноса генов на основе филогенетических деревьев белков. Информационные процессы, том 1, No 2, 2001, с. 167-177.
  39. Горбунов К.Ю., Любецкая Е.В., Любецкий В.А. О двух алгоритмах поиска альтернативной вторичной структуры РНК. Информационные процессы, том 1, No 2, 2001, стр. 178-187.
  40. Любецкий В.А., Селиверстов А.В. Об одном вероятностном алгоритме решения NP-полной проблемы, Труды третьей международной конференции «Смирновские чтения», РАН, Москва, 2001, с. 47-49.
  41. Данилова Л.В., Любецкий В.А. Алгоритм выделения регуляторных сигналов: тестирование и биологические применения. Труды 3-ей международной конференции «Проблемы управления и моделирования в сложных системах», Самара, РАН, 2001, с. 632-634.
  42. Кузнецов Н.А., Любецкий В.А., Чернавский А.В. К вопросу о понятии информационного взаимодействия, 2: доречевой интеллект. Труды 3-ей международной конференции «Проблемы управления и моделирования в сложных системах», Самара, РАН, 2001, с. 25-42.
  43. Lyubetsky V.A. First projective sets, AE-prefix and quantifiers elimination. Abstracts of International conference 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.
  44. Mironov A.A, Novichkov P.S., Gelfand M.S. Pro-frame: similarity-based gene recognition in eukaryotic DNA sequences with errors. Bioinformatics, vol. 17, No 1, 2001, p. 13-15.
  45. Rodionov D.A., Gelfand M.S., Mironov A.A., Rakhmaninova A.B. Comparative approach to analysis of regulation in complete genomes: multidrug resistance systems in gamma-proteobacteria. Journal of molecular microbiology and biotechnology, vol. 3, No 2, 2001, p. 319-324.
  46. Makarova K.S., Mironov A.A., Gelfand M.S. Conservation of the arginine repressor DNA binding signal in all bacterial lineages. Genome biology, vol. 2, No 4, 2001, pp. research0013.1-0013.8.
  47. Panina E.M., Vitreschak A.G., Mironov A.A., Gelfand M.S. Regulation of aromatic amino acid biosynthesis in gamma-proteobacteria. Journal of molecular microbiology and biotechnology, vol. 3, No 4, 2001, p. 529-543.
  48. Brudno M., Gelfand M.S., Spengler S., Zorn M., Dubchak I., Conboy J.G. Computational analysis of candidate intron regulatory elements for tissue-specific alternative pre-MRNA splicing. Nucleic acids research, vol. 29, No 11, 2001, p. 2338-2348.
  49. Боринская С.А., Гельфанд М.С., Миронов А.А. Компьютерная геномика: в поисках генов. Химия и жизнь, No 2, 2001, с. 36-40.
  50. Гельфанд М.С. Биология in silico. Компьютерра, No 36(413), 2001, с. 20-22.
  51. Гельфанд М.С. Аннотация геномов – от последовательности к функции. Компьютерра, No 36(413), 2001, с. 22-25.
  52. Витрещак А.Г., Гельфанд М.С. Предсказание вторичной структуры РНК. Программа rnapattern – поиск вторичной структуры по паттерну. Труды 3-й международной конференции «Проблемы управления и моделирования в сложных системах», Самара, РАН, 2001, с. 623–625.
  53. Vitreschak A.G. 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.
  54. Gelfand M.S., Laikova O., Mironov A.A., Novichkov P.S., Panina E.M., Rodionov D.A., Vitreschak A.G. Comparative analysis of bacterial patterns. In the abstracts of meeting of HHMI international research scholars, Vancouver, Canada, June 20-23, 2001, p. 75.
  55. Горбунов К.Ю. Об одной модели информационной зависимости в алгебраической геометрии. Информационные процессы (http://www.jip.ru/), том 1, No 2, 2001, с. 147-149.
  56. Голубцов П.В., Старикова О.В. Инвариантность и калибровка измерительно-вычислительных систем в непрерывно-дискретном случае. Труды 3-й международной конференции «Проблемы управления и моделирования в сложных системах», Самара, РАН, 2001, с. 635–641.
  57. Голубцов П.В., Старикова О.В. Оптимальная калибровка инвариантных измерительно-вычислительных систем в случае параметрической информации о схеме измерения. VII конференция «Обратные и некорректно поставленные задачи», Москва, 2001, с. 19.
  58. Голубцов П.В., Старикова О.В. Калибровка инвариантных преобразователей информации. Информационные процессы, том 1, No 1, 2001, с. 78-88.
  59. Golubtsov P.V, Starikova O.V. Invariance considerations in problems of synthesis and optimal calibration of measurement computer system. First SIAM-EMS conference applied mathematics in our changing world, Berlin 2001, Collection of Abstracts, p. 66.
  60. Голубцов П.В., Старикова О.В. Редукция параметрически заданных инвариантных измерительно-вычислительных систем. Вестник Московского университета, сер. 3 "физика и астрономия", No 6, 2001, с. 3-6.
  61. Вьюгин В.В. О неустойчивости индивидуальной эргодической теоремы. Проблемы передачи информации, том 37, вып. 2, 2001, с. 27-39.
  62. V'yugin V.V. Most sequences are stochastic. Information and computation, vol. 169, 2001, p. 252-263.
  63. V'yugin V.V. Non-robustness property of the individual ergodic theorem. Problems of information transmission, v.37, No 2, 2001, p. 23-33.
  64. Чагров А.В. Логика, не являющаяся ни конечно-значной, ни бесконечно значной. Труды научно-исследовательского семинара логического центра института философии РАН, вып. XIV, Москва 2000, с. 59-67.
  65. Рыбаков М.Н., Чагров А.В. Стандартные переводы неклассических формул и относительная разрешимость логик. Труды научно-исследовательского семинара логического центра института философии РАН, вып. XIV, Москва, 2000, c. 81-98.
  66. Chagrov A.V. All tabular generally post-complete extensions of k4 have interpolation property. Информационные процессы, том.1, No 1, 2001, с. 50-55.
  67. Чагров А.В. Алгоритмическая проблематика в неклассических пропозициональных логиках. Смирновские чтения, третья международная конференция, Москва: ИФ РАН, 2001, с. 69-71.
  68. Чагров А.В., Чагрова Л.А. Первопорядковая определимость интуиционистских формул на конечных шкалах крипке: алгоритмический аспект. Смирновские чтения, третья международная конференция, Москва: ИФ РАН, 2001, с. 71-75.
  69. Чагров А.В. К логическим проблемам семантических аспектов информационного взаимодействия. Труды 3-ей международной конференции «Проблемы управления и моделирования в сложных системах», Самара, РАН, 2001, с. 611-616.
  70. Zakharyaschev M., Wolter F. and Chagrov A. Advanced modal logic. In Gabbay D.M., Guenthner F. (eds.). Handbook of philosophical logic, 2nd edition, vol. 3, Kluver academic publishers, 2001, p. 83-266.
  71. Muchnik An., Vereshchagin N. Logical operations and kolmogorov complexity. Proc. of 16th annual IEEE Conference on Computational Complexity, Chicago, June 2001, p. 256-265.

    2002

    1999 2000 2001 2002 2003 2004 2005 2006

  72. Горбунов К.Ю., Любецкий В.А. Алгоритм поиска консервативных вторичных структур в наборе фрагментов РНК. Информационные процессы, 2002, том 2, No 1, с. 55-58.
  73. Истомина С.Н., Рубанов Л.И. Параллельный алгоритм поиска регуляторного сигнала в геномах бактерий. Информационные процессы, 2002, том 2, No 1, с. 85-90.
  74. Леонтьев Л.А., Любецкая Е.В., Любецкий В.А. Модифицированный алгоритм поиска альтернативных вторичных структур РНК и результаты счета. Информационные процессы, 2002, том 2, No 1, с. 100-105.
  75. Вьюгин В.В., Любецкий В.А. О некоторых способах отбора горизонтально перенесенных генов на основе филогенетических данных. Информационные процессы, 2002, том 2, No 1, с. 120-140.
  76. Кузнецов Н.А., Любецкий В.А., Чернавский А.В. К вопросу о понятии информационного взаимодействия, 3: речевой интеллект. Труды 4-ой Международной конференции, 17-23 июня 2002, Самара, с. 7-17.
  77. Lyubetsky V.A., V’yugin V.V. Method of horizontal gene transfer determination using phylogenetic data. Proceedings of the third international conference of bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 2, p. 60-62.
  78. Lyubetsky E.V., Lyubetsky V.A. Algorithm for searching alternative secondary RNA structures. Proceedings of the third international conference of bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 3, p. 15-17.
  79. Gorbunov K.Yu., Lyubetsky V.A. An algorithm for searching common secondary structures in a set of RNA sequences. Proceedings of the third international conference of bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 3, p. 25-23.
  80. Lyubetsky V.A., Rubanov L.I. 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. 23-25.
  81. Вьюгин В.В., Гельфанд М.С., Любецкий В.А. Согласование деревьев: реконструкция эволюции видов по филогенетическим деревьям генов. Молекулярная биология, 2002, т. 36, № 5, с. 807-816.
  82. Vitreschak A.G., Rodionov D.A., Mironov A.A., Gelfand M.S. Regulation of riboflavin biosynthesis and transport genes in bacteria by transcriptional and translational attenuation. Nucleic Acids Research. 2002. V. 30. No 14. P. 3141-3151.
  83. Rodionov D.A., Vitreschak A.G., Mironov A.A., Gelfand M.S. Comparative Genomics of Thiamin Biosynthesis in Procaryotes. New Genes and Regulatory Mechanisms. J. Biol. Chem. 2002 Dec 13. V. 277. No 50. P. 48949-48959.
  84. Panina E.M, Vitreschak A.G., Mironov A.A., Gelfand M.S. Bioinformatics approach to analysis of regulation of aromatic amino acids biosynthesis in Bacillus/Clostridium group. Proceedings of the third International Conference on Bioinformatics of Genome Regulation and Structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 2, p. 32-34.
  85. Vitreschak A.G., Rodionov D.A., Mironov A.A., Gelfand M.S. Regulation of bacterial riboflavin genes by a conserved RNA structural element. Proceedings of the third International Conference on Bioinformatics of Genome Regulation and Structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002. v. 2,. p. 44-46.
  86. Sze S.-H., Gelfand M.S. and Pevzner P.A. Finding weak motifs in DNA sequences. Pacific symposium on biocomputing, 2002, p. 235-246.
  87. Ponomarenko J.V., Orlova G.V., Frolov A.S., Gelfand M.S, Ponomarenko M.P. Selex_DB, a database on in vitro selected oligomers adapted for recognizing natural sites and for analyzing both SNPS and site-directed mutagenesis data. Nucleic acids res. 2002. V. 30. No 1. P. 195-199.
  88. Mirny L.A., Gelfand M.S. Structural analysis of conserved base-pairs in protein-DNA complexes. Nucleic acids res. 2002. V. 30. No. 7. P. 1704-1711.
  89. Котельникова Е.А., Гельфанд М.С. Выработка бактериоцинов грам-положительными бактериями и механизмы транскрипционной регуляции. Генетика. 2002. Т. 38. № 6. c. 758-772.
  90. Mirny L.A., Gelfand M.S. Using orthologous and paralogous proteins to identify specificity determining residues bacterial transcription factors. J. Mol. Biol. 2002. V. 321. No. 1. P. 7-20.
  91. Permina E.A., Mironov A.A, Gelfand M.S. Damage-repair error-prone polymerase of bacteria: association with mobile genome elements. Gene. 2002. V. 293. No 1-2. P. 133-140.
  92. Baytalulk M.V., Gelfand M.S., Mironov A.A. Exact mapping of prokaryotic gene starts. Briefings in bioinformatics. 2002. V. 3. No 2. P. 181-194.
  93. Байталюк М.В., Гельфанд М.С., Миронов А.А. Сравнительный подход к уточнению начал генов в полных бактериальных геномах. Биофизика. 2002, Т. 47, № 2, c. 197-203.
  94. Равчеев Д.А., Гельфанд М.С, Миронов А.А., Рахманинова А.Б. Пуриновый регулон гамма-протеобактерий. Детальное описание. Генетика. 2002. Т. 38. № 9, c. 1203-1214.
  95. Котельникова Е.А., Гельфанд М.С. Регуляция транскрипции в системе выработки бактериоцинов streptococcus equi. Генетика. 2002. Т. 38. № 7, c. 911-915.
  96. Rodionov D.A., Mironov A.A., Gelfand M.S. Conservation of the biotin regulon and the BIRA regulatory signal in eubacteria and archaea. Genome research. 2002. V. 12. No 10. P. 1507 - 1516.
  97. Полуэктова Е.У., Хольсаппель С., Гагарина Е.Ю., Гельфанд М.С., Брон С., Прозоров А.А. Наличие генетического мобильного элемента isbsu2 из криптической плазмиды в хромосоме ряда штаммов bacillus subtilis. Доклады РАН. 2002. Т. 386. № 4. c. 552-554.
  98. Нуртдинов Р.Н., Миронов А.А., Гельфанд М.С. Консервативен ли альтернативный сплайсинг генов млекопитающих? Биофизика. 2002. Т. 47. № 4. c. 197-203.
  99. Gelfand M.S., Laikova O.N. Prolegomena to the evolution of transcriptional regulation in bacterial genomes. Functional Genomics Series, Caister AcademicPress, V. 3: Frontiers in Computational Genomics, Galperin M.Y and Koonin E.V., eds. 2003. p. 195-216.
  100. Permina E.A., Gelfand M.S. Regulation of the heat-shock response of β-, γ-, ε-proteobacteria. Proc. Recomb 2002, Washington DC, USA, April 2002. p. 150-151.
  101. Vitreschak A.G., Panina E.M., Rodionov D.A., Mironov A.A., Gelfand M.S. Comparative analysis of RNA regulation in bacterial genomes. 2002. Proc. Meeting of howard hughes medical institute international research scholars, palm cove, Australia, June 2002. p. 89.
  102. Vitreschak A.G. 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. Int. Summer school “from genome to life”. Structural, functional and evolutionary approaches, Cargese, Corsica, France, July 2002. p. 57-58.
  103. Nurtdinov R.N., Artamonova I.I., Mironov A.A., Gelfand M.S. Are patterns of alternative splicing of mammalian genes conserved? Proceedings of the third International Conference on Bioinformatics of Genome Regulation and Structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 3, p. 36-39.
  104. Sutormin R.A., Rakhmaninova A.B., Gelfand M.S. Batmas30 – the amino acid substitution matrix for alignment of bacterial transporters. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 3, p. 90-92.
  105. Kalinina O.V., Makeev V. Ju., Sutormin R.A., Gelfand M.S., Rakhmaninova A.B. Rare residues form the chanel in transmembrane transporter proteins. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 3, p. 100-103.
  106. Sadovskaya N.S., Sutormin R.A., Rakhmaninova A.B., Gelfand M.S. Benchmarking of programs for recognition of transmembrane segments in transporter proteins // Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 3, p. 115-116.
  107. Novichkov P.S., Gelfand M.S., Mironov A.A. Mutation rate of ribosomal proteins and the 3d structure of the small ribosomal subunit. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 3, p. 174-176.
  108. Novichkov P.S., Gelfand M.S., Mironov A.A. Relative mutation rate of bacterial proteins and prediction of the distance between orthologous genes. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 3, p. 177-180.
  109. Gerasimova A.V., Rodionov D.A., Mironov A.A., Gelfand M.S. fnr/dnr/anr-regulon in gamma-proteobacteria. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 2, p. 19-20.
  110. Kotelnikova E.A., Gelfand M.S. Transcriptional regulation of a novel bacteriocin-producing system in streptococcus equi. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 2, p. 23-25.
  111. Panina E.M., Vassieva O., Gelfand M.S., Overbeek R. Prediction of new enzyme involved in peptidoglican recycling. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 2, p. 29-31.
  112. Permina E.A., Gelfand M.S. Regulation of the heat shock response of β-, γ- and ε-proteobacteria. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 2, p. 35-37.
  113. Ravcheev D.A., Gelfand M.S., Mironov A.A., Rakhmaninova A.B. The purine regulon of gamma-proteobacteria. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 2, p. 38-39.
  114. Rodionov D.A., Mironov A.A., Gelfand M.S. Computational analysis of the biotin regulon in bacterial genomes. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia July 14-20, 2002, v. 2, p. 40-43.
  115. Kazakov A.E., Vassieva O., Gelfand M.S., Osterman A., Overbeek R. Bioinformatics analysis of PHOH function and regulation in actinobacteria. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 1, p. 20-22.
  116. Favorov A., Gelfand M.S., Mironov A.A., Makeev V. Yu. Yet another digging for DNA motifs GIBBS sampler. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 1, p. 31-33.
  117. Baytaluk M.V., Gelfand M.S., Mironov A.A. Exact mapping of prokaryotic gene starts. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 1, p. 113-115.
  118. Neverov A.D., Gelfand M.S., Mironov A.A. Gene prediction in genomic DNA of aspergillus. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 1, p. 116-118.
  119. Paskhin A.I., Ramensky V.E., Gelfand M.S., Makeev V.J. Identification of coding regions in genomes of lower eukaryotes by compositional segmentation of complete genomes. Proceedings of the third international conference on bioinformatics of genome regulation and structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 1, p. 119-121.
  120. Витрещак А.Г. Компьютерное предсказание регуляторных сайтов мРНК. Анализ регуляции экспрессии генов биосинтеза аминокислот и генов, кодирующих тРНК-синтетазы в грамм-положительных бактериях. Информационные процессы, 2002, Т. 2, No 1, c. 91-95.
  121. Данилова Л.В., Гельфанд М.С. Поиск регуляторных сайтов в группах ортологичных генов гамма-протеобактрий. Информационные процессы, 2002, Т. 2, No 1, c. 59-61.
  122. Danilova L.V, Gelfand M.S. Search for regulatory signals in groups of orthologous genes of gamma – proteobacteria. Proceedings of the third International Conference on Bioinformatics of Genome Regulation and Structure, BGRS’2002, Novosibirsk, Russia, July 14-20, 2002, v. 2, p. 21-22.
  123. Vyugin M.V., V'yugin V.V. Predictive complexity and information. Proceedings Fifteen International Conference on Computational Learning Theory -- COLT'02, Lecture Notes on Artificial Intelligence. 2002. v. 2375, p. 90-104.
  124. V'yugin V.V. Does snooping help? Theoretical Computer Science. 2002, v. 276, p. 407-415.
  125. V'yugin V.V. Suboptimal measures of predictive complexity for absolute loss function. Information and Computation. 2002, v. 175, p. 146-157.
  126. Vyugin M.V., V'yugin V.V. On complexity of easy predictable sequences. Information and Computation. 2002, v. 178, p. 241-252.
  127. Чагров А.В. К вопросу об обратной математике модальной логики. Логические исследования,  выпуск 8. М.: Наука, 2001. c. 224-243.
  128. Чагров А.В. Доказательство одной теоремы Крипке. Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XV. М.: 2001, c. 113-119.
  129. Чагров А.В., Чагрова Л.А. Алгоритмическая проблема первопорядковой определимости интуиционистских формул на конечных шкалах Крипке. Российской математике – триста лет: Материалы юбилейной науч. конф. Тверь: Твер. гос. ун-т, 2002. c. 115-120.
  130. Чагров А.В. Суперинтуиционистские логики, консервативные относительно безымпликативных фрагментов  интуиционистской логики. Российской математике – триста лет: Материалы юбилейной науч. конф. Тверь: Твер. гос. ун-т, 2002. c. 121-126.
  131. Chagrov A.V., Chagrova A.A. Normal modal logics with (in)finite sets of nonequivalent modalities. Российской математике – триста лет: Материалы юбилейной науч. конф. Тверь: Твер. гос. ун-т, 2002. c. 127-139.
  132. Рыбаков М.Н., Чагров А.В. Модальные формулы без переменных и PSPACE-полнота. Современная логика: Проблемы теории, истории и применения в науке. Материалы VII Общероссийской научной конференции. Спб, 2002. c. 498-500.
  133. Kanovei V.G., Reeken M. New Radon-Nikodym ideals. Mathematika. 2002, v. 47, p. 219-227.
  134. Kanovei V.G., Reeken M. Borel and countably determined reducibility in nonstandard domain. Front for the Mathematics Arxiv, Preprint math.LO 0202290, 34 pp. http://front.math.ucdavis.edu/math.LO/0202290
  135. Kanovei V.G. Some new results in Borel irreducibility of equivalence relations. Nonstandard methods and applications in mathematics. Pisa, Italia, 2002, p. 1.
  136. Kanovei V.G., Reeken M. Borel and countably determined reducibility in nonstandard domain. Logic Colloquium 2002, ASL European Summer meeting. Munster, Germany, 2002, p. 38-39.
  137. Kanovei V.G. Reducibility of equivalence relations in "hyperfinite" descriptive set theory. Abstract. Workshop on Descriptive Set Theory, Analysis, and Dynamical Systems. Fields Institute, Toronto, Canada, 2002. http://www.fields.utoronto.ca/programs/scientific/0203/settheory/workshop1/abstracts.html#kanovei
  138. Vereshchagin N. and Vitanyi P. Kolmogorov's Structure Functions with an Application to the Foundations of Model Selection. Proc. 47th IEEE Symposium on Foundations of Computer Science (FOCS’02), 2002, p. 751-760.
  139. Chernov A.V., Skvortsov D.P., Skvortsova E.Z., Vereshchagin N.K. Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle. Proc. of the Annual Symposium on Computer Science Logic, Edinburgh, Scotland, UK, September 22-25, 2002, p. 74-88.
  140. Shen A., Vereshchagin N. Logical operations and Kolmogorov complexity. Theoretical Computer Science. 2002, v. 271, p. 125-129.
  141. Vereshchagin N. Kolmogorov Complexity Conditional to Large Integers. Theoretical Computer Science. 2002, v. 271, p. 59-67.
  142. Vereshchagin N., Vyugin M. Independent minimum length programs to translate between given strings. Theoretical Computer Science. 2002, v. 271, p. 131-143.
  143. Romashchenko A., Shen A., Vereshchagin N. Combinatorial interpretation of Kolmogorov complexity. Theoretical Computer Science. 2002, v. 271. p. 111-123.
  144. Голубцов П.В., Старикова О.В. Учет инвариантности в задаче калибровки инвариантных измерительно-вычислительных систем. Математическое моделирование. 2002. Т. 14, № 4, c. 45-56.
  145. Golubtsov P.V., Moskaliuk S.S. Method of Additional Structures on the Objects of a Monoidal Kleisli Category as a Background for Information Transformers. Hadronic Journal. 2002. V. 25. No. 2. p. 179-238.
  146. Golubtsov P.V. Monoidal Kleisli Categry as a Background for Information Transformers Theory. Информационные процессы, 2002, Т. 2, No 1, c. 62-84.

    2003

    1999 2000 2001 2002 2003 2004 2005 2006

  147. Любецкий В.А., Селиверстов А.В. Некоторые алгоритмы, связанные с конечными группами. Информационные процессы, том 3, No 1, 2003, с. 39-46.
  148. Голубцов П.В., Любецкий В.А. Стохастические динамические игры с информацией различного типа. Проблемы передачи информации, 2003, том 39, вып. 3, с. 40-71.
  149. Lyubetsky V.A., V’yugin V.V. Methods of horizontal gene transfer determination using phylogenetic data (2). In Silico Biology (An International Journal on Computational Molecular Biology), V. 3, No 1,2, 2003, p. 17-31 (the computer version http://www.bioinfo.de/isb/2003/03/0003).
  150. L.V. Danilova, V.A. Lyubetsky, M.S. Gelfand. 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, p. 33-47 (the computer version: http://www.bioinfo.de/isb/2003/03/0004).
  151. Вьюгин В.В., Гельфанд М.С., Любецкий В.А. Идентификация горизонтально перенесенных генов на основе филогенетических данных. Молекулярная биология, том 37, № 4, 2003, c. 673-687.
  152. Любецкая Е.В., Леонтьев Л.А., Гельфанд М.С., Любецкий В.А. Поиск альтернативных вторичных структур РНК, регулирующих экспрессию бактериальных генов. Молекулярная биология, том 37, № 5, 2003, c. 834-842.
  153. Danilova L.V., Gelfand M.S., Lyubetsky V.A., Laikova O.N. Computer analysis of glycerol-3-phosphate metabolism regulation in proteobacterial genomes. Mol. Biol., №5, 2003, с. 843-849.
  154. Любецкая Е.В., Леонтьев Л.А., Любецкий В.А. Поиск альтернативных вторичных структур в классе гамма-протеобактерий. Информационные процессы, том 3, No 1, 2003, с. 23-38.
  155. Любецкий В.А., Горбунов К.Ю. Поиск консервативных вторичных структур РНК. Информационные процессы, том 3, No 1, 2003, с. 47-60.
  156. Кузнецов Н.А., Любецкий В.А., Чернавский А.В. О понятии информационного взаимодействия, 1: допсихический уровень. Информационные процессы, том 3, No 1, 2003, с. 1-22.
  157. Горбунов К.Ю., Миронов А.А., Любецкий В.А. Поиск консервативной вторичной структуры РНК. Молекулярная биология, том 37, № 5, 2003, с. 850-860.
  158. Голубцов П.В., Любецкий В.А. Результат информационного процесса зависит от характера и объёма доступной его участникам информации. Международная конференция, РАН, Самара, 2003, с. 445-453.
  159. Кановей В.Г., Любецкий В.А. Классические проблемы дескриптивной теории множеств, Труды 4-й международной Смирновской конференции, РАН, Москва, 2003, с. 32-34.
  160. V.G. Kanovei, V.A. Lyubetsky. On the existence of regular non-definable sets of reals. Труды конференции «Колмогоров и современная математика (100 лет Колмогорову)», Москва, 2003, p. 690.
  161. Гельфанд М.С., Любецкий В.А. ДНК: от молекулы до генома, от биохимических озарений к алгоритмическому анализу. Вестник РАН, № 11, 2003, с. 963-970.
  162. Danilova L.V., Lyubetsky V.A., Laikova O.N. Computer detecting of glycerol-3-phosphate metabolism regulation in proteobacterial genomes. MCCMB’03, 2003, p. 52-53.
  163. Gorbunov K.Yu., Lyubetsky V.A. Detecting common secondary structures in a set of RNA sequences and its testing. MCCMB’03, 2003, p. 83-85.
  164. Lyubetsky V.A., V’uygin V.V. Complex phylogenetic analysis of evolutionary history for prokaryotes families. MCCMB’03, 2003, p. 146-147.
  165. Lyubetskaya E.V., Leontiev L.A., Lyubetsky V.A. Algorithm for detecting alternative secondary RNA structures and mass analysis attenuator regulation in proteobacteria. MCCMB’03, 2003, p. 144-145.
  166. Кановей В.Г., Любецкий В.А. О некоторых классических проблемах дескриптивной теории множеств. Успехи математических наук, т. 55, № 5, 2003, с. 3-88.
  167. Кузнецов Н.А., Любецкий В.А., Чернавский А.В. О понятии информационного взаимодействия, 2: допсихический уровень. Информационные процессы, том 3, No 2, 2003, с. 1-22.
  168. Голубцов П.В., Любецкий В.А. Информационная структура динамических игр и объем доступной игрокам информации. Логические исследования, РАН, 2003, с. 36-47.
  169. Vitreschak A.G., Rodionov D.A., Mironov A.A., Gelfand M.S. Regulation of the vitamin B(12) metabolism and transport in bacteria by a conserved RNA structural element. RNA. 2003 Sep. V. 9, No. 9, p. 1084-1097.
  170. Rodionov D.A., Vitreschak A.G., Mironov A.A., Gelfand M.S. Regulation of lysine biosynthesis and transport genes in bacteria: yet another RNA riboswitch? Nucleic Acids Research. 2003. V. 31. No. 23. P. 1-10.
  171. Rodionov D.A., Vitreschak A.G., Mironov A.A., Gelfand M.S. Comparative genomics of the vitamin B12 metabolism and regulation in prokaryotes. J. Biol. Chem. 2003 Oct 17. V. 278. No. 42. P. 41148-41159.
  172. Panina E.M., Vitreschak A.G., Mironov A.A., Gelfand M.S. Regulation of biosynthesis and transport of aromatic amino acids in low-GC Gram-positive bacteria. FEMS Microbiol Lett. 2003 May 28. V. 222. No. 2. P. 211-220.
  173. Zhang Z., Feige J.N., Chang A.B., Anderson I.J., Brodianski V.M., Vitreschak A.G., Gelfand M.S., Saier M.H.Jr. 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 Aug. V. 180. No. 2. P. 88-100.
  174. Vitreschak A.G. 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, MCCMB’03, Moscow, Russia, July 22-25, 2003. P. 233.
  175. Vitreschak A.G., Rodionov D.A., Mironov A.A., Gelfand M.S. Regulation of riboflavin biosynthesis and transport genes in bacteria by transcriptional and translational attenuation. Nucleic Acids Research. 2002. V. 30. No 14. P. 3141-3151.
  176. Rodionov D.A., Vitreschak A.G., Mironov A.A., Gelfand M.S. Comparative Genomics of Thiamin Biosynthesis in Procaryotes. New Genes and Regulatory Mechanisms. J. Biol. Chem. 2002 Dec 13. V. 277. No 50. P. 48949 - 48959.
  177. Gelfand M.S., Laikova O.N. Prolegomena to the evolution of transcriptional regulation in bacterial genomes. Functional Genomics Series, Caister AcademicPress, V. 3: Frontiers in Computational Genomics, Galperin M.Y and Koonin E.V., eds. 2003. P. 195-216.
  178. Kalinina O.V., Makeev V.Yu., Sutormin R.A., Gelfand M.S. Rare residues form the channel in transmembrane transporters. In Silico Biology. 2003. V. 3. No 1-2. P. 197-204.
  179. Kazakov A.E., Laikova O.N., Rodionov D.A., Gelfand M.S. Carbohydrate metabolism in streptococci. Proceedings of the International Moscow Conference on Computational Molecular Biology, MCCMB’03, Moscow, Russia, July 22-25, 2003. P. 101-102.
  180. Kazakov A.E., Vassieva O., Gelfand M.S., Osterman A., Overbeek R. Bioinformatics classification and analysis of PhoH homologs. In Silico Biology. 2003. V. 3. No 1-2. P. 3-15.
  181. Хольсаппель С., Гагарина Е.Ю., Полуэктова Е.У., Незаметдинова В.З., Гельфанд М.С., Прозоров А.А., Брон С. Структура мобильного генетического элемента ISBsu2 из криптической плазмиды p1516 почвенного штамма Bacillus subtilis и наличие гомологов этого элемента в хромосоме различных штаммов этой бактерии. Микробиология. 2003. Т. 72, № 1, c. 70-75.
  182. Sutormin R.A., Rakhmaninova A.B., Gelfand M.S. BATMAS30 – amino acid substitution matrix for alignment of bacterial transporters. Proteins. 2003. V.51. No 1. P. 85-95.
  183. Eskin E., Keich U., Gelfand M.S., Pevzner P.A. Genome-wide analysis of bacterial promoter regions. Pacific Symposium on Biocomputing. 2003. P. 29-40.
  184. Kriventseva E.V., Koch I., Apweiler R., Vingron M., Bork P., Gelfand M.S., Sunyaev S. Increase of functional diversity by alternative splicing. Trends in Genetics. 2003. V.19. No 3. P. 124-128.
  185. Gelfand M.S. Computational identification of regulatory sites in DNA sequences. Artificial Intelligence and Heuristic Methods in Bioinformatics, IOS Press, Frasconi P. and Shamir R., eds. 2003. P. 148-172.
  186. Nurtdinov R.N., Artamonova I.I., Mironov A.A., Gelfand M.S. Low conservation of alternative splicing patterns in the human and mouse genomes. Hum. Mol. Genet. 2003. V. 12. No 11. P. 1313-1320.
  187. Panina E.M., Mironov A.A., Gelfand M.S. Comparative genomics of bacterial zinc regulons: Enhanced ion transport, pathogenesis, and rearrangement of ribosomal proteins. PNAS. 2003. V. 100. No 17. P. 9912-9917.
  188. Gerdes S.Y., Scholle M.D., Campbell J.W., Balazsi G., Ravasz E., Daugherty M.D., Somera A.L., Kyrpides N.C., Anderson I., Gelfand M.S., Bhattacharya A., Kapatral V., D'Souza M., Baev M.V., Grechkin Y., Mseeh F., Fonstein M.Y., Overbeek R., Barabasi A.L., Oltvai Z.N., Osterman A.L. Experimental determination and system-level analysis of essential genes in E. coli MG1655. J. Bacteriol. 2003. V. 185. No 19. P. 5673-5684.
  189. Gelfand M.S., Nurtdinov R.N., Kriventseva E.V., Artamonova I.I., Ramensky V.E., Mironov A.A., Sunyaev S.R. Evolutionary and functional role of alternative splicing. 1st Int. Con. «Functional Genomics and Disease», Prague, May 2003, poster PT4/181.
  190. Gelfand M.S. Comparative genomics of regulatory interactions in prokaryotes. Proceedings of the International Moscow Conference on Computational Molecular Biology, MCCMB’03, Moscow, Russia, July 22-25, 2003. P. 75-77.
  191. Gelfand M.S. Riboswitches: possibly the oldest regulatory system. 4th Int. Georgia Tech. Conf. on Bioinformatics, November 2003, Atlanta, USA, P. 19.
  192. Spirin V., Gelfand M.S., Mirny L.A. Computational analysis of metaboliс modules and pathways in the E. coli metabolic network. 4th Int. Georgia Tech. Conf. on Bioinformatics, November 2003, Atlanta, USA, p. 109.
  193. Голубцов П.В., Сизарев Д.В., Старикова О.В. Синтез оптимальных инвариантных систем формирования изображений на плоскости. Вестник Московского Университета, Сер. 3 "Физика и астрономия". 2003. № 2. c. 3-6.
  194. Golubtsov P.V. Monoidal Kleisli Category Structure of Classes of Information Transformers. Ukr. J. Phys. 2003. V. 48. No. 4. 9 pages.
  195. Golubtsov P.V. Information Transformers: Category-Theoretical Structure, Informativeness, Decision-Making Problems. Hadronic Journal, V. 26, 2003, 36 pages.
  196. Chagrov A.V., Rybakov M.N. Least number of variables for PSPACE-hardness of provability problem in systems of modal logic. Advances in Modal Logic: 30 Septembre -- 2 Octobre 2002. Institut de recherche en informatique de Toulouse, Universit\'e Paul Sabatier, Toulouse, France, 2002, p. 178-188.
  197. Чагров А.В., Чагрова Л.А. О семантике Крипке со взрывающимися мирами для базисной логики. Смирновские чтения. 4 международная конференция. М.: ИФ РАН, 2003. c. 53-54.
  198. Чагров А.В. О расширениях «суперинтуиционистской» логики доказуемости формулами от одной переменной. Смирновские чтения. 4 международная конференция. М.: ИФ РАН, 2003. c. 51-53.
  199. Рыбаков М.Н., Чагров А.В. О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных. Тезисы докладов Международной конференции «Колмогоров и современная математика», Москва, 16-21 июня 2003. М., МГУ, 2003. С. 707-708.
  200. Chagrov A.V., Rybakov M.N. How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics. Advances in Modal Logic, V. 4. London, King's College Publications, 2003. P. 71-82.
  201. Kanovei V.G., Reeken M. Borel and countably determined reducibility in nonstandard domain. Monatshefte fuer Mathematik. 2003. V. 140. No. 3. P. 197-231; Mathematika. 2002. V. 47. P. 219-227.
  202. Кановей В.Г., Реекен М. Некоторые новые результаты о борелевской несводимости отношений эквивалентности. Известия РАН, сер. матем. 2003. Т. 67. № 1. С. 59-82.
  203. Kanovei V.G., Reeken M. A theorem on ROD-hypersmooth equivalence relations in the Solovay model. Math. Logic Quarterly. 2003. V. 49. No 3. P. 299-304.
  204. Kanovei V.G., Duran B., Uspensky V.A., Vereschagin N.K. Do stronger definitions of randomness exist? Theoretical Computer Science. 2003. V. 290. No 3. P. 1987-1996.
  205. Kanovei V.G. On ROD-hyperfinite equivalence relations. Logic Colloquium 2003, Helsinki, Finland, August 14-20, 2003. Abstracts.
  206. Вьюгин В.В. Вариационные задачи для аддитивных функций потерь и колмогоровской сложности. Доклады академии наук. 2003. Т. 390. № 5. С. 595-598.
  207. Вьюгин В.В. Проблемы устойчивости универсальных схем сжатия информации. Проблемы передачи информации. 2003. Т. 39. № 1. С. 36-52.
  208. Вьюгин В.В., Маслов В.П. Об экстремальных соотношениях для колмогоровской сложности и аддитивных функций потерь. Проблемы передачи информации. 2003. Т. 39. № 4. С. 71-87.
  209. Nuretdinov I., V'yugin V.V., Gammerman A. Transductive Confidence Machine is Universal. Lecture Notes in Computer Science, Algorithmic Learning Theory, 2842, Springer, Heidelberg, 2003. P. 283-297.
  210. Верещагин Н.К., Скворцов Д.П., Скворцова Е.З., Чернов А.В. Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего. Математическая логика и алгебра. Сборник статей под редакцией Адяна С.И. К 100-летию со дня рождения акад. П.С. Новикова. Труды МИАН. 2003. Т. 242. С. 77-97.
  211. Mitina O., Vereshchagin N. How to use several noisy channels with unknown error probabilities. Information and Computation. 2003. V. 182. P. 229-241.
  212. Makarychev K., Makarychev Yu., Romashchenko A., Vereshchagin N. A New class of non Shannon type inequalities for entropies. Communications in Information and Systems. December 2002. V. 2. No 2. P. 147-166.
  213. Горбунов К.Ю. Одно обобщение теоремы Гильберта о базисе. Математические заметки. 2003. Т. 74. № 4. С. 508-516.

    2004

    1999 2000 2001 2002 2003 2004 2005 2006

  214. Кузнецов Н.А., Любецкий В.А., Чернавский А.В. О понятии информационного взаимодействия, 3: речевой интеллект. Информационные процессы, том 4, No 2, 2004, с. 127-132.
  215. Vitreschak A.G., Lyubetskaya E.V., Shirshin M.A., Gelfand M.S., Lyubetsky V.A. Attenuation regulation of amino acid biosynthetic operons in proteobacteria: comparative genomics analysis. FEMS Microbiol Lett. 2004 May 15; 234(2), p. 357-370.
  216. Leontiev L.A., Shirsin M.A., Lyubetsky V.A. Detection of classical attenuation in bacterial genomes. Proceedings of the fourth international conference on bioinformatics of genome regulation and structure, volume 1, BGRS’2004, Novosibirsk, July 25-30, 2004, p. 116-118.
  217. Lyubetsky V.A., Seliverstov A.V. Amino acid biosynthesis attenuation in bacteria. Proceedings of the fourth international conference on bioinformatics of genome regulation and structure, volume 1, BGRS’2004, Novosibirsk, July 25-30, 2004, p. 307-310.
  218. Gorbunov K.Yu., Lyubetsky V.A. A model of tryptophan biosynthesis regulation. Proceedings of the fourth international conference on bioinformatics of genome regulation and structure, volume 2, BGRS’2004, Novosibirsk, July 25-30, 2004, p. 53-55.
  219. Lyubetsky V.A., V’yugin V.V. Measuring the dissimilarity between gene and species trees, the quality of a COG. Proceedings of the fourth international conference on bioinformatics of genome regulation and structure, volume 2, BGRS’2004, Novosibirsk, July 25-30, 2004, p. 281-284.
  220. К.Ю. Горбунов, В.А. Любецкий. Модель регуляции биосинтеза. Труды 6 международной конференции «Проблемы управления и моделирования в сложных системах», 14-17 июня 2004, РАН, с. 151-153
  221. В.А. Любецкий, А.В. Селиверстов. Геометрический метод поиска клики в графе и его применение для выделения сигнала. Труды 6 международной конференции «Проблемы управления и моделирования в сложных системах», 14-17 июня 2004, РАН, с. 154-157.
  222. Е.В. Любецкая, Л.А. Леонтьев, М.А. Ширшин, В.А. Любецкий. Алгоритм поиска сигнала со сложной структурой. Труды 6 международной конференции «Проблемы управления и моделирования в сложных системах», 14-17 июня 2004, РАН, с. 158-162.
  223. Н.А. Кузнецов, М.С. Гельфанд, В.А. Любецкий. Биоинформатика бактерий – основные задачи и характер моделей. Труды 6 международной конференции «Проблемы управления и моделирования в сложных системах», 14-17 июня 2004, РАН, с. 5-11.
  224. В.А. Любецкий. Основные понятия элементарной математики. Рекомендовано в качестве учебного пособия для университетов и пединститутов Айрис-пресс, 625 страниц.
  225. В.А. Любецкий, А.В. Селиверстов. Многодольные графы с двумя вершинами в каждой доле. Информационные процессы, 2004, том 4, No 2, стр. 127-132.
  226. Кановей В.Г., Любецкий В.А. О множестве всех конструктивных по Геделю вещественных чисел. Труды Математического института РАН им. Стеклова, том 247, 2004 (декабрь), с. 95-128.
  227. V.A. Lyubetsky, A.V. Seliverstov. Note on Cliques and Alignments. Информационные процессы, 2004, том 4, No 3, с. 241-246.
  228. А.В. Селиверстов, В.А. Любецкий. Особенности синтеза цистеина у Corynebacterium, Mycobacterium и Propionibacterium. Информационные процессы, 2004, том 4, No 3, с. 247-250.
  229. Кановей В.Г., Любецкий В.А. О совершенных подмножествах инвариантных СА-множеств. Математические заметки РАН, 2005, 77, 3, с. 334-338.
  230. Gorbunov K.Yu., Lyubetsky V.A. New approach for detecting common secondary structures in a set of RNA sequences. Biophysics (Moscow), vol. 48, Suppl. 1 (2003), 2004, p. 56-67.
  231. Lyubetsky V.A., Vyugin V.V. Complex phylogenetic analysis of the evolutionary history for some prokaryotes family. Biophysics (Moscow), vol. 48, Suppl. 1 (2003), 2004, p. 97–106.
  232. Lyubetsky V.A., Gorbunov K.Yu., V’yugin V.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 (устное сообщение).
  233. Чагров А.В. Финитарное семантическое следование для базисной и формальной логик А.Виссера: алгоритмический аспект. Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции. Спб, 2004. С. 542-543.
  234. Чагров А.В. Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А. Виссера. Логические исследования. Вып. 11. М., Наука, 2004. С. 282-289.
  235. Чагров А.В., Чагрова Л.А. Алгоритмическая проблема модальной определимости формул первого порядка с ограничениями на число переменных в модальных пропозициональных формулах. Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции. Спб, 2004. С. 544-546.
  236. Чагров А.В., Чагрова Л.А. Об алгоритмической проблеме пропозициональной определимости формул первого порядка в семантике формальной логики А.Виссера. Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVII. – М., 2004. С. 94-102.
  237. Golubtsov P.V. Information Transformers: Category-Theoretical Structure, Informativeness, Decision-Making Problems. In “Proceedings of the XIVth International Hutsulian Workshop on Mathematical Theories and their Applications in Physics & Technology” S. Moskaliuk Ed., TIMPANI. 2004. P. 9-58.
  238. Grishicheva J.V., Seliverstov A.V. A Note on Cliques in Multipartite Graphs. ArXiV e-print, math.CO/0404125. http://ru.arxiv.org/pdf/math.CO/0404125.
  239. Kanovei V.G., Reeken M. Nonstandard Analysis: Axiomatically. Springer Monographs in Mathematics, 2004, XVI+408 p.
  240. Kanovei V.G., Reeken M. Borel irreducibility between two large families of Borel equivalence relations. Logic Colloquium 99 (Lecture Notes in Logic, 17), ASL. 2004. P. 100-110.
  241. Kanovei V.G., Shelah S. A definable nonstandard model of the reals. J. Symbolic Logic. 2004. V. 69. No. 1. P. 159-164.
  242. McKelvey R., Miller K. and Golubtsov P. Fish Wars Revisited: A Stochastic Incomplete-Information Harvesting Game. In: Risk and Uncertainty in Environmental and Natural Resource Economics. Edited by Justus Wesseler, Hans-Peter Weikard, and Robert D. Weaver. Edward Elgar, Cheltenham, UK. 2004. P. 93-112.
  243. Rodionov D.A., Vitreschak A.G., Mironov A.A., Gelfand M.S. Comparative genomics of the regulation of methionine metabolism in Gram-positive bacteria. Nucleic Acids Res. 2004. V. 32. No. 11. P. 3340-3353.
  244. Kanovei V.G., Reeken M., Shelah S. Fully saturated extensions of standard universe. Logic, Algebra and Geometry, June 1--7, 2004, Abstracts, RAS EIMI, SPb, 2004, P. 16-17.
  245. Kanovei V.G., Reeken M., Shelah S. Fully saturated extensions of standard universe. Models of Arithmetic and Analysis, International Congress, Pisa, June 25-26, 2004, Program and abstracts, Pisa, Italy, 2004. P. 1.
  246. Kanovei V.G., Reeken M., Shelah S. Fully saturated extensions of standard universe. Timetable and abstracts, Logic Colloquium 2004. Torino, Italy, 2004. P. 117.
  247. Kanovei V.G. On problems on the structure of final relations and gaps in earlier Hausdorff's papers. Eighth Luminy Set Theory Workshop, Luminy, France, September 20-24, 2004.
  248. McKelvey R., Golubtsov P. and Cripe G. The Incomplete-Information Stochastic Split-Stream Model:  An Overview. In "Conference on Fisheries Economics and Management in Honour of Professor Gordon R Munro. Univ. of British Columbia, August 5-6. 2004.
  249. McKelvey R., Golubtsov P.V., Miller K., and Cripe G. Bi-National Management of a Transboundary Marine Fishery: Modeling the Destabilizing Impacts of Erratic Climatic Shifts. The SPACC Workshop, University of Portsmouth, UK, 13-15 September. 2004.
  250. Rusin L. Circumventing limitations of parsimony heuristic search: screening the equal tree space under minimum homoplasy requirement. Proceedings of The Annual New Zealand Phylogenetics Meeting 2004, February 15-20, 2004, Mt Ruapehu, New Zealand. P. 9.
  251. Rusin L. Inferring large animal phylogeny: a multiple gene phylogenetic analysis of minor phyla. Presentation abstracts of the EMBO World Phylogenetic Course 2004. November 1-7, 2004, Rio de Janeiro, Brazil.
  252. Vitreschak, A., Noe L., Kucherov G. Computer analysis of multiple repeats in bacteria. Proceedings of the fourth International Conference on Bionnformatics of Genome Regulation and Structure, BGRS’2004, Novosibirsk, Russia, July 25-30, 2004, V. 2. P. 297-299.

    2005

    1999 2000 2001 2002 2003 2004 2005 2006

  253. V. Kanovei, V. Lyubetsky. 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, p. 83.
  254. Горбунов К.Ю., Любецкий В.А. Поиск предковых генов, нарушающих согласованность деревьев белков и видов. Молекулярная биология, 2005, 39, № 5, с. 847-858.
  255. V. Lyubetsky, K. Gorbunov, L. Rusin, V. V'yugin, Algorithms to reconstruct evolutionary events at molecular level and infer species phylogeny. An article in the book: Bioinformatics of Genome Regulation and Structure II. (Eds. N. Kolchanov and R. Hofestaedt) Springer Science & Business Media, Inc. 2005, p. 189-204.
  256. A.V. Seliverstov, H. Putzer, M.S. Gelfand, V.A. Lyubetsky, Comparative analysis of RNA regulatory elements of amino acid metabolism genes in Actinobacteria. BMC Microbiology 2005, 5:54 (http://www.biomedcentral.com/1471-2180/5/54).
  257. Любецкий В.А., Селиверстов А.В. Регуляция экспрессии генов биосинтеза аминокислот и аминоацил-тРНК синтетаз у Актинобактерий. Молекулярная биология, 2005, 39, № 6, c. 1072-1075.
  258. Л.А. Леонтьев, В.А. Любецкий, А.В. Селиверстов, Алгоритм массового поиска опосредованной Т-боксом транскрипционной регуляции у бактерий. Молекулярная биология, 2005, 39, № 6, c. 1076-1078.
  259. Любецкий В.А., Горбунов К.Ю., Пирогов С.А., Рубанов Л.И., Селиверстов А.В. Алгоритм и результаты тестирования для модели регуляции экспрессии генов у бактерий на основе формирования вторичных структур РНК, Информационные процессы, 2005, 5, № 5, с. 337-366.
  260. Любецкий В.А., Горбунов К.Ю., Вьюгин В.В., Русин Л.Ю. Удаление шума в множественном выравнивании аминокислотных последовательностей, Информационные процессы, 2005, 5, №5 с. 380-391.
  261. В.А. Любецкий, А.В. Селиверстов, Поиск консервативных участков в лидерных областях генов в случае известного дерева видов, Информационные процессы, 2005, 5, № 4, с. 265-270.
  262. А.В. Селиверстов, В.А. Любецкий, Регуляция трансляции в хлоропластах, Информационные процессы, 2005, 5, № 5, с. 400-404.
  263. V.A. Lyubetsky, S.A. Pirogov. A model for bacterial gene expression regulation with secondary RNA structures, МССМВ05, 2005, p. 214-216.
  264. A.V. Seliverstov, V.A. Lyubetsky. RNA regulatory structures in Actinobacteria and Cyanobacteri, МССМВ05, 2005, p. 351-353.
  265. K.Yu. Gorbunov, V.A. Lyubetsky. Algorithms to reconstruct ancestral gene evolution events, МССМВ05, 2005, p. 128-129.
  266. L.Yu. Rusin, V.V. V'yugin, V.A. Lyubetsky. Enhancing phylogenetic inference: concentration of the signal in sequence data, МССМВ05, 2005, p. 342-346.
  267. V.A. Lyubetsky, V.V. V'yugin A model for evolutionary event reconstruction, МССМВ05, 2005, p. 217-219.
  268. L.A. Leontiev, A.V. Seliverstov, V.A. Lyubetsky. An algorithm for mass searching of T-box structures in bacteria, МССМВ05, 2005, p. 202-206.
  269. Любецкий В.А., Пирогов С.А. Модель аттенюаторной регуляции у бактерий, Труды конференции РАН "Проблемы управления и моделирования в сложных системах, VII Международная конференция", 2005, Самара, с. 205-209.
  270. Пирогов С.А., Горбунов К.Ю., Любецкий В.А. Макро- и микросостояния в модели аттенюаторной регуляции экспрессии генов у бактерий, Труды конференции РАН "Проблемы управления и моделирования в сложных системах, VII Международная конференция", 2005, Самара, с. 210-215.
  271. Любецкий В.А., Селиверстов А.В. Регуляция трансляции у Актинобактерий и Цианобактерий с участием вторичных структур мРНК, Труды конференции РАН "Проблемы управления и моделирования в сложных системах, VII Международная конференция", 2005, Самара, с. 216-221.
  272. Леонтьев Л.А., Селиверстов А.В., Любецкий В.А. Регуляция транскрипции с участием Т-боксов, Труды конференции РАН "Проблемы управления и моделирования в сложных системах, VII Международная конференция", 2005, Самара, с. 222-224.
  273. Любецкий В.А. Математические модели эволюции и регуляции экспрессии генов, Труды конференции РАН «Математические методы распознавания образов», 2005, Москва, с. 366-368.

    2006

    1999 2000 2001 2002 2003 2004 2005 2006

  274. Леонтьев Л.А., Любецкий В.А. Массовый поиск консервативных регуляторных структур, содержащих Т-боксы: результаты счета. Информационные процессы, 2006 (в печати).
  275. Леонтьев Л.А., Любецкий В.А. Алгоритм определения белка, согласованного с заданным филогенетическим профилем. Информационные процессы, 2006 (в печати).
  276. Селиверстов А.В., Любецкий В.А. Алгоритм поиска консервативных участков в нуклеотидных последовательностях. Информационные процессы, 2006 (в печати).
  277. Любецкий В.А., Рубанов Л.И., Селиверстов А.В., Пирогов С.А. Модель регуляции экспрессии генов у бактерий на основе формирования вторичных структур РНК, Молекулярная биология, 2006, № 3 (в печати).
  278. Кановей В.Г., Любецкий В.А. Конфинальное семейство отношений эквивалентности, полных в своих борелевских классах. Труды Математического института РАН им. Стеклова, 2006, том 252 (в печати).
  279. Кановей В.Г., Любецкий В.А. Проблемы теоретико-множественного нестандартного анализа, Успехи математических наук, 2006 (в приготовлении).
  280. Кановей В.Г., Любецкий В.А., Реекен М. О сводимости монадических отношений эквивалентности, Математические заметки, 2006 (в приготовлении).
  281. Кановей В.Г., Любецкий В.А. Современная теория множеств: дескриптивная динамика. "Наука" (в приготовлении).
  282. A.V. Seliverstov, V.A. Lyubetsky, Translation regulation of intron containing genes in chloroplasts, Journal of Bioinformatics and Computational Biology, 2006 (in press).
  283. Любецкий В.А., Пирогов С.А. Нестандартные представления локально компактных групп. Математические заметки, 2006 (в приготовлении).
  284. Голубцов П.В., Любецкий В.А. Моделирование результатов стохастических игр в зависимости от различных типов и объема доступной игрокам информации, Проблемы передачи информации (в приготовлении).

1999 2000 2001 2002 2003 2004 2005 2006