Mathematics-Mechanization Platform

Known as: MMP, MMP (software) 
Mathematics Mechanization and Automated Reasoning Platform (Chinese: 数学机械化自动推理平台), or Mathematics-Mechanization Platform (MMP, code named elimino… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Arachidonic acid (AA, a proinflammatory fatty acid) in combination with iron promotes excess reactive oxygen species (ROS… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
nvasive tumor dissemination in vitro and in vivo involves the proteolytic degradation of ECM barriers. This process, however, is… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Mondrian memory protection (MMP) is a fine-grained protection scheme that allows multiple protection domains to flexibly share… (More)
  • figure 1
  • figure 3
  • figure 2
  • table 1
  • figure 6
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Human malignant gliomas are highly lethal neoplasms. Involved-field radiotherapy is the most important therapeutic measure. Most… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Elevated focal adhesion kinase (FAK) expression in human tumor cells has been correlated with an increased cell invasion… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Depressed immune responses have been observed frequently in cancer patients. In a variety of human malignancies, the expression… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Matrix metalloproteinases (MMPs) are extracellular enzymes. Some of them are known to be involved in tumor development and/or… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Endothelin-1 (ET-1) is present at high concentrations in ovarian cancer ascites and is overexpressed in primary and metastatic… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
BACKGROUND Recent evidence has implicated Chlamydia pneumoniae in the aggravation of atherosclerosis. However, the mechanisms by… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The migration of vascular smooth muscle cells (VSMCs) from the tunica media to the neointima is a key event in the development… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?