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

Related topics

Related topics

5 relations
Automated reasoningAutomated theorem provingCADE ATP System CompetitionConference on Automated Deduction
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
Diagnostic Accuracy of APRI, AAR, FIB-4, FI, King, Lok, Forns, and FibroIndex Scores in Predicting the Presence of Esophageal Varices in Liver Cirrhosis
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
Area and volume loss of the glaciers in the Ortles-Cevedale group ( Eastern Italian Alps ) : controls and imbalance of the remaining glaciers
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
Intestinal parasitic infections among under-five children and maternal awareness about the infections in Shesha Kekele, Wondo Genet, Southern Ethiopia
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
Remote Ischemic Conditioning in Patients With Myocardial Infarction Treated With Primary Angioplasty: Impact on Left Ventricular Function Assessed by Comprehensive Echocardiography and Gated Single…
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
Increases in soil respiration following labile carbon additions linked to rapid shifts in soil microbial community composition
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 Mental Tasks Using Fixed and Adaptive Autoregressive Models of EEG Signals
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
Performance Analysis of Multiuser Selection Diversity
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
Opioid-induced second window of cardioprotection: potential role of mitochondrial KATP channels.
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
ARTEFACT DETECTION IN SLEEP EEG BY THE USE OF KALMAN FILTERING
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
Failure of superoxide dismutase to limit size of myocardial infarction after 40 minutes of ischemia and 4 days of reperfusion in dogs.
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?