2062 search results - page 113 / 413 » Derivatives of Logical Formulas |
166
Voted
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present an expected polynomial time algorithm to generate a labeled planar graph uniformly at random. To generate the planar graphs, we derive recurrence formulas that...
121
click to vote
BIBM
2008
IEEE
15 years 6 months ago
2008
IEEE
: The analysis of Biological Regulatory Network (BRN) leads to compute the set of the possible behaviours of the biological components. These behaviours are seen as trajectories an...
139
Voted
AMC
2005
15 years 3 months ago
2005
Financial options whose payoff depends critically on historical prices are called pathdependent options. Their prices are usually harder to calculate than options whose prices do ...
98
Voted
TVLSI
2002
15 years 3 months ago
2002
Theoretical analysis of bus-invert coding for reducing switching activity was previously investigated. In this paper we conduct a theoretical analysis of this method for coupling r...
126
Voted
SIAMDM
2008
15 years 3 months ago
2008
Inspired by MacMahon's original proof of his celebrated theorem on the distribution of the major index over permutations, we give a reformulation of his argument in terms of l...