XiaoMi-AI文件搜索系统
World File Search Systemware
人工智能与深度学习硬件...
Ashutosh Mishra 博士于 2018 年获得印度理工学院 (BHU) 瓦拉纳西电子工程系博士学位。他曾在印度国家技术学院 Raipur 分校担任电子与通信工程助理教授。他是韩国国家研究基金会通过韩国科学与信息通信技术部提供的 2019 年韩国研究奖学金 (KRF) 的获得者。目前，他在韩国延世大学无缝交通实验室担任研究员。他的研究兴趣包括智能传感器、智能系统、自动驾驶汽车和人工智能等。
警惕医疗领域人工智能的解释
人工智能和机器学习 (AI/ML) 算法在医疗保健领域的发展日渐成熟，用于诊断和治疗各种医疗状况 ( 1 )。然而，尽管此类系统技术实力雄厚，但它们的采用却一直充满挑战，它们是否能真正改善医疗保健以及在多大程度上改善医疗保健仍有待观察。一个主要原因是，基于 AI/ML 的医疗设备的有效性在很大程度上取决于其用户的行为特征，例如，用户往往容易受到有据可查的偏见或算法厌恶的影响 ( 2 )。许多利益相关者越来越多地将预测算法所谓的黑箱性质视为用户持怀疑态度、缺乏信任和接受缓慢的核心原因 ( 3, 4 )。因此，立法者一直在朝着要求提供黑箱算法决策解释的方向发展 (5) 。事实上，学术界、政府和民间社会团体几乎一致支持可解释的 AI/ML。许多人被这种方法吸引，因为它既能利用不可解释的人工智能/机器学习（如深度学习或神经网络）的准确性优势，又能支持透明度、信任和采用。我们认为，这种共识至少在应用于医疗保健领域时，既夸大了要求黑盒算法可解释的好处，又低估了其弊端。
ATIS学习课程的课程结束调查
此技术警报（TA）的目的是提供有关为ATIS学习部署开发的课程的课程调查的要求的信息。必须在ATIS学习中创建为ATIS学习部署开发的课程的课程终结调查。ATIS学习使课程开发人员和课程经理可以使用反馈活动来创建课程终结调查，以评估内容的有效性，并帮助揭示学习者存在的任何问题。ATIS Learning Rescerware的课程结束调查不得是课件内容包的一部分，并且不需要经过VPDE测试或认证的Scorm符合性。
用于可变形医学图像配准的相关感知粗到精 MLP
可变形图像配准是医学图像分析的基本步骤。最近，Transformer 已用于配准，其表现优于卷积神经网络 (CNN)。Transformer 可以捕获图像特征之间的长距离依赖性，这已被证明对配准有益。然而，由于自注意力的计算/内存负载高，Transformer 通常用于下采样特征分辨率，无法捕获全图像分辨率下的细粒度长距离依赖性。这限制了可变形配准，因为它需要每个图像像素之间精确的密集对应关系。没有自注意力的多层感知器 (MLP) 在计算/内存使用方面效率高，从而可以捕获全分辨率下的细粒度长距离依赖性。然而，MLP 尚未在图像配准中得到广泛探索，并且缺乏对医学配准任务至关重要的归纳偏差的考虑。在本研究中，我们提出了第一个基于相关感知 MLP 的配准网络 (CorrMLP) 用于可变形医学图像配准。我们的 CorrMLP 在新颖的粗到细配准架构中引入了关联感知多窗口 MLP 块，该架构可捕获细粒度多范围依赖性以执行关联感知粗到细配准。对七个公共医疗数据集进行的大量实验表明，我们的 CorrMLP 优于最先进的可变形配准方法。
ProAI：适用于汽车应用的高效嵌入式 AI 硬件——基准研究
多年来，单板计算机 (SBC) 领域的发展一直在不断加快。它们在计算性能和功耗之间实现了良好的平衡，这通常是移动平台所必需的，例如用于高级驾驶辅助系统 (ADAS) 和自动驾驶 (AD) 的车辆应用。然而，对更强大、更高效的 SBC 的需求日益增长，这些 SBC 可以实时运行功耗密集型深度神经网络 (DNN)，还可以满足必要的功能安全要求，例如汽车安全完整性等级 (ASIL)。ZF 正在开发“ProAI”，主要用于运行强大而高效的应用程序，例如多任务 DNN，此外，它还具有 AD 所需的安全认证。在这项工作中，我们基于功耗密集型多任务 DNN 架构 Multitask-CenterNet，就 FPS 和功率效率等性能指标比较和讨论了最先进的 SBC。作为一款汽车超级计算机，ProAI 实现了性能和效率的完美结合，其每瓦 FPS 数量几乎是现代工作站笔记本电脑的两倍，几乎是 Jetson Nano 的四倍。此外，根据基准测试期间的 CPU/GPU 利用率，还显示 ProAI 上仍有剩余电量用于执行进一步更复杂的任务。
使用深度学习的知识实体感知模型
抽象课程推荐系统可以通过利用用户交互数据来帮助学生识别合适或有吸引力的课程，这显示了用户和课程之间以前的参与。但是，现有课程推荐系统的普遍问题是它们倾向于优先考虑准确性而不是解释性。这些复杂模型的“黑框”性质提出了一个挑战：准确表征和建模用户的偏好，同时还提供明确的，具有预性和可解释的用户配置文件。为了解决这种限制，我们为课程推荐提出了一个新颖的知识实体感知模型，该模型称为KEAM，该模型基于知识图的详细信息支持明确的用户个人资料生成，以增强学生对建议背后的理由的理解。具体来说，我们利用知识图中编码的信息，通过更换隐藏单元来使用神经网络之间建立单位之间的连接。接下来，对模型进行了培训，可以捕获学生的偏好并创建用户配置文件，以提供可解释的建议。在两个现实世界的在线数据集上进行了全面的实验，以评估所提出的模型的有效性和解释。
tauvid™：第一个用于成像阿尔茨海默氏病tau病理学的FDA批准的宠物示踪剂
摘要 - 专门的深度学习（DL）加速器和神经形态处理器的出现为将深度和尖峰神经网络（SNN）算法应用于医疗保健和生物医学应用的新企业带来了新的机会。这可以促进医学互联网系统（IoT）系统和护理点（POC）设备的进步。在本文中，我们提供了一个教程，描述了如何使用各种技术，包括新兴的回忆设备，可编程的门阵列（FPGA）和互补的金属氧化物半导体（CMOS），可用于开发有效的DL加速器，以解决各种诊断诊断，模式识别的诊断，信号过程和信号过程中的各种问题。此外，我们探讨了尖峰神经形态处理器如何补充其DL对应物以处理生物医学信号。该教程通过应用于医疗保健领域的大量神经网络和神经形态硬件的大量文献进行了研究。我们通过执行将传感器融合信号处理任务与计算机视觉相结合的传感器融合信号处理任务来标记各种硬件平台。在推理潜伏期和能量方面进行了专用神经形态处理器和嵌入AI加速器的比较。最后，我们对领域的分析进行了分析，并分享了各种加速器和神经形态处理器引入医疗保健和生物医学领域的优势，缺点，挑战和机遇的观点。
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机（无人机）是科学和技术的一项重要任务，因为此类设备在数字经济和现代生活中有很多用例，所以我们需要确保它们的可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。此类操作系统的一个很好的例子是开源 POK（分区操作内核）。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式验证方法。我们还提供了使用演绎方法在代码级别以及使用微分动态逻辑在信息物理系统级别验证属性的示例，以证明稳定性。
黑板 - 前进的自主目标检测和映射：开发用于单眼深度感应和动态tar
摘要 - 该研究旨在实施能够自主检测绵羊目标并在2D占用图上代表它们的系统，其最终目标是促进在UXV平台上自主牧羊。本文详细介绍了Blackboard System的开发，Blackboard System是一种用于自动目标检测和映射的软件解决方案。使用Python和C编程语言，Blackboard系统将单眼深度感测与自主目标检测，以产生全面的深度和目标图。这些地图是合并的，以产生从高架相机的角度捕获的操作区域的详细的2D鸟视图。黑板系统的独特功能是其模块化框架，它允许无缝更新或更换其深度传感和目标检测模块。
软件工程 - 自主代理系统
3。职责3.1。设计，开发和实施为自治代理系统的代码，重点是但不限于专注于行为模型，因果模型，世界模型，优先级机制，奖励机制，社交交流机制和输入输出输出界面。3.2。使用内部和外部系统和基准评估和评估自主剂系统的性能。3.3。设计，开发和实施用于评估自主代理3.4的性能的系统。设计，开发和实施API功能和体系结构功能。3.5。编写代码以支持测试，分析，验证和验证代码库，包容性自主代理系统，性能评估系统，API系统和其他系统。3.6。考虑可扩展性，算法设计，基础架构以及云提供商系统和服务的整体系统设计，编排和部署。