搜索页_+Time+constraints

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(294)	SpringerLink电子期刊(11000)	GSW全文库(708)
Wiley电子期刊(222)	ProQuest学位论文(1562)	Elsevier电子期刊(52862)
Springer电子图书(30)	NATURE电子期刊(60)	ACS电子期刊(506)

在“Elsevier电子期刊”中，命中：52,862条，耗时：0.0509757 秒

在所有数据库中总计命中：67,244条

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 ; ¹ ; Hongxiang Wu^b ; ¹ ; 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.Design of survivable networks with vulnerability constraints

作者：Luis Gouveia^a ; ^{legouveia@fc.ul.pt} ; Markus Leitner ; ^b ; ^{markus.leitner@univie.ac.at}

关键词：Networks ; Integer programming ; Survivable network design ; Hop-constraints ; OR in telecommunications

刊名：European Journal of Operational Research

出版年：2017

按检索点细分(52862)

题名(9823)

作者(1)

关键词(4124)

文摘(46131)