English
Related papers

Related papers: Screening for breakthroughs: Omitted proofs

200 papers

This draft is a working document, having a summary of nighty-four (94) papers with additional sections on Traceability of Software Requirements (Section 4), Formal Methods and Its Tools (Section 5), Unifying Theories of Programming (UTP)…

Software Engineering · Computer Science 2025-06-24 Arshad Beg , Diarmuid O'Donoghue , Rosemary Monahan

Removed per arXiv policy. Please see version at https://doi.org/10.31219/osf.io/4wqcr

Physics and Society · Physics 2024-09-12 Reese AK Richardson , Jeonghyun Moon , Spencer S Hong , Luís A Nunes Amaral

This results in this paper have been merged with the result in arXiv:1003.0167. The authors would like to withdraw this version. Please see arXiv:1008.5356 for the merged version.

Data Structures and Algorithms · Computer Science 2010-09-07 Jian Li , Julián Mestre

A gap in the proof of Theorem 3.5 in the paper ``A new iteration process for approximation of common fixed points for finite families of total asymtotically nonexpansive mappings". Int. J. Math. Math. Sci. vol. 2009,…

Functional Analysis · Mathematics 2012-04-10 C. E. Chidume , E. U. Ofoedu

This paper has been withdrawn, as it has been merged into arXiv:1009.6144

Combinatorics · Mathematics 2012-05-22 Bela Bollobas , Alexander Scott

The paper has been withdrawn by the author due to a gap in Proof of Theorem 1.1.

Analysis of PDEs · Mathematics 2007-05-23 Dongho Chae

This paper has been withdrawn by the authors due to a gap in the proof of the main result (in 5.3).

Classical Analysis and ODEs · Mathematics 2007-06-26 Mark Losik , Peter W. Michor , Armin Rainer

The paper has been withdrawn.

Statistical Mechanics · Physics 2007-05-23 Xavier Leoncini , Alberto D. Verga

The article is taken out.

Quantum Physics · Physics 2007-05-23 Prashant

This document is an internet supplement to my book "Partially Observed Markov Decision Processes - From Filtering to Controlled Sensing" published by Cambridge University Press in 2016. This internet supplement contains exercises, examples…

Optimization and Control · Mathematics 2016-04-28 Vikram Krishnamurthy

This paper has been withdrawn because its contents have become subsumed in Section 5.2 of arXiv:0805.2307.

Geometric Topology · Mathematics 2008-08-05 Daniel Moskovich

This paper has been withdrawn by the author due to a crucial error in the Proof of Theorem 0.3

Analysis of PDEs · Mathematics 2008-06-09 Scipio Cuccagna , Nicola Visciglia

This paper is simply a collection of process diagrams for further use and reference. These are diagrams about different approaches to research.

Human-Computer Interaction · Computer Science 2022-09-27 Sheelagh Carpendale

This note gives an informal overview of the proof in our paper "Borel Conjecture and Dual Borel Conjecture", see arXiv:1105.0823.

Logic · Mathematics 2011-12-20 Martin Goldstern , Jakob Kellner , Saharon Shelah , Wolfgang Wohofsky

This paper has been withdrawn due to errors in the analysis of data with Carrier Access Rate control and statistical methodologies.

Networking and Internet Architecture · Computer Science 2016-09-08 Reginald D. Smith

This paper is withdrawn. A revised and expanded version of this work is available as hep-ph/9603323.

High Energy Physics - Phenomenology · Physics 2008-02-03 Anirban Kundu , Probir Roy

This paper has been withdrawn by the author, due to a crucial error in page 5.

General Mathematics · Mathematics 2009-02-06 Julio Alcantara-Bode

This paper has been withdrawn by the author(s), due to the existence of a much better paper in http://arxiv.org/abs/cs.CR/0207027

Cryptography and Security · Computer Science 2007-05-23 Boaz Tsaban

Brief response to a Reply [arXiv:1005.2615] on our Comments [arXiv:1005.0838] on XENON100 recent results [arXiv:1005.0380].

Cosmology and Nongalactic Astrophysics · Physics 2010-05-21 J. I. Collar , D. N. McKinsey

This paper has been withdrawn due to errors found by authors. A correct version of this paper is published in: Tomasz M. Rusin, Wlodek Zawadzki, "Quantum theory of symmetric screening in the Hartree approximation", Phys. stat. sol. (b) 243,…

Materials Science · Physics 2007-05-23 Tomasz M. Rusin , Wlodek Zawadzki