Results 11 to 20 of about 5,251,527 (295)
Inference of a probabilistic Boolean network from a single observed temporal sequence [PDF]
, 2007 The inference of gene regulatory networks is a key issue for genomic signal processing. This paper addresses the inference of probabilistic Boolean networks (PBNs) from observed temporal sequences of network states.
Xiao, Y. +3 more
core +4 more sources
Electroforming-Free, Self-Rectifying Selector-Only Memory With Diffusive Cu-Ion Dynamics for Logic-In-Memory Computing. [PDF]
Adv Sci (Weinh)Electroforming‐free, self‐rectifying switching with polarity‐dependent threshold modulation is realized in selector‐only memory through Cu‐ion migration in a bilayer stacked dual functional materials. Ultrafast rupturing of Cu filament enables drift‐free operation with high stability.
Kim JK +7 more
europepmc +2 more sources
Inferring context-sensitive probablistic boolean networks from gene expression data under multi-biological conditions [PDF]
, 2007 In recent years biological microarrays have emerged as a high-throughput data acquisition technology in bioinformatics. In conjunction with this, there is an increasing need to develop frameworks for the formal analysis of biological pathways. A modeling
Marshall, Stephen, Yu, Le
core +4 more sources
Quantum algorithms for testing and learning Boolean functions [PDF]
, 2013 We discuss quantum algorithms based on the Bernstein-Vazirani algorithm for finding which input variables a Boolean function depends on. There are 2(n) possible linear Boolean functions of n input variables; given a linear Boolean function, the Bernstein-
Floess, Dominik +2 more
core +1 more source
Approximate Quantifier Elimination for Propositional Boolean Formulae [PDF]
, 2011 This paper describes an approximate quantifier elimination procedure for propositional Boolean formulae. The method is based on computing prime implicants using SAT and successively refining over-approximations of a given formula.
Lijun Zhang +9 more
core +1 more source
Evolving sensitivity balances Boolean networks [PDF]
, 2012 We investigate the sensitivity of Boolean Networks (BNs) to mutations. We are interested in Boolean Networks as a model of Gene Regulatory Networks (GRNs). We adopt Ribeiro and Kauffman’s Ergodic Set and use it to study the long term dynamics of a BN. We
Turner, Matthew S. +9 more
core +2 more sources
Atomic Formulation of the Boolean Curve Fitting Problem [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2022 Boolean curve fitting is the process of finding a Boolean function that takes given values at certain points in its Boolean domain. The problem boils down to solving a set of ‘big’ Boolean equations that may or may not be consistent.
Ahmed S. Balamesh, Ali M. Rushdi
doaj +1 more source
An Algorithm for Minimization of Boolean Functions in the Class of Toffoli Reversible Logic Circuits [PDF]
Известия Иркутского государственного университета: Серия "Математика", 2018 In this paper, the problem of Boolean function's representation by the reversible circuits constructed of the Toffoli gates is considered. Interest in this problem is connected with actual studies of the possibility for realization of "cold" computations.
A.S. Frantseva
doaj +1 more source
IEEE Transactions on Information Theory, 2005 We present an extensive study of symmetric Boolean functions, especially of their cryptographic properties. Our main result establishes the link between the periodicity of the simplified value vector of a symmetric Boolean function and its degree.
Canteaut, Anne, Videau, Marion
openaire +4 more sources
Hybrid tabu search algorithm for excellent Boolean function
Tongxin xuebao, 2022 Boolean function in symmetric cryptographic algorithm must satisfy excellent cryptographic criteria to ensure the security of the algorithm.By combining the advantages of tabu search algorithm and hill climbing algorithm, a new heuristic generation ...
Weiqiong WANG +3 more
doaj +2 more sources