English
Related papers

Related papers: Elaboration on Two Points Raised in ``Classifier T…

200 papers

This paper continues a series in which we study deficiencies in previously published works concerning fixed point assertions for digital images.

Geometric Topology · Mathematics 2024-01-19 Laurence Boxer

Real-life conjectures do not come with instructions saying whether they they should be proven or, instead, refuted. Yet, as we now know, in either case the final argument produced had better be not just convincing but actually verifiable in…

Computers and Society · Computer Science 2015-07-21 João Marcos

Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…

Representation Theory · Mathematics 2010-09-20 Xiao-Wu Chen , Henning Krause

In this article, we describe various aspects of categorification of the structures appearing in information theory. These aspects include probabilistic models both of classical and quantum physics, emergence of F-manifolds, and motivic…

Information Theory · Computer Science 2021-08-12 Noemie Combe , Yuri I. Manin , Matilde Marcolli

Expanding upon recent work, a new class of $A$-functions is introduced that can be viewed as an appropriate generalization of the class of regular $A$-functions, the class of structured $A$-functions, and the class of perfect $A$-functions.…

Number Theory · Mathematics 2022-03-01 Joseph Burnett , Alex Taylor

Calibration is a classical notion from the forecasting literature which aims to address the question: how should predicted probabilities be interpreted? In a world where we only get to observe (discrete) outcomes, how should we evaluate a…

Machine Learning · Computer Science 2025-09-03 Parikshit Gopalan , Lunjia Hu

It is well-known that biological phenomena are emergent. Emergent phenomena are quite interesting and amazing. However, they are difficult to be understood. Due to this difficulty, we propose a theory to describe emergence based on a…

Category Theory · Mathematics 2018-10-30 Giuliano Gadioli La Guardia , Pedro Jeferson Miranda

In contemporary educational systems, academic performance indicators play a central role in institutional evaluation and in the interpretation of student trajectories. However, under conditions of rapid technological change, the inferential…

Computers and Society · Computer Science 2026-01-09 H. R. Paz

This text discusses several popular explanatory methods that go beyond the error measurements and plots traditionally used to assess machine learning models. Some of the explanatory methods are accepted tools of the trade while others are…

Machine Learning · Statistics 2020-06-02 Patrick Hall

We prove an improved form of an expectation of Polya and discuss several related questions

Number Theory · Mathematics 2025-12-02 Umberto Zannier

In this article, we define the notion of a filtration and then give the basic theorems on initial and progressive enlargements of filtrations.

Probability · Mathematics 2007-12-06 Delia Coculescu , Ashkan Nikeghbali

With information systems becoming larger scale, recommendation systems are a topic of growing interest in machine learning research and industry. Even though progress on improving model design has been rapid in research, we argue that many…

Information Retrieval · Computer Science 2022-11-14 Tobias Schnabel , Mengting Wan , Longqi Yang

In the recent development in a various disciplines of physics, it is noted the need for including the deformed versions of the exponential functions. In this paper, we consider the deformations which have two purposes: to have them like…

Classical Analysis and ODEs · Mathematics 2010-05-28 Miomir S. Stanković , Sladjana D. Marinković , Predrag M. Rajković

To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary…

Logic in Computer Science · Computer Science 2015-12-18 Leonardo de Moura , Jeremy Avigad , Soonho Kong , Cody Roux

In this work, I use a survey of senior visualization researchers and thinkers to ideate about the notion of progress in visualization research: how are we growing as a field, what are we building towards, and are our existing methods…

Human-Computer Interaction · Computer Science 2023-04-07 Michael Correll

This paper will develop a single framework for unifying, simplifying and extending our prior results about axiom systems that retain a partial knowledge of their own consistency, via an axiomatic declaration of self-consistency. Its perhaps…

Logic · Mathematics 2012-01-04 Dan E. Willard

We show that the space in which scientific, technological and economic developments interplay with each other can be mathematically shaped using pioneering multilayer network and complexity techniques. We build the tri-layered network of…

Adopting the scientific method a theoretical model is proposed as foundation for information science and technology, extending the existing theory of signaling: a fact f becomes known in a physical system only following the success of a…

Other Computer Science · Computer Science 2009-02-01 A. P. Young

In this Book we argue that the fruitful interaction of computer vision and belief calculus is capable of stimulating significant advances in both fields. From a methodological point of view, novel theoretical results concerning the…

Computer Vision and Pattern Recognition · Computer Science 2018-10-25 Fabio Cuzzolin

Neural network-based machine learning is capable of approximating functions in very high dimension with unprecedented efficiency and accuracy. This has opened up many exciting new possibilities, not just in traditional areas of artificial…

Numerical Analysis · Mathematics 2020-12-30 Weinan E
‹ Prev 1 3 4 5 6 7 10 Next ›