3598 search results - page 297 / 720 » New efficient algorithms for computing effective capacitance |
181
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. In engineering protein variants by constructing and screening combinatorial libraries of chimeric proteins, two complementary and competing goals are desired: the new pro...
209
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
192
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
In service-oriented systems, such as grids and clouds, users are able to outsource complex computational tasks by procuring resources on demand from remote service providers. As th...
184
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: A relevant problem in drug design is the comparison and recognition of protein binding sites. Binding sites recognition is generally based on geometry often combined w...
223
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...