2362 search results - page 245 / 473 » Programming in Standard ML |
142
click to vote
JGO
2008
15 years 4 months ago
2008
This article complements the paper [7], where we showed that a compact feasible set of a standard semi-infinite optimization problem can be approximated arbitrarily well by a leve...
124
click to vote
SIAMSC
2008
15 years 4 months ago
2008
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors convention...
138
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: We have developed the program PERMOL for semi-automated homology modeling of proteins. It is based on restrained molecular dynamics using a simulated annealing protoco...
143
click to vote
JUCS
2007
15 years 4 months ago
2007
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...
118
click to vote
ACTAC
2002
15 years 4 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...