Persistent currents in quantum rings

In this thesis, three different types of quantum rings arestudied. These are quantum rings with diamagnetic,paramagnetic or spontaneous persistent currents. It turns out that the main observable to characterizequantum rings is the Drude weight. Playing a key role inthis thesis, it will be used to distinguish betweendiamagnetic (positive Drude weight) and paramagnetic(negative Drude weight) ring currents. In most models, theDrude weight is positive. Especially in the thermodynamiclimit, it is positive semi-definite. In certain modelshowever, intuitivelysurprising, a negative Drude weight is found. This rareeffect occurs, e.g., in one-dimensional models with adegenerate ground state in conjunction with the possibilityof Umklapp scattering. One aim of this thesis is to examineone-dimensional quantum rings for the occurrence of anegative Drude weight. It is found, that the sign of theDrude weight can also be negative, if the band structurelacks particle-hole symmetry. The second aim of this thesis is the modeling of quantumrings intrinsically showing a spontaneous persistentcurrent. The construction of the model starts from theextended Hubbard model on a ring threaded by anAharonov-Bohm flux. A feedback term through which thecurrent in the ring can generate magnetic flux is added.Another extension of the Hamiltonian describes the energystored in the internally generated field. This model isevaluated using exact diagonalization and an iterativescheme to find the minima of the free energy. The quantumrings must satisfy two conditions to exhibit a spontaneousorbital magnetic moment: a negative Drude weight and aninductivity above the critical level. The magneticproperties of cyclic conjugated hydrocarbons likebenzene due to electron delocalization [magnetic anisotropy,magnetic susceptibility exaltation, nucleus-independent chemical shift (NICS)]---that have become important criteriafor aromaticity---can be examined using this model. Corrections to the presented calculations are discussed. Themost substantial simplification made in this thesis is theneglect of the Zeeman interaction of the electron spins withthe magnetic field. If a single flux tube threads a quantumring, the Zeeman interaction is zero, but in mostexperiments, this situation is difficult to realize. In themore realistic situation of a homogeneous field, the Zeemaninteraction has to be included, if the electrons have atotal spin component in the direction of the magnetic field,or if the magnetic field is strong.

Synthetic strategies of new molecular paramagnetic mechanically-interlocked complexes

Supramolecular chemistry is a multidisciplinary field which impinges on other disciplines, focusing on the systems made up of a discrete number of assembled molecular subunits. The forces responsible for the spatial organization are intermolecular reversible interactions. The supramolecular architectures I was interested in are Rotaxanes, mechanically-interlocked architectures consisting of a "dumbbell shaped molecule", threaded through a "macrocycle" where the stoppers at the end of the dumbbell prevent disassociation of components and catenanes, two or more interlocked macrocycles which cannot be separated without breaking the covalent bonds. The aim is to introduce one or more paramagnetic units to use the ESR spectroscopy to investigate complexation properties of these systems cause this technique works in the same time scale of supramolecular assemblies. Chapter 1 underlines the main concepts upon which supramolecular chemistry is based, clarifying the nature of supramolecular interactions and the principles of host-guest chemistry. In chapter 2 it is pointed out the use of ESR spectroscopy to investigate the properties of organic non-covalent assemblies in liquid solution by spin labels and spin probes. The chapter 3 deals with the synthesis of a new class of p-electron-deficient tetracationic cyclophane ring, carrying one or two paramagnetic side-arms based on 2,2,6,6-tetramethylpiperidine-N-oxyl (TEMPO) moiety. In the chapter 4, the Huisgen 1,3-dipolar cycloaddition is exploited to synthesize rotaxanes having paramagnetic cyclodextrins as wheels. In the chapter 5, the catalysis of Huisgen’s cycloaddition by CB[6] is exploited to synthesize paramagnetic CB[6]-based [3]-rotaxanes. In the chapter 6 I reported the first preliminary studies of Actinoid series as a new class of templates in catenanes’ synthesis. Being f-block elements, so having the property of expanding the valence state, they constitute promising candidates as chemical templates offering the possibility to create a complex with coordination number beyond 6.

Reuse Mechanisms and Concurrency: From Actors to Agent-Oriented Programming

