A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

A new approach in virtopsy: Postmortem ventilation in multislice computed tomography

Although postmortem imaging has gained prominence in the field of forensic medicine, evaluation of the postmortem lung remains problematic. Specifically, differentiation of normal postmortem changes and pathological pulmonary changes is challenging and at times impossible. In this study, five corpses were ventilated using a mechanical ventilator with a pressure of 40 mbar (40.8 cm H(2)O). The ventilation was performed via an endotracheal tube, a larynx mask or a continuous positive airway pressure mask. Postmortem computed tomographic images of the lungs before and with a ventilation of 40 mbar (40.8 cm H(2)O) were evaluated and the lung volumes were measured with segmentation software. Postmortem ventilation led to a clearly visible decrease of both the density in the dependant parts of the lungs and ground glass attenuation, whereas consolidated areas remained unchanged. Furthermore, a mean increase in the lung volume of 2.10 l was seen. Pathological changes such as septal thickening or pulmonary nodules in the lung parenchyma became more detectable with postmortem ventilation. Intracorporal postmortem mechanical ventilation of the lungs appears to be an effective method for enhancing detection of small pathologies of the lung parenchyma as well as for discriminating between consolidation, ground glass attenuation and position-dependent density.

Provenance discrimination of Lower Cretaceous synrift sandstones (eastern Iberian Chain Spain) Constraints from detrital modes heavy minerals and geochemistry

Petrography, geochemical whole-rock composition, and chemical analyses of tourmaline were performed in order to determine the source areas of Lower Cretaceous Mora, El Castellar, and uppermost Camarillas Formation sandstones from the Iberian Chain, Spain. Sandstones were deposited in intraplate subbasins, which are bound by plutonic and volcanic rocks of Permian, Triassic, and Jurassic age, Paleozoic metamorphic rocks, and Triassic sedimentary rocks. Modal analyses together with petrographic and cathodoluminescence observations allowed us to define three quartz-feldspathic petrofacies and recognize diagenetic processes that modified the original framework composition. Results from average restored petrofacies are: Mora petrofacies = P/F >1 and Q(r)70 F(r)22 R(r)9; El Castellar petrofacies = P/F >1 and Q(r)57 F(r)25 R(r)18; and Camarillas petrofacies = P/F ∼ zero and Q(r)64 F(r)28 R(r)7 (P—plagioclase; F—feldspar; Q—quartz; R—rock fragments; r—restored composition). Trace-element and rare earth element abundances of whole-rock analyses discriminate well between the three petrofacies based on: (1) the Rb concentration, which is indicative of the K content and reflects the amount of K-feldspar modal abundance, and (2) the relative modal abundance of heavy minerals (tourmaline, zircon, titanite, and apatite), which is reproduced by the elements hosted in the observed heavy mineral assemblage (i.e., B and Li for tourmaline; Zr, Hf, and Ta for zircon; Ti, Ta, Nb, and their rare earth elements for titanite; and P, Y, and their rare earth elements for apatite). Tourmaline chemical composition for the three petrofacies ranges from Fe-tourmaline of granitic to Mg-tourmaline of metamorphic origin. The three defined petrofacies suggest a mixed provenance from plutonic and metamorphic source rocks. However, a progressively major influence of granitic source rocks was detected from the lowermost Mora petrofacies toward the uppermost Camarillas petrofacies. This provenance trend is consistent with the uplift and erosion of the Iberian Massif, which coincided with the development of the latest Berriasian synrift regional unconformity and affected all of the Iberian intraplate basins. The uplifting stage of Iberian Massif pluton caused a significant dilution of Paleozoic metamorphic source areas, which were dominant during the sedimentation of the lowermost Mora and El Castellar petrofacies. The association of petrographic data with whole-rock geochemical compositions and tourmaline chemical analysis has proved to be useful for determining source area characteristics, their predominance, and the evolution of source rock types during the deposition of quartz-feldspathic sandstones in intraplate basins. This approach ensures that provenance interpretation is consistent with the geological context.

Rotational atherectomy followed by drug-eluting stent implantation (Rota-DES): a rational approach for complex calcified coronary lesions

