Company
Courses and full video lessons from 28DIGITAL.
54 coursesTier 5 · 40/100US
28DIGITAL
This course is all about practical programming and problem-solving! After completing this course, you will have the knowledge to plan and set up a real-time system both on paper and in practice. The course centres around the problem of achieving timing correctness in embedded systems, which means g…
28DIGITAL
In this course, you will learn how to apply satisfiability (SAT/SMT) tools to solve a wide range of problems. Several basic examples are given to get the flavour of the applications: fitting rectangles to be applied for printing posters, scheduling problems, solving puzzles, and program correctness…
28DIGITAL
Welcome to our comprehensive course focused on security within Big Data environments. This course aims to provide you with a deep understanding of cryptographic principles and equip you with the tools necessary to manage access controls effectively within any Big Data system. By the course's conclu…
28DIGITAL
Many real-world algorithmic problems cannot be solved efficiently using traditional algorithmic tools, for example, because the problems are NP-hard. The goal of the Approximation Algorithms course is to become familiar with important algorithmic concepts and techniques needed to effectively deal w…
28DIGITAL
I/O-efficient algorithms, also known as external memory algorithms or cache-oblivious algorithms, are a class of algorithms designed to efficiently process data that is too large to fit entirely in the main memory (RAM) of a computer. These algorithms are particularly useful when dealing with massi…
28DIGITAL
Welcome to our focused course on Privacy and Data Protection in Big Data Environments. Here, you will delve into not only privacy-preserving methodologies but also explore crucial data protection regulations and concepts. By the end of this course, you'll be empowered to navigate your next Big Data…
28DIGITAL
It’s not you, it’s me! What’s going on? This course empowers students, professionals and the wider community to deal with cybersecurity attacks and risks focused on identity management, and it is an introduction to the upcoming full course focused on cybersecurity awareness. It provides a practical…
28DIGITAL
Finally! You will learn how to motivate engineering decisions and how to choose implementations to make a system actually running! This capstone project course ties together the knowledge from three previous courses in IoT through embedded systems: Development of Real-Time Systems, Web Connectivity…
28DIGITAL
The Automated Reasoning: Symbolic Model Checking course presents how the properties of acting systems and programs can be verified automatically. The basic notion is a transition system: any system that can be described by states and steps. We present how in CTL (computation tree logic) properties…
28DIGITAL
The Architecting Smart IoT Devices course will teach you how to develop an embedded systems device. In order to reduce the time to market, many pre-made hardware and software components are available today. You'll discover all the available hardware and software components, such as processor famili…
28DIGITAL
Welcome to Web Connectivity and Security in Cyber-Physical Systems! In this course, we will explore several technologies that bring modern devices together, facilitating a network of connected things and making devices internet-enabled. We will discuss rules, protocols, and standards for these devi…
28DIGITAL
System Validation is the field that studies the fundamentals of system communication and information processing. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do. The…
28DIGITAL
Geometric algorithms are a category of computational methods used to solve problems related to geometric shapes and their properties. These algorithms deal with objects like points, lines, polygons, and other geometric figures. In many areas of computer science such as robotics, computer graphics,…
28DIGITAL
System Validation is the field that studies the fundamentals of system communication and information processing. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do. The…
28DIGITAL
Have you ever experienced software systems failing? Websites crash, calendar not synchronising, or even a power blackout. Of course you have! But did you know that many of these errors are the result of communication errors either within a system or between systems? Depending on the system, the imp…
28DIGITAL
This is your chance to learn all about Data Science for Business innovation and future-proof your career. Match your business experience tech and analytics! The Data Science for Business Innovation nano-course is a compendium of the must-have expertise in data science for executives and managers to…
28DIGITAL
Dive into the world of IoT system architecture with a course that doesn't just teach you the "how," but also the "why." Learn the art and science of building robust, scalable, and interoperable IoT systems. This five-week course takes you on a comprehensive journey from understanding the imperative…
28DIGITAL
The Basic Recommender Systems course introduces you to the leading approaches in recommender systems. The techniques described touch both collaborative and content-based approaches and include the most important algorithms used to provide recommendations. You'll learn how they work, how to use and…
28DIGITAL
This Innovation and Entrepreneurship course focuses on the interconnection between entrepreneurial thinking and innovation. Specifically, we look at models used in Silicon Valley to grow both start-up companies as well as innovation inside large organizations. Bringing together top Haas School of B…
28DIGITAL
Welcome to "Quantitative Formal Modeling and Worst-Case Performance Analysis," an intellectually stimulating course designed to hone your abstract thinking skills in the realm of theoretical computer science. This course invites you to dive deep into the world of token production and consumption, a…