La presente tesi è dedicata al riuso nel software. Eccettuata un'introduzione organica al tema, l'analisi è a livello dei meccanismi offerti dai linguaggi di programmazione e delle tecniche di sviluppo, con speciale attenzione rivolta al tema della concorrenza. Il primo capitolo fornisce un quadro generale nel quale il riuso del software è descritto, assieme alle ragioni che ne determinano l'importanza e ai punti cruciali relativi alla sua attuazione. Si individuano diversi livelli di riuso sulla base dell'astrazione e degli artefatti in gioco, e si sottolinea come i linguaggi contribuiscano alla riusabilità e alla realizzazione del riuso. In seguito, viene esplorato, con esempi di codice, il supporto al riuso da parte del paradigma ad oggetti, in termini di incapsulamento, ereditarietà, polimorfismo, composizione. La trattazione prosegue analizzando differenti feature – tipizzazione, interfacce, mixin, generics – offerte da vari linguaggi di programmazione, mostrando come esse intervengano sulla riusabilità dei componenti software. A chiudere il capitolo, qualche parola contestualizzata sull'inversione di controllo, la programmazione orientata agli aspetti, e il meccanismo della delega. Il secondo capitolo abbraccia il tema della concorrenza. Dopo aver introdotto l'argomento, vengono approfonditi alcuni significativi modelli di concorrenza: programmazione multi-threaded, task nel linguaggio Ada, SCOOP, modello ad Attori. Essi vengono descritti negli elementi fondamentali e ne vengono evidenziati gli aspetti cruciali in termini di contributo al riuso, con esempi di codice. Relativamente al modello ad Attori, viene presentata la sua implementazione in Scala/Akka come caso studio. Infine, viene esaminato il problema dell'inheritance anomaly, sulla base di esempi e delle tre classi principali di anomalia, e si analizza la suscettibilità del supporto di concorrenza di Scala/Akka a riscontrare tali problemi. Inoltre, in questo capitolo si nota come alcuni aspetti relativi al binomio riuso/concorrenza, tra cui il significato profondo dello stesso, non siano ancora stati adeguatamente affrontati dalla comunità informatica. Il terzo e ultimo capitolo esordisce con una panoramica dell'agent-oriented programming, prendendo il linguaggio simpAL come riferimento. In seguito, si prova ad estendere al caso degli agenti la nozione di riuso approfondita nei capitoli precedenti.

Portfolio Approaches in Constraint Programming

Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be significantly outperformed by using a portfolio of —possibly on-average slower— algorithms. Within the Constraint Programming (CP) context, a portfolio solver can be seen as a particular constraint solver that exploits the synergy between the constituent solvers of its portfolio for predicting which is (or which are) the best solver(s) to run for solving a new, unseen instance. In this thesis we examine the benefits of portfolio solvers in CP. Despite portfolio approaches have been extensively studied for Boolean Satisfiability (SAT) problems, in the more general CP field these techniques have been only marginally studied and used. We conducted this work through the investigation, the analysis and the construction of several portfolio approaches for solving both satisfaction and optimization problems. We focused in particular on sequential approaches, i.e., single-threaded portfolio solvers always running on the same core. We started from a first empirical evaluation on portfolio approaches for solving Constraint Satisfaction Problems (CSPs), and then we improved on it by introducing new data, solvers, features, algorithms, and tools. Afterwards, we addressed the more general Constraint Optimization Problems (COPs) by implementing and testing a number of models for dealing with COP portfolio solvers. Finally, we have come full circle by developing sunny-cp: a sequential CP portfolio solver that turned out to be competitive also in the MiniZinc Challenge, the reference competition for CP solvers.

Efficient subsequence alignment of time series