Rotational atherectomy has been regaining interest over the last couple of years after it almost has disappeared from most interventional catheterization laboratories for several years due to failure to prove its original concept of improving long term results of percutaneous coronary interventions (PCI) as was repeatedly shown in studies in the 1990s. Its revival coupled the introduction of drug-eluting stents (DES); these devices have led to treating much more complex lesions and high-risk patients by PCI. However, real-world experience suggested that off-label use of DES is associated with a higher rate of early and late stent thrombosis. Therefore, more attention is now being paid to the initial implantation technique of DES including aggressive lesion preparation to facilitate stent delivery and expansion. The limited studies with rot-ablation and DES showed promising results with no long term safety concerns. In these studies, a subtle observation was made suggesting that rot-ablation prior to DES implantation in such lesions may have an add-on effect on long term outcome compared to DES alone. An ongoing multicenter study is investigating such effect among complex calcified coronary lesions. Even if this additive benefit does not prove true, rot-ablation remains an efficient tool for preparing certain lesions to facilitate effective and safe DES implantation. Therefore, interventional training programs should focus on this difficult technique to bridge the gap of experience which resulted from neglecting it for several years. In this regard, dedicated courses at experienced sites as well as medical simulation may be appropriate.

Posterolateral approach to the displaced posterior malleolus: functional outcome and local morbidity

BACKGROUND: Stable anatomical reconstruction of the joint surface in ankle fractures is essential to successful recovery. However, the functional outcome of fractures involving the posterior tibial plafond is often poor. We describe the morbidity and functional outcome for plate fixation of the displaced posterior malleolus using a posterolateral approach. MATERIALS AND METHODS: The posterolateral approach was used for osteosynthesis of the posterior malleolus in 45 consecutive patients (median age 54 years) with AO/Muller-classification type 44-A3 (n = 1), 44-B3 (n = 35), 44-C1 (n = 7), and 44-C2 (n = 2) ankle fractures. Thirty-three of the patients suffered complete fracture dislocation. Functional outcome at followup was measured using the modified Weber protocol and the standardized AAOS foot and ankle questionnaire. Radiological evaluation employed standardized anterior-posterior and lateral views. RESULTS: The fragment comprised a median of 24% (range, 10% to 48%) of the articular surface. Postoperative soft tissue problems were encountered in five patients (11%), one of whom required revision surgery. Two patients (4%) developed Stage I complex regional pain syndrome. Clinical and radiological followup at 25 months disclosed no secondary displacement of the fixed fragment. The median foot and ankle score was 93 (range, 58 to 100), shoe comfort score was 77 (range, 0 to 100). A median score of 7 (range, 5 to 16) was documented using the modified Weber protocol. CONCLUSION: The posterolateral approach allowed good exposure and stable fixation of a displaced posterior malleolar fragment with few local complications. The anatomical repositioning and stable fixation led to good functional and subjective outcome.

Novel functional profiling approach combining reverse phase protein microarrays and human 3-D ex vivo tissue cultures: expression of apoptosis-related proteins in human colon cancer

Cancer is caused by a complex pattern of molecular perturbations. To understand the biology of cancer, it is thus important to look at the activation state of key proteins and signaling networks. The limited amount of available sample material from patients and the complexity of protein expression patterns make the use of traditional protein analysis methods particularly difficult. In addition, the only approach that is currently available for performing functional studies is the use of serial biopsies, which is limited by ethical constraints and patient acceptance. The goal of this work was to establish a 3-D ex vivo culture technique in combination with reverse-phase protein microarrays (RPPM) as a novel experimental tool for use in cancer research. The RPPM platform allows the parallel profiling of large numbers of protein analytes to determine their relative abundance and activation level. Cancer tissue and the respective corresponding normal tissue controls from patients with colorectal cancer were cultured ex vivo. At various time points, the cultured samples were processed into lysates and analyzed on RPPM to assess the expression of carcinoembryonic antigen (CEA) and 24 proteins involved in the regulation of apoptosis. The methodology displayed good robustness and low system noise. As a proof of concept, CEA expression was significantly higher in tumor compared with normal tissue (p<0.0001). The caspase 9 expression signal was lower in tumor tissue than in normal tissue (p<0.001). Cleaved Caspase 8 (p=0.014), Bad (p=0.007), Bim (p=0.007), p73 (p=0.005), PARP (p<0.001), and cleaved PARP (p=0.007) were differentially expressed in normal liver and normal colon tissue. We demonstrate here the feasibility of using RPPM technology with 3-D ex vivo cultured samples. This approach is useful for investigating complex patterns of protein expression and modification over time. It should allow functional proteomics in patient samples with various applications such as pharmacodynamic analyses in drug development.

