|
|
 |
2002 year Authors: Leont'yev L., Lyubetskaya E., Lyubetsky V.Description and performance of a modified algorithm to search for alternative RNA secondary structures. Information processes, 2002, V. 2, No 1, p. 100-105. [in Russian]
|
|
2002 year Authors: V'yugin V., Gelfand M., Lyubetsky V.“Tree Reconciliation: Reconstruction of Species Phylogeny by Phylogenetic Gene Trees” Molecular biology, 2002, V. 36, No 5, p. 650-658. PMID 12391844
Download (61.6 KB) |
|
2002 year Authors: Lyubetsky V., Rubanov L.“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. 24-27.
Go to publication |
|
2002 year Authors: Gorbunov K., Lyubetsky V.“An Algorithm for Searching for Common Secondary Structures in a Set of RNA Sequences”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 3, pp. 20–22.
Go to publication |
|
2002 year Authors: Lyubetskaya E., Lyubetsky V.“Algorithm for Searching for Alternative Secondary RNA Structures”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 3, pp. 14–20.
Go to publication |
|
2002 year Authors: Lyubetsky V., V'yugin V.“Method of Horizontal Gene Transfer Determination Using Phylogenetic Data”
Proceedings of The Third International Conference on Bioinformatics of Genome Regulation and Structure (BGRS’2002), Novosibirsk, Russia, July 14–20, 2002, V. 2, pp. 61–63.
Go to publication |
|
2002 year Authors: Kusnetsov N., Lyubetsky V., Chernavsky A.On the concept of informational interaction, 3: speech intellect. Proceedings of IV international conference of the RAS «Issues in control and modeling in complex systems», Samara, RAS, 2002, p. 7-17. [in Russian]
|
|
2002 year Authors: V'yugin V., Lyubetsky V.Some approaches to detect HGTs with phylogenetic data. Information processes, 2002, V. 2, No 1, p. 120-140. [in Russian]
|
|
2002 year Authors: Gorbunov K., Lyubetsky V.An algorithm to search for conservative RNA secondary structures in a database of RNA fragments. Information processes, 2002, V. 2, No 1, p. 55-58. [in Russian]
|
|
2001 year Authors: Kanovei V., Reeken M.On Ulam stability of the real line.
Unsolved Problems in Mathematics for the 21th Century: A Tribute to Kioshi Iseki"s 80th Birthday,
IOS Press, Amsterdam, 2001, pp. 169--181.
Go to publication |
|
2001 year Authors: Christensen J.R.P., Kanovei V., Reeken M.On Borel orderable groups.
Topology and its Applications, 2001, 109, pp. 285--299.
Go to publication |
|
2001 year Authors: Kanovei V., Reeken M.Nonstandard set theory in e-language.
Math. Notes, 2001, 70, 1, pp. 42--45.
Go to publication |
|
2001 year Authors: Kanovei V.A version of the Jensen -- Johnsbraten coding at arbitrary level n>3.
Archive for Math. Logic, 2001, 40, 8, pp. 615--628.
Go to publication |
|
2001 year Authors: Gorbunov K., Lyubetskaya E., Lyubetsky V.On two algorithms of searching for alternative RNA structures. Information processes, V. 1, No 2, 2001, p. 178-187. [in Russian]
|
|
2001 year Authors: Lyubetsky V.“First projective sets, AE-prefix and quantifiers elimination” Abstracts of International conference on 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.
|
|
2001 year Authors: Kusnetsov N., Lyubetsky V., Chernavsky A.On the concept of informational interaction, 2: pre-speech intellect. Proceedings of III international conference of the RAS «Issues in control and modeling in complex systems», Samara, RAS, 2001, p. 25-42. [in Russian]
|
|
2001 year Authors: Danilova L., Lyubetsky V.An algorithm to detect regulatory signal: testing and biological applications. Proceedings of III international conference of the RAS «Issues in control and modeling in complex systems», Samara, RAS, 2001, p. 632-634. [in Russian]
|
|
2001 year Authors: Lyubetsky V., Seliverstov A.A probabilistic algorithm of solving an NP-complete problem, Proceedings of III international conference «Smirnov readings» of RAS, Moscow, 2001, p. 47-49. [in Russian]
|
|
2001 year Authors: V'yugin V., Lyubetsky V.An algorithm to detect horizontal gene transfer events with multiple gene trees. Information processes, V. 1, No 2, 2001, p. 167-177. [in Russian]
|
|
2001 year Authors: Danilova L., Gorbunov K., Gelfand M., Lyubetsky V.“Algorithm of Regulatory Signal Recognition in DNA Sequences” Molecular Biology, V. 35, No 6, 2001, p. 841-848. PMID 11771146
|
|
2001 year Authors: Gelfand M., V'yugin V., Lyubetsky V.An approach to infer evolutionary species tree from multiple gene data. Information processes, V. 1, No 1, 2001, p. 64-77. [in Russian]
|
|
2001 year Authors: Danilova L., Gorbunov K., Gelfand M., Lyubetsky V.An algorithm to detect regulatory signals in DNA sequence data (1). Information processes, V. 1, No 1, 2001, p. 56-63. [in Russian]
|
|
2000 year Authors: Kanovei V.Linearization of definable order relations.
Annals of Pure and Applied Logic, 2000, 102, 1--2, pp. 69--100.
Go to publication |
|
2000 year Authors: Kanovei V., Reeken M.Extending standard models of ZFC to models of nonstandard set theories.
Studia Logica, 2000, 64, pp. 37--59.
Go to publication |
|
2000 year Authors: Kanovei V., Reeken M.On Baire measurable homomorphisms of quotients of the additive group of the reals.
Math. Logic Quarterly, 2000, 46, 3, pp. 377--384.
Go to publication |
|
2000 year Authors: Kanovei V., Reeken M.A nonstandard set theory in the e-language.
Archive for Math. Logic, 2000, 39, 4, pp. 403--416.
Go to publication |
|
2000 year Authors: Kanovei V., Reeken M.On Ulam"s problem of stability of non-exact homomorphisms.
Proc. Moscow Steklov Inst. Math., 2000, 231, pp. 238--270.
Go to publication |
|
2000 year Authors: Kanovei V., Reeken M.New Radon-Nikodym ideals.
Mathematika, 2000, 47, no. 1--2, pp. 219--227.
Go to publication |
|
2000 year Authors: Merzlyakov N., Karnaukhov V., Rubanov L.Integration of Image Processing and Database Management Systems. First International Conference on Image and Graphics, August 16-18, Tianjin, China, 2000, p.665-668.
|
|
2000 year Authors: Lyubetsky V., Larijani M.J.A.“Topics in Classical and Intuitionistic Model Theory”
Gardariki, Moscow, 2000, 390 pages.
Monograph
|
|
2000 year Authors: Vereschagin N., Lyubetsky V.An algorithm of inferring RNA secondary structure. Proceedings of scientific workshop of the Logic Center of RAS, Issue 14, Moscow, RAS Press, 2000, p. 99-109. [in Russian]
|
|
2000 year Authors: Gorbunov K., Lyubetsky V.On an algorithm of detecting regulatory signal in sequence data. Logic research. Issue 7, Moscow, Nauka, 2000, p. 159-163. [in Russian]
|
|
2000 year Authors: V'yugin V., Gorbunov K., Lyubetsky V.Algorithms of detecting regulatory signal and constructing evolutionary trees. Proceedings of II international conference of the RAS «Issues in control and modeling in complex systems», Samara, 2000, RAS Press, p. 130-137. [in Russian]
|
|
2000 year Authors: Kusnetsov N., Lyubetsky V., Chernavsky A.On the concept of informational interaction, 1: pre-psychic bioinformatics. Proceedings of II international conference of the RAS «Issues in control and modeling in complex systems», Samara, 2000, RAS Press, p. 8-20. [in Russian]
|
|
1999 year Authors: Kanovei V.Non-wellfounded iterations of perfect set forcing.
J. Symbolic Logic, 1999, 64, 2, pp. 551--574.
Go to publication |
|
1999 year Authors: Kanovei V., Reeken M.A nonstandard proof of the Jordan curve theorem.
Real Analysis Exchange, 1999, 24, 1, pp. 161--170.
Go to publication |
|
|
|
|
|
