Skip to search formSkip to main contentSkip to account menu>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2006

Highly Cited

2006

This paper describes two digital implementations of a new mathematical transform, namely, the second generation curvelet… Expand

Highly Cited

2002

Highly Cited

2002

This paper is concerned with the mathematical structure of the immersed boundary (IB) method, which is intended for the computer… Expand

Highly Cited

2001

Highly Cited

2001

Medium basis sets based upon contractions of Gaussian primitives are developed for the third‐row elements Ga through Kr. The… Expand

Highly Cited

1998

Highly Cited

1998

In this paper, we bring techniques from operations research to bear on the problem of choosing optimal actions in partially… Expand

Highly Cited

1994

Highly Cited

1994

We show how to construct a model of dependent type theory (category with attributes) from a locally cartesian closed category… Expand

Highly Cited

1988

Highly Cited

1988

1. Measures of Possibility and Fuzzy Sets.- 1.1. Imprecision and Uncertainty.- 1.2. Traditional Models of Imprecision and… Expand

Highly Cited

1984

Highly Cited

1984

It is well known that for much of the mathematics of topos theory, it is in fact sufficient to use a category C whose slice… Expand

Highly Cited

1984

Highly Cited

1984

Abstract Results of an extensive comparison of numerical methods for simulating hydrodynamics are presented and discussed. This… Expand

Highly Cited

1969

Highly Cited

1969

In May 1967 I had suggested in my Chicago lectures certain applications of category theory to smooth geometry and dynamics… Expand

Review

1968

Review

1968

In many fields using empirical areal data there arises a need for interpolating from irregularly-spaced data to produce a… Expand