The CS department Fall Picnic will be on Friday, Sept 28th at 4pm in Edward Klief Park! This picnic is for all CS undergraduates, graduates, faculty, and staff. Families are also invited. Past picnics have featured volleyball, frisbee, touch football, soccer, and croquet in addition to the food and drink. The picnics are well attended by faculty and students alike.
Come join us for food, conversation, and sports. SACM will be providing burgers, brats, soda, and snacks.
Abstract: We present an algorithm for creating high resolution anatomically plausible images that are consistent with acquired clinical brain MRI scans with large inter-slice spacing. Although large databases of clinical images contain a wealth of information, medical acquisition constraints result in sparse scans that miss much of the anatomy. These characteristics often render computational analysis impractical as standard processing algorithms tend to fail when applied to such images.
Mathematical logic was developed in an effort to provide formal foundations
for mathematics. In this quest, which ultimately failed, logic begat
computer science, yielding both computers and theoretical computer science.
But then logic turned out to be a disappointment as foundations for
computer science, as almost all decision problems in logic are either
unsolvable or intractable. Starting from the mid 1970s, however, there
has been a quiet revolution in logic in computer science, and problems that
With the rise of large-scale digitization efforts over the past ten years (such as those by Google Books, the HathiTrust, and the Internet Archive), we now have access to large textual datasets preserving our cultural record in the form of printed books. These text collections have driven research at the intersection of computational methods and the humanities, exploiting advances made over past thirty years in natural language processing and machine learning.