设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(13)
ProQuest学位论文(33)
Elsevier电子期刊(246)
SpringerLink电子期刊(344)
NATURE电子期刊(4)
ACS电子期刊(1)
在“
Elsevier电子期刊
”中,
命中:
246
条,耗时:小于0.01 秒
在所有数据库中总计命中:
641
条
1.
Mechanically certifying formula-based Noetherian induction
reasoning
作者:
Sorin Stratulat
sorin.stratulat@univ-lorraine.fr
关键词:
Noetherian induction
;
Cyclic induction proofs
;
Implicit induction proofs
;
Proof certification
;
Coq
;
SPIKE
刊名:Journal of
Symbolic
Computation
出版年:2017
2.
Improvements to Variable Elimination and
Symbolic
Probabilistic Inference for evaluating Influence Diagrams
作者:
Rafael Cabañ
;
as
a
;
rcabanas@decsai.ugr.es" class="auth_mail" title="E-mail the corresponding author
;
André
;
s Cano
a
;
acu@decsai.ugr.es" class="auth_mail" title="E-mail the corresponding author
;
Manuel Gó
;
mez-Olmedo
a
;
mgomez@decsai.ugr.es" class="auth_mail" title="E-mail the corresponding author
;
Anders L. Madsen
b
;
c
;
madsen@hugin.con" class="auth_mail" title="E-mail the corresponding author
关键词:
Influence Diagrams
;
Probabilistic graphical models
;
Combinatorial optimization problem
;
Exact evaluation
;
Heuristic algorithm
;
Lazy Evaluation
刊名:International Journal of Approximate
Reasoning
出版年:2016
3.
A semantic approach for enhancing assistive services in ubiquitous robotics
作者:
Naouel Ayari
a
;
naouel.ayari@u-pec.fr" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Abdelghani Chibani
a
;
chibani@u-pec.fr" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Yacine Amirat
a
;
amirat@u-pec.fr" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Eric Matson
b
;
c
;
ematson@purdue.edu" class="auth_mail" title="E-mail the corresponding author
Author Vitae
关键词:
Intelligent assistive services
;
Ubiquitous robotics
;
Multi-agents
;
Ontologies
;
Symbolic
modeling and
reasoning
刊名:Robotics and Autonomous Systems
出版年:2016
4.
Exploring shapelet transformation for time series classification in decision trees
作者:
Willian Zalewski
;
a
;
willian.zalewski@unila.edu.br" class="auth_mail" title="E-mail the corresponding author
;
willzal@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
Fabiano Silva
b
;
A.G. Maletzke
c
;
C.A. Ferrero
d
关键词:
Data mining
;
Classification
;
Time series
;
Shapelets
刊名:Knowledge-Based Systems
出版年:2016
5.
Engineering neural systems for high-level problem solving
作者:
Jared Sylvester
jared@jsylvest.com" class="auth_mail" title="E-mail the corresponding author
;
James Reggia
;
reggia@cs.umd.edu" class="auth_mail" title="E-mail the corresponding author
关键词:
Neuroengineering
;
Attractor neural networks
;
Gated neural networks
;
Top-down vs. bottom-up AI
;
Neural network problem solving
刊名:Neural Networks
出版年:2016
6.
Anomaly detection and identification scheme for VM live migration in cloud infrastructure
作者:
Tian Huang
a
;
ian_malcolm@sjtu.edu.cn" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Yongxin Zhu
a
;
zhuyongxin@sjtu.edu.cn" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Yafei Wu
a
;
wuyf0406@sjtu.edu.cn" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Sté
;
phane Bressan
b
;
steph@nus.edu.sg" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Gillian Dobbie
c
;
gill@cs.auckland.ac.nz" class="auth_mail" title="E-mail the corresponding author
Author Vitae
关键词:
Anomaly detection
;
Security
;
Virtualization
刊名:Future Generation Computer Systems
出版年:2016
7.
Towards integrated neural-
symbolic
systems for human-level AI: Two research programs helping to bridge the gaps
作者:
Tarek R. Besold
;
tarek.besold@uni-osnabrueck.de" class="auth_mail" title="E-mail the corresponding author
;
Kai-Uwe Kü
;
hnberger
关键词:
Research program
;
Neural&ndash
;
symbolic
integration
;
Complexity theory
;
Cognitive architectures
;
Agent architectures
刊名:Biologically Inspired Cognitive Architectures
出版年:2015
8.
Possibilistic
reasoning
with partially ordered beliefs
作者:
Fayç
;
al Touazi
Faycal.Touazi@irit.fr" class="auth_mail" title="E-mail the corresponding author
;
Claudette Cayrol
;
ccayrol@irit.fr" class="auth_mail" title="E-mail the corresponding author
;
Didier Dubois
dubois@irit.fr" class="auth_mail" title="E-mail the corresponding author
关键词:
Partially ordered belief bases
;
Conditional logic
;
Possibilistic logic
刊名:Journal of Applied Logic
出版年:2015
9.
Knowledge engineering approach for the analysis of viticulture
作者:
Bernard Kamsu-Foguem
a
;
Bernard.Kamsu-Foguem@enit.fr" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Auré
;
lie Flammang
b
Author Vitae
;
Germaine Tchuenté
;
-Foguem
c
Author Vitae
关键词:
Viticulture
;
Climatic indexes
;
Multicriteria analysis
;
Conceptual graphs
;
Numerical&ndash
;
symbolic
reasoning
刊名:Ecological Informatics
出版年:2015
10.
What motivates a conspiracy theory? Birther beliefs, partisanship, liberal-conservative ideology, and anti-Black attitudes
作者:
Josh Pasek
a
;
jpasek@umich.edu" class="auth_mail" title="E-mail the corresponding author
;
Tobias H. Stark
b
;
c
;
t.h.stark@uu.nl" class="auth_mail" title="E-mail the corresponding author
;
Jon A. Krosnick
d
;
e
;
krosnick@stanford.edu" class="auth_mail" title="E-mail the corresponding author
;
Trevor Tompson
f
;
tompson.trevor@norc.org" class="auth_mail" title="E-mail the corresponding author
关键词:
Birtherism
;
Racial attitudes
;
Motivated
reasoning
;
Symbolic
racism
;
Anti-Black stereotypes
;
Rumors
刊名:Electoral Studies
出版年:2015
1
2
3
4
5
6
7
8
9
按检索点细分(246)
题名(15)
关键词(16)
文摘(159)
按出版年细分(246)
2027年及以后(7)
2017年(1)
2016年(5)
2015年(5)
2013年(12)
2012年(7)
2011年(17)
2010年(18)
2009年(16)
2008年(14)
2007年(12)
2006年(6)
2005年(12)
2004年(6)
2003年(13)
2002年(9)
2001年(19)
2000年(15)
2000年及以前(52)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.