Over the last 50 years, the world has faced dramatic growth of its urban population. In 2007 the amount of urban residents has outnumbered the rural population for the first time in history and by the year 2030 already two-thirds of the world’s population is expected to live in cities [1]. The number of so-called mega cities –cities with more than 10 million inhabitants– increased in the period...

This paper reports on the integration of the higher-order theorem proving environment Tps [Andrews et al., 1996] into the mathematical assistant mega [Benzm uller et al., 1997]. Tps can be called from mega either as a black box or as an interactive system. In black box mode, the user has control over the parameters which control proof search inTps; in interactive mode, all features of theTps-s...

A "mega-journal" is a new type of scientific journal that publishes freely accessible articles, which have been peer reviewed for scientific trustworthiness, but leaves it to the readers to decide which articles are of interest and importance to them. In the wake of the phenomenal success of PLOS ONE, several other publishers have recently started mega-journals. This article presents the evolut...

0378-1127/$ see front matter 2012 Elsevier B.V. A http://dx.doi.org/10.1016/j.foreco.2012.06.030 ⇑ Tel.: +1 406 544 2709. E-mail address: [email protected] In the modern era, high-impact mega-fires are unprecedented for the suppression costs, property losses, natural resource damages, and loss of life often involved. For a number of years, these extraordinary wildfires have been increasing i...

Recent studies on collaborative practices in large infrastructural projects address the importance of discursive strategies and power relations in dynamic project arenas [1]-[3]. This paper focuses on the coping narratives developed by contract team members during the building phase of a large-scale infrastructural project. Coping narratives relate to the management based grand narrative of the...

BACKGROUND Methods for error analysis are suitable to increase patients' safety as well as staff satisfaction and may avoid, in a sense of process control, financial damage to the hospital. The aim of the presented pilot study was to establish and evaluate an incident reporting system as a first step towards a new safety culture. METHODS In June 2003 an incident reporting system was introduce...

are gratefully acknowledged, as well as the financial support of the European Union Human Capital and Mobility Program, Contract Nr. ERB4050PL930320. For the development of international scientific collaboration see among others Luukkonen et al. (1992).