Three species of the pagurid hermit crab genus Pagurixus Melin, 1939, are reported from Europa Island in the Mozambique Strait, western Indian Ocean: P. haigae Komai & Osawa, 2007, P. annulus n. sp., and P. europa n. sp. Pagurixus haigae is recorded from the western Indian Ocean for the first time. Pagurixus annulus n. sp. and P. europa n. sp. are referred to the P. boninensis (Melin, 1939) spe...

This paper was inspired by personal practice of the Daoist hermit One Cloud’s Seven Inner Alchemy Formulas for Immortality. In the first three formulas, an energy body is developed and within it the lesser and greater elixir (dan) is cultivated, Sound is an essential tool in this process, beginning with the Six Healing Sounds which are gradually interiorized in Fusion of the Five Elements. A lo...

In this paper, we consider the control of time delay system by Proportional-Integral (PI) controller. By Using the HermiteBiehler theorem, which is applicable to quasi-polynomials, we seek a stability region of the controller for first order delay systems. The essence of this work resides in the extension of this approach to second order delay system, in the determination of its stability regio...

The diagnosis of the recently described hermit crab genus Catapaguropsis Lemaitre & McLaughlin, 2006 is emended to accommodate a second distinctive new species, Catapaguropsis brucei n. sp., which does not exhibit the sexual dimorphism described for the type species, C. queenslandica Lemaitre & McLaughlin, 2006. Catapaguropsis brucei n. sp. is characterized by the marked reduction, in both sexe...

State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyper)tableau algorithms. Despite numerous optimizations, certain ontologies encountered in practice still pose significant challenges to such reasoners, mainly because of the size of the model abstractions that they con...

In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We introduce novel and adapt known optimization techniques and show their effectiveness on the basis of a prototype reasoner implementing the optimization techniques for the algebraic approach. Our first set of benchmark...