Zeitreihen sind allgegenwärtig. Die Erfassung und Verarbeitung kontinuierlich gemessener Daten ist in allen Bereichen der Naturwissenschaften, Medizin und Finanzwelt vertreten. Das enorme Anwachsen aufgezeichneter Datenmengen, sei es durch automatisierte Monitoring-Systeme oder integrierte Sensoren, bedarf außerordentlich schneller Algorithmen in Theorie und Praxis. Infolgedessen beschäftigt sich diese Arbeit mit der effizienten Berechnung von Teilsequenzalignments. Komplexe Algorithmen wie z.B. Anomaliedetektion, Motivfabfrage oder die unüberwachte Extraktion von prototypischen Bausteinen in Zeitreihen machen exzessiven Gebrauch von diesen Alignments. Darin begründet sich der Bedarf nach schnellen Implementierungen. Diese Arbeit untergliedert sich in drei Ansätze, die sich dieser Herausforderung widmen. Das umfasst vier Alignierungsalgorithmen und ihre Parallelisierung auf CUDA-fähiger Hardware, einen Algorithmus zur Segmentierung von Datenströmen und eine einheitliche Behandlung von Liegruppen-wertigen Zeitreihen.rnrnDer erste Beitrag ist eine vollständige CUDA-Portierung der UCR-Suite, die weltführende Implementierung von Teilsequenzalignierung. Das umfasst ein neues Berechnungsschema zur Ermittlung lokaler Alignierungsgüten unter Verwendung z-normierten euklidischen Abstands, welches auf jeder parallelen Hardware mit Unterstützung für schnelle Fouriertransformation einsetzbar ist. Des Weiteren geben wir eine SIMT-verträgliche Umsetzung der Lower-Bound-Kaskade der UCR-Suite zur effizienten Berechnung lokaler Alignierungsgüten unter Dynamic Time Warping an. Beide CUDA-Implementierungen ermöglichen eine um ein bis zwei Größenordnungen schnellere Berechnung als etablierte Methoden.rnrnAls zweites untersuchen wir zwei Linearzeit-Approximierungen für das elastische Alignment von Teilsequenzen. Auf der einen Seite behandeln wir ein SIMT-verträgliches Relaxierungschema für Greedy DTW und seine effiziente CUDA-Parallelisierung. Auf der anderen Seite führen wir ein neues lokales Abstandsmaß ein, den Gliding Elastic Match (GEM), welches mit der gleichen asymptotischen Zeitkomplexität wie Greedy DTW berechnet werden kann, jedoch eine vollständige Relaxierung der Penalty-Matrix bietet. Weitere Verbesserungen umfassen Invarianz gegen Trends auf der Messachse und uniforme Skalierung auf der Zeitachse. Des Weiteren wird eine Erweiterung von GEM zur Multi-Shape-Segmentierung diskutiert und auf Bewegungsdaten evaluiert. Beide CUDA-Parallelisierung verzeichnen Laufzeitverbesserungen um bis zu zwei Größenordnungen.rnrnDie Behandlung von Zeitreihen beschränkt sich in der Literatur in der Regel auf reellwertige Messdaten. Der dritte Beitrag umfasst eine einheitliche Methode zur Behandlung von Liegruppen-wertigen Zeitreihen. Darauf aufbauend werden Distanzmaße auf der Rotationsgruppe SO(3) und auf der euklidischen Gruppe SE(3) behandelt. Des Weiteren werden speichereffiziente Darstellungen und gruppenkompatible Erweiterungen elastischer Maße diskutiert.

A VEGETATION RECONSTRUCTION OF UNION COUNTY, PENNSYLVANIA DURING THE EARLY HISTORICAL PERIOD (1755-1855)

This thesis assesses relationships between vegetation and topography and the impact of human tree-cutting on the vegetation of Union County during the early historical era (1755-1855). I use early warrant maps and forestry maps from the Pennsylvania historical archives and a warrantee map from the Union County courthouse depicting the distribution of witness trees and non-tree surveyed markers (posts and stones) in early European settlement land surveys to reconstruct the vegetation and compare vegetation by broad scale (mountains and valleys) and local scale (topographic classes with mountains and valleys) topography. I calculated marker density based on 2 km x 2 km grid cells to assess tree-cutting impacts. Valleys were mostly forests dominated by white oak (Quercus alba) with abundant hickory (Carya spp.), pine (Pinus spp.), and black oak (Quercus velutina), while pine dominated what were mostly pine-oak forests in the mountains. Within the valleys, pine was strongly associated with hilltops, eastern hemlock (Tsuga canadensis) was abundant on north slopes, hickory was associated with south slopes, and riparian zones had high frequencies of ash (Fraxinus spp.) and hickory. In the mountains, white oak was infrequent on south slopes, chestnut (Castanea dentata) was more abundant on south slopes and ridgetops than north slopes and mountain coves, and white oak and maple (Acer spp.) were common in riparian zones. Marker density analysis suggests that trees were still common over most of the landscape by 1855. The findings suggest there were large differences in vegetation between valleys and mountains due in part to differences in elevation, and vegetation differed more by topographic classes in the valleys than in the mountains. Possible areas of tree-cutting were evenly distributed by topographic classes, suggesting Europeans settlers were clearing land and harvesting timber in most areas of Union County.

