Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

GNAT

Known as: Gnat (disambiguation), JGNAT, Gnu nyu ada translator 
GNAT is a free-software compiler for the Ada programming language which forms part of the GNU Compiler Collection. It supports all versions of the… Expand
Wikipedia

Papers overview

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