Two standard physics problems are solved in terms of the Lambert function, in order to show the applicability of this recently defined function to physics. Other applications of the function are cited, but not described. The problems solved concern Wien’s displacement law and the fringing fields of a capacitor, the latter problem being representative of some problems solved using conformal tran...

Achieving quantum dot self-assembly at precise pre-defined locations is of vital interest. In this work, a novel physical method for producing germanium quantum dots on silicon using nanoindentation to pre-define nucleation sites is described. Self-assembly of ordered ~10 nm height germanium quantum dot arrays on silicon substrates is achieved. Due to the inherent simplicity and elegance of the...

Classical approaches to parameterization in axiomatic speci cation languages require the user to explicitly handle speci cation instantiation. This often makes speci cations less readable and manageable. We therefore present a new parameterization mechanism which allows implicit instantiation. However, since this mechanism is less powerful as the rst one we show how to combine them to achieve b...

This paper describes an embedding of higher-order modal logics in the Coq proof assistant. Coq’s capabilities are used to implement modal logics in a minimalistic manner, which is nevertheless su cient for the formalization of significant, non-trivial modal logic proofs. The elegance, flexibility and convenience of this approach, from a user perspective, are illustrated here with the successful...

The standard idea of code aesthetics, when such an idea manifests itself at all, allows for programmers to have elegance and clarity as their standards. This paper explores programming practices in which other values are at work, showing that the aesthetics of code must be enlarged to accommodate them. The two practices considered are obfuscated programming and the creation of “weird languages”...

We provide an information-theoretic analysis of Thompson sampling that applies across a broad range of online optimization problems in which a decision-maker must learn from partial feedback. This analysis inherits the simplicity and elegance of information theory and leads to regret bounds that scale with the entropy of the optimal-action distribution. This strengthens preexisting results and ...

The t -distribution allows the incorporation of outlier robustness into statistical models while retaining the elegance of likelihood-based inference. In this paper we develop and implement a linear mixed model for the general design of the linear mixed model using the univariate t -distribution. This general design allows a considerably richer class of models to be fit than is possible with ex...

The private labors of the retired scholar, however, were not interrujjted during this gloomy period, although he was left destitute of all public encouragement. The Berlin Academy of Science, founded by Leibnitz, led the way to great discoveries in the mathematical and natural sciences. Literary societies and associations were everywhere formed, and the Germans began to m-.ike the purity and el...

Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbourne, Victoria 3010, Australia {gkgange,jorge.navas,schachte,harald,pstuckey}@unimelb.edu.au Abstract. The classical theoretical framework for static analysis of programs is abstract interp...