Second-Generation Orthopaedic Measurement Device for in-vivo Assessment of Bone Quality

There are two main types of bone in the human body, trabecular and cortical bone. Cortical bone is primarily found on the outer surface of most bones in the body while trabecular bone is found in vertebrae and at the end of long bones (Ross 2007). Osteoporosis is a condition that compromises the structural integrity of trabecular bone, greatly reducing the ability of the bone to absorb energy from falls. The current method for diagnosing osteoporosis and predicting fracture risk is measurement of bone mineral density. Limitations of this method include dependence on the bone density measurement device and dependence on type of test and measurement location (Rubin 2005). Each year there are approximately 250,000 hip fractures in the United States due to osteoporosis (Kleerekoper 2006). Currently, the most common method for repairing a hip fracture is a hip fixation surgery. During surgery, a temporary guide wire is inserted to guide the permanent screw into place and then removed. It is believed that directly measuring this screw pullout force may result in a better assessment of bone quality than current indirect measurement techniques (T. Bowen 2008-2010, pers. comm.). The objective of this project is to design a device that can measure the force required to extract this guide wire. It is believed that this would give the surgeon a direct, quantitative measurement of bone quality at the site of the fixation. A first generation device was designed by a Bucknell Biomedical Engineering Senior Design team during the 2008- 2009 Academic Year. The first step of this project was to examine the device, conduct a thorough design analysis, and brainstorm new concepts. The concept selected uses a translational screw to extract the guide wire. The device was fabricated and underwent validation testing to ensure that the device was functional and met the required engineering specifications. Two tests were conducted, one to test the functionality of the device by testing if the device gave repeatable results, and the other to test the sensitivity of the device to misalignment. Guide wires were extracted from 3 materials, low density polyethylene, ultra high molecular weight polyethylene, and polypropylene and the force of extraction was measured. During testing, it was discovered that the spring in the device did not have a high enough spring constant to reach the high forces necessary for extracting the wires without excessive deflection of the spring. The test procedure was modified slightly so the wires were not fully threaded into the material. The testing results indicate that there is significant variation in the screw pullout force, up to 30% of the average value. This significant variation was attributed to problems in the testing and data collection, and a revised set of tests was proposed to better evaluate the performance of the device. The fabricated device is a fully-functioning prototype and further refinements and testing of the device may lead to a 3rd generation version capable of measuring the screw pullout force during hip fixation surgery.

Device for lengthening of a musculotendinous unit by direct continuous traction in the sheep

Background Retraction, atrophy and fatty infiltration are signs subsequent to chronic rotator cuff tendon tears. They are associated with an increased pennation angle and a shortening of the muscle fibers in series. These deleterious changes of the muscular architecture are not reversible with current repair techniques and are the main factors for failed rotator cuff tendon repair. Whereas fast stretching of the retracted musculotendinous unit results in proliferation of non-contractile fibrous tissue, slow stretching may lead to muscle regeneration in terms of sarcomerogenesis. To slowly stretch the retracted musculotendinous unit in a sheep model, two here described tensioning devices have been developed and mounted on the scapular spine of the sheep using an expandable threaded rod, which has been interposed between the retracted tendon end and the original insertion site at the humeral head. Traction is transmitted in line with the musculotendinous unit by sutures knotted on the expandable threaded rod. The threaded rod of the tensioner is driven within the body through a rotating axis, which enters the body on the opposite side. The tendon end, which was previously released (16 weeks prior) from its insertion site with a bone chip, was elongated with a velocity of 1 mm/day. Results After several steps of technical improvements, the tensioner proved to be capable of actively stretching the retracted and degenerated muscle back to the original length and to withstand the external forces acting on it. Conclusion This technical report describes the experimental technique for continuous elongation of the musculotendinous unit and reversion of the length of chronically shortened muscle.

Clinical evaluation of root filled teeth restored with or without post-and-core systems in a specialist practice setting

