Related papers: A response to the commentaries on CoRR

The general purpose of a scientific publication is the exchange and spread of knowledge. A publication usually reports a scientific result and tries to convince the reader that it is valid. With an ever-growing number of papers relying on…

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

Recent reproducibility case studies have raised concerns showing that much of the deposited research has not been reproducible. One of their conclusions was that the way data repositories store research data and code cannot fully facilitate…

Language models (LMs) now excel at many tasks such as few-shot learning, question answering, reasoning, and dialog. However, they sometimes generate unsupported or misleading content. A user cannot easily determine whether their outputs are…

MathRepo, located at https://mathrepo.mis.mpg.de, is an online repository for mathematical research data. In mathematics, research data comes in many different flavours. For instance, in computer algebra it most often takes the form of…

We present a survey on analog models of computations. Analog can be understood both as computing by analogy, or as working on the continuum. We consider both approaches, often intertwined, with a point of view mostly oriented by computation…

I comment on some theoretical work presented at QCD Moriond 2006.

This is article is taken out.

Rejoinder to "The Future of Indirect Evidence" [arXiv:1012.1161]

I comment on a recent preprint "Neutrino Velocity Anomalies: A Resolution without a Revolution" that appeared recently as arXiv:1110.0989 [hep-ph]

This is a survey of current and recent works on deformation quantization and index theorems.

Termination is an important property of programs; notably required for programs formulated in proof assistants. It is a very active subject of research in the Turing-complete formalism of term rewriting systems, where many methods and tools…

We present a comprehensive survey of constructions of the real numbers (from either the rationals or the integers) in a unified fashion, thus providing an overview of most (if not all) known constructions ranging from the earliest attempts…

Researches have shown that most effort of today's software development is maintenance and evolution. Developers often use integrated development environments, debuggers, and tools for code search, testing, and program understanding to…

This article presents an overview of computability logic -- the game-semantically constructed logic of interactive computational tasks and resources. There is only one non-overview, technical section in it, devoted to a proof of the…

This paper introduces the idea of mining container image repositories for configuration and other deployment information of software systems. Unlike traditional software repositories (e.g., source code repositories and app stores), image…

This paper is an extension of the previous work of Chui, Filbir, and Mhaskar (Appl. Comput. Harm. Anal. 38 (3) 2015:489-509), not only from numeric data to include non-numeric data as in that paper, but also from undirected graphs to…

Code comments are important artifacts in software systems and play a paramount role in many software engineering (SE) tasks related to maintenance and program comprehension. However, while it is widely accepted that high quality matters in…

This paper has been superseded by quant-ph/9908074.

Question answering has emerged as an intuitive way of querying structured data sources, and has attracted significant advancements over the years. In this article, we provide an overview over these recent advancements, focusing on neural…