内容均不涉及转发、复制原文等，仅提供外链和标题聚合（可视做聚合引擎且非商业不盈利），查看详情请拷贝并跳转原始链接。如有侵权，还请告知。
新闻
重磅！中南大学湘雅医院发现可以抗非小细胞肺癌的新型纳米药物
概要: 导读：strong非小细胞肺癌(NSCLC)是最常见的肺癌病理类型，约占肺癌的85%。四十多年来，即使在精准医学和免疫治疗时代，铂基药物仍然是应用最广泛的抗癌药物之一。然而，以P……
Your genes influence whether depression leads to other diseases
概要: 摘要: 一项新的研究表明，经过医院治疗的抑郁症患者可能有很高的风险患上药物滥用、躁郁症、精神分裂症和焦虑症——这取决于他们对个体疾病的遗传易感性……
Molecule reduces inflammation in Alzheimer’s models
概要: 虽然药物开发人员在用减少淀粉样蛋白的药物治疗阿尔茨海默病方面取得了一些进展，但包括炎症在内的疾病的其他问题仍在继续。在一项新的研究中，麻省理工学院皮考尔学习和记忆研究所的科学家描述了一种候选药物，该药……
Why Adults (Up to Age 45) Should Consider Getting the HPV Vaccine
概要: 保护自己和他人免受致癌病毒感染是重点……
有的病得过也不能轻视！开学季当心这几类传染病
概要: 开学季到了，孩子们将重返校园。需要注意的是，秋季是传染病高发季节，有的孩子抵抗力差，一开学特别容易生病。开学季有哪些易高发的传染病？又该如何防范呢……
要流量还是要自由？东方甄选左右为难
概要: 东方甄选被抖音罚停，进而转战淘宝直播间，东方甄选要如何做好品牌电商？在这篇文章中，作者针对东方甄选入淘直播这一动态案例提出了自己的看法与观点，并对其未来规划作出了简略的分析，一起来看看吧。一个超级大I……
定位智能化设计：AIGC产品智能化设计原则
概要: 本文介绍了智能化产品设计的重要原则，通过遵循这些原则，可以有效提升智能化功能的可用性和效率，提供更好的用户体验。推荐对智能化产品感兴趣的读者阅读。迎合智能化浪潮，基于智能化产品场景和形态，厘清智能化功……
如何设计「人事管理」功能
概要: 本文详细探讨了EHR系统的人事管理功能设计，该系统能够帮助企业高效管理员工信息并优化人力资源流程。如果你对于如何打造一套全面且实用的人事管理系统感兴趣，不要错过这篇文章。我们今天聊个EHR系统的功能设……
《挑战者》发布新剧照 网球场下三角恋
概要: 新浪娱乐讯 北京时间8月30日消息，据外国媒体报道，赞达亚、乔什·奥康纳、迈克·费斯特主演体育题材新片《挑战者》发布新剧照，明年4月26日上映。 该片由卢卡·瓜达尼诺（《请以你的名字呼唤我》《新阴风……
VinFast股价暴跌44%，市值一夜蒸发830亿美元
概要: 越南电动汽车制造商VinFast股价周二暴跌44%，结束了连续六个交易日的上涨，市值一夜之间蒸发830亿美元……
清华大学聂再清：科学研究需要大胆设想，不用刻意避免大模型幻觉｜36氪专访
概要: 清华大学聂再清：科学研究需要大胆设想，不用刻意避免大模型幻觉｜36氪专访-36氪
销量惨淡的飞凡汽车：没有“飞”，只有“烦”
概要: 文 | 新浪科技 张俊……
《寿司灵魂宇宙》登陆steam 恶搞吃寿司名作续篇
概要: 原名《再不吃寿司会死掉！》续作正式命名为《寿司灵魂宇宙》，日前登陆steam，本作支持中文，敬请期待。·《寿司灵魂宇宙》：steam地址·《再不吃寿司会死掉！》是2021年推出的免费恶搞动作游戏，玩家……
《守望2》8月25日更新电话验证 引发玩家不满
概要: 《守望先锋2》于8月25日凌晨发布全新更新补丁后，Steam玩家发现本作登陆需要进一步手机号码验证，部分Steam国区玩家无法验证登陆，使投入的时间精力和金钱成了无用功，不少玩家选择利用差评方式回应本……
漫改日剧《费尔马的料理》追加新出演者
概要: 漫改日剧《费尔马的料理》追加新出演者。
太空武士的起源 《星际战甲1999》更新实机预告
概要: 在《星际战甲》粉丝活动 Tennocon2023 上，开发商 Digital Extreme 公布了游戏的下一个大型更新《星际战甲1999》的实机演示预告。游戏预告：新更新将会带领玩家回到过去，讲述战……
P站美图推荐——狐耳特辑（二）
概要: 来，看祥ray！
36氪独家｜致力打造苹果级四足机器人产品，「蔚蓝科技」获超亿元A1轮融资
概要: 36氪独家｜致力打造苹果级四足机器人产品，「蔚蓝科技」获超亿元A1轮融资-36氪
组图：贾斯汀·比伯与妻子海莉十指紧扣 一同乘坐专属直升机
概要: 组图：贾斯汀·比伯与妻子海莉十指紧扣 一同乘坐专属直升机
泓德基金秦毅：未来重点关注四大板块投资机会
概要: 泓德基金副总经理、研究部总监、基金经理秦毅表示，经济修复转弱下政策更加积极，经济有望走出预期与现实的低谷。7月底政治局会议召开针对国内需求不足、企业经营困难、重点领域风险隐患较多以及外部环境严峻等四方……
斯莱克半年报解读：上半年电池壳业务快速扩张，营收占比大幅增至40.46%
概要: 8月29日晚间，斯莱克（300382.SZ）发布2023年半年报。公告显示，上半年公司实现营业收入7.05亿元，较上年同期增长7.01%，归属于上市公司股东的净利润6403万元，资产总额42亿元，较上……
组图：任贤齐出席电台活动宣传新专辑 自曝“还在还债中”
概要: 组图：任贤齐出席电台活动宣传新专辑 自曝“还在还债中”
唯一大健康品牌，盈康一生上榜2023全球生态品牌认证榜单
概要: 风口财经记者 王贝贝……
主营业务行稳致远，大国品牌贝因美重新出发
概要: 8月30日，贝因美(002570.SZ)发布2023年半年度报告，报告期内公司实现营业收入13.76亿元，同比减少1.72%；归属于上市公司股东的净利润4421.77万元，同比增长3.04%。贝因美在……
拆解卫星互联网产业链：着眼宇宙星辰的万亿市场，大航天时代的投资机会在哪里？ | 势能观点
概要: 拆解卫星互联网产业链：着眼宇宙星辰的万亿市场，大航天时代的投资机会在哪里？ | 势能观点-36氪
英科医疗披露2023年半年报，Q2归母净利润同比增长39.95%
概要: 8月29日晚间，英科医疗（300677.SZ）发布2023年半年度报告，公司上半年实现营业收入32.95亿元，实现归属于上市公司股东的归母净利润2.93亿元。其中，第二季度实现营业收入17.22亿元，……
漫画家起诉出版社3日元 辐射真人版宣传图使用AI
概要: 日本漫画家向出版社索赔3日元、亚马逊辐射剧集宣传图被扒使用AI
好莱坞不敌国产片，这个暑期档观影口味发生了什么变化
概要: 马斯洛在提出的需求理论中，还有两个通常会被遗漏的需要：认知的需要和审美的需要。在观看影片时，演员的颜值、影片的画面、故事的真情等通常可以满足人们审美的需要。另一方面，电影的情节、立意、结构、叙事甚至倡导的价值观等又可以满足人们认知的需要。
《最终兵器彼女》将于10月举办原画展
概要: 高桥真创作的漫画《最终兵器彼女》将于10月7日~22日在东京举办原画展，售价为1800日元。
显卡市场暴跌27%：唯一正增长的 竟然是AMD！
概要: 权威市调机构JPR发布的最新报告显示，2023年第二季度，全球GPU显卡市场出货量6160万，同比大跌27%。其中，桌面产品占比28%，同比持平，但出货量减少36%；笔记本产品占比72%，同比持平，但……
通用汽车宣布携手谷歌，将对话式 AI 引入旗下车机领域
概要: IT之家8 月 30 日消息，通用汽车在官网宣布，公司与科技巨头谷歌展开合作，探索在汽车中使用 AI 的机会。据了解，通用汽车将与谷歌云围绕生成式 AI 进行“更广泛的合作”，此前双方已经针对通用汽车……
美国8月非农公布在即，预期转弱金价反弹、黄金股收涨
概要: 市场预计美国8月非农就业报告落地前，贵金属价格可能延续反弹
上海大学两教授敲钟上市，市值超100亿，为海尔供应商 | 专精快报
概要: 上海大学两教授敲钟上市，市值超100亿，为海尔供应商 | 专精快报-36氪
苹果秋季发布会定档，iPhone 15要来了；《中国好声音》母公司上半年亏损1507.8万元丨大公司动态
概要: 第一财经每日精选最热门大公司动态，点击「听新闻」，一键收听。
网易德州工作室：将尝试多人游戏从未做过的事情
概要: 今年8月中旬，网易在美国德州奥斯汀成立了新工作室T-Minus Zero Entertainment，目前正在开发一个在线多人第三人称动作游戏，设定在科幻宇宙中。最新情报显示，这款游戏采用虚幻5引擎，……
深圳官宣，“认房不认贷”，8月31日起施行
概要: 政策落地深圳，可以刺激一定的购房需求量。
B 社：《上古卷轴 6》已结束“预制作”，迈入“游戏早期开发阶段”
概要: IT之家8 月 30 日消息，《上古卷轴 6》最早在 2018 年的 E3 游戏展中公布进入开发阶段，当时并未透露太多消息，甚至在 2020 年时，B 社官方表示“未来几年内将不会有任何关于此游戏的消……
医药反腐对创新药销售影响几何？复星医药管理层这样看
概要: 吴以芳表示，在布局创新药的商业过程中，是需要与临床专家进行深入沟通的，但在布局过程中，公司始终坚持走合规、专业化道路。
华为今年上半年净利润约 465.23 亿元同比增长 218%，研发投入 826.04 亿元
概要: IT之家8 月 30 日消息，今日，华为正式披露了 2023 年半年报。今年上半年，华为实现营收 3082.90405 亿元，去年同期为 2986.79722 亿元；营业利润 523.15402 亿元……
玩食物的游戏《Nour: Play with Your Food》9 月 12 日发布，自制“赛博黑暗料理”
概要: IT之家8 月 30 日消息，玩食物的游戏《Nour: Play with Your Food》将于 9 月 12 日推出，将登陆 PC（Steam）、Switch、PS5。▲ 图源 索尼 PSN 商……
世界杯速递伊朗抢断快攻上篮命中，开局打出15-6领先西班牙
概要: 世界杯速递伊朗抢断快攻上篮命中，开局打出15-6领先西班牙
世界杯速递愿无大碍！周鹏崴脚受伤，无奈被换下场
概要: 世界杯速递愿无大碍！周鹏崴脚受伤，无奈被换下场
京冀两地官厅水库上游生态补偿协议签署
概要: 据北京市水务局消息，8月30日，北京市和河北省人民政府正式签署了为期三年的官厅水库上游永定河流域水源保护横向生态补偿协议，这是继密云水库横向生态补偿协议之后…
受台风“苏拉”影响，广铁集团计划对多个铁路线采取停运措施
概要: 来源：广州铁路 受台风“苏拉”影响，为确保列车运行安全，广铁集团计划对广东地区以下线路采取停运措施：1. 8月31日16时后途经杭深线（广东段汕尾以东）、梅汕线…
转需！河北2023年学生资助政策来了→
概要: 河北省2023年学生资助政策简介省委省政府高度重视家庭经济困难学生就学问题，不断完善学生资助政策，建立了各学段学生资助政策体系，保障家庭经济困难学生顺利入学…
9.6万平方米！“回天er”家门口的文体双客厅正式投用！
概要: 2018年首轮回天行动计划实施配套文体空间规划建设提上日程2019年回龙观体育文化中心北区建成对外开放如今，项目又有新进展啦！近日，回龙观体育文化中心正式投入使用…
世界杯速递中国防守漏人，罗密罗暴扣助球领先16分
概要: 世界杯速递中国防守漏人，罗密罗暴扣助球领先16分
世界杯速递萨纳西斯底线球防出5秒违例，激情怒吼
概要: 世界杯速递萨纳西斯底线球防出5秒违例，激情怒吼
世界杯速递阿尔达马突破打成2+1，西班牙将比分反超
概要: 世界杯速递阿尔达马突破打成2+1，西班牙将比分反超
漕河泾开发区举办“惠泽千企 招融万沪”科创企业服务专场活动
概要: 转自：上观新闻8月29日，由上海漕创经济发展有限公司、上海漕河泾新兴技术开发区科技创业中心有限公司及招商银行上海分行联合主办的“惠泽千企招融万沪”科创企业服务专场活…
小说
一语破天机
作者：未定义公式
标签：都市娱乐
简介：穷神入体，却被富豪尊崇，敬为当世仙！点石成金，当为世人谋福，只做善良人！
章节末：第588章 一语破天机
状态：完本
论文
Invisible Users: Uncovering End-Users’ Requirements for Explainable AI via Explanation Forms and Goals | Papers With Code
日期：10 Feb 2023
标签：None
描述：Non-technical end-users are silent and invisible users of the state-of-the-art explainable artificial intelligence (XAI) technologies. Their demands and requirements for AI explainability are not incorporated into the design and evaluation of XAI techniques, which are developed to explain the rationales of AI decisions to end-users and assist their critical decisions. This makes XAI techniques ineffective or even harmful in high-stakes applications, such as healthcare, criminal justice, finance, and autonomous driving systems. To systematically understand end-users’ requirements to support the technical development of XAI, we conducted the EUCA user study with 32 layperson participants in four AI-assisted critical tasks. The study identified comprehensive user requirements for feature-, example-, and rule-based XAI techniques (manifested by the end-user-friendly explanation forms) and XAI evaluation objectives (manifested by the explanation goals), which were shown to be helpful to directly inspire the proposal of new XAI algorithms and evaluation metrics. The EUCA study findings, the identified explanation forms and goals for technical specification, and the EUCA study dataset support the design and evaluation of end-user-centered XAI techniques for accessible, safe, and accountable AI.
BERT is not The Count: Learning to Match Mathematical Statements with Proofs | Papers With Code
日期：18 Feb 2023
标签：None
描述：We introduce a task consisting in matching a proof to a given mathematical statement. The task fits well within current research on Mathematical Information Retrieval and, more generally, mathematical article analysis (Mathematical Sciences, 2014). We present a dataset for the task (the MATcH dataset) consisting of over 180k statement-proof pairs extracted from modern mathematical research articles. We find this dataset highly representative of our task, as it consists of relatively new findings useful to mathematicians. We propose a bilinear similarity model and two decoding methods to match statements to proofs effectively. While the first decoding method matches a proof to a statement without being aware of other statements or proofs, the second method treats the task as a global matching problem. Through a symbol replacement procedure, we analyze the “insights” that pre-trained language models have in such mathematical article analysis and show that while these models perform well on this task with the best performing mean reciprocal rank of 73.7, they follow a relatively shallow symbolic analysis and matching to achieve that performance.
每日夜间，随机给予一天的信息流，防止信息茧房（后续会接入更多信息源），感谢你的阅读！希望你能够从这边获取更多知识！