Git Product home page Git Product logo

university-notes's Introduction

university-notes

All notes from modules taken during University

Modules

Module code Module name Description Topics
CS3052 Computational Complexity Turing machines, automata, halting problem, complexity classes P, NP...
  • Complexity classes
  • P vs NP
  • Analysis of algorithms
  • Analysis of recursion
  • Reduction and games
CS3105 Artificial Intelligence Search, games, first-order logic, bayesian probability
  • History of AI
  • Search
  • Machine learning
  • Games
  • Automated reasoning
  • Bayesian probabilistic reasoning
CS4052 Logic and Software Verification Modelling, temporal logic, model checkers such as SPIN/UPPAAL, petri nets
  • PROMELA and Spin
  • Linear temporal logic
  • Timed automata and UPPAAL
  • Petri nets
CS4202 Computer Architecture Memory, cache optimisation, instruction level/data level/task level parallelism, GPUs
  • Memory
  • Instruction level parallelism
  • Data level parallelism
  • Multicore programming
  • Thread level parallelism
CS4204 Concurrency and Multicore Architectures Data/task parallel patterns, skeletons, evaluation strategies, locks, lock-freedom, memory consistency
  • Parallelism in Haskell
  • Parallel patterns
  • Evaluation strategies
  • Locks and lock-freedom
  • Memory consistency models
CS4402 Constraint Programming Constraint modelling, symmetry, search, propagation
  • Modelling
  • Search
  • Propagation
CS5012 Language and Computation
CS5014 Machine Learning Linear/logistic regression, basis expansion, SVMs, k-means clustering, neural nets, deep learning
  • Linear regression
  • Logistic regression
  • Evaluation and data preparation
  • Support vector machines
  • Unsupervised learning
  • Neural networks and deep learning
CS5033 Software architecture
CS5052 Data intensive systems

university-notes's People

Contributors

12yuens2 avatar theoden8 avatar

Stargazers

Q avatar Nikolaos Papachristou avatar Maggie Harley avatar avatar Sam Walls avatar

Watchers

avatar avatar

Forkers

sahracton

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.