English
Related papers

Related papers: Efficient Implementation and the Product State Rep…

200 papers

Partial orders have been used to model several experimental setups, going from classical thermodynamics and general relativity to the quantum realm with its resource theories. In order to study such experimental setups, one typically…

Combinatorics · Mathematics 2025-09-18 Pedro Hack , Daniel A. Braun , Sebastian Gottwald

It is well known that the R, the set of real numbers, is an abstract set, where almost all its elements cannot be described in any finite language. We investigate possible approaches to what might be called an epi-constructionist approach…

Logic in Computer Science · Computer Science 2022-07-12 Zvi Schreiber

Historically, the notion of effective algorithm is closely related to the Church-Turing thesis. But effectivity imposes no restriction on computation time or any other resource; in that sense, it is incompatible with engineering or physics.…

Logic in Computer Science · Computer Science 2020-02-21 Yuri Gurevich

I prove that if markets are weak-form efficient, meaning current prices fully reflect all information available in past prices, then P = NP, meaning every computational problem whose solution can be verified in polynomial time can also be…

General Finance · Quantitative Finance 2010-05-14 Philip Maymin

Performativity of predictions refers to the phenomenon where prediction-informed decisions influence the very targets they aim to predict -- a dynamic commonly observed in policy-making, social sciences, and economics. In this paper, we…

Machine Learning · Statistics 2025-10-28 Xiang Li , Yunai Li , Huiying Zhong , Lihua Lei , Zhun Deng

In this paper, we present our position for a neuralsymbolic integration strategy, arguing in favor of a hybrid representation to promote an effective integration. Such description differs from others fundamentally, since its entities aim at…

Artificial Intelligence · Computer Science 2019-12-19 Marcio Moreno , Daniel Civitarese , Rafael Brandao , Renato Cerqueira

A system responding to a stochastic driving signal can be interpreted as computing, by means of its dynamics, an implicit model of the environmental variables. The system's state retains information about past environmental fluctuations,…

Statistical Mechanics · Physics 2012-10-09 Susanne Still , David A. Sivak , Anthony J. Bell , Gavin E. Crooks

Artificial Intelligence (AI) techniques continue to broaden across governmental and public sectors, such as power and energy - which serve as critical infrastructures for most societal operations. However, due to the requirements of…

Artificial Intelligence · Computer Science 2021-11-04 Erik Blasch , Haoran Li , Zhihao Ma , Yang Weng

We will consider all policies of the agent and will prove that one of them is the best performing policy. While that policy is not computable, computable policies do exist in its proximity. We will define AI as a computable policy which is…

Artificial Intelligence · Computer Science 2025-07-25 Dimiter Dobrev

Implementation process ERP is complex and expensive process. Typically always be faced with many failures. Successfully implemented in an organization has many challenges. Organizations in the deployment and success of the system depends on…

Software Engineering · Computer Science 2014-02-05 Setare Yaghubi , Nasser modiri , Masoud Rafighi

Computational complexity is examined using the principle of increasing entropy. To consider computation as a physical process from an initial instance to the final acceptance is motivated because many natural processes have been recognized…

Computational Complexity · Computer Science 2012-03-20 Arto Annila

An approximate program transformation is a transformation that can change the semantics of a program within a specified empirical error bound. Such transformations have wide applications: they can decrease computation time, power…

Programming Languages · Computer Science 2013-04-23 Edwin Westbrook , Swarat Chaudhuri

Many fundamental problems in artificial intelligence, knowledge representation, and verification involve reasoning about sets and relations between sets and can be modeled as set constraint satisfaction problems (set CSPs). Such problems…

Artificial Intelligence · Computer Science 2012-07-19 Manuel Bodirsky , Martin Hils , Alex Krimkevich

A new constructivist approach to modeling in economics and theory of consciousness is proposed. The state of elementary object is defined as a set of its measurable consumer properties. A proprietor's refusal or consent for the offered…

General Physics · Physics 2011-10-25 S. I. Melnyk , I. G. Tuluzov

Reliable inference requires that artificial intelligence (AI) models provide trustworthy uncertainty estimates, not merely accurate predictions. Recent advances in Bayesian learning have made significant progress toward this goal, and…

Machine Learning · Computer Science 2026-05-12 Jiayi Huang

The principle of optimality is a fundamental aspect of dynamic programming, which states that the optimal solution to a dynamic optimization problem can be found by combining the optimal solutions to its sub-problems. While this principle…

Optimization and Control · Mathematics 2024-08-14 Bar Light

Evaluations of generative models are now ubiquitous, and their outcomes critically shape public and scientific expectations of AI's capabilities. Yet skepticism about their reliability continues to grow. How can we know that a reported…

Artificial Intelligence · Computer Science 2026-05-19 Nathanael Jo , Ashia Wilson

Indeterminacy associated with probing of a quantum state is commonly expressed through spectral distances (metric) featured in the outcomes of repeated experiments. Here we express it as an effective amount (measure) of distinct outcomes…

Quantum Physics · Physics 2021-09-21 Ivan Horváth

In this vision paper, we explore the challenges and opportunities of a form of computation that employs an empirical (rather than a formal) approach, where the solution of a computational problem is returned as empirically most likely…

Software Engineering · Computer Science 2025-03-17 Eric Tang , Marcel Böhme

Identifying the trade-offs between model-based and model-free methods is a central question in reinforcement learning. Value-based methods offer substantial computational advantages and are sometimes just as statistically efficient as…

Machine Learning · Computer Science 2024-03-13 David Cheikhi , Daniel Russo