Advanced search    

Search: *

93,634 papers found. Showing first 1,000 results.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications

Effective quantifier elimination procedures for first-order theories provide a powerful tool for generically solving a wide range of problems based on logical specifications. In contrast to general first-order provers, quantifier elimination procedures are based on a fixed set of admissible logical symbols with an implicitly fixed semantics. This admits the use of sub-algorithms ...

Skills, earnings, and employment: exploring causality in the estimation of returns to skills

Ample evidence indicates that a person’s human capital is important for success on the labor market in terms of both wages and employment prospects. However, unlike the efforts to identify the impact of school attainment on labor-market outcomes, the literature on returns to cognitive skills has not yet provided convincing evidence that the estimated returns can be causally ...

Physiological and therapeutic regulation of PCSK9 activity in cardiovascular disease

Ischemic heart disease is the main cause of death worldwide and is accelerated by increased levels of low-density lipoprotein cholesterol (LDL-C). Proprotein convertase subtilisin/kexin type 9 (PCSK9) is a potent circulating regulator of LDL-C through its ability to induce degradation of the LDL receptor (LDLR) in the lysosome of hepatocytes. Only in the last few years, a number of ...

The Janus Head of Oxidative Stress in Metabolic Diseases and During Physical Exercise

Purpose of Review Oxidative stress describes an imbalance between production and degradation of reactive oxygen species (ROS), which can damage macromolecules. However, ROS may also serve as signaling molecules activating cellular pathways involved in cell proliferation and adaptation. This review describes alterations in metabolic diseases including obesity, insulin resistance, ...

Heterologous expression of a Streptomyces cyaneus laccase for biomass modification applications

Laccases are used for the conversion of biomass into fermentable sugars but it is difficult to produce high yields of active laccases in heterologous expression systems. We overcame this challenge by expressing Streptomyces cyaneus CECT 3335 laccase in Escherichia coli (ScLac) and we achieved a yield of up to 104 mg L−1 following purification by one-step affinity chromatography. ...

Therapeutic efficacy of α-radioimmunotherapy with different activity levels of the 213Bi-labeled monoclonal antibody MX35 in an ovarian cancer model

Background The aim of this study was to compare the therapeutic efficacy of two different activity levels of the 213Bi-labeled monoclonal antibody MX35 in an ovarian cancer model. Sixty female BALB/c (nu/nu) mice were inoculated intraperitoneally with human ovarian cancer cells (OVCAR-3). Two weeks later, 40 mice were injected intraperitoneal (i.p.) with 1 ml of 213Bi-MX35, 3 ...

Proteomic profiling of human intraschisis cavity fluid

Background X-linked retinoschisis (XLRS) is a vitreoretinal degenerative disorder causing vision deterioration, due to structural defects in retina. The hallmark of this disease includes radial streaks arising from the fovea and splitting of inner retinal layers (schisis). Although these retinal changes are attributed to mutations in the retinoschisin gene, schisis is also observed ...