XiaoMi-AI文件搜索系统
World File Search SystemPrograms
概率程序资源使用的定量界限
成本分析，也称为资源使用分析，是寻找程序总成本的界限，并且是静态分析中的一个良好问题。在这项工作中，我们考虑了概率计划的成本分析中的两个经典定量问题。第一个问题是找到该计划的预期总成本的约束。这是该程序资源使用情况的自然措施，也可以直接应用于平均案例运行时分析。第二个问题要求尾巴绑定，即给定阈值𝑡目标是找到概率结合的概率，以便p [总成本≥𝑡]≤。直观地，给定资源的阈值𝑡，问题是要找到总成本超过此阈值的可能性。首先，对于预期范围，先前关于成本分析的工作的主要障碍是他们只能处理非负成本或有限的可变更新。相比之下，我们提供了标准成本标准概念的新变体，使我们能够找到一类具有一般正面或负成本的程序的期望范围，并且对可变更新无限制。更具体地说，只要沿着每条路径所产生的总成本下降，我们的方法就适用。第二，对于尾巴界，所有以前的方法都仅限于预期总成本有限的程序。具体来说，这使我们能够获得几乎无法终止的程序的运行时尾界。最后，我们提供了实验结果，表明我们的方法可以解决以前方法无法实现的实例。相比之下，我们提出了一种新颖的方法，基于我们基于Martingale的预期界限与定量安全分析的结合，以获取解决尾巴绑定问题的解决方案，该问题甚至适用于具有无限预期成本的程序。总而言之，我们提供了基于Martingale的成本分析和定量安全分析的新型组合，该组合能够找到概率计划的期望和尾巴成本范围，而无需限制非负成本，有限的更新或预期总成本的有限性。
通过将政策提炼为程序来评估可解释的强化学习
存在强化学习之类的应用，例如医学，其中政策需要被人类“解释”。用户研究表明，某些政策类可能比其他政策类更容易解释。但是，进行人类的政策解释性研究是昂贵的。此外，没有明确的解释性定义，即没有明确的指标来解释性，因此主张取决于所选的定义。我们解决了通过人类解释性的经验评估政策的问题。尽管缺乏明确的定义，但研究人员对“模拟性”的概念达成了共识：政策解释性应与人类如何理解所给出的政策行动有关。为了推进可解释的强化学习研究，我们为评估政策解释性做出了新的方法。这种新方法依赖于代理来进行模拟性，我们用来对政策解释性进行大规模的经验评估。我们使用模仿学习来通过将专家神经网络提炼为小程序来计算基线政策。然后，我们表明，使用我们的方法来评估基准解释性会导致与用户研究相似的结论。我们表明，提高可解释性并不一定会降低表现，有时会增加它们。我们还表明，没有政策类别可以更好地跨越各个任务的可解释性和绩效进行交易，这使得研究人员有必要拥有比较政策可解释性的方法。
![普通大学入学考试[Cuet（ug）] -2025研究生课程](/simg/8/8c7453f183669cc415feefb1de7baaa518a2b62c.webp)
普通大学入学考试[Cuet（ug）] -2025研究生课程
高等次考试或与任何科学学科 /家庭科学 /家庭科学 /护理 /（职业流）的任何科学学科 /家庭科学（职业流）进行的通行证，该学科 /化学 /化学 /生物学 /职业流与任何科学主题。
白宫“美国第一投资政策”指导CFIUS和出站投资计划的更改
真正的“快速轨道”过程。NSPM针对与高级技术和其他重要领域有关的美国业务中的盟军和合作伙伴投资者指导“基于客观标准的快速过程”的创建。目前尚不清楚该过程将采取哪种形式。例如，NSPM表示该过程将与客观标准相关。这可能意味着该过程仅适用于某些投资者（例如，根据CFIUS法规符合“除外的投资者”定义的那些投资者）或仅适用于某些类型的交易。的确，尚不清楚这个快速轨道过程是否会采用真正的新过程与现有机制分开的形式。cfius已经有一个“短形式”宣言申请选项，但是，正如我们在评论中所讨论的那样，该过程（尽管可能比长期通知快）通常不确定。4
SMD研究计划更新
SMD研究计划更新了尊敬的同事，您可能知道，新政府已发布了行政命令（EOS），并实施可能影响赠款，合作协议和合同的政策和指导。SMD，与代理方向一致，正在努力遵守新政策和指导的要求，以及与EOS和指导有关的诉讼造成的法院命令。SMD目前监督约6,000款赠款，合作协议，合同，机构间转让和内部NASA转移；因此，您可以想象，实施新政策和指导的过程需要花费一些时间，而动作的周转时间将比正常情况更长。我们要求您的耐心。还请意识到，我们处于一个高度动态的环境中，每项诉讼都受到裁决，并有可能影响政策和指导，从而影响赠款，合作协议和合同。SMD希望提供以下简短更新：1。不幸的是，太空和地球科学（玫瑰）2025的研究机会并未像过去几年那样在情人节发布。有多种原因与SMD R＆A潜在客户的工作量增加有关，以及所有与资金机会通知的人一起工作。SMD正在努力在2025年Roses-2025上工作，并希望尽快释放它。2。正在修订赠款和合作协议手册（GCAM），以确保遵守新的执行命令，政策和指导。我们希望能尽快发布经修订的GCAM。3。4。5。在NNH24ZDA002N中，在空间和地球科学和技术招标中为主题研讨会，研讨会和会议（TWSC-2024）的提案创建功能是在NASA的招标和提案集成审查和评估系统（NSPires（Nspires）的禁用。先前提交的建议仍将进行审查，并将做出选择决定。需要在接受新提案的情况下进行此暂停，以更新TWSC征集，以符合执行命令，并适应了管理所有赠款和合作协议的“统一指导”（2 CFR 200）的最新修订。目前无法预测TWSC何时修订/更换的TWSC的时间表。有关TWSC的更多信息，请访问：https：//science.nasa.gov/researchers/funding-for-events/。一些NASA托管和支持的网站可能已经离线，以便NASA可以确保网站符合新政府的政策和指导。我们希望有任何适当的修改将尽快在线返回网站。在1月下旬，美国宇航局高级领导层决定推迟原定于2月初举行的NASA咨询委员会（NAC）的会议。随着科学委员会向NAC报告，SMD选择将方向反映给NAC并停止科学委员会的工作。为了一致性，鉴于六个独立部门级咨询委员会（DAC）的主席在科学委员会任职，此停顿也适用于DACS。赠款和合作协议有关NASA采购办公室（OP）的指导，请访问https://www.nasa.gov/nasa-global-contractor-and-contractor-and-grantee-community-memos/。
扩展和教育计划在伊朗洛里斯坦省有机农业发展中的作用
近年来造成许多挑战的最重要的环境危害之一是无机农业的发展和农业部门的化学投入过度使用。这项研究的目的是评估伊朗洛里斯坦省蔬菜和夏季作物中扩展和教育计划在开发有机农业中的作用。这项研究本质上是定量的，并且在目的方面进行了应用研究。人口由洛雷斯坦的蔬菜和夏季农民组成（n = 3,500）。样本量是根据摩根表（n = 384）确定的。为了确定问卷的有效性和可靠性，使用了专家小组和0.85的系数。根据结果，OF的尺寸不是最佳的。从生态，健康，公平，护理，社会文化和生产经济方面，当前和所需条件之间存在显着差异（p <1％）。参加了扩展和教育阶级，现场日，推广展览，农民实地学校，科学研讨会和示范农场的农民在各个方面都有显着差异（p <1％）。影响维度发展的最重要因素包括：（1）（1）（2）政府对方法和发展其维度的支持的发展和增强农民的能力，（3）法律文书在开发和（4）改变消费者在使用有机食品方面的看法。
通用RSV预防程序：更新摘要
注意：•去年接受RSV疫苗的人本赛季不需要一种 - 疫苗接种至少两年提供保护。•欢迎有资格的患者随时接种疫苗，但是接近疫苗，但是在RSV季节开始之前，传统上可以从11月开始，可以考虑最大化保护。•该疫苗可以与其他疫苗（包括非季节性疫苗）共同采用。•接受血液透析或腹膜透析的人以及固体器官或造血干细胞移植受者应与他们的治疗团队谈论接受疫苗。•那60岁及以上的人没有资格获得公共资助的RSV疫苗并选择接受的人可以在药房（带有处方的药房购买），并且可以由您，药剂师或其他初级保健提供者管理。
