# Asymptotic computational complexity

## Papers overview

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

2018

2018

- IJCAR
- 2018

We present a framework in Isabelle for verifying asymptotic time complexity of imperative programs. We build upon an extension ofâ€¦Â (More)

Is this relevant?

2016

2016

- SAC
- 2016

Lattice-based cryptography has recently emerged as a prime candidate for efficient and secure post-quantum cryptography. The twoâ€¦Â (More)

Is this relevant?

2013

2013

- 2013

We construct an endogenous growth model of directed technical change with automation (the introduction of machines which replaceâ€¦Â (More)

Is this relevant?

2012

2012

- J. Comput. Physics
- 2012

We describe an approach to the numerical solution of the integral equations of scattering theory on planar curves with cornersâ€¦Â (More)

Is this relevant?

2010

2010

- IEEE Transactions on Signal Processing
- 2010

We consider the separation of Gaussian sources exhibiting general, arbitrary (not necessarily stationary) covariance structuresâ€¦Â (More)

Is this relevant?

2006

2006

- 2006

We investigate the properties of the Benjaminiâ€“Hochberg method for multiple testing and of a variant of Storeyâ€™s generalizationâ€¦Â (More)

Is this relevant?

2005

2005

- 2005

We provide a very general result that identifies the essential spectrum of broad classes of operators as exactly equal to theâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- 2003

Macroecology is a rapidly growing branch of ecology. The essence of macroecology can be summarized as a two-step process: 1) findâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- 1999

Stanton (1997) and AÃ¯t-Sahalia (1996) use nonparametric estimators applied to short term interest rate data to conclude that theâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- AAAI/IAAI, Vol. 1
- 1996

We present an improvement to Harvey and Ginsbergâ€™s limited discrepancy search algorithm, which eliminates much of the redundancyâ€¦Â (More)

Is this relevant?