Venetsiakrasteva

This document contains: Week Topic 2 Introduction to multi-agent systems 3 Intelligent agents 4 Deductive reasoning agents 5 BDI architecture 6 Reactive and hybrid architectures 7 Agent communication protocols 8 Auction protocols for allocating scarce resources 9 Game theory 1: Single-shot games 10 Game theory 2: Repeated games 11 Self-organising multi-agent systems 12 Guest lecture: Research topics in multi-agent...

Software Development Life Cycle (SDLC) Software Design Patterns Object-Oriented Design (OOD) Agile Methodologies Test-Driven Development (TDD) Refactoring Continuous Integration and Continuous Deployment (CI/CD) Software Metrics Software Quality Assurance (SQA) Software Configuration Management (SCM) Software Requirements Engineering Software Project Management Software Architecture Formal Methods Human-Computer Interaction (HCI) Module focuses on: Focus – advanced SE topics ...

Module Learning and Content In this module you will learn how do design and implement dynamic web sites, from the basics to modern frameworks and current professional practice. Covered topics are: General client-side technologies: HTML, CSS, JavaScript Client-side frameworks: Bootstrap, jQuery, jQuery-Mobile A general overview of server-side development frameworks (such as PHP and ASP.NET) as well as how HTTP connects everything together Data handling/persistence mechanisms: Databases, E...

Concurrency Parallelism Synchronization Mutual Exclusion Deadlocks Race Conditions Thread Safety Processes and Threads Parallel Programming Models (e.g., OpenMP, MPI, CUDA) Distributed Computing High-Performance Computing GPU Computing Operating System Support for Concurrency and Parallelism Performance Analysis and Optimization

Lecture notes Formal Approaches to Software Engineering (SET10112/SET10412) Formal Methods Formal Specification Languages (e.g., Z, B, VDM, Alloy, TLA+) Model Checking Theorem Proving Software Verification and Validation Correctness by Construction Design by Contract Abstract Data Types Type Systems Refinement Safety and Security Software Engineering Processes and Formal Methods Industrial Applications of Formal Methods Logic and Programming Language Semantics Concurrent and Dist...

Lecture notes and practical for Artificial Intelligence (AI) Machine Learning Natural Language Processing (NLP) Computer Vision Robotics Expert Systems Neural Networks Deep Learning Reinforcement Learning Fuzzy Logic Genetic Algorithms Swarm Intelligence Bayesian Networks Cognitive Computing Knowledge Representation and Reasoning AI Ethics

Lecture notes and practical notes - Artifical Intelligence (SET09122) Artificial Intelligence: A Modern Approach, Global Edition, ISBN: 1133: - Machine Learning - Natural Language Processing (NLP) - Computer Vision - Robotics - Expert Systems - Neural Networks - Deep Learning - Reinforcement Learning - Fuzzy Logic - Genetic Algorithms - Swarm Intelligence - Bayesian Networks - Cognitive Computing - Knowledge Representation and Reasoning - AI Ethics

Lecture notes and practical for Data Analytics (SET09120) - Data mining - Data visualization - Predictive modeling - Machine learning - Statistical analysis - Big data - Business intelligence - Data-driven decision making - Data cleaning/preparation - Exploratory data analysis These terms are all related to the process of collecting, processing, analyzing, and interpreting large sets of data in order to gain insights and make informed decisions.

Document contains all lectures and practical/tutorial exercises An indicative list of the topics includes: - Common Web vulnerabilities (e.g. XSS, CSRF, SQL Injection) and the corresponding countermeasures. - Log management & intrusion detection mechanisms. - Securing data at rest and in transit. - Authentication and session management. - JSON Web Tokens. - Race condition and safe-IO. - Secure SDLC and security testing