English
Related papers

Related papers: Weihrauch Complexity in Computable Analysis

200 papers

In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain an understanding of classical computation in terms of the…

Computational Complexity · Computer Science 2009-12-31 Marco Pedicini , Mario Piazza

Special cases of Weber-Schafheitlin type integrals are evaluated analytically.

Mathematical Physics · Physics 2015-12-29 R. Mehrem

Relative to the large literature on upper bounds on complexity of convex optimization, lesser attention has been paid to the fundamental hardness of these problems. Given the extensive use of convex optimization in machine learning and…

Machine Learning · Statistics 2011-11-22 Alekh Agarwal , Peter L. Bartlett , Pradeep Ravikumar , Martin J. Wainwright

Quantum complexity quantifies the difficulty of preparing a state or implementing a unitary transformation with limited resources. Applications range from quantum computation to condensed matter physics and quantum gravity. We seek to…

We explain how recent developments in the fields of realisability models for linear logic -- or geometry of interaction -- and implicit computational complexity can lead to a new approach of implicit computational complexity. This…

Logic in Computer Science · Computer Science 2015-07-03 Thomas Seiller

Computational feasibility is a widespread concern that guides the framing and modeling of biological and artificial intelligence. The specification of cognitive system capacities is often shaped by unexamined intuitive assumptions about the…

Artificial Intelligence · Computer Science 2022-05-12 Federico Adolfi , Todd Wareham , Iris van Rooij

Metaquerying is a datamining technology by which hidden dependencies among several database relations can be discovered. This tool has already been successfully applied to several real-world applications. Recent papers provide only…

Databases · Computer Science 2007-05-23 F. Angiulli , R. Ben-Eliyahu-Zohary , G. Ianni , L. Palopoli

One approach to confronting computational hardness is to try to understand the contribution of various parameters to the running time of algorithms and the complexity of computational tasks. Almost no computational tasks in real life are…

Computational Complexity · Computer Science 2011-11-23 Rodney G. Downey , Dimitrios M. Thilikos

The complexity of quantum computation remains poorly understood. While physicists attempt to find ways to create quantum computers, we still do not have much evidence one way or the other as to how useful these machines will be. The tools…

Quantum Physics · Physics 2007-05-23 Lance Fortnow

We often add arithmetic to extend the expressiveness of query languages and study the complexity of problems such as testing query containment and finding certain answers in the framework of answering queries using views. When adding…

Databases · Computer Science 2020-11-19 Foto N. Afrati , Matthew Damigos

This paper draws attention to the potential of computational methods in reworking data generated in past qualitative studies. While qualitative inquiries often produce rich data through rigorous and resource-intensive processes, much of…

Databases · Computer Science 2025-06-06 Kaveh Mohajeri , Amir Karami

The Weihrauch degrees and strong Weihrauch degrees are partially ordered structures representing degrees of unsolvability of various mathematical problems. Their study has been widely applied in computable analysis, complexity theory, and…

Logic · Mathematics 2017-04-06 Damir Dzhafarov

Computational pathology is a field that has complemented various subspecialties of diagnostic pathology over the last few years. In this article a brief analyzis the different applications in nephrology is developed. To begin, an overview…

Image and Video Processing · Electrical Eng. & Systems 2022-10-20 Manuel Cossio

This paper presents a series of general properties of the r-Complexity calculus, a complexity measurement for assessing the performance and asymptotic behaviour of real-world algorithms. This research describes characteristics such as…

Computational Complexity · Computer Science 2026-01-27 Rares Folea , Emil Slusanschi

Convex polyhedral abstractions of logic programs have been found very useful in deriving numeric relationships between program arguments in order to prove program properties and in other areas such as termination and complexity analysis. We…

Programming Languages · Computer Science 2007-12-18 Kim Henriksen , Gourinath Banda , John Gallagher

In this chapter, we will first present the most standard computational challenges met in Bayesian Statistics, focussing primarily on mixture estimation and on model choice issues, and then relate these problems with computational solutions.…

Computation · Statistics 2010-02-16 Christian P. Robert

Inspired by the work of Feynman, Deutsch, We formally propose the theory of physical computability and accordingly, the physical complexity theory. To achieve this, a framework that can evaluate almost all forms of computation using various…

Computational Physics · Physics 2011-12-06 Huimin Zheng , HaiXing Hu , Nan Wu , Fangmin Song

We review results of papers written on the topic of polynomial amoebas with an emphasis on computational aspects of the topic. The polynomial amoebas have a lot of applications in various domains of science. Computation of the amoeba for a…

Complex Variables · Mathematics 2022-11-18 Vitaly A. Krasikov

This article is a survey on the topic of polynomial amoebas. We review results of papers written on the topic with an emphasis on its computational aspects. Polynomial amoebas have numerous applications in various domains of mathematics and…

Complex Variables · Mathematics 2023-05-02 Vitaly A. Krasikov

Complexity theory provides a wealth of complexity classes for analyzing the complexity of decision and counting problems. Despite the practical relevance of enumeration problems, the tools provided by complexity theory for this important…

Computational Complexity · Computer Science 2017-10-25 Nadia Creignou , Markus Kröll , Reinhard Pichler , Sebastian Skritek , Heribert Vollmer