XiaoMi-AI文件搜索系统
World File Search System令人费解
肠道菌群对乳糜泻发病机理的贡献以及益生菌治疗的有效性
c。秀丽隐杆线虫是一种自由生活的线虫，被广泛用作研究基本生物学过程和疾病机制的小动物模型。自2011年发现奥赛病毒以来，c。秀丽隐杆线虫还具有剖析完整动物中病毒宿主相互作用网络和先天抗病毒途径的希望。ORSAY病毒主要靶向蠕虫肠，导致肠腔肿大以及对感染细胞（例如细胞质液化和令人费解的顶端边框）的可见变化。 Orsay病毒的先前研究确定为c。 秀丽隐杆线虫能够通过DRH-1/ RIG-I介导的RNA干扰和细胞内病原体反应来安装抗病毒反应，这是一种通过3 0末端尿液化和泛素蛋白蛋白质修饰和转移和泛素蛋白质的修饰和转移和泛素蛋白质的修饰和泛素的尿液RNA的尿路溶解剂。 在c中全面搜索新的抗病毒途径。 秀丽隐杆线虫，我们使用现有的细菌RNAi库来摄取全基因组RNAi筛查，覆盖整个基因组的94％。 在确定的106个潜在抗病毒基因命中中，我们研究了三种新途径的抗病毒基因：胶原蛋白，肌动蛋白重塑和表观遗传调节剂。 通过表征RNAi和突变蠕虫中的Orsay病毒感染，我们的结果表明，胶原蛋白可能在肠细胞中形成物理屏障，从而通过预防奥赛病毒进入来抑制病毒感染。ORSAY病毒主要靶向蠕虫肠，导致肠腔肿大以及对感染细胞（例如细胞质液化和令人费解的顶端边框）的可见变化。Orsay病毒的先前研究确定为c。秀丽隐杆线虫能够通过DRH-1/ RIG-I介导的RNA干扰和细胞内病原体反应来安装抗病毒反应，这是一种通过3 0末端尿液化和泛素蛋白蛋白质修饰和转移和泛素蛋白质的修饰和转移和泛素蛋白质的修饰和泛素的尿液RNA的尿路溶解剂。在c中全面搜索新的抗病毒途径。秀丽隐杆线虫，我们使用现有的细菌RNAi库来摄取全基因组RNAi筛查，覆盖整个基因组的94％。在确定的106个潜在抗病毒基因命中中，我们研究了三种新途径的抗病毒基因：胶原蛋白，肌动蛋白重塑和表观遗传调节剂。 通过表征RNAi和突变蠕虫中的Orsay病毒感染，我们的结果表明，胶原蛋白可能在肠细胞中形成物理屏障，从而通过预防奥赛病毒进入来抑制病毒感染。在确定的106个潜在抗病毒基因命中中，我们研究了三种新途径的抗病毒基因：胶原蛋白，肌动蛋白重塑和表观遗传调节剂。通过表征RNAi和突变蠕虫中的Orsay病毒感染，我们的结果表明，胶原蛋白可能在肠细胞中形成物理屏障，从而通过预防奥赛病毒进入来抑制病毒感染。Furthermore, evidence suggests that actin remodeling pro- teins ( unc-34 , wve-1 and wsp-1 ) and chromatin remodelers ( nurf-1 and isw-1 ) exert their antiviral activities by regulating the intestinal actin ( act-5 ), a critical component of the termi- nal web which likely function as another physical barrier to prevent Orsay infection.
我们与人工智能实体关系中的伦理问题
本章讨论我们与人工实体（机器人、机器人和其他计算系统）关系的伦理问题，这些实体被创建来与我们互动，就好像它们是有知觉和自主的个体一样。它们可能体现为机器人或仅存在于软件中；有些显然是人造的，而另一些则至少在某些条件下与人类没有区别。此类互动何时有益或有害？我们与计算实体的关系如何改变我们与其他人类的关系？我们与机器或人类互动在什么时候很重要，为什么？感知能力（具有情感、感受到痛苦并想要避免痛苦的能力）是这里的核心概念。我们对有知觉的生物负有道德责任，而对无知觉的物体则没有：踢狗是残忍的，但踢石头则不是。虽然有感知能力的人工实体将来可能会出现，但目前还只是理论上的可能性。目前所有存在的人工实体都是无感知的，但与岩石不同，它们的相互作用和设计让人觉得它们是有个性和情感的有意识实体。模拟感知能力是本章的主要焦点，强调了我们与看似有感知能力但实际上没有感知能力的实体之间的关系。有些相当简单；我们对拟人化的倾向可以使即使是原始程序的输出在我们看来也像是一个有认知能力的思维行为。其他则复杂得令人费解，对有意识和智能行为的复杂模仿几乎无法与真正有意识的生物的行为区分开来。我们将研究的一些伦理问题涉及我们与人工实体的个人关系。人们寻求人工智能助手的陪伴，为损坏的机器狗举行葬礼，并向模拟治疗师倾诉。
不来梅 MAT 成立 50 周年
不来梅是一座古老的城市。它的历史可以追溯到公元 780 年，查理曼大帝将其设为主教辖区。1358 年，不来梅成为汉萨同盟的成员，汉萨同盟当时控制着波罗的海的贸易。几个世纪以来，贸易和航海活动决定了不来梅人的生活。商人和船长在公共生活中扮演着主要角色。这座城市没有大学，科学只是次要的兴趣。不来梅的每个人都熟悉不来梅城音乐家的冒险经历（图 1）。与不来梅有关的少数早期自然科学活动只有对天文学感兴趣的人才知道：18 世纪末，欧洲大陆最大的天文望远镜在不来梅李林塔尔建成。为了纪念它的创造者约翰·H·施罗特（Johann H. Schroeter，1745-1816），月球表面的一个深谷以他的名字命名。弗里德里希·W·贝塞尔（Friedrich W. Bessel，1784-1846）曾在施罗特的天文台工作。贝塞尔后来去了柯尼斯堡，成为世界领先的天文学家之一。贝塞尔的早期老师和朋友是不来梅的医生和天文学家海因里希·W·M·奥尔伯斯（Heinrich W. M. Olbers，1758-1840）。他发现了行星智神星和灶神星以及五颗彗星。其中一颗彗星和一个令人费解的问题以他的名字命名（“奥尔伯斯悖论”）：“为什么夜晚的天空是黑暗的？它应该被众多星星照亮！”。答案绝非易事，只能基于现代宇宙学理论给出。1
向 PCAST 提交的公众书面意见
2000 年，人们在核静止质量数据中发现了中子排斥力，它是一种被忽视的核能来源，将过去 40 年许多令人费解的太空时代观测结果联系在一起，就像拱门上的拱顶石将拼图的其他部分锁在一起一样。太空、气候和核科学界的成员忽视了中子排斥力，就像他们忽视了之前三个关于地球热源的关键发现一样，这三个发现可能避免了最近有关地球气候的所谓科学预测的丑闻：a.) 太阳在超新星爆炸中诞生了太阳系，然后在坍缩的超新星核心上重新形成（图 1）；b.) 在太阳系诞生时，r 过程中产生的过量 136 Xe 是陨石和行星中原始氦的示踪同位素（图 2）；c.) 太阳中的质量分馏（图 3）富集了太阳表面的轻元素和每种元素的轻同位素。以上四项发现共同构成了解释以下原因的框架：1.）能量和中微子不断从富含铁的太阳和类似恒星中涌出；2.）像太阳这样一颗普通的恒星形成于前身恒星富含中子的核心；3.）太阳中中子衰变产生的太阳氢在前往富含氢的表面之前，在前往星际空间的途中，通过聚变产生太阳中微子；4.）随着中子排斥力克服引力吸引力，宇宙碎裂并膨胀，产生剧烈的恒星爆炸或稳定的中子发射，并衰变为氢，最终作为废物离开恒星。
评估面孔的可信度
人们经常根据面部外观做出各种特征判断，而这些判断会影响重要的社会结果。这些判断彼此高度相关，反映了效价评估渗透到面部特征判断中的事实。可信度判断最接近这种评估，这与杏仁核参与面部可信度隐性评估的证据一致。基于计算机建模和行为实验，我认为面部评估是功能自适应系统的延伸，用于理解情绪表达的交流意义。具体而言，在缺乏诊断性情绪线索的情况下，可信度判断是一种推断行为意图的尝试，这些行为意图表明了趋近/回避行为。相应地，这些判断来自与情绪表达相似的面部特征，这些情绪表达表明了此类行为：快乐和愤怒分别代表可信度连续体的正端和负端。情绪过度泛化假说可以解释高效但不一定准确的面部特征判断，这种模式从进化的角度来看似乎令人费解，并且还产生了关于大脑对面部反应的新预测。具体来说，该假说预测杏仁核对面部可信度的非线性反应，这已在功能性磁共振成像 (fMRI) 研究中得到证实，并且面部身份处理和面部评估之间存在分离，这已在发育性面部失认症研究中得到证实。最后，我总结了一些面部评估研究的方法论意义，重点关注在社会维度上正式建模面部表征的优势。
全息时空与量子信息
全息时空 (HST) 的形式主义是将洛伦兹几何的原理翻译成量子信息语言。沿类时间轨迹的间隔及其相关的因果菱形完全表征了洛伦兹几何。贝肯斯坦-霍金-吉本斯-'t Hooft-雅各布森-菲施勒-萨斯坎德-布索协变熵原理将与菱形相关的希尔伯特空间维度的对数等于菱形全息屏幕面积的四分之一，以普朗克单位测量。这一原理最令人信服的论据是雅各布森推导的爱因斯坦方程作为这一熵定律的流体动力学表达。在这种情况下，零能量条件 (NEC) 被视为熵增加局部定律的类似物。爱因斯坦相对论原理的量子版本是对因果钻石沿不同类时轨迹共享的相互量子信息的一组约束。将这一约束应用于相对运动轨迹是 HST 中最大的未解决问题。HST 的另一个关键特征是它声称，对于非负宇宙常数或远小于负 cc 的渐近曲率半径的因果钻石，钻石主体中的局部自由度是全息屏幕上定义的变量的约束状态。这一原理对 BH 熵公式中原本令人费解的特征给出了简单的解释，并解决了 Minkowski 空间中黑洞的防火墙问题。它激发了 CKN[1] 的协变版本，该版本对量子场论 (QFT) 的有效性范围有限制，并详细描绘了 QFT 作为精确理论的近似值出现的方式。
黑洞蒸发的简单全息模型
摘要：最近有几篇论文表明，纠缠楔重构与 AdS/CFT 中黑洞蒸发的幺正性之间存在密切的关系。然而，这些论文的分析有一个相当令人费解的特点：所有计算都是使用体动力学进行的，而体动力学本质上是霍金用来预测信息丢失的动力学，但应用纠缠楔重构的思想似乎表明佩奇曲线与信息守恒一致。为什么同一模型中的两个不同计算会给出不同的佩奇曲线答案？在本文中，我们提出了一对新模型来澄清这种情况。我们的第一个模型给出了幺正黑洞蒸发的全息图解，其中霍金辐射的类似物按预期净化自身，这种净化由纠缠楔分析重现。此外，光滑的黑洞内部一直持续到蒸发过程的最后阶段。我们的第二个模型对体积演化导致信息丢失的情况给出了另一种全息解释：与迄今为止提出的模型不同，这种体积信息丢失可以通过纠缠楔分析正确再现。这说明量子极值表面在某种意义上是运动学的：它们计算的熵的时间依赖性取决于体积动力学的选择。在这两个模型中，都无需考虑体积量子校正：经典极值表面足以完成这项工作。我们认为，我们的第一个模型是对蒸发黑洞实际发生情况的正确类比，但我们也强调，任何信息问题的完全解决都需要了解非微扰体积动力学。
黑洞蒸发的简单全息模型
摘要：最近有几篇论文表明，纠缠楔重构与 AdS/CFT 中黑洞蒸发的幺正性之间存在密切的关系。然而，这些论文的分析有一个相当令人费解的特点：所有计算都是使用体动力学进行的，而体动力学本质上是霍金用来预测信息丢失的动力学，但应用纠缠楔重构的思想似乎表明佩奇曲线与信息守恒一致。为什么同一模型中的两个不同计算会给出不同的佩奇曲线答案？在本文中，我们提出了一对新模型来澄清这种情况。我们的第一个模型给出了幺正黑洞蒸发的全息图解，其中霍金辐射的类似物按预期净化自身，这种净化由纠缠楔分析重现。此外，光滑的黑洞内部一直持续到蒸发过程的最后阶段。我们的第二个模型对体积演化导致信息丢失的情况给出了另一种全息解释：与迄今为止提出的模型不同，这种体积信息丢失可以通过纠缠楔分析正确再现。这说明量子极值表面在某种意义上是运动学的：它们计算的熵的时间依赖性取决于体积动力学的选择。在这两个模型中，都无需考虑体积量子校正：经典极值表面足以完成这项工作。我们认为，我们的第一个模型是对蒸发黑洞实际发生情况的正确类比，但我们也强调，任何信息问题的完全解决都需要了解非微扰体积动力学。
全息时空与量子信息
全息时空 (HST) 的形式主义是将洛伦兹几何的原理翻译成量子信息语言。沿类时间轨迹的间隔及其相关的因果菱形完全表征了洛伦兹几何。贝肯斯坦-霍金-吉本斯-'t Hooft-雅各布森-菲施勒-萨斯坎德-布索协变熵原理将与菱形相关的希尔伯特空间维度的对数等于菱形全息屏幕面积的四分之一，以普朗克单位测量。这一原理最令人信服的论据是雅各布森推导的爱因斯坦方程作为这一熵定律的流体动力学表达。在这种情况下，零能量条件 (NEC) 被视为熵增加局部定律的类似物。爱因斯坦相对论原理的量子版本是一组对因果钻石沿不同类时轨迹共享的相互量子信息的约束。将这一约束应用于相对运动轨迹是 HST 中最大的未解问题。HST 的另一个关键特征是它声称，对于非负宇宙常数或远小于负 cc 渐近曲率半径的因果钻石，钻石本体中的局部自由度是全息屏幕上定义的变量的约束状态。该原理对 BH 熵公式中原本令人费解的特征进行了简单的解释，并解决了 Minkowski 空间中黑洞的防火墙问题。它激发了 CKN [ 1 ] 的协变版本，该版本对量子场论 (QFT) 的有效性范围有限制，并详细描绘了 QFT 作为精确理论的近似值出现的方式。
自然演绎中的一种新联结及其在量子计算中的应用
量子物理学中一个令人费解的问题是，在两个状态 | φ ⟩ 和 | ψ ⟩ 的量子叠加态 α | φ ⟩ + β | ψ ⟩ 中，是否存在状态 | φ ⟩ 和状态 | ψ ⟩ 或者状态 | φ ⟩ 或者状态 | ψ ⟩ 。事实上，当我们建立这样的叠加态时，也就是当我们准备它时，我们需要有 | φ ⟩ 和 | ψ ⟩ ，但是当我们使用这个状态时，也就是当我们测量它时，我们得到 | φ ⟩ 或 | ψ ⟩ 。因此，当我们建立这种叠加态时，它类似于合取，但当我们使用它时，它类似于析取。这种叠加的构建和使用方式之间的差异让人想起 Prior 的 tonk 等非和谐连接词的自然演绎规则。在本文中，我们捍卫了以下论点：这些非和谐连接词模拟了量子测量中出现的信息擦除、不可逆性和不确定性，而和谐连接词模拟了信息保存、可逆性和确定性。更具体地说，在讨论了和谐和非和谐演绎规则的概念之后（第 2 节），我们引入了一种具有逻辑联结词 ⊙（读作：“sup”，代表“叠加”）的直觉命题逻辑，该逻辑具有非和谐演绎规则，我们为这种逻辑引入了一种证明术语语言，即 ⊙ 演算（读作：“sup-演算”），并且我们证明了它的主要性质：主题归约、证明归约的终止、引入性质和部分合流（第 3 节）。这些证明大多使用标准技术，但有一些特殊性，以适应这种演算。然后，我们扩展这种演算，引入标量来量化一个证明归约成另一个证明的倾向（第 4 节），并表明这种证明语言包含量子编程语言的核心（第 5 节）。请注意，带有 ⊙ 的直觉命题逻辑不是推理量子程序的逻辑。它是一种以量子程序类型为命题的逻辑。