XiaoMi-AI文件搜索系统
World File Search SystemNETS
大鼠内侧前额叶皮层中的会内神经元网改变海马前额外振荡和重塑可卡因自我管理记忆
（未通过同行评审认证）是作者/资助者。保留所有权利。未经许可就不允许重复使用。此预印本版的版权持有人于2024年2月6日发布。 https://doi.org/10.1101/2024.02.05.577568 doi：Biorxiv Preprint
D3mciAD：利用句法图像生成和神经网络进行数据驱动的轻度认知障碍诊断
摘要。阿尔茨海默病是一种无法治愈的慢性神经系统疾病 (NLD)，会影响人类记忆力，并随着大脑区域的萎缩而丧失认知思维能力。早期发现阿尔茨海默病 (AD) 是延缓其影响的唯一希望。本研究设计了一种计算机辅助自动检测方法，可以从磁共振图像扫描中检测出 AD 的轻度认知障碍。数据驱动的解决方案需要大量带注释的图像才能进行诊断。然而，获取大量带注释的数据用于医疗应用是一项艰巨的任务。我们利用深度卷积生成对抗网络 (DCGAN) 来合成高质量图像以增加数据集大小。微调的 CNN（VGG16 架构）模型对图像进行处理，以提取直观的特征以进行早期诊断。VGG16 提取的图像特征输入到支持向量机进行分类。本研究进行了大量实验来验证所提出的方法在公共数据集上的表现优于相对基线。
文章 Neuroscope：用于卷积神经网络语义分割和图像分类的可解释 AI 工具箱
摘要：对人工智能 (AI) 预测的信任是广泛接受新技术的关键点，尤其是在自动驾驶等敏感领域。因此，对用于深度学习图像的解释 AI 的工具的需求迫在眉睫。我们提出的工具箱 Neuroscope 通过提供用于图像分类的最先进的可视化算法和用于卷积神经网络 (CNN) 语义分割的新方法来满足这一需求。凭借其易于使用的图形用户界面 (GUI)，它可在 CNN 的所有层上提供可视化。由于其开放的模型视图控制器架构，使用 Keras 和 PyTorch 生成和训练的网络是可处理的，并且具有允许扩展到其他框架的接口。我们以交通场景分析为例展示了 Neuroscope 提供的解释能力。
马拉维利隆圭使用 RTS,S/AS01 疟疾疫苗和蚊帐减少病例并提高成本效益
背景：RTS,S/AS01 是最先进的抗疟疾疫苗，目前正在马拉维、加纳和肯尼亚进行试点实施，估计每年将有 360,000 名儿童接种疫苗。在本研究中，我们将评估 RTS,S/AS01 与蚊帐的使用情况并估算成本效益。方法：使用 RTS,S/AS01 III 期试验和蚊帐流行率数据来确定马拉维利隆圭城市/城郊和农村地区疫苗接种的效果。使用成本数据计算三年内各种干预措施的成本效益。结果：由于蚊帐可降低疟疾发病率，并且假设疫苗效力均一，因此未使用蚊帐的参与者从 RTS,S/AS01 疫苗接种中获得的相对效益大于使用蚊帐的参与者。同样，由于利隆圭农村地区的疟疾发病率高于利隆圭市区，因此疫苗干预在农村地区的影响力和成本效益更高。我们估计，在利隆圭农村地区，为一名未使用蚊帐的儿童接种疫苗可在三年内预防 2 59 例（1 62 至 3 38 例）疟疾病例，相当于每例预防费用为 10 08 美元（7 71 至 16 13 例）。相反，为一名使用蚊帐的儿童接种疫苗可预防 1 59 例（0 87 至 2 57 例），相当于每例预防费用为 16 43 美元（10 16 至 30 06 例）。估计为利隆圭农村地区的 30,000 名儿童提供 RTS,S/AS01 的费用为 782,400 美元，可在三年内预防 58,611 例（35,778 至 82,932 例）疟疾病例。据估计，与仅提供疫苗的干预措施相比，提供疫苗接种和蚊帐（为没有蚊帐的人）的联合干预措施可预防更多疟疾病例，且成本效益同样高。解释：为了最大限度地预防疟疾，可以将疫苗接种和蚊帐分发计划结合起来。资助：环境、宿主遗传学和抗原多样性对疟疾疫苗效力的影响（1R01AI137410-01）
推广负排放技术的案例
摘要 要在本世纪中叶实现净零排放，通过负排放技术 (NET) 去除大气中的二氧化碳将发挥不可或缺的作用。随着可再生能源技术 (RET) 的引入和推广，一种清洁技术已经面临与 NET 类似的障碍——前期成本高、竞争力有限和公众认知度低。本文将 NET 政策建议与从 RET 支持中得到的经验教训进行了比较。对于 NET，由于其尚处于起步阶段，使用研发支持进行创新是明确的，然而，无论 NET 是作为替代缓解策略、过渡技术还是最后手段使用，需求拉动工具都不同。作为一种替代缓解方法，通过将 NET 整合到排放交易系统中的市场化方法是适用的，因为与减排相比，使用 NET 没有额外的环境效益。使用 NET 作为过渡技术需要限制对 NET 的需求，以控制 NET 的数量，甚至可能控制其类型。这可以通过强制或拍卖来实现。作为最后的手段，通过 NET 进行清除需要政府的大力参与，因为排放清除构成了纯公共物品。这需要公共采购甚至国家主导的 NET 运营。
![arXiv:2502.02354v1 [cs.LO] 2025 年 2 月 4 日](/simg/g:\will\search\icon\source\d\d48731e0c9bcee63d92c7a739fb8e6e1c3cedf18.webp)
arXiv:2502.02354v1 [cs.LO] 2025 年 2 月 4 日
b 互斥，可以按任何顺序执行，但不能并发；在右侧，a 和 b 之间存在真正的并发，用 HDA 语义的实心方块表示。在交错语义中，两个网之间没有区别，两者都产生左侧的转换系统。van Glabbeek 在 [31] 中首次探讨了 Petri 网和 HDA 之间的关系，其中 HDA 被定义为带标签的前立方体集，其单元是不同维度的超立方体。最近，[13] 为 HDA 引入了一种基于事件的设置，将其单元定义为带标签事件的全序集。该框架导致了 HDA 理论的许多新发展 [4,5,14,16]，因此我们在这里着手将 van Glabbeek 的翻译更新为这种基于事件的设置。Petri 网是一个强大的模型，可以表示无限系统，同时保留可达性 [25] 和可覆盖性 [23] 的可判定性。尽管 Petri 网具有表达能力，但它缺少一些表示程序执行所必需的特性。在 [17] 中，作者引入了抑制弧，当通过抑制弧连接到 t 的位置不为空时，它可以防止转换 t 触发。显然，这种构造允许实现零测试，这使得带有抑制弧的 Petri 网具有图灵能力。我们研究了带有抑制弧的 Petri 网的并发语义，表明 [21] 的后验语义再次产生了 HDA。然而，对于更自由的先验语义（再次参见 [21]），我们需要引入部分 HDA，其中一些单元可能缺失，模仿现在禁止某些并发执行序列化的事实。我们进一步将我们的工作扩展到 [11] 的广义自修改网，将它们的并发语义定义为 ST 自动机，而 ST 自动机本身又概括了部分 HDA。我们开发了一个原型工具，它实现了从 Petri 网到 HDA 的转换以及从 PNI 到部分 HDA 的转换。4 我们的实现能够以模块化方式处理标准、加权和抑制弧。本文的结构如下。我们在第 2 和第 3 节开始回顾 HDA 和 Petri 网，重点介绍它们的并发语义，这种语义允许多个转换同时触发。以下各节介绍了我们的适当贡献。在第 4 节中，我们介绍了基于 [31] 的从 Petri 网到 HDA 的转换。为了克服这样构建的 HDA 的对称性，第 5 节引入了事件顺序，避免了构造中的阶乘爆炸。我们还给出了几个例子来说明 HDA 语义中的细节。然后，我们在第 6 节中考虑了具有抑制弧的 Petri 网（后验和先验语义），在第 7 节中考虑了广义自修改网。第 8 节介绍了我们的实现。
德国情报活动在南非的密码学方面...
第 2 章：轴心国特工在拉丁美洲的行动。。。。。。。。。。。。。。。5 萨尔戈。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。5 巴西篮网。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。6 重新分组。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。6 智利网。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。6 JOLLE 操作。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。7 墨卡托 I 和墨卡托 II。。。。。。。。。。。。。。。。。。。。。。。。。。。8 JOLLE 行动的规划。。。。。。。。。。。。。。。。。。。。。。。。。。8 JOLLE 行动结束。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。10 获得的好处。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。10
行为障碍的分类-YALE心理学
1尽管它们的名字，但神经网并不是神经科学变量的独特之处。该算法之所以采用此标题，是因为其信息处理的节点或单位是在生物学大脑中的神经元上松散建模的。神经网可以处理神经和非神经数据。
负排放技术的合成生物学方法：一种技术和道德评估
本文探讨了合成生物学方法可能对负排放技术（NETS）产生的影响。合成生物学既改变又创建了受自然启发的生物途径，该途径是由大自然启发的，开发了将温室气体隔离为工业有用的化学物质，例如生物量和碳酸钙。然而，由于硬限制（在生物学）和“软”限制（社会和经济成本）的结合，合成生物学在实施和扩大生产时会遇到困难。此外，网络以及一般的生态系统技术是气候技术的运作，其中即使在受控条件下，将设计的生物体释放到环境中，因此对伦理难题的思想不足。在本文中，在通过生态系统技术缓解气候变化的背景下，我们对网络的合成生物学方法提供了一种技术和道德评估。