Results 1 to 10 of about 510,140 (296)

Disjunctive form and the modal μ alternation hierarchy [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
This paper studies the relationship between disjunctive form, a syntactic normal form for the modal mu calculus, and the alternation hierarchy. First it shows that all disjunctive formulas which have equivalent tableau have the same syntactic alternation
Karoliina Lehtinen
doaj   +4 more sources

A MODIFIED ALGORITHM FOR MINIMIZING THE DISJUNCTIVE NORMAL FORM

Proceedings in Cybernetics, 2023
The article describes an algorithm for a directed search to find the minimum disjunctive normal form using the lexicographic order.
А. Г. Назин
semanticscholar   +2 more sources

On the Learnability of Disjunctive Normal Form Formulas [PDF]

Machine Learning, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
H. Aizenstein
semanticscholar   +4 more sources

Perfect disjunctive normal forms of algebra U2

Науковий вісник Ужгородського університету. Серія: Математика і інформатика, 2018
The complete identities system of algebra U2 have been constructed in the paper. On the basis of the complete identities system an algorithm for constructing the perfect disjunctive normal form is developed.
І. А. Мич, В. В. Ніколенко, О. В. Варцаба   +2 more
doaj   +3 more sources

Genotype Phenotype Mapping in Rna Viruses - Disjunctive Normal Form Learning [PDF]

Pacific Symposium on Biocomputing, 2011
RNA virus phenotypic changes often result from multiple alternative molecular mechanisms, where each mechanism involves changes to a small number of key residues. Accordingly, we propose to learn genotype-phenotype functions, using Disjunctive Normal Form (DNF) as the assumed functional form.
Chuang Wu, Andrew S. Walsh, R. Rosenfeld
semanticscholar   +3 more sources

Disentangling Neural Disjunctive Normal Form Models

arXiv.org
Neural Disjunctive Normal Form (DNF) based models are powerful and interpretable approaches to neuro-symbolic learning and have shown promising results in classification and reinforcement learning settings without prior knowledge of the tasks.
Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo   +5 more
semanticscholar   +3 more sources

Bridging Data Models in Health Care With a Novel Intermediate Query Format for Feasibility Queries: Mixed Methods Study

JMIR Medical Informatics
BackgroundTo advance research with clinical data, it is essential to make access to the available data as fast and easy as possible for researchers, which is especially challenging for data from different source systems within and across institutions ...
Lorenz Rosenau, Julian Gruendner, Alexander Kiel, Thomas Köhler, Bastian Schaffer, Raphael W Majeed   +5 more
doaj   +2 more sources

FPGA logic element for implementation of disjunctive normal form [PDF]

Izvestiâ vysših učebnyh zavedenij. Priborostroenie, 2017
A. Grekov, S. Tyurin
semanticscholar   +2 more sources

Disjunctive and Conjunctive Normal Form Explanations of Clusters Using Auxiliary Information

arXiv.org
We consider generating post-hoc explanations of clusters generated from various datasets using auxiliary information which was not used by clustering algorithms.
Robert F. Downey, S. Ravi
semanticscholar   +3 more sources

Same Effect Relation and Concept Reduction in Formal Concept Analysis [PDF]

Jisuanji kexue, 2023
Since 2018,scholars have proposed and studied a new topic of “concept reduction” in formal concept analysis.Including unnecessary concepts,core concepts,relatively necessary concepts,and the identification of three types of concepts,and research on ...
MA Wensheng, HOU Xilin
doaj   +1 more source