W. Wu,1 J. B. Zhu2 and J. Zhao1 1Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Architecture, Civil and Environmental Engineering, Laboratory of Rock Mechanics (LMR), CH-1015 Lausanne, Switzerland. E-mail: [email protected] 2 Graduate Aeronautical Laboratories and Department of Mechanical and Civil Engineering, Division of Engineering and Applied Sciences, California Institute of Techn...

As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to system engineering. The application semiotics engineering process is under study as a methodology for engineering complex and dynamic business logic in intelligent applications. It stresses the informal specification, the ...

A common and frustrating problem in software engineering is the introduction of new faults as a side-e ect of software maintenance. An understanding of all of the relationships that exist between modi ed software and the rest of a system can limit the introduction of new faults. For large systems, these relationships can be numerous and subtle. The relationships can be especially complex in obj...

Abeillé and Godard (2007) describe a variety of Spanish whose complex predicates differ structurally from the more familiar flat VP type of complex predicate common to other varieties of Spanish and Romance. I present a verb cluster analysis of this variety which both captures these structural differences, and at the same time preserves those features that are common across both construction ty...

Study of a late Late Santonian to Late Campanian hemipelagic succession from Abtalkh Formation at the Bahadorkhan section (Central Kopet-Dagh) enabled us to verify paleoecology changes based on planktonic and benthic foraminifera assemblage. Bahadorkhan section is consisted of calcareous shale, lime marl, marl, and a few dispersed chalky limestone beds. Upper and lower boundaries of Abtalkh For...

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...

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...