Search Results - system of partial boolean functions

Disjunctive and conjunctive decompositions of incompletely defined Boolean functions in a Binary Decision Diagram

Authors: P. N. Bibilo

Source: Informatika, Vol 22, Iss 1, Pp 40-65 (2025)

Subject Terms: system of partial boolean functions, sat-problem, Electronic computers. Computer science, shannon expansion, additional definition of a partial boolean function, algebraic decompositions of boolean functions, QA75.5-76.95, binary decision diagram

Access URL: https://doaj.org/article/e52c64280fdc4e8b8f4113d6dc344c00

A heuristic method for multi-block parallel decomposition of a system of partial Boolean functions

Authors: Yu. V. Pottosin

Source: Informatika, Vol 15, Iss 4, Pp 109-116 (2018)

Subject Terms: system of boolean functions, boolean function decomposition, interval representation of boolean functions, cover problem, complete bipartite subgraph, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://inf.grid.by/jour/article/view/472; https://doaj.org/toc/1816-0301

Access URL: https://doaj.org/article/8a2644560bf04537b123010877549be3

Implementation of a system of incompletely specified Boolean functions in a circuit of two-input gates by means of bi-decomposition

Authors: Yu. V. Pottosin

Source: Teoriâ i sistemy upravleniâ. :65-76

Subject Terms: 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Parallel decomposition of a system of partial boolean functions

Authors: Yury Vasilievich Pottosin

Source: Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika. :83-91

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://journals.tsu.ru/uploads/import/1773/files/1998-8605_i45_p083.pdf

A METHOD FOR MULTI-BLOCK PARALLEL DECOMPOSITION OF A SYSTEM OF PARTIAL BOOLEAN FUNCTIONS

Authors: Yu. V. Pottosin

Source: Informatika, Vol 0, Iss 3(55), Pp 92-98 (2017)

Subject Terms: Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://inf.grid.by/jour/article/view/233; https://doaj.org/toc/1816-0301

Access URL: https://doaj.org/article/e492ea5979a34deeac99838aebc6797a

CIRCUIT IMPLEMENTATION OF VHDL-DESCRIPTIONS OF SYSTEMS OF PARTIAL BOOLEAN FUNCTIONS

Authors: P. N. Bibilo

Source: Informatika, Vol 0, Iss 3, Pp 49-58 (2016)

Subject Terms: Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://inf.grid.by/jour/article/view/64; https://doaj.org/toc/1816-0301

Access URL: https://doaj.org/article/ad7b5e048fd4485ab5c22b70868c9fae

Implementation of a System of Incompletely Specified Boolean Functions in a Circuit of Two-Input Gates by Means of Bi-Decomposition.

Authors: Pottosin, Yu. V.

Source: Journal of Computer & Systems Sciences International; Apr2024, Vol. 63 Issue 2, p298-309, 12p

Application of decision diagrams of incompletely specified of k-valued logic functions in the synthesis of logical circuits

Authors: P. N. Bibilo

Source: Informatika, Vol 20, Iss 2, Pp 39-64 (2023)

Subject Terms: partial functions, k-valued logic, multi-valued decision diagram (mdd), boolean functions, binary decision diagram (bdd), shannon expansion, digital logic synthesis, vhdl, vlsi, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://inf.grid.by/jour/article/view/1240; https://doaj.org/toc/1816-0301

Access URL: https://doaj.org/article/c167c0a7b5484e638db9a30e6bf0f6c2

To the problem of expressibility in the algebra of partial Boolean functions.

Authors: V. V. Tarasov

Source: Problems of Information Transmission; Jan2005, Vol. 41 Issue 1, p59-64, 6p

Subject Terms: BOOLEAN algebra, MATHEMATICAL functions, SET theory, MATHEMATICS

Fundamental boolean network modelling for genetic regulatory pathways : A thesis submitted in partial fulfilment of the requirements for the Degree of Doctor of Philosophy at Lincoln University

Contributors: Chen, Leshi

Availability: http://api.digitalnz.org/records/52621165/source

Degree: Doctoral

Supervised and unsupervised mapping of binary variables: a proximity perspective.

Authors: de Rooij, Mark Woestenburg, Dion Busing, Frank

Source: Behaviormetrika; Jul2025, Vol. 52 Issue 2, p461-503, 43p

