Computable soft separation axioms

SM Elsayed, KM Ng - Mathematical Structures in Computer Science, 2023 - cambridge.org
… of soft separation axioms. Specifically, we focus our attention on computable u-soft and
computable p-soft separation axioms and … and classical versions of these soft separation axioms. …

Applications of effective methods in computable mathematics

SMM Elsayed - 2022 - dr.ntu.edu.sg
computable versions of such soft separation axioms and investigate their properties in a
computable … we introduce some soft separation axioms, namely, u-soft separation axioms and …

Soft subdivision search in motion planning, II: axiomatics

CK Yap - International Workshop on Frontiers in Algorithmics, 2015 - Springer
… We formulate the Soft Subdivision Search or SSS to unify and generalize our several recent
… In computability, such one-sided prescription of algorithmic behavior is well-known and is …

General transportability of soft interventions: Completeness results

J Correa, E Bareinboim - Advances in Neural Information …, 2020 - proceedings.neurips.cc
soft-transportability. Second, we develop an algorithm to determine whether a non-atomic
intervention is computable … that the σ-calculus is complete for the task of soft-transportability. …

A soft davies-bouldin separation measure

AA Vergani, E Binaghi - 2018 IEEE international conference on …, 2018 - ieeexplore.ieee.org
… , a general cluster separation measure should require little interaction by the user to set
parameters, should be useful for hierarchical datasets, should be easy computable for big data, …

Improvements of Categorical Propositions on Consistency and Computability.

Y Zhang - Journal of Multiple-Valued Logic & Soft Computing, 2019 - search.ebscohost.com
… to Definition 1 and semantics of natural languages we have Axiom 1 and Axiom 2. … The
reforms propose the harmonized and computable forms of categorical propositions by …

Computable analysis for verified exact real computation

M Konečný, F Steinberg, H Thies - 2020 - publications.aston.ac.uk
… For the branching needed around zero we use soft comparisons and for obtaining p we use
a multivalued magnitude function, both of which we implement using the basic operations. …

Spherical separation with infinitely far center

A Astorino, A Fuduli - Soft Computing, 2020 - Springer
We tackle the problem of separating two finite sets of samples by means of a spherical surface,
focusing on the case where the center of the sphere is fixed. Such approach reduces to …

Decision trees with soft numbers

O Fivel, M Klein, O Maimon - arXiv preprint arXiv:2201.03414, 2022 - arxiv.org
… work presents Soft Probability, by incorporating of Soft … of soft entropy into the definition of
Cross Entropy and Kullback–Leibler-Divergence (KLD), and we found that a soft KLD is a soft

[PDF][PDF] From Micro-Soft to Bio-Soft: Computing With DNA.

L Kari - BCEC, 1997 - Citeseer
… { Design a viable DNA computability model based on operations speci c to DNA processing
in vitro: recombination (splicing), matching, insertion, deletion, etc. Investigate the feasibility …