INDEX METHOD OF MINIMIZATION OF BOOLEAN FUNCTIONS

Source: Bulletin of Cherkasy State Technological University; No. 2 (2023): Bulletin of Cherkasy State Technological University; 24-37
Вестник Черкасского государственного технологического университета; № 2 (2023): Вісник Черкаського державного технологічного університету; 24-37
Вісник Черкаського державного технологічного університету; № 2 (2023): Вісник Черкаського державного технологічного університету; 24-37
urn:2306:44552.2023

Subject Terms: method of minimization of Boolean functions, базисний коефіцієнт K, parallelization of minimization process, матричний метод паралельної декомпозиції, результативні рядки булевої функції, фрактальний комп'ютер, matrix method of parallel decomposition, метод мінімізації булевих функцій, basic coefficient K, fractal computer, розпаралелювання процесу мінімізації, resulting lines of Boolean function

File Description: application/pdf

Access URL: http://vtn.chdtu.edu.ua/article/view/273763

INDEX METHOD OF MINIMIZATION OF BOOLEAN FUNCTIONS

Source: Bulletin of Cherkasy State Technological University; No. 2 (2023): Bulletin of Cherkasy State Technological University; 24-37
Вестник Черкасского государственного технологического университета; № 2 (2023): Вісник Черкаського державного технологічного університету; 24-37
Вісник Черкаського державного технологічного університету; № 2 (2023): Вісник Черкаського державного технологічного університету; 24-37
urn:2306:44552.2023

Subject Terms: method of minimization of Boolean functions, базисний коефіцієнт K, parallelization of minimization process, матричний метод паралельної декомпозиції, результативні рядки булевої функції, фрактальний комп'ютер, matrix method of parallel decomposition, метод мінімізації булевих функцій, basic coefficient K, fractal computer, розпаралелювання процесу мінімізації, resulting lines of Boolean function

File Description: application/pdf

Access URL: http://vtn.chdtu.edu.ua/article/view/273763

Взаимосвязь фундаментальности и военно-профессиональной направленности изучения элементов математической логики в военном вузе ; Vzaimosviaz' fundamental'nosti i voenno-professional'noi napravlennosti izucheniia elementov matematicheskoi logiki v voennom vuze

Authors: Садовников Николай Владимирович, Филиал ФГКВОУ ВО «Военная академия материально-технического обеспечения им. генерала армии А.В. Хрулева» Министерства обороны Российской Федерации в г. Пензе, Nikolai V. Sadovnikov, FGKVOU VPO "Penzenskii filial Voennoi akademii material'no-tekhnicheskogo obespecheniia im. generala armii A.V. Khruleva" Ministerstva oborony Rossiiskoi Federatsii, Шипанова Елена Викторовна, Elena V. Shipanova, Султанова Галия Алиевна, Galiia A. Sultanova

Source: Pedagogy and Psychology as the Sciences of Forming the Potential of Modern Society; 55-78 ; Педагогика и психология как науки формирования потенциала современного общества; 55-78

Subject Terms: фундаментализация подготовки военного инженера, профессионально-военная направленность обучении курсантов, двузначная логика, бесконечнозначная логика, порядковая логика, булевы функции, канонические формы булевых функций: СДНФ и СКНФ, минимизация булевых функций, простые импликанты, алгоритм Квайна получения сокращенной ДНФ булевых функций, fundamentalization of military engineer training, professional-military orientation of cadet training, two-digit logic, infinite-value logic, ordinal logic, boolean functions, canonical forms of boolean functions: SDNF and SKNF, minimization of boolean functions, simple implicants, Quine's algorithm for obtaining abbreviated DNF of boolean functions

File Description: text/html

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-5-907411-24-1; https://phsreda.com/e-articles/10259/Action10259-98341.pdf; Садовников Н.В. Экономико-математическое моделирование: Логические методы исследования экономических систем в условиях неопределенности: учебное пособие с грифом УМО / Н.В. Садовников, А.Ф. Зубков. – Пенза, 2003. – 148 с.; Садовников Н.В. Фундаментализация как феномен современного образования / Н.В. Садовников // Интеграция образования. – 2004. – №1. – С. 37–42.; https://phsreda.com/files/Books/60b8d74095d7b.jpeg?req=98341; https://phsreda.com/article/98341/discussion_platform

