Skip to search formSkip to main content>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.

2012

2012

terricolous and saxicolous species of the genera Aspicilia A. Massal. and Circinaria Link (Megasporaceae, Pertusariales… Expand

2011

2011

The application of in-feed antibiotic growth promoters in livestock diet threatens consumer health and has arisen into a… Expand

2004

2004

We re-express our theorem on the strong-normalisation of display calculi as a theorem about the well-foundedness of a certain… Expand

Highly Cited

2003

Highly Cited

2003

Wireless sensor networks (WSNs) are becoming an increasingly important technology that will be used in a variety of applications… Expand

Highly Cited

2002

Highly Cited

2002

We propose some global constraints for lexicographic orderings on vectors of variables. These constraints are very useful for… Expand

Highly Cited

1995

Highly Cited

1995

Strongly convergent reduction is the fundamental notion of reduction in infinitary orthogonal term rewriting systems (OTRSs). For… Expand

Highly Cited

1992

Highly Cited

1992

Ordering Methods for Preconditioned Conjugate Gradient Methods Applied to Unstructured Grid Problems

It is well known that the ordering of the unknowns can have a significant effect on the convergence of preconditioned conjugate… Expand

Highly Cited

1979

Highly Cited

1979

A common tool for proving the termination of programs is the well-founded set, a set ordered in such a way as to admit no… Expand

Highly Cited

1979

Highly Cited

1979

A common tool for proving the termination of programs is the <italic>well-founded set</italic>, a set ordered in such a way as to… Expand

1973

1973

In computer-aided design for large systems, the efficient solution of large sparse systems of linear equations is important. We… Expand