XiaoMi-AI文件搜索系统
World File Search System多个
控制FDR从多个数据源选择组级别的同时信号，并应用于国家covid Collaborative d
使用观察数据的探索性关联研究中的一个挑战是，预测因子与结果之间的关联可能是弱和稀有的，并且候选预测因子具有综合相关结构。错误的发现率（FDR）控制程序可以为探索性研究中的预测识别提供重要的统计保证。在最近建立的国家共同协作队列（N3C）中，电子健康记录（EHR）数据在同一组候选预测因素上是在多个不同的站点中独立收集的，从而提供了通过来自不同来源的信息来识别真正的关联。本文提出了一种一般的基于仿基的变量选择算法，以确定在有限样本设置下的团体级别条件独立测试（同时信号）的联合中的关联。该算法可以与一般回归设置一起使用，从而允许两种异质性
hax：使用多个...
摘要。我们提出了HAX，这是针对安全至关重要软件（例如加密库，协议实施，身份验证和授权机制）以及解析和消毒代码的验证工具链。HAX背后的关键思想是务实的观察者，即不同的验证工具可以更好地处理各种验证目标。因此，HAX支持多个证明后端，包括特定领域的安全分析工具，例如Proverif和Sprove，以及Coq和F*等通用证明助理。在本文中，我们介绍了HAX工具链，并展示如何使用它将Rust Code转换为不同抛弃的输入语言。我们描述了我们如何系统地测试翻译模型和生锈系统库的模型，以增强其正确性的信心。最后，我们简要概述了依赖HAX的各种正在进行的验证项目。
多个生态区域影响南极气溶胶粒径分布的季节性循环
1 伯明翰大学地理、地球与环境科学学院，伯明翰 Edgbaston Rd，伯明翰，B15 2TT，英国 2 芬兰气象研究所，00101 赫尔辛基，芬兰 3 赫尔辛基大学大气与地球系统研究所，00014 赫尔辛基，芬兰 4 英国南极调查局，NERC，High Cross，Madingley Rd，剑桥，CB3 0ET，英国 5 极地科学研究所 (IPS)，国家研究委员会 (CNR)，意大利威尼斯 6 韩国极地研究所，26, SongdoMirae-ro，延寿区，仁川，406-840，韩国 7 阿尔弗雷德·韦格纳研究所 (AWI)，亥姆霍兹极地与海洋研究中心，不来梅港，德国 8 国家气象局 (SMN)，Av. Dorrego 4019，布宜诺斯艾利斯，阿根廷 9 国家科学技术研究委员会 (CONICET)，布宜诺斯艾利斯，阿根廷 10 中船重工海洋科学研究所，CSIC，08003，巴塞罗那，西班牙 11 阿卜杜勒阿齐兹国王大学环境科学系，气象、环境和干旱土地农业学院，吉达 21589，沙特阿拉伯半岛
2025; 16（5）：1519-1537。 doi：10.7150/jca.103523研究论文MATN3在多个肿瘤典型范围内癌症预后和免疫浸润的作用
背景：MATN3是基质蛋白家族的成员，参与了骨关节炎的调节以及胃癌的发展。我们研究了MATN3在Pan-Canter中的作用，并通过体外实验验证了这一结果。材料和方法：我们应用了多个数据库来探索33种肿瘤中Matn3的表达。Kaplan-Meier生存分析是为了了解MATN3对不同癌症类型患者预后价值的影响。 The TIMER database was applied to explore the relationship between MATN3 and immune checkpoint genes, immunomodulatory genes, and immune infiltration, the Sanger box was applied to explore the relationship between MATN3 and methylation, the Genomic Cancer Analysis database was utilized to explore the relationship between MATN3 expression and pharmacological sensitivity, and the STRING database was used to explore the co-expressed genes and为了完成基因和基因组途径富集分析的基因本体论和京都百科全书。 使用R软件对统计分析和可视化的癌症基因组和基因型 - 组织表达数据库的数据进行了可视化。 免疫组织化学和蛋白质印迹以检测MATN3表达。 cck-8和克隆形成用于检测细胞增殖，伤口愈合测定和Transwell侵袭来检测细胞迁移和浸润能力。 结果：MATN3在大多数癌症类型中都过表达，表明预后较差。 它与甲基化，免疫调节基因和免疫检查点基因密切相关，这些基因有助于各种癌症类型的免疫浸润。Kaplan-Meier生存分析是为了了解MATN3对不同癌症类型患者预后价值的影响。The TIMER database was applied to explore the relationship between MATN3 and immune checkpoint genes, immunomodulatory genes, and immune infiltration, the Sanger box was applied to explore the relationship between MATN3 and methylation, the Genomic Cancer Analysis database was utilized to explore the relationship between MATN3 expression and pharmacological sensitivity, and the STRING database was used to explore the co-expressed genes and为了完成基因和基因组途径富集分析的基因本体论和京都百科全书。使用R软件对统计分析和可视化的癌症基因组和基因型 - 组织表达数据库的数据进行了可视化。免疫组织化学和蛋白质印迹以检测MATN3表达。cck-8和克隆形成用于检测细胞增殖，伤口愈合测定和Transwell侵袭来检测细胞迁移和浸润能力。结果：MATN3在大多数癌症类型中都过表达，表明预后较差。它与甲基化，免疫调节基因和免疫检查点基因密切相关，这些基因有助于各种癌症类型的免疫浸润。体外实验表明，沉默MATN3抑制细胞的增殖，迁移和侵袭能力。结论：MATN3参与了癌症的免疫浸润并影响许多癌症类型的预后，可以用作Pan-Canter的免疫和预后生物标志物。
基于多个电流水平增量容量峰值跟踪的锂离子电池 SoH 估算，适用于在线应用
基于多个电流水平下的增量容量峰值跟踪的锂离子电池 SoH 估算，用于在线应用 M. Maures a,* 、A. Capitaine a 、J.-Y. Delétage a 、J.-M. Vinassa a 、O. Briat aa Univ. Bordeaux, CNRS, Bordeaux INP, IMS, UMR 5218, F-33400 Talence, 法国 摘要 本文提出了一种基于增量容量 (IC) 峰值跟踪的高 C 速率健康状态 (SoH) 诊断方法的扩展。使用一组经过不同老化协议的 11 个 NCA 锂离子电池。以 C/20、C/10、C/5 和 C/2 进行充电和放电循环，然后用于 IC 分析。给出并建模了 IC 峰值变化与 SoH 之间的相关性，并显示它们是所有测试 C 速率的准确估计量。 1. 简介 由于对新可再生能源解决方案的强劲需求，如交通运输领域的电动汽车 (EV) 和多电动飞机 (MEA)，或能源领域的电网电池存储，锂离子电池市场正达到历史最高水平。与其他应用相比，这些系统中的电池将面临更为严酷的工作条件：更高的功率和更大的温度变化，这两者都会严重影响电池的退化 [1,2]。因此，有必要跟踪它们的健康状态 (SoH) 并确定何时达到其使用寿命（对于特定应用）。SoH 通常定义为电池在给定时间的最大容量与其初始最大容量之比 [3]。存在不同的估算方法来量化电池的 SoH [4]：基于容量或阻抗、使用弛豫电压或基于增量容量 (IC) 或差分电压 (DV) 曲线。IC 分析提供了有关电池内部退化模式的重要信息 [5,6]，因为每个峰值都是电池内部材料相变的结果 [7]。然而，正因为如此，IC 曲线通常是通过非常缓慢的充电/放电获得的 [8,9]，这限制了它们的实用性。尽管如此，还是有人提出了基于 IC 峰的几何特性来量化电池 SoH 的估算方法。特别是，[8,9] 表明特定 IC 峰和谷的位置与 SoH 之间存在线性相关性，而 [8] 也表明
共同设计新颖性锚定到多个社会...
摘要 应对重大挑战需要新形式的协作创新来支持涉及异构参与者的复杂设计流程。本文专门研究了共同设计如何支持有前景的新颖性锚定到多个社会技术系统中，以加速它们各自的可持续性转型。适用于这种多系统环境的共同设计框架源自转型研究和设计和创新管理研究。该框架基于 27 个案例研究进行了实证验证，其中要锚定的新颖性对应于地球观测数据。作为转型研究的贡献，本文展示了这种多系统共同设计框架如何通过构建在不同时间范围内开展的相关行动，为新颖性开发人员提供一种诊断工具来阐明他们的锚定策略。还提出了几种对锚定概念的丰富，强调了不同形式的锚定之间的一些互补性以及该过程的无尽性。本文对设计和创新管理研究做出了贡献，通过考虑跨越社会技术系统通常界限的背景并关注组织集体设计会议之前的诊断维度，从新颖的角度阐明了共同设计。共同设计框架还强调了一种所谓的“基于资源”的协作创新形式，旨在为面临重大挑战的异质参与者构建基于新颖性的资源。这种方法是对更常见的“基于挑战”方法的补充，旨在直接应对有针对性的挑战。关键词：共同设计、协作创新、重大挑战、可持续性转型、锚定、多层次视角、战略利基管理、地球观测数据、数字创新
可穿戴的光子设备用于多个生物标志物采样和无血液检测
†ZL和BJ对这项工作也同样贡献。10 *信函作者：11 Mei X. Wu博士：mwu5@mgh.harvard.edu 12 13摘要：14个血液抽血或使用针的血液术在诊所实践了几个世纪，而15个通常会导致疼痛，不适和不便。在此，我们通过整合Microlens阵列（MLA）和光学微针阵列（OMNA）来创建一个可穿戴的光子设备16，具有17个免疫识别能力，以实现安全且无针的生物标志物采样和检测。MLA-18在595 nm处通过Omna进入皮肤的LED光的综合OMNA，19绕过表皮层中的光吸收黑色素，并均匀地分布在毛细血管20富含20的毛细管中。595 nm的光优选地被21毛细血管内的血红蛋白（Hb）和氧-Hb吸收，从而触发毛细血管的热扩张而不会损害它们或引起Petechiae。22光照明导致皮肤中各种血液23生物标志物的浓度显着增加，这由于毛细血管扩张和生物标志物的渗出。这些奢侈的24个生物标记物专门与OMNA结合，该标志物用捕获抗体共价装饰，每只25个微针与一种特定的抗体固定。多功能OMNA进行了广泛的26修改，以扩大免疫联系信号并获得优于酶-27连接的免疫吸附测定法（ELISA）试剂盒的灵敏度。这种经济高效的30设备为血液生物标志物的无血，多重检测提供了一个有希望的平台。31 32 33 34 35 36 37 38 39 40 41 42作为概念证明，我们验证了28个原型的功能，用于微创采样和精确的多重血液生物标志物检测，以量化急性炎症和特定的抗体产生。
7924-0233-00•OCP从Urban到多个...
第2页建议摘要•OCP修正案和重新分区的章程继续向公众通知。如果受支持的章程将被提出来考虑第一，第二和第三读。•批准形式和性格开发许可草案。偏离计划，政策或法规•提出对官方社区计划（OCP）的修正案，从“城市”到“多个住宅”，以及一项文本修正案，以允许以多个住宅指定的最大密度为2.74落地面积比率（FAR）。•拟议对Fleetwood计划（第1阶段）的修正案，从“联排别墅”到“低层”。建议的理由•该提案符合大温哥华地区增长战略（RGS）中的一般城市名称。•该提案不符合官方社区计划（OCP）中的城市名称。本地需要进行从城市到多个住宅的OCP修正案，以便允许低层公寓楼，以及OCP文本修正案，以允许拟议的总面积比率（FAR）为2.74。
多个单个特征GWA和监督的机器学习揭示了欧洲对Ash Dieback的Fraxinus Excelsior耐受性的遗传结构
1丹麦弗雷德里克斯伯格哥本哈根大学地球科学与自然资源管理系| 2西北德国森林研究所，汉恩。Münden，德国| 3立陶宛考纳斯的Kaunas林业与环境工程大学应用科学大学| 4 NTNU大学博物馆自然历史系，挪威科学技术大学（NTNU），挪威特朗德海姆| 5立陶宛立陶宛农业与林业研究中心，立陶宛Kaunas | 6 Zentralstelle der forstverwaltung，ForschungsanstaltfürWaldökologieund forstwirtschaft，Hauptstraße16，Trippstadt，德国| 7森林生物多样性与自然保护研究所，联邦森林研究与培训中心，自然危害和景观，奥地利维也纳| 8 Skogforsk，Ekebo 2250，Svalöv，瑞典| 9瑞典农业科学大学瑞典南部森林研究中心，瑞典阿尔纳普| 10森林发展部，爱尔兰都柏林Teagasc | 11巴伐利亚森林遗传学办公室（AWG），德国Teisendorf | 12森林昆虫学研究所，森林病理学和森林保护，生态系统管理部，气候与生物多样性，波库大学，维也纳，奥地利，奥地利| 13丹麦哥本哈根卫生与医学科学学院进化全息学中心| 14 BIOGECO，INRAE，波尔多大学，法国CESTASMünden，德国| 3立陶宛考纳斯的Kaunas林业与环境工程大学应用科学大学| 4 NTNU大学博物馆自然历史系，挪威科学技术大学（NTNU），挪威特朗德海姆| 5立陶宛立陶宛农业与林业研究中心，立陶宛Kaunas | 6 Zentralstelle der forstverwaltung，ForschungsanstaltfürWaldökologieund forstwirtschaft，Hauptstraße16，Trippstadt，德国| 7森林生物多样性与自然保护研究所，联邦森林研究与培训中心，自然危害和景观，奥地利维也纳| 8 Skogforsk，Ekebo 2250，Svalöv，瑞典| 9瑞典农业科学大学瑞典南部森林研究中心，瑞典阿尔纳普| 10森林发展部，爱尔兰都柏林Teagasc | 11巴伐利亚森林遗传学办公室（AWG），德国Teisendorf | 12森林昆虫学研究所，森林病理学和森林保护，生态系统管理部，气候与生物多样性，波库大学，维也纳，奥地利，奥地利| 13丹麦哥本哈根卫生与医学科学学院进化全息学中心| 14 BIOGECO，INRAE，波尔多大学，法国CESTAS
跨多个模拟引擎验证生物模型
生物模型存储库包含来自已发表文献的1000多个手动策划的机械模型，其中大多数是在系统生物学标记语言（SBML）中编码的。这个基于社区的标准正式指定了每个模型，但没有描述运行模拟的计算实验条件。因此，仅使用SBML模型复制任何给定的数字或产生的任何给定数字或产生。模拟实验描述标记语言（SED-ML）提供了一个解决方案：一种准确指定如何运行与特定图形或结果相对应的特定实验的标准方法。生物模型是在SED-ML之前数年建立的，并且在内容和接受方面，这两个系统都随着时间的流逝而发展。因此，生物模型中只有大约一半的条目包含SED-ML文件，这些文件反映了当时可用的SED-ML版本。此外，几乎所有这些SED-ML文件至少都有一个小错误，使它们无效。为了使这些模型及其结果更可重复，我们在此处报告了工作更新，纠正和提供新的SED-ML文件，以针对生物模型中的1055个策划的机械模型提供新的SED-ML文件。此外，由于SED-ML是无关实现的，因此可以用于验证，证明在多个仿真引擎之间成立的结果。在这里，我们使用包装器体系结构来解释SED-ML，并报告五个基于不同ODE的生物仿真引擎的验证结果。我们与SED-ML和BioModels Collection的合作旨在通过使它们更可重现和可信来改善这些模型的实用性。