English
Related papers

Related papers: Definitions Derived from Neutrosophics

200 papers

We describe a mathematical structure that can give extensional denotational semantics to higher-order probabilistic programs. It is not limited to discrete probabilities, and it is compatible with integration in a way the models that have…

Logic in Computer Science · Computer Science 2021-04-14 Guillaume Geoffroy

The goal of this paper is to extend classical logic with a generalized notion of inductive definition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of…

Logic in Computer Science · Computer Science 2009-09-25 Marc Denecker

This text is an introduction to the study of NIP (or dependent) theories. It is meant to serve two purposes. The first is to present various aspects of NIP theories and give the reader the background material needed to understand almost any…

Logic · Mathematics 2014-07-22 Pierre Simon

The definition is a common form of human expert knowledge, a building block of formal science and mathematics, a foundation for database theory and is supported in various forms in many knowledge representation and formal specification…

Logic in Computer Science · Computer Science 2017-02-16 Marc Denecker , Bart Bogaerts , Joost Vennekens

This chapter presents probability logic as a rationality framework for human reasoning under uncertainty. Selected formal-normative aspects of probability logic are discussed in the light of experimental evidence. Specifically, probability…

Artificial Intelligence · Computer Science 2019-10-16 Niki Pfeifer

The paper is a survey of notions and results related to classical and new generalizations of the notion of a periodic sequence. The topics related to almost periodicity in combinatorics on words, symbolic dynamics, expressibility in logical…

Discrete Mathematics · Computer Science 2015-05-13 An. A. Muchnik , Yu. L. Pritykin , A. L. Semenov

Some of the principal heliophysical inferences that have been drawn from, or refined by, seismology, and the manner in which those inferences have been made, are very briefly described. Prominence is given to the use of simple formulae,…

Solar and Stellar Astrophysics · Physics 2012-10-04 D. O. Gough

This paper is motivated by the questions of how to give the concept of probability an adequate real-world meaning, and how to explain a certain type of phenomenon that can be found, for instance, in Ellsberg's paradox. It attempts to answer…

Other Statistics · Statistics 2022-03-25 Russell J. Bowater

The discoveries and open questions in neutrino physics, as reported at Neutrino 2002 and more recently, are reviewed from a theoretical perspective.

High Energy Physics - Phenomenology · Physics 2009-11-10 Boris Kayser

To a good extent, words can be understood as corresponding to patterns or categories that appeared in order to represent concepts and structures that are particularly important or useful in a given time and space. Words are characterized by…

Computation and Language · Computer Science 2021-07-21 Henrique Ferraz de Arruda , Luciano da Fontoura Costa

We investigate different systems for extracting mathematical entities from English texts in the mathematical field of category theory as a first step for constructing a mathematical knowledge graph. We consider four different term…

Computation and Language · Computer Science 2022-08-31 Jacob Collard , Valeria de Paiva , Brendan Fong , Eswaran Subrahmanian

We propose a new approach to explain Bayesian Networks. The approach revolves around a new definition of a probabilistic argument and the evidence it provides. We define a notion of independent arguments, and propose an algorithm to extract…

Artificial Intelligence · Computer Science 2021-12-03 Jaime Sevilla

The basic formalism of a novel scale invarinat nonlinear analysis is presented. A few analytic number theoretic results are derived independent of standard approaches.

Classical Analysis and ODEs · Mathematics 2011-11-01 Dhurjati Prasad Datta

Starting from a symmetrization and extension of the basic definitions and results of dissipativity theory we obtain new results on cyclo-dissipativity; in particular their external characterization and description of the set of storage…

Optimization and Control · Mathematics 2020-03-24 Arjan van der Schaft

I give a concise introduction to some essential concepts of statistical mechanics: 1. Probability theory (constrained distributions, concentration theorem, frequency estimation, hypothesis testing); 2. Macroscopic systems in equilibrium…

Physics Education · Physics 2016-09-08 Jochen Rau

Derived datasets can be defined implicitly or explicitly. An implicit definition (of dataset $O$ in terms of datasets $\vec{I}$) is a logical specification involving the source data $\vec{I}$ and the interface data $O$. It is a valid…

Databases · Computer Science 2023-03-24 Michael Benedikt , Cécilia Pradic , Christoph Wernhard

Entropic dynamics, a program that aims at deriving the laws of physics from standard probabilistic and entropic rules for processing information, is developed further. We calculate the probability for an arbitrary path followed by a system…

Classical Physics · Physics 2016-09-08 Ariel Caticha

In this paper we present the N-norms/N-conorms in neutrosophic logic and set as extensions of T-norms/T-conorms in fuzzy logic and set. Also, as an extension of the Intuitionistic Fuzzy Topology we present the Neutrosophic Topologies.

Artificial Intelligence · Computer Science 2009-08-17 Florentin Smarandache

In this paper, we define concept of bipolar neutrosophic soft expert set. Also, its basic operations, namely complement, union and intersection. We give examples for these concepts.

General Mathematics · Mathematics 2016-02-25 Mehmet Sahin , Irfan Deli , Vakkas Ulucay

A growing effort in NLP aims to build datasets of human explanations. However, the term explanation encompasses a broad range of notions, each with different properties and ramifications. Our goal is to provide an overview of diverse types…

Computation and Language · Computer Science 2022-05-17 Chenhao Tan
‹ Prev 1 4 5 6 7 8 10 Next ›