In this paper, we reason that simulation and bisimulation are not adequate in the context of hybrid systems as they are only capable of comparing states that are reachable in a finite number of transitions. To solve this problem we extend labelled transition systems with a topology on the state space. We define topological versions of simulation and bisimulation that are also capable of compari...

NS-2 is an open-source discrete event network simulator which is widely used by both the research community as well as by the people involved in the standardization protocols of IETF. The goal of this book is twofold: on one hand to learn how to use the NS-2 simulator, and on the other hand, to become acquainted with and to understand the operation of some of the simulated objects using NS-2 si...

mal groups. They have far more species than any other phylum, yet the living species are merely the surviving branches of a much greater diversity of extinct forms. One group of crustacean arthropods, the barnacles, was studied extensively by Charles Darwin. But the origins and the evolution of arthropods in general, embedded in what is now known as the Cambrian explosion, were a source of cons...

nucleostemin (ns), a stem cell-abundant nucleolar protein, is critical for maintaining the self-renewal and proliferative properties of normal and cancerous stem cells. recent data suggests that ns signaling is important for proliferation of t-cells and leukemia cells. this study was conducted to verify the role of ns in pathogenesis and treatment of t-cell acute lymphocytic leukemia (t-all). o...

introduction: to examine the effects of opium dependence and cigarette smoking on semen quality and sperm parameters, the semen quality of men who abuse opiates and/or smoke cigarettes was investigated in a retrospective study. methods: male partners of 1325 infertile couples attending the infertility clinic for intrauterine insemination (iui) procedure were divided into non-smoking non-opium (...

The International Space Station offers a unique platform for rapid and inexpensive deployment of space telescopes. A scientific opportunity of great potential later this decade is the use of telescopes for the electromagnetic follow-up of ground-based gravitational wave detections of neutron star and black hole mergers. We describe this possibility for OpTIIX, an ISS technology demonstration of...