Minimize the Maximum Duty in Multi-interface Networks

We consider devices equipped with multiple wired or wireless interfaces. By switching of various interfaces, each device might establish several connections. A connection is established when the devices at its endpoints share at least one active interface. Each interface is assumed to require an activation cost. In this paper, we consider two basic networking problems in the field of multi-interface networks. The first one, known as the Coverage problem, requires to establish the connections defined by a network. The second one, known as Connectivity problem, requires to guarantee a connecting path between any pair of nodes of a network. Both are subject to the constraint of keeping as low as possible the maximum cost set of active interfaces at each single node. We study the problems of minimizing the maximum cost set of active interfaces among the nodes of the network in order to cover all the edges in the first case, or to ensure connectivity in the second case. We prove that the Coverage problem is NP-hard for any fixed Δ≥5 and k≥16, with Δ being the maximum degree, and k being the number of different interfaces among the network. We also show that, unless P=NP, the problem cannot be approximated within a factor of ηln?Δ, for a certain constant η. We then provide a general approximation algorithm which guarantees a factor of O((1+b)ln?Δ), with b being a parameter depending on the topology of the input graph. Interestingly, b can be bounded by a constant for many graph classes. Other approximation and exact algorithms for special cases are presented. Concerning the Connectivity problem, we prove that it is NP-hard for any fixed Δ≥3 and k≥10. Also for this problem, the inapproximability result holds, that is, unless P=NP, the problem cannot be approximated within a factor of ηln?Δ, for a certain constant η. We then provide approximation and exact algorithms for the general problem and for special cases, respectively.     

Robust model predictive control with guaranteed setpoint tracking

In this paper a novel robust model predictive control (RMPC) algorithm is proposed, which is guaranteed to stabilize any linear time-varying system in a given convex uncertainty region while respecting state and input constraints. Moreover, unlike most existing RMPC algorithms, the proposed algorithm is guaranteed to remove steady-state offset in the controlled variables for setpoints (possibly) different from the origin when the system is unknown linear time-invariant. The controller uses a dual-mode paradigm (linear control law plus free control moves to reach an appropriate invariant region), and the key step is the design of a robust linear state feedback controller with integral action and the construction of an appropriate polyhedral invariant region in which this controller is guaranteed to satisfy the process constraints. The proposed algorithm is efficient since the on-line implementation only requires one to solve a convex quadratic program with a number of decision variables that scale linearly with the control horizon. The main features of the new control algorithm are illustrated through an example of the temperature control of an open-loop unstable continuous stirred tank reactor.     

A taxonomy of novice user perception of error on the Web

Novice users face many challenges when browsing the Web. The goal of this experiment was to learn about how users perceive error situations when using the World Wide Web. Specifically, the goal was to learn which circumstances cause users to believe that an error has occurred. An exploratory experiment took place with 78 subjects who were novice users. In the experiment the subjects were asked to identify when they perceived that an error had occurred. The subjects reported a total of 219 error situations. These error situations were then classified by the researchers into the following four categories: user error, system error, situational error, and poor Web design. Based on the collected data, suggestions are presented for improving the usability of Web browsers and Web sites.     

NKG2C+ NK Cells for Immunotherapy of Glioblastoma Multiforme

In glioblastoma, non-classical human leucocyte antigen E (HLA-E) and HLA-G are frequently overexpressed. HLA-E loaded with peptides derived from HLA class I and from HLA-G contributes to inhibition of natural killer (NK) cells with expression of the inhibitory receptor CD94/NKG2A. We investigated whether NK cells expressing the activating CD94/NKG2C receptor counterpart were able to exert anti-glioma effects. NKG2C+ subsets were preferentially expanded by a feeder cell line engineered to express an artificial disulfide-stabilized trimeric HLA-E ligand (HLA-E*spG). NK cells expanded by a feeder cell line, which facilitates outgrowth of conventional NKG2A+, and fresh NK cells, were included for comparison. Expansion via the HLA-E*spG feeder cells selectively increased the fraction of NKG2C+ NK cells, which displayed a higher frequency of KIR2DL2/L3/S2 and CD16 when compared to expanded NKG2A+ NK cells. NKG2C+ NK cells exhibited increased cytotoxicity against K562 and KIR:HLA-matched and -mismatched primary glioblastoma multiforme (GBM) cells when compared to NKG2A+ NK cells and corresponding fresh NK cells. Cytotoxic responses of NKG2C+ NK cells were even more pronounced when utilizing target cells engineered with HLA-E*spG. These findings support the notion that NKG2C+ NK cells have potential therapeutic value for treating gliomas.     

