[Sydney Internship] Final Report

less than 1 minute read

My M2 internship report in pdf.

[Oxford Internship] Final Report

less than 1 minute read

My M1 internship report in pdf.

TD: La catégorie $PCoh$

1. Le produit monoïdal $\otimes$ de $PCoh$

Cours 20: Probabilistic Coherence Spaces and Linear Logic

In Probabilistic Coherence Spaces, $𝒫(𝒜)$ is closed under $\sup$

Globular Sets

Lecture 8: Categories in 2-level type theory, Fibrations and co-Fibrations

Category in 2-level type theory

[Final Coq Project] Coherence of Heyting’s arithmetic

Coherence of Heyting’s arithmetic in Coq

TD10: Damier (checker)

NB: Boards are finite. Number of configurations:

[Project] Coherent Patterns of Activity from Chaotic Neural Networks

Final Project: Coherent Patterns of Activity from Chaotic Neural Networks.

Lecture 6: Hodgkin-Huxley model

Cell membrane = semi-permeable

[Project] Memory Evolutive Neural Systems (MENS)

Final Project: Coherent Patterns of Activity from Chaotic Neural Networks.

Lab: Efficient balanced networks

Lecturer: Lyudmila Kushnir

Tutorial 4: Intent Recognition

Lab 4: Intent Recognition Younesse Kaddar, Alexandre Olech and Kexin Ren (Lecturer: Mohamed Chetouani)

[Final Project] Inferring Space from Sensorimotor Dependencies

Documentation Slides iPython notebook

Exercise Sheet 6: integrate-and-Fire Neuron

Exercise Sheet 6: Integrate-and-Fire Neuron

Lecture 6: Biophysics of neurons

Teacher: Grégory Dumont

Espace des types

Proposition: On se fixe $ℳ, \; A ⊆ M, \; \overline{x}, \; p = p(\overline{x})$ un ensemble de $ℒ_A$-formules. Si $𝒩 \succcurlyeq ℳ$, alors ...

Elimination des quantificateurs pour ACF, Types

Teacher: Tomas Ibarlucia

Feuille 1

Cours 2: Revêtements

Ch 4. Revêtements

NP, coNP

Lecture 9: The PCP theorem

cf. CSE 533: The PCP Theorem and Hardness of approximation (autumn 2005)

TP 11: PCA et $K$-Means

Practical session 11: PCA and K-Means

TD 12: Révisions

Practical session 12: Summary

Final Summary: Dimensionality Reduction and Visualization of Representations

Final Summary for the final presentation

Optional TP: Calibration

Practical session: Calibration