Search results

… Informatiebeveiligingsbeleid UM 2020 Versie 3.0, november 2020 Colofon Informatiebeveiligingsbeleid UM Versie 3.0 (2020) Vervangt Informatiebeveiligingsbeleid UM versie 2.1 Auteur: Bart van den Heuvel, CISO, CIOffice Vastgesteld door het CvB van de … verantwoord gedrag aan te moedigen. Informatiebeveiliging is een continu proces, waarbij we steeds kijken naar mogelijke verbeteringen. Dit gebeurt onder andere door jaarplannen (CISO1), controles (UM-SOC2 en de IT-auditor) en bijstu- ring: Plan, Do, Check, Act. Naast Security Oficers kunnen de Functionaris Gegevensbescherming, Internal Audit en de Quality & Risk Board hier bij adviseren, met name om tot een goede kosten/ba- ten afweging te komen (risk appetite). In de bijlagen is aandacht voor de … tot bijsturing van de maatregelen. Daarnaast kan ook het totaalpakket van eisen, maatregelen en controle aan een herijking toe zijn en zal dus periodiek geëvalueerd moeten wor- den. Het gehele proces van informatiebeveiliging volgt dus een Plan-Do-Check- Act (PDCA)-cyclus (zie afbeelding). De complete set van maatregelen, processen en procedures wordt vastgelegd in een Information Security Management Sys- tem (ISMS) en biedt daarmee ondersteuning in het doorlopen van de PDCA-cyclus. Door …

… After successful completion of the course, students will be able to recognise what real world problems require the use of data science, and approach their solution by using a data science process, namely: explore the data, model the data, and perform simulations if required. Moreover, they will exhibit knowledge in the basic concepts of artificial intelligence, such as agents, search, artificial intelligence, decision trees. Applying knowledge and understanding: Students learn to recognise … Data Science and Artificial Intelligence 38 Software and Systems Verification Full course description Have you ever written a program with a bug in it? Then this course is for you! Software verification tools can check whether your program works by showing that it correctly satisfies its specification, or finds a case in which it can go wrong. Unlike unit testing and other software validation methods, verification tools use formal methods to rigorously prove … Theoretical Computer Science Recommended reading J.B. Almeida, M.J. Frade, J.S. Pinto & S. Melo de Sousa, “Rigorous Software Development: an Introduction to Program Verification”, Springer, 2011. C. Baier & J.P. Katoen, “Principles of Model Checking”, MIT Press, 2008. L. Jaulin, M. Kieffer, O. Didrit & E. Walter, "Applied Interval Analysis", Springer, 2001. KEN3150 Period 2 30 Oct 2023 22 Dec 2023 Print course description ECTS credits: 4.0 Coordinator: P.J. Collins …

… framework that is based on logic and reason. The main objective of the course is to make students familiar with the language of mathematics. Students will learn how to make sound arguments and to detect where and why certain arguments go wrong. For this purpose, we will discuss the basic principles of logic and, closely related, the basic types of mathematical proofs. In doing so, we will encounter numbers \such as integers, natural numbers and real numbers and we shall examine what makes … Written exam, Assignment Introduction to Image & Video Processing Full course description Image and video processing is everywhere around us, in smartphones, robotics, medicine, security systems, microscopy, remote sensing, video games, travel, shopping, environmental management and many other applications. Image and video processing is based on principles of signal processing, extended to multiple dimensions. In this class students will have a short introduction to basic 2D signals and … https://coursecatalogue.maastrichtuniversity.nl/meta/434681/logic-artificial-intelligence?print=1 https://coursecatalogue.maastrichtuniversity.nl/roos Data Science and Artificial Intelligence 42 tools can check whether your program works by showing that it correctly satisfies its specification, or finds a case in which it can go wrong. Unlike unit testing and other software validation methods, verification tools use formal methods to rigorously prove …

… framework that is based on logic and reason. The main objective of the course is to make students familiar with the language of mathematics. Students will learn how to make sound arguments and to detect where and why certain arguments go wrong. For this purpose, we will discuss the basic principles of logic and, closely related, the basic types of mathematical proofs. In doing so, we will encounter numbers \such as integers, natural numbers and real numbers and we shall examine what makes … and Artificial Intelligence 24 Introduction to Image & Video Processing Full course description Image and video processing is everywhere around us, in smartphones, robotics, medicine, security systems, microscopy, remote sensing, video games, travel, shopping, environmental management and many other applications. Image and video processing is based on principles of signal processing, extended to multiple dimensions. In this class students will have a short introduction to basic 2D signals and … methods: Project-Centered Learning Assessment methods: Written exam, Assignment Software and Systems Verification Full course description Have you ever written a program with a bug in it? Then this course is for you! Software verification tools can check whether your program works by showing that it correctly satisfies its specification, or finds a case in which it can go wrong. Unlike unit testing and other software validation methods, verification tools use formal methods to rigorously prove …

… First year courses Research Master Specialisation Clinical Psychology Year 1 Faculty of Psychology and Neuroscience Anxiety Disorders Full course description In industrialized countries, anxiety disorders are the largest group of mental disorders for which patients are referred, and without appropriate treatment the natural course is often chronic. Luckily, anxiety disorders are relatively well studied and understood, and the outcome of treatment is relatively favorable. In anxiety disorders, … The following advanced topics will then be covered: unbalanced factorial designs, contrast analysis, interaction in multiple regression, simple slope analysis, dummy coding, centering covariates, different coding schemes, collinearity and residuals checks and data transformation. The second half of the core course consists of four units, two on repeated measures ANOVA and two on mixed linear regression for repeated measures. The first two units cover classical repeated measures ANOVA for the one- … will be the main focus of this course. The course starts with an introductory session during which a modern approach of bodily distress disorders is presented and the example of low back pain is used to demonstrate this approach. Two sessions are workshops: in the first workshop session, students design an experimental/intervention study in smaller groups and in the second they present their design to the rest of the group and discussion, Q&A and critical reflection and feedback is stimulated. In …