Inseguendo fagiani selvatici: Partial order reduction for guarded command languages

This paper presents a method for testing whether objects in actor languages and active object languages exhibit locally deterministic behavior. We investigate such a method for a class of guarded command programs, abstracting from object-oriented features like method calls but focusing on cooperative scheduling of dynamically spawned processes executing in parallel. The proposed method can answer questions such as whether all permutations of an execution trace are equivalent, by generating candidate traces for testing which may lead to different final states. To prune the set of candidate traces, we employ partial order reduction. To further reduce the set, we introduce an analysis technique to decide whether a generated trace is schedulable. Schedulability cannot be decided for guarded commands using standard dependence and interference relations because guard enabledness is non-monotonic. To solve this problem, we use concolic execution to produce linearized symbolic traces of the executed program, which allows a weakest precondition computation to decide on the satisfiability of guards

Can group-based reassuring information alter low back pain behavior? A cluster-randomized controlled trial?

Background Low back pain (LBP) is common in the population and multifactorial in nature, often involving negative consequences. Reassuring information to improve coping is recommended for reducing the negative consequences of LBP. Adding a simple non-threatening explanation for the pain (temporary muscular dysfunction) has been successful at altering beliefs and behavior when delivered with other intervention elements. This study investigates the isolated effect of this specific information on future occupational behavior outcomes when delivered to the workforce. Design A cluster-randomized controlled trial. Methods Publically employed workers (n=505) from 11 Danish municipality centers were randomized at center-level (cluster) to either intervention (two 1-hour group-based talks at the workplace) or control. The talks provided reassuring information together with a simple non-threatening explanation for LBP - the ‘functional-disturbance’-model. Data collections took place monthly over a 1-year period using text message tracking (SMS). Primary outcomes were self-reported days of cutting down usual activities and work participation. Secondary outcomes were self-reported back beliefs, work ability, number of healthcare visits, bothersomeness, restricted activity, use of pain medication, and sadness/depression. Results There was no between-group difference in the development of LBP during follow-up. Cumulative logistic regression analyses showed no between-group difference on days of cutting down activities, but increased odds for more days of work participation in the intervention group (OR=1.83 95% CI: 1.08-3.12). Furthermore, the intervention group was more likely to report: higher work ability, reduced visits to healthcare professionals, lower bothersomeness, lower levels of sadness/depression, and positive back beliefs. Conclusion Reassuring information involving a simple non-threatening explanation for LBP significantly increased the odds for days of work participation and higher work ability among workers who went on to experience LBP during the 12-month follow-up. Our results confirm the potential for public-health education for LBP, and add to the discussion of simple versus multidisciplinary interventions

Seksuelle overgrep mot barn og unge via digitale medier. En kunnskapsoppsummering

Rapporten presenterer en kunnskapsoppsummering om seksuelle overgrep mot barn og unge via digitale medier. Særlig vektlegger rapporten hva vi vet om de som utsettes for slike overgrep, de som utøver dette, hvordan det skjer, hvorfor det skjer og hvordan det norske samfunnet håndterer hendelsene. Rapporten viser at seksuelle overgrep via digitale medier innbefatter et bredt spekter av handlinger med ulike forståelsesrammer og ulike aktører involvert. Variasjonen har betydning for hvordan hendelsene kan forstås og bør behandles politisk

Grantørkeprosjektet. Sluttrapport

Grantørkeprosjektet har fokusert på tørkeproblemer på gran i lavlandet på Østlandet. Toppskranting og avdøing har forekommet på enkelte lokaliteter i veksterlige granbestand i hkl 3-4. Gjentatte befaringer av slike skader gjennom de siste 20-25 år har tydet på at tørke er hovedårsaken, men at det er komplekse årsaksforhold. Det har vært et hovedmål i prosjektet å stille en diagnose på disse skadene. Videre har prosjektet fokusert på klimaendringene og risikoen for at tørkeskader på gran kan øke over tid. Endelig har prosjektet også tilrettelagt for en diskusjon mellom forskning, forvaltning og praktikere om skogbehandling og alternativer til konvensjonell skogbehandling med gran for å møte klimaendringene. Toppskrantingen som ble undersøkt i dette prosjektet hadde de samme symptomer som observert i mange tidligere befaringer, dvs. misfarging og avdøing av topper og gradvis forverring av skadene nedover i krona, etterfulgt av avdøing av hele trær. Resultatene bekrefter at tørkestress om sommeren har vært utløsende faktor for skadene, og at de undersøkte skadene i dette prosjektet ble utløst av moderat tørke i somrene 2004-06. Disse somrene hadde perioder i juni og juli med høy fordampning pga høye temperaturer og vedvarende vind, og lite nedbør. Dette førte til nedbørunderskudd og moderat tørkestress. Flere påfølgende år med moderat tørkestress har ført til kavitasjon i vannledningsbanene i stammen hos en del trær. Deler av yteveden har blitt satt ut av spill som vannledningsbaner. Utviklingen av høyde- og diametervekst, samt funn av tørkeringer og traumatiske harpikskanaler i disse årene understøtter at det har vært et tørkestress.....publishedVersio