XiaoMi-AI文件搜索系统
World File Search SystemDSL
定量证据合成的实用指南
Abbreviation Meaning AgD Aggregate data AIC Akaike information criterion ATE Average treatment effect (among the entire population) ATT Average treatment effect among treated BIC Bayesian information criterion CA Collaborative assessment CG Coordination group DIC Deviance information criterion DSL DerSimonian-Laird EMA European Medicines Agency ESS Effective sample size EU European Union FP Fractional polynomials HR Hazard ratio HTA Health technology assessment HTD Health technology developer IPD Individual patient-level data, also known as individual patient data or individual participant data IQWiG Institut für Qualität und Wirtschaftlichkeit im Gesundheitswesen ITC Indirect treatment comparison JCA Joint clinical assessment KH Knapp-Hartung MAIC Matching-adjusted indirect comparison MD Mean difference ML-NMR Multilevel network meta-regression MPG方法和程序指导MS成员国NMA网络荟萃分析或赔率pH比例危害人口，干预，比较，比较，结果RCT随机对照试验试验RD风险差异RMST限制了平均生存时间RR风险比率RR RR RR ROB ROB的偏见SAP统计分析STC模拟治疗sTC Sumcrature Sumcra suporation Sucra sucra sucra sucra sucra sucra sucra sucra sucra sucra sucra sucra sucration sucration suul suul suporation suul suul su累积级别累积等级
将WebAssembly标准标准加速使用Spectec
WebAssembly（WASM）是一种便携式低级字节码语言和虚拟机，在各种生态系统中的使用越来越多。其规范非常严格 - 包括语言的完整正式语义 - 并且必须在本式语义，散文和官方参考解释器中指定每个新功能，然后才能进行标准化。随着语言规模不断增长，这种手动过程及其冗余已变得艰巨且容易出错，在这项工作中，我们提供了一种解决方案。我们提出Spectec，一种特定于领域的语言（DSL）和工具链，可促进WASM规范和标准化新功能所需的工件的产生。Spectec是真理的单一来源 - 从wastm语义的观点定义来看，我们可以生成字体规范，包括正式的定义和散文伪代码描述以及元级解释器。计划了进一步的测试生成和交互式定理的后端。我们评估了Spectec代表最新WASM 2.0的能力，并表明生成的元级口译员通过了适用的官方测试套件的100％。我们表明，Spectec通过检测已纠正的规范中的历史错误以及在五个建议中的五个提案中的十个错误来发现和预防错误非常有效。我们的最终目的是，Spectec应由WASM标准社区采用，并用于指定标准的未来版本。
使用生成式人工智能为自主系统生成行动计划。联系人 Damien Pellier (Damien.Pellier@imag.fr) LIG-Marvin Humbert Fiorino (Hum
使用生成式人工智能为自主系统生成行动计划。联系人 Damien Pellier (Damien.Pellier@imag.fr) LIG-Marvin Humbert Fiorino (Humbert.Fiorino@imag.fr) LIG-Marvin，关键词 自动规划，生成式人工智能 上下文 自动规划 [1] 是人工智能的一个领域，其目的是设计决策算法用于自主系统，即机器人、无人机、机器人等代理。由于这些系统无需人工监督即可“自主”运行，因此它们必须始终制定行动计划以实现分配给它们的目标。众所周知，自主规划是 NP 难问题，而领域特定语言 (DSL)（如 PDDL（规划领域描述语言）[2]）被设计用于将代理任务（行动、目标和世界状态等）建模/指定为规划问题。计划生成基于许多经典的 AI 技术，例如树搜索和启发式搜索、SAT 或 CSP 问题求解等（有关更多详细信息，请参阅 PDDL4J [3] 和 [1]）。同时，生成人工智能（也称为生成 AI 或 GenAI [4]）是能够使用生成模型生成文本、图像或其他媒体的人工智能 [5][6][7]。生成 AI 模型学习其输入训练数据的模式和结构，然后生成具有相似特征的新数据。在 2020 年代初期，基于 Transformer 的深度神经网络的进步使许多生成 AI 系统成为可能，这些系统以接受自然语言提示作为输入而闻名。其中包括大型语言模型聊天机器人（如 ChatGPT、Bing Chat、Bard 和 LLaMA）以及文本到图像的人工智能艺术系统（如 Stable Diffusion、Midjourney 和 DALL-E）。
GAO-21-306，NASA：主要项目评估
DrACO 复杂有机物采集钻探 DraMS 蜻蜓质谱仪 DSL 深空物流 EGS 探索地面系统 EIS 欧罗巴成像系统 EPFD 电动动力系统飞行演示 ESA 欧洲航天局 ESM 欧洲服务舱 ESPRIT-RM 欧洲加油、基础设施和电信系统 加油舱 EUS 探索上面级 GERS 网关外部机器人系统 GRNS 伽马射线和中子光谱仪 GSLV 地球同步卫星运载火箭 HALO 居住和物流前哨 HLS 载人着陆系统 i-Hab 国际栖息地 I&T 集成和测试 ICON 电离层连接探测器 ICPS 临时低温推进级 IMAP 星际测绘和加速探测器 IOC 初始运行能力 ISRO 印度空间研究组织 ISS 国际空间站 JAXA 日本宇宙航空研究开发机构 JCL 联合成本和进度置信水平 JWST 詹姆斯·韦伯太空望远镜 KaRIn Ka 波段雷达干涉仪KASI 韩国天文与空间科学研究所 KDP 关键决策点 L9 Landsat 9 LBFD 低空飞行演示器 LCRD 激光通信中继演示 LICIACube Light 意大利立方体卫星（用于小行星成像） LIDAR 光探测与测距 MASPEX 行星探测质谱仪 MDR 任务定义审查 MISE 测绘成像光谱仪（用于木卫二） ML2 移动发射器 2 MPM 多用途模块 NASA 美国国家航空航天局 NE
QIAamp DNA 血液迷你试剂盒 (250)
AIIC - 澳大利亚工业化学品名录；ASTM - 美国材料测试协会；bw - 体重；CERCLA - 综合环境反应、赔偿和责任法；CMR - 致癌物、诱变剂或生殖毒物；DIN - 德国标准化协会标准；DOT - 运输部；DSL - 国内物质清单（加拿大）；ECx - 与 x% 反应相关的浓度；EHS - 极其危险物质；ELx - 与 x% 反应相关的负载率；EmS - 紧急时间表；ENCS - 现有和新化学物质（日本）；ErCx - 与 x% 增长率反应相关的浓度；ERG - 紧急响应指南；GHS - 全球协调制度；GLP - 良好实验室规范；HMIS - 危险材料识别系统；IARC - 国际癌症研究机构；IATA - 国际航空运输协会； IBC - 《国际散装运输危险化学品船舶建造与设备规则》；IC50 - 半数抑菌浓度；ICAO - 国际民用航空组织；IECSC - 中国现有化学物质名录；IMDG - 国际海上危险货物运输规则；IMO - 国际海事组织；ISHL - 日本工业安全与健康法；ISO - 国际标准化组织；KECI - 韩国现有化学品名录；LC50 - 半数试验人群致死浓度；LD50 - 半数试验人群致死剂量（半数致死量）；MARPOL - 国际防止船舶造成污染公约；MSHA - 矿山安全与健康管理局；nos - 否则除外
NASA 对重大项目的评估
DraMS 蜻蜓质谱仪 DSL 深空物流 EAP 电动飞机推进系统 EGS 探索地面系统 EIS 木卫二成像系统 EMI 电磁干扰 EPFD 电动动力系统飞行演示 ESA 欧洲航天局 ESM 欧洲服务舱 ESPRIT-RM 欧洲加油、基础设施和电信系统 加油舱 EUS 探索上面级 EVA 舱外活动 GDC 地球空间动力学星座 GERS 网关外部机器人系统 HALO 居住和物流前哨 HLS 载人着陆系统 I-HAB 国际栖息地 ICPS 临时低温推进级 IMAP 星际测绘和加速探测器 ISRO 印度空间研究组织 ISS 国际空间站 IT 电离层-热层 JPL 喷气推进实验室 JWST 詹姆斯·韦伯太空望远镜 KDP 关键决策点 LBFD 低爆飞行演示器 LCRD 激光通信中继演示 MASPEX 行星探索质谱仪 MAV火星上升飞行器 MDR 任务定义审查 ML2 移动发射器 2 MSR 火星样本返回 NASA 美国国家航空航天局 NEO 近地天体 NEOCam NEO 相机 NISAR NASA ISRO – 合成孔径雷达 NPR NASA 程序要求 OCI 海洋颜色仪 OMB 管理和预算办公室 Orion Orion 多用途载人飞船 ORR 作战准备情况审查
欧洲投资银行的投资项目经济评估
3G：第三代（移动通信技术） AIC：平均增量成本 B/C：效益成本（比率） B&E 生物多样性和生态系统 BGC：行为广义成本 CAPEX：资本支出 CAPM：资本资产定价模型 CBA：成本效益分析 CEA：成本效益分析 CO2：二氧化碳 CO2e：二氧化碳当量 DG REGIO：区域和城市政策总司 DH：区域供热 DSL：数字用户线 EIB：欧洲投资银行，或“银行” ENPV：经济净现值 EPO：欧洲专利局 ERDF：欧洲区域发展基金 ERIAM：经济道路基础设施评估模型 ERP：企业资源规划 ERR：经济回报率 ETS：排放交易体系 EU：欧盟 FNPV：财务净现值 FRR：财务回报率 FTTLA：光纤到最后一个放大器 FTTH：光纤到户 GC：广义成本 GHG：温室气体 GDP：国内生产总值 HV：重型车辆 IATA：国际航空运输协会 ICT：信息和通信技术 IER：能源经济与合理能源使用研究所 IM：基础设施经理 IRR：内部收益率 JASPERS：支持欧洲地区项目的联合援助 kV：千伏 kWh：千瓦时 LC：平准成本 l/c/d：升/人/天 LCU：当地货币单位 LCOE：平准能源成本 LCOH：平准热能成本 LRMC：长期边际成本
TAQ DNA聚合酶（1000）
AIIC-澳大利亚工业化学品库存； ASTM-美国材料测试学会； BW-体重； CERCLA-全面的环境响应，赔偿和责任法； CMR-致癌，诱变剂或生殖有毒物； DIN-德国标准化研究所的标准； DOT-运输部； DSL-国内物质清单（加拿大）； ECX-与X％响应相关的浓度； EHS-极其危险的物质； ELX-与X％响应相关的负载率； EMS-紧急时间表； ENC-现有的和新的化学物质（日本）； ERCX-与X％增长率响应相关的浓度； ERG-紧急响应指南； GHS-全球统一的系统； GLP-良好的实验室实践； HMIS-危险材料识别系统； IARC-国际癌症研究机构； IATA-国际航空运输协会； IBC-国际批量携带危险化学物质的船舶建筑和设备的国际守则； IC50-最大抑制浓度；国际民航组织 - 国际民航组织； IECSC-中国现有化学物质的清单； IMDG-国际海事危险货物； IMO-国际海事组织； ISHL-工业安全与卫生法（日本）； ISO-国际标准化组织； Keci-韩国现有化学品库存； LC50-致命浓度占测试人群的50％； LD50-致死剂量至测试人群的50％（中位致死剂量）； Marpol-预防船舶污染的国际公约； MSHA-矿山安全与健康管理； N.O.S.- 不否则
俄勒冈州硝酸盐减排计划
AGWQ 俄勒冈州农业水质管理法案 ATSDR 美国有毒物质与疾病登记署 AWQMS DEQ 环境水质监测系统数据库 AWQP 农业水质计划 BMP 最佳管理实践 CAFO 密闭式动物饲养场 CBO 社区组织 CTUIR 乌马蒂拉印第安保留地联邦部落 CWA 美国清洁水法案 CWSRF 清洁水州循环基金 DEQ 俄勒冈州环境质量部 DSL 俄勒冈州土地部 DWS OHA 饮用水服务 DWSRF 饮用水州循环基金 EPA 美国环境保护署 GIS 地理信息系统 GWMA 地下水管理区 LAC 地方咨询委员会 LPHA 地方和部落公共卫生局 LUBGWMA 乌马蒂拉盆地下游地下水管理区 MCL 最高污染物水平 mg/L 毫克/升 MOA 协议备忘录 MOU 谅解备忘录 NMP 营养管理计划 NON/POC 不合规通知和纠正计划NPDES 国家污染物排放消除系统许可证 NSF/ANSI 国家卫生基金会 / 美国国家标准协会 OAR 俄勒冈州行政法规 ODA 俄勒冈州农业部 ODHS 俄勒冈州人类服务部 OHA 俄勒冈州卫生局 ORS 俄勒冈州修订法规 OSU 俄勒冈州立大学 OVS 俄勒冈州微型系统（饮用水） OWRD 俄勒冈州水资源部 PWS 公共供水系统 RAC 规则咨询委员会 REALD 种族、民族、语言和残疾
2025年1月22日产品监管状态...
商品名称：商标名称：Thermax®* N990，Thermax®N907不锈钢，Thermax®N990Ultra Pure，Thermax®N991粉，Thermax®N991粉末Ultra Pure，Thermax®N908不符Thermax®CG，Thermax®N990CG和所有Thermax®CarbonBlack产品。危险的监管信息指示不是全球统一系统（GHS）下的危险物质或制备。不是EC领域的危险物质或制剂67/548/EEC或1999/45/EC及其各种修正和适应。在CLP调节（EC）No 1272/2008下不是危险物质或制剂。根据《综合环境响应，赔偿和责任法》（40 CFR 302）或《清洁水法》（40 CFR 116）或根据1990年《清洁空气法案修正案》（40 CFR 63），碳黑色不是危险物质（40 CFR 302）或《清洁水法》（40 CFR 302）或有害空气污染物。美国和欧盟制药联络信息碳黑色均未在欧洲药典第3.1节的任何正面清单上提及，该材料用于制造容器的材料（版本4.2，2002版）。某些不在阳性列表中的材料可用于制造药品包装，但在该包装上进行适当的迁移测试是制造商的责任。必须针对每种类型的药物包装以及该包装中包含的每种药物进行此测试。cancarb碳黑色尚未在人类或动物的化妆品中进行测试。化妆品应用Carbon Black没有包含化妆品，厕所和香水协会（CTFA）分配的INCI（化妆品成分的国际命名），也不能包含在化妆品准备中。出于工业安全原因，它们已经在动物中进行了皮肤致敏/刺激作用的测试，并已被指定为非敏化和非辐射。加利福尼亚州安全的饮用水和1986年的毒理执法法（命题65）：“碳黑色（空气生存，可呼吸大小的未结合颗粒）”是加利福尼亚州的命题65列出的物质。可能被吸附到碳黑色表面的某些多环芳烃（PAHS）是加利福尼亚命题65列出的物质。某些金属（包括砷，镉，铅，汞和镍）可能存在于碳黑色和/或碳黑色上，是加利福尼亚州命题65列表的物质。“碳黑提取物”是加利福尼亚州命题65列出的物质。碳黑列在以下清单上：澳大利亚：澳大利亚化学物质清单（AICS）。加拿大：家用物质清单（DSL）。 中国：中国现有化学物质的清单（IECSC）。 欧盟：欧洲现有商业化学物质的清单（EINECS），215-609-9。 欧盟：达到法规（EC）编号 1907/2006：需要具体注册；请与您的供应商联系以获取更多信息。加拿大：家用物质清单（DSL）。中国：中国现有化学物质的清单（IECSC）。 欧盟：欧洲现有商业化学物质的清单（EINECS），215-609-9。 欧盟：达到法规（EC）编号 1907/2006：需要具体注册；请与您的供应商联系以获取更多信息。中国：中国现有化学物质的清单（IECSC）。欧盟：欧洲现有商业化学物质的清单（EINECS），215-609-9。欧盟：达到法规（EC）编号1907/2006：需要具体注册；请与您的供应商联系以获取更多信息。