Search Results - "Lyubetsky, Vassily"

Algorithms for the Reconstruction of Genomic Structures with Proofs of Their Low Polynomial Complexity and High Exactness by Gorbunov, Konstantin, Lyubetsky, Vassily

“…The mathematical side of applied problems in multiple subject areas (biology, pattern recognition, etc.) is reduced to the problem of discrete optimization in…”
Get full text

Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming by Lyubetsky, Vassily, Gershgorin, Roman, Gorbunov, Konstantin

“…Chromosome structure is a very limited model of the genome including the information about its chromosomes such as their linear or circular organization, the…”
Get full text

A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part II by Kanovei, Vladimir, Lyubetsky, Vassily

“…We consider the problem of the existence of well-orderings of the reals, definable at a certain level of the projective hierarchy. This research is motivated…”
Get full text

A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part III—The Case of Second-Order PA by Kanovei, Vladimir, Lyubetsky, Vassily

“…A model of set theory ZFC is defined in our recent research, in which, for a given n≥3, (An) there exists a good lightface Δn1 well-ordering of the reals, but…”
Get full text

Constructing an Evolutionary Tree and Path–Cycle Graph Evolution along It by Gorbunov, Konstantin, Lyubetsky, Vassily

“…The paper solves the problem of constructing an evolutionary tree and the evolution of structures along it. This problem has long been posed and extensively…”
Get full text

On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic by Kanovei, Vladimir, Lyubetsky, Vassily

“…We make use of generalized iterations of the Sacks forcing to define cardinal-preserving generic extensions of the constructible universe L in which the axioms…”
Get full text

A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level by Kanovei, Vladimir, Lyubetsky, Vassily

“…The problem of the existence of analytically definable well-orderings at a given level of the projective hierarchy is considered. This problem is important as…”
Get full text

Factoring Solovay-random extensions, with application to the reduction property by Kanovei, Vladimir, Lyubetsky, Vassily

“…If a real a is random over a model M and x ∈ M [ a ] is another real then either (1) x ∈ M , or (2) M [ x ] = M [ a ] , or (3) M [ x ] is a random extension of…”
Get full text

A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class by Kanovei, Vladimir, Lyubetsky, Vassily

“…In this paper, we prove the following: If n≥3, there is a generic extension of L—the constructible universe—in which it is true that the Separation principle…”
Get full text

A Generic Model in Which the Russell-Nontypical Sets Satisfy ZFC Strictly between HOD and the Universe by Kanovei, Vladimir, Lyubetsky, Vassily

“…The notion of ordinal definability and the related notions of ordinal definable sets (class OD) and hereditarily ordinal definable sets (class HOD) belong to…”
Get full text

Optimal Growth Temperature and Intergenic Distances in Bacteria, Archaea, and Plastids of Rhodophytic Branch by Seliverstov, Alexander V., Rubanov, Lev I., Zverkov, Oleg A., Lyubetsky, Vassily

“…The lengths of intergenic regions between neighboring genes that are convergent, divergent, or unidirectional were calculated for plastids of the rhodophytic…”
Get full text

Multiplicatively Exact Algorithms for Transformation and Reconstruction of Directed Path-Cycle Graphs with Repeated Edges by Gorbunov, Konstantin, Lyubetsky, Vassily

“…For any weighted directed path-cycle graphs, a and b (referred to as structures), and any equal costs of operations (intermergings and duplication), we obtain…”
Get full text

On the ‘Definability of Definable’ Problem of Alfred Tarski by Kanovei, Vladimir, Lyubetsky, Vassily

“…In this paper we prove that for any m≥1 there exists a generic extension of L, the constructible universe, in which it is true that the set of all…”
Get full text

Models of Set Theory in which Nonconstructible Reals First Appear at a Given Projective Level by Kanovei, Vladimir, Lyubetsky, Vassily

“…Models of set theory are defined, in which nonconstructible reals first appear on a given level of the projective hierarchy. Our main results are as follows…”
Get full text

Linear Time Additively Exact Algorithm for Transformation of Chain-Cycle Graphs for Arbitrary Costs of Deletions and Insertions by Gorbunov, Konstantin, Lyubetsky, Vassily

“…We propose a novel linear time algorithm which, given any directed weighted graphs a and b with vertex degrees 1 or 2, constructs a sequence of operations…”
Get full text

Dicyemida and Orthonectida: Two Stories of Body Plan Simplification by Zverkov, Oleg A, Mikhailov, Kirill V, Isaev, Sergey V, Rusin, Leonid Y, Popova, Olga V, Logacheva, Maria D, Penin, Alexey A, Moroz, Leonid L, Panchin, Yuri V, Lyubetsky, Vassily A, Aleoshin, Vladimir V

“…Two enigmatic groups of morphologically simple parasites of invertebrates, the Dicyemida (syn. Rhombozoa) and the Orthonectida, since the 19th century have…”
Get full text

The Change Rate of the Fbxl21 Gene and the Amino Acid Composition of Its Protein Correlate with the Species-Specific Lifespan in Placental Mammals by Lyubetsky, Vassily A, Shilovsky, Gregory A, Yang, Jian-Rong, Seliverstov, Alexandr V, Zverkov, Oleg A

“…This article proposes a methodology for establishing a relationship between the change rate of a given gene (relative to a given taxon) together with the amino…”
Get full text

On the Δ n 1 Problem of Harvey Friedman by Kanovei, Vladimir, Lyubetsky, Vassily

“…In this paper, we prove the following. If n≥3, then there is a generic extension of L, the constructible universe, in which it is true that the set P(ω)∩L of…”
Get full text

Bioinformatics Screening of Genes Specific for Well-Regenerating Vertebrates Reveals c-answer, a Regulator of Brain Development and Regeneration by Korotkova, Daria D., Lyubetsky, Vassily A., Ivanova, Anastasia S., Rubanov, Lev I., Seliverstov, Alexander V., Zverkov, Oleg A., Martynova, Natalia Yu, Nesterenko, Alexey M., Tereshina, Maria B., Peshkin, Leonid, Zaraisky, Andrey G.

“…The molecular basis of higher regenerative capacity of cold-blooded animals comparing to warm-blooded ones is poorly understood. Although this difference in…”
Get full text

Comparative genomic analysis of T-box regulatory systems in bacteria by Vitreschak, Alexey G, Mironov, Andrei A, Lyubetsky, Vassily A, Gelfand, Mikhail S

“…T-box antitermination is one of the main mechanisms of regulation of genes involved in amino acid metabolism in Gram-positive bacteria. T-box regulatory sites…”
Get full text