Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,316 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Automated reasoning
Automated theorem proving
CADE ATP System Competition
Conference on Automated Deduction
Expand
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
Bo Wu
,
Haiying Shen
,
Kang-Peng Chen
International Conference on Computer…
2015
Corpus ID: 18756820
In Vehicle Delay Tolerant Networks (VDTNs), current routing algorithms select relay vehicles based on either vehicle encounter…
Expand
Review
2015
Review
2015
Alkali Aggregate Reaction in Nuclear Concrete Structures Part I: A Holistic Approach
N. Orbović
,
D. Panesar
,
S. Sheikh
,
F. Vecchio
,
C. Lamarche
,
A. Blahoianu
2015
Corpus ID: 54657132
The Alkali Silica Reaction (AAR), a type of Alkali Aggregate Reaction (AAR), is observed in some concrete structures in Eastern…
Expand
2012
2012
The Synergy of 3D SIFT and Sparse Codes for Classification of Viewpoints from Echocardiogram Videos
Y. Qian
,
Lianyi Wang
,
Chunyan Wang
,
Xiaohong W. Gao
MCBR-CDS
2012
Corpus ID: 18945655
Echocardiography plays an important part in diagnostic aid in cardiology. During an echocardiogram exam images or image sequences…
Expand
Highly Cited
2010
Highly Cited
2010
Old model, new problem: when should you update a model and what happens when you do?
G. Griffith
,
B. Malcolm
,
S. Mounter
,
Henry Slattery
2010
Corpus ID: 154758904
This paper is a summary of some of the considerations involved in applying an existing model to a new problem, in particular in…
Expand
2007
2007
ARTEFACT DETECTION IN SLEEP EEG BY THE USE OF KALMAN FILTERING
A. Schlögl
,
P. Anderer
,
S. Roberts
2007
Corpus ID: 14144322
Inverse filtering can be used to identify transient events. Often, artefacts in the EEG are such transient events. Sleep EEG data…
Expand
Review
2005
Review
2005
Late Neogene and Quaternary evolution of the northern Albemarle Embayment (mid-Atlantic continental margin, USA)
D. Mallinson
,
S. Riggs
,
+6 authors
J. Wehmiller
2005
Corpus ID: 130174784
Highly Cited
2005
Highly Cited
2005
Classification of Mental Tasks Using Fixed and Adaptive Autoregressive Models of EEG Signals
Nai-Jen Huan
,
R. Palaniappan
Conference Proceedings. 2nd International IEEE…
2005
Corpus ID: 47428988
Classification of EEG signals extracted during mental tasks is a technique for designing brain computer interfaces (BCI). In this…
Expand
2005
2005
A Comparative Analysis of Multi-Class EEG Classification for Brain Computer Interface
F. Lee
,
Reinhold Scherer
,
R. Leeb
,
C. Neuper
,
H. Bischof
,
G. Pfurtscheller
2005
Corpus ID: 2171979
Classifying different electroencephalogram (EEG) patterns is one of the key components to designing a usable Brain Computer…
Expand
Highly Cited
1998
Highly Cited
1998
Depth-resolved analysis by laser-induced breakdown spectrometry at reduced pressure
J. Vadillo
,
J. Romero
,
C. Rodriguez
,
J. Laserna
1998
Corpus ID: 58888202
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…
Expand
Highly Cited
1996
Highly Cited
1996
Activation of retinoid receptors RARα and RXRα induces differentiation and apoptosis, respectively, in HL-60 cells
K. Mehta
,
T. McQueen
,
N. Neamati
,
S. Collins
,
M. Andreeff
1996
Corpus ID: 18197609
Induction of granulocytic differentiation in HL-60 myeloid leukemia cells by retinoids is followed by their death via apoptosis…
Expand
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)
ACCEPT & CONTINUE