Gangyi Chen

Learn More
Satisfiability Modulo Theories techniques can check if a formula is satisfiable. In many cases, not only the qualitative judgment (satisfiable or not) but also the quantitative judgment (the dimension and size of the solution space) are of practical interest. For instance, the volume of path condition formula reflects the probability of the corresponding(More)
Fluorescence-activated cell sorting (FACS) was exploited to isolate Escherichia coli cells that were highly fluorescent due to the expression of RNA aptamers that induce fluorescence of 3,5-difluoro-4-hydroxybenzylidene imidazolinone. Two different aptamers, named ZT-26 and ZT-324, were identified by this method and compared to the fluorescence-signaling(More)
Constant efforts have been made to develop new method to realize sequence-specific RNA degradation, which could cause inhibition of the expression of targeted gene. Herein, by using an unmodified short DNA oligonucleotide for sequence recognition and endogenic small molecule, vitamin B2 (riboflavin) as photosensitizer, we report a simple strategy to realize(More)
Up to now, the direct ligation of two DNA fragments with opposite directions to obtain 3'-3' or 5'-5' phosphate ester bonds is still challenging. The only way to obtain DNA oligonucleotides containing a 3'-3' or 5'-5' inversion of polarity sites is based on professional DNA chemical synthesis. Herein, we demonstrate a convenient template-directed chemical(More)
Intratypic variations of HPV-18 are known to differ in the persistence of the infection, frequency of carcinogenesis and the progression of precursor lesions to advanced cervical cancer. This study was designed to analyze sequence variations of HPV-18 isolates in order to discover novel HPV-18 variants and to evaluate the variations among infected women in(More)
  • 1