Results 11 to 20 of about 137 (56)

Fuzzy Adaptive Genetic Algorithm for Improving the Solution of Industrial Optimization Problems

Journal of Intelligent Systems, 2018
In the industrial and manufacturing fields, many problems require tuning of the parameters of complex models by means of exploitation of empirical data.
Vannucci Marco, Colla Valentina, Dettori Stefano, Iannino Vincenzo   +3 more
doaj   +1 more source

Partial Correctness of a Power Algorithm [PDF]

, 2019
This work continues a formal verification of algorithms written in terms of simple-named complex-valued nominative data [6],[8],[15],[11],[12],[13]. In this paper we present a formalization in the Mizar system [3],[1] of the partial correctness of the ...
Jaszczak, Adrian
core   +1 more source

Homogeneous aggregation operators [PDF]

, 2006
summary:Recently, the utilization of invariant aggregation operators, i.e., aggregation operators not depending on a given scale of measurement was found as a very current theme.
Rückschloss, Roman, Rückschlossová, Tatiana   +1 more
core   +1 more source

Partial Correctness of a Factorial Algorithm [PDF]

, 2019
In this paper we present a formalization in the Mizar system [3],[1] of the partial correctness of the algorithm: i := val.1 j := val.2 n := val.3 s := val.4 while (i n) i := i + j s := s * i return s computing the factorial of given natural ...
Jaszczak, Adrian, Korniłowicz, Artur
core   +1 more source

Uncovering the riffled independence structure of ranked data

, 2012
Representing distributions over permutations can be a daunting task due to the fact that the number of permutations of n objects scales factorially in n.
Jonathan Huang, Carlos Guestrin
semanticscholar   +1 more source

Aggregations preserving classes of fuzzy relations [PDF]

, 2005
summary:We consider aggregations of fuzzy relations using means in [0,1] (especially: minimum, maximum and quasilinear mean). After recalling fundamental properties of fuzzy relations we examine means, which preserve reflexivity, symmetry, connectedness ...
Drewniak, Józef, Dudziak, Urszula
core   +1 more source

On Algebras of Algorithms and Specifications over Uninterpreted Data [PDF]

, 2018
This paper continues formalization in Mizar [2, 1] of basic notions of the composition-nominative approach to program semantics [13] which was started in [8, 11].The composition-nominative approach studies mathematical models of computer programs and ...
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola   +2 more
core   +1 more source

Representation of Nelson Algebras by Rough Sets Determined by Quasiorders

, 2011
In this paper, we show that every quasiorder $R$ induces a Nelson algebra $\mathbb{RS}$ such that the underlying rough set lattice $RS$ is algebraic. We note that $\mathbb{RS}$ is a three-valued {\L}ukasiewicz algebra if and only if $R$ is an equivalence.
A. Monteiro, A. Monteiro, A. Monteiro, D. Vakarelov, G. Grätzer, J. Järvinen, J. Pomykała, J. Varlet, Jouni Järvinen, M. Gehrke, P. Pagliani, R. Cignoli, S.P. Demri, Sándor Radeleczki, Z. Pawlak   +14 more
core   +1 more source

Decision making, symmetry and structure: Justifying causal interventions

Journal of Causal Inference
We can use structural causal models (SCMs) to help us evaluate the consequences of actions given data. SCMs identify actions with structural interventions. A careful decision maker may wonder whether this identification is justified.
Johnston David O., Ong Cheng Soon, Williamson Robert C.   +2 more
doaj   +1 more source

A Comprehensive Evaluation of Rough Sets Clustering in Uncertainty Driven Contexts

Studia Universitatis Babes-Bolyai: Series Informatica
This paper presents a comprehensive evaluation of the Agent BAsed Rough sets Clustering (ABARC) algorithm, an approach using rough sets theory for clustering in environments characterized by uncertainty.
Arnold SZEDERJESI-DRAGOMIR
doaj   +1 more source