Results 21 to 30 of about 128,927 (292)
Analyzing capacitated networks via Boolean-based coherent pseudo-Boolean functions [PDF]
This paper introduces a novel method for analyzing capacitated networks through the utilization of the concept of a "probability-ready expression" for a Boolean-based coherent pseudo-Boolean function. Our main concern is to assess the performance indexes
Ali Muhammad Ali Rushdi +1 more
doaj
BTR: training asynchronous Boolean models using single-cell expression data [PDF]
Background Rapid technological innovation for the generation of single-cell genomics data presents new challenges and opportunities for bioinformatics analysis.
Fisher, Jasmin +6 more
core +2 more sources
A New Calculation for Boolean Derivative Using Cheng Product
The matrix expression and relationships among several definitions of Boolean derivatives are given by using the Cheng product. We introduce several definitions of Boolean derivatives.
Hao Chen, Jitao Sun
doaj +1 more source
Background Gene regulatory networks govern the function of key cellular processes, such as control of the cell cycle, response to stress, DNA repair mechanisms, and more.
Levi D. Mcclenny +2 more
doaj +1 more source
Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity [PDF]
Designing query languages for graph structured data is an active field of research, where expressiveness and efficient algorithms for query evaluation are conflicting goals.
Praveen, M., Srivathsan, B.
core +2 more sources
Gene interactions in cells can be represented by gene regulatory networks. A Boolean network models gene interactions according to rules where gene expression is represented by binary values (on / off or {1, 0}). In reality, however, the gene's state can
Melanie Grieb +7 more
doaj +1 more source
Modal µ-Calculus, Model Checking and Gauß Elimination [PDF]
In this paper we present a novel approach for solving Boolean equation systems with nested minimal and maximal fixpoints. The method works by successively eliminating variables and reducing a Boolean equation system similar to Gauß elimination for linear
Mader, Angelika
core +4 more sources
Conditional Expression Fault Classification and Repair Method of Aviation Control Software
Aviation control software has become the core control decision-making unit of the aviation system. The Boolean conditional expressions are the main parts of the branch and loop control logic of aviation control software.
doaj +1 more source
Mathematical realization of diagnosing COVID-19 using Boolean Algebra on an array of colds-related symptoms [PDF]
COVID-19 has caused countless deaths across the globe. In developing countries like the Philippines, limited access to health services like ICU beds and PCR tests contributed more to COVID-19 related deaths.
Daeuk Kim +4 more
doaj +1 more source
Random Boolean expressions [PDF]
We examine how we can define several probability distributions on the set of Boolean functions on a fixed number of variables, starting from a representation of Boolean expressions by trees. Analytic tools give us a systematic way to prove the existence of probability distributions, the main challenge being the actual computation of the distributions ...
openaire +4 more sources

