English
Related papers

Related papers: How Many Essentially Different Functional Theories…

200 papers

This book is not meant to be another compendium of select inequalities, nor does it claim to contain the latest or the slickest ways of proving them. This project is rather an attempt at describing how most functional inequalities are not…

Analysis of PDEs · Mathematics 2012-01-17 Nassif Ghoussoub , Amir Moradifam

Field-theoretic construction of functional representations of solutions of stochastic differential equations and master equations is reviewed. A generic expression for the generating function of Green functions of stochastic systems is put…

Mathematical Physics · Physics 2012-10-16 Juha Honkonen

The notion of a real-valued function is central to mathematics, computer science, and many other scientific fields. Despite this importance, there are hardly any positive results on decision procedures for predicate logical theories that…

Logic in Computer Science · Computer Science 2025-04-30 Stefan Ratschan

Background: Understanding the distinction between function and role is vexing and difficult. While it appears to be useful, in practice this distinction is hard to apply, particularly within biology. Results: I take an evolutionary…

Artificial Intelligence · Computer Science 2013-09-25 Phillip Lord

Underlying the theory of inferences, a primary task of logic is language analysis. Such a task can be understood as depending on a general theory of representation, taking as a starting point the idea that some entities (`` representations…

Logic in Computer Science · Computer Science 2023-07-21 Arnaud Plagnol

Extending G\"odel's \emph{Dialectica} interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite…

Logic · Mathematics 2009-02-17 Jeremy Avigad , Henry Towsner

The paper surveys the theory of functional identities and its applications. No prior knowledge of the theory is required to follow the paper.

Rings and Algebras · Mathematics 2023-02-22 Matej Brešar

Many physical and biological systems can be studied using complex network theory, a new statistical physics understanding of graph theory. The recent application of complex network theory to the study of functional brain networks generated…

Neurons and Cognition · Quantitative Biology 2014-06-17 D. Papo , M. Zanin , J. A. Pineda-Pardo , S. Boccaletti , J. M. Buldú

We regard explanations as a blending of the input sample and the model's output and offer a few definitions that capture various desired properties of the function that generates these explanations. We study the links between these…

Machine Learning · Computer Science 2020-01-16 Lior Wolf , Tomer Galanti , Tamir Hazan

Brief Description: The book provides a unique highly self-contained text introducing the reader to the classical and modern theory of polyanalytic functions and their generalizations. This is a subbranch of complex analysis of several…

Complex Variables · Mathematics 2025-03-31 Abtin Daghighi

There exist dozens of interpretations of quantum theory, but they do not seem to contribute much to understanding the theory. This paper attempts to clarify some issues that are discussed in those interpretations. The main keywords are:…

Quantum Physics · Physics 2020-07-28 Michael Drieschner

In a real expert system, one may have unreliable, unconfident, conflicting estimates of the value for a particular parameter. It is important for decision making that the information present in this aggregate somehow find its way into use.…

Artificial Intelligence · Computer Science 2013-04-15 Henry Hamburger

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of…

Logic in Computer Science · Computer Science 2024-05-20 Daniel Lu

The relation between representations and positive definite functions is a key concept in harmonic analysis on topological groups. Recently this relation has been studied on topological groupoids. This is the second in a series of papers in…

Operator Algebras · Mathematics 2016-09-07 Massoud Amini , Alireza Medghalchi

This paper discusses the different roles that explicit knowledge, in particular ontologies, can play in Explainable AI and in the development of human-centric explainable systems and intelligible explanations. We consider three main…

Artificial Intelligence · Computer Science 2023-11-09 Roberto Confalonieri , Giancarlo Guizzardi

The theory of belief functions manages uncertainty and also proposes a set of combination rules to aggregate opinions of several sources. Some combination rules mix evidential information where sources are independent; other rules are…

Artificial Intelligence · Computer Science 2015-03-18 Mouna Chebbah , Arnaud Martin , Boutheina Ben Yaghlane

Although hypothesis tests play a prominent role in Science, their interpretation can be challenging. Three issues are (i) the difficulty in making an assertive decision based on the output of an hypothesis test, (ii) the logical…

Methodology · Statistics 2019-04-16 Victor Coscrato , Luís Gustavo Esteves , Rafael Izbicki , Rafael Bassi Stern

The existence of one-way functions is arguably the most important problem in computer theory. The article discusses and refines a number of concepts relevant to this problem. For instance, it gives the first combinatorial complete owf,…

Cryptography and Security · Computer Science 2021-08-23 Leonid A. Levin

Over 300 sequences and many unsolved problems and conjectures related to them are presented herein. These notions, definitions, unsolved problems, questions, theorems corollaries, formulae, conjectures, examples, mathematical criteria, etc.…

General Mathematics · Mathematics 2016-03-29 Octavian Cira , Florentin Smarandache

Evaluation is a critical activity associated with any theory. Yet this has proven to be an exceptionally challenging activity for theories based on cognitive architectures. For an overlapping set of reasons, evaluation can also be…

Artificial Intelligence · Computer Science 2025-10-07 Paul S. Rosenbloom