Sökresultat

Filtyp

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

Monte Carlo simulations of optical human sinusitis diagnostics

We investigate the feasibility of using diode laser gas spectroscopy for sinusitis diagnostics. We simulate light propagation using the Monte Carlo concept, as implemented by the Advanced Systems Analysis Program (ASAPTM) software. Simulations and experimental data are compared for a model based on two scattering bodies representing human tissue, with an air gap in-between representing the sinus c

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

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