Subject Terms: SUPERVISED learning, MULTIVARIATE analysis, MONTE Carlo method, BOOLEAN functions, MAPS, PARAMETER estimation, QUANTITATIVE research

Representations of Monotone Boolean Functions by Linear Programs

Authors: Mateus de Oliveira Oliveira and Pavel Pudlák de Oliveira Oliveira, Mateus Pudlák, Pavel

Index Terms: Monotone Linear Programming Circuits, Lovász-Schrijver Proof System, Cutting-Planes Proof System, Feasible Interpolation, Lower Bounds, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2017.3
Is Part Of LIPIcs, Volume 79, 32nd Computational Complexity Conference (CCC 2017)

Stochastic and complex dynamics in mesoscopic brain networks

Authors: Malagarriga i Guasch, Daniel

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Física

Thesis Advisors: Pons Rivero, Antonio Javier, Villa, Alessandro E.P., García Ojalvo, Jordi

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Àrees temàtiques de la UPC::Física

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/404298
https://dx.doi.org/10.5821/dissertation-2117-106273

Policy Iteration Approach to the Infinite Horizon Average Optimal Control of Probabilistic Boolean Networks.

Authors: Wu, Yuhu Guo, Yuqian Toyoda, Mitsuru

Source: IEEE Transactions on Neural Networks & Learning Systems; Jul2021, Vol. 32 Issue 7, p2910-2924, 15p

Subject Terms: LAURENT series, BOOLEAN functions, STATE feedback (Feedback control systems), ALGORITHMS, DECOMPOSITION method, STATE laws

Desarrollo y aceleración hardware de metodologías de descripción y comparación de compuestos orgánicos

Authors: Oliver Gelabert, Antoni

Contributors: University/Department: Universitat de les Illes Balears. Departament de Física

Thesis Advisors: Rosselló Sanz, José Luís, Prohens López, Rafel

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Field Programable Gate Array (FPGA), Stochastic Computing, Random Number Generator (RNG), Linear Feedback Shift Register (LFSR), Boolean Chaos, Drug Discovery, Partial Atomic Charges, Merk Molecular Force Field (MMFF), Virtual Screening (VS), Supervised Machine Learning, Parzen Windows, Bayes Theorem, Receiving Operating Characteristic (ROC), Molecular Electrostatic Potential (MEP), Surface Site Interaction Points (SSIP), Density Functional Theory (DFT), Enginyeria Electrònica

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/462902

Learning to evaluate conditional partial plans

Authors: Nowaczyk, Sławomir Malec, Jacek

Source: ICMLA 2007. :235-240

Subject Terms: Agents, Artificial intelligence, Boolean functions, Computer programming, Education, Fuzzy logic, Learning systems, Logic programming, Quality control, Robot learning

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-21029

State Estimation for Probabilistic Boolean Networks via Outputs Observation.

Authors: Zhong, Jie Yu, Zongxi Li, Yuanyuan et al.

Source: IEEE Transactions on Neural Networks & Learning Systems; Sep2022, Vol. 33 Issue 9, p4699-4711, 13p

Subject Terms: BOOLEAN functions, MARKOV processes, QUANTITATIVE research, PROBABILITY theory, ROBOTS

Higher order maximum persistency and comparison theorems.

Authors: Shekhovtsov, Alexander¹ shekhovtsov@icg.tugraz.at

Source: Computer Vision & Image Understanding. Feb2016, Vol. 143, p54-79. 26p.

Subject Terms: Mathematics theorems, Combinatorics, Discrete systems, Mathematical variables, Boolean functions, Problem solving

Comparative accuracy evaluation of patient-specific 3D-printed guide and neuronavigation for ventriculoperitoneal shunt in dogs: a dual-phase ex vivo and in vivo study.

Authors: Jeon, YoungJin Cho, Cheongwoon Jeong, Jaemin et al.

Source: Frontiers in Veterinary Science. 2025, p1-14. 14p.

Implementation of supervisory control using extended finite-state machines.

Authors: Yang, Y. Mannani, A. Gohari, P.

Source: International Journal of Systems Science. Dec2008, Vol. 39 Issue 12, p1115-1125. 11p. 7 Diagrams, 1 Chart.

Subject Terms: *SUPERVISORY control systems, *BUSINESS communication, *MACHINE theory, BOOLEAN algebra, MATHEMATICAL functions