This paper presents a new approach to recognize individual façade objects and to reconstruct such objects in 3D using MLS point clouds. Core of the approach is a primitive shape based algorithm, which introduces building primitives, to identify the façade objects separately from other irrelevant objects and then to model the correct topology. The primitive shape is identified against defined di...

We show new results about the garden-hose model. Our main results include improved lower bounds based on non-deterministic communication complexity (leading to the previously unknown Θ(n) bounds for Inner Product mod 2 and Disjointness), as well as an O(n · log n) upper bound for the Distributed Majority function (previously conjectured to have quadratic complexity). We show an efficient simula...

Initially, the devastating Mw 7.0, 12 January 2010 Haiti earthquake seemed to involve straightforward accommodation of oblique relative motion between the Caribbean and North American plates along the Enriquillo–Plantain Garden fault zone. Here, we combine seismological observations, geologic field data and space geodetic measurements to show that, instead, the rupture process involved slip on ...

In this research, an analytical method for quantification of the thermal energy performance improvement for a building integrated photovoltaic double-skin façade has provided. The system has been suggested as a retrofit measure for an existing building in Tehran. The effect of thermal performance has been analyzed through computer-assisted developed code using engineering equation solver softwa...

Vegetation moderates a microclimate by casting shadows, increasing light reflection, evaporation and perspiration; and correcting wind patterns. The present study aims to investigate the microclimatic role of vegetated surfaces and bodies in improving thermal comfort in outdoor spaces between buildings. The main research question is which of the green system modes, that is, horizontal vegetatio...

This appendix describes the system model that is adopted for the experimental evaluation of our state-driven testing approach. Moreover, it contains the glossary of the terms used in the paper. 1 System model The system model adopted for state-driven testing is showed in Figure 1. Transitions in the Petri Net represent events that can occur during an execution. These events are logged by the Wo...

Attine ants engage in a quadripartite symbiosis with fungi they cultivate for food, specialized garden parasites, and parasite-inhibiting bacteria. Molecular phylogenetic evidence supports an ancient host-pathogen association between the ant-cultivar mutualism and the garden parasite. Here we show that ants rear the antibiotic-producing bacteria in elaborate cuticular crypts, supported by uniqu...