摘要 - 本文介绍了Kyberslash1和Kyberslash2 - 在Kyber后Quantum Post-Quantum关键封装机制的多种实现(包括官方参考代码)中的两个时序漏洞,目前正在接受标准化为ML-KEM。我们演示了Kyberslash1和Kyberslash2在两个流行平台上的可剥削性:Raspberry Pi 2(Arm Cortex-A7)和ARM Cortex-M4微处理器。Kyber Secret Keys在Kyberslash2的几分钟之内可靠地恢复,而Kyberslash1则几个小时。我们负责任地向各种库的维护者披露了这些漏洞,并迅速修补了这些漏洞。我们提出了两种检测和避免类似漏洞的方法。首先,我们修补了动态分析工具阀门,以允许检测在秘密数据上运行的可变时间指令,并将其应用于超级电视中的1000多个加密原语的实现。我们报告多个发现。第二,我们提出了一种更僵化的方法来使用正式方法中加密软件中没有可变的时间说明。
Kai Cao,1、2、3、9 Joel S. Riley,1、2、4、9 Rosalie Heilig,1、2 Alfredo E. Montes-Go´ mez,1、2 Esmee Vringer,1、2 Kevin Berthenet,5、6 Catherine Cloix,1、2 Yassmin Elmasry,1、2 David G. Spiller,7 Gabriel Ichim,5、6 Kirsteen J. Campbell,1、2 Andrew P. Gilmore,8 和 Stephen WG Tait 1、2、10、* 1 英国癌症研究中心 Beatson 研究所,英国格拉斯哥 G61 1BD 2 格拉斯哥大学医学、兽医学和生命科学学院癌症科学研究所,英国格拉斯哥 G61 1QH 3 北京工业大学环境与生命科学学院化学与生物系,北京 100124,中国 4 因斯布鲁克医科大学生物中心发育免疫学研究所,因斯布鲁克,奥地利 5 里昂癌症研究中心 (CRCL),INSERM 1052,CNRS 5286,里昂,法国 6 癌细胞死亡实验室,LabEx DEVweCAN 的一部分,里昂大学,法国里昂 7 系统显微镜,曼彻斯特大学生物、医学与健康学院,曼彻斯特 M13 9PT,英国 8 威康细胞基质研究中心,曼彻斯特学术科学中心,生物、医学与健康学院,曼彻斯特大学,曼彻斯特 M13 9PT,英国 9 这些作者贡献相同 10 主要联系人 * 通讯地址:stephen.tait@glasgow.ac.uk https://doi.org/10.1016/j.devcel.2022.03.019
人工智能 (AI) 技术与人类工作流程的日益融合,带来了人工智能辅助决策的新范式,即人工智能模型提供决策建议,而人类做出最终决策。为了最好地支持人类决策,定量了解人类如何与人工智能互动和依赖人工智能至关重要。先前的研究通常将人类对人工智能的依赖建模为一个分析过程,即依赖决策是基于成本效益分析做出的。然而,心理学的理论模型表明,依赖决策往往是由情感驱动的,比如人类对人工智能模型的信任。在本文中,我们提出了一个隐马尔可夫模型来捕捉人工智能辅助决策中人机交互背后的情感过程,通过描述决策者如何随着时间的推移调整对人工智能的信任并基于他们的信任做出依赖决策。对从人类实验中收集的真实人类行为数据的评估表明,所提出的模型在准确预测人类在人工智能辅助决策中的依赖行为方面优于各种基线。基于所提出的模型,我们进一步深入了解了人类在人工智能辅助决策中的信任和依赖动态如何受到决策利害关系和交互经验等情境因素的影响。
高血糖通过 PI3Kγ 依赖的缺陷自噬加剧平滑肌泡沫细胞的形成 Labrana H 1* ., Wahart A 1* ., Cormier K 1 ., Solinhac R 1 ., Swiader A 1 ., Mentouri I 1 ., Smirnova N 1 ., Malet N 1 ., Gayral S 1 ., Ramel D 1 ., Auge N 1 **., Laffargue M 1 ** 1 I2MC,法国国家健康与医学研究中心 (INSERM) U1297,法国 *,** 同等贡献
摘要。背景/目的:亚洲传统药物以其抗肿瘤特性而闻名,在临床治疗各种癌症类型方面都很有效。ERM210 是一种韩国传统药物,包含九种药用植物。在本研究中,我们研究了 ERM210 对 HepG2 肝癌细胞的促凋亡作用和分子机制。材料和方法:使用 3-(4,5-二甲基噻唑-2-基)-2,5-二苯基四唑溴化物和伤口愈合试验研究 ERM210 对 HepG2 细胞的细胞毒性,并通过荧光显微镜流式细胞术和蛋白质印迹法研究细胞凋亡和信号通路。结果:ERM210 显著损害了 HepG2 细胞活力,并以时间和剂量依赖性方式增强了线粒体依赖性细胞凋亡,其方式是上调 caspase 3、7 和 9 以及 BCL2 凋亡调节因子 (BCL2) 相关 X、凋亡调节因子 (BAX) 蛋白的表达,同时下调 BCL2 蛋白的表达。此外,ERM210 治疗增加了细胞和线粒体活性氧 (ROS) 的积累
PBOB KCNN4-EGFP F2 5'AACCCAGCCAGCAGTCCAAGATGGTGAGCAAGG GCGAGGAGCTGT 3' PBOB KCNN4-EGFP R2 5'CTACTTGTACAGCTCGTCCATGCCG 3' pBOB-jGCaMP7s-F 5'ATGGGTTCTCATCATCATCATC 3' pBOB-jGCaMP7s-R 5'TTACTTCGCTGTCACTATTG TACA 3'mNlrp3 R258W-F 5'TATCCACTGCTGGGAGGTGAGCCTC 3' mNlrp3 R258W-R 5'GAGGCTCACCTCCCAGCAGTGGATA 3' mNlrp3 D301N-F 5'TGGATGGCTTTAATGAGCTACAAGG 3' mNlrp3 D301N-R 5'CCTTGTAGCTCATTAAAGCCATCCA 3' mNlrp3 T 346M-F 5'CTGCTCATAACGATGAGGGCCGGTAG 3' mNlrp3 T346M-R 5'CTACCGGCCTCATCGTTATGAGCAG 3' 409
摘要。人们期待人工智能能改善人类在各个领域的决策能力,尤其是高风险、困难的任务。然而,人类对人工智能建议的依赖往往是不恰当的。解决这个问题的常用方法是向决策者提供有关人工智能输出的解释,但迄今为止结果好坏参半。人们往往不清楚何时可以适当地依赖人工智能,何时解释可以提供帮助。在这项工作中,我们进行了一项实验室实验(N = 34),以研究人类对(可解释的)人工智能的依赖程度如何取决于不同决策难度引起的心理负荷。我们使用脑电图(Emotiv Epoc Flex 头罩,32 个湿电极)来更直接地测量参与者的心理负荷,而不是自我评估。我们发现,决策的难度(由诱发的心理负荷表明)强烈影响参与者适当依赖人工智能的能力,这通过相对自力更生、相对人工智能依赖以及有无人工智能的决策准确性来评估。虽然依赖对于低脑力负荷决策是合适的,但参与者在高脑力负荷决策中容易过度依赖。在这两种情况下,解释都没有显著影响。我们的结果表明,应该探索常见的“推荐和解释”方法的替代方案,以帮助人类在具有挑战性的任务中做出决策。
摘要 — 研究了 T-DNA 插入拟南芥 At3g58450 基因(该基因编码与发芽相关的通用应激蛋白 (GRUSP))的 3'-UTR 区域的影响。研究发现,在长日照条件下,该突变会延迟 grusp-115 转基因株系的开花转变,这是因为与野生型植物 (Col-0) 相比,内源生物活性赤霉素 GA1 和 GA3 的含量降低。外源 GA 加速了这两个株系的开花,但没有改变 Col-0 和 grusp-115 之间开花开始时间的差异。除了 GA 代谢的变化之外,grusp-115 显然在诱导开花信号的实现方面存在干扰。开花整合因子 FLOWERING LOCUS T ( FT ) 和开花抑制因子 FLOWERING LOCUS C ( FLC ) 的基因表达结果证实了这一点,它们是关键的开花调节因子,作用相反。我们假设,由于 FLC 表达上调,FT 表达水平较低也会影响 grusp-115 表型的形成。
摘要 皮质神经元群体的脉冲活动可以通过少数群体范围内的协方差模式的动态很好地描述,我们将其激活称为“潜在动态”。这些潜在动态主要由电路中相同的相关突触电流驱动,这些突触电流决定了局部场电位 (LFP) 的产生。然而,潜在动态和 LFP 之间的关系在很大程度上仍未得到探索。在这里,我们描述了灵长类动物在伸手过程中感觉运动皮层三个不同区域的这种关系。潜在动态和 LFP 之间的相关性依赖于频率,并且因区域而异。然而,对于任何给定区域,这种关系在整个行为过程中保持稳定:在每个初级运动皮层和运动前皮层中,LFP-潜在动态相关性曲线在运动计划和执行之间非常相似。LFP 和神经群体潜在动态之间的这些强大关联有助于弥合使用任一类型记录报告行为神经相关性的大量研究。
生殖特异性小 RNA 是动物和植物生殖系发育的重要调节因子。microRNA2118 (miR2118) 在植物中是保守的,可诱导阶段性小干扰 RNA (phasiRNA) 的产生。为了揭示 miR2118 的生物学功能,我们在此描述了 miR2118 簇大量缺失的水稻突变体。我们的结果表明,miR2118 的缺失会导致水稻严重的雄性和雌性不育,并伴有体细胞花药壁细胞的明显形态和发育异常。小 RNA 分析表明,花药壁中依赖 miR2118 的 21 核苷酸 (nt) phasiRNA 富含 U,与生殖细胞中的 phasiRNA 不同。此外,miR2118 依赖的 21-nt phasiRNA 生物合成可能涉及 Argonaute 蛋白 OsAGO1b/OsAGO1d,这些蛋白在花药壁细胞层中含量丰富。我们的研究突出了体细胞花药壁和生殖细胞之间 phasiRNA 的位点特异性差异,并证明了 miR2118/U-phasiRNA 在花药壁发育和水稻繁殖中发挥的重要作用。