We present a spatially resolved map of intracluster gas temperatures in the rich cluster Abell 2255, using ROSAT PSPC data. The intracluster gas is strongly non-isothermal and the temperature distribution supports the conclusions of Burns et al. (1995) that Abell 2255 is currently undergoing a merger. The hottest regions are near the core, northwest of the center. A map of the ratio of softer t...

Robots have been mostly used in industrial environment, but modern developments of household robot-cleaner suggest the necessity of household robots as becoming in reality. Most industrial robots have been used for factory automation that perform simple and iterative tasks at high speed, whereas household robots need various interfaces with a man while moving in indoor environment like a househ...

In robotics, the key requirement for achieving autonomy is to provide robots with the ability to accurately map an environment and simultaneously localize themselves within that environment. This problem is referred to as Simultaneous Localization and Mapping (SLAM). In this research, a decentralized platform for SLAM with multiple robots has been developed. Single-robot SLAM is achieved throug...

Inductive relations offer a powerful and expressive way of writing program specifications while facilitating compositional reasoning. Their widespread use by proof assistant users has made them particularly attractive target for engineering tools such as QuickChick, property-based testing tool Coq which can automatically derive generators values satisfying an inductive relation. However, are ge...

This thesis presents simultaneous localization and mapping algorithm for a small mobile robot. The designed solution enables to determine a mobile robot’s and landmark positions using self-localization and camera based landmark detection. As landmarks, roundel patterns are used that are positioned statically on obstacles or borders of the used arena. One of the key features is the suppression o...

From merging a number of data sources, we created an extensive map of the transcriptional regulatory network in yeast, comprising 7419 interactions connecting 180 transcription factors (TFs) with their target genes. We integrated this network with gene-expression data, relating the expression profiles of TFs and target genes. We found that genes targeted by the same TF tend to be co-expressed, ...

Crisis situations are ripe for expansion of the neogeographer population and skill set. We qualitatively examine the design and creation of crisis map mashups to describe emergent neogeographic practices in this particular domain. We analyze the circumstances that led to their creation, data selection, and design choices vis-à-vis spatial and temporal information representation. We then discuss...