Latent state-trait (LST) and latent growth curve (LGC) models are frequently used in the analysis of longitudinal data. Although it is well-known that standard single-indicator LGC models can be analyzed within either the structural equation modeling (SEM) or multilevel (ML; hierarchical linear modeling) frameworks, few researchers realize that LST and multivariate LGC models, which use multipl...

In this note we show how to test whether or not certain algebraic equations derived in the paper Fault Detection and Isolation for State Affine Systems, are solvable and to describe a solution method. Test and solution rely upon elementary linear algebraic techniques.

This paper presents a novel approach towards two-dimensional (2D) image structures modeling. To obtain more degrees of freedom, a 2D image signal is embedded into a certain geometric algebra. Coupling methods of differential geometry, tensor algebra, monogenic signal and quadrature filter, we can design a general model for 2D structures as the monogenic extension of a curvature tensor. Based on...

Several applications in astrophysics require adequately resolving many physical and temporal scales which vary over several orders of magnitude. Adaptive mesh refinement techniques address this problem effectively but often result in constrained strong scaling performance. The ParalleX execution model is an experimental execution model that aims to expose new forms of program parallelism and el...

In this paper, we consider the pair of second-order dynamic equations (r(t)(x)) + p(t)x(t) = 0, and (r(t)(x)) + p(t)x(t) = 0, on a time scale T, where γ > 0 is a quotient of odd positive integers. We establish some necessary and sufficient conditions for nonoscillation of Hille-Kneser type. Our results in the special case when T = R involve the well–known Hille–Kneser type criteria of second-or...

We formulate a general energy and method for segmentation that is designed to have preference for segmenting the coarse structure over the fine structure of the data, without smoothing across boundaries of regions. The energy is formulated by considering data terms at a continuum of scales from the scale space computed from the Heat Equation within regions, and integrating these terms over all ...

Title of Dissertation: On the Implementation of an Accurate and Efficient Solver for Convection-Diffusion Equations Chin-Tien Wu, Doctor of Philosophy, Nov 2003 Dissertation directed by: Dr. Howard C. Elman Department of Computer Science In this dissertation, we examine several different aspects of computing the numerical solution of the convection-diffusion equation. The solution of this equat...

Model checking has been considered as a promising approach to establish the correctness of systems. Counterexample-guided abstraction refinement is a key strategy for model checking in verification of large-scale systems. State separation problem poses the main hurdle during the refinement. We present two fast heuristics to solve this problem. We prove the effectiveness of our heuristics by bot...

This paper presents an iterative algorithm for approximating gray-scale images with adaptive triangular meshes ensuring a given tolerance. At each iteration, the algorithm applies a non-iterative adaptive meshing technique. In this way, this technique converges faster than traditional mesh refinement algorithms. The performance of the proposed technique is studied in terms of compression ratio ...