XiaoMi-AI文件搜索系统
World File Search SystemCSL
https://doi.org/10.1038/s42003-025-07641-8通过饮用水中的微塑料激活肠道代谢物ACSL4/LPCAT3 3
环境污染物[A] pyrene（BAP）通常在环境中发现，微型塑料（MPS）充当BAP的主要载体中生物有机体的主要载体，从而增加了其体内的可用性。然而，尚未完全了解携带污染物的MP携带污染物的特定途径和机制。这项研究旨在研究小鼠肾损伤的途径和机制，以使MPS和BAP均为低浓度。聚苯乙烯（PS）和BAP肾脏中断脂质代谢的结合，导致一种称为铁毒性的细胞死亡形式。但是，在体外HK-2细胞中未观察到这种作用，表明细胞特异性反应。有趣的是，在HIEC-6细胞中，PS和BAP都直接诱导了铁凋亡。这些发现证实了暴露于PS和BAP的情况会破坏肾脏中的代谢稳态，从而导致肾脏功能障碍和细胞死亡。
使用好奇心驱动的探索
时钟约束规范语言（CCSL）已被广泛认为是对实时和嵌入式系统定时行为的建模和分析的有前途的系统级规范。然而，加上现代系统的日益复杂性以及严格的市场限制，需求工程师可以准确地确定基于天然语言的需求文档的CCSL规范变得越来越困难，因为它们缺乏正式的CCSL CCSL建模和设计自动化工具方面的专业知识，无法支持快速和自动生成CCSL的规格。为了解决上述问题，在本文中，我们引入了一种新颖有效的增强学习（RL）基于基于的合成方法，该方法可以促进需求工程师快速找出他们预期的CCSL规格。对于给定的不完整的CCSL规范，我们的方法采用基于RL的枚举来探索所有可行的解决方案，以填补CCSL约束中的孔，并利用好奇心驱动的探索来加速枚举过程。基于我们提出的好奇心驱动探索启发式和演绎推理技术的结合，我们的方法不仅可以有效地修剪无结构的枚举解决方案，而且还可以优化枚举过程以快速搜索最紧密的解决方案，因此可以大幅度地加速整体合成过程。全面的实验结果表明，我们的方法在合成时间和合成精度方面都显着超过最先进的方法。
对硅藻三角褐指藻中的长链酰基辅酶 A 合成酶家族进行多重 CRISPR/Cas9 编辑，发现线粒体 ptACSL3 参与了储存脂质的合成
Xiahui Hao、Wenchao Chen、Alberto Amato、Juliette Jouhet、Eric Maréchal 等人。硅藻 Phaeodactylum tricornutum 中长链酰基辅酶 A 合成酶家族的多重 CRISPR/Cas9 编辑表明，线粒体 ptACSL3 参与了储存脂质的合成。New Phytologist，2022 年，233 (4)，第 1797-1812 页。�10.1111/nph.17911�。�hal-03479559�
第33届EACSL计算机科学逻辑年度会议
本卷包含CSL 2025上发表的论文，这是会议系列计算机科学逻辑（CSL）的第33次会议，欧洲计算机科学逻辑协会（EACSL）年度会议。CSL 2025于2025年2月10日至14日在荷兰阿姆斯特丹举行。CSL最初是一系列国际研讨会，并于1992年成为国际会议。先前的CSL分期付款在华沙（2023）（2023），哥廷根（2022，2022年，在线）中举行Fontainebleau（2012），Bergen（2011），Brno（2010），Coimbra（2009），Boologna（2008），Lausanne（2007），Szeged（2006），牛津（2005），Karpacz，Karpacz（2004）（2004），Vienna（2003），Vienna（2003），Edinburgh（2002），Bris（2001），MADIN，MADID（2000），（2000年），（2000年），（2000年），（2000年），（2000年），（2000年），，（2000年），（2000年，，，，，，，，，地） （1998），Aarhus（1997），Utrecht（1996），Paderborn（1995），Kazimierz（1994），Swansea（1993）和San Miniato（1992）。CSL是一次跨学科会议，涵盖了数学逻辑和计算机科学领域的基本和面向应用程序的研究。会议收到了130次摘要，其中113个随后是全纸盲提交的提交，其中之一后来被撤回。计划委员会在会议上选择了44篇论文进行演讲。在计划委员会的至少三名成员中监督了每篇论文，在161位外部审核者的关键帮助下，总共贡献了总计350个评论中的178个。提交和审查过程，计划委员会的讨论以及作者通知均通过EasyChair会议管理系统来处理。It is a forum for the presentation of research on all aspects of logic and its applications, including automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, game semantics, modal and temporal logic, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and组合逻辑，领域理论，分类逻辑和拓扑语义，数据库理论，程序的规范，提取和转换，量子计算的逻辑方面，编程范式的逻辑基础，验证和程序分析，线性逻辑，高阶逻辑，高级逻辑和非单调性推理。
职位空缺通知编号 HCSL/HR/RECTT/PERMA/2024/5，日期为 2025 年 1 月 7 日
必需条件：获得资格后，至少有两年在 造船/船舶修理公司，或 工程公司，或 政府或半政府工程公司/国防机构操作弯管机的经验 期望：a) 熟悉 CNC 或半自动弯管机的操作。b) 熟悉弯管机的液压系统/电气图纸。c) 熟悉弯管图纸的研究。d) 具备良好的沟通技巧和印地语/孟加拉语工作知识。职位要求：执行弯管的所有功能，确保按分配的轮班操作中的安全、质量和生产力。弯曲管道时不得出现任何弯曲（在压力下塌陷），并且尽可能减少卷边和压扁。使用适当的测量和检查设备检查弯曲部件是否符合图纸规格和公差。识别、正确标记和去除不合格材料，监控
职位空缺通知编号 HCSL/HR/RECTT/PERMA/2024/5，日期为 2025 年 1 月 7 日
必需条件：获得资格后，至少有两年在 造船/船舶修理公司，或 工程公司，或 政府或半政府工程公司/国防机构操作弯管机的经验 期望：a) 熟悉 CNC 或半自动弯管机的操作。b) 熟悉弯管机的液压系统/电气图纸。c) 熟悉弯管图纸的研究。d) 具备良好的沟通技巧和印地语/孟加拉语工作知识。职位要求：执行弯管的所有功能，确保按分配的轮班操作中的安全、质量和生产力。弯曲管道时不得出现任何弯曲（在压力下塌陷），并且尽可能减少卷边和压扁。使用适当的测量和检查设备检查弯曲部件是否符合图纸规格和公差。识别、正确标记和去除不合格材料，监控
乌杜皮科钦造船厂有限公司 (UCSL)
他们在提交职位的在线申请中的资格考试中。一些大学/学院/考试委员会不授予等级或百分比分数，而是分配总绩点（例如CGPA/OGPA/CPI 等）。如果大学/学院/考试委员会定义了将总绩点转换为等级和/或分数百分比的标准，则应接受。候选人还可以出示大学颁发的百分比转换证书。但是，如果大学/学院/考试委员会没有定义标准或提供将总绩点转换为等级和/或分数百分比的百分比转换证书，则总绩点可以乘以 10 以获得所需的分数百分比
CSL 研究加速计划
新的传染病疫苗目标 1. 呼吸道病原体是优先考虑的 2. 目前尚无治疗方法的新型抗原疫苗目标 3. 用于预测病毒进化/致病性的方法（例如人工智能/机器学习）为疫苗开发提供信息 4. 给药途径的新方法 5. 疫苗（蛋白质）的新型环境稳定性技术
CSL 研究加速计划
新的传染病疫苗目标 1. 呼吸道病原体是优先考虑的 2. 目前尚无治疗方法的新型抗原疫苗目标 3. 用于预测病毒进化/致病性的方法（例如人工智能/机器学习）为疫苗开发提供信息 4. 给药途径的新方法 5. 疫苗（蛋白质）的新型环境稳定性技术