A theory of ultimately periodic languages and automata with an application to time granularity

In this paper, we develop a theory of regular ω-languages that consist of ultimately periodic words only and we provide it with an automaton-based characterization. The resulting class of automata, called ultimately periodic automata (UPA), is a subclass of the class of Büchi automata and inherits some properties of automata over finite words (NFA). Taking advantage of the similarities among UPA, Büchi automata, and NFA, we devise efficient solutions to a number of basic problems for UPA, such as the inclusion, the equivalence, and the size optimization problems. The original motivation for developing a theory of ultimately periodic languages and automata was to represent and to reason about sets of time granularities in knowledge-based and database systems. In the last part of the paper, we show that UPA actually allow one to represent (possibly infinite) sets of granularities, instead of single ones, in a compact and suitable to algorithmic manipulation way. In particular, we describe an application of UPA to a concrete time granularity scenario taken from clinical medicine.     

The State of the Art of Piezo1 Channels in Skeletal Muscle Regeneration

Piezo1 channels are highly mechanically-activated cation channels that can sense and transduce the mechanical stimuli into physiological signals in different tissues including skeletal muscle. In this focused review, we summarize the emerging evidence of Piezo1 channel-mediated effects in the physiology of skeletal muscle, with a particular focus on the role of Piezo1 in controlling myogenic precursor activity and skeletal muscle regeneration and vascularization. The disclosed effects reported by pharmacological activation of Piezo1 channels with the selective agonist Yoda1 indicate a potential impact of Piezo1 channel activity in skeletal muscle regeneration, which is disrupted in various muscular pathological states. All findings reported so far agree with the idea that Piezo1 channels represent a novel, powerful molecular target to develop new therapeutic strategies for preventing or ameliorating skeletal muscle disorders characterized by an impairment of tissue regenerative potential.     

Correlation of the loss in photovoltaic module performance with the ageing behaviour of the backsheets used

The influence of the type of backsheet on the electrical performance of test modules was evaluated before and after increasing time of accelerated ageing (damp heat [DH] exposure). Besides the measurement of the electrical power of the modules and the performance of the cells by electroluminescence, the ageing‐induced changes within the polymeric encapsulate and backsheets were investigated by means of vibrational spectroscopy and by thermo analytical methods. In addition, the permeability of the backsheets in the original and aged state was determined. This wide set of test parameters and methods allowed for the detection of correlations between (i) physical and chemical properties as well as their ageing‐induced changes of the materials and (ii) the module performance. A clear dependence of the relative loss in power output upon exposure under DH conditions for 2000 h could be observed for a set of identical test modules varied in composition only in the type of back cover used. While the modules containing gas‐tight backsheets and glass experienced only little loss in the relative power output, some modules with permeable backsheets showed a significant relative decrease in the power output and fill factor in dependence of the backsheet type used. Cell degradation could be visualised by recording electroluminescence images before and after the accelerated ageing test. The permeation properties of the backsheet used and their ageing‐induced changes seem to have an influence on the module performance. However, the absolute values neither of the water vapour transmission rate (WVTR) nor of the oxygen transmission rate (OTR) are directly linked to the loss in power output upon accelerated ageing under DH conditions. It could be shown that the ageing‐induced changes (relative transmission rates) between WVTR and OTR can be correlated with the module performance. These ageing‐induced changes in the permeation behaviour of the backsheets can be explained by (i) physical changes (e.g. post‐crystallisation, changes in the crystal structure or the crystalline microstructure) and (ii) chemical ageing effects such as a decrease in the molecular mass of the polyester (PET) polymer chains because of hydrolytic polymer degradation leading to a change in the crystallisation behaviour of PET. Hydrolytic degradation (= chemical ageing) of the PET core layer was observed (with varying extent) for all PET‐based backsheets and can, thus, not be directly correlated with the loss in performance of the corresponding test modules. The physical ageing effects, however, were detected only for those backsheets showing (i) strong deviating changes in the relative permeation rates for oxygen and water vapour upon accelerated ageing and (ii) a clear loss in electrical performance. Copyright © 2015 John Wiley & Sons, Ltd.     