Availability: https://phsreda.com/article/98341/discussion_platform
https://phsreda.com/files/Books/60b8d74095d7b.jpeg?req=98341

Research of 5-bit boolean functions minimization protocols by combinatorial method

Authors: Riznyk, Volodymyr, Solomko, Mykhailo

Source: Technology audit and production reserves; Том 4, № 2(42) (2018): Information and Control Systems; 41-52
Technology audit and production reserves; Том 4, № 2(42) (2018): Інформаційно-керуючі системи; 41-52
Technology audit and production reserves; Том 4, № 2(42) (2018): Информационно-управляющие системы; 41-52

Subject Terms: УДК 519.718, метод минимизации, минимизация логической функции, блок-схема с повторением, протоколы минимизации булевых функций, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, minimization method, minimization of a logical function, block-scheme with repetition, protocols for minimization of Boolean functions, 02 engineering and technology, метод мінімізації, мінімізація логічної функції, блок-схема з повторенням, протоколи мінімізації булевих функцій, UDC 519.718

File Description: application/pdf

Access URL: https://www.neliti.com/publications/312812/research-of-5-bit-boolean-functions-minimization-protocols-by-combinatorial-meth
https://cyberleninka.ru/article/n/research-of-5-bit-boolean-functions-minimization-protocols-by-combinatorial-method
http://journals.uran.ua/tarp/article/view/140351

Developing the minimization of a polynomial normal form of boolean functions by the method of figurative transformations

Authors: Mykhailo Solomko, orcid:0000-0003-0168-, Iuliia Batyshkina, Nataliia Khomiuk, Yakiv Ivashchuk, Natalia Shevtsova

Subject Terms: minimization of Boolean functions in the Reed-Muller basis, figurative transformation method, singular function

Relation: https://zenodo.org/records/4774924; oai:zenodo.org:4774924

Availability: https://doi.org/10.15587/1729-4061.2021.229786
https://zenodo.org/records/4774924

Developing the Minimization of A Polynomial Normal Form of Boolean Functions by the Method of Figurative Transformations

Authors: Solomko, M. (Mykhailo), Batyshkina, I. (Iuliia), Khomiuk, N. (Nataliia), Ivashchuk, Y. (Yakiv), Shevtsova, N. (Natalia)

Source: Eastern-European Journal of Enterprise Technologies

Subject Terms: метод образних перетворень, сингулярна функція, Indonesia, minimization of Boolean functions in the Reed-Muller basis, мінімізація булевих функцій у базисі Ріда–Маллера, figurative transformation method, singular function, минимизация булевых функций в базисе Рида-Маллера, метод образных преобразований, сингулярная функция

File Description: application/pdf

Relation: https://www.neliti.com/publications/398715/developing-the-minimization-of-a-polynomial-normal-form-of-boolean-functions-by

Availability: https://www.neliti.com/publications/398715/developing-the-minimization-of-a-polynomial-normal-form-of-boolean-functions-by

Developing the minimization of a polynomial normal form of boolean functions by the method of figurative transformations

Source: Eastern-European Journal of Enterprise Technologies; Vol. 2 No. 4 (110) (2021): Mathematics and Cybernetics-applied aspects; 22-37
Eastern-European Journal of Enterprise Technologies; Том 2 № 4 (110) (2021): Математика и кибернетика-прикладные аспекты; 22-37
Eastern-European Journal of Enterprise Technologies; Том 2 № 4 (110) (2021): Математика та кібернетика-прикладні аспекти; 22-37

Subject Terms: метод образних перетворень, сингулярна функція, сингулярная функция, метод образных преобразований, minimization of Boolean functions in the Reed-Muller basis, singular function, figurative transformation method, минимизация булевых функций в базисе Рида-Маллера, мінімізація булевих функцій у базисі Ріда–Маллера

File Description: application/pdf

Access URL: http://journals.uran.ua/eejet/article/view/229786

Direct multiplicative methods for sparse matrices. Newton methods

Authors: Anastasiya Borisovna Sviridenko

