| 1. |
- Åsenlöf, Pernilla, et al.
(författare)
-
Step-Up : An Innovative Stepped-Care Protocol for Tailored Behavioral Medicine Treatment in the Management of Musculoskeletal Pain in Primary Care
- 2013
-
Ingår i: Annals of the Rheumatic Diseases. - London : BMJ Books. - 0003-4967 .- 1468-2060. ; 72:Suppl. 3, s. A120-A120
-
Tidskriftsartikel (refereegranskat)abstract
- Background: Multimodal rehabilitation and tailored behavioral medicine treatments should be provided to patients suffering from persistent and activity limiting pain according to current state-of-science. There is also evidence that a minimal intervention including 'stay-active advice' can produce effects comparable to effects of comprehensive treatment packages. Nevertheless, there is a gap of knowledge regarding which individuals who benefit the most from which modalities of pain treatment, at what time point, and with the highest cost-effectiveness. Accordingly, we have set up an innovative stepped-care protocol for the management of musculoskeletal pain in primary care, which is evaluated in a randomized controlled trial.Objectives: The aim is to compare effects and cost-effectiveness of a stepped care model including advice and tailored behavioral medicine pain treatment (experimental condition) with a stepped care model including advice and physical exercises (comparison condition) for patients with low back and neck pain and/or widespread pain including fibromyalgia in primary care. A further aim is to characterize patients who benefit/do not benefit from the respective steps i.e. treatments varying in dose and content.Methods: A stratified randomized stepped care design is applied. Stratification is based on primary care center and psychological risk profile. A consecutive selection is performed at primary care centers in southern, central and northern Sweden. After having received a minimal intervention (step 1) comprising 'stay-active advice', participants scoring high on the Örebro Musculoskeletal Pain Questionnaire (ÖMPQ) according to preset criteria are randomly allocated to an eight-week treatment in step 2. The experimental condition includes supervised physical exercises integrated with either (a) graded activity, or (b) hierarchical graded exposure depending on psychological risk profile. The comparison condition includes supervised physical exercises irrespective of risk profile. Primary outcome is pain-related disability complemented with a comprehensive set of secondary outcomes adhering to the IMMPACT recommendations.Results: The stepped-care design will be presented including illustrations of conclusions possible to draw with this kind of innovative design.Conclusions: There is a call for stepped-care interventions within pain intervention research, particularly in the primary care setting. However, published studies are still lacking. This study will contribute to an important progression of behavioral medicine pain treatments by the way treatments are tailored in accordance with psychological risk profile. This will be discussed to stimulate research activities and collaboration within this area of research and clinical implementation.
|
|
| 2. |
- Kanter, Theo, et al.
(författare)
-
Ubiquitous Mobile Awareness from Sensor Networks
- 2010
-
Ingår i: Enabling context-aware web services. - Boca Raton : CRC Press. - 9781439809860 - 9781439809853 ; , s. 449-468
-
Bokkapitel (refereegranskat)abstract
- Users require applications and services to be available everywhere, enabling users to focus on what is important to them. Therefore, context information from users (e.g., spatial data, preferences, available connectivity and devices, etc.) needs to be accessible to systems that deliver services via a heterogeneous infrastructure. We present a novel approach to support ubiquitous sensing and availability of context to services and applications. This approach offers a scalable, distributed storage of context derived from sensor networks wirelessly attached to mobile phones and other devices. The support handles frequent updates of sensor information and is interoperable with presence services in 3G mobile systems, thus enabling ubiquitous sensing applications. We demonstrate these concepts and the principle operation in a sample ubiquitous mobile awareness service. The importance of this contribution, in comparison to earlier work, lies in the availability of real-time ubiquitous sensing to both applications on the Internet as well as applications in mobile systems.
|
|
| 3. |
- Ahsan, Muhammad, et al.
(författare)
-
Genetic analysis and replication of QTL effects on chicken body weight using a multi-locus introgression line
- 2013
-
Ingår i: Journal of Data Mining in Genomics and Proteomics. - 2153-0602. ; 4, s. 83-83
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Quantitative Trait Loci (QTL) mapping is a useful initial step to dissect the geneticarchitecture of complex biological traits. Intercrosses between divergently selected lines ofanimals is a powerful approach to map loci that affect such traits individually or throughinteractions. The drawback with the approach is a low mapping resolution and consequentlyfurther fine mapping is needed for detailed studies of the mapped loci. We have earliermapped a network of four interacting loci that through reciprocal epistatic capacitationexplains nearly half of the difference in body weight between the Virginia High WeightSelected (HWS) and Low Weight Selected (LWS) chicken lines that after 50 generationsdisplay a 12-fold difference in weight at 56 days of age. The network has been replicated andfine-mapped in an eight-generation Advance Intercross Line (AIL) and its large effect onweight confirmed. A three-locus introgression line has been bred, where the LWS haplotypesat the three loci in the network with the strongest effects on weight have been simultaneouslyintrogressed into the HWS background. Here we describe the first results from a haplotypebasedassociation analysis in this multi-locus introgression line that again replicate the effectsof the introgressed loci on body-weight in the Virginia chicken lines, but also indicate anallelic heterogeneity at the loci within the founder-lines. Further analyses are in progress toevaluate the epistatic effects of the loci in this population as well as the functionalcontribution of the allelic heterogeneity.
|
|
| 4. |
|
|
| 5. |
- Andrén, Eva, et al.
(författare)
-
Öppna prioriteringar inom nya områden : logopedi, nutritionsbedömning, habilitering och arbetsterapi
- 2011
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Det finns fortfarande ett behov av att öka kunskapen om och stödja den praktiska tillämpningen av riksdagens riktlinjer för öppna prioriteringar inom svensk hälso- och sjukvård. Flera förslag på hur ett sådant stöd kan se ut har tagits fram de senaste åren. Spridning av goda exempel är ett sådant förslag, metodstöd ett annat (PrioriteringsCentrum 2007). En mer påtaglig form av metodstöd är den nationella modell som vuxit fram för att konkretisera innebörden i riktlinjerna (Carlsson m fl 2007). Den får idag anses som välbeprövad inom ett flertal områden och har bidragit till att samsynen och kommunicerbarheten kring prioriteringar har ökat i landet. Erfarenheter visar dock att det behövs pedagogisk vägledning i hur modellen kan tillämpas. För att möta upp efterfrågan på sådant metodstöd erbjuder Prioriteringscentrum handledning i grupp. Den första handledningsgruppen är nu avslutad och det är deltagarnas prioriteringsarbeten som presenteras i denna rapport i syfte att sprida konkreta exempel på försök att tillämpa prioriteringsriktlinjerna.I rapporten presenteras fyra prioriteringsarbeten med fokus på: Regionsamverkan inom arbetsterapi Logopedi Yrkesspecifika prioriteringar på väg till teamet Från projekt till integrerat redskapExemplet med prioriteringar i regionsamverkan utgörs av det prioriteringsarbete som genomförts i det s k femklövernätverket bestående av en samverkansgrupp för arbetsterapeuter i ledningsposition på sjukhusen i Uppland, Västmanland, Södermanland, Gävleborg och Dalarna. Arbetet var ett försök att skapa gemensamma prioriteringar i regionen för ett sjukdomsområde som kändes relevant. Valet kom att falla på arbetsterapi inom reumatologi. Arbetet har sedan huvudsakligen bedrivits i en projektgrupp, bestående av en representant från varje sjukhus där arbetet växlat mellan arbete på hemmaplan och avstämningsträffar i projektgruppen.Försöket har visat att det finns en samsyn inom regionen kring prioriteringar inom arbetsterapi och reumatologi. Säkerheten i prioriteringarna har ökat i och med att fem arbetsterapiorganisationer tillsammans bidragit med ett stort underlagsmaterial bl a genom att delge varandra sina kliniska erfarenheter. Förutsättningarna för en mer likartad vård i regionen har ökat. Arbetet har också gett upphov till frågor om i vilka situationer det är att föredra att prioriteringsarbete bedrivs lokalt, regionvis och/eller nationellt.
|
|
| 6. |
- Anttila, Sten, et al.
(författare)
-
Program för att förebygga psykisk ohälsa hos barn : En systematisk litteraturöversikt
- 2010
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Det är angeläget att finna metoder för att förebygga psykisk ohälsa hos barn. Det finns tecken på att psykisk ohälsa hos barn kan ha ökat under de senaste decennierna och strukturerade insatser för att komma till rätta med problemen blir allt vanligare såväl inom kommunal verksamhet som inom hälso- och sjukvård. Interventionen utgörs av så kallade program som är standardiserade och finns beskrivna i manual eller motsvarande. Här sammanfattas det vetenskapliga underlaget för två typer av program: dels de som främst syftar till att förebygga utagerande beteenden hos barn och ungdomar, dels de som i första hand syftar till att förebygga inåtvända problem som ångest, depression och självskadebeteende. Program som har en allmänt hälsobefrämjande effekt, t ex för att förebygga drogmissbruk och våldshandlingar ingår följaktligen inte. Programmen är avsedda att ha effekt, inte bara direkt efter att programmet har avslutats utan även i framtiden. Rapporten har tagits fram på förfrågan av Kungliga Vetenskapsakademien och UPP-centrum (Utvecklingscentrum för barns psykiska hälsa) vid Socialstyrelsen. Båda har efterfrågat en systematisk litteraturöversikt för att klarlägga nyttan med att använda program för att förebygga psykisk ohälsa hos barn. Slutsatser: - Av 33 bedömda standardiserade och strukturerade insatser (program) som syftar till att förebygga psykisk ohälsa hos barn har sju ett begränsat vetenskapligt stöd i den internationella litteraturen. Det är föräldrastödsprogrammen Incredible Years och Triple P, familjestödsprogrammet Family Check-Up samt skolprogrammen Good Behavior Game, Coping Power, Coping with Stress och FRIENDS. Effekterna är med få undantag små. Studierna är utförda i andra länder. Eftersom effekterna sannolikt varierar med sociala och kulturella sammanhang är det oklart i vilken utsträckning som programmen kan överföras till Sverige med bibehållen effekt. Programmen kan också behöva anpassas så att de överensstämmer med svenska värderingar och syn på barns rätt. - I Sverige används ett hundratal olika program för att förebygga psykisk ohälsa hos barn, i huvudsak av utagerande typ. Inget av dem har utvärderats i Sverige i randomiserade studier med minst sex månaders uppföljning. Programmen De otroliga åren (översatt från Incredible Years), Triple P och Family Check-Up har enligt internationella studier begränsat vetenskapligt stöd för förebyggande effekt. Programmen KOMET, COPE, SET, StegVis, Beardslees familjeintervention, Connect och DISA har undersökts i minst en kontrollerad studie vardera men har inte tillräckligt vetenskapligt stöd för förebyggande effekt. Övriga program som används i Sverige är inte vetenskapligt utprövade som preventionsprogram. - Program som bygger på att ungdomar med utagerande problem träffas i grupp kan öka risken för normbrytande beteenden. Andra negativa effekter för såväl program för utagerande som för inåtvända problem är tänkbara men ofullständigt belysta. - Det behövs randomiserade studier som undersöker om de program som används har förebyggande effekt i svenska populationer och inte medför risker. Det behövs också hälsoekonomiska studier som undersöker om programmen är kostnadseffektiva.
|
|
| 7. |
- Björnander, Stefan, et al.
(författare)
-
A Formal Analysis Framework for AADL
- 2011
-
Ingår i: The Journal of Science and Technology. - : Vietnam Academy of Science and Technology. - 0866-708X. ; 49:5
-
Tidskriftsartikel (refereegranskat)abstract
- As system failure of mission-critical embedded systems may result in serious consequences, the development process should include verification techniques already at the architectural design stage, in order to provide evidence that the architecture fulfils its requirements. The Architecture Analysis and Design Language (AADL) is a language designed for modeling embedded systems, and its Behavior Annex defines the behavior of the system. However, even though it is an internationally used industry standard, AADL still lacks a formal semantics and is not executable, which limits the possibility to perform formal verification. In this paper, we introduce a formal analysis framework for a subset of AADL and its Behavior Annex, which includes the following: a denotational semantics, its implementation in Standard ML, and a graphical Eclipse-based tool encapsulating the implementation. We also show how to perform model checking of AADL properties defined in the Computation Tree Logic (CTL).
|
|
| 8. |
|
|
| 9. |
- Björnander, Stefan, 1968-
(författare)
-
Methods and Tool Support for Analyzing Architectural Models of Embedded Systems
- 2012
-
Licentiatavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Embedded systems are ubiquitous in the modern world. They are microcomputers most often included incomplete devices consisting of software and hardware. Embedded systems range from small devices to large systems monitoring and controlling complex processes. Design and development of such systems is a complex task, since embedded systems often need to fulfill extra-functional requirements, on top of functional ones, within constrained amounts of platform resources. Some embedded systems are mission critical; hence, they are not allowed to fail during the mission. One way to ensure that a system works in accordance to its specification is to define the system in an Architecture Description Language (ADL) and apply formal verification methods. The Architecture Design and Analysis Language (AADL) has become popular in the avionic and automobile industry, and is equipped with several annexes, among them the Behavior Annex. However, AADL still misses a formal semantics, which prevents the possibility to prove correctness of architecture features by performing model checking on AADL models. Moreover, AADL does not support time annotations, which prevents modeling of real-time systems in AADL.In this thesis, we address these issues by presenting a formal analysis framework including a denotationalsemantics for a subset of the AADL and its Behavior Annex, which evaluates properties defined in Computation Tree Logic (CTL) by providing model checking. Model checking is a formal verification method that has proved to be powerful as well as effective. Our AADL-semantics is supported by a tool with an implementation of the semantics in Standard ML, which in turn is encapsulated in an Eclipse plugin.We also present a time annotation extension of AADL, implemented in a tool translating time annotated AADL and its Behavior Annex into the Timed Abstract State Machine (TASM) for simulation of real-time features. Another closely related problem is how to achieve optimal component distribution; in order to address this issue we have developed a tool that perform near-optional component distribution in regard to a series of parameters.The research results, which have been validated thought case studies, provides the possibility for a system engineer to model a system and prove its correctness. The research has been conducted in the context of the PROGRESS research center, for predictable embedded software systems.
|
|
| 10. |
|
|
