Association for Automated Reasoning

Known as: AAR 
The Association for Automated Reasoning (AAR) is a non-profit corporation that serves as an association of researchers working on automated theorem… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
Aspartate aminotransferase-to-platelet ratio (APRI), aspartate aminotransferase-to-alanine aminotransferase ratio (AAR), FIB-4… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2013
2013
A widespread loss of glacier area and volume has been observed in the European Alps since the 1980s. In addition to differences… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2011
2011
Background: Few studies have reported the magnitude of intestinal parasitic infections among under-five children in tropical… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2010
Highly Cited
2010
BACKGROUND we have found that remote ischemic conditioning (rIC), adjunctive to primary angioplasty, increases myocardial salvage… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
O rganic m atter decom position and soil C O 2 efflux are bo th m ediated by soil m icroorgan­ isms, bu t the po ten tia l… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Classification of EEG signals extracted during mental tasks is a technique for designing brain computer interfaces (BCI). In this… (More)
  • figure 2
  • table II
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper, the authors study the performance of scheduling algorithms exploiting the multiuser selection diversity… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Opioids have been previously shown to confer short-term cardioprotection against a prolonged ischemic insult. Therefore, the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1999
1999
Inverse filtering can be used to identify transient events. Often, artefacts in the EEG are such transient events. Sleep EEG data… (More)
  • figure 1
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Reactive oxygen species such as the superoxide anion (.O2-) have recently been implicated as important agents involved in causing… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?