AIM: To assess survival rates and complications of root-filled teeth restored with or without post-and-core systems over a mean observation period of >or=4 years. METHODOLOGY: A total of 325 single- and multirooted teeth in 183 subjects treated in a private practice were root filled and restored with either a cast post-and-core or with a prefabricated titanium post and composite core. Root-filled teeth without post-retained restorations served as controls. The restored teeth served as abutments for single unit metal-ceramic or composite crowns or fixed bridges. Teeth supporting cantilever bridges, overdentures or telescopic crowns were excluded. RESULTS: Seventeen teeth in 17 subjects were lost to follow-up (17/325: 5.2%). The mean observation period was 5.2 +/- 1.8 (SD) years for restorations with titanium posts, 6.2 +/- 2.0 (SD) years for cast post-and-cores and 4.4 +/- 1.7 (SD) years for teeth without posts. Overall, 54% of build-ups included the incorporation of a titanium post and 26.5% the cementation of a cast post-and-core. The remaining 19.5% of the teeth were restored without intraradicular retention. The adjusted 5-year tooth survival rate amounted to 92.5% for teeth restored with titanium posts, to 97.1% for teeth restored with cast post-and-cores and to 94.3% for teeth without post restorations, respectively. The most frequent complications included root fracture (6.2%), recurrent caries (1.9%), post-treatment periradicular disease (1.6%) and loss of retention (1.3%). CONCLUSION: Provided that high-quality root canal treatment and restorative protocols are implemented, high survival and low complication rates of single- and multirooted root-filled teeth used as abutments for fixed restorations can be expected after a mean observation period of >or=4 years.

Treatment of replacement resorption by intentional replantation, resection of the ankylosed sites, and Emdogain--results of a 6-year survey

The present clinical study investigated the outcome of intentional replantation using resection of the ankylosed sites of the root, extraoral endodontic treatment using titanium posts and Emdogain for periodontal healing following trauma-related ankylosis. During an evaluation period of 6 years, 16 ankylosed teeth affected by replacement resorption were treated as described. Evaluation parameters before treatment and during the follow-up period included Periotest scores, percussion sound and periapical radiographs. All findings were compared to those of the adjacent teeth. In a second accident, one tooth was lost after 7 months and was excluded as a dropout. Ankylosis did not recur in seven replanted teeth, which were observed for an average of 52.3 months (range: 24-68 months). Ankylosis recurred in eight teeth after an average period of 12 months (range: 4-26 months). An infraocclusion, normal or only slightly reduced Periotest scores and normal percussion sound were preoperatively found in six of seven successfully replanted teeth, which corresponded to a relatively small area of ankylosis. The majority of the teeth showing recurrent ankylosis preoperatively presented with normal position, negative Periotest scores and a high percussion sound which corresponded to an extended area of ankylosis. Statistically significant relationship between preoperative findings and the treatment outcome (P = 0.031) have become apparent. The results indicate that the treatment of minor areas of ankylosis by intentional replantation, resection of the ankylosed sites and Emdogain appeared to prevent or delay the recurrence of ankylosis in 7 of 15 teeth.

Compressive strength of interbody cages in the lumbar spine: the effect of cage shape, posterior instrumentation and bone density

One goal of interbody fusion is to increase the height of the degenerated disc space. Interbody cages in particular have been promoted with the claim that they can maintain the disc space better than other methods. There are many factors that can affect the disc height maintenance, including graft or cage design, the quality of the surrounding bone and the presence of supplementary posterior fixation. The present study is an in vitro biomechanical investigation of the compressive behaviour of three different interbody cage designs in a human cadaveric model. The effect of bone density and posterior instrumentation were assessed. Thirty-six lumbar functional spinal units were instrumented with one of three interbody cages: (1) a porous titanium implant with endplate fit (Stratec), (2) a porous, rectangular carbon-fibre implant (Brantigan) and (3) a porous, cylindrical threaded implant (Ray). Posterior instrumentation (USS) was applied to half of the specimens. All specimens were subjected to axial compression displacement until failure. Correlations between both the failure load and the load at 3 mm displacement with the bone density measurements were observed. Neither the cage design nor the presence of posterior instrumentation had a significant effect on the failure load. The loads at 3 mm were slightly less for the Stratec cage, implying lower axial stiffness, but were not different with posterior instrumentation. The large range of observed failure loads overlaps the potential in vivo compressive loads, implying that failure of the bone-implant interface may occur clinically. Preoperative measurements of bone density may be an effective tool to predict settling around interbody cages.

[Cone beam computed tomography in endodontics: a review for daily clinical practice]

