Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
In Vehicle Delay Tolerant Networks (VDTNs), current routing algorithms select relay vehicles based on either vehicle encounter… 
Review
2015
Review
2015
The Alkali Silica Reaction (AAR), a type of Alkali Aggregate Reaction (AAR), is observed in some concrete structures in Eastern… 
2012
2012
Echocardiography plays an important part in diagnostic aid in cardiology. During an echocardiogram exam images or image sequences… 
Highly Cited
2010
Highly Cited
2010
This paper is a summary of some of the considerations involved in applying an existing model to a new problem, in particular in… 
2007
2007
Inverse filtering can be used to identify transient events. Often, artefacts in the EEG are such transient events. Sleep EEG data… 
Highly Cited
2005
Highly Cited
2005
Classification of EEG signals extracted during mental tasks is a technique for designing brain computer interfaces (BCI). In this… 
2005
2005
Classifying different electroencephalogram (EEG) patterns is one of the key components to designing a usable Brain Computer… 
Highly Cited
1998
Highly Cited
1998
The 581 nm output from a dye laser in a —uence range between 2.86 and 11.47 J cmo2 was used to ablate pure Zn and Fe foils. The… 
Highly Cited
1996
Highly Cited
1996
Induction of granulocytic differentiation in HL-60 myeloid leukemia cells by retinoids is followed by their death via apoptosis…