In this short note we present a minimal system to deal with overloaded functions with late binding, in which λ-abstractions are seen as a special case of overloaded functions with just one code. We prove some relevant properties that this system enjoys, and show its connection with the λ&-calculus. We end by showing the practical interest of this system, in particular in modeling object-oriente...

Recently, we reported the discovery of several potential rodent reservoirs of hantaviruses in western (Holochilus chacarius) and eastern Paraguay (Akodon montensis, Oligoryzomys chacoensis, and O. nigripes). Comparisons of the hantavirus S- and M-segments amplified from these four rodents revealed significant differences from each another and from other South American hantaviruses. The ALP stra...

In this data article, we present the structural and PARD data of the Ln-MOFs. Detailed structure, luminescence and sensing properties were discussed in our previous study (Zeng et al., in press) [1] The data includes the SBU structure patterns of these Ln-MOFs, thermostability of Ln-MOFs in water and also detailed structure information listed in Table 1, Table 2, Table 3, Table 4, Table 5, Tabl...

On the Barents Shelf, northernmost and least explored hydrocarbon province of Norwegian Continental Upper Jurassic organic-rich shales have traditionally been given most attention as these represent prolific source rock unit region. However, in western frontier areas is too deeply buried. By combining high-resolution 2D seismic data, well logs, digitalized Rock-Eval this study documents lateral...

The Lower Cretaceous plant assemblage of Bernissart (Mons Basin, Belgium) was studied in detail during the 1900s, but no recent revisions have been performed. taxonomy taxa recovered from this site is updated, which includes one undetermined “aquatic plant” taxon, nine fern (Cladophlebis sp., Hausmannia dichotoma, Phlebopteris dunkeri, Matoniaceae indet., Ruffordia goeppertii, Onychiopsis psilo...

To achieve the goal of realizing object adaptation to environments, a new role-based model Epsilon and a language Bunraku is proposed. The model is explained with some examples and especially the Visitor pattern is examined in detail for evaluating the model. Implementation of Bunraku is also reported.

Innovative algorithms have been developed during the past decade for simulating Newtonian physics for macromolecules. A major goal is alleviation of the severe requirement that the integration timestep be small enough to resolve the fastest components of the motion and thus guarantee numerical stability. This timestep problem is challenging if strictly faster methods with the same all-atom reso...