Information-Theoretic Analysis using Theorem Proving
Information theory is widely used for analyzing a wide range of scientific and engineering problems, including cryptography, neurobiology, quantum computing, plagiarism detection and other forms of data analysis. Despite the safety-critical nature of some of these applications, most of the informati...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2012
|
| Online Access: | http://spectrum.library.concordia.ca/975027/1/Mhamdi_PhD_S2013.pdf Mhamdi, Tarek <http://spectrum.library.concordia.ca/view/creators/Mhamdi=3ATarek=3A=3A.html> (2012) Information-Theoretic Analysis using Theorem Proving. PhD thesis, Concordia University. |