Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

PhoX

In automated theorem proving, PhoX is a proof assistant based on higher-order logic which is eXtensible. The user gives PhoX an initial goal and… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Non-thermal motions in the intra-cluster medium (ICM) are believed to play a non-negligible role in the pressure support to the… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2007
2007
Nouri P, Gill P, Li M, Wilcox CS, Welch WJ. p22 in the macula densa regulates single nephron GFR during angiotensin II infusion… Expand
Is this relevant?
2005
2005
SummaryPlant cells respond to a variety of external signals with the production of reactive-oxygen species. The enzyme system… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2004
2004
Background—CD40 ligand (CD40L) expression on platelets is mediated by agonists, but the underlying mechanism is still unclear… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
[1] Peroxy radical concentrations were measured aboard the NASA P-3B aircraft during the Transport and Chemical Evolution over… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2002
2002
The purpose of the Perspectives in General Physiology is to provide a forum where scientific uncertainties or controversies can… Expand
Is this relevant?
2000
2000
The superoxide-producing phagocyte NADPH oxidase can be activated by arachidonic acid (AA) or by phosphorylation of p47 phox… Expand
Is this relevant?
1998
1998
NADPH oxidase system is an enzymatic electron transport complex localized in the membrane of phagocytic cells. Several proteins… Expand
Is this relevant?
1996
1996
The human neutrophil NADPH oxidase is a multi-component complex composed of membrane-bound and cytosolic proteins. During… Expand
Is this relevant?