5 citations
4 papers
Axiomatization of Boolean algebras via weak dicomplementations
Leonard Kwuida
In this note we give an axiomatization of Boolean algebras based on weakly dicomplemented lattices: an algebra $(L,\wedge,\vee,\tu)$ of type is a Boolean algebra iff $(L,…
Mining Generalized Patterns from Large Databases using Ontologies
Leonard Kwuida, Rokia Missaoui, Lahcen Boumedjout +1
Formal Concept Analysis (FCA) is a mathematical theory based on the formalization of the notions of concept and concept hierarchies. It has been successfully applied to several Com…
Algebraic operators for querying pattern bases
Rokia Missaoui, Leonard Kwuida, Mohamed Quafafou +1
The objectives of this research work which is intimately related to pattern discovery and management are threefold: (i) handle the problem of pattern manipulation by defining opera…
Reversibility of Interacting Fleming-Viot Processes with Mutation, Selection, and Recombination
Shui Feng, Byron Schmuland, Jean Vaillancourt +1
Reversibility of the Fleming-Viot process with mutation, selection, and recombination is well understood. In this paper, we study the reversibility of a system of Fleming-Viot proc…