设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(75)
NATURE电子期刊(5)
Elsevier电子期刊(61)
ProQuest学位论文(25)
GSW全文库(1)
ACS电子期刊(1)
在“
Elsevier电子期刊
”中,
命中:
61
条,耗时:0.0339743 秒
在所有数据库中总计命中:
168
条
1.
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
作者:
Khalil Ghorbal
a
;
kghorbal@cs.cmu.edu
;
Andrew Sogokon
c
;
a.sogokon@sms.ed.ac.uk
;
André
;
Platzer
b
;
aplatzer@cs.cmu.edu
关键词:
Formal verification
;
Polynomial differential equations
;
Positive invariance
;
Deductive
power
;
Dynamical systems
刊名:Computer Languages, Systems & Structures
出版年:2017
2.
The need of hypothesis-driven designs and conceptual models in impact assessment studies: An example from the free-living marine nematodes
作者:
Gustavo Fonseca
;
gfonseca@unifesp.br" class="auth_mail" title="E-mail the corresponding author
;
Fabiane Gallucci
关键词:
Marine pollution
;
Disturbance
;
Organic enrichment
;
Dynamic equilibrium hypothesis
;
Dynamic energy budget
刊名:Ecological Indicators
出版年:2016
3.
An extended constraint
deductive
database: Theory and implementation
作者:
Gabriel Ar
;
a-L贸pez
;
Susana Nieva
;
Fern
;
o S谩enz-P茅rez
;
Jaime S谩nchez-Hern谩ndez
关键词:
Deductive
databases
;
Constraints
;
Hereditary Harrop formulas
;
Fixpoint semantics
刊名:Journal of Logic and Algebraic Programming
出版年:January, 2014
4.
The dual processes hypothesis in mathematics performance: Beliefs, cognitive reflection, working memory and reasoning
作者:
In茅s M陋 G贸mez-Chac贸n
;
Juan A. Garc铆a-Madruga
;
Jos茅 脫scar Vila
;
M陋 Rosa Elos煤a
;
Raquel Rodr铆guez
关键词:
Mathematics education
;
Dual processes
;
Beliefs
;
Cognitive reflection
;
Reasoning
;
Working memory
刊名:Learning and Individual Differences
出版年:January, 2014
5.
Formalizing knowledge on international environmental regimes: A?first step towards integrating political science in integrated assessments of global environmental change
作者:
M.G. de Vos
a
;
b
;
martine.de.vos@vu.nl
;
mgdevos@gmail.com
;
P.H.M. Janssen
a
;
M.T.J. Kok
a
;
S. Frantzi
a
;
c
;
E. Dellas
c
;
P. Pattberg
c
;
A.C. Petersen
a
;
c
;
F. Biermann
c
关键词:
Knowledge formalization
;
Regimes
;
Governance
;
Integrated assessment
;
Fuzzy logic
;
Interdisciplinary
刊名:Environmental Modelling and Software
出版年:2013
6.
Semantic Ontology Mapping for Interoperability of Learning Resource Systems using a rule-based reasoning approach
作者:
Ngamnij Arch-int
;
Somjit Arch-int
关键词:
Ontology mapping
;
Learning resource systems
;
Semantic interoperability
;
Learning object
;
Semantic conflicts
;
Structural conflicts
;
Rule-based reasoning
刊名:Expert Systems with Applications
出版年:2013
7.
SoHyFIS-Yager: A self-organizing Yager based Hybrid neural Fuzzy Inference System
作者:
S.W. Tung
;
C. Quek
;
C. Guan
关键词:
HyFIS
;
Gaussian Discrete Incremental Clustering
;
Yager inference
;
Noise handling
;
Fuzzy systems
;
Neural networks
;
Neuro-fuzzy systems
;
Mackey&ndash
;
Glass prediction
;
Iris classification
;
Ovarian cancer diagnosis
刊名:Expert Systems with Applications
出版年:2012
8.
Large scale brain activations predict reasoning profiles
作者:
Carlo
;
Reverberi
a
;
;
b
;
;
c
;
;
carlo.reverberi@unimib.it
;
Luca L.
;
Bonatti
d
;
Richard S.J.
;
Frackowiak
b
;
;
e
;
Eraldo
;
Paulesu
a
;
;
f
;
Paolo
;
Cherubini
a
;
Emiliano
;
Macaluso
b
刊名:NeuroImage
出版年:2012
9.
Physical aggression in Australian football: A qualitative study of elite athletes
作者:
Pippa Grange
;
John H. Kerr
关键词:
Physical aggression
;
Play
;
anger
;
power
and thrill aggression
;
Australian football
;
Reversal theory
刊名:Psychology of Sport and Exercise
出版年:2010
10.
Predictive Validity of Scores in Mathematics for Reasoning Ability in Mathematics for Grade 9 Students in Khyber Pakhtunkhwa Based on Curriculum of Mathematics
作者:
Amir Zaman
a
;
amirzaman69@yahoo.com
;
NB Jumani
a
;
Alamgir
b
;
Arshad Ali
c
;
M. Athar Hussain
a
关键词:
Predictive validity
;
Educational Testing and Evaluation
;
Reasoning in mathematics
;
mathematical thinking
刊名:Procedia - Social and Behavioral Sciences
出版年:2011
1
2
3
4
5
6
7
按检索点细分(61)
题名(2)
关键词(2)
文摘(53)
按出版年细分(61)
2027年及以后(2)
2017年(1)
2016年(1)
2013年(2)
2012年(2)
2011年(1)
2010年(2)
2009年(4)
2008年(1)
2007年(3)
2005年(1)
2004年(3)
2003年(9)
2002年(3)
2001年(2)
2000年(3)
2000年及以前(21)
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
.