Foundations of quantitative information flow: Channels, cascades, and the information order

Secrecy is fundamental to computer security, but real systems often cannot avoid leaking some secret information. For this reason, the past decade has seen growing interest in quantitative theories of information flow that allow us to quantify the information being leaked. Within these theories, the system is modeled as an information-theoretic channel that specifies the probability of each output, given each input. Given a prior distribution on those inputs, entropy-like measures quantify the amount of information leakage caused by the channel. ^ This thesis presents new results in the theory of min-entropy leakage. First, we study the perspective of secrecy as a resource that is gradually consumed by a system. We explore this intuition through various models of min-entropy consumption. Next, we consider several composition operators that allow smaller systems to be combined into larger systems, and explore the extent to which the leakage of a combined system is constrained by the leakage of its constituents. Most significantly, we prove upper bounds on the leakage of a cascade of two channels, where the output of the first channel is used as input to the second. In addition, we show how to decompose a channel into a cascade of channels. ^ We also establish fundamental new results about the recently-proposed g-leakage family of measures. These results further highlight the significance of channel cascading. We prove that whenever channel A is composition refined by channel B, that is, whenever A is the cascade of B and R for some channel R, the leakage of A never exceeds that of B, regardless of the prior distribution or leakage measure (Shannon leakage, guessing entropy leakage, min-entropy leakage, or g-leakage). Moreover, we show that composition refinement is a partial order if we quotient away channel structure that is redundant with respect to leakage alone. These results are strengthened by the proof that composition refinement is the only way for one channel to never leak more than another with respect to g-leakage. Therefore, composition refinement robustly answers the question of when a channel is always at least as secure as another from a leakage point of view.^

Genesis and character of thin-bedded turbidites associated with submarine channels

Acknowledgements We acknowledge the support of the PRACSS Joint Industry Project at University of Aberdeen, funded by BG Group, BP, DONG, RWE Dea, Petrochina, Statoil and Tullow Oil. We also acknowledge the entire crew of the Urania Research vessel which was used to acquire the CHIRP lines, bathymetric data and gravity cores from the Tyrrhenian Sea, Italy. Our colleagues Michal Janocko and Mike Mayall are thanked for the discussions and comments. Our colleagues Pan Li, Amanda Santa Catharina, Guilherme Bozetti and Matheus Silveira Sobiesiak are thanked for their assistance during field work where some of the ideas in this paper were synthesized. Finally we thank one anonymous reviewer and Brian Romans for their invaluable feedback which made some of the ideas introduced in this review much more succinct.

On the mobility, membrane location and functionality of mechanosensitive channels in Escherichia coli

We thank Frans Bianchi and Franz Ho for assistance with molecular cloning, Tim Rasmussen for providing the pTRC-MscK plasmid, Andrew Robinson for providing the pBAD-mEos3.2 plasmid, Matthias Heinemann for assistance with the flow cytometry measurements, Paul Schavemaker for performing Smoldyn simulations and Michiel Punter for programming ImageJ plugins for PALM reconstructions and single-particle tracking. We thank Ian Booth for critical reading of the manuscript, and Christoffer Åberg and Matteo Gabba for valuable discussions. The authors would like to thank David Dryden and Marcel Reuter for performing preliminary experiments from which this work has been built. The work was funded by the EU FP7 ITN-network program NICHE.

4 Tb/s transmission reach enhancement using 10 × 400 Gb/s super-channels and polarization insensitive dual band optical phase conjugation

In this paper, we experimentally demonstrate the benefit of polarization insensitive dual-band optical phase conjugation for up to ten 400 Gb/s optical super-channels using a Raman amplified transmission link with a realistic span length of 75 km. We demonstrate that the resultant increase in transmission distance may be predicted analytically if the detrimental impacts of power asymmetry and polarization mode dispersion are taken into account.

Impact of scatterer density on the performances of double-scattering MIMO channels

We investigate a MIMO double-scattering model with both local and remote scatterers, aiming to investigate the effect of scatterer density on channel performances, such as capacity, correlation, and the condition number of the channel matrix in flat and frequency-selective fading channels. The investigations are carried out in terms of scatterer density. It is shown that in flat fading channels the scatterer density has a marginal effect on channel performances when the area of the two scatterer zones is fixed, while a significant impact is observed when the area of the scatterer zones is allowed to change. In frequency-selective fading channels, no matter the area of the scatterer zones is fixed or not, scatterer density can affect the channel capacity to a certain degree that depends on the length of the coding block of the transmitted signals. © 2010 IEEE.

