Semantic Scholar uses AI to extract papers important to this topic.
This work proposes a space--time least-squares Petrov--Galerkin (ST-LSPG) projection method for model reduction of nonlinear… Expand The Gauss-Newton with approximated tensors (GNAT) method is a nonlinear model-reduction method that operates on fully discretized… Expand We explore Leibniz's understanding of the differential calculus, and argue that his methods were more coherent than is generally… Expand We present hydrodynamic simulations of high-velocity clouds (HVCs) traveling through the hot, tenuous medium in the Galactic halo… Expand An important research issue in multimedia databases is the retrieval of similar objects. For most applications in multimedia… Expand In contrast to the original Implicit Association Test (IAT), the Single-Target Implicit Association Test (ST-IAT) measures the… Expand This paper contrasts two methods to verify timing constraints of real-time applications. The method of static analysis predicts… Expand Abstract Theory is constrained by the quality and versatility of measurement tools. As such, the development of techniques for… Expand Polynomial systems occur in a wide variety of application domains. Homotopy continuation methods are reliable and powerful… Expand Many problems impede the design of multiagent systems, not the least of which is the passing of information between agents. While… Expand