Cardiovascular disease is the leading cause of death in US and non-invasive cardiac imaging has vital importance for early detection and diagnosis of heart disease. Cardiac Magnetic Resonance (CMR) is arguably the most versatile imaging modality and capable of a comprehensive evaluation of heart disease without ionization radiation. Despite the...
Volunteer-based physical crowdsourcing systems connect individuals to make unique contributions to solve local and communal problems and enable new services. A key challenge in enabling such systems is attracting enough willing volunteers who can make useful contributions to achieve desired system goals. While most volunteer-based systems provide volunteers flexibility to...
Algorithmically-driven social platforms present a challenge for self-presentation and identity management by obscuring audiences behind algorithmic mechanisms. Users are increasingly aware of this and actively adapting through folk theorization, but we do not know how users are coping with the constant change endemic to these platforms. We also do not...
In this thesis we study two problems, one in unsupervised learning - k-means clustering and the other in a supervised learning setting with the presence of adversarial perturbations. We do a beyond-worst case style analysis and show that in either case instances that are resilient to adversarial perturbations are also...
The past decade has seen the rapid progress of deep learning, which becomes a game-changing technique in different data-intensive domains, with the availability of large scale data, cost-effective computing hardware and more advanced learning theory and algorithms. Despite of the rapid progress of deep learning methods in daily-life applications, such...
Automated driving has become a very popular topic in the recent years and is becoming more and more of a reality. In this new trend, High Definition (HD) maps play an important role in many ways that will provide a safer and more efficient driving experience, especially in terms of...
In this thesis, we aim to develop efficient algorithms with theoretical guarantees for noisy nonlinear optimization problems, with and without constraints, under various different assumptions. Apart from Chapter 1 which provides relevant backgrounds, the remaining of thesis is divided into four chapters. In Chapter 2, we establish the theoretical convergence...
Commonsense inference is a critical capability of modern artificial intelligence (AI) systems. The machines need commonsense knowledge to perform tasks exactly like human being does. Learning commonsense inference from text has been a long standing challenge in the field of natural language processing due to reporting bias -- people do...
Human language processing is incremental. In this dissertation, I explore how an incremental perspective can help us clarify our understanding of transformational syntax, which typically proceeds bottom-up. As part of our exploration, I develop an incremental head-driven parsing algorithm for Minimalist Grammars. The two main innovations of this parsing algorithm...
Machine learning is seeping into every fabric in various practical domains such as autonomous driving, wearable computing, and smart buildings. However, in the actual development and integration, especially when the learning-based components are frequently included as components of large complex systems where the physical instances can be included as interactable...
At its core, the purpose of microscopy is to make objects and their underlying structures visible under high magnification. With the remarkable progress of electron microscopy, the sub-micron “high” magnification of light microscopy has been completely refashioned to encompass subatomic length scales. Unfortunately, higher-magnification does little to negate existing interpretability...
Mission-critical systems are those imperative systems whose failures can result in catastrophic consequences. Traditional techniques, such as manual investigation and testing, cannot ensure the absence of errors and security vulnerabilities within these systems. This dissertation leverages formal methods to comprehensively examine several mission-critical systems and their essential components. For each...
Task-oriented conversational systems are becoming increasingly popular, as shown by the rise of conversational recommendation systems across multiple platforms (e.g., Google Home, Alexa, and Siri) and domains (e.g., local establishments, e-commerce, books, music, and movies). However, users are still largely limited in what preferences they can express and how, as...
Task-oriented conversational systems are becoming increasingly popular, as shown by the rise of conversational recommendation systems across multiple platforms (e.g., Google Home, Alexa, and Siri) and domains (e.g., local establishments, e-commerce, books, music, and movies). However, users are still largely limited in what preferences they can express and how, as...
Modern data sets are increasingly vast, not only in the number of samples, but also in the number of measurements, or features, that they contain. This high-dimensionality poses a unique set of problems for data analysis due to a set of phenomena known as ``the curse of dimensionality.'' This thesis...
Recovering three-dimensional (3D) structural information of a specimen from a single two-dimensional (2D) measurement remains an important but challenging task in microscopic imaging. A conventional 2D microscopic image has a shallow depth-of-focus (DoF). Thus, recovering 3D information usually requires sequentially z-scanning the focal planes. This process is time consuming and...
Automated sketch collaborators might help us create more dynamic intelligent tutoring systems, work out designs, reduce bias in solving spatial social problems, and organize our ideas. Here, we examine some properties of sketch recognition methods designed to help serve that goal. Structure Mapping techniques are applied to symbolic structural descriptions...
Natural Language Processing methods have become increasingly important for a variety of high- and low-level tasks including speech recognition, question answering, and automatic language translation. The state of the art performance of these methods is continuously advancing, but reliance on labeled training data sets often creates an artificial upper bound...
A massive amount of data is generated every second all around the world. Machine learning becomes the most attractive solution to consume the data fuel and transform it into productivity. It has yielded great results in many fields, such as healthcare, marketing, finance, etc. Machine learning models are usually designed...
Over the past decade as smartphones and wearable tracking devices have grown in popularity, more individuals have begun collecting their own health and behavioral data. Innovations in sensor technology now allow individuals to continuously collect data over long periods of time with minimal effort. As a result, more data has...