GSheaf

1. Preliminaries

Definition 1.1.

A $\sigma$ -algebra over a set $X$ is a subset $\Sigma\subseteq 2^X$ (that is, a set of subsets of $X$), satisfying:

1. If $I$ is some countable set ($0\leq|I|\leq\omega$), and $U_i\in\Sigma$ for $i\in I$, then $\bigcup_{i\in I}U_i \in \Sigma$.
2. If $U\in\Sigma$, then $X\setminus U\in\Sigma$.

A measurable space is a pair $(X, \Sigma)$, where $X$ is some set, and $\Sigma$ is a $\sigma$ -algebra over $X$.

In such a situation, a subset $S\subseteq X$ is called measurable iff $S\in\Sigma$.

laic

Installing HTK on ubuntu Linux (Nov 2021)

Please note I've not been able to test this on a clean install since my linux computer is old and already has an HTK installed on it!

These instructions are for installing HTK on your own computer. It's fine just to use the remote desktop though! If you use the remote desktop you don't have to install anything.

Installing on Ubuntu WSL 2 (18/11/2021)

I got HTK to work Ubuntu WSL 2 by installing a bunch of packages. To be honest, I'm not sure if I needed all of them, but I'll list them all here anyway.

First you need to make sure you are running WSL version 2. You can find out which version you are using by opening Powershell in Windows and typing

apeckham

#http://unix.stackexchange.com/questions/34248/how-can-i-find-broken-symlinks

find . -type l ! -exec test -e {} \; -print