A novel cryo-mechanical approach for the removal of blocked nonretrievable implant components

The removal of nonretrievable implant components represents a challenge in implant dentistry. The mechanical approach involves the risk of damaging the implant connection or the bone-to-implant interface. This case report describes a cryo-mechanical approach for the safe removal of a nonretrievable implant component. A patient had an implant surgically placed in a private practice. When the patient returned to the restorative dentist to make a definitive impression, the healing abutment could not be loosened. The patient was referred to the Division of Fixed Prosthodontics (University of Bern, Switzerland), where the stripped screw hole was enlarged with a special drill from a service kit of the implant provider. Although an extraction bolt was screwed into the opening and the torque ratchet was activated, the healing abutment would not loosen. A novel approach was attempted whereby the healing abutment was cooled with dry ice (CO2). The cooling effect seemingly caused shrinkage of the healing abutment and a reduction of the connection forces between the implant and the nonretrievable component. The approach of creating an access hole for the application of reverse torque via the extraction bolt in combination with the thermal effect led to the successful removal of the blocked component. Neither the implant connection nor the bone-to-implant interface was damaged. The combined cryo-mechanical procedure allowed the implant to be successfully restored.

Minimising pain in farm animals: the 3S approach - 'Suppress, Substitute, Soothe'

Recently, the French National Institute for Agricultural Research appointed an expert committee to review the issue of pain in food-producing farm animals. To minimise pain, the authors developed a '3S' approach accounting for 'Suppress, Substitute and Soothe' by analogy with the '3Rs' approach of 'Reduction, Refinement and Replacement' applied in the context of animal experimentation. Thus, when addressing the matter of pain, the following steps and solutions could be assessed, in the light of their feasibility (technical constraints, logistics and regulations), acceptability (societal and financial aspects) and availability. The first solution is to suppress any source of pain that brings no obvious advantage to the animals or the producers, as well as sources of pain for which potential benefits are largely exceeded by the negative effects. For instance, tail docking of cattle has recently been eliminated. Genetic selection on the basis of resistance criteria (as e.g. for lameness in cattle and poultry) or reduction of undesirable traits (e.g. boar taint in pigs) may also reduce painful conditions or procedures. The second solution is to substitute a technique causing pain by another less-painful method. For example, if dehorning cattle is unavoidable, it is preferable to perform it at a very young age, cauterising the horn bud. Animal management and constraint systems should be designed to reduce the risk for injury and bruising. Lastly, in situations where pain is known to be present, because of animal management procedures such as dehorning or castration, or because of pathology, for example lameness, systemic or local pharmacological treatments should be used to soothe pain. These treatments should take into account the duration of pain, which, in the case of some management procedures or diseases, may persist for longer periods. The administration of pain medication may require the intervention of veterinarians, but exemptions exist where breeders are allowed to use local anaesthesia (e.g. castration and dehorning in Switzerland). Extension of such exemptions, national or European legislation on pain management, or the introduction of animal welfare codes by retailers into their meat products may help further developments. In addition, veterinarians and farmers should be given the necessary tools and information to take into account animal pain in their management decisions.

A mixed-integer linear programming approach to the optimization of event-bus schedules: a scheduling application in the tourism sector

