A recently proposed computational protocol is employed to obtain highly accurate atomization energies for the full G2/97 test set, which consists of 148 diverse molecules. This computational protocol is based on the explicitly correlated coupled-cluster method with iterative single and double excitations as well as perturbative triple excitations, using quadruple-ζ basis sets. Corrections for h...

Reference-set constraints are a special class of constraints used in Minimalist syntax. They extend the notion of well-formedness beyond the level of single trees: When presented with some phrase structure tree, they compute its set of competing output candidates and determine the optimal output(s) according to some economy metric. Doubts have frequently been raised in the literature whether su...

The k n grid graph is the product P k P n of a path of length k ?1 and a path of length n ?1. We prove here formulas found by E. O. Hare for the domination numbers of P 5 P n and P 6 P n .

Here is a crude list, possibly summarizing the role of paradoxes within the framework of mathematical logic: 1. directly motivating important theories (e.g. type theory, axiomatic set theory, combinatory

The Index to Printed Music (IPM) provides access to sets and series of music published beginning in the 19 century. Prepared by scholars and researchers, these titles vary considerably in length (single to multiple volumes), types (topical, pedagogical, historical, etc.), format (treatises, dissertations, editions, etc.), and geographic origin (chiefly Europe and North America). Bibliographical...

Taxonomic names associated with digitized biocollections labels have flooded into repositories such as GBIF, iDigBio and VertNet. The names on these labels are often misspelled, out of date, or present other problems, as they were often captured only once during accessioning of specimens, or have a history of label changes without clear provenance. Before records are reliably usable in research...

The "EURO" fracture toughness data set is probably the largest comprehensive test for a single material. Previous analysis indicate that the steel in question is very homogeneous. Only one sub-plate appears to have significantly different fracture toughness properties that the others. Until now, no more sophisticated analysis regarding the homogeneity of the material has been performed. Recentl...

We propose a flow-sensitive context-insensitive alias analysis in Java that is more efficient and precise than previous analyses in C++. For that, we propose a reference-set alias representation. Second, we present the propagation rules for the reference-set alias representation. Third, for the type determination, the type table is built with reference variables and all possible types of the re...

A packing of subsets S1, . . . ,Sn in a group G is an element (g1, . . . , gn) of Gn such that g1S1, . . . , gnSn are disjoint subsets of G. We give a formula for the number of packings if the group G is finite and if the subsets S1, . . . ,Sn satisfy a genericity condition. This formula can be seen as a generalization of the falling factorials which encode the number of packings in the case wh...