Recent Additions

• A general approach to define binders using matching logic 

  Chen, Xiaohong; Rosu, Grigore (2020-03)

  We propose a novel shallow embedding of binders using matching logic, where the binding behavior of object-level binders is obtained for free from the behavior of the built-in existential binder of matching logic. We show ...

  application/pdf

  PDF (829kB)
• Crosstalk and noise in division-of-focal-plane polarimeters and polarization imaging applications 

  Deliwala, Amit (2019-12-11)

  A modern division-of-focal-plane (DoFP) polarimeter is manufactured by integrating a pixelated microgrid polarizer array directly onto an image sensor. Recent advances in complementary metal oxide semiconductor (CMOS) ...

  application/pdf

  PDF (5MB)
• Microbubble localization using multivariate gaussian fitting for super-resolution ultrasound localization microscopy 

  Xia, Shushan (2019-12-13)

  Super-resolution ultrasound localization microscopy is an advanced microvessel imaging modality. Multiple studies have proved its significant preclinical and clinical application potential. As an important step of the ...

  application/pdf

  PDF (4MB)
• Learning based algorithms for temperature control and fouling prediction in heat-exchangers 

  Sundar, Sreenath (2019-12-13)

  My thesis broadly explores different data-driven algorithmic frameworks for solving two class of problems pertaining to heat-exchangers: temperature control and fouling resistance modeling and prediction. Designing robust ...

  application/pdf

  PDF (2MB)
• Genetic correction of Parkinson’s disease using CRISPR-SKIP 

  Manandhar, Sony (2019-12-11)

  Parkinson’s Disease (PD) is the second most common neurodegenerative disease after Alzheimer’s disease. It affects 1-2% of the total world population with more than 500,000 patients in the US. PD is a progressive disorder ...

  application/pdf

  PDF (976kB)