Computer Sciences Commons^™

Visualizing Features From Deep Neural Networks Trained On Alzheimer’S Disease And Few-Shot Learning Models For Alzheimer’S Disease, John Reeder

All Theses

Alzheimer’s disease is an incurable neural disease, usually affecting the elderly. The afflicted suffer from cognitive impairments that get dramatically worse at each stage. Previous research on Alzheimer’s disease analysis in terms of classification leveraged statistical models such as support vector machines. However, statistical models such as support vector machines train the from numerical data instead of medical images. Today, convolutional neural networks (CNN) are widely considered as the one which can achieve the state-of-the- art image classification performance. However, due to their black box nature, there can be reluctance amongst medical professionals for their use. On the other hand, …

A Human-Centric System For Symbolic Reasoning About Code, Megan Fowler

All Dissertations

While testing and tracing on specific input values are useful starting points for students to understand program behavior, ultimately students need to be able to reason rigorously and logically about the correctness of their code on all inputs without having to run the code. Symbolic reasoning is reasoning abstractly about code using arbitrary symbolic input values, as opposed to specific concrete inputs.

The overarching goal of this research is to help students learn symbolic reasoning, beginning with code containing simple assertions as a foundation and proceeding to code involving data abstractions and loop invariants. Toward achieving this goal, this research …