Process Creation and Full Sequential Composition in a Name-Passing Calculus

This paper presents the underlying theory for a process calculus featuring process creation and sequential composition, instead of the more usual parallel composition and action prefixing, in a setting where mobility is achieved by communicating channel names. We discuss the questions of scope and name binding, raised by the interaction of mobility and sequential composition. Substitution of names is integrated as a syntactic operator in the calculus. We present an axiomatic theory for the calculus and show its soundness and completeness w.r.t. bisimulation equivalence

Labeling Adipose-Derived Stem Cells with Hoechst 33342: Usability and Effects on Differentiation Potential and DNA Damage

Adipose-derived stem cells (ASCs) have been extensively studied in the field of stem cell research and possess numerous clinical applications. Cell labeling is an essential component of various experimental protocols and Hoechst 33342 (H33342) represents a cost-effective and easy methodology for live staining. The purpose of this study was to evaluate the labeling of rat ASCs with two different concentrations of H33342 (0.5 μg/mL and 5 μg/mL), with particular regard to usability, interference with cell properties, and potential DNA damage. Hoechst 33342 used at a low concentration of 0.5 μg/mL did not significantly affect cell proliferation, viability, or differentiation potential of the ASCs, nor did it cause any significant DNA damage as measured by the olive tail moment. High concentrations of 5 μg/mL H33342, however, impaired the proliferation and viability of the ASCs, and considerable DNA damage was observed. Undesirable colabeling of unlabeled cocultivated cells was seen in particular with higher concentrations of H33342, independent of varying washing procedures. Hence, H33342 labeling with lower concentrations represents a usable method, which does not affect the tested cell properties. However, the colabeling of adjacent cells is a drawback of the technique

Clinically insignificant trunnionosis in large-diameter metal-on-polyethylene total hip arthroplasty.

OBJECTIVES: Mechanical wear and corrosion at the head-stem junction of total hip arthroplasties (THAs) (trunnionosis) have been implicated in their early revision, most commonly in metal-on-metal (MOM) hips. We can isolate the role of the head-stem junction as the predominant source of metal release by investigating non-MOM hips; this can help to identify clinically significant volumes of material loss and corrosion from these surfaces. METHODS: In this study we examined a series of 94 retrieved metal-on-polyethylene (MOP) hips for evidence of corrosion and material loss at the taper junction using a well published visual grading method and an established roundness-measuring machine protocol. Hips were retrieved from 74 male and 20 female patients with a median age of 57 years (30 to 76) and a median time to revision of 215 months (2 to 324). The reasons for revision were loosening of both the acetabular component and the stem (n = 29), loosening of the acetabular component (n = 58) and infection (n = 7). No adverse tissue reactions were reported by the revision surgeons. RESULTS: Evidence of corrosion was observed in 55% of hips. The median Goldberg taper corrosion score was 2 (1 to 4) and the annual rate of material loss at the taper was 0.084 mm(3)/year (0 to 0.239). The median trunnion corrosion score was 1 (1 to 3). CONCLUSIONS: We have reported a level of trunnionosis for MOP hips with large-diameter heads that were revised for reasons other than trunnionosis, and therefore may be clinically insignificant.Cite this article: H. S. Hothi, D. Kendoff, C. Lausmann, J. Henckel, T. Gehrke, J. Skinner, A. Hart. Clinically insignificant trunnionosis in large-diameter metal-on-polyethylene total hip arthroplasty. Bone Joint Res 2017;6:52-56. DOI: 10.1302/2046-3758.61.BJR-2016-0150.R2

Efficient computation of min and max sensor values in multihop networks

Consider a wireless sensor network (WSN) where a broadcast from a sensor node does not reach all sensor nodes in the network; such networks are often called multihop networks. Sensor nodes take sensor readings but individual sensor readings are not very important. It is important however to compute aggregated quantities of these sensor readings. The minimum and maximum of all sensor readings at an instant are often interesting because they indicate abnormal behavior, for example if the maximum temperature is very high then it may be that a fire has broken out. We propose an algorithm for computing the min or max of sensor readings in a multihop network. This algorithm has the particularly interesting property of having a time complexity that does not depend on the number of sensor nodes; only the network diameter and the range of the value domain of sensor readings matter

Retrieval analysis of ceramic-coated metal-on-polyethylene total hip replacements

PURPOSE: Ceramic coatings have been used in metal-on-polyethylene (MOP) hips to reduce the risk of wear and also infection; the clinical efficacy of this remains unclear. This retrieval study sought to better understand the performance of coated bearing surfaces. METHODS: Forty-three coated MOP components were analysed post-retrieval for evidence of coating loss and gross polyethylene wear. Coating loss was graded using a visual semi-quantitative protocol. Evidence of gross polyethylene wear was determined by radiographic analysis and visual inspection of the retrieved implants. RESULTS: All components with gross polyethylene wear (n = 10) were revised due to a malfunctioning acetabular component; 35 % (n = 15) of implants exhibited visible coating loss and the incidence of polyethylene wear in samples with coating loss was 54 %, significantly (p = 0.02) elevated compared to samples with intact coatings (14 %). CONCLUSIONS: In this study we found evidence of coating loss on metal femoral heads which was associated with increased wear of the corresponding polyethylene acetabular cups

