个人信息传真电话:+90 0544 829 0417电子邮件:koray.erhan@marmara.edu.tr其他电子邮件:korayerhan@gmail.com web:https://avesis.marmara.edu.edu.edu.tr/15032国际研究员IDS Scho IDS Scho IDS Scho 0000-0003-0505-9389 Publons / Web of ScienceResearcherıd:F-6199-2018Scopusıd:571912591117 Yoksis研究人员ID:38410教育信息研究生毕业生,研究生,伊斯坦布尔技术大学,社会科学研究所,土耳其2019年,土耳其,土耳其,继续博士学位,科凯利大学,科学,能源系统工程系,土耳其,2013年 - 2018年研究生,伊斯坦布尔技术大学,电气 - 电气 - 电气工程,电气工程,土耳其,2010年 - 2013年本科生,Yildiz技术大学,电气和电子学院,电气和电子学院部门,土耳其2005年 - 2010年
由AygenSavaşAlkan提交,部分履行了中东技术大学化学工程学硕士学位的要求,由HalilKalıpçılar博士教授,Pretied and Applied Sciences研究生院,PınarCiseciences研究生院PınarCharissScience教授,PınarCasalık博士。Zeynep博士Zulfaz博士EMECEN主管,化学工程,METU检查委员会成员:LeventYılmazChemical Engineering教授,Metu Assoc。 Zeynep博士ÇulfazEmecen Chemical Engineering,Metu教授BirgülTantekinErsolmaz Chemical Engineering,伊特·艾协会。 METU助理Erhan Bat Chemical Engineering博士。 EmreBüküşoğlu博士,MetuZeynep博士Zulfaz博士EMECEN主管,化学工程,METU检查委员会成员:LeventYılmazChemical Engineering教授,Metu Assoc。Zeynep博士ÇulfazEmecen Chemical Engineering,Metu教授BirgülTantekinErsolmaz Chemical Engineering,伊特·艾协会。 METU助理Erhan Bat Chemical Engineering博士。 EmreBüküşoğlu博士,MetuZeynep博士ÇulfazEmecen Chemical Engineering,Metu教授BirgülTantekinErsolmaz Chemical Engineering,伊特·艾协会。METU助理Erhan Bat Chemical Engineering博士。 EmreBüküşoğlu博士,MetuMETU助理Erhan Bat Chemical Engineering博士。EmreBüküşoğlu博士,MetuEmreBüküşoğlu博士,Metu
Atakan Büke Leipzig University, Germany Berenice Juárez López Autonomous University of Coahuila, Mexico Bushra Usman Foreman Christian College University, Pakistan Ceren Gülser İlikan Rasimoğlu Acıbadem Acıbadem University Zacatecas, Mexico Derya Nizam Izmir Economy University, Turkey Ece Zeybek Yilmaz开发大学,土耳其édgarRamon Arteaga figueroa拉丁美洲纳米技术与社会网络(Relans),墨西哥Erhan Ustaoglu Marmara大学,土耳其Esrake Istanbul Istanbul Medeniyet大学,土耳其Zacatecas,墨西哥Kateryna Tryma Inst。 H. edu。 nat。 A. of Edu Sci。 <乌克兰,乌克兰Atakan Büke Leipzig University, Germany Berenice Juárez López Autonomous University of Coahuila, Mexico Bushra Usman Foreman Christian College University, Pakistan Ceren Gülser İlikan Rasimoğlu Acıbadem Acıbadem University Zacatecas, Mexico Derya Nizam Izmir Economy University, Turkey Ece Zeybek Yilmaz开发大学,土耳其édgarRamon Arteaga figueroa拉丁美洲纳米技术与社会网络(Relans),墨西哥Erhan Ustaoglu Marmara大学,土耳其Esrake Istanbul Istanbul Medeniyet大学,土耳其Zacatecas,墨西哥Kateryna Tryma Inst。H. edu。 nat。 A. of Edu Sci。 <乌克兰,乌克兰H. edu。nat。A. of Edu Sci。 <乌克兰,乌克兰A. of Edu Sci。<乌克兰,乌克兰
来自国外:教授Univ。,C。Voicu博士(罗马尼亚布加勒斯特);教授Univpopa(罗马尼亚布加勒斯特);教授Univ。,G.-M。博士ţical(罗马尼亚康斯坦ța);教授 Univ。教授 Univ。,W。Plywaczewski博士(波兰Olsztyn); conf Univ。,E。Krzysztofik博士(波兰卢布林); conf Univ。,T。Kurylo博士(波兰Szcity); conf Univ。博士。 conf Univ。,G.-A.博士 Nicula(罗马尼亚Galați);博士Stoian(罗马尼亚布加勒斯特);教授 Univ。 conf Univ。,A。Politova博士(乌克兰Mariupol)。 来自摩尔多瓦共和国:教授 Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,G.-M。博士ţical(罗马尼亚康斯坦ța);教授Univ。教授 Univ。,W。Plywaczewski博士(波兰Olsztyn); conf Univ。,E。Krzysztofik博士(波兰卢布林); conf Univ。,T。Kurylo博士(波兰Szcity); conf Univ。博士。 conf Univ。,G.-A.博士 Nicula(罗马尼亚Galați);博士Stoian(罗马尼亚布加勒斯特);教授 Univ。 conf Univ。,A。Politova博士(乌克兰Mariupol)。 来自摩尔多瓦共和国:教授 Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。教授Univ。,W。Plywaczewski博士(波兰Olsztyn); conf Univ。,E。Krzysztofik博士(波兰卢布林); conf Univ。,T。Kurylo博士(波兰Szcity); conf Univ。博士。 conf Univ。,G.-A.博士 Nicula(罗马尼亚Galați);博士Stoian(罗马尼亚布加勒斯特);教授 Univ。 conf Univ。,A。Politova博士(乌克兰Mariupol)。 来自摩尔多瓦共和国:教授 Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,W。Plywaczewski博士(波兰Olsztyn); confUniv。,E。Krzysztofik博士(波兰卢布林); conf Univ。,T。Kurylo博士(波兰Szcity); conf Univ。博士。 conf Univ。,G.-A.博士 Nicula(罗马尼亚Galați);博士Stoian(罗马尼亚布加勒斯特);教授 Univ。 conf Univ。,A。Politova博士(乌克兰Mariupol)。 来自摩尔多瓦共和国:教授 Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,E。Krzysztofik博士(波兰卢布林); confUniv。,T。Kurylo博士(波兰Szcity); conf Univ。博士。 conf Univ。,G.-A.博士 Nicula(罗马尼亚Galați);博士Stoian(罗马尼亚布加勒斯特);教授 Univ。 conf Univ。,A。Politova博士(乌克兰Mariupol)。 来自摩尔多瓦共和国:教授 Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,T。Kurylo博士(波兰Szcity); confUniv。博士。 conf Univ。,G.-A.博士 Nicula(罗马尼亚Galați);博士Stoian(罗马尼亚布加勒斯特);教授 Univ。 conf Univ。,A。Politova博士(乌克兰Mariupol)。 来自摩尔多瓦共和国:教授 Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。博士。 confUniv。,G.-A.博士 Nicula(罗马尼亚Galați);博士Stoian(罗马尼亚布加勒斯特);教授 Univ。 conf Univ。,A。Politova博士(乌克兰Mariupol)。 来自摩尔多瓦共和国:教授 Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,G.-A.博士Nicula(罗马尼亚Galați);博士Stoian(罗马尼亚布加勒斯特);教授 Univ。 conf Univ。,A。Politova博士(乌克兰Mariupol)。 来自摩尔多瓦共和国:教授 Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRNicula(罗马尼亚Galați);博士Stoian(罗马尼亚布加勒斯特);教授Univ。 conf Univ。,A。Politova博士(乌克兰Mariupol)。 来自摩尔多瓦共和国:教授 Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。 confUniv。,A。Politova博士(乌克兰Mariupol)。 来自摩尔多瓦共和国:教授 Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,A。Politova博士(乌克兰Mariupol)。来自摩尔多瓦共和国:教授Univ。,IU博士。 laii;教授 Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,IU博士。laii;教授Univ。,Hab博士。 V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,Hab博士。V. Cușnir; conf 大学,D。Ostavciuc博士;教授 Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRV. Cușnir; conf大学,D。Ostavciuc博士;教授Univ。,Hab博士。 gh Costachi;教授 Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,Hab博士。ghCostachi;教授Univ。,Hab博士。 gh gladchi;教授 Univ。,V。Bujor博士;教授 大学,博士。 belecciu;教授 Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,Hab博士。ghgladchi;教授Univ。,V。Bujor博士;教授大学,博士。belecciu;教授Univ。,T。Osoianu博士;教授 Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,T。Osoianu博士;教授Univ。,Al博士。 mariț;教授 Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,Al博士。mariț;教授Univ。,V。Ursu博士; conf Univ。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,V。Ursu博士; confUniv。,IU博士。 odagiu; conf 大学,DR I. Erhan; conf Univ。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,IU博士。odagiu; conf大学,DRI. Erhan; confUniv。,IG博士。 trofimov;教授 Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,IG博士。trofimov;教授Univ。,M。Gherman博士; conf 大学,B。Glavan博士; conf Univ。,C。Rusnac博士; conf Univ。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,M。Gherman博士; conf大学,B。Glavan博士; confUniv。,C。Rusnac博士; confUniv。,V。Rusu博士; conf Univ。,V。Chirița博士; conf 大学,DRUniv。,V。Rusu博士; confUniv。,V。Chirița博士; conf 大学,DRUniv。,V。Chirița博士; conf大学,DRuni。,博士。 M. Pavlencu; conf。uni。,博士。 grardelean; conf。uni。,博士。 A. Naste; conf。I. Odinocaia; conf。uni。,博士。 S. Pilate; conf。uni。,博士。 V.犹太人; d。I. Slisarenco; drdA.星期一; drdig。soroceanu; drdV. Vasilița
土耳其统计研究所杜汉土耳其统计研究所电话: +90-312-4547053电子邮件:duhan.civit@tuik.gov.gov.tr mualla gizem gizem umutdoğandoğandoğandoğandoğandoğandoğanto Betül DEMİROK Turkish Statistical Institute Tel: +90-312-4547791 e-mail: betul.bayguven@tuik.gov.tr Erhan ÜNAL (National Inventory Focal Point) Turkish Statistical Institute Tel: +90-312-4547803 e-mail: erhan.unal@tuik.gov.tr Kadir AKSAKAL土耳其统计研究所电话: +90-312-4547802电子邮件:kadir.aksakal@tuik.gov.tr elif yilmaz yilmaz yilmaz turkish turkish统计研究所电话: +90-312-4547817电子邮件: +90-312-4547819 e-mail: fehmipar.bekci@tuik.gov.tr Turkish Statistical Institute is responsible for all cross-cutting issues, energy (except for 1.A.1.a Public Electricity and Heat Production and 1.A.3 Transport), industrial processes and product use (except for fluorinated gases), agriculture and waste sectors.
Jay Zarnikau, Research Fellow, Department of Economics COMMITTEE MEMBERS Contributing Authors Ning Lin, Chief Economist, Bureau of Economic Geology Additional Members Erhan Kutanoglu, Associate Professor, Operations Research and Industrial Engineering, Department of Mechanical Engineering Benjamin Leibowicz, Assistant Professor, Operations Research and Industrial Engineering, Department of Mechanical Engineering Dev Niyogi, Professor, Department of Geological科学; LBJ公共事务学院教授,民用,建筑和环境工程系教授;能源研究所Surya Santoso主任,电气和计算机工程系教授David Spence,法学院贝克·鲍斯(Baker Botts)法学主席; Professor, Department of Business, Government, and Society Stathis Tompaidis, Professor, Department of Information, Risk and Operations Management, and by courtesy, Department of Finance Hao Zhu, Assistant Professor, Department of Electrical and Computer Engineering OTHER CONTRIBUTORS Erik Funkhouser, Director for Research Coordination and Partnerships, Energy Institute Brent Austgen, Graduate Research Assistant, Operations Research and Industrial Engineering Program, Department of Mechanical Engineering
Marcusstr的Würzburg大学心理学系I。9-11,WürzburgD-97070,德国B心理与脑科学系,印第安纳大学,1101 E. 10 Th Bloomington,Bloomington,47405-7007,美国,约翰娜Popp:Johanna Popp:0000-0003-1704-9890 Jonas Thiele:0000-0003-1704-9890 JOSHU: Faskowitz: 0000-0003-1814-7206 Caio Seguin: 0000-0001-9384-6336 Olaf Sporns: 0000-0001-7265-4036 Kirsten Hilger: 0000-0003-3940-5884 * Corresponding authors: johanna.popp@uni-wuerzburg.de , kirsten.hilger@uni-wuerzburg.de Acknowledgements The authors thank the Human Connectome Project (Van Essen et al., 2013), WU-Minn Consortium (Principal Investigators: David Van Essen and Kamil Ugurbil; 1U554MH091657) funded by the 16 NIH Institutes and Centers that support the NIH Blueprint for Neuroscience Research, and by the华盛顿大学麦克唐纳系统神经科学中心提供了主要样本的数据,以及阿姆斯特丹开放MRI Collection(Snoek等,2021)的所有贡献者,用于提供复制样本的数据。 我们还要感谢莱布尼兹研究中心的埃尔汉·杰恩(Erhan Gen)和克里斯托夫·弗雷恩斯(Christoph Fraenz)在项目的早期阶段对数据分析和思想的发展贡献。 这项研究得到了Lilly Endowment,Inc。的部分支持,其支持印第安纳大学普遍技术研究所。 利益冲突陈述作者在研究,作者身份和/或出版本文的研究,作者身份和/或出版中没有潜在的利益冲突。9-11,WürzburgD-97070,德国B心理与脑科学系,印第安纳大学,1101 E. 10 Th Bloomington,Bloomington,47405-7007,美国,约翰娜Popp:Johanna Popp:0000-0003-1704-9890 Jonas Thiele:0000-0003-1704-9890 JOSHU: Faskowitz: 0000-0003-1814-7206 Caio Seguin: 0000-0001-9384-6336 Olaf Sporns: 0000-0001-7265-4036 Kirsten Hilger: 0000-0003-3940-5884 * Corresponding authors: johanna.popp@uni-wuerzburg.de , kirsten.hilger@uni-wuerzburg.de Acknowledgements The authors thank the Human Connectome Project (Van Essen et al., 2013), WU-Minn Consortium (Principal Investigators: David Van Essen and Kamil Ugurbil; 1U554MH091657) funded by the 16 NIH Institutes and Centers that support the NIH Blueprint for Neuroscience Research, and by the华盛顿大学麦克唐纳系统神经科学中心提供了主要样本的数据,以及阿姆斯特丹开放MRI Collection(Snoek等,2021)的所有贡献者,用于提供复制样本的数据。我们还要感谢莱布尼兹研究中心的埃尔汉·杰恩(Erhan Gen)和克里斯托夫·弗雷恩斯(Christoph Fraenz)在项目的早期阶段对数据分析和思想的发展贡献。这项研究得到了Lilly Endowment,Inc。的部分支持,其支持印第安纳大学普遍技术研究所。利益冲突陈述作者在研究,作者身份和/或出版本文的研究,作者身份和/或出版中没有潜在的利益冲突。
R. S. Boyer和J. S. Moore。Boyer-Moore定理卖者。https://www.cs.utexas.edu/users/moore/best- indeas/nqthm/index.html。D. Cofer,R。Sattigeri,I。Amundson,J。Babar,S。Hasan,E。W。Smith,K。Nukala,D。Osipychev,M。A。Moser,J。L。Paunicka,D。D。D. D. Margineantu,L。Timmerman,L。Timmerman,and J. Q. Q. Q. stringfield。具有运行时保证的碰撞避免神经网络的飞行测试。2022年IEEE/AIAA 41st Digital Avionics Systems会议(DASC),第1-10页,2022年9月。R. Desmartin,G。O。Passmore,E。Komendantskaya和M. Daggit。 CheckInn:Imandra中的范围范围神经网络验证。 在第2022页中:第24届国际宣言节目原则和实践研讨会,佐治亚州第比利斯,9月20日至2022年,第3:1-3:14页。 ACM,2022。 S. Grigorescu,B。Trasnea,T。Cocias和G. Macesanu。 对自动驾驶的深度学习技术的调查。 Field Robotics Journal,37(3):362–386,2020。 ISSN 1556-4967。 W. A. Hunt,M。Kaufmann,J。S。Moore和A. Slobodova。 使用ACL2进行工业硬件和软件验证。 皇家学会的哲学交易A:数学,物理和工程科学,375(2104):20150399,2017年9月。 O. Isac,C。W。Barrett,M。Zhang和G. Katz。 通过证明生产的神经网络验证。 2022计算机辅助设计(FMCAD)中的形式方法,第38-48页,2022年。 K. D. Julian,J。Lopez,J。S. Brush,M。P. Owen和M. J. Kochenderfer。 飞机避免碰撞系统的政策压缩。R. Desmartin,G。O。Passmore,E。Komendantskaya和M. Daggit。CheckInn:Imandra中的范围范围神经网络验证。在第2022页中:第24届国际宣言节目原则和实践研讨会,佐治亚州第比利斯,9月20日至2022年,第3:1-3:14页。ACM,2022。S. Grigorescu,B。Trasnea,T。Cocias和G. Macesanu。对自动驾驶的深度学习技术的调查。Field Robotics Journal,37(3):362–386,2020。ISSN 1556-4967。W. A.Hunt,M。Kaufmann,J。S。Moore和A. Slobodova。 使用ACL2进行工业硬件和软件验证。 皇家学会的哲学交易A:数学,物理和工程科学,375(2104):20150399,2017年9月。 O. Isac,C。W。Barrett,M。Zhang和G. Katz。 通过证明生产的神经网络验证。 2022计算机辅助设计(FMCAD)中的形式方法,第38-48页,2022年。 K. D. Julian,J。Lopez,J。S. Brush,M。P. Owen和M. J. Kochenderfer。 飞机避免碰撞系统的政策压缩。Hunt,M。Kaufmann,J。S。Moore和A. Slobodova。使用ACL2进行工业硬件和软件验证。皇家学会的哲学交易A:数学,物理和工程科学,375(2104):20150399,2017年9月。O. Isac,C。W。Barrett,M。Zhang和G. Katz。通过证明生产的神经网络验证。2022计算机辅助设计(FMCAD)中的形式方法,第38-48页,2022年。K. D. Julian,J。Lopez,J。S. Brush,M。P. Owen和M. J. Kochenderfer。 飞机避免碰撞系统的政策压缩。K. D. Julian,J。Lopez,J。S. Brush,M。P. Owen和M. J. Kochenderfer。飞机避免碰撞系统的政策压缩。2016 IEEE/AIAA 35届数字航空电子系统会议(DASC),第1-10页,2016年9月。K. Kanishev。 imandra界面到机器人OS:第一部分I. https://medium.com/imandra/imandra-intra-intra-intra-intra-intra-intra-intra-intra-os-part-os-part-i-9f388888888888888888c5c3a1。 G. Katz,C。W。Barrett,D。L。Dill,K。Julian和M. J. Kochenderfer。 Reluplex:用于验证深神经网络的有效SMT求解器。 在R. Majumdar和V. Kuncak中,编辑,计算机辅助验证-29届国际会议,2017年,德国海德堡,2017年7月24日至28日,会议记录,第一部分,计算机科学讲义的第10426卷,第97-117页。 Springer,2017年。 G. O. Passmore。 在金融算法的形式方法的工业化中学到的一些经验教训。 在M. Huisman,C.Păsăreanu和N. Zhan中 Springer International Publishing。 ISBN 978-3-030-90870-6。 C. Szegedy,W。Zaremba,I。Sutskever,J。Bruna,D。Erhan,I。J。Goodfellow和R. Fergus。 神经网络的有趣特性。 Corr,2013年12月。K. Kanishev。imandra界面到机器人OS:第一部分I. https://medium.com/imandra/imandra-intra-intra-intra-intra-intra-intra-intra-intra-os-part-os-part-i-9f388888888888888888c5c3a1。G. Katz,C。W。Barrett,D。L。Dill,K。Julian和M. J. Kochenderfer。 Reluplex:用于验证深神经网络的有效SMT求解器。 在R. Majumdar和V. Kuncak中,编辑,计算机辅助验证-29届国际会议,2017年,德国海德堡,2017年7月24日至28日,会议记录,第一部分,计算机科学讲义的第10426卷,第97-117页。 Springer,2017年。 G. O. Passmore。 在金融算法的形式方法的工业化中学到的一些经验教训。 在M. Huisman,C.Păsăreanu和N. Zhan中 Springer International Publishing。 ISBN 978-3-030-90870-6。 C. Szegedy,W。Zaremba,I。Sutskever,J。Bruna,D。Erhan,I。J。Goodfellow和R. Fergus。 神经网络的有趣特性。 Corr,2013年12月。G. Katz,C。W。Barrett,D。L。Dill,K。Julian和M. J. Kochenderfer。Reluplex:用于验证深神经网络的有效SMT求解器。在R. Majumdar和V. Kuncak中,编辑,计算机辅助验证-29届国际会议,2017年,德国海德堡,2017年7月24日至28日,会议记录,第一部分,计算机科学讲义的第10426卷,第97-117页。Springer,2017年。G. O. Passmore。在金融算法的形式方法的工业化中学到的一些经验教训。在M. Huisman,C.Păsăreanu和N. Zhan中Springer International Publishing。ISBN 978-3-030-90870-6。 C. Szegedy,W。Zaremba,I。Sutskever,J。Bruna,D。Erhan,I。J。Goodfellow和R. Fergus。 神经网络的有趣特性。 Corr,2013年12月。ISBN 978-3-030-90870-6。C. Szegedy,W。Zaremba,I。Sutskever,J。Bruna,D。Erhan,I。J。Goodfellow和R. Fergus。神经网络的有趣特性。Corr,2013年12月。
Smilly Todorovic 1 , Asli Aquirer Hayriye S. Harsa 13 , Joseph 14 , Christèle Humblot 15 , Karakaş-Budak 19 , Karakayay's Ceb 20 , Baltasar Mayo 29 , Skol Mojsova 30 , 38 , Isabelle Savari-Auzeloux 39 , Clarissa Schwab 40 , Jeadran Malago-Rojas 47,Seppo Salmine 48,Juana Fries 49,Christophe Chassard 39和Guy Vergers