3690 search results - page 272 / 738 » Computation with classical sequents |
128
click to vote
ESA
2010
Springer
15 years 6 months ago
2010
Springer
We study a wide generalization of two classical problems, the Huffman Tree and Alphabetic Tree Problem. We assume that the cost caused by the ith leaf is fi(di), where di is its d...
138
click to vote
BIOSYSTEMS
2007
15 years 5 months ago
2007
This paper proposes and evaluates a multi-objective evolutionary algorithm for survival analysis. One aim of survival analysis is the extraction of models from data that approxima...
142
click to vote
ENTCS
2008
15 years 5 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
141
click to vote
FGCS
2006
15 years 5 months ago
2006
Some of the most challenging applications to parallelize scalably are the ones that present a relatively small amount of computation per iteration. Multiple interacting performanc...
138
click to vote
JCC
2008
15 years 5 months ago
2008
Abstract: Version 9 of the Amber simulation programs includes a new semi-empirical hybrid QM/MM functionality. This includes support for implicit solvent (generalized Born) and for...