Concurrently accessing shared data without locking is usually a subject to race conditions resulting in inconsistent or corrupted data. However, there are programs operating correctly without locking by exploiting the atomicity of certain operations on a specific hardware. In this paper, we describe how to precisely analyze lockless microcontroller C programs with interrupts by taking the hardw...

Strategic thinking, best-response, and mutual consistency (equilibrium) are three key modelling principles in noncooperative game theory. This paper relaxes mutual consistency to predict how players are likely to behave in in one-shot games before they can learn to equilibrate. We introduce a one-parameter cognitive hierarchy (CH) model to predict behavior in one-shot games, and initial conditi...

one of the key factors in managing a rangeland is to determine the relative preference of its major plant species by thegrazing livestock. preference value of each plant species is affected by plant type, companion plants, availability byanimals, phenological stage, climate condition, and the livestock species. we investigated the grazing behaviour of anative goat (garizi) in the steppe rangela...

Strategic thinking, best-response, and mutual consistency (equilibrium) are three key modeling principles in noncooperative game theory. This paper relaxes mutual consistency to predict how players are likely to behave in one-shot games before they can learn to equilibrate. We introduce a one-parameter cognitive hierarchy (CH) model to predict behavior in one-shot games, and initial conditions ...

Innerhalb der vergangenen Jahre sind im Umfeld von Social Software zwei unabhängige Entwicklungen zu beobachten, auf die sich die folgende Darstellung stützt: Erstens erfreuen sich internetbasierte Social Networking Services (SNS), wie beispielsweise Facebook oder XING, steigenden Zuspruchs und ziehen vermehrt das Interesse vieler Unternehmen auf sich. Vor allem große Organisationen überlegen, ...

For complicated structural components with wide x-ray attenuation ranges, conventional fixed-energy computed tomography (CT) imaging cannot obtain all the structural information. This limitation results in a shortage of CT information because the effective thickness of the components along the direction of x-ray penetration exceeds the limit of the dynamic range of the x-ray imaging system. To ...