Source: Компьютерные исследования и моделирование, Vol 9, Iss 5, Pp 679-703 (2017)

Subject Terms: the direction of descent, T57-57.97, Applied mathematics. Quantitative methods, sparse matrices, 0211 other engineering and technologies, linear programming, 02 engineering and technology, Newton methods, 01 natural sciences, necessary and sufficient conditions of optimality, $NP$-hard problem, pseudo Boolean programming, QA1-939, a new mathematical formulation, minimization pseudo Boolean functions, 0101 mathematics, direct multiplication algorithm, Mathematics

Access URL: http://crm.ics.org.ru/uploads/crmissues/crm_2017_5/2017_05_09_01.pdf
https://doaj.org/article/bfffa7396dc7415ca3057ad2531cdcc3

On the Complexity of Minimizing Quasicyclic Boolean Functions

Authors: Chukhrov, I. P.^{Aff1, cor1}

Source: Journal of Applied and Industrial Mathematics. 12(3):426-441

Application of Hypergraphs in the Prime Implicants Selection Process

Authors: Wiśniewski, R. ^∗, Stefanowicz, Ł. ^∗∗, Bazydło, G. ^∗, Węgrzyn, M. ^∗

Source: In IFAC PapersOnLine 2015 48(4):302-305

Minimization of Boolean Functions Which Include Don’t-Care Statements, Using Graph Data Structure

Authors: Nosrati, Masoud^Aff4, Karimi, Ronak^Aff4, Aziztabar, Reza^Aff5

Contributors: Al-Majeed, Salah S., editor^Aff1, Hu, Chih-Lin, editor^Aff2, Nagamalai, Dhinaharan, editor^Aff3

Source: Advances in Wireless, Mobile Networks and Applications : International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings. 154:212-220

A New Technique for the Fast Minimization of Switching Functions

Authors: Rhyne, V.T., Noe, P.S., Mckinney, M.H., Pooch, U.W.

Source: IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. C-26(8):757-764 Aug, 1977

An Algorithm for Multithreshold Threshold Element Synthesis

Authors: Necula, N.N.

Source: IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. C-17(10):978-985 Oct, 1968

Algorithms using first-order neighborhoods for minimization of Boolean functions

Authors: Panov, A. V.

Source: Computational Mathematics and Mathematical Physics. September 2013 53(9):1410-1420

Взаимосвязь фундаментальности и военно-профессиональной направленности изучения элементов математической логики в военном вузе

Authors: Nikolai V. Sadovnikov, FGKVOU VPO \\'Penzenskii filial Voennoi akademii material'no-tekhnicheskogo obespecheniia im. generala armii A.V. Khruleva\\' Ministerstva oborony Rossiiskoi Federatsii, Elena V. Shipanova, Galiia A. Sultanova

Source: Pedagogy and Psychology as the Sciences of Forming the Potential of Modern Society; 55-78
Педагогика и психология как науки формирования потенциала современного общества; 55-78

Subject Terms: Quine's algorithm for obtaining abbreviated DNF of boolean functions, порядковая логика, simple implicants, boolean functions, профессионально-военная направленность обучении курсантов, fundamentalization of military engineer training, canonical forms of boolean functions: SDNF and SKNF, infinite-value logic, минимизация булевых функций, two-digit logic, professional-military orientation of cadet training, канонические формы булевых функций: СДНФ и СКНФ, простые импликанты, булевы функции, двузначная логика, бесконечнозначная логика, фундаментализация подготовки военного инженера, minimization of boolean functions, алгоритм Квайна получения сокращенной ДНФ булевых функций, ordinal logic

File Description: text/html

Access URL: https://phsreda.com/files/Books/60b8d74095d7b.jpeg?req=98341
https://phsreda.com/article/98341/discussion_platform

Teşhis Problemlerinde Belirtiler Uzayının Küçültülmesi

Authors: Babanlı, Ahmet, Karaca, Hüseyin N., Güner, Özge

Subject Terms: Bilgi Tablosu, Belirtiler Uzayı, Boolean Fonksiyonlann Sadeleştirilmesi, Alternatif Bilgi Tablosu, Alternative İnformation Table, Attribute Space, Information Table, Minimization of Boolean Functions

