Results 171 to 180 of about 176,338 (220)

Infrared: a declarative tree decomposition-powered framework for bioinformatics. [PDF]

open access: yesAlgorithms Mol Biol
Yao HT   +4 more
europepmc   +1 more source

BOOLEAN ALGEBRAS IN AST

Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik, 1992
AbstractIn this paper we investigate Boolean algebras and their subalgebras in Alternative Set Theory (AST). We show that any two countable atomless Boolean algebras are isomorphic and we give an example of such a Boolean algebra. One other main result is, that there is an infinite Boolean algebra freely generated by a set.
exaly   +3 more sources

Dynamic Boolean Algebras

IEEE Transactions on Computers, 1980
Switching algebra is unable to represent the dynamic behavior of digital circuits. There are several known methods for modeling the dynamics of circuits, using either multivalued algebras or specialized operators. None of them preserves the framework of switching algebra; therefore, existing analysis and synthesis methods developed by switching theory ...
Sany Leinwand, T. Lamdan
openaire   +2 more sources

Home - About - Disclaimer - Privacy