English
Related papers

Related papers: A critical view on invexity

200 papers

Disagreement is essential to scientific progress. However, the extent of disagreement in science, its evolution over time, and the fields in which it happens, remains poorly understood. Leveraging a massive collection of English-language…

Reproducibility is a key requirement for scientific progress. It allows the reproduction of the works of others, and, as a consequence, to fully trust the reported claims and results. In this work, we argue that, by facilitating…

Information Retrieval · Computer Science 2021-02-02 Alejandro Bellogín , Alan Said

This paper presents an argument for why we are not measuring trust sufficiently in explainability, interpretability, and transparency research. Most studies ask participants to complete a trust scale to rate their trust of a model that has…

Human-Computer Interaction · Computer Science 2022-09-05 Tim Miller

This note concerns a search for publications in which the pragmatic concept of a test as conducted in the practice of software testing is formalized, a theory about software testing based on such a formalization is presented or it is…

Software Engineering · Computer Science 2010-08-17 C. A. Middelburg

This work builds on a rich discourse surrounding the social brain hypothesis as well as the definition and quantification of social complexity. We believe this manuscript provides a new perspective on the topic by pairing a conceptual…

Physics and Society · Physics 2025-03-25 Etienne Lein , Cécile Aprili , Jayaditya Deep , Isaac Kazuo Uyehara

The paper adresses the problem of reasoning with ambiguities. Semantic representations are presented that leave scope relations between quantifiers and/or other operators unspecified. Truth conditions are provided for these representations…

cmp-lg · Computer Science 2008-02-03 Uwe Reyle

This paper presents reflections on the validity of a series of mathematical methods and technical assumptions that are encrusted in macrophysics (related to gravitational interaction), that seem to have little or no physical significance.…

General Physics · Physics 2010-05-05 M. Iftime

The statistics community, which has traditionally lacked a transparent and open peer-review system, faces a challenge of inconsistent paper quality, with some published work containing substantial errors. This problem resonates with…

Methodology · Statistics 2025-12-10 Zhen Li

The amount of information available to the general public is enormous, and it is challenging to extract meaningful and reliable content. The availability of news sources and their trustability are the biggest problems for selecting the…

Social and Information Networks · Computer Science 2021-01-13 Michal Bravansky , Jan Platos

In the past century many fundamental results on unpredictability, undecidability and uncertainty have compelled scientists to grapple with the idea that some questions may never be resolved within our current theories. While this…

History and Philosophy of Physics · Physics 2020-05-19 Fabien Paillusson , Matthew Booth

Review articles summarize state-of-the-art work and provide a means to organize the growing number of scholarly publications. However, the current review method and publication mechanisms hinder the impact review articles can potentially…

Digital Libraries · Computer Science 2021-07-09 Allard Oelen , Markus Stocker , Sören Auer

Causality has traditionally been a scientific way to generate knowledge by relating causes to effects. From an imaginery point of view, causal graphs are a helpful tool for representing and infering new causal information. In previous…

Artificial Intelligence · Computer Science 2020-02-07 Eduardo C. Garrido-Merchán , C. Puente , A. Sobrino , J. A. Olivas

I address the problem of indefiniteness in quantum mechanics: the problem that the theory, without changes to its formalism, seems to predict that macroscopic quantities have no definite values. The Everett interpretation is often…

Quantum Physics · Physics 2007-05-23 David Wallace

This thesis is concerned with investigations into the "complexity of term rewriting systems". Moreover the majority of the presented work deals with the "automation" of such a complexity analysis. The aim of this introduction is to present…

Logic in Computer Science · Computer Science 2009-12-30 Georg Moser

We present a new conceptual definition of 'productivity' for sustainably developing research software. Existing definitions are flawed as they are short-term biased, thus devaluing long-term impact, which we consider to be the principal…

Software Engineering · Computer Science 2020-09-30 Spencer Smith , Jacques Carette

The main goal of this article is to find the exact difference between a convex function and its secant, as a limit of positive quantities. This idea will be expressed as a convex inequality that leads to refinements and reversals of well…

Functional Analysis · Mathematics 2016-06-23 Mohammad Sababheh

Not all research leads to fruitful results; trying new ways or methods may surpass the state of the art, but sometimes the hypothesis is not proven or the improvement is insignificant. In a systems discipline like pervasive computing, there…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-10-13 Ella Peltonen , Nitinder Mohan , Peter Zdankin , Tanya Shreedhar , Tri Nguyen , Suzan Bayhan , Jon Crowcroft , Jussi Kangasharju , Daniela Nicklas

The aim of this note is to show that Poincar\'e inequalities imply corresponding weighted versions in a quite general setting. Fractional Poincar\'e inequalities are considered, too. The proof is short and does not involve covering…

Analysis of PDEs · Mathematics 2013-02-08 Bartłomiej Dyda , Moritz Kassmann

Scholarly text is often laden with jargon, or specialized language that can facilitate efficient in-group communication within fields but hinder understanding for out-groups. In this work, we develop and validate an interpretable approach…

Computation and Language · Computer Science 2023-05-24 Li Lucy , Jesse Dodge , David Bamman , Katherine A. Keith

This article reports on a Research through Design study exploring how to design a tool for helping readers of science journalism understand the strength and uncertainty of scientific evidence in news stories about health science, using both…

Digital Libraries · Computer Science 2023-04-12 Anders Sundnes Løvlie , Astrid Waagstein , Peter Hyldgård