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.
2011
2011
We investigated the effect of the red light (R) (630 nm), magnetic field (MF) and magnetic field combined with the red light (MF… Expand
  • figure 1
  • table 1
  • figure 2
Review
2009
Review
2009
In the last few years, elucidation of the architecture of breathing control centres has reached the cellular level. This has been… Expand
  • figure 1
  • figure 2
  • figure 3
Review
2009
Review
2009
Chronic granulomatous disease (CGD) is a rare hereditary primary immunodeficiency, in which defective production of microbicidal… Expand
  • table 1
  • table 2
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
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
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
2002
2002
  • O. Andersen
  • The Journal of General Physiology
  • 2002
  • Corpus ID: 9052582
The purpose of the Perspectives in General Physiology is to provide a forum where scientific uncertainties or controversies can… Expand
1998
1998
NADPH oxidase system is an enzymatic electron transport complex localized in the membrane of phagocytic cells. Several proteins… Expand
1996
1996
Repressor elements in the gp91 promoter are necessary to restrict tissue-specific transcription to mature phagocytes. Deletion of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
1996
1996
The human neutrophil NADPH oxidase is a multi-component complex composed of membrane-bound and cytosolic proteins. During… Expand