Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 8 of 8 for “"Information-Preserving"”.
-
An environment for protecting the privacy of e-shoppers
… and collection of personal and sensitive information. Preserving one's privacy while e-shopping, especially when personalisation is involved, is a big challenge. Current initiatives only offer customers opt-out options. This research proposes a `privacy-preserved' shopping environment …
-
Bayesian and Information-Theoretic Learning of High Dimensional Data
… concept of block sparsity. </p><p>Finally in the information-theoretic projection design, a linear projection matrix is explicitly sought for information-preserving dimensionality reduction. All the methods mentioned above prove to be effective in learning both simulated and real high dimensional …
-
Verifying Hardware Security Modules With True Random NumberGenerators
… and more. This thesis presents a definition of Information-Preserving Refinement with Randomness (IPRR) that captures the idea that a HSM with a TRNG is correct and is secure from timing side channel attacks. We additionally construct a strategy to prove IPRR, and develop Karatroc, a tool for …
-
Towards a neocortically-inspired ab initio cellular model of associative memory
… to which various network-level measurements are information-preserving and could be used as the basis of an associative memory. The dissertation details the relevant background and results of a series of experiments designed to accomplish this objective. The results provide encouraging empirical …
-
Formally Verifying Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
… This thesis introduces a new theory called information-preserving refinement (IPR) for capturing non-leakage in addition to correctness and security, implements a verification approach for IPR in the Parfait framework, and applies it to verifying hardware security modules (HSMs). Using …
-
Incremental parametric syntax for multi-language transformation
… allowing transformations to be fully information-preserving. The user can begin by only translating a small fragment of a language into generic components, enough to support a few transformations, and incrementally add more. Our experience shows that constructing an incremental …
-
Exploring the visual pathway and its applications to image reconstruction, contrast enhancement and object recognition
… cortex (V1), investigating redundancy reduction, information preservation and contrast enhancement. The retina having approximately 130 million cells, is forced to discriminate with the incoming information. Programmed for concision, the primate eye encodes information with sparsity, yet remains …
-
Exploring the visual pathway and its applications to image reconstruction, contrast enhancement and object recognition
… cortex (V1), investigating redundancy reduction, information preservation and contrast enhancement. The retina having approximately 130 million cells, is forced to discriminate with the incoming information. Programmed for concision, the primate eye encodes information with sparsity, yet remains …