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)

Related topics

Related topics

5 relations
Automated reasoningAutomated theorem provingCADE ATP System CompetitionConference on Automated Deduction

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Exploiting Active Sub-Areas for Multi-Copy Routing in VDTNs
In Vehicle Delay Tolerant Networks (VDTNs), current routing algorithms select relay vehicles based on either vehicle encounter… 
Review
2015
Review
2015
Alkali Aggregate Reaction in Nuclear Concrete Structures Part I: A Holistic Approach
The Alkali Silica Reaction (AAR), a type of Alkali Aggregate Reaction (AAR), is observed in some concrete structures in Eastern… 
2012
2012
The Synergy of 3D SIFT and Sparse Codes for Classification of Viewpoints from Echocardiogram Videos
Echocardiography plays an important part in diagnostic aid in cardiology. During an echocardiogram exam images or image sequences… 
Highly Cited
2010
Highly Cited
2010
Old model, new problem: when should you update a model and what happens when you do?
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
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… 
Review
2005
Review
2005
Late Neogene and Quaternary evolution of the northern Albemarle Embayment (mid-Atlantic continental margin, USA)
Highly Cited
2005
Highly Cited
2005
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… 
2005
2005
A Comparative Analysis of Multi-Class EEG Classification for Brain Computer Interface
Classifying different electroencephalogram (EEG) patterns is one of the key components to designing a usable Brain Computer… 
Highly Cited
1998
Highly Cited
1998
Depth-resolved analysis by laser-induced breakdown spectrometry at reduced pressure
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
Activation of retinoid receptors RARα and RXRα induces differentiation and apoptosis, respectively, in HL-60 cells
Induction of granulocytic differentiation in HL-60 myeloid leukemia cells by retinoids is followed by their death via apoptosis… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)