• The role played by the state as a land market regulator in urban areas with natural vulnerability to flooding; as a producer of urban land and housing; and as a builder of defenses against flooding. • Impacts on the land market of flooding and built defenses as well as access to urban land for different population sectors; land value increases and decreases in urban areas according to floodin...

First of all, I would like to thank my supervisor, Petř Stěpánek, for showing me the fascinating world of mathematical logic and for his advice and many helpful comments on earlier drafts of this Thesis. Furthermore, I would like to thank Petr Horsk´y for numerous discussions on software verification and on this Thesis. Last but not least, I would like to thank Josef Urban for his advice he gav...

A character is regarded as an essential element for storytelling, revealing the concept of a content piece. The character is freely created through an author's imagination, but methodology is required to make it a concrete figure. Thus, this paper will explore the elements that make characterisation possible and find ways to represent characters. It will further investigate whether the methodol...

This paper analyzes urban growth boundary delimitation in the urban master plan in Shaanxi Province and chooses Baoji, Weinan and Ankang as the research object. The three cities have delimited urban growth boundaries. This paper compares interrelationships between urban spatial structure, urban size, delimitation of the four areas, boundaries of planning area, natural boundaries, artificial bou...

PanLex is a lemmatic translation resource which combines a large number of translation dictionaries and other translingual lexical resources. It currently covers 1353 language varieties and 12M expressions, but aims to cover all languages and up to 350M expressions. This paper describes the resource and current applications of it, as well as lextract, a new effort to expand the coverage of PanL...

The paper discusses recent developments in BulTreeBank (BTB). First of all, these developments include the preparatory steps for transferring richer linguistic knowledge from the original BTB into BTB-UD in order to for the enhanced dependencies to be added in the next release in May 2018. The new line of research also handles the extension of the BTB valency lexicon with subatom-based embeddin...

it is now more than four decades from providing and execution of iran’s first comprehensive urban plan. evaluation of this plan shows that the process of execution has not been successful. considering the literature review, field study as well as comparing the plan’s documents, it is thought that lack of coordination between the urban planning organizations, the manner of providing and executio...

Two gridded data sets that included (1) daily mean temperatures from 2006 through 2011 and (2) satellite-derived impervious surface area, were combined for a spatial analysis of the urban heat-island effect within the Dallas-Ft. Worth Texas region. The primary advantage of using these combined datasets included the capability to designate each 1 1 km grid cell of available temperature data as u...

Over the past several years, as cities in the United States have faced increasing fiscal pressures, there has been a reinvigorated interest in the promise of smart cities, intelligent cities, digital cities, open source cities and media cities, which advocate the use of digital technologies to make cities more efficient, productive, innovative and attractive. However, the appropriation and use ...

Predicting where humans look in images has gained significant popularity in recent years. In this work, we present a novel method for learning top-down visual saliency, which is well-suited to locate objects of interest in complex scenes. During training, we jointly learn a superpixel based class-specific dictionary and a Conditional Random Field (CRF). While using such a discriminative diction...