This paper deals with “The Enchanted Journey,” which is a daily event tour booked by Bollywood-film fans. During the tour, the participants visit original sites of famous Bollywood films at various locations in Switzerland; moreover, the tour includes stops for lunch and shopping. Each day, up to five buses operate the tour. For operational reasons, however, two or more buses cannot stay at the same location simultaneously. Further operative constraints include time windows for all activities and precedence constraints between some activities. The planning problem is how to compute a feasible schedule for each bus. We implement a two-step hierarchical approach. In the first step, we minimize the total waiting time; in the second step, we minimize the total travel time of all buses. We present a basic formulation of this problem as a mixed-integer linear program. We enhance this basic formulation by symmetry-breaking constraints, which reduces the search space without loss of generality. We report on computational results obtained with the Gurobi Solver. Our numerical results show that all relevant problem instances can be solved using the basic formulation within reasonable CPU time, and that the symmetry-breaking constraints reduce that CPU time considerably.

A consistent combination of GNSS and SLR with minimum constraints

In this article, the realization of a global terrestrial reference system (TRS) based on a consistent combination of Global Navigation Satellite System (GNSS) and Satellite Laser Ranging (SLR) is studied. Our input data consists of normal equation systems from 17 years (1994– 2010) of homogeneously reprocessed GPS, GLONASS and SLR data. This effort used common state of the art reduction models and the same processing software (Bernese GNSS Software) to ensure the highest consistency when combining GNSS and SLR. Residual surface load deformations are modeled with a spherical harmonic approach. The estimated degree-1 surface load coefficients have a strong annual signal for which the GNSS- and SLR-only solutions show very similar results. A combination including these coefficients reduces systematic uncertainties in comparison to the singletechnique solution. In particular, uncertainties due to solar radiation pressure modeling in the coefficient time series can be reduced up to 50 % in the GNSS+SLR solution compared to the GNSS-only solution. In contrast to the ITRF2008 realization, no local ties are used to combine the different geodetic techniques.We combine the pole coordinates as global ties and apply minimum constraints to define the geodetic datum. We show that a common origin, scale and orientation can be reliably realized from our combination strategy in comparison to the ITRF2008.

Interaction of corroding iron with bentonite in the ABM1 experiment at Äspö, Sweden: A microscopic approach

Bentonite and iron metals are common materials proposed for use in deep-seated geological repositories for radioactive waste. The inevitable corrosion of iron leads to interaction processes with the clay which may affect the sealing properties of the bentonite backfill. The objective of the present study was to improve our understanding of this process by studying the interface between iron and compacted bentonite in a geological repository-type setting. Samples of MX-80 bentonite samples which had been exposed to an iron source and elevated temperatures (up to 115ºC) for 2.5 y in an in situ experiment (termed ABM1) at the Äspö Hard Rock Laboratory, Sweden, were investigated by microscopic means, including scanning electron microscopy, μ-Raman spectroscopy, spatially resolved X-ray diffraction, and X-ray fluorescence. The corrosion process led to the formation of a ~100 mm thick corrosion layer containing siderite, magnetite, some goethite, and lepidocrocite mixed with the montmorillonitic clay. Most of the corroded Fe occurred within a 10 mm-thick clay layer adjacent to the corrosion layer. An average corrosion depth of the steel of 22–35 μm and an average Fe2+ diffusivity of 1–26×10–13 m2/s were estimated based on the properties of the Fe-enriched clay layer. In that layer, the corrosion-derived Fe occurred predominantly in the clay matrix. The nature of this Fe could not be identified. No indications of clay transformation or newly formed clay phases were found. A slight enrichment of Mg close to the Fe–clay contact was observed. The formation of anhydrite and gypsum, and the dissolution of some SiO2 resulting from the temperature gradient in the in situ test, were also identified. © 2014, Clay Minerals Society. All right reserved.

A heuristic approach for scheduling assessment centers

Human resources managers often use assessment centers to evaluate candidates for a job position. During an assessment center, the candidates perform a series of exercises. The exercises require one or two assessors (e.g., managers or psychologists) that observe and evaluate the candidate. If an exercise is designed as a role-play, an actor is required as well which plays, e.g., an unhappy customer with whom the candidate has to deal with. Besides performing the exercises, the candidates have a lunch break within a prescribed time window. Each candidate should be observed by approximately half the number of the assessors. Moreover, an assessor cannot be assigned to a candidate if they personally know each other. The planning problem consists of determining (1) resource-feasible start times of all exercises and lunch breaks and (2) a feasible assignment of assessors to candidates, such that the assessment center duration is minimized. We propose a list-scheduling heuristic that generates feasible schedules for such assessment centers. We develop novel procedures for devising an appropriate scheduling list and for incorporating the problem-specific constraints. Our computational results indicate that our approach is capable of devising optimal or near-optimal solutions to real-world instances within short CPU time.