Synergy between Piezo1 and Piezo2 channels confers high-strain mechanosensitivity to articular cartilage.

Diarthrodial joints are essential for load bearing and locomotion. Physiologically, articular cartilage sustains millions of cycles of mechanical loading. Chondrocytes, the cells in cartilage, regulate their metabolic activities in response to mechanical loading. Pathological mechanical stress can lead to maladaptive cellular responses and subsequent cartilage degeneration. We sought to deconstruct chondrocyte mechanotransduction by identifying mechanosensitive ion channels functioning at injurious levels of strain. We detected robust expression of the recently identified mechanosensitive channels, PIEZO1 and PIEZO2. Combined directed expression of Piezo1 and -2 sustained potentiated mechanically induced Ca(2+) signals and electrical currents compared with single-Piezo expression. In primary articular chondrocytes, mechanically evoked Ca(2+) transients produced by atomic force microscopy were inhibited by GsMTx4, a PIEZO-blocking peptide, and by Piezo1- or Piezo2-specific siRNA. We complemented the cellular approach with an explant-cartilage injury model. GsMTx4 reduced chondrocyte death after mechanical injury, suggesting a possible therapy for reducing cartilage injury and posttraumatic osteoarthritis by attenuating Piezo-mediated cartilage mechanotransduction of injurious strains.

UVB radiation generates sunburn pain and affects skin by activating epidermal TRPV4 ion channels and triggering endothelin-1 signaling.

At our body surface, the epidermis absorbs UV radiation. UV overexposure leads to sunburn with tissue injury and pain. To understand how, we focus on TRPV4, a nonselective cation channel highly expressed in epithelial skin cells and known to function in sensory transduction, a property shared with other transient receptor potential channels. We show that following UVB exposure mice with induced Trpv4 deletions, specifically in keratinocytes, are less sensitive to noxious thermal and mechanical stimuli than control animals. Exploring the mechanism, we find that epidermal TRPV4 orchestrates UVB-evoked skin tissue damage and increased expression of the proalgesic/algogenic mediator endothelin-1. In culture, UVB causes a direct, TRPV4-dependent Ca(2+) response in keratinocytes. In mice, topical treatment with a TRPV4-selective inhibitor decreases UVB-evoked pain behavior, epidermal tissue damage, and endothelin-1 expression. In humans, sunburn enhances epidermal expression of TRPV4 and endothelin-1, underscoring the potential of keratinocyte-derived TRPV4 as a therapeutic target for UVB-induced sunburn, in particular pain.

The role of age and emotional valence in word recognition: an ex-Gaussian analysis

The aim of this work is to evaluate the roles of age and emotional valence in word recognition in terms of ex-Gaussian distribution components. In order to do that, a word recognition task was carried out with two age groups, in which emotional valence was manipulated. Older participants did not present a clear trend for reaction times. The younger participants showed significant statistical differences in negative words for target and distracting conditions. Addressing the ex-Gaussian tau parameter, often related to attentional demands in the literature, age-related differences in emotional valence seem not to have an effect for negative words. Focusing on emotional valence for each group, the younger participants only showed an effect on negative distracting words. The older participants showed an effect regarding negative and positive target words, and negative distracting words. This suggests that the attentional demand is higher for emotional words, in particular, for the older participants.

‘Never Let Me Down Again’1: Loyal customer attitudes towards ticket distribution channels for live music events: a netnographic exploration of the US leg of the Depeche Mode 2005–2006 World Tour

Ticket distribution channels for live music events have been revolutionised through the increased take-up of internet technologies, and the music supply-chain has evolved into a multi-channel value network. The assumption that this creates increased consumer autonomy and improved service quality is explored here through a case-study of the ticket pre-sale for the US leg of the Depeche Mode 2005–06 World Tour, which utilises an innovative virtual channel strategy, promoted as a service to loyal fans. A multi-method analysis, adopting Kozinets' (2002) Kozinets, R. V. 2002. The field behind the screen: using netnography for marketing research in online communities. Journal of Marketing Research, 39: 61–72. [CrossRef], [Web of Science ®] netnography methodology, is employed to map responses of the band's serious fan base on an internet message board (IMB) throughout the tour pre-sale. The analysis focuses on concerns of pricing, ethics, scope of the offer, use of technology, service quality and perceived brand performance fit of channel partners. Findings indicate that fans behaviour is unpredictable in response to channel partners' performance, and that such offers need careful management to avoid alienation of loyal consumers.

