Results 1 to 10 of about 1,250 (247)
Bridging Data Models in Health Care With a Novel Intermediate Query Format for Feasibility Queries: Mixed Methods Study [PDF]
JMIR Medical InformaticsBackgroundTo 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 +5 more
doaj +2 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 +4 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
On the Learnability of Disjunctive Normal Form Formulas [PDF]
Machine Learning, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Howard Aizenstein, Leonard Pitt
openaire +3 more sources
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 +1 more source
Mathematics, 2022 Among the set of parameters for which data are collected for decision-making based on artificial intelligence methods, often only some of the parameters are significant.
Yulia Shichkina +2 more
doaj +1 more source
Logical minimization for combinatorial structure in FPGA
Informatika, 2021 The paper describes the research results of application efficiency of minimization programs of functional descriptions of combinatorial logic blocks, which are included in digital devices projects that are implemented in FPGA.
P. N. Bibilo +2 more
doaj +1 more source
Informatika, 2021 In the systems of digital VLSI design (Very Large Integrated Circuits), the BDD (Binary Decision Diagram) is used for VLSI verification, as well as for technologically independent optimization as the first stage in the synthesis of logic circuits in ...
P. N. Bibilo, V. I. Romanov
doaj +1 more source
Informatika, 2020 One of the directions of logical optimization of multilevel representations of systems of Boolean functions is the methods based on the search of subsystems of functions that have the same parts in the domains of functions of selected subsystems ...
P. N. Bibilo, A. M. Pazniak
doaj +1 more source
Minimization of Boolean functions in the class of orthogonal disjunctive normal forms
Informatika, 2021 The orthogonal disjunctive normal forms (DNFs) of Boolean functions have wide applications in the logical design of discrete devices. The problem of DNF orthogonalization is to get for a given function such a DNF that any two its terms would be ...
Yu. V. Pottosin
doaj +1 more source