Search results

… _______________________________________________________________________________ 2022-2023 EER for Master's Programmes 1 EDUCATION AND EXAMINATION REGULATIONS GOVERNING THE MASTER'S PROGRAMMES IN NEDERLANDS RECHT, FISCAAL RECHT, INTERNATIONAL AND EUROPEAN TAX LAW, EUROPEAN LAW SCHOOL GLOBALISATION AND LAW, INTERNATIONAL LAWS, RECHT EN ARBEID and … a course or a practical, the examiner may invite the candidate to provide an oral explanation on the paper submitted. 8 By submitting a paper for the programme, the student is consenting, in the broadest sense of the word, to having his or her work checked for plagiarism through a plagiarism detection system. That consent also means that the student is agreeing to the inclusion of the paper in question in a plagiarism detection system database to enable other works to be checked for plagiarism in future. CHAPTER 5 - HONOURS (RESEARCH TRACK) PROGRAMME Article 40: The Honours (research track) programme 1 The Honours (research track) programme as listed on the faculty website is a supplementary programme for the most …

… 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 …