1806 search results - page 45 / 362 » Some Functions Computable with a Fused-Mac |
128
Voted
BMCBI
2006
15 years 19 days ago
2006
Background: A transcriptional regulatory module (TRM) is a set of genes that is regulated by a common set of transcription factors (TFs). By organizing the genome into TRMs, a liv...
84
Voted
AAAI
2008
15 years 2 months ago
2008
2) a set of abstract drama manager; 3) a model of player response to drama manager actions; and 4) an author-specified evaluation function. The drama manager's task is to sele...
90
Voted
CIE
2008
Springer
15 years 2 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
111
click to vote
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
In this paper we study the possibility of proving the existence of one-way functions based on average case hardness. It is well-known that if there exists a polynomial-time sample...
104
click to vote
WSC
2001
15 years 2 months ago
2001
Various stochastic programmingproblemscan be formulated as problems of optimization of an expected value function. Quite often the corresponding expectation function cannot be com...