Reference Capabilities for Flexible Memory Management: Extended Version

Verona is a concurrent object-oriented programming language that organises all the objects in a program into a forest of isolated regions. Memory is managed locally for each region, so programmers can control a program's memory use by adjusting objects' partition into regions, and by setting each region's memory management strategy. A thread can only mutate (allocate, deallocate) objects within one active region -- its "window of mutability". Memory management costs are localised to the active region, ensuring overheads can be predicted and controlled. Moving the mutability window between regions is explicit, so code can be executed wherever it is required, yet programs remain in control of memory use. An ownership type system based on reference capabilities enforces region isolation, controlling aliasing within and between regions, yet supporting objects moving between regions and threads. Data accesses never need expensive atomic operations, and are always thread-safe.Comment: 87 pages, 10 figures, 5 listings, 4 tables. Extended version of paper to be published at OOPSLA 202

Standardizing Terminology and Assessment for Orofacial Conditions in Juvenile Idiopathic Arthritis : International, Multidisciplinary Consensus-based Recommendations

Objective. To propose multidisciplinary, consensus-based, standardization of operational terminology and method of assessment for temporomandibular joint (TMJ) involvement in juvenile idiopathic arthritis (JIA). Methods. Using a sequential expert group–defined terminology and methods-of-assessment approach by (1) establishment of task force, (2) item generation, (3) working group consensus, (4) external expert content validity testing, and (5) multidisciplinary group of experts final Delphi survey consensus. Results. Seven standardized operational terms were defined: TMJ arthritis, TMJ involvement, TMJ arthritis management, dentofacial deformity, TMJ deformity, TMJ symptoms, and TMJ dysfunction. Conclusion. Definition of 7 operational standardized terms provides an optimal platform for communication across healthcare providers involved in JIA-TMJ arthritis management.publishersversionPeer reviewe

Management of Orofacial Manifestations of Juvenile Idiopathic Arthritis: Interdisciplinary Consensus-Based Recommendations

Involvement of the temporomandibular joint (TMJ) is common in juvenile idiopathic arthritis (JIA). TMJ arthritis can lead to orofacial symptoms, orofacial dysfunction, and dentofacial deformity with negative impact on quality of life. Management involves interdisciplinary collaboration. No current recommendations exist to guide clinical management. We undertook this study to develop consensus-based interdisciplinary recommendations for management of orofacial manifestations of JIA, and to create a future research agenda related to management of TMJ arthritis in children with JIA. Recommendations were developed using online surveying of relevant stakeholders, systematic literature review, evidence-informed generation of recommendations during 2 consensus meetings, and Delphi study iterations involving external experts. The process included disciplines involved in the care of orofacial manifestations of JIA: pediatric rheumatology, radiology, orthodontics, oral and maxillofacial surgery, orofacial pain specialists, and pediatric dentistry. Recommendations were accepted if agreement was >80% during a final Delphi study. Three overarching management principles and 12 recommendations for interdisciplinary management of orofacial manifestations of JIA were outlined. The 12 recommendations pertained to diagnosis (n = 4), treatment of TMJ arthritis (active TMJ inflammation) (n = 2), treatment of TMJ dysfunction and symptoms (n = 3), treatment of arthritis-related dentofacial deformity (n = 2), and other aspects related to JIA (n = 1). Additionally, a future interdisciplinary research agenda was developed. These are the first interdisciplinary recommendations to guide clinical management of TMJ JIA. The 3 overarching principles and 12 recommendations fill an important gap in current clinical practice. They emphasize the importance of an interdisciplinary approach to diagnosis and management of orofacial manifestations of JIA

Polycomb Repressive Complex 2 Controls the Embryo-to-Seedling Phase Transition

Polycomb repressive complex 2 (PRC2) is a key regulator of epigenetic states catalyzing histone H3 lysine 27 trimethylation (H3K27me3), a repressive chromatin mark. PRC2 composition is conserved from humans to plants, but the function of PRC2 during the early stage of plant life is unclear beyond the fact that it is required for the development of endosperm, a nutritive tissue that supports embryo growth. Circumventing the requirement of PRC2 in endosperm allowed us to generate viable homozygous null mutants for FERTILIZATION INDEPENDENT ENDOSPERM (FIE), which is the single Arabidopsis homolog of Extra Sex Combs, an indispensable component of Drosophila and mammalian PRC2. Here we show that H3K27me3 deposition is abolished genome-wide in fie mutants demonstrating the essential function of PRC2 in placing this mark in plants as in animals. In contrast to animals, we find that PRC2 function is not required for initial body plan formation in Arabidopsis. Rather, our results show that fie mutant seeds exhibit enhanced dormancy and germination defects, indicating a deficiency in terminating the embryonic phase. After germination, fie mutant seedlings switch to generative development that is not sustained, giving rise to neoplastic, callus-like structures. Further genome-wide studies showed that only a fraction of PRC2 targets are transcriptionally activated in fie seedlings and that this activation is accompanied in only a few cases with deposition of H3K4me3, a mark associated with gene activity and considered to act antagonistically to H3K27me3. Up-regulated PRC2 target genes were found to act at different hierarchical levels from transcriptional master regulators to a wide range of downstream targets. Collectively, our findings demonstrate that PRC2-mediated regulation represents a robust system controlling developmental phase transitions, not only from vegetative phase to flowering but also especially from embryonic phase to the seedling stage