File Description: application/pdf

Access URL: https://hdl.handle.net/11421/777

Projection of a binary criterion into a model of hierarchical classes

Authors: Van Mechelen, Even, De Boeck, Paul

Source: Psychometrika. December 1990 55(4):677-694

The complexity of languages of type UM: The complexity of languages of type \(\cup M\)

Authors: R.G. Nigmatullin

Source: USSR Computational Mathematics and Mathematical Physics. 17:174-181

Subject Terms: Disjunctive Normal Form, Computational Complexity, Analysis of algorithms and problem complexity, Switching theory, application of Boolean algebra, Boolean functions, 0202 electrical engineering, electronic engineering, information engineering, Logical aspects of Boolean algebras, Formal languages and automata, 0102 computer and information sciences, 02 engineering and technology, Minimization of Boolean Functions, Algorithms in computer science, 01 natural sciences, Language

File Description: application/xml

Access URL: https://zbmath.org/3628387
https://doi.org/10.1016/0041-5553(77)90019-2
https://www.sciencedirect.com/science/article/pii/0041555377900192
http://www.sciencedirect.com/science/article/pii/0041555377900192

Izgradnja sintetizatora pojednostavljenog VHDL-modela za GAL16v8

Authors: Munjas, Deni

Contributors: Čupić, Marko

Subject Terms: Espresso, minimizacija Booleovih, sintetizator, TECHNICAL SCIENCES. Computing, TEHNIČKE ZNANOSTI. Računarstvo, VHDL, funkcija, GAL16v8, minimization of Boolean functions, synthesizer

File Description: application/pdf

Access URL: https://repozitorij.fer.unizg.hr/islandora/object/fer:3610/datastream/PDF
https://repozitorij.fer.unizg.hr/islandora/object/fer:3610
https://urn.nsk.hr/urn:nbn:hr:168:228798

Spatial Analysis of Expression Patterns Predicts Genetic Interactions at the Mid-Hindbrain Boundary

Authors: Florian Blöchl, Fabian J. Theis, Dominik M. Wittmann, Wolfgang Wurst, Dietrich Trümbach, Nilima Prakash

Source: PLoS Comput Biol
PLoS Computational Biology, Vol 5, Iss 11, p e1000569 (2009)
PLoS Computational Biology; Vol 5
PLoS Computational Biology 5(11), e1000569 (2009). doi:10.1371/journal.pcbi.1000569
PLoS Comput. Biol. 5:e1000569 (2009)

Subject Terms: 0301 basic medicine, Fibroblast Growth Factor 8, Transcription, Genetic, mid-hindbrain boundary, minimization of boolean functions, pattern formation, regulatory networks, Wnt1 regulation, QH301-705.5, Wnt1 Protein, Models, Biological, Diffusion, methods [Brain Mapping], Fgf8 protein, mouse, Mice, 03 medical and health sciences, embryology [Brain], genetics [Fibroblast Growth Factor 8], Animals, ddc:610, Biology (General), methods [Computational Biology], Brain Mapping, 0303 health sciences, Models, Statistical, Gene Expression Profiling, genetics [Wnt1 Protein], Brain, Computational Biology, Gene Expression Regulation, Developmental, Wnt1 protein, mouse, Mice, Inbred C57BL, metabolism [Brain], Algorithms, methods [Gene Expression Profiling], Research Article

File Description: application/pdf

Access URL: https://pubmed.ncbi.nlm.nih.gov/19936059
https://doaj.org/article/4064ba97b37e44dbb0fe54488c33b5e8
https://core.ac.uk/display/45774497
https://paperity.org/p/60894221/spatial-analysis-of-expression-patterns-predicts-genetic-interactions-at-the-mid
https://dblp.uni-trier.de/db/journals/ploscb/ploscb5.html#WittmannBTWPT09
https://doaj.org/article/4064ba97b37e44dbb0fe54488c33b5e8
https://dx.plos.org/10.1371/journal.pcbi.1000569
https://europepmc.org/articles/PMC2774268
https://pub.dzne.de/record/136030
https://push-zb.helmholtz-muenchen.de/frontdoor.php?source_opus=1438