Since the introduction of cone beam computed tomography (CBCT), this 3-dimensional diagnostic imaging technique has been established in a growing number of fields in dental medicine. It has become an important tool for both diagnosis and treatment planning, and is also able to support endodontic treatments. However, the higher effective dose of ionizing radiation compared to conventional 2-dimensional radiographs is not justifiable in every case. CBCT allows for a more precise diagnosis of periapical lesions, root fractures as well as external and internal resorptions. Concerning the utility of CBCT in treatment planning decisions, the gain of information through 3-dimensional imaging for any of these pathologies has to be evaluated carefully on an individual basis. Moreover, radioopaque materials such as root canal filling and posts often create artefacts, which may compromise diagnosis. The aim of this review is to summarize the possibilities and limits of CBCT imaging in endodontology as well as introduce guidelines for daily clinical practice. Furthermore, the article presents possible therapeutic advantages of preexisting CBCT scans for root canal treatments.

Biomechanical evaluation of the stabilizing function of the atlantoaxial ligaments under shear loading: A canine cadaveric study

OBJECTIVES To evaluate the stabilizing function of atlanto-axial ligaments in dogs. STUDY DESIGN Cadaveric biomechanical study. ANIMALS Beagle dog cadavers (n = 10). METHODS The craniocervical region was collected from 10 Beagle cadavers, and the occipito-atlanto-axial region was prepared and freed from the surrounding muscles. Care was taken to preserve integrity of the atlantoaxial ligaments and atlantoaxial joint capsule. The atlanto-occipital joints were blocked with 2 diverging transarticular 1.8 mm positive threaded K-wires. Specimen extremities were embedded in polymethylmethacrylate (PMMA) and mounted on a simulator testing shear load at the atlantoaxial joint. Range of motion (ROM) and neutral zone (NZ) were determined with all ligaments intact, after cutting the apical ligament, both alar ligaments, the transverse ligaments and finally after cutting the dorsal atlantoaxial ligament. RESULTS ROM increased similarly and stepwise during testing. The most significant increase was observed after transection of the alar ligaments. CONCLUSION The alar ligaments seem to be the most important ligamentous structures for stabilization of the atlantoaxial joint under shear load.

Are implants more reliable than severely compromised endodontically treated teeth as abutments for zirconia-based FPDs? : In vitro results of long-term preclinical load simulation

OBJECTIVES The aim was to study the impact of the defect size of endodontically treated incisors compared to dental implants as abutments on the survival of zirconia two-unit anterior cantilever-fixed partial dentures (2U-FPDs) during 10-year simulation. MATERIALS AND METHODS Human maxillary central incisors were endodontically treated and divided into three groups (n = 24): I, access cavities rebuilt with composite core; II, teeth decoronated and restored with composite; and III as II supported by fiber posts. In group IV, implants with individual zirconia abutments were used. Specimens were restored with zirconia 2U-FPDs and exposed to two sequences of thermal cycling and mechanical loading. Statistics: Kaplan-Meier; log-rank tests. RESULTS During TCML in group I two tooth fractures and two debondings with chipping were found. Solely chippings occurred in groups II (2×), IV (2×), and III (1×). No significant different survival was found for the different abutments (p = 0.085) or FPDs (p = 0.526). Load capability differed significantly between groups I (176 N) and III (670 N), and III and IV (324 N) (p < 0.024). CONCLUSION Within the limitations of an in vitro study, it can be concluded that zirconia-framework 2U-FPDs on decoronated teeth with/without post showed comparable in vitro reliability as restorations on implants. The results indicated that restorations on teeth with only access cavity perform worse in survival and linear loading. CLINICAL RELEVANCE Even severe defects do not justify per se a replacement of this particular tooth by a dental implant from load capability point of view.

Incremental Dynamic Updates with First-class Contexts

Highly available software systems occasionally need to be updated while avoiding downtime. Dynamic software updates reduce down-time, but still require the system to reach a quiescent state in which a global update can be performed. This can be difficult for multi-threaded systems. We present a novel approach to dynamic updates using first-class contexts, called Theseus. First-class contexts make global updates unnecessary: existing threads run to termination in an old context, while new threads start in a new, updated context; consistency between contexts is ensured with the help of bidirectional transformations. We show that for multi-threaded systems with coherent memory, first-class contexts offer a practical and flexible approach to dynamic updates, with acceptable overhead.