Results 271 to 280 of about 7,429,852 (332)

Coding for channels with intermittent feedback and its security analysis. [PDF]

PLoS One
Yang J, Huang Q, Lin Y.
europepmc   +1 more source

Estimating Baseline Survival Function in the Proportional Hazards Model Under Monotone Hazards. [PDF]

J Stat Theory Pract
Wu Y, Chappell R.
europepmc   +1 more source

Finite Time Blow-Up for the Hypodissipative Navier Stokes Equations with a Force in L t 1 C x 1 , ϵ ∩ L t ∞ L x 2 . [PDF]

Arch Ration Mech Anal
Córdoba D, Martínez-Zoroa L, Zheng F.
europepmc   +1 more source

Additivity and Chain Rules for Quantum Entropies via Multi-index Schatten Norms. [PDF]

Commun Math Phys
Fawzi O, Kochanowski J, Rouzé C, Van Himbeeck T.   +3 more
europepmc   +1 more source

Existence of Finite Time Blow-Up in Keller-Segel System. [PDF]

Ann PDE
Buseghin F, Dávila J, Del Pino M, Musso M.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Springer Monographs in Mathematics, 2008
U. Kohlenbach
exaly   +4 more sources

Proof Theory

, 1993
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both ...
openaire   +2 more sources