Software Environment for Actionable & VVUQ-evaluated Exascale Applications (SEAVEA)
Software Environment for Actionable & VVUQ-evaluated Exascale Applications (SEAVEA)
可操作的软件环境
批准号：
EP/W007762/1
负责人：
Derek Groen
金额：
$36.69万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2021
资助国家：
英国
项目状态：
未结题
起止时间：
2021 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1109/access.2023.3321220
发表时间：
2023-01-01
期刊：
IEEE ACCESS
影响因子：
3.9
作者：
[Zhang，Xin, Han，Liangxiu, Zhang，Daoqiang]
通讯作者：
Zhang，Daoqiang
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs
Kmclib：从 OCaml 程序自动推断和验证会话类型
Kmclib：从 OCaml 程序自动推断和验证会话类型
DOI：
10.1007/978-3-030-99524-9_20
发表时间：
2022
期刊：
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science
影响因子：
--
作者：
[Keigo Imai, Julien Lange, Rumyana Neykova]
通讯作者：
Rumyana Neykova
DOI：
10.1021/acs.jcim.3c01654
发表时间：
2023-11-27
期刊：
JOURNAL OF CHEMICAL INFORMATION AND MODELING
影响因子：
5.6
作者：
[Wan, Shunzhou, Bhati, Agastya P., Wade, Alexander D., Coveney, Peter V.]
通讯作者：
Coveney, Peter V.
DOI：
10.1021/acs.jctc.3c00020
发表时间：
2023-06-13
期刊：
JOURNAL OF CHEMICAL THEORY AND COMPUTATION
影响因子：
5.5
作者：
[Bhati, Agastya P., Hoti, Art, Potterton, Andrew, Bieniek, Mateusz K., Coveney, Peter V.]
通讯作者：
Coveney, Peter V.
DOI：
10.1109/tgrs.2022.3193441
发表时间：
2022-01-01
期刊：
IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING
影响因子：
8.2
作者：
[Shi, Yue, Han, Liangxiu, Dancey, Darren]
通讯作者：
Dancey, Darren
海外基金