Since several decades, urban congestion causes various problems and deteriorate the quality of life of citizens who live in cities. Several methods are used to reduce urban congestion, notably traffic regulation and promotion of public transportation. Since the 1990’s, the usage of tools from artificial intelligence, particularly distributed methods and multi-agent systems, allowed to design ne...

• 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...

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...

A system for the automatic segmentation of German words into morphs was developed. The main linguistic knowledge sources used by the system are a word syntax and a morph dictionary. The syntax is written in the formalism of right linear regular grammars and comprises approximately 1,400 rules describing the set of those sequences of morph classes which underlie syntactically well formed words. ...

Computer advances in recent decades have contributed to the emergence of three dimensional (3D) urban simulation, which studies urban environments based on virtual models of physical reality. This article discusses methods of 3D urban simulation for urban planning and design in order to understand their potential, capabilities, limitations and concerns about the validity of simulation outcome. ...

The Universal Dependencies Project1 (Nivre, [9]; Nivre et al., [10]) is an ongoing effort towards creating a set of harmonised dependency treebanks that are annotated and structured according to universal guidelines. This paper reports on the addition of morphological features to the Irish Universal Dependencies Treebank (IUDT). Our feature set subscribes to the feature inventory of the UD Proj...

Urban planning exerts influences on environmental, social and economic system related with the city. Processes of land transformation and city growth determine radical changes in urban landscape morphology and as a consequence they affect air temperature and energy exchange. The urbanization can bear on local climate more intensively than the global warming does. This is due to the rapidity of ...