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
It is known that the minimum edge length convex partition MWCP of polygons with holes (an example of a PSLG) is NP-hard. Partitioning polygons with holes into the minimum number of convex polygons MNCP is also known to be NP-hard. We show that The MWCP and MNCP problem for general PSLGs where the sum of the hole vertices and re ex vertices inside the convex hull is sub-logarithmic can be solved in
I denna korta artikel reflekterar jag kring rekrytering till forskarutbildning och de faktorer som styr och influerar processen: (i) Det som ska ligga till grund för beredning och beslut enligt Högskoleförordningen och föreskrifter/beslut vid enskilda lärosäten, (ii) Målformuleringar för forskarutbildning enligt Högskolelagen, Högskoleförordningen och föreskrifter/beslut vid enskilda lärosäten, (i
[abstract missing]
Catalytic incineration is one of the methods to reduce the emissions of CO and VOCs. Low operation temperature and low catalyst cost are essential parameters for catalytic incinerators. Pt/Al2O3 catalysts are frequently used today, but the cheaper metal oxide catalysts can be very competitive if comparable overall activity is obtained. This thesis concerns how it is possible to decrease the operat
A crack model that considers general normal and shear loading is proposed. It involves elasticity, plasticity and damage and it is thermodynamically based. An essential feature of the model is its consistency with the concepts behind the fictitious crack model.
A new formulation for non-linear, elastic wave propagation, based on the pressure and density, is introduced. The formulation accounts for a non-linear relation between speed of sound and density. The pressure and density are interpolated by identical shape functions between the nodes. The equation of state is introduced in the discretized system, hence the non-linearity is enforced point-wise. Th
Deep cuts in carbon emissions to avoid dangerous climatic change will require fundamental transformations of the energy and transport systems. This is an enormous challenge for society and the political system. In order to tackle this challenge, we argue that it will be necessary to develop new institutions and institutional practices that address and give priority to long-term climate policy obje
