XiaoMi-AI文件搜索系统
World File Search System面向对象
计算机科学与信息系...
CSC23C201 数字逻辑 3+1+0=4 CSC23C301 数据结构 3+0+1=4 CSC23C302 数学-I 3+1+0=4 CSC23C401 数据库管理系统 3+0+1=4 CSC23C402 Python 编程 3+0+1=4 CSC23C403 计算机组织与架构 3+1+0=4 CSC23C501 计算理论 3+1+0=4 CSC23C502 数值方法 3+1+0=4 CSC23C503 面向对象编程 3+0+1=4 CSC23C504 算法设计与分析 3+0+1=4 CSC23C601 人工智能 3+1+0=4 CSC23C602 操作系统 3+0+1=4 CSC23C603 计算机网络 3+0+1=4 CSC23C604 软件工程 3+1+0=4 CSC23C701 图像处理和计算机视觉 3+0+1=4 CSC23C702 机器学习 3+0+1=4 CSC23C703 编译器设计 3+1+0=4 CSC23C704 软计算 3+1+0=4 CSC23C801 移动计算 3+1+0=4 CSC23C802 网络安全和密码学 3+1+0=4 CSC23C803 数据挖掘 3+0+1=4 CSC23C804 深度学习 3+0+1=4 计算机科学与信息技术系提供的辅修课程清单 论文代码 论文标题 学分 (LTP) CSC23M101 使用 C 语言进行编程和解决问题
计算机科学（CS-UH）
CS-UH 1001计算机科学简介（4个学分）通常提供的秋季计算机科学是一个创新且令人兴奋的领域，专注于生产有效的解决方案，以解决任何领域的问题。本课程向学生介绍了计算机科学的基础。学生学习如何设计算法来解决问题以及如何使用高级编程语言将这些算法转化为工作计算机程序。该课程涵盖了核心编程概念，包括基本计算，数据结构，决策结构，迭代结构，文件输入/输出和递归。学生还学习面向对象的编程（OOP）的要素，例如对象，类，继承，抽象和多态性。最终项目使学生可以将这些概念结合起来，以制作大量的设计程序。评分：Ugrd Abu Dhabi的分级分级可重复以获得额外的信用：没有先决条件：必须是未申报的Abu Dhabi学生。
12IT302CV 面向对象分析与设计
A 主题：面向对象分析与设计 分支：CSE 师资：博士，教授（CSE）12IT302CV 面向对象分析与设计 教学：每周 4 节课 学分：4 学期分数：25 期末考试：75 分 期末考试时长：3 小时 第一单元 UML 简介 - CO1：建模的重要性 - CO1、建模原则 - CO1、面向对象建模 - CO1、UML 的概念模型 - CO1、架构 - CO1、软件开发生命周期 - CO1。第二单元基本结构建模 - CO2：类 - CO2、关系 - CO2、常见机制 - CO2 和图表 - CO2。高级结构建模 - CO2：高级类 - CO2、高级关系 CO2、接口、类型和角色 - CO2、包 - CO2。第三单元类图和对象图 – CO1 & CO2：术语 – CO1 & CO2、概念 – CO1 & CO2、类图和对象图的建模技术 – CO1 & CO2。第四单元基本行为建模-I – CO2：交互 CO2、交互图 CO2。第五单元基本行为建模-II – CO2 & CO3：用例 – CO2 & CO3、用例图 – CO2 & CO3、活动图 – CO2 & CO3。第六单元高级行为建模 – CO2 & CO3：事件和信号 – CO2 & CO3、状态机 – CO2 & CO3、流程和线程 – CO2 & CO3、时间和空间 – CO2 & CO3、状态图 – CO2 & CO3。第七单元架构建模 – CO4：组件 – CO4、部署 – CO4、组件图 – CO4 和部署图 – CO4。第八单元案例研究：统一库应用程序 – CO5。教科书：1. 统一建模语言用户指南，Ivar Jacobson 和 Grady Booch，James Rumbaugh，Pearson Education，2009 年。2. UML 2 工具包，Magnus Penker、Brian Lyons、David Fado 和 Hans-Erik Eriksson，Wiley-Dreamtech India Pvt.Ltd.，2004 年。参考文献：1. UML 中的面向对象设计基础，Meilir Page-Jones，Pearson Education，2000 年。2. 使用 UML2 建模软件系统，Pascal Roques，Wiley-Dreamtech India Pvt. Ltd.，2007 年。3. 面向对象分析和设计，Atul Kahate，第 1 版，McGraw-Hill Companies，2007 年。
Geomstats：机器学习中黎曼几何的 Python 包
我们介绍了 Geomstats，一个用于非线性流形计算和统计的开源 Python 工具箱，例如双曲空间、对称正定矩阵空间、变换李群等等。我们提供面向对象且经过广泛单元测试的实现。除此之外，流形还配备了黎曼度量族，以及相关的指数和对数映射、测地线和并行传输。统计和学习算法提供了在流形上进行估计、聚类和降维的方法。所有相关操作都被矢量化以用于批量计算，并为不同的执行后端提供支持，即 NumPy、PyTorch 和 TensorFlow，从而实现 GPU 加速。本文介绍了该软件包，将其与相关库进行了比较，并提供了相关的代码示例。我们表明，Geomstats 提供了可靠的构建块来促进微分几何和统计学的研究，并使黎曼几何在机器学习应用中的使用更加民主化。源代码可根据 MIT 许可证在 geomstats.ai 上免费获取。
软件模式 - Dreamsongs
，几乎可以肯定其中会提到我的名字。为了证明这一点，第二天他带来了最新一期的《面向对象编程杂志》。其中有一篇理查德·加布里埃尔的文章，这篇文章出现在本书中，标题为“珠饰游戏、地毯和美”。我坐下来阅读这篇文章；第一次真正对这种联系产生了兴趣。令我着迷甚至非常惊讶的是，在他的文章中，我发现一位我不认识、从未见过的计算机科学家似乎比我的建筑师同事更了解我在自己的领域所做的事情和正在做的事情。事实上，在建筑文献中，很少有客观地写出我一生在建筑领域该做什么的问题上所作的冷静事实的评价或总结。许多建筑师痛苦地被束缚在一个行不通的领域，在精神上和情感上都被该学科的问题所束缚，他们常常对我所说的话感到震惊（因为它使
Geomstats：机器学习中黎曼几何的 Python 包
我们介绍了 Geomstats，这是一个开源 Python 包，用于对非线性流形（例如双曲空间、对称正定矩阵空间、变换李群等）进行计算和统计。我们提供面向对象且经过大量单元测试的实现。流形配备了黎曼度量系列以及相关的指数和对数映射、测地线和并行传输。统计和学习算法提供了对流形进行估计、聚类和降维的方法。所有相关操作都被矢量化以用于批量计算，并为不同的执行后端提供支持——即 NumPy、PyTorch 和 TensorFlow。本文介绍了该软件包，将其与相关库进行了比较，并提供了相关的代码示例。我们表明，Geomstats 提供了可靠的构建块，既可以促进微分几何和统计学的研究，又可以使黎曼几何在机器学习应用中的使用更加民主化。源代码可根据 MIT 许可证在 geomstats.ai 上免费获取。
博士奥马尔·卡西姆·哈利勒
2009 年 6 月，我完成了计算机网络方面的学术培训（思科网络学院）。此次培训于 2009 年 5 月 31 日开始，2009 年 6 月 28 日结束（包括周六）。总共 26 个工作日。在此期间，我学习了 5 个模块； • ITE（信息技术基础知识） • 网络基础 • 路由协议和概念 • LAN 交换和无线 • 访问 WAN。每门课程都包含理论和实践部分（实验室）。因此，我以非常高的分数通过了上述所有模块。2002 年 9 月 → 2007 年 8 月：阿治曼科技大学、阿布扎比和富查伊拉校区 职责：计算机科学与计算机工程学院助理教授、时间表委员会负责人 教授以下科目： • 计算机科学概论 • 商务 IT、MS Excel、MS Access • 决策支持系统、Tora、Lindo、Excel Solver • 商务统计、SPSS • 编程语言组织 • 编程语言 (C++)、Turbo C++、Visual C++ • 面向对象编程（Java 语言） • 数据库管理系统、Oracle 和 Developer 2000
在教育和学习的背景下结合符号和亚符号人工智能
摘要 抽象能力是成功掌握 FHNW（Fachhochschule Nordwestschweiz）商业信息技术课程 (BIT) 的关键。面向对象 (OO) 就是一个例子 - 它广泛需要分析能力。为了测试与 OO 相关的能力，我们根据 Blackjack 场景开发了一份针对未来学生和一年级学生的问卷 (OO SET)。OO SET 的主要目标是识别在没有大量培训的情况下可能在 OO 相关模块中失败的学生群体。对于数据的解释，使用了 Kohonen 特征图 (KFM)，它现在在数据挖掘和探索性数据分析中非常流行。但是，与所有亚符号方法一样，KFM 缺乏对其结果的解释和说明。因此，我们计划在现有算法的基础上添加一个“后处理”组件，该组件为集群生成命题规则，并有助于提高招生和教学过程中的质量管理。通过这种方法，我们通过在机器学习和知识工程之间架起一座桥梁，协同整合符号和亚符号人工智能。
aayush shah
∗青铜荣誉在国际青年数学挑战赛的最后一轮中表现出色（2023）。w ∗ CS50AI：Python（2024）的人工智能概论 - 完成了哈佛大学的CS50AI课程，涵盖了AI基本面，包括搜索算法，知识代表，机器学习和自然语言处理，以及动手实践的项目，以增强学习。W ∗ CS50P：Python（2023）编程简介 - 完成了哈佛大学的CS50P课程，涵盖Python的基础知识，包括数据类型，控制结构，功能和面向对象的编程，并进行实力的项目，以加强学习。w ∗深度学习。机器学习和数据科学专业化的数学（2024）：完成了一个全面的专业化，涵盖了数据科学和机器学习必不可少的数学基础。W *软件工程师（2024）：通过了Hackerrank角色的综合认证考试，该考试涵盖了关键领域，包括解决问题，SQL和REST API，验证了开发和优化软件解决方案方面的专业知识。W
安全关键认证DO-178C 下的软件和...
RTCA 最近发布了 DO-178C 和 DO-278A，分别作为空中和地面空中交通管理软件生产的新认证指南。此外，RTCA 特别委员会 SC-205 还同时发布了另外五份配套文件。这些文件是 RTCA DO-248C、DO-330、DO-331、DO-332 和 DO-333。这些补充文件解答了有关软件认证的常见问题，提供了工具资格要求方面的指导，并说明了在使用基于模型的软件设计、面向对象编程和形式化方法时建议对 DO-178C 进行的修改。本文的目的首先是解释 DO-178C 与以前的 DO-178B 的关系，以便让熟悉 DO-178B 的人了解哪些内容已更改，哪些内容未更改。在此背景下，本文展示了 DO-178C 和 DO-278 与新的地面软件开发 DO-278A 文件之间的关系。最后，概述了工具资格文件中包含的新指南以及 DO-178C 和 DO-278A 的三个新补充。对于那些不熟悉 DO-178B 的人来说，本文旨在为机载和地面 CNS/ATM 软件认证的新认证指南提供切入点。