Results 21 to 30 of about 10,721,723 (299)

Set Theory and Many Worlds

open access: yesQuantum Reports, 2023
The 2022 Tel Aviv conference on the many-worlds interpretation of quantum mechanics highlighted many differences between theorists. A very significant dichotomy is between Everettian fission (splitting) and Saunders–Wallace–Wilson divergence. For fission,
Paul Tappenden
doaj   +1 more source

RESEARCH OF METHODS TO SUPPORT DATA MIGRATION BETWEEN RELATIONAL AND DOCUMENT DATA STORAGE MODELS

open access: yesСучасний стан наукових досліджень та технологій в промисловості, 2022
The subject matter of the article is heterogeneous model-inhomogeneous data migration between relational and document-oriented data storage models, existing strategies and methods to support such migrations, the use of relational algebra and set theory ...
Mariia Peretiatko   +2 more
doaj   +1 more source

Neutrosophic Crisp Set Theory [PDF]

open access: yesNeutrosophic Sets and Systems, 2014
The purpose of this paper is to introduce new types of neutrosophic crisp sets with three types 1, 2, 3. After given the fundamental definitions and operations, we obtain several properties, and discussed the relationship between neutrosophic crisp sets ...
A. A. Salama, Florentin Smarandache
doaj  

Big Data Mining: a Computer-Oriented Method of Working with the Semantics of Assertions

open access: yesСовременные информационные технологии и IT-образование, 2021
When analyzing large amounts of data with the involvement of experts of subject domain, the problem of knowledge representation arises, this problem lies in describing the semantic content of judgments with their subsequent formalization, automated ...
Galina Goremykina
doaj   +1 more source

The exact theory for scattering of waves by thick holes in a slab and other objects with non-separable geometries [PDF]

open access: yes, 2011
The theory for scattering of electromagnetic waves is developed for scattering objects for which the natural modes of the field inside the object do not couple one-to-one with those outside the scatterer.
B. J. Hoenders   +2 more
core   +3 more sources

Educational Administration: Theory and Practice [PDF]

open access: yes, 2021
Educational Administration: Theory & Practice: Vol 25, Issue
Educational Administration Theory and Practice
core   +1 more source

Metaphysics and mathematics: Perspectives on reality

open access: yesHTS Teologiese Studies/Theological Studies, 2017
The essence of number was regarded by the ancient Greeks as the root cause of the existence of the universe, but it was only towards the end of the 19th century that mathematicians initiated an in-depth study of the nature of numbers.
Gideon J. Kühn
doaj   +1 more source

Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School

open access: yesStudia Historiae Scientiarum, 2022
The foundations of mathematics cover mathematical as well as philosophical problems. At the turn of the 20th century logicism, formalism and intuitionism, main foundational schools were developed.
Jan Woleński
doaj   +1 more source

Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations

open access: yesIET Cyber-Physical Systems, 2019
The authors present a simulation-based bounded-horizon verification framework for hybrid systems with Lipschitz continuity on the continuous dynamics. In this framework, the bounded initial set is covered by a finite set of representative states, whose ...
Hao Ren, Ratnesh Kumar, Ratnesh Kumar
doaj   +1 more source

Formal Verification of a Topological Spatial Relations Model for Geographic Information Systems in Coq

open access: yesMathematics, 2023
Geographic information systems have undergone rapid growth for decades. Topology has provided valuable modeling tools in the development of this field. Formal verification ofthe model of topological spatial relations can provide a reliable guarantee for ...
Sheng Yan, Wensheng Yu
doaj   +1 more source

Home - About - Disclaimer - Privacy