Study guides, Class notes & Summaries

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

This highlights the definitions, understanding, methods, and calculations to prestressed concrete involved in civil and structural engineering

Notes on defences in criminal law

Discussion of crimes that have not been completed in Scots Law

Discussion of intention in criminal law