Head of the Sector – D.Sc. (Math.), Prof. Vassily Lyubetsky
Tel. (095) 299-83-54, (095) 413-46-43; E-mail: lyubetsk@iitp.ru
The leading researchers of the laboratory include:
|
Dr.Sc. (Math.) |
A. Chagrov |
Dr.Sc. (Math.) |
N. Vereshchagin |
|
Dr.Sc. (Biol.) |
M. Gelfand |
Dr.Sc. (Math.) |
V. V'yugin |
|
Dr.Sc. (Math.) |
P. Golubtsov |
Dr. (Math.) |
K. Gorbunov |
|
Dr.Sc. (Math.) |
V. Kanovey |
Dr. (Math.) |
A. Vitreschak |
Directions of activity:
· Construction of algorithms of reasonable complexity (low degree polynomial) for analysis of regulation on the levels of transcription and translation: search for regulatory signals (protein-DNA and secondary RNA structure) in genomic sequences. Construction of algorithms of reasonable complexity (low degree polynomial) for reconciliation and analysis of protein phylogenetic trees: construction of species trees, estimation of the quality of complexes of orthologous groups of genes and reconstruction of evolutionary events on molecular level (in particular, search of genes involved in the process of horizontal transfer). Analysis of complex interacting systems in a cell on this basis.
· Investigation of the influence of information quality on the accuracy of decision: construction of dependence for the result of complex dynamical interaction of partners, processes, "prayers" (in stochastic dynamical discrete time games) on the structure and the amount of the information available prayers (at each step of a game).
· Development of the concept of information interaction and effective description of objects based on combining the theories: descriptive set theory, model completeness, modal logic, categories of information transformers, algorithmic complexity and randomness.
Enhancements of algorithms for mass identification of: attenuators, conserved RNA secondary structures, identification of genes subject to horizontal transfer; as for construction of species phylogenetic trees.
Identification of candidate attenuators of branched amino acids, histidine, threonin, tryptophan, phenylalanine operons in diverse taxonomic groups of bacteria.
Description of evolutionary dynamics of regulation by transcriptional attenuation.
New functional assignment, in particular, branched chain amino acid racemase, histidine transporters.
Analysis of evolution of riboswitches. Identification of an activating riboswitch (regulating lysine catabolism).
Analysis of alternative splicing in human and mouse genomes demonstrated that at least 50% of alternatively spliced genes (25% of all genes) have genome-specific isoforms. Alternative splicing tends to shuffle protein domains and to target functional sites in proteins.
Complete metabolic reconstruction of cobalamin, lysine, aromatic amino acids pathways. Reconstruction of the zinc utilization pathway. Identification of new enzymes (lysine and cobalamin pathways), transporters (tryptophan, lysine, zinc, cobalt, cobalamin and its precursors), and zinc-dependent pathogenicity factors (in streptococci).
Model of regulation of tryptophan biosynthesis by transctiptional repression and attenuation.
Identification of regulatory B12-element (a riboswitch) in various bacteria, and new members of the cobalamin regulon: cobalt transporters, cobalamin reductases, methionine synthases, ribonucleotide reductases.
Analysis of the LYS-element riboswitch and the lysine regulon. Identification of new lysine transporters and biosynthetic pathways,
Analysis of regulatory systems of aromatic amino acids pathways in Gram-positive bacteria, identification of binding signals for a new potential transcription factor, new tryptophan ransporters. Study of evolutionary dynamics of the regulation demonstrating the presence of at least four regulatory systems: RNA-level (TRAP and T-boxes) and DNA-level (unknown transcription factors).
Investigation optimal strategies (i.e. strategies that form Nash Equilibrium point) for games in stochastic dynamical discrete time systems has been continued. Special attention was given to the influence of the players' knowledge level and to the influence of external (e.g., economic) conditions on the outcome of a game. In particular the cases of incomplete or even, asymmetric information about the system were investigated. It was shown that additional information and favorable external conditions can have a negative impact on the game results. Developed methods are implemented in computer algorithms. The problems of existence and uniqueness of Nash Equilibrium strategies have been studied by means of computer experiments.
The general properties of categories of information transformers (ITs) were investigated as a monoidal category of a special kind. Special attention was paid to the categories of ITs that can be constructed as monoidal Kleisly categories. The key concept in construction of such categories is a functor T that takes an object A to an object TA of "distributions on A" and a natural transformation which assigns an "independent joint distribution" to a pair of "distributions". Necessary and sufficient conditions for a derived Kleisly category to satisfy the axioms for a monoidal category of ITs were obtained.
Formalization of a game with incomplete information in terms of categories of information transformers was proposed. The concepts of informativeness and semantical informativeness were extended from the class of information transformers to the class of games. It was shown, that in game theoretic context the correspondence between informativeness and semantical informativeness has much more complicated nature than in the context of information transformers in decision making problems. In particular the use of more informative ITs in a game can lead to the decrease of players' payoffs, i.e., to the lower semantical informativeness.
The completeness problem of extensions of Visser's basic and formal logics is studied. It has been shown that, for some natural definition of the notion “extension” (for example, by the request of closure under the rule modus ponens), all the extensions of Visser's formal (but not basic) logic are of infinite slice, and there exists a continuum of such logics which are of width 2, and are axiomatized by one-variable axioms. These facts contrast with the well-known situation in modal and superintuitionistic logics.
It has been proved that the problem of finitary semantic consequence (that is, "is it true that the formula y is valid in all finite semantical structures from the class C in which the formula j is valid") is decidable for the class of frames with functional (deterministic) relation of accessibility.
It has been proved that the problem of finitary semantic consequence is undecidable for the class of frames of Visser's formal logic and for the class of generalized frames of Visser's formal logic, moreover these relations are different.
It has been proved for any natural number n, that the set of first-order formulas which are modally definable by formulas of n variables, but are not modally definable by formulas of n-1 variables, is undecidable.
It has been proved some modification of Kripke semantics of predicate variant of Visser's basic and formal logics by the introducing of so called "exploded" worlds i.e. worlds in which all formulas are true, including “false”.
In the area of descriptive set theory the theorem on perfect subsets of invariant CA-sets was obtained. This theorem generalizes results previously known for a more narrow class of sets. The results for hyperfinite and hypersmooth equivalence relations in the Solovay’s model have been proved. The positive solution for the problem of existence of definable nonstandard models has been obtained.
Results on non-robustness of the universal compressing schemes were obtained: non-robustness property was considered under small violations of source ergodicity.
Extreme relations between Kolmogorov complexity and additive loss functions were studied. A new notion of algorithmic random object with respect to a finite partition of the given set of finite objects is introduced.
It is proved that any finite set A of pairs can be divided into poly(log |A|) parts, so that, all horizontal sections of each part differ from each other at most by poly(log |A|) times; and the same statement is true for vertical sections (also for any dimension). This statement is used in combinatorial interpretation of inequalities for Shannon entropy.
There were continued investigations in the field, connected with the reduction of arbitrary test for randomness to frequency test. It is proved that for all sufficiently large L and for any set S of (0/1)-sequences of length L with non-null specific defect d there exists a set R consisting of poly(1/ d) monotone rules of choice with the following property. For any element from the set S there is a rule from R choosing from this element a subsequence of length at most cLd (c is a constant) with deviation of fraction of 1s from ½ not more than square root of cd. Specific defect of these rules is at most cd4/3.
The members took part as invited speakers at the conferences and schools:
– 1st Int. Con. “Functional Genomics and Disease, Prague, May 2003.
– Int. Moscow Conference on Computational Molecular Biology MCCMB’03, Moscow, Russia, July 22-25, 2003.
– 4th Int. Georgia Tech. Conf. on Bioinformatics, Atlanta, USA, November 2003
– International Conference: Kolmogorov and modern mathematics, Moscow, June 16-21, 2003.
– Logic Colloquium 2003, Helsinki, Finland, August 14-20.
– Fourth International Conference «Smirnov Lecturings», May 28-30, 2003.
– Dagstuhl centennial Seminar on Kolmogorov Complexity and Applications (at the occasion of the 100th anniversary of Andrei N. Kolmogorov's birthday), Dagstuhl, June 28 – May 2, 2003.
– International Conference «Algorithmic Learning Theory», Sapporo, Japan 2003.
– 11th Annual IEEE Conference on Computational Complexity, Danish, Orhus, July 7-10, 2003.
– Fifth International Conference «Problems of control and modelling in the complex systems», Samara, June 17-22, 2003.
International cooperation: Technische Universitaet Muenchen (Germany), Ludwig Institute of Cancer Research (New York, USA), AstraZeneca (New York, USA), Burnham Institute (San Diego, USA), University of California (San Diego, USA), Harvard Med. School (Boston, USA), Boston University (USA), ICGEB (The International Centre for Genetic Engineering and Biotechnology (Triest, Italy), Institute National De Recherche en Informatique et En Automatique (France), Institute de recherche en informatique de Toulouse, (France), The University of Vuppertal (Germany), CWI (Amsterdam, Netherlands), The Provance University (Marselle, France), The University Paris-7 (France).
GRANTS FROM:
· Ministry of Industry, Science and Technologies of Russian Federation (No 37.053.11.0061): "Models and algorithms of information interaction in genetics, linguistics and color vision" (inter-laboratories theme).
PUBLICATIONS IN 2003
Articles
1. Верещагин Н.К., Скворцов Д.П., Скворцова Е.З., Чернов А.В. Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего // Математическая логика и алгебра. Сборник статей под редакцией Адяна С.И. К 100-летию со дня рождения акад. П. С. Новикова. Труды МИАН. 2003. Т. 242. С. 77-97.
2. Вьюгин В.В. Вариационные задачи для аддитивных функций потерь и колмогоровской сложности // Доклады Академии наук. 2003. Т. 390. № 5. С. 595-598.
3. Вьюгин В.В. Проблемы устойчивости универсальных схем сжатия информации // Проблемы передачи информации. 2003. Т. 39. № 1. С. 36-52.
4. Вьюгин В.В., Гельфанд М.С., Любецкий В.А. Идентификация горизонтально перенесенных генов на основе филогенетических данных // Молекулярная биология. 2003. Т. 37. № 4. С. 674-687.
5. Вьюгин В.В., Маслов В.П. Об экстремальных соотношениях для колмогоровской сложности и аддитивных функций потерь // Проблемы передачи информации. 2003. Т. 39. № 4. С. 71-87.
6. Гельфанд М.С., Любецкий В.А. ДНК: от молекулы до генома, от биохимических озарений к алгоритмическому анализу // Вестник РАН. 2003. № 11. С. 963-970.
7. Голубцов П.В., Любецкий В.А. Информационная структура динамических игр и объем доступной игрокам информации // Логические исследования, РАН, 2003. С. 36-47.
8. Голубцов П.В., Любецкий В.А. Результат информационного процесса зависит от характера и объёма доступной его участникам информации // Проблемы управления и моделирования в сложных системах. Труды V Международной конференции (г. Самара, 17-22 июня 2003 г.). С. 445-453.
9. Голубцов П.В., Любецкий В.А. Стохастические динамические игры с информацией различного типа // Проблемы передачи информации. 2003. Т. 39. № 4. С. 40-71.
10. Голубцов П.В., Сизарев Д.В., Старикова О.В. Синтез оптимальных инвариантных систем формирования изображений на плоскости // Вестник Московского Университета, Сер. 3 "Физика и астрономия". 2003. № 2. С. 3-6.
11. Горбунов К.Ю. Одно обобщение теоремы Гильберта о базисе // Математические заметки. 2003. Т. 74. № 4. С. 508-516.
12. Горбунов К.Ю., Миронов А.А., Любецкий В.А. Поиск консервативных вторичных структур РНК. // Молекулярная биология. 2003. Т. 37. № 5. С. 850-860.
13. Данилова Л.В., Гельфанд М.С., Любецкий В.А., Лайкова О.Н. Компьютерный анализ регуляции метаболизма глицерол-3-фосфата в геномах протеобактерий // Молекулярная биология. 2003. Т. 37. № 5. С. 843-849.
14. Кановей В.Г., Любецкий В.А. О некоторых классических проблемах дескриптивной теории множеств // Успехи математических наук. 2003. Т. 58. № 5. С. 3-88.
15. Кановей В.Г., Реекен М. Некоторые новые результаты о борелевской несводимости отношений эквивалентности // Известия РАН, сер. матем. 2003. Т. 67. № 1. С. 59-82.
16. Кузнецов Н.А., Любецкий В.А., Чернавский А.В. О понятии информационного взаимодействия, 1: допсихический уровень // Электронный научный журнал "Информационные процессы". 2003. Т. 3. № 1. С. 1-22. (http://www.jip.ru).
17. Кузнецов Н.А., Любецкий В.А., Чернавский А.В. О понятии информационного взаимодействия, 2: допсихический уровень // Электронный научный журнал "Информационные процессы". 2003. Т. 3. № 2. С. 154-172. (http://www.jip.ru).
18. Любецкая Е.В., Леонтьев Л.А., Гельфанд М.С., Любецкий В.А. Поиск альтернативных вторичных структур РНК, регулирующих экспрессию бактериальных генов // Молекулярная биология. 2003. Т. 37. № 5. С. 834-842.
19. Любецкая Е.В., Леонтьев Л.А., Любецкий В.А. Поиск альтернативных вторичных структур в классе гамма-протеобактерий // Электронный научный журнал "Информационные процессы". 2003. Т. 3. № 1. С. 23-38 (http://www.jip.ru).
20. Любецкий В.А., Горбунов К.Ю. Поиск консервативных вторичных структур РНК // Электронный научный журнал "Информационные процессы". 2003. Т. 3. № 1. С. 47-60 (http://www.jip.ru).
21. Любецкий В.А., Селиверстов А.В. Некоторые алгоритмы, связанные с конечными группами // Электронный научный журнал "Информационные процессы". 2003. Т. 3. № 1. С. 39-46. (http://www.jip.ru).
22. Хольсаппель С., Гагарина Е.Ю., Полуэктова Е.У., Незаметдинова В.З., Гельфанд М.С., Прозоров А.А., Брон С. Структура мобильного генетического элемента ISBsu2 из криптической плазмиды p1516 почвенного штамма Bacillus subtilis и наличие гомологов этого элемента в хромосоме различных штаммов этой бактерии // Микробиология. 2003. Т. 72. № 1. С. 70-75.
23. 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.
24. 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.
25. Danilova L.V., Lyubetsky V.A., Gelfand M.S. An algorithm for identification of regulatory signals in unaligned DNA sequences, its testing and parallel implementation // Silico Biology (An International Journal on Computational Molecular Biology). 2003. V. 3. No. 1-2. P. 33-47. (The computer version http://www.bioinfo.de/isb/2003/03/0004).
26. 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.
27. 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.
28. Gelfand M.S., Laikova O.N. Prolegomena to the evolution of transcriptional regulation in bacterial genomes // Functional Genomics Series, Caister Academic Press, V. 3: Frontiers in Computational Genomics, Galperin M.Y and Koonin E.V., eds. 2003. P. 195-216.
29. 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.
30. Golubtsov P.V. Information Transformers: Category-Theoretical Structure, Informativeness, Decision-Making Problems // Hadronic Journal. 2003. V. 26. 36 p.
31. Golubtsov P.V. Monoidal Kleisli Category Structure of Classes of Information Transformers // Ukr. J. Phys. 2003. V. 48. No. 4. 9 p.
32. Kalinina O.V., Makeev V.Yu., Sutormin R.A., Gelfand M.S. Rare residues form the channel in transmembrane transporters // Silico Biology. 2003. V. 3. No. 1-2. P. 197-204.
33. 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.
34. 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.
35. 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.
36. Kazakov A.E., Vassieva O., Gelfand M.S., Osterman A., Overbeek R. Bioinformatics classification and analysis of PhoH homologs // Silico Biology. 2003. V. 3. No. 1-2. P. 3-15.
37. 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.
38. Lyubetsky V.A., V'yugin V.V. Method of Horizontal Gene Transfer Determination Using Phylogenetic Data // In Silico Biology (An International Journal on Computational Molecular Biology). 2003. V. 3. P. 17-31 (The computer version http://www.bioinfo.de/isb/2003/03/0003).
39. 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.
40. Mitina O., Vereshchagin N. How to use several noisy channels with unknown error probabilities // Information and Computation. 2003. V. 182. P. 229-241.
41. 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.
42. 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.
43. 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.
44. 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.
45. 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.
46. 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.
47. 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.
48. 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.
49. 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.
50. 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.
51. 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.
1. Кановей В.Г., Любецкий В.А. О множестве всех конструктивных по Геделю вещественных чисел // Труды Математического института РАН. 2004. 37 с.
2. Кановей В.Г., Любецкий В.А. О совершенных подмножествах инвариантных СА-множеств // Математические заметки. 2004. 5 с.
3. Gorbunov K.Yu., Lyubetsky V.A. New approach for detecting common secondary structures in a set of RNA sequences // Biophysics. 2004. 18 p.
4. Kanovei V.G., Shelah S. A definable nonstandard model of the reals // Journal of Symbolic Logic. 2004. V. 69. 5 с.
5. Lyubetskaya E.V., Vitreshak A.G., Gelfand M.S., Lyubetsky V.A. Mass attenuation regulation detection for proteo and Gram-positive bacteria // FEMS Microbiol. Letters. 2004. 30 p.
6. Lyubetsky V.A., Vyugin V.V. Complex phylogenetic analysis of the evolutionary history for some prokaryotes family // Biophysics. 2004. 17 p.
1. Горбунов К.Ю., Любецкий В.А. Detecting common secondary structures in a set of RNA sequences and its testing // Proceedings of the International Moscow Conference on Computational Molecular Biology, MCCMB’03, Moscow, Russia, July 22-25, 2003. P. 83-85.
2. Кановей В.Г., Любецкий В.А. Классические проблемы дескриптивной теории множеств // Труды 4-й международной Смирновской конференции. РАН, Москва, 2003. C. 32-34.
3. Рыбаков М.Н., Чагров А.В. О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных // Тезисы докладов Международной конференции «Колмогоров и современная математика», Москва, 16-21 июня 2003. М.: МГУ, 2003. С. 707-708.
4. Чагров А.В. О расширениях «суперинтуиционистской» логики доказуемости формулами от одной переменной // Смирновские чтения. 4 международная конференция. М.: ИФ РАН, 2003. С. 51-53.
5. Чагров А.В., Чагрова Л.А. О семантике Крипке со взрывающимися мирами для базисной логики // Смирновские чтения. 4 международная конференция. М.: ИФ РАН, 2003. С. 53-54.
6. Danilova L.V., Lyubetsky V.A., Laikova O.N. Computer detecting of glycerol-3-phosphate metabolism regulation in proteobacterial genomes // Proceedings of the International Moscow Conference on Computational Molecular Biology, MCCMB’03, Moscow, Russia, July 22-25, 2003. P. 52-53.
7. 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.
8. Gelfand M.S. Riboswitches: possibly the oldest regulatory system // 4th Int. Georgia Tech. Conf. on Bioinformatics, November 2003, Atlanta, USA. P. 19.
9. 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.
10. Kanovei V.G. On ROD-hyperfinite equivalence relations // Logic Colloquium 2003, Helsinki, Finland, August 14-20 2003. Abstracts.
11. Kanovei V.G., Lyubetsky V.A. On the existence of definable non-regular sets of reals // Тезисы докладов Международной конференции «Колмогоров и современная математика», Москва, 16-21 июня 2003. М.: МГУ, 2003. С. 690.
12. 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.
13. Lyubetskaya E.V., Leontiev L.A., Lyubetsky V.A. Algorithm for detecting alternative secondary RNA structures and mass analysis attenuator regulation in proteobacteria // Proceedings of the International Moscow Conference on Computational Molecular Biology, MCCMB’03, Moscow, Russia, July 22-25, 2003. P. 144-145.
14. Lyubetsky V.A., V'yugin V.V. Complex Phylogenetic Analysis of the Evolutionary History for Some Prokaryotes Family // Proceedings of the International Moscow Conference on Computational Molecular Biology, MCCMB’03, Moscow, Russia, July 22-25, 2003. P. 145-147.
15. 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.
16. 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.