Time series wind power forecasting based on variant Gaussian process and TLBO

Due to the variability and stochastic nature of wind power system, accurate wind power forecasting has an important role in developing reliable and economic power system operation and control strategies. As wind variability is stochastic, Gaussian Process regression has recently been introduced to capture the randomness of wind energy. However, the disadvantages of Gaussian Process regression include its computation complexity and incapability to adapt to time varying time-series systems. A variant Gaussian Process for time series forecasting is introduced in this study to address these issues. This new method is shown to be capable of reducing computational complexity and increasing prediction accuracy. It is further proved that the forecasting result converges as the number of available data approaches innite. Further, a teaching learning based optimization (TLBO) method is used to train the model and to accelerate
the learning rate. The proposed modelling and optimization method is applied to forecast both the wind power generation of Ireland and that from a single wind farm to show the eectiveness of the proposed method.

Modeling, Analysis and Performance Comparison of Two Direct Sampling DCSK Receivers under Frequency Nonselective Fading Channels

Two direct sampling correlator-type receivers for differential chaos shift keying (DCSK) communication systems under frequency non-selective fading channels are proposed. These receivers operate based on the same hardware platform with different architectures. In the first scheme, namely sum-delay-sum (SDS) receiver, the sum of all samples in a chip period is correlated with its delayed version. The correlation value obtained in each bit period is then compared with a fixed threshold to decide the binary value of recovered bit at the output. On the other hand, the second scheme, namely delay-sum-sum (DSS) receiver, calculates the correlation value of all samples with its delayed version in a chip period. The sum of correlation values in each bit period is then compared with the threshold to recover the data. The conventional DCSK transmitter, frequency non-selective Rayleigh fading channel, and two proposed receivers are mathematically modelled in discrete-time domain. The authors evaluated the bit error rate performance of the receivers by means of both theoretical analysis and numerical simulation. The performance comparison shows that the two proposed receivers can perform well under the studied channel, where the performances get better when the number of paths increases and the DSS receiver outperforms the SDS one.

Outage performance of cognitive cooperative networks with relay selection over double-Rayleigh fading channels

This study considers a dual-hop cognitive inter-vehicular relay-assisted communication system where all
communication links are non-line of sight ones and their fading is modelled by the double Rayleigh fading distribution.
Road-side relays (or access points) implementing the decode-and-forward relaying protocol are employed and one of
them is selected according to a predetermined policy to enable communication between vehicles. The performance of
the considered cognitive cooperative system is investigated for Kth best partial and full relay selection (RS) as well as
for two distinct fading scenarios. In the first scenario, all channels are double Rayleigh distributed. In the second
scenario, only the secondary source to relay and relay to destination channels are considered to be subject to double
Rayleigh fading whereas, channels between the secondary transmitters and the primary user are modelled by the
Rayleigh distribution. Exact and approximate expressions for the outage probability performance for all considered RS
policies and fading scenarios are presented. In addition to the analytical results, complementary computer simulated
performance evaluation results have been obtained by means of Monte Carlo simulations. The perfect match between
these two sets of results has verified the accuracy of the proposed mathematical analysis.

CaV channels and cancer: canonical functions indicate benefits of repurposed drugs as cancer therapeutics

The importance of ion channels in the hallmarks of many cancers is increasingly recognised. This article reviews current knowledge of the expression of members of the voltage-gated calcium channel family (CaV) in cancer at the gene and protein level and discusses their potential functional roles. The ten members of the CaV channel family are classified according to expression of their pore-forming α-subunit; moreover, co-expression of accessory α2δ, β and γ confers a spectrum of biophysical characteristics including voltage dependence of activation and inactivation, current amplitude and activation/inactivation kinetics. CaV channels have traditionally been studied in excitable cells including neurones, smooth muscle, skeletal muscle and cardiac cells, and drugs targeting the channels are used in the treatment of hypertension and epilepsy. There is emerging evidence that several CaV channels are differentially expressed in cancer cells compared to their normal counterparts. Interestingly, a number of CaV channels also have non-canonical functions and are involved in transcriptional regulation of the expression of other proteins including potassium channels. Pharmacological studies show that CaV canonical function contributes to the fundamental biology of proliferation, cell-cycle progression and apoptosis. This raises the intriguing possibility that calcium channel blockers, approved for the treatment of other conditions, could be repurposed to treat particular cancers. Further research will reveal the full extent of both the canonical and non-canonical functions of CaV channels in cancer and whether calcium channel blockers are beneficial in cancer treatment.