Search result for Online Courses & Certifications
Get Course Alerts by Email
Математическая логика. Политехнический взгляд
by Шошмина Ирина Владимировна- 0.0
Approx. 24 hours to complete
Современная математическая логика - обширная, сложная и разнообразная область знаний. Мы рассмотрим в курсе самую простую ее часть - логику высказываний. Методы, приемы решения задач логики высказываний составляют базис всей математической логики. На примере этой логики мы познакомим вас с основными задачами математической логики: проверка истинности высказывания при конкретных значениях переменных, эквивалентность двух высказываний, проверка на логическое следствие....
Requirements Specifications: Goals and Conflict Analysis
by Kristen Walcott-Justice- 4.7
Approx. 20 hours to complete
In Requirements Goal Development and Language Analysis, we move from the spoken word to precise writing. A first step in this is writing goals. We will talk about goals used in requirements engineering and, from this, writing use cases from what we learn. Use cases can be in diagram and written form....
Основы проектирования приложений интернета вещей
by Корнилов Алексей Вадимович- 0.0
Approx. 8 hours to complete
Интернет вещей - это не про устройства, подключенные к интернету. Интернет вещей - это глобальная инфраструктура, позволяющая физическим и виртуальным устройствам общаться между собой и взаимодействовать, решая общие задачи, точно также, как люди взаимодействуют и решают общие задачи в интернете людей. Чтобы общаться и взаимодействовать друг с другом, устройства должны быть достаточно умны....
Software Requirements Prioritization: Risk Analysis
by Kristen Walcott-Justice- 4.6
Approx. 18 hours to complete
Risk Analysis, Assessment, and Prioritization looks at how you can manage conflicts at system levels, but it can also be applied to lower level assessments. How do you manage and document conflict, along with alternatives? In analyzing alternatives, you must consider risks. Qualitative and Quantitative approaches will be covered. Risk Analysis, Assessment and Prioritization...
离散优化建模基础篇 Basic Modeling for Discrete Optimization
by Prof. Jimmy Ho Man Lee , Prof. Peter James Stuckey- 4.7
Approx. 28 hours to complete
优化问题是一种常见的决策问题,它在我们的社会中很常见。它的应用可以从数独问题的解决涵盖到婚礼的座次安排。同样的技术可以用于航班与机组成员的安排,钢铁生产的调节,和钢铁从矿区到港口的调度问题。在生产中,人力资源与生产材料的合理决策可以使企业获得成千上万的利润提升。类似的问题也存在于我们的日常生活中,它们包括决定包裹的运输路径,调整学校课程时间,和传输能源到千家万户。尽管这些问题很基础,不过以一般本科教育的知识来解决这些问题都会十分困难。 这个课程是设计给所有对优化问题应用的各个方面感兴趣的同学。你将学习到一种全新的方法来思考如何解决这些有挑战性的问题。这种方法只需用先进的高级建模语言把问题在表述清楚,然后让约束求解器完成剩下的工作。它可以让你接触到业界问题求解的技术,而这在过去几十年中有上百个博士研究者不断将其完善优化。通过利用这种前沿的科技,在过去看起来不可思议的问题突然间变得易如反掌。 MiniZinc介绍 欢迎来到离散优化建模基础篇 (英文原声中文字幕) 1. 1. 1 第一步 1. 1. 2 第二个模型 1. 1. 3 第三个模型 1. 1. 4 模型和实例 1. 1. 5 对象建模 1. 1. 6 数组和推导式 1. 1. 7 全局约束 1. 1. 8 单元1总结 (英文原声中文字幕) 工作坊习题课0解答 (英文原声中文字幕) 工作坊习题课1解答 (英文原声中文字幕) 课程简介 课前调查 (研究团队: 国立清华大学与香港中文大学)🎁👕获取课程签名T恤👕🎁 课前调查 (研究者: 墨尔本高等教育中心 Gregor Kennedy教授)...
Architecting with Google Kubernetes Engine: Workloads en Español
by Google Cloud Training- 4.8
Approx. 20 hours to complete
En este curso, “Architecting with Google Kubernetes Engine: Workloads”, aprenderá a realizar operaciones de Kubernetes, a crear y administrar implementaciones, a usar las herramientas de redes de GKE y a proporcionar almacenamiento persistente a sus cargas de trabajo de Kubernetes. Este curso forma parte de una especialización enfocada en la compilación de infraestructuras de procesamiento eficientes mediante Kubernetes y GKE....
Intermediate Intel® Distribution of OpenVINO™ toolkit for Deep Learning Applications
by Kimberly Karalekas- 0.0
Approx. 5 hours to complete
This course is designed for application developers who wants to deploy computer vision inference workloads using the Intel® Distribution of OpenVINOTM toolkit. The course looks at computer vision neural network models from a variety of popular machine learning frameworks and covers writing a portable application capable of deploying inference on a range of compute devices....
计算机操作系统
by 骆斌 , 葛季栋- 4.5
Approx. 14 hours to complete
1946年第一台计算机面世之后,科学家与工程师们一直致力于让计算机更好地为人类工作,一代又一代操作系统因此应运而生。操作系统是计算机系统的灵魂,它管理计算机系统的资源,提供友善的人机互动,对于每一位计算机用户来说,认知和理解操作系统非常重要。 南京大学是中国最早从事,操作系统研发与教学的单位,1980年在中国首先出版了操作系统教程教材,至2014年该教材已更新至第五版。 本课程的教学组织为六个部分:计算机操作系统概述、处理器管理、存储管理、设备管理、文件管理、并发程序设计。学习者能够认知操作系统的基本概念与实现原理,并深入理解操作系统的设计方法与实现技术。 如果您是计算机科学、软件工程、电子、通信、控制、信息系统、电子商务、计算与信息科学等信息技术相关专业的学生,可以系统地学习本课程基本部分的内容,如果您想致力于操作系统的研发工作,可以进一步学习高级部分的内容;此外 如果您是计算机爱好者, 可以根据自己的需要,按需学习本课程相关部分的内容,建立对计算机操作系统整体或部分的认知。 本课程有三个特点:第一,强调计算机软硬件协同设计技术,讲授操作系统各个模块的实现方法、策略与算法;第二,从大型软件系统构造的角度看待操作系统的实现,训练学生以折中的方法和方案,综合解决宏观问题的能力;第三,采用工程师的立场,强调操作系统的构造特征,即概念大于理论、技术大于算法、整体先于局部,培养学生综合解决实际问题的能力。欢迎大家修读本课程! 第一章 计算机操作系统概述 1-1 计算机系统概览 1-2 计算机硬件系统 1-3 计算机软件系统 1-4 计算机操作技术的发展 1-5 计算机操作系统 1-6 资源管理的视角 1-7 控制程序执行的视角 1-8 操作控制计算机的视角 1-9 人机交互的视角 1-10 程序接口的视角 1-11 系统结构的视角 第一章 计算机操作系统概述 第二章 处理器管理 2-1 处理器与寄存器 2-2 指令与处理器模式 2-3 中断 2-4 中断源 2-5 中断系统(一) 2-6 中断系统(二) 2-7 多中断的响应与处理 2-8 进程及其状态...
Quantitative Formal Modeling and Worst-Case Performance Analysis
by Dr.ir. Pieter Cuijpers , Anne Remke- 0.0
Approx. 17 hours to complete
Welcome to Quantitative Formal Modeling and Worst-Case Performance Analysis. In this course, you will learn about modeling and solving performance problems in a fashion popular in theoretical computer science, and generally train your abstract thinking skills. The reason for this is two-fold. The analysis principles of other dataflow techniques, however, are all based on single-rate dataflow....
Advanced App Development in Android Capstone
by Benny Lo- 0.0
Approx. 25 hours to complete
This capstone project has been designed as an opportunity to practice what you have learned in the first 3 courses of this specialisation. This capstone project consists of 4 assignments. You will have to develop an immersive Android app with the use 3D graphics, sensor control and VR. The learners should have completed the 3 courses in this specialisation (i....