Physical Sciences and Mathematics Commons^™

Inference And Estimation In Change Point Models For Censored Data, Kristine Gierz

Mathematics & Statistics Theses & Dissertations

In general, the change point problem considers inference of a change in distribution for a set of time-ordered observations. This has applications in a large variety of fields and can also apply to survival data. With improvements to medical diagnoses and treatments, incidences and mortality rates have changed. However, the most commonly used analysis methods do not account for such distributional changes. In survival analysis, change point problems can concern a shift in a distribution for a set of time-ordered observations, potentially under censoring or truncation.

In this dissertation, we first propose a sequential testing approach for detecting multiple change …

Conical Orbital Mechanics: A Rework Of Classic Orbit Transfer Mechanics, Cian Anthony Branco

Mechanical & Aerospace Engineering Theses & Dissertations

Simple orbital maneuvers obeying Kepler’s Laws, when taken with respect to Newton’s framework, require considerable time and effort to interpret and understand. Instead of a purely mathematical approach relying on the governing relations, a graphical geometric conceptual representation provides a useful alternative to the physical realities of orbits. Conic sections utilized within the full scope of a modified cone (frustum) were employed to demonstrate and develop a geometric approach to elliptical orbit transformations. The geometric model in-question utilizes the rotation of a plane intersecting the orbital frustum at some angle β (and the change in this angle) in a novel …

D-Vine Copula Model For Dependent Binary Data, Huihui Lin, N. Rao Chaganty

College of Sciences Posters

High-dimensional dependent binary data are prevalent in a wide range of scientific disciplines. A popular method for analyzing such data is the Multivariate Probit (MP) model. But the MP model sometimes fails even within a feasible range of binary correlations, because the underlying correlation matrix of the latent variables may not be positive definite. In this research, we proposed pair copula models, assuming the dependence between the binary variables is first order autoregressive (AR(1))or equicorrelated structure. Also, when Archimediean copula is used, most paper converted Kendall Tau to corresponding copula parameter, there is no explicit function of Pearson’s correlation coefficient …

Investigating The Feasibility And Stability For Modeling Acoustic Wave Scattering Using A Time-Domain Boundary Integral Equation With Impedance Boundary Condition, Michelle E. Rodio

Mathematics & Statistics Theses & Dissertations

Reducing aircraft noise is a major objective in the field of computational aeroacoustics. When designing next generation quiet and environmentally friendly aircraft, it is important to be able to accurately and efficiently predict the acoustic scattering by an aircraft body from a given noise source. Acoustic liners are an effective tool for aircraft noise reduction and are characterized by a frequency-dependent impedance. Converted into the time-domain using Fourier transforms, an impedance boundary condition can be used to simulate the acoustic wave scattering by geometric bodies treated with acoustic liners

This work considers using either an impedance or an admittance (inverse …

Boundary Vortex Formation In Polarization-Modulated Orthogonal Smectic Liquid Crystals, Carlos J. García-Cervera, Tiziana Giorgi, Sookyung Joo

Mathematics & Statistics Faculty Publications

We investigate the relaxation of an energy functional originated in the physics literature to study the bistability of polarization modulated orthogonal smectic phases (SmAP_Fmod) of bent-core molecules liquid crystals. We show that the interplay between the mixed boundary conditions and the shape of the sample results in boundary defects. We also analyze the bistable switching due to an applied electric field via gradient flow numerical simulations. Our computations reveal a novel dynamic scenario, where switching is achieved by the formation of two internal vortices.

Mesoscopic Methods In Engineering And Science, Christian Jansen, Manfred Krafczyk, Li-Shi Luo

Mathematics & Statistics Faculty Publications

(First paragraph) Matter, conceptually classified into fluids and solids, can be completely described by the microscopic physics of its constituent atoms or molecules. However, for most engineering applications a macroscopic or continuum description has usually been sufficient, because of the large disparity between the spatial and temporal scales relevant to these applications and the scales of the underlying molecular dynamics. In this case, the microscopic physics merely determines material properties such as the viscosity of a fluid or the elastic constants of a solid. These material properties cannot be derived within the macroscopic framework, but the qualitative nature of the …

Multiplicative Noise Removal: Nonlocal Low-Rank Model And It's Proximal Alternating Reweighted Minimization Algorithm, Xiaoxia Liu, Jian Lu, Lixin Shen, Chen Xu, Yuesheng Xu

Mathematics & Statistics Faculty Publications

The goal of this paper is to develop a novel numerical method for efficient multiplicative noise removal. The nonlocal self-similarity of natural images implies that the matrices formed by their nonlocal similar patches are low-rank. By exploiting this low-rank prior with application to multiplicative noise removal, we propose a nonlocal low-rank model for this task and develop a proximal alternating reweighted minimization (PARM) algorithm to solve the optimization problem resulting from the model. Specifically, we utilize a generalized nonconvex surrogate of the rank function to regularize the patch matrices and develop a new nonlocal low-rank model, which is a nonconvex …

Certified Functions For Mesh Generation, Andrey N. Chernikov

Chemistry & Biochemistry Faculty Publications

Formal methods allow for building correct-by-construction software with provable guarantees. The formal development presented here resulted in certified executable functions for mesh generation. The term certified means that their correctness is established via an artifact, or certificate, which is a statement of these functions in a formal language along with the proofs of their correctness. The term is meaningful only when qualified by a specific set of properties that are proven. This manuscript elaborates on the precise statements of the properties being proven and their role in an implementation of a version of the Isosurface Stuffing algorithm by Labelle and …