Living kidney donors experiences of the donation process

Bakgrund: I världen finns det 1,8 miljoner människor som behandlas för njursvikt. En njurtransplantation kan både förlänga deras liv och ge bättre livskvalitet. Antalet personer på väntelistan ökar för varje år. Organbristen är stor och där har levande njurdonatorer en viktig roll. En transition uppkommer vid stora vändpunkter i livet därav kan en levande njurdonator kan genomgå en transition under donationsprocessen. Sjuksköterskan har en viktig roll i denna transitionsprocess. Syfte: Att belysa levande njurdonatorers erfarenheter av donationsprocessen. Metod: En litteraturöversikt genomfördes vars resultat innefattade totalt 13 vetenskapliga artiklar, varav fem kvalitativa, sju kvantitativa och en med mixad metod. Artiklarna söktes fram i databaserna Pubmed, Cinahl och PsycINFO. Därefter kvalitetsgranskades och analyserades artiklarna. Resultat: Litteraturöversikten resulterade i tre kategorier med subkategorier; att fatta beslutet, tiden på sjukhuset, donatorers behov från vårdpersonalen samt livet efter donationen. Slutsats: Överlag hade levande njurdonatorer bra erfarenheter av donationsprocessen. Det fanns tydliga faktorer som påverkade erfarenheterna positivt och negativt, varav sjuksköterskan hade en central roll i flera av dessa, gällande bland annat stöd, information och bemötande

Determinism i parallelliserade program med hjälp av gitterstrukturer och objektsförmågor

Parallelization is an important part of modern data systems. However, the non-determinism of thread scheduling introduces the difficult problem of considering all different execution orders when constructing an algorithm. Therefore deterministic-by-design concurrent systems are attractive. A new approach called LVars consists of using data which is part of a lattice, with a predefined join operation. Updates to shared data are carried out using the join operation and thus the updates commute. Together with limiting the reads of shared data, this guarantees a deterministic result. The Reactive Async framework follows a similar approach but has several aspects which can cause a non-deterministic result. The goal with this thesis is to explore how we can ammend Reactive Async in order to guarantee a deterministic result. First an exploration into the subtleties of lattice based data combined with concurrency is made. Then a formal model based on a simple object-oriented language is constructed. The constructed small-step operational semantics and type system are shown to guarantee a form of determinism. This shows that LVars-similar system can be implemented in an object-oriented setting. Furthermore the work can act as a basis for future revisions of Reactive Async and similar frameworks.Parallellisering är en viktig del i moderna datasystem. Flertrådade applikationer innebär dock en svårighet i och med att programmerare måste ta alla exekveringsordningar i beaktning. Därför är beräkningsmodeller vars resultat är garanterat deterministiskt en attraktiv utväg. En ny modell, kallad LVars, använder gitterstrukturer tillsammans med en supremum-operation för att garantera att uppdateringar av delad data kommuterar. Detta tillsammans med begränsningar av läsning av datan garanterar ett deterministiskt resultat. Reactive Async är ett programmeringsramverk som följer en liknande strategi. Det finns dock flera delar i dess konstruktion som i en oförsiktig programmerares händer kan orsaka att ett programs resultat blir icke-deterministiskt. Målet med detta examensarbete är att utforska vilka modifikationer som skulle kunna göras av Reactive Async för att garantera determinism. Först görs en undersökning av de mer svårförståeliga delarna i kombinationen av gitterbaserad data med flertrådad exekvering. Sedan konstrueras en formell beräkningsmodell baserad på ett enkelt objektorienterat språk. Konstruktionens småstegade operationella semantik tillsammans med dess typsystem visas kunna garantera en form av determinism. Detta visar att ett system liknande LVars kan implementeras i ett objektorienterat språk. Därmed skulle detta arbete kunna ligga till grund för framtida versioner av Reactive Async

Determinism i parallelliserade program med hjälp av gitterstrukturer och objektsförmågor

