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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Photogrammetry is a complex topic in high-level university teaching, especially in the fields of geodesy, geoinformatics and… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 7
Is this relevant?
2015
2015
Ahn B, Beharry AW, Frye GS, Judge AR, Ferreira LF. NAD(P)H oxidase subunit p47 is elevated, and p47 knockout prevents diaphragm… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
What drives the gradual degeneration of dopamine neurons in Parkinson's disease (PD), the second most common neurodegenerative… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Marine microbes are adapted to surviving in a variable phosphorus (P) environment. This adaptation frequently involves the… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
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… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Central congenital hypoventilation syndrome is caused by mutations of the gene that encodes the transcription factor Phox2b. The… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
Background—CD40 ligand (CD40L) expression on platelets is mediated by agonists, but the underlying mechanism is still unclear… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Genes encoding homologs of the gp91(phox) subunit of the plasma membrane NADPH oxidase complex have been identified in plants and… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
  • table II
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We report that the zebrafish mutation soulless, in which the development of locus coeruleus (LC) noradrenergic (NA) neurons… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
1996
1996
Repressor elements in the gp91 promoter are necessary to restrict tissue-specific transcription to mature phagocytes. Deletion of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?