Related papers: Screening for breakthroughs: Omitted proofs

This document provides the supplementary material including a comprehensive related work, the complete proofs and extended evaluation results that support the manuscript, "Unified Characterization and Precoding for Non-Stationary Channels",…

In this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of programming languages into proof theory. This scientific…

The paper has been withdrawn by the author.

This paper has been withdrawn.

This paper ("Two-Level Chromophore and Irreversibility", which can be found at arXiv:0804.0086) has been withdrawn by the author due to too many errors and misleading statements. This paper has been superseded by Section 2.11 and Chapter 7…

The paper is being withdrawn since the results are incorporated in paper arxiv.org/abs/math.AG/0306195.

This paper explains a flaw in the published proof of the Scalable Commutativity Rule (SCR), presents a revised and formally verified proof of the SCR in the Coq proof assistant, and discusses the insights and open questions raised from our…

This paper has been withdrawn because the new one gr-qc/0512095 includes all its results (as well as those in gr-qc/0511016) in a clearer way.

Context: The retraction of research papers, for whatever reason, is a growing phenomenon. However, although retracted paper information is publicly available via publishers, it is somewhat distributed and inconsistent. Objective: The aim is…

This paper has been withdrawn by the authors; replaced by arXiv:0705.2531v2 [quant-ph].

This is an erratum to our paper.

We give a concise overview of arxiv:0812.2519 and arxiv:1412.3248. The paper contains all the main results and constructions but no proofs.

This paper has been withdrawn

This paper has been withdrawn by the authors.

It has been pointed out by counterexamples in a 2013 paper in the IEEE Transactions on Computers [1], that there is an error in the previously ibid.\ in 2005 published paper [2] on the construction of valid digit selection tables for SRT…

This text consists of additions to the book "Foundations of Garside Theory", EMS Tracts in Mathematics, vol. 22 (2015) -- see introduction and table of contents in arXiv:1309.0796 -- namely skipped proofs and solutions to selected…

Screened modified gravity theories evade the solar system tests that have proved prohibitive for classical alternative gravity theories. In many cases, they do not fit into the PPN formalism. The environmental dependence of the screening…

This technical report provides proofs for the claims in the paper "A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments".

Scientific fact-checking aims to determine the veracity of scientific claims by retrieving and analysing evidence from research literature. The problem is inherently more complex than general fact-checking since it must accommodate the…

This paper has been withdrawn by the author; see the much expanded, improved, and generalized version at arXiv:0811.2073.