XiaoMi-AI文件搜索系统
World File Search SystemSCHL
发布 3 - 联邦物理技术研究所
近年来，几乎没有任何其他技术领域能像相对年轻的跨学科领域量子技术那样受到如此多的关注。对量子物理基础的研究是上世纪最伟大的成功故事之一。与广义相对论一起，量子物理研究极大地改变了我们对自然基本定律的理解。量子力学和相对论定律现已被充分验证为正确的，但它们与我们的日常经验有很大不同，甚至似乎相互矛盾。即使量子世界的这些独特方面很难向普通受众传达，但它们现在（常常被忽视）构成了我们经济中许多关键技术的基础。例子包括作为现代计算机和信息技术基础的半导体技术、激光技术和基于 LED 技术或磁共振成像 (MRI) 的现代照明元件作为不可或缺的医学成像程序。这个成功故事通常被描述为第一次量子革命。在这里，固体、激光系统及其基于微观物理行为的量子物理学发挥着重要作用。此外，量子光学和量子物理学的重大进展最近为未来量子技术开辟了全新的视角。这些成功很大程度上基于这样一个事实：我们现在已经学会了识别光的内部和外部自由度以及
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) 链接
促进技术创新
为了确保未来地点的竞争力，必须快速使用新的技术机会，并在对个人和社会需求反应并被社会和市场所接受的创新中实施。随着数字化转型，从研发到新产品或服务的市场推出的时间范围已大大缩短了时间范围。一方面的自由州在研究中获得了出色的立场，另一方面，有框架条件可以促进市场快速推出，公司实施和社会分配。新技术不仅是经济因素，而且是解决基本社会问题的关键。气候保护，资源效率和卫生系统在人口变化背景下的稳定只是我们基于可持续创新的领域的一些例子，即那些在经济上成功，生态上有效和长期，长期利益的领域。巴伐利亚州自由状态的起点具有强大的经济和优秀的研究机构是好的，但仍然存在太多的潜力。从未来的，富有弹性的位置的意义上讲，我们必须继续努力认识和利用技术创新的机会。该怎么做，我们在我们的位置绘制素描。
金融领域人工智能的监管方法 |……
作者衷心感谢以下个人和组织提供的宝贵意见和反馈：阿根廷共和国中央银行的 Agustin Alifraco；澳大利亚财政部 Julia Sheldrake 和 Jana Schmitz；奥地利财政部 Angelika Schlögel、Ewelina Boula 和 Dominik Freudenthaler；奥地利金融市场管理局的 Stanislava Saria 和 Alexander Natter；奥地利国家银行 Konrad Richter 和 Andreas Timel； Ariane Meunier，FOD Financiën - SPF Finances Belgium；比利时国家银行的 Marco Valerio Geraci；巴西中央银行的丽塔·吉朗 (Rita Girão)；保加利亚财政部 Polya Filipova；加拿大财政部的 Connor Colvin 和加拿大财政部的 Nathan Holman；智利金融市场委员会 Claudia Alarcón Inzunza；哥伦比亚金融监管局的 Juan Sebastian Ortegón Ocampo 和 María Paula Rueda Viviescas；哥斯达黎加证券总监 Pamela Méndez、哥斯达黎加中央银行 Jose Pablo Barquero；路易斯·迭戈·费尔南德斯（Luis Diego Fernández），哥斯达黎加国家金融体系监管委员会； Tajana Labudović，克罗地亚金融服务监督机构；克罗地亚国家银行；捷克共和国财政部 Josef Mladek；捷克国家银行的 Ivan Zahradka；丹麦金融监管局 Lars Brander Ilsøe Hougaard、Camilla Neuenschwander；爱沙尼亚财政部 Mirjam Rannula； Jan Ceyssens、Ana-Maria Fimin、Ivan Keller 和 Mattias Levin，欧盟委员会、欧洲银行管理局、欧洲保险和职业养老金管理局；欧洲证券和市场管理局的 Claudia Guagliano、Anne Chone 和 Giulio Bagattini；乌塞尔·鲍曼 (Ursel Baumann)，欧洲中央银行；芬兰银行的 Tatu Rasanen； Jean Dalbard、Arthur Frappereau、Cécile Mahe、Clément Robert，法国经济、财政和工业与数字主权部、财政部总局；德国联邦财政部 Bernd Auras；希腊银行的 Eleftheria Kostika；香港金融管理局罗安森 (Anson Law)匈牙利中央银行 Peter Sajtos；冰岛财政部 Guðrún Inga Torfadóttir 和冰岛中央银行 Ólafur Hlynsson； Novita Bachtiar，印度尼西亚金融服务管理局；爱尔兰财政部 Mai Santamaria 和 Jefferson Vieira；以色列银行的 David Marzuk；意大利经济财政部 Gian Paolo Ruggiero、Laura Larducci 和 Luca Ferrais；
开放式航天飞机 OSR Shuttle™ Evo - KNAPP
在新的客户需求以及由此产生的新流程和业务模式的世界中，变化是唯一不变的。我们深入研究未来的场景，为您未来的商业成功提供全面的支持。这包括系统的网络和优化，还包括与上游或下游价值创造阶段的协调，以及不仅从技术角度而且从运营角度持续优化位置。使用哪种模型可以在经济参数方面实现最佳结果，而且在客户满意度方面，在什么情况下 - 取决于工作量、工作量、期限要求和质量？为此，我们将与您合作，从大量可用数据中为您提供正确的、永久运行的参数，这将使您能够快速做出反应并不断优化。数据物流——在正确的时间、正确的地点、以期望的质量和正确的成本提供正确的信息——是实现这一点的关键。引用我们与Mayer-Schönberger教授的讨论，它不仅能让我们找到现有问题的答案，还能更进一步，即找到正确的问题。在我们的开发活动中，我们非常关注数字化和为客户提供新工具的主题。我们很乐意与您进行热烈的意见交流，让您对未来有更深入的了解。直接访问我们，或在 LogiMAT、CeMAT 和 Modex 贸易展览会、我们的 MOVE 活动或 Leoben Logistics 2018 年夏季展会上就数字技能主题进行访问。我们期待与您进行精彩的讨论！
开放式航天飞机 OSR Shuttle™ Evo - KNAPP
在这个充满新客户需求以及由此产生的新流程和新商业模式的世界里，唯一不变的就是变化。我们正在深入研究未来场景，以便为您未来的业务成功提供全面支持。这包括系统的联网和优化，也包括与上游和下游价值创造阶段的协调，以及从技术和运营角度对位置的持续优化。根据哪种模型、在哪种情况下（取决于工作量、产能利用率、期限要求和质量）可以在经济参数方面以及客户满意度方面实现最佳结果？为此，我们将与您合作，从大量可用数据中选择正确的、持续运行的参数，使您能够快速做出反应并不断优化。数据物流——在正确的时间、正确的地点以所需的质量和正确的成本提供正确的信息——是实现这一目标的关键。引用我们与 Mayer-Schönberger 教授的讨论，它不仅使我们能够找到现有问题的答案，而且能够更进一步，即找到正确的问题。在我们的开发工作中，我们非常重视为客户提供数字化和新工具。我们很乐意与您进行热烈的意见交流并让您洞悉未来。欢迎直接访问我们，或参加 LogiMAT、CeMAT 和 Modex 贸易展览会、我们的 MOVE 活动或 2018 年夏季莱奥本物流数字技能主题展会。我们期待与您进行激动人心的讨论！
发布 1 - 物理技术联邦研究所
人工智能 (AI) 流程的日益广泛使用正在彻底改变（测量）数据创造价值的方式，开辟全新的业务领域，并改变生活和经济的几乎所有领域。在智能家居和智能城市中，智能仪表和控制器可实现以需求为中心的控制、能源和供水的高效计费以及网络利用率的优化。预测性维护，即h.在工业 4.0 中，使用 AI 进行预测性维护可减少数倍的生产停机时间和维护成本。在医疗保健领域也是如此，人工智能支持的诊断和治疗计划可以改善患者的治疗，从而显着减少医疗系统的停机时间和可避免的负担。广泛使用的测量技术与人工智能流程的结合创造了巨大的经济和社会附加值。由于工业和民用领域几乎所有流程的逐步数字化以及相关数据可用性的不断增加，人工智能关键技术的进步成为可能。数字化和人工智能的日益广泛使用都为市场创造了新的潜力，并从根本上重塑了产品和服务的处理方式。为了发挥AI应用在数字化领域的优势
富尔达大学应用科学经济事务系的研究和考试法规“供应链管理课程
（a）学生知道策略，目标，工具和方法以及供应链管理的结构和过程。可以使用合适的方法对供应链进行建模，分析和评估。学生能够开发替代方案并产生有能力的手动建议。（b）学生知道管理面向国际供应链的特殊要求。（c）已知使用合适的信息刺伤和电子数据处理的可能性和重要性。学生知道供应链管理的关键技术，并能够支持有关引入和实施新技术的决策。（d）供应链控制的工具和方法已知，可以用作供应链的建模，分析，评估和设计的一部分。（e）学生敏感以认识目标冲突以及供应链中由此产生的协调需求。在删除选项的开发中，学生可以通过其他科学学科的基本内容来补充已经知名的工商管理方法。（f）学生能够在供应链管理方面科学地开发与应用程序相关的领域将面对面事件和“遥远的学习”的结合介绍给学生，从事独立工作。即使在发生变化的框架条件下，学生也可以使用新的供应链MA管理概念和新技术来使用其获得的技能。（g）学生能够介绍学习和开发的内容，并在处理后的主题领域进行讨论。（2）硕士课程供应链管理当然可以在两个程度上获得不同的标准学习时间：
新总统就任
新任校长就任：Prof. Dr.罗兰·博尔格 (Roland Börger) 担任德国联邦国防军基础设施、环境保护和服务办公室 (BAIUDBw) 新任主席。国防部长鲍里斯·皮斯托利斯昨天在本德勒街区向他颁发了任命证书，并祝愿他在新的职位上取得更大的成功和技能。教授、博士博尔格接替前任主席乌尔里克·豪罗德-斯特吕宁 (Ulrike Hauröder-Strüning)，后者在延长任期后已退休。教授博士开始了他的职业生涯。 Börger 1990 在军事地球物理办公室工作。七年后，他调至联邦国防部 (BMVg)，担任议会国务秘书办公室经理等职务。他拥有担任过多个职务的丰富经验，包括担任 BAIUDBw 的管理官、战略与运营部分部主管以及 BMVg 基础设施部分部主管，最近他负责德国联邦国防军的所有房地产。作为 BAIUDBw 的主席，Prof. Dr. Börger 将负责管理国内外 3,500 多名员工。该办公室不仅负责管理德国联邦国防军的财产，还协调向全国武装部队提供的服务，例如商务旅行或餐饮。作为重新关注国家和联盟防御的一部分，该办公室在众多领域发挥着关键作用。设在波恩的上级机构负责管理联邦国防军的食品供应办公室、消防中心及其消防站、七个驻外联邦国防军行政办公室和遍布德国的42个联邦国防军服务中心，共计约27,000名员工。
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) 链接