Filtyp
We characterize the expressive power of the modal mu-calculus on monotone neighborhood structures, in the style of the Janin-Walukiewicz theorem for the standard modal mu-calculus. For this purpose we consider a monadic second-order logic for monotone neighborhood structures. Our main result shows that the monotone modal mu-calculus corresponds exactly to the fragment of this second-order language
The present paper argues that the prolonged insurgency in southern Thailand has gone through changes since the outbreak of major violence in 2004. An analysis of the dynamics of the conflict, and its relation to economic and social factors, can improve our understanding of the drivers of conflict. A key finding is that the bulk of the violence has shifted from poor rural districts to more affluent
This article argues that flexible knowledge (and thus continuous education) has the potential to out-date employment protection versus new forms of works as the touchstone oflabour law discourse in the Knowledge Society. Hitherto labour law discourse has usually focused on labour market segmentation in terms of a core group of permanently employed workers and more peripheral groups of workers in a
The surrounding climate gives temperature variations in both time and space for concrete structures. Due to external and internal restraints thermal strains and stresses may develop in the structure and these stresses can contribute to cracking. This will affect the performance of the structure. To predict the dynamic thermal conditions in concrete structures a finite element model has been develo
This case-study of pricing capability in the European packaging industry examines the process and mechanisms whereby pricing capability affects product market value appropriation. Pricing related challenges illustrated by the five cases included in the study ranged from keeping track of and setting consistent prices for up to 5000 different products spread across almost a thousand different custom
A strategy for control of substrate feed rate in fed-batch fermentations is presented. The main idea is to make pulses in the feed rate and to evaluate the response in the dissolved oxygen signal. This gives an indirect measurement of the substrate demand that is used for feedback control of the feed rate. Experimental data is used to develop a model of a fermentation process. The model is used to
