XiaoMi-AI文件搜索系统
World File Search SystemGeffner
![arXiv:1905.04210v2 [cs.AI] 2020 年 2 月 14 日](/simg/g:\will\search\icon\source\1\1c7674a20e850a75c8ef4f07c3e06bef37ed2e23.png)
arXiv:1905.04210v2 [cs.AI] 2020 年 2 月 14 日
目标识别作为规划（Ram´ırez 和 Geffner 2009；Ram´ırez 和 Geffner 2010）的任务是从给定一系列观察、初始状态和观察下的代理的行为模型的一组假设中识别实际目标。目标识别作为规划的方法利用高效的规划技术和启发式信息来开发越来越准确和更快的目标识别方法。大多数方法根据比较最佳计划的成本和受约束以遵守或避免观察的计划的成本的指标来选择目标。这些方法在计算或近似这些成本的方式上有所不同。虽然有些方法使用规划器计算这些成本（Ram'ırez 和 Geffner 2009；Ram'ırez 和 Geffner 2010），但其他方法使用启发式函数的复杂结构来近似它们（E-Mart'ın、R.-Moreno 和 Smith 2015；Vered 等人2018），或者尝试通过在动作描述中引入权重来明确应对缺失和嘈杂的观察（Sohrabi、Riabov 和 Udrea 2016）。相比之下，最近的研究（Pereira、Oren 和 Meneguzzi 2017）引入了识别启发式方法，使用来自规划实例结构的信息来从一组目标假设和观察中识别实际目标。他们都试图平衡速度
透析患者的COVID-19-19SPUTNIK V疫苗的安全性和有效性
COVID-19的安全性和有效性，透析专利Guillermo Rosa-Diez 1;玛丽亚码头帕帕吉诺维奇莱瓦2; Fernando Lombi 3; MaríaSoledadcrucelegui 1; RicardoDulioMartínez2; HernánTrimarchi3; RubénSchiavelli4;梅赛德斯·格里佐4； MiguelRaño4; Ricardo M.Heguilén5; RocíoAnahíJones5; Luciana Gonzalez Paganti 6; MatíasFerrrari6; div>博士Paula Zingoni 7; Victoria Kjohede 8JorgeRaúlGeffner8;丹尼尔·费兰特（Daniel Ferrante）9； FernánGonzálezBernaldoDeQuirós10;瓦尼纳·帕戈托（Vanina Pagotto）11 1阿根廷肾脏病布宜诺斯艾利斯的意大利医院Paula Zingoni 7; Victoria Kjohede 8JorgeRaúlGeffner8;丹尼尔·费兰特（Daniel Ferrante）9； FernánGonzálezBernaldoDeQuirós10;瓦尼纳·帕戈托（Vanina Pagotto）11 1阿根廷肾脏病布宜诺斯艾利斯的意大利医院
2025/26 冬季学期
模块 ID 模块标题 教师组描述 1212328 模型检查 Katoen 软件建模与验证（计算机科学 2） 链接 1212646 并发理论 Noll 软件建模与验证（计算机科学 2） 链接 1212341 可满足性检查 Ábrahám 混合系统理论 链接 1215686 基于模型的软件工程 Rumpe 软件工程（计算机科学 3） 链接 1222882 基于模型的系统工程 Rumpe 软件工程（计算机科学 3） 链接 1215755 作为物联网一部分的车辆数字生命周期 Fischer 软件工程（计算机科学 3） 链接 1212349 通信系统工程 Thißen 研究中心计算机科学/ COMSYS 链接 1227956 工业网络安全 Henze 工业合作中的安全和隐私 链接 1212675 语义网 Decker 信息系统和数据库（计算机科学 5） 链接 1211393 知识库的逻辑 Lakemeyer 基于知识的系统 链接 1215692 数据库的实现 Geisler 数据流管理和分析 链接 1211903 生物信息学简介 Berlage 生命科学信息学 链接 1229157 社会和技术变革 Geffner 机器学习和推理（计算机科学 6） 链接 1230106 自动语音识别基础 Schlüter 机器学习和人类语言技术 链接 1212336 无限计算和游戏 Löding 离散系统的逻辑和理论（计算机科学 7） 链接 1212310 计算机图形学的基本技术 Kobbelt 计算机图形学、几何和多媒体（计算机科学 8） 链接 1215862 基于物理的动画 Bender 计算机动画 链接 1216861 数据科学简介 van der Aalst 过程和数据科学（计算机科学 9） 链接 1211914 网络技术入门 Schroeder 学习技术 链接 1229150 业务流程建模与计算 Leemans 业务流程管理基础与工程 链接 1227457 业务流程管理基础 Leemans 业务流程管理基础与工程 链接 1212666 逻辑控制软件的形式化方法 Kowalewski 嵌入式软件（计算机科学 11） 链接 1215720 高性能计算简介 Müller 高性能计算（计算机科学 12） 链接 1211909 虚拟现实 (VR I) 简介 Kuhlen 虚拟现实与沉浸式可视化 链接 1215744 机器学习 Leibe 计算机视觉（计算机科学 13） 链接 1211921 计算机视觉 2 Leibe 计算机视觉（计算机科学 13） 链接1229347 后量子密码学 Unruh 量子信息系统 (计算机科学 15) 链接
2026 年暑假
模块 ID 模块标题 教师组描述 1212650 概率编程 Katoen 软件建模与验证（计算机科学 2） 链接 1212330 静态程序分析 Noll 软件建模与验证（计算机科学 2） 链接 1215684 函数式编程基础 Giesl 编程语言与验证 链接 1212339 混合系统建模与分析 Ábrahám 混合系统理论 链接 1216957 软件语言工程 Rumpe 软件工程（计算机科学 3） 链接 1215688 高级互联网技术 Wehrle 通信与分布式系统（计算机科学 4） 链接 1212346 移动互联网技术 Thißen 学习中心计算机科学/ COMSYS 链接 1229308 Linux 内核编程 Gouicem 操作系统 链接 1231539 工业数据安全 Henze 工业合作中的安全和隐私 链接 1226146 数据流管理和分析 Geisler 数据流管理和分析 链接 1228568 人工智能中的动作和规划：学习、模型和算法 Geffner 机器学习和推理（计算机科学 6） 链接 1222468 机器人中的不确定性 Hofmann 机器学习和推理（计算机科学 6） 链接 1230105 自动语音识别搜索 Schlüter 机器学习与人类语言技术 链接 1227996 图机器学习：基础和应用 Morris 图机器学习 链接 1226911 逻辑和计算机科学中的不动点和归纳法 Löding 离散系统的逻辑和理论（计算机科学 7） 链接 1215696 几何处理 Kobbelt 计算机图形学、几何和多媒体（计算机科学 8） 链接 1223639 形状分析和 3D 深度学习 Kobbelt/Lim 计算机图形学、几何与多媒体（计算机科学 8） 链接 1212692 视觉计算中的物理模拟 Bender 计算机动画 链接 1216958 业务流程智能 van der Aalst 过程与数据科学（计算机科学 9） 链接 1220136 高级流程挖掘 van der Aalst 过程与数据科学（计算机科学 9） 链接 1215751 学习技术 Schroeder 学习技术 链接 1227457 业务流程管理基础 Leemans 业务流程管理基础与工程 链接 1215690 嵌入式系统 Kowalewski 嵌入式软件（计算机科学 11） 链接 1220524 高级微控制器编程与调试 Stollenwerk 嵌入式软件（计算机科学 11） 链接 1212353 功能安全和系统可靠性 Kowalewski 嵌入式软件（计算机科学 11） 链接 1215722 性能和并行程序的正确性分析 Müller 高性能计算（计算机科学 12） 链接 1216838 并行和以数据为中心的编程的概念和模型 Terboven 高性能计算（计算机科学 12） 链接 1212688 虚拟现实的高级主题 (VR II) Kuhlen 虚拟现实和沉浸式可视化 链接 1211912 高级机器学习 Leibe 计算机视觉（计算机科学 13） 链接 1215724 计算机视觉 Leibe 计算机视觉（计算机科学 13） 链接 1230246 量子计算简介 Unruh 量子信息系统（计算机科学 15） 链接 1230345 近期量子计算 Unruh 量子信息系统（计算机科学 15） 链接 4026526 强化学习和基于学习的控制 Trimpe 机械工程中的数据科学 (DSME) 链接