756 search results - page 117 / 152 » Model Order Reduction for Nonlinear IC Models |
76
Voted
DAC
2005
ACM
15 years 10 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
HYBRID
2003
Springer
15 years 2 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
BMCBI
2004
14 years 9 months ago
2004
Background: In the microarray experiment, many undesirable systematic variations are commonly observed. Normalization is the process of removing such variation that affects the me...
102
click to vote
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we present a novel simulation approach for power grid network analysis. The new approach, called ETBR for extended truncated balanced realization, is based on model...
141
click to vote
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Bayesian Networks are today used in various fields and domains due to their inherent ability to deal with uncertainty. Learning Bayesian Networks, however is an NP-Hard task [7]....