Edinburgh Napier University (ENU)
Latest uploads at Edinburgh Napier University (ENU). Looking for notes at Edinburgh Napier University (ENU)? We have lots of notes, study guides and revision notes available for your school.
-
112
-
7
-
6
Courses at Edinburgh Napier University (ENU)
Notes available for the following courses at Edinburgh Napier University (ENU)
Latest notes & summaries Edinburgh Napier University (ENU)
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
Discussion of HR in criminal law