Context. Observations with the Hinode spectro-polarimeter have revealed strong horizontal internetwork magnetic fields in the quiet solar photosphere. Aims. We aim at interpreting the observations by means of results from numerical simulations. Methods. Radiative MHD simulations of dynamo action by near-surface convection are analyzed with respect to the relation between vertical and horizontal...

We report here the complete genome sequence of Lactococcus lactis subsp. lactis strain A12, a strain isolated from sourdough. The circular chromosome and the four plasmids reveal genes involved in carbohydrate metabolism that are potentially required for the persistence of this strain in such a complex ecosystem.

We redevelop and extend Dams’s results on overand underapproximation with higher-order Galois connections: (1) We show how Galois connections are generated from U-GLB-L-LUBclosed binary relations, and we apply them to lower and upper powerset constructions, which are weaker forms of powerdomains appropriate for abstraction studies. (2) We use the powerset types within a family of logical relati...

When parallel applications are run in large-scale distributed environments, such as grids, peer-to-peer (P2P) systems, and clouds, the set of resources used can change dynamically as machines crash, reservations end, and new resources become available. It is vital for applications to respond to these changes. Therefore, it is necessary to keep track of the available resources—a problem which is...