UNDER THE HOOD OF MACHINE LEARNING

This course provides an understanding of automating software testing using program analysis with the goal of intelligently and algorithmically creating tests. The course covers search-based test generation, combinatorial and random testing while highlighting the challenges associated with the use of automatic test generation. You will learn: Understand algorithmic test generation techniques and their use in developer testing and continuous integration. Understand how to automatically generate test cases with assertions. Have a working knowledge and experience in static and dynamic generation of tests. Have an overview knowledge in search-based testing and the use of machine learning for test generation.

This course will teach you how to build convolutional neural networks. You will learn to design intelligent systems using deep learning for classification, annotation, and object recognition.

The rapid development of digital technologies and advances in communications have led to gigantic amounts of data with complex structures called ‘Big data’ being produced every day at exponential growth. The aim of this course is to give the student insights in fundamental concepts of machine learning with big data as well as recent research trends in the domain. The student will learn about problems and industrial challenges through domain-based case studies. Furthermore, the student will learn to use tools to develop systems using machine-learning algorithms in big data.

The course will give insights in fundamental concepts of machine learning and actionable forecasting using predictive analytics. It will cover the key concepts to extract useful information and knowledge from big data sets for analytical modeling

Do you want to be efficient, effective and minimize waste by learning and implementing lean production tools? This course provides insight into the demands and challenges posed by competitive production in industrial production systems and develops your ability to participate in and to drive improvement work. The course focuses on efficient lean production. Through theory and project work, you will learn useful techniques, methods and strategies. You will obtain the necessary knowledge and training to carry out value stream mapping and other forms of improvement work. The course offers current and competitive knowledge through its close links with our successful research and partner companies. It provides basic knowledge and understanding of the modern view of lean production in industrial activity. 

Answer Set Programming (ASP) is a declarative programming paradigm designed within the field of Artificial Intelligence (AI), and used to solve complex search-problems. The declarative nature of ASP allows one to encode a problem by means of logic. In this way, unlike in imperative programming approaches, there is no need to design an algorithm as a solution for the given problem. In this sense, ASP is comparable with SAT-based encoding or constraint satisfaction problems. However, due to its stable-model semantics, ASP provides a richer representation language useful to handle uncertain situations more effectively for real world scenarios. The advantages of declarative programming together with non-monotonic nature of ASP in handling uncertainties have recently made ASP more attractive both for academia and industry. This course focuses on formalizing and solving various search problems in planning, scheduling and system configuration in ASP.