High eEF1A1 Protein Levels Mark Aggressive Prostate Cancers and the In Vitro Targeting of eEF1A1 Reveals the eEF1A1–actin Complex as a New Potential Target for Therapy

Although the eukaryotic elongation factor eEF1A1 plays a role in various tumours, there is little information on its prognosis/therapeutic value in prostate carcinoma. In high-grade and castration-resistant prostate carcinoma (CRPC), the identification of novel therapeutic markers/targets remains a priority. The expression of eEF1A1 protein was determined in formalin-fixed, paraffin-embedded prostate cancer and hyperplasia tissue by IHC. The role of eEF1A1 was investigated in a cellular model using a DNA aptamer (GT75) we previously developed. We used the aggressive CRPC cancer PC-3 and non-tumourigenic PZHPV-7 lines. Cytotoxicity was measured by the MTS assay and eEF1A1 protein levels by in-cell Western assays. The mRNA levels of eEF1A1 were measured by qPCR and ddPCR. Higher expression of eEF1A1 was found in Gleason 7–8 compared with 4–6 tissues (Gleason ≥ 7, 87% versus Gleason ≤ 6, 54%; p = 0.033). Patients with a high expression of eEF1A1 had a worse clinical outcome. In PC-3, but not in PZHPV-7, GT75 decreased cell viability and increased autophagy and cell detachment. In PC-3 cells, but not in PZHPV-7, GT75 mainly co-localised with the fraction of eEF1A1 bound to actin. Overexpression of the eEF1A1 protein can identify aggressive forms of prostate cancer. The targeting of eEF1A1 by GT75 impaired cell viability in PC-3 cancer cells but not in PZHPV-7 non-tumourigenic cells, indicating a specific role for the protein in cancer survival. The eEF1A1–actin complexes appear to be critical for the viability of PC-3 cancer cells, suggesting that eEF1A1 may be an attractive target for therapeutic strategies in advanced forms of prostate cancer.     

Symposium review: The importance of the ruminal epithelial barrier for a healthy and productive cow

The stratified squamous ruminal epithelium is the main site for absorption of key nutrients (e.g., short-chain fatty acids; SCFA) and electrolytes (e.g., sodium and magnesium). The absorptive function has to be highly selective to prevent simultaneous entry of microbes and toxins from the rumen into the blood. As such, epithelial absorption is primarily transcellular, whereas the paracellular pathway appears rather tightly sealed. A network of tight junction (claudin-1, claudin-4, and occludin) and tight junction-associated proteins (e.g., zonula occludens) accomplishes the latter. When microbial fermentation activity is high such as with highly fermentable diets, rumen epithelial functions are often challenged by acidity, high osmolarity, toxins (e.g., endotoxin and histamine), and immune mediators (inflammatory mediators and cytokines) released during local and systemic inflammation. Epithelial damage by low pH in combination with high luminal SCFA concentrations is not immediately reversible and may initially aggravate upon return to physiological pH. In contrast, barrier opening upon hyperosmolarity is acutely transient. The initial insults set by luminal acidity and SCFA and the increasing concentrations of microbial-associated molecular patterns such as lipopolysaccharides are key factors that trigger inflammation not only in the rumen but also in the hindgut (cecum and colon), which reach out to the liver and other organs, causing systemic inflammation. Low feed intake during parturition, transportation, heat stress, or disease is the second most relevant challenge for the ruminal epithelial barrier. The barrier opening is usually only transient and quickly restored upon refeeding. Due to a rapid, dose-dependent, and prolonged decrease in absorption capacity for SCFA, however, any feed restriction increases the odds for postrestriction subacute ruminal acidosis. Inflammation due to acidosis can be alleviated by supplemental thiamine, yeasts, and plant bioactive (phytogenic) compounds. Butyrate is used in weaning calves to support ruminal barrier development; however, excess butyrate may promote hyperkeratosis, parakeratosis, and epithelial injury in the fully developed rumen of adult cows. Further research is needed to enhance the understanding of the various factors that counteract barrier impairment and help barrier restoration during acidogenic feeding, especially when concurring with unavoidable periods of feed restriction.