-
Article
Characterization of a pangolin SARS-CoV-2-related virus isolate that uses the human ACE2 receptor
Various SARS-CoV-2-related coronaviruses have been increasingly identified in pangolins, showing a potential threat to humans. Here we report the infectivity and pathogenicity of the SARS-CoV-2-related virus, ...
-
Article
Open AccessIsolation and characterization of a pangolin-borne HKU4-related coronavirus that potentially infects human-DPP4-transgenic mice
We recently detected a HKU4-related coronavirus in subgenus Merbecovirus (named pangolin-CoV-HKU4-P251T) from a Malayan pangolin1. Here we report isolation and characterization of pangolin-CoV-HKU4-P251T, the gen...
-
Article
Open AccessLipid nanoparticle-encapsulated mRNA antibody provides long-term protection against SARS-CoV-2 in mice and hamsters
Monoclonal antibodies represent important weapons in our arsenal to against the COVID-19 pandemic. However, this potential is severely limited by the time-consuming process of develo** effective antibodies a...
-
Article
Open AccessLong-term stability and protection efficacy of the RBD-targeting COVID-19 mRNA vaccine in nonhuman primates
Messenger RNA (mRNA) vaccine technology has shown its power in preventing the ongoing COVID-19 pandemic. Two mRNA vaccines targeting the full-length S protein of SARS-CoV-2 have been authorized for emergency u...
-
Article
Open AccessLasting antibody and T cell responses to SARS-CoV-2 in COVID-19 patients three months after infection
The dynamics, duration, and nature of immunity produced during SARS-CoV-2 infection are still unclear. Here, we longitudinally measured virus-neutralising antibody, specific antibodies against the spike (S) pr...
-
Article
Serological survey of avian influenza virus infection in non-avian wildlife in **njiang, China
We conducted a serological survey to detect antibodies against avian influenza virus (AIV) in Gazella subgutturosa, Canis lupus, Capreolus pygargus, Sus scrofa, Cervus elaphus, Capra ibex, Ovis ammon, Bos grunnie...
-
Article
Experimental research on seismic behavior of +-shaped columns reinforced with high-strength steel bars under cyclic loading
500MPa steel bar is a new type of high-strength reinforcing bar applied in China. To investigate the feasibility of using this type of reinforcement in specially shaped column structure, six +-shaped column sp...
-
Article
Open AccessCharacterization of a Novel Reassortant Influenza A Virus (H2N2) from a Domestic Duck in Eastern China
While H2N2 viruses have been sporadically isolated from wild and domestic birds, H2N2 viruses have not been detected among human populations since 1968. Should H2N2 viruses adapt to domestic poultry they may p...
-
Article
An inactivated recombinant rabies CVS-11 virus expressing two copies of the glycoprotein elicits a higher level of neutralizing antibodies and provides better protection in mice
The rabies virus (RABV) G protein is the primary contributor to the pathogenicity and protective immunity of RABV. In this study, we generated a recombinant rCVS-11-G strain containing two copies of the G prot...
-
Article
Open AccessOxidation of Elemental Mercury by Active Species Generated From a Surface Dielectric Barrier Discharge Plasma Reactor
A surface dielectric barrier discharge plasma reactor was employed to study Hg0 oxidation in coal-fired flue gas. The experimental results showed that 98 % of Hg0 oxidation efficiency and 13.7 μg kJ−1 of energy y...
-
Article
The variations of the degree of ground resistivity anisotropy during the tangshan earthquake
Based on the geoelectric observation data of the 1976 Tangshan earthquake ofM=7.8 compiled by the Research Group on the Geoelectricity of the Tangshan Great Earthquake, a dimensionless factorS has been defined as...
-
Article
Solving open problems in right alternative rings with Z-module reasoning
This paper presents our experiments using an automated reasoning program, called the Z-module reasoning system, to prove a number of interesting theorems in right alternative rings. Important results include a...
-
Chapter and Conference Paper
Elements of Z-module reasoning
Z-module reasoning is a new approach to automate the equality-oriented reasoning required to attack problems from ring theory (associative and nonassociative). This approach obtains most of its efficiency by e...
-
Article
Case studies of Z-module reasoning: Proving benchmark theorems from ring theory
A new method, called Z-module reasoning, was formulated for proving and discovering theorems from ring theory. In a case study, the ZMR system designed to implement this method was used to prove the benchmark x 3
-
Article
Hierarchical deduction
This paper describes an hierarchical deduction proof procedure. This procedure proves a theorem by searching for a proof acceptable to an hierarchical deduction structire; those derivations which are irrelevan...
-
Chapter and Conference Paper
ECR: An equality conditional resolution proof procedure
This paper presents an equality conditional resolution proof procedure, ECR, that incorporates a user's knowledge concerning the different roles of input equations in a proof. The input equations are separated...
-
Chapter and Conference Paper
SHD-prover at university of texas at austin
