1 1,达卡工程技术大学机械工程系(二重奏),加兹普尔1707年,孟加拉国2材料与冶金工程系,达卡工程与技术大学(二重奏),加兹普尔1707年,孟加拉国邦加拉德省3核安全部,班克斯群岛,班克斯群岛1707年,班克斯群岛, IUBAT国际商业农业与技术大学机械工程,达卡1230,孟加拉国5物理系,理学院,Jazan University,P.O。 Box 114,Jazan 45142,沙特阿拉伯6马来西亚大学砂拉越大学工程学院,Kota Samarahan 94300,马来西亚7卓越材料研究中心(CEAMR),化学系(CEAMR)和化学系,科学系,科学系,国王Abdulaziz University,P.O. Abdulaziz University,P.O. Box 80203,Jeddah 21589,沙特阿拉伯8纳米技术中心,自然科学系,Coppin州立大学,巴尔的摩,MD 21216,美国 *通信:ASAD@DUET.AC.AC.AC.AC.BD(M.A.C.1,达卡工程技术大学机械工程系(二重奏),加兹普尔1707年,孟加拉国2材料与冶金工程系,达卡工程与技术大学(二重奏),加兹普尔1707年,孟加拉国邦加拉德省3核安全部,班克斯群岛,班克斯群岛1707年,班克斯群岛, IUBAT国际商业农业与技术大学机械工程,达卡1230,孟加拉国5物理系,理学院,Jazan University,P.O。Box 114,Jazan 45142,沙特阿拉伯6马来西亚大学砂拉越大学工程学院,Kota Samarahan 94300,马来西亚7卓越材料研究中心(CEAMR),化学系(CEAMR)和化学系,科学系,科学系,国王Abdulaziz University,P.O. Abdulaziz University,P.O. Box 80203,Jeddah 21589,沙特阿拉伯8纳米技术中心,自然科学系,Coppin州立大学,巴尔的摩,MD 21216,美国 *通信:ASAD@DUET.AC.AC.AC.AC.BD(M.A.C.Box 114,Jazan 45142,沙特阿拉伯6马来西亚大学砂拉越大学工程学院,Kota Samarahan 94300,马来西亚7卓越材料研究中心(CEAMR),化学系(CEAMR)和化学系,科学系,科学系,国王Abdulaziz University,P.O. Abdulaziz University,P.O.Box 80203,Jeddah 21589,沙特阿拉伯8纳米技术中心,自然科学系,Coppin州立大学,巴尔的摩,MD 21216,美国 *通信:ASAD@DUET.AC.AC.AC.AC.BD(M.A.C.Box 80203,Jeddah 21589,沙特阿拉伯8纳米技术中心,自然科学系,Coppin州立大学,巴尔的摩,MD 21216,美国 *通信:ASAD@DUET.AC.AC.AC.AC.BD(M.A.C.); mmrahman@kau.edu.sa(m.m.r.)
1 阿卜杜勒阿齐兹国王大学药学院天然产物系,吉达 21589,沙特阿拉伯;nhamadaelshoubaki@stu.kau.edu.sa(NMA);melfaky@kau.edu.sa(MAE);aekoshak@kau.edu.sa(AEK)2 阿卜杜勒阿齐兹国王大学精准医学人工智能中心,吉达 21589,沙特阿拉伯 3 阿卜杜勒阿齐兹国王大学药学院药物化学系,吉达 21589,沙特阿拉伯;maaalharbi1@kau.edu.sa 4 加拉拉大学药学院生药学系,新加拉拉 43713,埃及; reda.fouad@gu.edu.eg 5 苏伊士运河大学药学院生药学系,埃及伊斯梅利亚 41522 6 苏伊士运河大学药学院药物化学系,埃及伊斯梅利亚 41522 * 通讯地址:ssahmed@kau.edu.sa (SSE);khaled_darwish@pharm.suez.edu.eg (KMD);电话:+966-544-512-552 (SSE);+20-100-5330-114 (KMD)
1 杰皮信息技术学院 (JIIT) 生物技术系,诺伊达 201309,印度 2 麦考瑞大学分子科学系,麦考瑞公园,新南威尔士州 2109,澳大利亚 3 UPES 健康科学学院、药学科学系,德拉敦 248007,印度 4 阿卜杜勒阿齐兹国王大学医学院神经科学系生理学系,吉达 21589,沙特阿拉伯 5 阿卜杜勒阿齐兹国王大学法赫德国王医学研究中心临床前研究部,吉达 21589,沙特阿拉伯 6 阿卜杜勒阿齐兹国王大学法赫德国王医学研究中心,吉达 21589,沙特阿拉伯 7 阿卜杜勒阿齐兹国王大学应用医学科学学院医学实验室科学系,吉达 21589,沙特阿拉伯 8 沙迦大学健康科学学院医学实验室科学系,沙迦 27272,阿拉伯联合酋长国 9 沙尔达大学工程与技术学院生物技术系,大诺伊达 201310,印度 10 北阿坎德邦大学应用与生命科学学院(SALS)生物技术系,德拉敦 248007,印度 11 昌迪加尔大学生物技术工程与食品技术系,莫哈里 140413,印度 * 通讯地址:manishasingh1295@gmail.com(MS);saurabh.jha@sharda.ac.in(SKJ)
a 诺森比亚大学,电力与控制系统研究组,英国,纽卡斯尔,Ellison Place NE1 8ST b 阿卜杜勒阿齐兹国王大学,可再生能源与电力系统研究卓越中心,沙特阿拉伯,吉达,21589 c 谢菲尔德哈勒姆大学,工程与数学系,英国,谢菲尔德,S1 1WB d 阿卜杜勒阿齐兹国王大学,工程学院,电气与计算机工程系,KA CARE 能源研究与创新中心,沙特阿拉伯,吉达,21589
简介:不同的规划竞赛 (Long 等人 2000;Coles 等人 2012;Vallati 等人 2015) 表明,规划系统正变得越来越可扩展和高效,使其适合实际应用。由于规划的许多应用都是安全至关重要的,因此提高规划算法和系统的可信度对于它们的广泛采用至关重要。因此,目前正在做出大量努力来提高规划系统的可信度 (Howey、Long 和 Fox 2004;Eriksson、R¨oger 和 Helmert 2017;Abdulaziz、Norrish 和 Gretton 2018;Abdulaziz 和 Lammich 2018)。提高软件的可信度是一个研究得很透彻的问题。文献中尝试了三种方法 (Abdulaziz、Mehlhorn 和 Nipkow 2019)。首先,通过应用软件工程技术,例如在正确的抽象层次上编程、代码审查和测试,可以提高系统的可信度。虽然这些做法相对容易实现,但它们并不完整。其次,有认证计算,给定的程序除了计算其输出外,还要计算一个证书,说明为什么这个输出是正确的。这将可信度的负担转移到证书检查器上,证书检查器应该比要认证其输出的系统简单得多,因此不容易出错。认证计算是由 Mehlhorn 和 N¨aher 于 1998 年率先提出的,他们将其用于他们的 LEDA 库。在规划领域,这种方法是由 Howey、Long 和 Fox 率先提出的,他们开发了规划验证器 VAL(Howey、Long 和 Fox 2004)。此外,认证规划的不可解性是由 Eriksson 率先提出的,
在2019年,Regeneron成为ISEF的冠名赞助商,以帮助奖励和庆祝全球最好,最聪明的年轻人,并鼓励他们从事STEM的职业,以此作为对世界产生积极影响的一种方式。Regeneron ISEF得到了其他赞助商社区的支持,包括Akamai Foundation,Beal Bank,Gordon和Betty Moore基金会,Howmet Aerosspase Foundation,Jacobs,Abdulaziz King Abdulaziz及其同伴礼物与创造力基金会,Lyda Hill Philanthopies,Lyda Hill Philanthropies,Microsoft,Microsoft,Microsoft,Microsoft,National Chrisecoper of Modecoper of Modem oblecoper oblecorment oblecorment oblecorment oblecoper oblecorm of Science I. Schattner基金会,得克萨斯州A&M大学西门子能源,CESCO语言服务,Insaco,Oracle Academy,Southern Methodist University,德克萨斯大学达拉斯大学,陆军ROTC,Exxonmobil和Hoglund基金会。
1 Ghannam诊所,吉达,沙特阿拉伯; 2 Almana Group of Hospitals,沙特阿拉伯Dammam; 3国民警卫队(卫生事务)和沙特·阿卜杜拉齐兹国王国际医学研究中心国王国际医学研究中心,沙特阿拉伯利雅得市; 4沙特阿拉伯利雅得国王法哈德医疗城; 5国民警卫队(卫生事务),利雅得国王阿卜杜勒齐兹医学城和沙特阿卜杜拉西兹国王卫生科学大学,沙特阿拉伯利雅得; 6沙特阿拉伯吉达的家庭医学国际医疗中心; 7号达拉医院,沙特阿拉伯,沙特阿拉伯; 8沙特阿拉伯利雅得的Sulaiman Al Habib医学集团; 9开罗大学,开罗,埃及和GNP医院,吉达,沙特阿拉伯; 10吉达大学,沙特阿拉伯吉达; 11沙特阿拉伯吉达的Soliman Faineh医院; 12 Merck Serono中东FZ-LTD,吉达,沙特阿拉伯
1 华盛顿大学医学院放射肿瘤学系,圣路易斯,MO 63130,美国; nmuhammad@wustl.edu 2 G-Bioscience,9800 Page Ave.,圣路易斯,MO 63132,美国; darksha97@gmail.com 3 密苏里大学儿童健康系,哥伦比亚,MO 65211,美国; tariqueunmatched@gmail.com 4 密苏里大学内科系,哥伦比亚,MO 65211,美国; huma.7biotech@gmail.com 5 占西邦德尔坎德大学化学系,占西 284128,印度北方邦; ashrafm035@gmail.com 6 IFFCO 纳米生物技术研究中心,Kalol 382423,古吉拉特邦,印度; rameshraliya@iffco.in 7 法赫德国王医学研究中心,阿卜杜勒阿齐兹国王大学,吉达 21589,沙特阿拉伯;shamstabrez1@gmail.com(ST);taalzughaibi@kau.edu.sa(TAZ) 8 医学实验室科学系,应用医学科学学院,阿卜杜勒阿齐兹国王大学,吉达 21589,沙特阿拉伯;aalsaieedi@kau.edu.sa 9 疫苗和免疫治疗部,法赫德国王医学研究中心,阿卜杜勒阿齐兹国王大学,吉达 21589,沙特阿拉伯 10 吉达大学科学学院生物化学系,吉达 21959,沙特阿拉伯;ijhakeem@uj.edu.sa * 通信地址:suhaildbt@gmail.com † 这些作者对这项工作做出了同等贡献。
1 沙特阿拉伯利雅得诺拉·宾特·阿卜杜勒拉赫曼公主大学科学学院生物系 2 利比亚布拉克瓦迪·阿尔沙蒂大学医学技术学院医学实验室技术系 3 沙特阿拉伯吉达阿卜杜勒阿齐兹国王大学科学学院生物科学系 4 沙特阿拉伯麦地那苏丹王子军事武装部队实验室和血库部 5 沙特阿拉伯阿尔哈吉萨塔姆·本·阿卜杜勒阿齐兹王子大学应用医学科学学院 6 埃及塞得港大学护理学院 7 沙特阿拉伯利雅得阿尔玛雷法大学医学院基础医学系 8 埃及曼苏拉大学医学院医学生物化学系 9 沙特阿拉伯塔布克大学医学院医学微生物学系 10 埃及开罗俄罗斯大学药学院微生物学和免疫学系埃及 11 沙特阿拉伯吉达阿卜杜勒阿齐兹国王大学医学院临床微生物学和免疫学系 12 埃及伊斯梅利亚苏伊士运河大学理学院植物学和微生物学系