Sciweavers

2572 search results - page 277 / 515
» codes 2008
Sort
View
JCC
2008
125views more  JCC 2008»
15 years 4 months ago
Efficient electronic integrals and their generalized derivatives for object oriented implementations of electronic structure cal
: For the new parallel implementation of electronic structure methods in ACES III (Lotrich et al., in preparation) the present state-of-the-art algorithms for the evaluation of ele...
Norbert Flocke, Victor Lotrich
JCSS
2008
87views more  JCSS 2008»
15 years 4 months ago
Finding large 3-free sets I: The small n case
There has been much work on the following question: given n, how large can a subset of {1, . . . , n} be that has no arithmetic progressions of length 3. We call such sets 3-free....
William I. Gasarch, James Glenn, Clyde P. Kruskal
JLP
2008
134views more  JLP 2008»
15 years 4 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
JLP
2008
129views more  JLP 2008»
15 years 4 months ago
Program and proof optimizations with type systems
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
Ando Saabas, Tarmo Uustalu
NAR
2008
85views more  NAR 2008»
15 years 4 months ago
Panzea: an update on new content and features
Panzea (http://www.panzea.org), the public web site of the project `Molecular and Functional Diversity in the Maize Genome', has expanded over the past two years in data cont...
Payan Canaran, Edward S. Buckler, Jeffrey Glaubitz...