The EU as a Good Global Actor

This paper outlines an exploratory workshop at City Law School, City, University of London funded by HEIF/ ‘EUTIP’ Marie Skłodowska-Curie Innovative Training Network (ITN) on understanding of the EU as a Good Global Actor.1 The EU has as its mission to be a good global governance actor yet is continuously challenged in the world. As a global actor, the EU is both a weak and strong actor in a divergent range of global governance areas. It is not comparable to study the EU as a global trade actor for example to its efforts in human rights, data, cyber or the environment. EU international relations constitutes arguably a booming field of law where the EU appears often to be a victim of its own success. The range of the subjects and objects of EU law continues to expand and the EU is arguably increasingly a victim of its own success, increasingly taking decisions with impacts on third countries or parties, subjecting more entities to sanctions regimes, being bound to consult more entities and have more third countries, parties and entities such as lobbyists interested in the directions of EU law. The assessment of the EU as a global actor includes broad checks on normative action ex ante and ex post facto- yet it is no less harsh. Ex ante metrics of EU global action include court-centred ones such as an opinion from the CJEU on legality of an international agreement, often precluded in most constitutional systems on account of its conflict with pacta sunt servanda. The contours of the principle of the autonomy of EU law have the capacity to put more stringent parameters on EU institutionalised evolutions as to international engagement. How can we assess the EU as a global actor given these realities? The aim of the event was to explore informally the nexus between trade and security, trade and economics and trade and human rights as a future research agenda with input from a variety of scholars It reflected upon four major themes: 1) The EU’s Contribution to the Democratisation of Global Governance 2) Deeper Trade Agreements and New Normative Foundations 3) The EU as a Global Actor in Trade and Fundamental Rights 4) EU’s Trade in the Era of Global Data Flows

Predicting the binding preference of transcription factors to individual DNA k-mers

Motivation: Recognition of specific DNA sequences is a central mechanism by which transcription factors (TFs) control gene expression. Many TF-binding preferences, however, are unknown or poorly characterized, in part due to the difficulty associated with determining their specificity experimentally, and an incomplete understanding of the mechanisms governing sequence specificity. New techniques that estimate the affinity of TFs to all possible k-mers provide a new opportunity to study DNA–protein interaction mechanisms, and may facilitate inference of binding preferences for members of a given TF family when such information is available for other family members. Results: We employed a new dataset consisting of the relative preferences of mouse homeodomains for all eight-base DNA sequences in order to ask how well we can predict the binding profiles of homeodomains when only their protein sequences are given. We evaluated a panel of standard statistical inference techniques, as well as variations of the protein features considered. Nearest neighbour among functionally important residues emerged among the most effective methods. Our results underscore the complexity of TF–DNA recognition, and suggest a rational approach for future analyses of TF families. Contact: [email protected] Supplementary information: Supplementary data are available at Bioinformatics online.Canadian Institutes of Health ResearchOntario Research FundNational Institutes of Health (U.S.)National Human Genome Research Institute (U.S.

Cyber-physical energy systems modeling, test specification, and co-simulation based testing

The gradual deployment of intelligent and coordinated devices in the electrical power system needs careful investigation of the interactions between the various domains involved. Especially due to the coupling between ICT and power systems a holistic approach for testing and validating is required. Taking existing (quasi-) standardised smart grid system and test specification methods as a starting point, we are developing a holistic testing and validation approach that allows a very flexible way of assessing the system level aspects by various types of experiments (including virtual, real, and mixed lab settings). This paper describes the formal holistic test case specification method and applies it to a particular co-simulation experimental setup. The various building blocks of such a simulation (i.e., FMI, mosaik, domain-specific simulation federates) are covered in more detail. The presented method addresses most modeling and specification challenges in cyber-physical energy systems and is extensible for future additions such as uncertainty quantification

Acidithiobacillus thiooxidans secretome containing a newly described lipoprotein Licanantase enhances chalcopyrite bioleaching rate

The nature of the mineral–bacteria interphase where electron and mass transfer processes occur is a key element of the bioleaching processes of sulfide minerals. This interphase is composed of proteins, metabolites, and other compounds embedded in extracellular polymeric substances mainly consisting of sugars and lipids (Gehrke et al., Appl Environ Microbiol 64(7):2743–2747, 1998). On this respect, despite Acidithiobacilli—a ubiquitous bacterial genera in bioleaching processes (Rawlings, Microb Cell Fact 4(1):13, 2005)—has long been recognized as secreting bacteria (Jones and Starkey, J Bacteriol 82:788–789, 1961; Schaeffer and Umbreit, J Bacteriol 85:492–493, 1963), few studies have been carried out in order to clarify the nature and the role of the secreted protein component: the secretome. This work characterizes for the first time the sulfur (meta)secretome of Acidithiobacillus thiooxidans strain DSM 17318 in pure and mixed cultures with Acidithiobacillus ferrooxidans DSM 16786, identifying the major component of these secreted fractions as a single lipoprotein named here as Licanantase. Bioleaching assays with the addition of Licanantase-enriched concentrated secretome fractions show that this newly found lipoprotein as an active protein additive exerts an increasing effect on chalcopyrite bioleaching rate