Results 21 to 30 of about 137 (56)
Formal Introduction to Fuzzy Implications [PDF]
, 2017 SummaryIn the article we present in the Mizar system the catalogue of nine basic fuzzy implications, used especially in the theory of fuzzy sets. This work is a continuation of the development of fuzzy sets in Mizar; it could be used to give a variety of
Adam Grabowski +11 more
core +2 more sources
Fuzzy classifier ensembles for hierarchical WiFi-based semantic indoor localization [PDF]
, 2017 The number of applications for smartphones and tablets is growing exponentially in the last years. Many of these applications are supported by the so-called Location Based Services, which are expected to provide reliable real-time localization anytime ...
Alonso Moral, José María +2 more
core +1 more source
Robust inference of trees [PDF]
, 2018 This paper is concerned with the reliable inference of optimal tree-approximations to the dependency structure of an unknown distribution generating data.
Hutter, Marcus, Zaffalon, Marco
core
Spillover detection for donor selection in synthetic control models
Journal of Causal InferenceSynthetic control (SC) models are widely used to estimate causal effects in settings with observational time-series data. To identify the causal effect on a target unit, SC requires the existence of additional units that are not impacted by the ...
O’Riordan Michael +1 more
doaj +1 more source
A comprehensive clinical guideline model and a reasoning mechanism for AAL systems [PDF]
, 2013 The progressive ageing of population combined with the need for comfort in situations of disease and disability are pushing healthcare organizations and governments to find new solutions to enable people to live longer in their preferred environment ...
Costa, Ângelo +3 more
core
, 2009 The management and combination of uncertain, imprecise, fuzzy and even paradoxical or high conflicting sources of information has always been, and still remains today, of primal importance for the development of reliable modern information systems ...
Dezert, Jean, Smarandache, Florentin
core +4 more sources
Fundamental Properties of Fuzzy Implications [PDF]
, 2018 In the article we continue in the Mizar system [8], [2] the formalization of fuzzy implications according to the monograph of Baczyński and Jayaram “Fuzzy Implications” [1].
Grabowski, Adam
core +1 more source
Reichenbach Fuzzy Set of Transitivity [PDF]
, 2020 Fuzzy implicators are the basic ingredients of many applications. So it becomes essential to study the various features of an implicator before implementing it in any practical application.
Muhammad Aslam Javed, Samina Ashraf
core
Reichenbach Fuzzy Set of Transitivity [PDF]
, 2014 Fuzzy implicators are the basic ingredients of many applications. So it becomes essential to study the various features of an implicator before implementing it in any practical application.
Ashraf, Samina, Javed, Muhammad A.
core +1 more source
Partial Correctness of GCD Algorithm [PDF]
, 2018 In this paper we present a formalization in the Mizar system [2, 1] of the correctness of the subtraction-based version of Euclid’s algorithm computing the greatest common divisor of natural numbers.
Ivanov, Ievgen +2 more
core +1 more source