Skip to search formSkip to main content

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

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

2017

2017

One of the main tasks in image restoration is to catch the picture characteristics such as interfaces and textures from… Expand

Is this relevant?

Highly Cited

2011

Highly Cited

2011

Most of the multi-party computation frameworks can be viewed as oblivious databases where data is stored and processed in a… Expand

Is this relevant?

2007

2007

We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions… Expand

Is this relevant?

2007

2007

The (reputation for) competence of a central bank at doing its job makes monetary policy under discretion credible and… Expand

Is this relevant?

2006

2006

Register machine programs provide explicit proofs of the sn -Theorem, Kleene’s Second Recursion Theorem, and Smullyan’s Double… Expand

Is this relevant?

2004

2004

The formal specifics of Samuel Beckett's writing have so far been redescribed in terms of mysticism, ordinary language philosophy… Expand

Is this relevant?

2000

2000

In this paper we show that a conjugate gradient method can be implemented using a short multiple recursion for a wider class of… Expand

Is this relevant?

1999

1999

We formulate the yield management problem as a continuous time, stochastic, dynamic programming model. We derive an expression… Expand

Is this relevant?

1993

1993

1. Recursive Enumerability and Recursivity 2. Undecidability and Recursive Inseparability 3. Indexing 4. Generative Sets and… Expand

Is this relevant?

1948