中文版 | English

在结果中检索

Arid

浏览/检索结果: 共45条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
GhLCYε-3 characterized as a lycopene cyclase gene responding to drought stress in cotton 期刊论文
发表期刊: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL. 出版年: 2024, 卷号: 23, 页码: 384-395
作者:  Ni, Kesong;  Lu, Xuke;  Li, Shuyan;  Li, Fei;  Zhang, Yuexin;  Cui, Ruifeng;  Fan, Yapeng;  Huang, Hui;  Chen, Xiugui;  Wang, Junjuan;  Wang, Shuai;  Guo, Lixue;  Zhao, Lanjie;  He, Yunxin;  Ye, Wuwei
收藏  |  浏览/下载：30/0  |  提交时间：2024/10/04
Carotenoids  Cotton  Functional verification  Lutein  Reactive oxygen species (ROS)  Lycopene cyclase  
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications 期刊论文
发表期刊: SCIENCE OF COMPUTER PROGRAMMING. 出版年: 2024, 卷号: 232
作者:  Arshad, Hamed;  Horne, Ross;  Johansen, Christian;  Owe, Olaf;  Willemse, Tim A. C.
收藏  |  浏览/下载：11/0  |  提交时间：2024/10/04
XACML  mCRL2  Formal verification  Access control  
A verified and validated moving domain computational fluid dynamics solver with applications to cardiovascular flows 期刊论文
发表期刊: INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN BIOMEDICAL ENGINEERING. 出版年: 2023, 卷号: 39, 期号: 6
作者:  Kjeldsberg, Henrik A.;  Sundnes, Joakim;  Valen-Sendstad, Kristian
收藏  |  浏览/下载：14/0  |  提交时间：2024/09/29
arbitrary Lagrangian-Eulerian formulation  computational fluid dynamics  hemodynamics  left ventricle  moving domain  validation  verification  
Building next generation Cyber Ranges with CRACK 期刊论文
发表期刊: COMPUTERS & SECURITY. 出版年: 2020, 卷号: 95
作者:  Russo, Enrico;  Costa, Gabriele;  Armando, Alessandro
收藏  |  浏览/下载：5/0  |  提交时间：2021/01/07
Cyber Range  Cybersecurity  Training  Automated design  Scenario verification  
Skill of Global Raw and Postprocessed Ensemble Predictions of Rainfall in the Tropics 期刊论文
发表期刊: WEATHER AND FORECASTING. 出版年: 2020, 卷号: 35, 期号: 6, 页码: 2367-2385
作者:  Vogel, Peter;  Knippertz, Peter;  Fink, Andreas H.;  Schlueter, Andreas;  Gneiting, Tilmann
收藏  |  浏览/下载：14/0  |  提交时间：2021/07/30
Tropics  Precipitation  Statistical techniques  Ensembles  Forecast verification/skill  Probabilistic Quantitative Precipitation Forecasting (PQPF)  
Water Volume Variations Estimation and Analysis Using Multisource Satellite Data: A Case Study of Lake Victoria 期刊论文
发表期刊: REMOTE SENSING. 出版年: 2020, 卷号: 12, 期号: 18
作者:  Lin, Yi;  Li, Xin;  Zhang, Tinghui;  Chao, Nengfang;  Yu, Jie;  Cai, Jianqing;  Sneeuw, Nico
收藏  |  浏览/下载：20/0  |  提交时间：2021/01/07
multisource satellite data  water surface area  water level  water volume variation  Lake Victoria  comparative verification  
PHYSICAL VERIFICATION OF PANEL-LEVEL PACKAGING DESIGNS UTILIZING DIE DRIFT PATTERNING TECHNOLOGY 会议论文
会议名称: International Wafer Level Packaging Conference (IWLPC). 会议地点: ELECTR NETWORK. 会议日期: OCT 13-30, 2020
作者:  Ramadan, Tarek;  Wang, Sean
收藏  |  浏览/下载：23/0  |  提交时间：2021/11/19
Die drift patterning  Panel-level Packaging  Physical Verification  die drift  
Evaluation of the Radar QPE and Rain Gauge Data Merging Methods in Northern China 期刊论文
发表期刊: REMOTE SENSING. 出版年: 2020, 卷号: 12, 期号: 3
作者:  Qiu, Qingtai;  Liu, Jia;  Tian, Jiyang;  Jiao, Yufei;  Li, Chuanzhe;  Wang, Wei;  Yu, Fuliang
收藏  |  浏览/下载：34/0  |  提交时间：2020/05/22
weather radar quantitative precipitation estimation  rain gauge  radar-rain gauge merging  leave-one-out cross validation  verification  
不同覆盖度沙粒胶结体风蚀抑制效益研究 期刊论文
发表期刊: 干旱区地理. 出版年: 2020, 卷号: 43, 期号: 1, 页码: 56-63
作者:  任宏晶;  李生宇;  雷加强;  樊瑞静;  蔡东旭;  周杰
收藏  |  浏览/下载：63/0  |  提交时间：2020/07/01
sand cemented bodies  field verification  wind erosion amount  anti-erosion efficiency  sand-fixing benefits  
猪野泽全新世古湖泊水位变化定量重建 期刊论文
发表期刊: 兰州大学学报. 自然科学版. 出版年: 2019, 卷号: 55, 期号: 5, 页码: 624-631
作者:  韩琴;  李育;  李鹏程;  张成琦;  王岳
收藏  |  浏览/下载：20/0  |  提交时间：2020/05/22
surface sediment  stratigraphic sediment  quantitative reconstruction  verification  Zhuye Lake