Parallelization is an important part of modern data systems. However, the non-determinism of thread scheduling introduces the difficult problem of considering all different execution orders when constructing an algorithm. Therefore deterministic-by-design concurrent systems are attractive. A new approach called LVars consists of using data which is part of a lattice, with a predefined join operation. Updates to shared data are carried out using the join operation and thus the updates commute. Together with limiting the reads of shared data, this guarantees a deterministic result. The Reactive Async framework follows a similar approach but has several aspects which can cause a non-deterministic result. The goal with this thesis is to explore how we can ammend Reactive Async in order to guarantee a deterministic result. First an exploration into the subtleties of lattice based data combined with concurrency is made. Then a formal model based on a simple object-oriented language is constructed. The constructed small-step operational semantics and type system are shown to guarantee a form of determinism. This shows that LVars-similar system can be implemented in an object-oriented setting. Furthermore the work can act as a basis for future revisions of Reactive Async and similar frameworks.Parallellisering är en viktig del i moderna datasystem. Flertrådade applikationer innebär dock en svårighet i och med att programmerare måste ta alla exekveringsordningar i beaktning. Därför är beräkningsmodeller vars resultat är garanterat deterministiskt en attraktiv utväg. En ny modell, kallad LVars, använder gitterstrukturer tillsammans med en supremum-operation för att garantera att uppdateringar av delad data kommuterar. Detta tillsammans med begränsningar av läsning av datan garanterar ett deterministiskt resultat. Reactive Async är ett programmeringsramverk som följer en liknande strategi. Det finns dock flera delar i dess konstruktion som i en oförsiktig programmerares händer kan orsaka att ett programs resultat blir icke-deterministiskt. Målet med detta examensarbete är att utforska vilka modifikationer som skulle kunna göras av Reactive Async för att garantera determinism. Först görs en undersökning av de mer svårförståeliga delarna i kombinationen av gitterbaserad data med flertrådad exekvering. Sedan konstrueras en formell beräkningsmodell baserad på ett enkelt objektorienterat språk. Konstruktionens småstegade operationella semantik tillsammans med dess typsystem visas kunna garantera en form av determinism. Detta visar att ett system liknande LVars kan implementeras i ett objektorienterat språk. Därmed skulle detta arbete kunna ligga till grund för framtida versioner av Reactive Async

Aesthetic learning processes in a goal-based educational system

Denna kunskapsöversikt har till syfte att systematiskt sammanställa kunskap om villkoren för estetiska lärprocesser i bildämnet i relation till en målrationell skola. Forskningen i denna kunskapsöversikt presenteras i förhållande till frågeställningen: Hur möjliggörs och begränsas lärande med estetiska lärprocesser genom kursplanen för bild i årskurs 7-9? Systematiska sökningar i databaser för forskning inom pedagogik och utbildningsvetenskap genererade ett brett underlag och valda studier kategoriseras i resultatet där frågeställningen behandlas i en diskussion utifrån tre prominenta teman: En målrationell skola och styrdokument, Lärarens roll och bildlärarprofession samt Förhållningssätt till estetiska lärprocesser. Denna kategorisering synliggör icke statliga organisationers inverkan på utbildningspolitiken och det målrationella utbildningssystemets påverkan på estetiska lärprocesser

Visual arts as a nomad? : A posthumanistic study on visual artsnomadic functions in school

Hur fungerar bildämnet i dagens skola? I relation till skolämnenas snarlika strukturer, där ett slutresultat bedöms, särskiljer sig bildämnets metoder och lärande som mer processorienterat. Traditionella, hantverksmässiga arbetssätt kompletteras med nya digitala medier och arbetssätt, som resulterar i urvalsproblem och stoffträngsel. Dessa faktorer bidrar till stora klyftor mellan kunskapsnivå, betygssättning och en likvärdig bildundervisning. Syftet med denna studie är att bidra med kunskap om hur bildämnet påverkar och påverkas av att samexistera i skolan. Genom att analysera formulärsvar från tolv bildlärare dels utifrån våra egna erfarenheter och dels mot bakgrund av en posthumanistisk teoretisk ansats fick vi syn på bildämnets nomadiska funktioner. Bildämnet, liksom bildlärare, fungerar likt en kil i skolans kontext, både förenande och separerande. I bildämnet kan det genom friktion skapas rörelse mot olika typer av tillblivelser som möjliggör för nya arbetssätt. Slutsatsen visar på att en målinriktad undervisningsstruktur och seglivade traditioner i skolan riskerar att kila fast bildämnet i ofördelaktiga normer, där friktion behövs allra mest för att bildämnet ska utvecklas och dess status höjas