Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations

Broader (1)

Bitcoin
Computer fileCryptographic hash functionOpen-source software

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Further results on nonlinear tracking control and parameter estimation for induction motors
2014
2014
General Method of Construction of Implicit Discrete Maps Generating Chaos in 3D Quadratic Systems of Differential Equations
A method allowing to study the dynamics of 3D systems of quadratic differential equations by the reduction of these systems to… 
Highly Cited
2013
Highly Cited
2013
EM-TV Methods for Inverse Problems with Poisson Noise
We address the task of reconstructing images corrupted by Poisson noise, which is important in various applications such as… 
2009
2009
Numerical solutions of Euler--Poisson systems for potential flows
2009
2009
Theoretical Model of God: Proof of Existence
The work is devoted to the most challenging problem of the 21st century i.e., the scientific perspective of understanding the… 
Highly Cited
2007
Highly Cited
2007
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata
We study the problem of synthesis of a choreographer in Web service composition for a given set of services and a goal. Services… 
2003
2003
Existence and uniqueness of solutions for a diffusion model of host-parasite dynamics
1995
1995
Two Unexpected Examples Concerning Differentiability of Lipschitz Functions on Banach Spaces
In this note we present two examples illustrating some surprising relations between the known existence theorems concerning two… 
1978
1978
Progress in Numerical Analysis
Developments in numerical analysis fall into two separate categories. The first comprises work on problems which are unsolved in… 
1969
1969
The localization of the strict topology via bounded sets
Stronger locally convex topology on space C/S/ of bounded continuous functions proved in nonagreement with strict topology on… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)