Applications 2023-12-08 - 2023-03-22
COURSE DESCRIPTION
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.
Would you like to know what Industry 4.0 is about? Then this course is for you! In the course, we look at enabling technologies of Industry 4.0 from a human and industrial perspective. The course covers many topics and you will learn the basic terminology related to Industry 4.0 as well as insight and understanding of the Fourth Industrial Revolution and how it is set to affect industry and individuals.
The purpose of the course “Artificial Intelligence for Managers” is to give managers and decision makers a principle understanding of AI and to increase their understanding of opportunities, difficulties, benefits, and risks connected to AI. It is neither an “Introduction to AI” nor an “AI for dummies” course. Instead, it is set to demystify AI and to transform it into an actionable tool for manages and decision makers. Target groupThis course is for product managers, project managers, executives, and engineering managers in organizations that have already made, or are about to make, the transition to working with AI. ContentThe course is organized in three modules. The initial module will focus an introduction to AI, giving an understanding of what type of cases can be addressed with AI and what managers need to know about AI technology. Module two will cover tools and concrete on how to set up an AI strategy and roadmap, how to get started on AI projects, how to integrate AI and IT development, how to (self) evaluate AI in use, and, not to forget, the ethical and legal aspects of AI. The third module will give the participants the chance to use their new knowledge and tools and work with their own practical cases and how they could be addressed using AI. The goal of the course is to empower the participants to: Describe the principal concept of AI, its strengths, and shortcomings Understand opportunities, myths, and pitfalls of AI Identify problem areas in industry, society, and in management where AI could be utilized Analyze how AI can be applied in a particular problem area Manage an AI strategy and get started: implement a strategy and a roadmap to apply AI in a particular problem area Understand how to integrate AI with IT development Assess the maturity of AI utilization in an organization Reflect on applications of AI from an ethical and legal perspective as well as the future challenges (technical, organizational, social, etc.) Practical informationAll materials will be accessible and include reading material, lecturer slides etc. The lectures can either be attended live via Zoom or later using the recordings at a time that is convenient for the participants. There will be 3 onsite workshops with a focus on interaction with the teacher and the co-participants of sharing real-life experiences and insights. The course will be delivered in a flexible manner to facilitate the combination of course work with your ongoing professional commitments. The total effort to pass this course is typically around 200 hours. Teaching language: English Entry requirementsThe basic eligibility for this course is a bachelor’s degree. Candidates with corresponding work experience are also invited to apply. Two years of relevant work experience is considered equivalent to one year of university studies at bachelor level. The course is free
The aim of the course is to introduce the participants into methods and tools for verifying systems that need to react to external stimuli. The methods use system models with precise formal semantics and will span model-checking as well as deductive verification. A set of simple examples as well as real-world applications will be used throughout the course to illustrate the methods and their tool support. The objective of the course is to understand the underpinning theories of formal verification, and learn how to apply tool support in order to verify system models.
The course is part of the programme MAISTR (hh.se/maistr) where participants can take the entire programme or individual courses. The course is for professionals and is held online in English. Application is open as long as there is a possibility of admission. The courses qualify for credits and are free of charge for participants who are citizens of any EU or EEA country, or Switzerland, or are permanent residents in Sweden. More information can be found at antagning.se. About the course Smart Healthcare with Applications, 4 credits Who is this course for?The course suits you with any Bachelor’s degree (equivalent of 180 Swedish credit points / ECTS credits at an accredited university) who have an interest in applying Artificial Intelligence (specifically Machine Learning) to healthcare. Leadership/management experience in health-related organization/industry OR a Bachelor degree in computer science is advantageous. What will you learn from this course?Healthcare as a sector together with other health-related sources of data (municipalities, home sensors, etc.), is now in a place and can take advantage of what data science, Artificial Intelligence (AI), and machine learning (ML) have to offer. Information-driven care has the potential to build smart solutions based on the collected health data in order to achieve a holistic fact-based picture of healthcare, from an individual to system perspective. This course aims to provide a general introduction to information-driven care, challenges, applications, and opportunities. Students will get introduced to artificial intelligence and machine learning in specific, as well as some use cases of information-driven care, and gain practice on how a real-world evidence project within information-driven care is investigated. What is the format for this course?Instruction type: The lectures, announcements, and assignments of this course will be fully online via a learning management system and presented in English. Each lecture is delivered through a video conference tool with a set of presentation slides displayed online during each class session. Online practical labs (pre-written Python notebooks) are also provided in the lectures.
The aim of this course is that students will learn about the analysis, design, and programming of deep learning algorithms. The course is part of the programme MAISTR (hh.se/maistr) where participants can take the entire programme or individual courses. The course is for professionals and is held online in English. Application is open as long as there is a possibility of admission. The courses qualify for credits and are free of charge for participants who are citizens of any EU or EEA country, or Switzerland, or are permanent residents in Sweden. More information can be found at antagning.se. About the course Applied Deep Learning with PyTorch, 5 credits Who is this course for?This course provides the theoretical and practical aspects of deep neural networks. It is intended for students with a background in computer science and engineering. What will you learn from this course?Students will learn about the analysis, design, and programming of deep learning algorithms. The course has two modules: theory and practice. The theoretical content covers basic principles of multi-layer perceptions, spatio-temporal feature extraction with convolutional neural networks (CNNs), and recurrent neural networks (RNNs), classification and regression of big data, and generating novel data samples using generative models. The practical sessions cover the basics of programming with PyTorch. For instance, image classification and semantic segmentation using CNNs, future image frame prediction with RNNs, and image generation with generative adversarial networks. What is the format for this course?Instruction type: Teaching is in English and fully online. It consists of lectures, computer exercises, and project work. In the computer exercises, the student solves small problems using deep learning models. After programming various exercises, the participants will develop an advanced deep learning project. Participants will be encouraged to bring their own data. High-end GPU machines can be provided for the exercises and project.
Målet med kursen är att ge lärare fortbildning inom ämnet djurvälfärd och hållbarhet. Kursens mål är också att ge lärare inspiration att designa sin egen undervisning, att ge lärare möjlighet att ta till sig ny forskning och att dela med sig av läraktiviteter som kan användas av fler.