Matching Items (137)
Description
Climate change is one of the most pressing issues affecting the world today. One of the impacts of climate change is on the transmission of mosquito-borne diseases (MBDs), such as West Nile Virus (WNV). Climate is known to influence vector and host demography as well as MBD transmission. This dissertation addresses the questions of how vector and host demography impact WNV dynamics, and how expected and likely climate change scenarios will affect demographic and epidemiological processes of WNV transmission. First, a data fusion method is developed that connects non-autonomous logistic model parameters to mosquito time series data. This method captures the inter-annual and intra-seasonal variation of mosquito populations within a geographical location. Next, a three-population WNV model between mosquito vectors, bird hosts, and human hosts with infection-age structure for the vector and bird host populations is introduced. A sensitivity analysis uncovers which parameters have the most influence on WNV outbreaks. Finally, the WNV model is extended to include the non-autonomous population model and temperature-dependent processes. Model parameterization using historical temperature and human WNV case data from the Greater Toronto Area (GTA) is conducted. Parameter fitting results are then used to analyze possible future WNV dynamics under two climate change scenarios. These results suggest that WNV risk for the GTA will substantially increase as temperature increases from climate change, even under the most conservative assumptions. This demonstrates the importance of ensuring that the warming of the planet is limited as much as possible.
ContributorsMancuso, Marina (Author) / Milner, Fabio A (Thesis advisor) / Kuang, Yang (Committee member) / Kostelich, Eric (Committee member) / Eikenberry, Steffen (Committee member) / Manore, Carrie (Committee member) / Arizona State University (Publisher)
Created2023
Description
Over the past 20 years, the fields of synthetic biology and synthetic biosystems engineering have grown into mature disciplines, leading to significant breakthroughs in cancer research, diagnostics, cell-based medicines, biochemical production, etc. Application of mathematical modelling to biological and biochemical systems have not only given great insight into how these systems function, but also have lent enough predictive power to aid in the forward-engineering of synthetic constructs. However, progress has been impeded by several modes of context-dependence unique to biological and biochemical systems that are not seen in traditional engineering disciplines, resulting in the need for lengthy design-build-test cycles before functional prototypes are generated.In this work, two of these universal modes of context dependence – resource competition and growth feedback –their effects on synthetic gene circuits and potential control mechanisms, are studied and characterized. Results demonstrate that a novel competitive control architecture can be utilized to mitigate the effects of winner-take-all resource competition (a form of context dependence where distinct gene modules influence each other by competing over a shared pool of transcriptional/translational resources) in synthetic gene circuits and restore circuits to their intended function. Application of the fluctuation-dissipation theorem and rigorous stochastic simulations demonstrate that realistic resource constraints present in cells at the transcriptional and translational levels influence noise in gene circuits in a nonmonotonic fashion, either increasing or decreasing noise depending on the transcriptional/translational capacity.
Growth feedback on the other hand links circuit function to cellular growth rate via increased protein dilution rate during exponential growth phase. This in turn can result in the collapse of bistable gene circuits as the accelerated dilution rate forces switches in a high stable state to fall to a low stable state. Mathematical modelling and experimental data demonstrate that application of repressive links can insulate sensitive parts of gene circuits against growth-fluctuations and can in turn increase the robustness of multistable circuits in growth contexts.
The results presented in this work aid in the accumulation of understanding of biological and biochemical context dependence, and corresponding control strategies and design principles engineers can utilize to mitigate these effects.
ContributorsStone, Austin (Author) / Tian, Xiao-jun (Thesis advisor) / Wang, Xiao (Committee member) / Smith, Barbara (Committee member) / Kuang, Yang (Committee member) / Cheng, Albert (Committee member) / Arizona State University (Publisher)
Created2023
Description
There is a need in the ecology literature to have a discussion about the fundamental theories from which population dynamics arises. Ad hoc model development is not uncommon in the field often as a result of a need to publish rapidly and frequently. Ecologists and statisticians like Robert J. Steidl and Kenneth P Burnham have called for a more deliberative approach they call "hard thinking". For example, the phenomena of population growth can be captured by almost any sigmoid function. The question of which sigmoid function best explains a data set cannot be answered meaningfully by statistical regression since that can only speak to the validity of the shape. There is a need to revisit enzyme kinetics and ecological stoichiometry to properly justify basal model selection in ecology. This dissertation derives several common population growth models from a generalized equation. The mechanistic validity of these models in different contexts is explored through a kinetic lens. The behavioral kinetic framework is then put to the test by examining a set of biologically plausible growth models against the 1968-1995 elk population count data for northern Yellowstone. Using only this count data, the novel Monod-Holling growth model was able to accurately predict minimum viable population and life expectancy despite both being exogenous to the model and data set. Lastly, the elk/wolf data from Yellowstone was used to compare the validity of the Rosenzweig-MacArthur and Arditi-Ginzburg models. They both were derived from a more general model which included both predator and prey mediated steps. The Arditi-Ginzburg model was able to fit the training data better, but only the Rosenzweig-MacArthur model matched the validation data. Accounting for animal sexual behavior allowed for the creation of the Monod-Holling model which is just as simple as the logistic differential equation but provides greater insights for conservation purposes. Explicitly acknowledging the ethology of wolf predation helps explain the differences in predictive performances by the best fit Rosenzweig-MacArthur and Arditi-Ginzburg models. The behavioral kinetic framework has proven to be a useful tool, and it has the ability to provide even further insights going forward.
ContributorsPringle, Jack Andrew McCracken (Author) / Anderies, John M (Thesis advisor) / Kuang, Yang (Committee member) / Milner, Fabio (Committee member) / Arizona State University (Publisher)
Created2022
Description
Ecology has been an actively studied topic recently, along with the rapid development of human microbiota-based technology. Scientists have made remarkable progress using bioinformatics tools to identify species and analyze composition. However, a thorough understanding of interspecies interactions of microbial ecosystems is still lacking, which has been a significant obstacle in the further development of related technologies. In this work, a genetic circuit design principle with synthetic biology approaches is developed to form two-strain microbial consortia with different inter-strain interactions. The microbial systems are well-defined and inducible. Co-culture experiment results show that our microbial consortia behave consistently with previous ecological knowledge and thus serves as excellent model systems to simulate ecosystems with similar interactions. Colony patterns also emerge when co-culturing multiple species on solid media. With the engineered microbial consortia, image-processing based methods were developed to quantify the shape of co-culture colonies and distinguish microbial consortia with different interactions. Factors that affect the population ratios were identified through induction and variations in the inoculation process. Further time-lapse experiments revealed the basic rules of colony growth, composition variation, patterning, and how spatial factors impact the co-culture colony.
ContributorsChen, Xingwen (Author) / Wang, Xiao (Thesis advisor) / Kuang, Yang (Committee member) / Tian, Xiaojun (Committee member) / Brafman, David (Committee member) / Plaisier, Christopher (Committee member) / Arizona State University (Publisher)
Created2022
Description
The mutual inhibition between synthetic gene circuits and cell growth produces growth feedback in the host-circuit system. Previous studies have demonstrated that the growth feedback has an marked impact on the molecular dynamics of the host-circuit system. However, the complexity of the growth feedback effect is not fully understood. A theoretical framework was developed to study the dynamics of the coupling between growth feedback and synthetic gene circuits. The study’s results reveal three major points about the impact of growth feedback. First, a nonlinear emergent behavior mediated by growth feedback. The unexpected behavior depends on the dynamic ribosome allocation between gene circuit expression and host cell growth. Second, the emergence and loss of unexpected qualitative states on the host-circuit system generated by ultrasensitive growth feedback. Third, the growth feedback-induced cooperativity behavior in synthetic gene modules competing for resources. In addition, growth feedback attenuated the winner-takes-all rules on resource competition between the two self-activating modules. These results demonstrate that growth feedback plays an important role in the host-circuit system’s molecular dynamics. Characterizing general principles from the effect of growth facilitates the ability to minimize or even harness unexpected gene expression behaviors derived from the effect of growth feedback.
ContributorsMelendez-Alvarez, Juan Ramon (Author) / Tian, Xiaojun (Thesis advisor) / Wang, Xiao (Committee member) / Kuang, Yang (Committee member) / Arizona State University (Publisher)
Created2022
Description
Communicating with computers through thought has been a remarkable achievement in recent years. This was made possible by the use of Electroencephalography (EEG). Brain-computer interface (BCI) relies heavily on Electroencephalography (EEG) signals for communication between humans and computers. With the advent ofdeep learning, many studies recently applied these techniques to EEG data to perform various tasks like emotion recognition, motor imagery classification, sleep analysis, and many more.
Despite the rise of interest in EEG signal classification, very few studies have explored the MindBigData dataset, which collects EEG signals recorded at the stimulus of seeing a digit and thinking about it. This dataset takes us closer to realizing the idea of mind-reading or communication via thought. Thus classifying these signals into the respective digit that the user thinks about is a challenging task. This serves as a motivation to study this dataset and apply existing deep learning techniques to study it.
Given the recent success of transformer architecture in different domains like Computer Vision and Natural language processing, this thesis studies transformer architecture for EEG signal classification. Also, it explores other deep learning
techniques for the same. As a result, the proposed classification pipeline achieves comparable performance with the existing methods.
ContributorsMuglikar, Omkar Dushyant (Author) / Wang, Yalin (Thesis advisor) / Liang, Jianming (Committee member) / Venkateswara, Hemanth (Committee member) / Arizona State University (Publisher)
Created2021
Description
Statistical Shape Modeling is widely used to study the morphometrics of deformable objects in computer vision and biomedical studies. There are mainly two viewpoints to understand the shapes. On one hand, the outer surface of the shape can be taken as a two-dimensional embedding in space. On the other hand, the outer surface along with its enclosed internal volume can be taken as a three-dimensional embedding of interests. Most studies focus on the surface-based perspective by leveraging the intrinsic features on the tangent plane. But a two-dimensional model may fail to fully represent the realistic properties of shapes with both intrinsic and extrinsic properties. In this thesis, severalStochastic Partial Differential Equations (SPDEs) are thoroughly investigated and several methods are originated from these SPDEs to try to solve the problem of both two-dimensional and three-dimensional shape analyses. The unique physical meanings of these SPDEs inspired the findings of features, shape descriptors, metrics, and kernels in this series of works. Initially, the data generation of high-dimensional shapes, here, the tetrahedral meshes, is introduced. The cerebral cortex is taken as the study target and an automatic pipeline of generating the gray matter tetrahedral mesh is introduced. Then, a discretized Laplace-Beltrami operator (LBO) and a Hamiltonian operator (HO) in tetrahedral domain with Finite Element Method (FEM) are derived. Two high-dimensional shape descriptors are defined based on the solution of the heat equation and Schrödinger’s equation. Considering the fact that high-dimensional shape models usually contain massive redundancies, and the demands on effective landmarks in many applications, a Gaussian process landmarking on tetrahedral meshes is further studied. A SIWKS-based metric space is used to define a geometry-aware Gaussian process. The study of the periodic potential diffusion process further inspired the idea of a new kernel call the geometry-aware convolutional kernel. A series of Bayesian learning methods are then introduced to tackle the problem of shape retrieval and classification. Experiments of every single item are demonstrated. From the popular SPDE such as the heat equation and Schrödinger’s equation to the general potential diffusion equation and the specific periodic potential diffusion equation, it clearly shows that classical SPDEs play an important role in discovering new features, metrics, shape descriptors and kernels. I hope this thesis could be an example of using interdisciplinary knowledge to solve problems.
ContributorsFan, Yonghui (Author) / Wang, Yalin (Thesis advisor) / Lepore, Natasha (Committee member) / Turaga, Pavan (Committee member) / Yang, Yezhou (Committee member) / Arizona State University (Publisher)
Created2021
Description
The representation of a patient’s characteristics as the parameters of a model is a key component in many studies of personalized medicine, where the underlying mathematical models are used to describe, explain, and forecast the course of treatment. In this context, clinical observations form the bridge between the mathematical frameworks and applications. However, the formulation and theoretical studies of the models and the clinical studies are often not completely compatible, which is one of the main obstacles in the application of mathematical models in practice. The goal of my study is to extend a mathematical framework to model prostate cancer based mainly on the concept of cell-quota within an evolutionary framework and to study the relevant aspects for the model to gain useful insights in practice. Specifically, the first aim is to construct a mathematical model that can explain and predict the observed clinical data under various treatment combinations. The second aim is to find a fundamental model structure that can capture the dynamics of cancer progression within a realistic set of data. Finally, relevant clinical aspects such as how the patient's parameters change over the course of treatment and how to incorporate treatment optimization within a framework of uncertainty quantification, will be examined to construct a useful framework in practice.
ContributorsPhan, Tin (Author) / Kuang, Yang (Thesis advisor) / Kostelich, Eric J (Committee member) / Crook, Sharon (Committee member) / Maley, Carlo (Committee member) / Bryce, Alan (Committee member) / Arizona State University (Publisher)
Created2021
Description
Synthetic biology (SB) has become an important field of science focusing on designing and engineering new biological parts and systems, or re-designing existing biological systems for useful purposes. The dramatic growth of SB throughout the past two decades has not only provided us numerous achievements, but also brought us more timely and underexplored problems. In SB's entire history, mathematical modeling has always been an indispensable approach to predict the experimental outcomes, improve experimental design and obtain mechanism-understanding of the biological systems. \textit{Escherichia coli} (\textit{E. coli}) is one of the most important experimental platforms, its growth dynamics is the major research objective in this dissertation. Chapter 2 employs a reaction-diffusion model to predict the \textit{E. coli} colony growth on a semi-solid agar plate under multiple controls. In that chapter, a density-dependent diffusion model with non-monotonic growth to capture the colony's non-linear growth profile is introduced. Findings of the new model to experimental data are compared and contrasted with those from other proposed models. In addition, the cross-sectional profile of the colony are computed and compared with experimental data. \textit{E. coli} colony is also used to perform spatial patterns driven by designed gene circuits. In Chapter 3, a gene circuit (MINPAC) and its corresponding pattern formation results are presented. Specifically, a series of partial differential equation (PDE) models are developed to describe the pattern formation driven by the MINPAC circuit. Model simulations of the patterns based on different experimental conditions and numerical analysis of the models to obtain a deeper understanding of the mechanisms are performed and discussed. Mathematical analysis of the simplified models, including traveling wave analysis and local stability analysis, is also presented and used to explore the control strategies of the pattern formation. The interaction between the gene circuit and the host \textit{E. coli} may be crucial and even greatly affect the experimental outcomes. Chapter 4 focuses on the growth feedback between the circuit and the host cell under different nutrient conditions. Two ordinary differential equation (ODE) models are developed to describe such feedback with nutrient variation. Preliminary results on data fitting using both two models and the model dynamical analysis are included.
ContributorsHe, Changhan (Author) / Kuang, Yang (Thesis advisor) / Wang, Xiao (Committee member) / Kostelich, Eric (Committee member) / Tian, Xiaojun (Committee member) / Gumel, Abba (Committee member) / Arizona State University (Publisher)
Created2021
Description
Graph matching is a fundamental but notoriously difficult problem due to its NP-hard nature, and serves as a cornerstone for a series of applications in machine learning and computer vision, such as image matching, dynamic routing, drug design, to name a few. Although there has been massive previous investigation on high-performance graph matching solvers, it still remains a challenging task to tackle the matching problem under real-world scenarios with severe graph uncertainty (e.g., noise, outlier, misleading or ambiguous link).In this dissertation, a main focus is to investigate the essence and propose solutions to graph matching with higher reliability under such uncertainty. To this end, the proposed research was conducted taking into account three perspectives related to reliable graph matching: modeling, optimization and learning. For modeling, graph matching is extended from typical quadratic assignment problem to a more generic mathematical model by introducing a specific family of separable function, achieving higher capacity and reliability. In terms of optimization, a novel high gradient-efficient determinant-based regularization technique is proposed in this research, showing high robustness against outliers. Then learning paradigm for graph matching under intrinsic combinatorial characteristics is explored. First, a study is conducted on the way of filling the gap between discrete problem and its continuous approximation under a deep learning framework. Then this dissertation continues to investigate the necessity of more reliable latent topology of graphs for matching, and propose an effective and flexible framework to obtain it. Coherent findings in this dissertation include theoretical study and several novel algorithms, with rich experiments demonstrating the effectiveness.
ContributorsYu, Tianshu (Author) / Li, Baoxin (Thesis advisor) / Wang, Yalin (Committee member) / Yang, Yezhou (Committee member) / Yang, Yingzhen (Committee member) / Arizona State University (Publisher)
Created2021