Sökresultat

Filtyp

Din sökning på "*" gav 531332 sökträffar

Expressiveness of the modal mu-calculus on monotone neighborhood structures

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

Fixed parameter algorithms and other results for convex patitions

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

Bäst förmåga eller starkast drivkraft? - Reflektioner kring rekrytering till forskarutbildning

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

Semiconductor nanowires as a novel electronic materials technology for future electronic devices

Abstract in UndeterminedExtreme down-scaling of nanoelectronic devices by top-down fabrication methods may be hindered by several obstacles, such as the cost for patterning and processing, or inferior device performance due to process-induced damage. In this presentation I will present a bottom-up approach for nanometer-scale device fabrication, based on seeded growth of semiconductor nanowires, u

The Dynamics of conflict in Southern Thailand : An analysis of Spatial and Socio- Economic Factors

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

Henric Schartau

Ingen enskild person har utövat ett så djupgående inflytande som Henric Schartau (1757–1825) på kyrkolivet i södra och västra Sverige under 1800- och 1900-talen. Han gav själv inte ut sina skrifter, men av ingen annan svensk teologisk författare torde så mycket ha publicerats. Hans teologiska och kyrkliga ståndpunkt präglades av en ibland ensidig koncentration på det enda nödvändiga. Han gav namn