29 research outputs found
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
How Does It Fit? Exploring the Congruence Between Organizations and Their Corporate Social Responsibility (CSR) Activities
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