A property P of term rewriting systems (TRSs, for short) is said to be persistent if for any many-sorted TRS R, R has the property P if and only if its underlying unsorted TRS (R) has the property P. This notion was introduced by H. Zantema (1994). In this paper, it is shown that con uence is persistent.

North American triple reassortant swine (TRS) influenza A viruses have caused sporadic human infections since 2005, but human-to-human transmission has not been documented. These viruses have six gene segments (PB2, PB1, PA, HA, NP, and NS) closely related to those of the 2009 H1N1 pandemic viruses. Therefore, understanding of these viruses' pathogenicity and transmissibility may help to identi...

The adeno-associated virus (AAV) Rep78 and Rep68 proteins are required for site-specific integration of the AAV genome into the AAVS1 locus (19q13.3-qter) as well as for viral DNA replication. Rep78 and Rep68 bind to the GAGC motif on the inverted terminal repeat (ITR) and cut at the trs (terminal resolution site). A similar reaction is believed to occur in AAVS1 harboring an analogous GAGC mot...

BACKGROUND The role of oxidative stress in schizophrenia has been demonstrated, particularly in subjects with treatment-resistant schizophrenia (TRS). In such patients, the decreased levels of antioxidants in conjunction with the increased generation of reactive oxygen species in the brain exposes the neurons to a higher risk of damage. METHODS AND FINDINGS We evaluated the association of del...

logic analysis and attack construction methods are two major approaches in verification of cryptographic protocols. however, it is almost preferable to use both of them for a complete analysis. in this paper, a generic framework for the integration of the two verification approaches is presented. using the framework we can propose analysis methods in which security properties and breach scenari...

We present a new technique for proving AC-termination. We show that if certain conditions are met, AC-termination can be reduced to termination, i. e., termination of a TRS S modulo an AC-theory can be inferred from termination of another TRS R with no AC-theory involved. This is a new perspective and opens new possibilities to deal with AC-termination.

BACKGROUND Fluorescence in situ hybridization (FISH) is one of the most powerful genetic analysis tools for pathological diagnoses. FISH can detect various genetic abnormalities including gene translocation that was specifically found in translocation-related sarcomas (TRSs). Here, we report the use of FISH in expert review in a phase 2 study of trabectedin monotherapy for patients with advance...

Cutting-edge instrumentation is a critical enabler of breakthroughs in every scientific field, and spectroscopy is one of the oldest and most venerated. Time-resolved spectroscopy (TRS) offers a new twist to standard spectroscopic techniques. Although TRS is not new, the development of ultrafast lasers and pulseshaping techniques, among other innovations, has opened up a wide range of nascent a...

BACKGROUND Current angiogenic therapies for cancers and cardiovascular diseases have not yet achieved expected benefits, which reflects the need for improved understanding of angiogenesis. In this study, we focused on solving the problem of whether tissues have different angiogenic potentials (APs) in physiological conditions and how angiogenesis is regulated in various disease conditions. ME...

Plasticizers added to polyvinylchloride (PVC) used in medical devices can be released into patients’ biological fluids. Di-(2-ethylhexyl)phthalate (DEHP), a well-known reprotoxic and endocrine disruptor, must replaced by alternative compounds. Di-(2-ethylhexyl) terephthalate (DEHT) is an interesting candidate due its lower migration from PVC lack of reprotoxicity. However, there still data supp...