Preguntas etiquetadas con entropy

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...

10
Problema de optimización restringida en Matrix Entropy

Tengo un problema de optimización restringido en la entropía de la matriz (Shannon) (sum(entr(eig(A))))(sum(entr(eig(A))))\mathtt{(sum(entr(eig(A))))} . La matriz AAA se puede escribir como la suma de las matrices de rango 1 de la forma [vivTi][viviT][v_i\,v_i^T] dondeviviv_i es un vector...

9
¿Cómo medir prácticamente la entropía de un archivo?

Estoy tratando de medir ahora mucha información no redundante (real) que contiene mi archivo. Algunos llaman a esto la cantidad de entropía. Por supuesto, existe el estándar p (x) log {p (x)}, pero creo que Shannon solo lo estaba considerando desde el punto de vista de transmitir a través de un...