XiaoMi-AI文件搜索系统
World File Search SystemHalpern
精神神经外科的未来方向
Frederick L. Hitti，医学博士，哲学博士 1,2 ，Alik S. Widge，医学博士，哲学博士 3 ，Patricio Riva-Posse，医学博士 4 ，Donald A. Malone Jr.，医学博士 5 ，Michael S. Okun，医学博士 6 ，Maryam M. Shanechi，哲学博士 7 ，Kelly D. Foote，医学博士 8 ，Sarah H. Lisanby，医学博士 9 ，Elizabeth Ankudowich，哲学博士 10 ，Srinivas Chivukula，医学博士，哲学博士 1 ，Edward F. Chang，医学博士 11 ，Aysegul Gunduz，哲学博士 12 ，Clement Hamani，医学博士，哲学博士 13 ，Ashley Feinsinger，哲学博士 14 ，Cynthia S. Kubu，哲学博士 15 ，Winston Chiong，医学博士，哲学博士 16 ，Jennifer A. Chandler，法学学士，法学硕士17 、Rafael Carbunaru 博士 18 、Binith Cheeran 医学博士、哲学博士 19 、Robert S. Raike 博士 20 、Rachel A. Davis 医学博士 21 、Casey H. Halpern 医学博士 22 、Nora Vanegas-Arroyave 医学博士 23 、Dejan Markovic 博士 24 、Sarah K. Bick 医学博士 25 、Cameron C. McIntyre 博士 26 、R. Mark Richardson 医学博士、哲学博士 27 、Darin D. Dougherty 医学博士 28 、Brian H. Kopell 医学博士 29 、Jennifer A. Sweet 医学博士 30 、Wayne K. Goodman 医学博士 31 、Sameer A. Sheth 医学博士、哲学博士 32 、Nader Pouratian 医学博士、哲学博士 1
ED 372 717 作者 标题 机构 报告 ... - 埃里克
本报告介绍了 1992 年研讨会上发表的主要论文，该研讨会旨在确定特定的高阶思维和沟通技能，并根据 1990 年制定的国家教育目标 5.5 制定适当的大学成果指标。该目标旨在提高大学毕业生“批判性思考、有效沟通和解决问题”的能力。第 1 部分介绍了工作组开展讨论的五篇论文。这些论文是：(1)“公民技能”(Suzanne W. Morse)；(2)“成人批判性思维技能全国评估：朝着目标迈进”(Diane F. Halpern)；(3)“评估思维：衡量大学批判性思维和解决问题技能的框架”(David Perkins 等人)；(4)“评估口语和听力：全国评估的初步考虑”(John A. Daly)； （5）“没有大师，没有方法，没有老师：沟通领域和 NACSL（全国大学生学习评估）”，作者：Stephen P. Witte。第 2 部分包括小组总结报告、审稿人评论、口语和听力技能列表以及宾夕法尼亚州立大学正在进行的德尔菲研究的其他信息。第 3 部分介绍了与会者对会议成果的评论以及对所有与会者的调查结果。关于“下一步”的共识包括建议进一步发展技能、能力和能力的分类法。（这五篇论文包含参考文献。）（DB）
ED 372 717 作者 标题 机构 报告 ... - 埃里克
本报告介绍了 1992 年研讨会上发表的主要论文，该研讨会旨在确定特定的高阶思维和沟通技能，并根据 1990 年制定的国家教育目标 5.5 制定适当的大学成果指标。该目标旨在提高大学毕业生“批判性思考、有效沟通和解决问题”的能力。第 1 部分介绍了工作组开展讨论的五篇论文。这些论文是：(1)“公民技能”(Suzanne W. Morse)；(2)“成人批判性思维技能全国评估：朝着目标迈进”(Diane F. Halpern)；(3)“评估思维：衡量大学批判性思维和解决问题技能的框架”(David Perkins 等人)；(4)“评估口语和听力：全国评估的初步考虑”(John A. Daly)； （5）“没有大师，没有方法，没有老师：沟通领域和 NACSL（全国大学生学习评估）”，作者：Stephen P. Witte。第 2 部分包括小组总结报告、审稿人评论、口语和听力技能列表以及宾夕法尼亚州立大学正在进行的德尔菲研究的其他信息。第 3 部分介绍了与会者对会议成果的评论以及对所有与会者的调查结果。关于“下一步”的共识包括建议进一步发展技能、能力和能力的分类法。（这五篇论文包含参考文献。）（DB）
ED 372 717 作者 标题 机构 报告 ... - 埃里克
本报告介绍了 1992 年研讨会上发表的主要论文，该研讨会旨在确定特定的高阶思维和沟通技能，并根据 1990 年制定的国家教育目标 5.5 制定适当的大学成果指标。该目标旨在提高大学毕业生“批判性思考、有效沟通和解决问题”的能力。第 1 部分介绍了工作组开展讨论的五篇论文。这些论文是：(1)“公民技能”(Suzanne W. Morse)；(2)“成人批判性思维技能全国评估：朝着目标迈进”(Diane F. Halpern)；(3)“评估思维：衡量大学批判性思维和解决问题技能的框架”(David Perkins 等人)；(4)“评估口语和听力：全国评估的初步考虑”(John A. Daly)； （5）“没有大师，没有方法，没有老师：沟通领域和 NACSL（全国大学生学习评估）”，作者：Stephen P. Witte。第 2 部分包括小组总结报告、审稿人评论、口语和听力技能列表以及宾夕法尼亚州立大学正在进行的德尔菲研究的其他信息。第 3 部分介绍了与会者对会议成果的评论以及对所有与会者的调查结果。关于“下一步”的共识包括建议进一步发展技能、能力和能力的分类法。（这五篇论文包含参考文献。）（DB）
增生操作员的定量标准化
然后具有“近似曲线” .x t /将其收敛到t的固定点t！1。这是赖希（Reich）在1980年首次显示的[29]，在这一结果十三年后，希尔伯特空间被Browder [3]和Halpern [11]独立证明了这一结果，在13年中，在任何L P空间中都不知道这种结果是不正确的。在最近的一篇论文[18]中，科伦巴赫和作者为上述结果提取了“ Metastabil的速率”，我们现在将详细说明这是我们的含义。该论文属于“证明挖掘”的研究计划，该计划旨在使用数学逻辑中的工具（解释性证明理论）分析主流数学的证明，以便提取可能立即明显的（有关更多详细信息，请参见[13]和最近的调查[15]）。类似于上述收敛定理的此类附加内容自然是收敛速率，但是在这种情况下是反例（由于例如neumann [23]）表明，即使在欧几里得空间中也无法存在可计算速率。在大多数情况下，在大多数情况下，在理论上的挖掘保证的理论结果 - “ Metatheorems”是可提取的，是上述的亚竞争速率 - 在Terence Tao [31，32]的意义上，该名称是由Jennifer Chayes建议的，这是詹妮弗·夏伊斯（Jennifer Chayes） - 这是n和div> n和div>
通过基于知识的方法来增强AI的问责制和安全性
1。Mehrabi N，Morstatter F，Saxena N等。关于机器学习中偏见和公平性的调查。ACM Comput Surv 2021; 54（6）：1-35。 https://doi.org/10.1145/3457607 2。Kim J. 医疗保健AI伦理学中的患者和公众参与模型：基于范围审查和方法论的反思。 韩国J Med Ethics 2024; 27（4）：177-196。 https://doi.org/10.35301/ksme.2024.27.4.177 3。 Staab S，Studer R.本体论手册。 Springer科学与商业媒体； 2010。 4。 Rotmensch M，Halpern Y，Tlimat A等。 从电子病历中学习健康知识图。 SCI REP 2017; 7（1）：5994。 https://doi.org/10.1038/s41598-017-05778-z 5。 West J，Bhattacharya M.智能财务欺诈检测：全面审查。 Comput Secur 2016; 57：47-66。 https://doi.org/10.1016/j.cose.2015.09.005 6。 Amith M，Cui L，Roberts K等。 消费者健康词汇的本体论：提供一种链接外行语言和医学术语的正式和可互操作的语义资源。 ：2019 IEEE国际生物信息学与生物医学会议（BIBM）；加利福尼亚州圣地亚哥，2019年。第1177-1178页。 7。 Monselise M，Greenberg J，Liang OS等。 一种自动方法来扩展消费者健康词汇。 J数据INF SCI 2021; 6（1）：35-49。 https://doi.org/10.2478/jdis-2021-0003 8。 做harris km，Zeng-Treitler Q.通过挖掘社交网络数据的计算机辅助更新消费者健康词汇。 J Med Internet Res 2011; 13（2）：E37。 https://doi.org/10.2196/jmir.1636Kim J.医疗保健AI伦理学中的患者和公众参与模型：基于范围审查和方法论的反思。韩国J Med Ethics 2024; 27（4）：177-196。 https://doi.org/10.35301/ksme.2024.27.4.177 3。Staab S，Studer R.本体论手册。Springer科学与商业媒体； 2010。4。Rotmensch M，Halpern Y，Tlimat A等。从电子病历中学习健康知识图。SCI REP 2017; 7（1）：5994。 https://doi.org/10.1038/s41598-017-05778-z 5。 West J，Bhattacharya M.智能财务欺诈检测：全面审查。 Comput Secur 2016; 57：47-66。 https://doi.org/10.1016/j.cose.2015.09.005 6。 Amith M，Cui L，Roberts K等。 消费者健康词汇的本体论：提供一种链接外行语言和医学术语的正式和可互操作的语义资源。 ：2019 IEEE国际生物信息学与生物医学会议（BIBM）；加利福尼亚州圣地亚哥，2019年。第1177-1178页。 7。 Monselise M，Greenberg J，Liang OS等。 一种自动方法来扩展消费者健康词汇。 J数据INF SCI 2021; 6（1）：35-49。 https://doi.org/10.2478/jdis-2021-0003 8。 做harris km，Zeng-Treitler Q.通过挖掘社交网络数据的计算机辅助更新消费者健康词汇。 J Med Internet Res 2011; 13（2）：E37。 https://doi.org/10.2196/jmir.1636SCI REP 2017; 7（1）：5994。 https://doi.org/10.1038/s41598-017-05778-z 5。West J，Bhattacharya M.智能财务欺诈检测：全面审查。 Comput Secur 2016; 57：47-66。 https://doi.org/10.1016/j.cose.2015.09.005 6。 Amith M，Cui L，Roberts K等。 消费者健康词汇的本体论：提供一种链接外行语言和医学术语的正式和可互操作的语义资源。 ：2019 IEEE国际生物信息学与生物医学会议（BIBM）；加利福尼亚州圣地亚哥，2019年。第1177-1178页。 7。 Monselise M，Greenberg J，Liang OS等。 一种自动方法来扩展消费者健康词汇。 J数据INF SCI 2021; 6（1）：35-49。 https://doi.org/10.2478/jdis-2021-0003 8。 做harris km，Zeng-Treitler Q.通过挖掘社交网络数据的计算机辅助更新消费者健康词汇。 J Med Internet Res 2011; 13（2）：E37。 https://doi.org/10.2196/jmir.1636West J，Bhattacharya M.智能财务欺诈检测：全面审查。Comput Secur 2016; 57：47-66。 https://doi.org/10.1016/j.cose.2015.09.005 6。Amith M，Cui L，Roberts K等。 消费者健康词汇的本体论：提供一种链接外行语言和医学术语的正式和可互操作的语义资源。 ：2019 IEEE国际生物信息学与生物医学会议（BIBM）；加利福尼亚州圣地亚哥，2019年。第1177-1178页。 7。 Monselise M，Greenberg J，Liang OS等。 一种自动方法来扩展消费者健康词汇。 J数据INF SCI 2021; 6（1）：35-49。 https://doi.org/10.2478/jdis-2021-0003 8。 做harris km，Zeng-Treitler Q.通过挖掘社交网络数据的计算机辅助更新消费者健康词汇。 J Med Internet Res 2011; 13（2）：E37。 https://doi.org/10.2196/jmir.1636Amith M，Cui L，Roberts K等。消费者健康词汇的本体论：提供一种链接外行语言和医学术语的正式和可互操作的语义资源。：2019 IEEE国际生物信息学与生物医学会议（BIBM）；加利福尼亚州圣地亚哥，2019年。第1177-1178页。7。Monselise M，Greenberg J，Liang OS等。一种自动方法来扩展消费者健康词汇。J数据INF SCI 2021; 6（1）：35-49。 https://doi.org/10.2478/jdis-2021-0003 8。做harris km，Zeng-Treitler Q.通过挖掘社交网络数据的计算机辅助更新消费者健康词汇。J Med Internet Res 2011; 13（2）：E37。https://doi.org/10.2196/jmir.1636
人工智能应该挑战，而不是服从
[26] Jiahao Yu、Xingwei Lin 和 Xinyu Xing。Gptfuzzer：使用自动生成的越狱提示对大型语言模型进行红队测试。arXiv 预印本 arXiv:2309.10253，2023 年。[27] Liangming Pan、Michael Saxon、Wenda Xu、Deepak Nathani、Xinyi Wang 和 William Yang Wang。自动纠正大型语言模型：调查各种自我纠正策略的概况。arXiv 预印本 arXiv:2308.03188，2023 年。[28] Susmit Jha、Sumit Kumar Jha、Patrick Lincoln、Nathaniel D Bastian、Alvaro Velasquez 和 Sandeep Neema。使用形式化方法引导的迭代提示消除大型语言模型的幻觉。2023 年 IEEE 国际保证自主会议 (ICAA)，第 149-152 页。 IEEE，2023 年。[29] Jacob Menick、Maja Trebacz、Vladimir Mikulik、John Aslanides、Francis Song、Martin Chadwick、Mia Glaese、Susannah Young、Lucy Campbell-Gillingham、Geoffrey Irving 等人。教授语言模型以支持带有经过验证的引文的答案。arXiv 预印本 arXiv:2203.11147，2022 年。[30] Advait Sarkar。计算机应该易于使用吗？质疑用户界面设计的简单性原则。在 2023 年 CHI 计算机系统人为因素会议的扩展摘要中，第 1-10 页，2023 年。[31] Haiyan Zhao、Hanjie Chen、Fan Yang、Ninghao Liu、Huiqi Deng、Hengyi Cai、Shuaiqiang Wang、Dawei Yin 和 Mengnan Du。大型语言模型的可解释性：一项调查。 arXiv preprint arXiv:2309.01029，2023 年。[32] Todd Kulesza、Simone Stumpf、Margaret Burnett、Sherry Yang、Irwin Kwan 和 Weng-Keen Wong。过多、过少还是恰到好处？解释如何影响最终用户的心智模型。2013 年 IEEE 视觉语言和以人为本的计算研讨会，第 3-10 页。IEEE，2013 年。[33] Elaine Simpson RN 和 Mary Courtney RN。护理教育中的批判性思维：文献综述。国际护理实践杂志，8(2):89–98，2002 年。[34] Robert J Sternberg 和 Diane F Halpern。心理学中的批判性思维。剑桥大学出版社，2020 年。
扩展经济理论的一般框架
∗ 本文的早期版本题为“超越无限：通过逻辑紧凑性扩展经济理论”，以一页摘要的形式出现在第 21 届 ACM 经济与计算会议论文集上。我们感谢 David Ahn、Bob Anderson、Morgane Austern、Archishman Chakrabortyz、Chris Chambers、Yunseo Choi、Henry Cohn、Piotr Dworczak、Andrew Ellis、Tam´as Fleiner、Drew Fudenberg、Wayne Gau、Jerry Green、Joseph Halpern、Ron Holzman、Ravi Jagadeesan、M. Ali Khan、David Laibson、Rida Laraki、Bar Light、Elliot Lipnowski、Ce Liu、George Mailath、Michael Mandler、Paul Milgrom、Ankur Moitra、Yoram Moses、Juan Pereyra、Marek Pycia、Debraj Ray、John Rehbeck、Phil Reny、Joseph Root、Ariel Rubinstein、Dov Samet、Chris Shannon、Tomasz Strzalecki、Sergiy Verstyuk、Rakesh Vohra、Shing-Tung Yau、Bill Zame 以及众多研讨会观众有帮助的评论。 Gonczarowski 的部分资助来自以色列科学与人文学院的亚当斯奖学金项目；他的工作部分资助来自以色列科学院管理的 ISF 拨款 1435/14、317/17 和 1841/14；美国-以色列双边科学基金会（BSF 拨款 2014389）；以及欧洲研究理事会 (ERC) 的欧盟地平线 2020 研究与创新计划（拨款编号 740282）和欧盟第七框架计划 (FP7/2007-2013)/ERC 拨款编号 337122。Kominers 非常感谢美国国家科学基金会（拨款 SES-1459912）以及哈佛大学数学科学与应用中心的 Ng 基金和经济学数学研究基金的支持。 Shorrer 得到了美国-以色列双边科学基金会 (BSF 拨款 2016015 和 2022417) 的资助。这项工作的一部分是在西蒙斯劳弗数学科学研究所 2023 年秋季市场和机制设计的数学和计算机科学项目期间进行的，该项目由美国国家科学基金会资助，拨款编号为 DMS-1928930，由阿尔弗雷德 P. 斯隆基金会资助，拨款编号为 G-2021-16778。† 哈佛大学经济学系和计算机科学系 — 电子邮件：yannai@gonch.name。Gonczarowski 的部分工作是在耶路撒冷希伯来大学、特拉维夫大学和微软研究院进行的。‡ 哈佛商学院创业管理部；哈佛大学经济学系和 CMSA；和 a16z crypto — 电子邮件：kominers@fas.harvard.edu。§ 宾夕法尼亚州立大学经济学系 — 电子邮件：shorrer@psu.edu。
斑馬魚@巴斯
斑马鱼@巴斯 您是否和我们一样对斑马鱼研究充满热情？您想在联合国教科文组织世界遗产城市生活和工作吗？ https://whc.unesco.org/en/list/428/ 那就来巴斯大学吧，巴斯大学是一所全球排名前 150 的大学（QS 2025） https://www.topuniversities.com/qs-top-uni-wur 我们的研究人员 Philip Ingham 教授 FRS Philip 在英国率先使用斑马鱼作为模型生物，早在 1980 年代就在牛津大学建立了第一个斑马鱼研究实验室。从那时起，他在 CRUK 伦敦研究所、谢菲尔德大学和埃克塞特大学以及新加坡李光前医学院建立了设施。他曾担任国际斑马鱼学会主席和斑马鱼疾病模型学会副主席，在 Hedgehog 信号通路和斑马鱼骨骼肌发育方面做出了重要发现。他于 2005 年荣获遗传学会奖章，并于 2014 年荣获 BSDB 沃丁顿奖章。罗伯特·凯尔什教授罗伯特在剑桥大学学习进化发育生物学，后与图宾根马克斯物理研究所的 Christiane Nüsslein-Volhard 和俄勒冈大学的 Judith Eisen 一起从事斑马鱼博士后研究。他的研究重点是神经嵴细胞的发育，特别是命运决定。他采用了从 CRSPR-Cas9 介导的基因组编辑到数学建模等一系列方法来剖析转录因子及其相关基因调控网络在选择和平衡命运决定中的作用。去年，他的研究成果获得了国际色素细胞学会联合会 (IFPCS) 的 2023 年迈伦·戈登奖巴斯全球讲席教授 Steven Farber Steve 是约翰霍普金斯大学脂质代谢和功能领域的世界知名专家，他因客座教授的身份定期来巴斯访问。获得电气工程学位后，Steve 在麻省理工学院学习神经生物学，探索胆碱能脑区神经递质和膜磷脂合成之间的平衡。在卡内基研究所 Marnie Halpern 实验室从事博士后研究期间，他率先使用斑马鱼进行脂质生物学研究。他研究的一个主要主题是开发工具，以研究完整组织和器官中脂质的细胞生物学，而这种方式以前只能在培养细胞或酵母中实现。副教授 Vasanta Subramanian 以研究哺乳动物发育而闻名，她从哥廷根 MPI Peter Gruss 实验室的研究员开始研究哺乳动物发育，Vasanta 拥有更多
![arXiv:2005.02963v1 [cs.AI] 2020 年 5 月 6 日](/simg/1\1ff46bc4a4991cc3fcff22a53e9f44928e73b335.png)
arXiv:2005.02963v1 [cs.AI] 2020 年 5 月 6 日
人类参与者根据解释者对被解释者 1 的信念，向不同的被解释者（即解释的接受者）给出了不同的解释。当然，玛丽的解释好坏取决于她能否模拟室友的心理状态，以及他们如何根据她的解释改变自己的心理状态。玛丽对鲍勃和汤姆的信念的信念，或者她对他们每个人如何修改信念的信念，很可能是错误的，在这种情况下，她对他们的解释可能无法解释为什么地板是湿的。解释已在多种学科中得到研究。Miller [28] 对人工智能中的解释进行了广泛的调查，其中包括一系列哲学历史著作（例如，Hempel 和 Oppenheim [19]；Peirce [32]；Harman [17]），主张哲学和社会科学在未来解释研究中的重要作用。在人工智能领域，早期的解释研究包括各种基于逻辑和概率的溯因推理方法或所谓的最佳解释推理，包括 Pople [35]、Charniak 和 McDermott [10]、Poole [33] 和 Levesque [24] 的早期作品。在 20 世纪 80 年代中期，解释在专家系统的背景下得到普及，其中解释通常通过对一组符号推理步骤进行反向链接而生成（例如，[18, 40]）。在此之后，解释成为符号 AI 推理各种应用中的共同元素（例如，[26、3、42]）。最近对解释兴趣的复苏主要是以所谓的可解释 AI (XAI) 为幌子，其动机是需要为黑箱分类和基于机器和深度学习的决策系统中的决策提供人类可解释的解释（例如，Samek 等人[39]；Gunning 等人[14]）。许多研究人员已经承认心智理论在解释中的重要性。在 20 世纪 80 年代和 90 年代，G¨ardenfors [12] 和 Chajewska 和 Halpern [7] 等学者提出的正式解释理论认为，对一个代理的解释可能不适用于对另一个代理的解释，因此解释者必须根据被解释者的信念为其量身定制解释。在用户建模和对话领域，同样设定在 20 世纪 80 年代和 90 年代，Weiner 的 [46] BLAH 系统和 Cawsey 的 [6] EDGE 系统都根据假定的用户模型定制解释。[16]；Kaptein 等人。[22]）。最近，Westberg 等人。最近，研究人员利用信念-愿望-意图 (BDI) 架构作为反映心智理论的自然解释框架。此类软件架构可使解释者明确表达自己的信念、愿望和意图，以及被解释者的信念、愿望和意图，并将解释与其自己的信念和目标或被解释者的信念和目标联系起来（例如，Harbers 等人。[47] 认为，结合认知科学对心智理论的各种观点将有助于创建更适合与人类交流和解释自己的代理。此外，Miller [28] 调查了这方面的工作，并强调了解释者的重要性