Results 1 - 10
of
24
First Supervisor: Dr. Huib Aldewereld Second Supervisor: Dr. Neelke Doorn
, 2014
"... As this master thesis marks the end of my studies at Delft University of Technology, I would like to use this opportunity and thank everyone who has influenced my two-year journey. Those last two years have not been easy. In fact, it has been the most challenging, stressful, and at the same time- th ..."
Abstract
- Add to MetaCart
- the most inspiring, productive, and exciting journey. Journey, which has completely changed my life and has prepared me for new challenges and opportunities. I owe a very special debt to the ex president of Georgia – Mikheil Saakashvili, for initiating a scholarship program for Georgian students abroad
Some Boston Metropolitan Examples
, 1997
"... publicly paper and electronic copies of this gocument in whole iart. ..."
RICE UNIVERSITY Regime Change: Sampling Rate vs. Bit-Depth in Compressive Sensing
, 2011
"... The compressive sensing (CS) framework aims to ease the burden on analog-to-digital converters (ADCs) by exploiting inherent structure in natural and man-made signals. It has been demon-strated that structured signals can be acquired with just a small number of linear measurements, on the order of t ..."
Abstract
- Add to MetaCart
accommodate the otherwise limiting quantizer of conventional ADCs. In this thesis, we consider a different approach to CS ADC by shifting towards lower quantizer bit-depths rather than lower sampling rates. We explore the extreme case where each measurement is quantized to just one bit, representing its sign
and
, 2015
"... Effective support for custom proof automation is essential for large-scale interactive proof develop-ment. However, existing languages for automation via tactics either (a) provide no way to specify the behavior of tactics within the base logic of the accompanying theorem prover, or (b) rely on adva ..."
Abstract
- Add to MetaCart
Effective support for custom proof automation is essential for large-scale interactive proof develop-ment. However, existing languages for automation via tactics either (a) provide no way to specify the behavior of tactics within the base logic of the accompanying theorem prover, or (b) rely
By
, 2013
"... I declare that this thesis is my own account of my research and contains as its main content work which has not previously been submitted for a degree at any tertiary education institution. ..."
Abstract
- Add to MetaCart
I declare that this thesis is my own account of my research and contains as its main content work which has not previously been submitted for a degree at any tertiary education institution.
Results 1 - 10
of
24