设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Elsevier电子期刊(269)
在“
Elsevier电子期刊
”中,
命中:
269
条,耗时:0.012997 秒
在所有数据库中总计命中:
269
条
1.
Risk information
formalisation
with graphs
作者:
Bernard Kamsu-Foguem
a
;
Bernard.Kamsu-Foguem@enit.fr
Author Vitae
;
Pierre Tiako
b
Author Vitae
关键词:
Formal modelling
;
Production logistics
;
Conceptual graphs
;
Risk management
;
Aeronautics
刊名:Computers in Industry
出版年:2017
2.
Pinning down polysemy: A
formalisation
for a Brazilian Portuguese preposition
作者:
Edilson Rodrigues
a
;
rodrigedilson@gmail.com
;
Paulo E. Santos
b
;
psantos@fei.edu.br
;
Marcos Lopes
c
;
marcoslopes@usp.br
关键词:
Qualitative spatial reasoning
;
Cognitive linguistics
;
Logic semantics
刊名:Cognitive Systems Research
出版年:2017
3.
Conceptualising and mapping coupled estuary, coast and inner shelf sediment systems
作者:
Jon French
a
;
j.french@ucl.ac.uk" class="auth_mail" title="E-mail the corresponding author
;
Helene Burningham
a
;
Gillian Thornhill
a
;
Richard Whitehouse
b
;
Robert J. Nicholls
c
关键词:
Coastal geomorphology
;
Systems theory
;
Knowledge
formalisation
;
Participatory modelling
刊名:Geomorphology
出版年:2016
4.
Knowledge Capture in CMM Inspection Planning: Barriers and Challenges
作者:
D. Anagnostakis
a
;
da178@hw.ac.uk" class="auth_mail" title="E-mail the corresponding author
;
J. Ritchie
a
;
T. Lim
a
;
A. Sivanathan
a
;
R. Dewar
b
;
R. Sung
b
;
F. Bosché
;
a
;
L. Carozza
a
关键词:
Computer aided inspection planning
;
Measurement strategies
;
CMM
;
Knowledge capture
;
Knowledge
formalisation
刊名:Procedia CIRP
出版年:2016
5.
Completeness in PVS of a Nominal Unification Algorithm
作者:
Mauricio Ayala-Rincó
;
n
a
;
1
;
ayala@unb.br" class="auth_mail" title="E-mail the corresponding author
;
Maribel Ferná
;
ndez
b
;
2
;
maribel.fernandez@kcl.ac.uk" class="auth_mail" title="E-mail the corresponding author
;
Ana Cristina Rocha-Oliveira
a
;
3
;
anacrismarie@gmail.com" class="auth_mail" title="E-mail the corresponding author
关键词:
Nominal terms
;
binders
;
α-equivalence
;
nominal unification
;
PVS
刊名:Electronic Notes in Theoretical Computer Science
出版年:2016
6.
Dataflow
formalisation
of real-time streaming applications on a Composable and Predictable Multi-Processor SOC
作者:
Andrew Nelson
a
;
Author Vitae
;
Kees Goossens
a
Author Vitae
;
Benny Akesson
b
Author Vitae
关键词:
Real time
;
Mixed time criticality
;
Multi-processor
;
GALS
;
Dataflow
;
Performance analysis
刊名:Journal of Systems Architecture
出版年:2015
7.
Assessing the potential of bus rapid transit-led network restructuring for enhancing affordable access to employment - The case of Johannesburg's Corridors of Freedom
作者:
Christoffel Venter
christo.venter@up.ac.za
关键词:
Bus rapid transit
;
Paratransit
;
Network restructuring
;
Accessibility
;
Social exclusion
;
Affordability
刊名:Research in Transportation Economics
出版年:2016
8.
A proposed assessment index for climate change-related risk for cultural heritage protection in Newcastle (Australia)
作者:
Giuseppe Forino
;
g.forino@gmail.com
;
Jamie MacKee
Jamie.mackee@newcastle.edu.au
;
Jason von Meding
Jason.vonmeding@newcastle.edu.au
关键词:
Climate change
;
Cultural heritage
;
Australia
;
Disaster risk reduction
;
Risk assessment
;
Index
刊名:International Journal of Disaster Risk Reduction
出版年:2016
9.
Inspiration and fixation: Questions, methods, findings, and challenges
作者:
Luis A. Vasconcelos
;
lal40@cam.ac.uk" class="auth_mail" title="E-mail the corresponding author
关键词:
fixation
;
creativity
;
design process
;
problem solving
;
design research
刊名:Design Studies
出版年:2016
10.
I loan, you mine: Metal streaming and off-take agreements as solutions to undercapitalisation facing small-scale miners?
作者:
Rachel Perks
rperks@worldbank.org" class="auth_mail" title="E-mail the corresponding author
关键词:
Artisanal and small-scale mining (ASM)
;
Financing
;
Formalization
;
Rwanda
;
Undercapitalization
刊名:The Extractive Industries and Society
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(269)
题名(53)
关键词(24)
文摘(235)
按出版年细分(269)
2027年及以后(6)
2017年(2)
2016年(20)
2015年(8)
2014年(1)
2013年(16)
2012年(11)
2011年(15)
2010年(17)
2009年(23)
2008年(26)
2007年(17)
2006年(18)
2005年(10)
2004年(13)
2003年(13)
2002年(13)
2001年(6)
2000年(5)
2000年及以前(29)
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
.