Exploració per tema "Boolean algebra"
Ara es mostren els items 1-9 de 9
-
A Boolean algebra approach to the construction of snarks
(John Wiley & Sons, 1991)
Capítol de llibre
Accés obertThis work deals with the construction of snarks, that is, cubic graphs that cannot be 3-edge-colored. A natural generalization of the concept of "color", that describes in a simple way the coloring ("0" or "1") of any set ... -
Anti-alignments in conformance checking: the dark side of process models
(Springer, 2016)
Text en actes de congrés
Accés obertConformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space ... -
Between logic and probability
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1994)
Article
Accés obertLogic and Probability, as theories, have been developed quite independently and, with a few exceptions (like Boole's), have largely ignored each other. And nevertheless they share a lot of similarities, as well a considerable ... -
Decomposition and technology mapping of speed-independent circuits using Boolean relations
(Institute of Electrical and Electronics Engineers (IEEE), 1997)
Text en actes de congrés
Accés obertPresents a new technique for the decomposition and technology mapping of speed-independent circuits. An initial circuit implementation is obtained in the form of a netlist of complex gates, which may not be available in ... -
Logic as general rationality: a survey
(1996-03)
Report de recerca
Accés obertLogic and probability, which happen to share historical origins, are asked nowadays to solve new problems such as reasoning under uncertainty, or with incomplete information or imprecisely formulated statements. The ... -
On some inexact relations in probabilized Boolean algebras
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1998)
Article
Accés obertThis paper is devoted to characterize monotonicity, conditionality and transitivity of some rational relations defined in a probabilized Boolean Algebra -
Petri net analysis using boolean manipulation
(Springer, 1994)
Capítol de llibre
Accés obertThis paper presents a novel analysis approach for bounded Petri nets. The net behavior is modeled by boolean functions, thus reducing reasoning about Petri nets to boolean calculation. The state explosion problem is managed ... -
(Pure) logic out of probability
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Accés obertToday, Logic and Probability are mostly seen as independent fields with a separate history and set of foundations. Against this dominating perception, only a very few people (Laplace, Boole, Peirce) have suspected there ... -
(Pure) logic out of probability
(1996-01)
Report de recerca
Accés obertLogic and Probability are seen today as independent fields, but they share a considerable common ground, which historically underlies both disciplines and has prompted Reichenbach, Carnap or Popper to consider connection-building ...