Low-energy block of apartments

Diplomová práce se zabývá vypracováním projektové dokumentace čtyřpodlažního nízkoenergetického bytového domu s plochou střechou ve stupni pro realizaci stavby. Jedná se o nepodsklepenou stavbu s hromadnou garáží v prvním nadzemním podlaží. Stavba je navržena s důrazem na celkovou energetickou úspornost, která je doložena podrobným energetickým výpočtem náročnosti budovy podle vyhlášky č.78/2013 Sb. a ČSN 73 0540-2.Diploma thesis is aimed on solution of project documentation design of a four-storey low-energy block of apartments with a flat roof in the degree of project realization. The object has a collective garage on first floor and no basement. The structure is designed with the emphasis on overall energy saving, which was documented by detailed calculation of the energy performance of the building under Decree No.78 / 2013 Coll. and ČSN 73 0540-2.

SkillSum: basic skills screening with personalised, computer-generated feedback

We report on our experiences in developing and evaluating a system that provided formative assessment of basic skills and automatically generated personalised feedback reports for 16-19 year-old users. Development of the system was informed by literacy and numeracy experts and it was trialled 'in the field' with users and basicskills tutors. We experimented with two types of assessment and with feedback that evolved from long, detailed reports with graphics to more readable, shorter ones with no graphics. We discuss the evaluation of our final solution and compare it with related systems

Heat flow and thermal processes in the Jornada delMuerto, New Mexico

Most heat flow data in rifts are uncertain largely because of hydrologic disturbances in regions of extensive fracturing. Estimates of heat flow in deep petroleum tests within a large basin of the Rio Grande rift, which has suffered little syn-rift fracturing, may begin to provide clearer insight into the relationships between high heat flow and crustal thinning processes. The Jornada del Muerto is a large basin located in the Rio Grande rift of south central New Mexico. The region of interest within the Jornada del Muerto is centered about 30 km east of the town of Truth or Consequences, and is approximately 60 km north-south by 30 km east-west. High heat flows are estimated for the region. Values increase from about 90 mWm(-2) in the northern part of the study area to about 125 mWm(-2) in the southern part. These high heat flows are rather enigmatic because in the immediate vicinities of the sites there is little evidence of Cenozoic volcanism or syn-rift extensional tectonics. It is suggested that the geothermal anomaly in the southern Jornada del Muerto (approx. 125 to approx. 95 mWm(-2) results from some type of mass movement-heat transfer mechanism operating in the crust just below the elastic layer. This conclusion is consistent with the geologic and geophysical data which describe a thin crust, apparently devoid of features indicative of extensional-tectonics in the upper part of the lastic crust

Emptiness Problems for Distributed Automata

We investigate the decidability of the emptiness problem for three classes of distributed automata. These devices operate on finite directed graphs, acting as networks of identical finite-state machines that communicate in an infinite sequence of synchronous rounds. The problem is shown to be decidable in LogSpace for a class of forgetful automata, where the nodes see the messages received from their neighbors but cannot remember their own state. When restricted to the appropriate families of graphs, these forgetful automata are equivalent to classical finite word automata, but strictly more expressive than finite tree automata. On the other hand, we also show that the emptiness problem is undecidable in general. This already holds for two heavily restricted classes of distributed automata: those that reject immediately if they receive more than one message per round, and those whose state diagram must be acyclic except for self-loops.Comment: In Proceedings GandALF 2017, arXiv:1709.01761. 13 pages, 2 figure

Stationary Points of O'Hara's Knot Energies

In this article we study the regularity of stationary points of the knot energies $E^\alpha$ introduced by O'Hara in the range $\alpha \in (2,3)$. In a first step we prove that $E^\alpha$ is $C^1$ on the set of all regular embedded closed curves belonging to $H^{(\alpha +1)/2,2}$ and calculate its derivative. After that we use the structure of the Euler-Lagrange equation to study the regularity of stationary points of $E^\alpha$ plus a positive multiple of the length. We show that stationary points of finite energy are of class $C^\infty$ - so especially all local minimizers of $E^\alpha$ among curves with fixed length are smooth.Comment: Corrected typo

A corpus analysis of discourse relations for Natural Language Generation

We are developing a Natural Language Generation (NLG) system that generates texts tailored for the reading ability of individual readers. As part of building the system, GIRL (Generator for Individual Reading Levels), we carried out an analysis of the RST Discourse Treebank Corpus to find out how human writers linguistically realise discourse relations. The goal of the analysis was (a) to create a model of the choices that need to be made when realising discourse relations, and (b) to understand how these choices were typically made for “normal” readers, for a variety of discourse relations. We present our results for discourse relations: concession, condition, elaboration additional, evaluation, example, reason and restatement. We discuss the results and how they were used in GIRL