A variationist approach to the examination of insertion and deletion of /h/ in Kosraean English

I report on language variation in the unresearched variety of English emerging on Kosrae, Federated States of Micronesia. English is spoken as the inter-island lingua franca throughout Micronesia and has been the official language of FSM since gaining its independence in 1986, though still retaining close ties with the US through and economic “compact” agreement. I present here an analysis of a corpus of over 90 Kosraean English speakers, compiled during a three month fieldwork trip to the island in the Western Pacific. The 45 minute sociolinguistically sensitive recordings are drawn from a corpus of old and young, with varying levels of education and occupations, and off-island experiences. In the paper I analyse two variables. The first variable is the realisation of /h/, often subject to deletion in both L1 and L2 varieties of English. Such occurrences are commonly associated with Cockney English, but also found in Caribbean English and the postcolonial English of Australia. For example:  Male, 31: yeah I build their house their local huts and they pay me /h/ deletion is frequent in Kosraean English, but, perhaps expectedly, occurs slightly less among people with higher contact with American English, through having spent longer periods off island. The second feature under scrutiny is the variable epenthesis of [h] to provide a consonantal onset to vowel-initial syllables.  Male, 31: that guy is really hold now This practice is also found beyond Kosraean English. Previous studies find h-epenthesis arising in L1 varieties including Newfoundland and Tristan de Cunha English, while similar manifestations are identified in Francophone L2 learners of English. My variationist statistical analysis has shown [h] insertion:  to disproportionately occur intervocalically;  to be constrained by both speaker gender and age: older males are much more likely to epenthesis [h] in their speech;  to be more likely in the onset of stressed as opposed to unstressed syllables. In light of the findings of my analysis, I consider the relationship between h-deletion and h-epenthesis, the plausibility of hypercorrection as a motivation for the variation, and the potential influence of the substrate language, alongside sociolinguistic factors such as attitudes towards the US based on mobility. The analysis sheds light on the extent to which different varieties share this characteristic and the comparability of them in terms of linguistic constraints and attributes. Clarke, S. (2010). Newfoundland and Labrador English. Edinburgh: Edinburgh University Press Hackert, S. (2004). Urban Bahamian Creole: System and Variation. Varieties of English Around the World G32. Amsterdam: Benjamins Milroy, J. (1983). On the Sociolinguistic History of H-dropping in English in Current topics in English historical linguistics: Odense UP

A unified approach to architecture conformance checking

Architectural decisions can be interpreted as structural and behavioral constraints that must be enforced in order to guarantee overarching qualities in a system. Enforcing those constraints in a fully automated way is often challenging and not well supported by current tools. Current approaches for checking architecture conformance either lack in usability or offer poor options for adaptation. To overcome this problem we analyze the current state of practice and propose an approach based on an extensible, declarative and empirically-grounded specification language. This solution aims at reducing the overall cost of setting up and maintaining an architectural conformance monitoring environment by decoupling the conceptual representation of a user-defined rule from its technical specification prescribed by the underlying analysis tools. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by untrained stakeholders and, at the same time, can be can be automatically processed by a conformance checking validator. Besides addressing the issue of cost, we also investigate opportunities for increasing the value of conformance checking results by assisting the user towards the full alignment of the implementation with respect to its architecture. In particular, we show the benefits of providing actionable results by introducing a technique which automatically selects the optimal repairing solutions by means of simulation and profit-based quantification. We perform various case studies to show how our approach can be successfully adopted to support truly diverse industrial projects. We also investigate the dynamics involved in choosing and adopting a new automated conformance checking solution within an industrial context. Our approach reduces the cost of conformance checking by avoiding the need for an explicit management of the involved validation tools. The user can define rules using a convenient high-level DSL which automatically adapts to emerging analysis requirements. Increased usability and modular customization ensure lower costs and a shorter feedback loop.