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

Proof of Existence

Proof of Existence is an online service that verifies the existence of computer files as of a specific time via timestamped transactions in the… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
A new existence proof of solutions for a class of fourth-order nonlinear boundary value problems is proposed. The proof of the… Expand
Is this relevant?
2010
2010
Abstract We give a short proof of existence of disjoint hypercyclic tuples of operators of any given length on any separable… Expand
Is this relevant?
2009
2009
The work is devoted to the most challenging problem of the 21st century i.e., the scientific perspective of understanding the… Expand
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Abstract Lévy driven term structure models have become an important subject in the mathematical finance literature. This paper… Expand
Is this relevant?
2008
2008
This paper provides a new Fuzzy Reinforcement Learning (FRL) algorithm based on critic-only architecture. The proposed algorithm… Expand
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In traditional cryptosystems, user authentication is based on possession of secret keys; the method falls apart if the keys are… Expand
  • figure 1
  • table 1
  • figure 3
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We prove the existence of a solution of a free boundary problem for the transonic small-disturbance equation. The free boundary… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Stochastic Petri net models of large systems that are solved by generating the underlying Markov chain pose the problem of… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The R. E. Lucas (1978) general equilibrium model of asset prices is extended to admit beliefs that are represented by a… Expand
Is this relevant?
1988
1988
In this paper, we describe a method which proves by computers the existence of weak solutions for linear elliptic boundary value… Expand
Is this relevant?