Learn More
The comprehensive yeast two-hybrid analysis of intraviral protein interactions in two members of the herpesvirus family, Kaposi sarcoma-associated herpesvirus (KSHV) and varicella-zoster virus (VZV), revealed 123 and 173 interactions, respectively. Viral protein interaction networks resemble single, highly coupled modules, whereas cellular networks are(More)
Chinese word segmentation (CWS), named entity recognition (NER) and part-of-speech tagging is the lexical processing in Chinese language. This paper describes the work on these tasks done by France Tele-com Team (Beijing) at the fourth International Chinese Language Processing Bake-off. In particular, we employ Conditional Random Fields with different(More)
Due to substantial morbidity and high complications, diabetes mellitus is considered as the third "killer" in the world. A search for alternative antidiabetic drugs from herbs or fungi is highly demanded. Our present study aims to investigate the antidiabetic activities of Cordyceps militaris on diet-streptozotocin-induced type 2 diabetes mellitus in rats.(More)
Joint factor analysis (JFA) has been successfully applied to speaker verification tasks to tackle speaker and session variability. In the sense of Bayesian statistics, it is beneficial to take account of the uncertainties in JFA to better characterize its speaker enrollment and verification processes, e.g. representing target speaker model by posteriori(More)
Hardware interrupts are widely used in the world's critical software systems to support preemptive threads, device drivers, operating system kernels, and hypervisors. Handling interrupts properly is an essential component of low-level system programming. Unfortunately, interrupts are also extremely hard to reason about: they dramatically alter the program(More)
Herpesviruses constitute a family of large DNA viruses widely spread in vertebrates and causing a variety of different diseases. They possess dsDNA genomes ranging from 120 to 240 kbp encoding between 70 to 170 open reading frames. We previously reported the protein interaction networks of two herpesviruses, varicella-zoster virus (VZV) and Kaposi's(More)
A major challenge for verifying complete software systems is their complexity. A complete software system consists of program modules that use many language features and span different abstraction levels (e.g., user code and run-time system code). It is extremely difficult to use one verification system (e.g., type system or Hoare-style program logic) to(More)
Although cloned viral ORFeomes are particularly well suited for genome-wide interaction mapping due to the limited size of viral genomes, only a few such studies have been published. Here, we summarize virus interaction mapping projects involving vaccinia virus, hepatitis C virus (HCV), potato virus A (PVA), pea seed-borne mosaic virus (PSbMV), and(More)