设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
院士团队服务(29)
在“
Elsevier电子期刊
”中,
命中:
52,862
条,耗时:小于0.01 秒
在所有数据库中总计命中:
29
条
1.
Automated analysis of integrity
constraints
in multi-level models
作者:
Esther Guerra
;
Esther.Guerra@uam.es
Author Vitae
;
Juan de Lara
Juan.deLara@uam.es
Author Vitae
关键词:
Multi-level modelling
;
Deep meta-modelling
;
Conceptual modelling
;
Management of integrity
constraints
;
Meta-level flattening
;
Model finders
;
Constraint solving
;
MetaDepth
刊名:Data & Knowledge Engineering
出版年:2017
2.
Intruder deducibility
constraints
with negation. Decidability and application to secured service compositions
作者:
Tigran Avanesov
a
;
tigran.avanesov@uni.lu
;
Yannick Chevalier
b
;
ychevali@irit.fr
;
Michael Rusinowitch
c
;
rusi@loria.fr
;
Mathieu Turuani
c
;
mathieu.turuani@loria.fr
关键词:
Web services
;
Orchestration
;
Security policy
;
Separation of duty
;
Deducibility
constraints
;
Cryptographic protocols
;
Formal methods
;
Automated verification
;
Synthesis
刊名:Journal of Symbolic Computation
出版年:2017
3.
A convex programming approach to the inverse kinematics problem for manipulators under
constraints
作者:
Franco Blanchini
a
;
franco.blanchini@uniud.it
;
Gianfranco Fenu
b
;
fenu@units.it
;
Giulia Giordano
c
;
giulia.giordano@control.lth.se
;
Felice Andrea Pellegrino
b
;
fapellegrino@units.it
关键词:
Robotic manipulators
;
Inverse kinematics
;
Convex programming
;
Constraints
刊名:European Journal of Control
出版年:2017
4.
Satisfiability of general intruder
constraints
with and without a set constructor
作者:
Tigran Avanesov
a
;
tigran.avanesov@uni.lu
;
Yannick Chevalier
b
;
yannick.chevalier@irit.fr
;
Michael Rusinowitch
c
;
michael.rusinowitch@inria.fr
;
Mathieu Turuani
c
;
mathieu.turuani@inria.fr
关键词:
ACI
;
Deducibility
constraints
;
Dolev&ndash
;
Yao deduction system
;
Multiple intruders
;
Security
刊名:Journal of Symbolic Computation
出版年:2017
5.
Affordances and
constraints
of BYOD (Bring Your Own Device) for learning and teaching in higher education: Teachers' perspectives
作者:
Yanjie Song
;
ysong@eduhk.hk
;
Siu Cheung Kong
关键词:
Affordances
;
Constraints
;
BYOD
;
Teachers' perspectives
;
Higher education
刊名:The Internet and Higher Education
出版年:2017
6.
Quay crane scheduling with draft and trim
constraints
作者:
Lingxiao Wu
;
Weimin Ma
;
mawm@tongji.edu.cn
关键词:
Container terminals
;
Quay crane scheduling
;
Draft and trim
constraints
;
Branch and bound
;
Genetic algorithm
刊名:Transportation Research Part E: Logistics and Transportation Review
出版年:2017
7.
Clean production pathways for regional power-generation system under emission
constraints
: A case study of Shanghai, China
作者:
Zheng Chang
a
;
b
;
1
;
Hongxiang Wu
b
;
1
;
Kexi Pan
c
;
pankx@fudan.edu.cn
;
Hanxiong Zhu
c
;
Jianmin Chen
b
;
jmchen@fudan.edu.cn
关键词:
Power generation
;
Capacity expansion
;
Emission
constraints
;
LEAP
;
Optimization
刊名:Journal of Cleaner Production
出版年:2017
8.
Differential effect of liquidity
constraints
on firm growth
作者:
Syed Manzur Quader
manzur@ciu.edu.bd
关键词:
Law of proportionate effects
;
Financial
constraints
;
Growth cash flow sensitivity
;
Leverage effect
;
GMM
刊名:Review of Financial Economics
出版年:2017
9.
A global numerical approach for lightweight design optimization of laminated composite plates subjected to frequency
constraints
作者:
T. Vo-Duy
voduytrung@tdt.edu.vn" class="auth_mail" title="E-mail the corresponding author
;
V. Ho-Huu
hohuuvinh@tdt.edu.vn" class="auth_mail" title="E-mail the corresponding author
;
T.D. Do-Thi
thanhdieu0801@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
H. Dang-Trung
dangtrunghau@tdt.edu.vn" class="auth_mail" title="E-mail the corresponding author
;
T. Nguyen-Thoi
;
nguyenthoitrung@tdt.edu.vn" class="auth_mail" title="E-mail the corresponding author
关键词:
Laminated composite plates
;
Lightweight design
;
Differential evolution
;
Smoothed finite element method
;
Mixed variable optimization
;
Frequency
constraints
刊名:Composite Structures
出版年:2017
10.
On the exact solution of the no-wait flow shop problem with due date
constraints
作者:
Hamed Samarghandi
a
;
samarghandi@edwards.usask.ca
;
hamed.samarghandi@gmail.com
;
Mehdi Behroozi
b
;
m.behroozi@neu.edu
关键词:
No-wait flow shop
;
Due date
constraints
;
Mixed integer programming
;
Constraint programming
;
Enumeration algorithm
刊名:Computers & Operations Research
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(52862)
题名(9823)
作者(1)
关键词(4124)
文摘(46131)
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
.