logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Trustworthy AI

delete2021-09-22
delete80
delete
OA
AI
J
Jeannette M. Wing *
DOI：10.1145/3448248delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
The pursuit of responsible AI raises the ante on both the trustworthy computing and formal methods communities.

期刊

Communications of the ACM 封面图
Communications of the ACM
IF:
12.2
论文数:
1.2W
被引数:
3.7W

机构

C
Columbia University
学者数:
7.1W
论文数: 6.4W
被引数: 263
引用论文

引用论文

Automatic symbolic verification of embedded systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1996-03-01
err277
errOAAI
errAlur, R; Henzinger, TA; Ho, PH
err分享
err收藏
Tachykinin and Calcitonin Gene-Related Peptide Immunoreactivities and Mrnas in the Mammalian Enteric Nervous System and Sensory Ganglia哺乳动物肠神经系统和感觉神经节中的速激肽和降钙素基因相关肽的免疫反应性和mrna
errAdvances in Experimental Medicine and Biology
IF0
err1991-01-01
err0
PREAI
errCatia Sternini
err分享
err收藏
How Amazon Web Services Uses Formal Methods
errCOMMUNICATIONS OF THE ACM
IF12.2
err2015-03-23
err208
PREAI
errNewcombe, Chris; Rath, Tim; Zhang, Fan; Munteanu, Bogdan; Brooker, Marc; Deardeuff, Michael
err分享
err收藏
Trends in maternal characteristics, and maternal and neonatal outcomes of women with gestational diabetes: A study from Jordan
errAnnals of Medicine & Surgery
IF0
err2021-07-01
err0
errOAAI
errReema A. Karasneh; Fedaa H. Migdady; Karem H. Alzoubi; Sayer I. Al-Azzam; Yousef S. Khader; Mohammad B. Nusair
err分享
err收藏
Lung Development
errMonographs on Endocrinology
IF0
err1986-01-01
err0
PREAI
errPhilip L. Ballard
err分享
err收藏
The British Sea Anemones
errNature
IF0
err1935-07-01
err0
PREAI
errA. K. TOTTON
err分享
err收藏
Dark Fermentative Biohydrogen Production from Palm oil Mill Effluent: Operation Factors and Future Progress of Biohydrogen Energy
errPertanika Journal of Science and Technology
IF0
err2020-12-30
err0
errOAAI
errFatin Sakinah Rosman; Mohd Zulkhairi Mohd Yusoff; Mohd Rafein Zakaria; Toshinari Maeda; Mohd Ali Hassan
err分享
err收藏
Bottom-up synthesis of carbon materials with remarkably high proportions of pentagons and heptagons using brominated precursors
errCarbon Reports
IF0
err2024-06-01
err0
errOAAI
errArisa Sato; Masashi Nakamura; Satoshi Sato; Yasuhiro Yamada
err分享
err收藏
A Comparative Techno-Economic Assessment of Alternative Fuels in SOFC Systems for Cruise Ships
errECS Transactions
IF0
err2023-05-19
err0
errOAAI
errEduardo Antonio Pina; Berend van Veldhuizen; Francois Marechal; Jan Van herle
err分享
err收藏
Stan: A Probabilistic Programming LanguageStan: 一种概率编程语言
errJOURNAL OF STATISTICAL SOFTWARE
IF8.1
err2017-01-01
err3.2K
errOAAI
errCarpenter, Bob; Gelman, Andrew; Hoffman, Matthew D.; Lee, Daniel; Goodrich, Ben; Betancourt, Michael; Brubaker, Marcus A.; Guo, Jiqiang; Li, Peter; Riddell, Allen
err分享
err收藏
学者 查看更多内容