<--- Back to Details
First PageDocument Content
Binary decision diagram / Boolean algebra / Diagrams / Model checking / Algorithm / Circuit / Boolean network / Digital electronics / Design / Mathematics / Theoretical computer science / Applied mathematics
Date: 2001-10-20 03:32:06
Binary decision diagram
Boolean algebra
Diagrams
Model checking
Algorithm
Circuit
Boolean network
Digital electronics
Design
Mathematics
Theoretical computer science
Applied mathematics

An Experimental Evaluation of Algorithms for Computation of Internal Don’t-Cares in Boolean Networks Alan Mishchenko Department of Electrical and Computer Engineering Portland State University September 28, 2001

Add to Reading List

Source URL: www.bvsrc.org

Download Document from Source Website

File Size: 33,95 KB

Share Document on Facebook

Similar Documents

Int J Comput Vis:203–215 DOIs11263z Making a Shallow Network Deep: Conversion of a Boosting Classifier into a Decision Tree by Boolean Optimisation Tae-Kyun Kim · Ignas Budvytis · Robert

Int J Comput Vis:203–215 DOIs11263z Making a Shallow Network Deep: Conversion of a Boosting Classifier into a Decision Tree by Boolean Optimisation Tae-Kyun Kim · Ignas Budvytis · Robert

DocID: 1vl1x - View Document

Learning a Probabilistic Boolean Network Model from Biological Pathways and Time-series Expression Data A thesis submitted in partial fulfillment of the requirements for the degree of Bachelor of Technology

Learning a Probabilistic Boolean Network Model from Biological Pathways and Time-series Expression Data A thesis submitted in partial fulfillment of the requirements for the degree of Bachelor of Technology

DocID: 1tSXs - View Document

Harmonic Analysis of Boolean Networks: Determinative Power and Perturbations Reinhard Heckel∗, Steffen Schober† and Martin Bossert† Abstract Consider a large Boolean network with a feed forward structure. Given a p

Harmonic Analysis of Boolean Networks: Determinative Power and Perturbations Reinhard Heckel∗, Steffen Schober† and Martin Bossert† Abstract Consider a large Boolean network with a feed forward structure. Given a p

DocID: 1tGAC - View Document

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis Peter Backeman1,2 , Sara-Jane Dunn2 , Boyan Yordanov2 , and Christoph M. Wintersteiger2 1

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis Peter Backeman1,2 , Sara-Jane Dunn2 , Boyan Yordanov2 , and Christoph M. Wintersteiger2 1

DocID: 1sZtC - View Document

SURF-IFISC proposalsAutonomous Boolean Networks for Neuro-Inspired Information Processing Advisors: Miquel Cornelles Soriano and Ingo Fischer Digital systems are typically programmed to obtain a well-defined

SURF-IFISC proposalsAutonomous Boolean Networks for Neuro-Inspired Information Processing Advisors: Miquel Cornelles Soriano and Ingo Fischer Digital systems are typically programmed to obtain a well-defined

DocID: 1qRY2 - View Document