69 research outputs found
Les Mots Justes and Other Things Impossible to Find
Communication can be hard enough when you’re speaking in your native tongue, but throw in a second language and something’s sure to get lost in translation. In this creative nonfiction piece, I trace my real-life journey from tongue-tied homebody to bilingual voyageuse over the stepping stones of four chapters, with each chapter linked by the themes of language and communication. In the first half of the project, a unique job offer brings love, friendship, and plenty of misunderstanding into my humdrum life, and inspires me to pick up a language that broadens my personal and academic horizons. In the second half, I chronicle the misadventures of my first study abroad program in France, navigating my way through awkward conversations, and learning how and when to speak up with confidence. In the accompanying critical essay, I discuss my deep affection for the creative fiction genre and how some of its greatest voices—Mark Twain, Nora Ephron, and A.A. Milne, to name a few—have taught me how to make the ordinary extraordinary. In the final self-analytical essay, I describe with brutal honesty my creative process in the invention of this Honors project
Optimization of Critical Infrastructure with Fluids
Many of the world's most critical infrastructure systems control the motion of fluids. Despite their importance, the design, operation, and restoration of these infrastructures are sometimes carried out suboptimally. One reason for this is the intractability of optimization problems involving fluids, which are often constrained by partial differential equations or nonconvex physics. To address these challenges, this dissertation focuses on developing new mathematical programming and algorithmic techniques for optimization problems involving difficult nonlinear constraints that model a fluid's behavior. These new contributions bring many important problems within the realm of tractability.
The first focus of this dissertation is on surface water systems. Specifically, we introduce the Optimal Flood Mitigation Problem, which optimizes the positioning of structural measures to protect critical assets with respect to a predefined flood scenario. Two solution approaches are then developed. The first leverages mathematical programming but does not tractably scale to realistic scenarios. The second uses a physics-inspired metaheuristic, which is found to compute good quality solutions for realistic scenarios.
The second focus is on potable water distribution systems. Two foundational problems are considered. The first is the optimal water network design problem, for which we derive a novel convex reformulation, then develop an algorithm found to be more effective than the current state of the art on select instances. The second is the optimal pump scheduling (or Optimal Water Flow) problem, for which we develop a mathematical programming relaxation and various algorithmic techniques to improve convergence.
The final focus is on natural gas pipeline systems. Two novel problems are considered. The first is the Maximal Load Delivery (MLD) problem for gas pipelines, which aims at finding a feasible steady-state operating point that maximizes load delivery for a severely damaged gas network. The second is the joint gas-power MLD problem, which couples damaged gas and power networks at gas-fired generators. In both problems, convex relaxations of nonconvex dynamical constraints are developed to increase tractability.PHDIndustrial & Operations EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/169849/1/tasseff_1.pd
Optimization of Structural Flood Mitigation Strategies
The dynamics of flooding are primarily influenced by the shape, height, and
roughness (friction) of the underlying topography. For this reason, mechanisms
to mitigate floods frequently employ structural measures that either modify
topographic elevation, e.g., through the placement of levees and sandbags, or
increase roughness, e.g., through revegetation projects. However, the
configuration of these measures is typically decided in an ad hoc manner,
limiting their overall effectiveness. The advent of high-performance surface
water modeling software and improvements in black-box optimization suggest that
a more principled design methodology may be possible. This paper proposes a new
computational approach to the problem of designing structural mitigation
strategies under physical and budgetary constraints. It presents the
development of a problem discretization amenable to simulation-based,
derivative-free optimization. However, meta-heuristics alone are found to be
insufficient for obtaining quality solutions in a reasonable amount of time. As
a result, this paper proposes novel numerical and physics-based procedures to
improve convergence to a high-quality mitigation. The efficiency of the
approach is demonstrated on hypothetical dam break scenarios of varying
complexity under various mitigation budget constraints. In particular,
experimental results show that, on average, the final proposed algorithm
results in a 65% improvement in solution quality compared to a direct
implementation
Reconstruction And Analysis Of The Molecular Programs Involved In Deciding Mammalian Cell Fate
Cellular function hinges on the ability to process information from the outside environment into specific decisions. Ultimately these processes decide cell fate, whether it be to undergo proliferation, apoptosis, differentiation, migration and other cellular functions. These processes can be thought of as finely tuned programs evolved to maintain robust function in spite of environmental perturbations. Malfunctions in these programs can lead to improper cellular function and various disease states. To develop more effective, personalized and even preventative therapeutics we must attain a better, more detailed, understanding of the programs involved. To this end we have employed mechanistic mathematical modeling to a variety of complex cellular programs. In Chapter 1, we review a variety of computational methods have have been used successfully in different areas of biotechnology. In Chapter 2, we present the software platform UNIVERSAL, which was developed in our lab. UNIVERSAL is an extensible code generation framework for Mac OS X which produces editable, fully commented platform-independent physiochemical model code in several common programming languages from a variety of inputs. UNIVERSAL generates mass-action ODE models of intracellular signal transduction processes and model analysis code, such as adjoint sensitivity balances. We employed the mass-action ODE framework, as generated by UNIVERSAL, commonly throughout the studies presented here. In Chapter 3, we introduce a variety of modeling strategies in the context of EGF-induced Eukaryotic transcription. We demon- strated the ability to make meaningful and statistically consistent model predictions despite considerable parametric uncertainty. In Chapter 4, we constructed a mathematical model to study a mechanism for androgen independent proliferation in prostate cancer. Analysis of the model provided insight into the importance of network components as a function of androgen dependence. Translation became progressively more important in androgen independent cells. Moreover, the analysis suggested that direct targeting of the translational machinery, specifically eIF4E, could be efficacious in androgen independent prostate cancers. In Chapter 5, A mathematical model of RA-induced cell-cycle arrest and differentiation was formulated and tested against BLR1 wild-type (wt) knock-out and knock-in HL-60 cell lines with and without RA. The ensemble of HL-60 models recapitulated the positive feedback between BLR1 and MAPK signaling. We investigated the robustness of the HL-60 network architecture to structural perturbations and generated experimentally testable hypotheses for future study. In Chapter 6, we carried out experimental studies to reduce the structural uncertainty of the HL60 model. Result from the HL-60 model cRaf as the most critical component of the MAPK cascade. To investigate the role of cRaf in RA-induced differentiation we observed the effect of cRaf kinase inhibition. Furthermore, we interrogated a panel of proteins to identify RA responsive cRaf binding partner. We found that cRaf kinase activity was necessary for functional ROS response, but not for RA-induced growth arrest. Based on our findings, we proposed a simplified ontrol architecture for sustained MAPK activation. Computational modeling identified a bistability suggesting that the MAPK activation was self-sustaining. This result was experimentally validated, and could explain previously observed cellular memory effects. Taken together, the results of these studies demonstrated that computational modeling can identify therapeutically relevant targets for human disease such as cancer. Furthermore, we demonstrated the ability of an iterative strategy between computational and experimental analysis to provide insight on key regulator circuits for complex programs involved in deciding cell fate
Analysis of the Molecular Networks in Androgen Dependent and Independent Prostate Cancer Revealed Fragile and Robust Subsystems
Androgen ablation therapy is currently the primary treatment for metastatic prostate cancer. Unfortunately, in nearly all cases, androgen ablation fails to permanently arrest cancer progression. As androgens like testosterone are withdrawn, prostate cancer cells lose their androgen sensitivity and begin to proliferate without hormone growth factors. In this study, we constructed and analyzed a mathematical model of the integration between hormone growth factor signaling, androgen receptor activation, and the expression of cyclin D and Prostate-Specific Antigen in human LNCaP prostate adenocarcinoma cells. The objective of the study was to investigate which signaling systems were important in the loss of androgen dependence. The model was formulated as a set of ordinary differential equations which described 212 species and 384 interactions, including both the mRNA and protein levels for key species. An ensemble approach was chosen to constrain model parameters and to estimate the impact of parametric uncertainty on model predictions. Model parameters were identified using 14 steady-state and dynamic LNCaP data sets taken from literature sources. Alterations in the rate of Prostatic Acid Phosphatase expression was sufficient to capture varying levels of androgen dependence. Analysis of the model provided insight into the importance of network components as a function of androgen dependence. The importance of androgen receptor availability and the MAPK/Akt signaling axes was independent of androgen status. Interestingly, androgen receptor availability was important even in androgen-independent LNCaP cells. Translation became progressively more important in androgen-independent LNCaP cells. Further analysis suggested a positive synergy between the MAPK and Akt signaling axes and the translation of key proliferative markers like cyclin D in androgen-independent cells. Taken together, the results support the targeting of both the Akt and MAPK pathways. Moreover, the analysis suggested that direct targeting of the translational machinery, specifically eIF4E, could be efficacious in androgen-independent prostate cancers
On the Emerging Potential of Quantum Annealing Hardware for Combinatorial Optimization
Over the past decade, the usefulness of quantum annealing hardware for
combinatorial optimization has been the subject of much debate. Thus far,
experimental benchmarking studies have indicated that quantum annealing
hardware does not provide an irrefutable performance gain over state-of-the-art
optimization methods. However, as this hardware continues to evolve, each new
iteration brings improved performance and warrants further benchmarking. To
that end, this work conducts an optimization performance assessment of D-Wave
Systems' most recent Advantage Performance Update computer, which can natively
solve sparse unconstrained quadratic optimization problems with over 5,000
binary decision variables and 40,000 quadratic terms. We demonstrate that
classes of contrived problems exist where this quantum annealer can provide run
time benefits over a collection of established classical solution methods that
represent the current state-of-the-art for benchmarking quantum annealing
hardware. Although this work does not present strong evidence of an irrefutable
performance benefit for this emerging optimization technology, it does exhibit
encouraging progress, signaling the potential impacts on practical optimization
tasks in the future
- …