Load Balanced Scalable Byzantine Agreement through Quorum Building, with Full Information

We address the problem of designing distributed algorithms for large scale networks that are robust to Byzantine faults. We consider a message passing, full information model: the adversary is malicious, controls a constant fraction of processors, and can view all messages in a round before sending out its own messages for that round. Furthermore, each bad processor may send an unlimited number of messages. The only constraint on the adversary is that it must choose its corrupt processors at the start, without knowledge of the processors’ private random bits.

A good quorum is a set of O(logn) processors, which contains a majority of good processors. In this paper, we give a synchronous algorithm which uses polylogarithmic time and Õ(vn) bits of communication per processor to bring all processors to agreement on a collection of n good quorums, solving Byzantine agreement as well. The collection is balanced in that no processor is in more than O(logn) quorums. This yields the first solution to Byzantine agreement which is both scalable and load-balanced in the full information model.

The technique which involves going from situation where slightly more than 1/2 fraction of processors are good and and agree on a short string with a constant fraction of random bits to a situation where all good processors agree on n good quorums can be done in a fully asynchronous model as well, providing an approach for extending the Byzantine agreement result to this model.

An efficient feature selection method for mobile devices with application to activity recognition

This paper presents a feature selection method for data classification, which combines a model-based variable selection technique and a fast two-stage subset selection algorithm. The relationship between a specified (and complete) set of candidate features and the class label is modelled using a non-linear full regression model which is linear-in-the-parameters. The performance of a sub-model measured by the sum of the squared-errors (SSE) is used to score the informativeness of the subset of features involved in the sub-model. The two-stage subset selection algorithm approaches a solution sub-model with the SSE being locally minimized. The features involved in the solution sub-model are selected as inputs to support vector machines (SVMs) for classification. The memory requirement of this algorithm is independent of the number of training patterns. This property makes this method suitable for applications executed in mobile devices where physical RAM memory is very limited. An application was developed for activity recognition, which implements the proposed feature selection algorithm and an SVM training procedure. Experiments are carried out with the application running on a PDA for human activity recognition using accelerometer data. A comparison with an information gain based feature selection method demonstrates the effectiveness and efficiency of the proposed algorithm.

The Ultraviolet-Bright, Slowly Declining Transient PS1-11af as a Partial Tidal Disruption Event

We present the Pan-STARRS1 discovery of the long-lived and blue transient PS1-11af, which was also detected by Galaxy Evolution Explorer with coordinated observations in the near-ultraviolet (NUV) band. PS1-11af is associated with the nucleus of an early type galaxy at redshift z = 0.4046 that exhibits no evidence for star formation or active galactic nucleus activity. Four epochs of spectroscopy reveal a pair of transient broad absorption features in the UV on otherwise featureless spectra. Despite the superficial similarity of these features to P-Cygni absorptions of supernovae (SNe), we conclude that PS1-11af is not consistent with the properties of known types of SNe. Blackbody fits to the spectral energy distribution are inconsistent with the cooling, expanding ejecta of a SN, and the velocities of the absorption features are too high to represent material in homologous expansion near a SN photosphere. However, the constant blue colors and slow evolution of the luminosity are similar to previous optically selected tidal disruption events (TDEs). The shape of the optical light curve is consistent with models for TDEs, but the minimum accreted mass necessary to power the observed luminosity is only 0.002 M, which points to a partial disruption model. A full disruption model predicts higher bolometric luminosities, which would require most of the radiation to be emitted in a separate component at high energies where we lack observations. In addition, the observed temperature is lower than that predicted by pure accretion disk models for TDEs and requires reprocessing to a constant, lower temperature. Three deep non-detections in the radio with the Very Large Array over the first two years after the event set strict limits on the production of any relativistic outflow comparable to Swift J1644+57, even if off-axis.

Fast Byzantine Leader Election in Dynamic Networks

We study the fundamental Byzantine leader election problem in dynamic networks where the topology can change from round to round and nodes can also experience heavy {\em churn} (i.e., nodes can join and leave the network continuously over time). We assume the full information model where the Byzantine nodes have complete knowledge about the entire state of the network at every round (including random choices made by all the nodes), have unbounded computational power and can deviate arbitrarily from the protocol. The churn is controlled by an adversary that has complete knowledge and control over which nodes join and leave and at what times and also may rewire the topology in every round and has unlimited computational power, but is oblivious to the random choices made by the algorithm. Our main contribution is an $O(\log^3 n)$ round algorithm that achieves Byzantine leader election under the presence of up to $O({n}^{1/2 - \epsilon})$ Byzantine nodes (for a small constant $\epsilon > 0$) and a churn of up to \\$O(\sqrt{n}/\poly\log(n))$ nodes per round (where $n$ is the stable network size).The algorithm elects a leader with probability at least $1-n^{-\Omega(1)}$ and guarantees that it is an honest node with probability at least $1-n^{-\Omega(1)}$; assuming the algorithm succeeds, the leader's identity will be known to a $1-o(1)$ fraction of the honest nodes. Our algorithm is fully-distributed, lightweight, and is simple to implement. It is also scalable, as it runs in polylogarithmic (in $n$) time and requires nodes to send and receive messages of only polylogarithmic size per round.To the best of our knowledge, our algorithm is the first scalable solution for Byzantine leader election in a dynamic network with a high rate of churn; our protocol can also be used to solve Byzantine agreement in a straightforward way.We also show how to implement an (almost-everywhere) public coin with constant bias in a dynamic network with Byzantine nodes and provide a mechanism for enabling honest nodes to store information reliably in the network, which might be of independent interest.

Simple and accurate analytical model of planar grids and high-impedance surfaces, comprising metal strips or patches

Simple analytical formulas are introduced for the grid impedance of electrically dense arrays of square patches and for the surface impedance of high-impedance surfaces based on the dense arrays of metal strips or square patches over ground planes. Emphasis is on the oblique-incidence excitation. The approach is based on the known analytical models for strip grids combined with the approximate Babinet principle for planar grids located at a dielectric interface. Analytical expressions for the surface impedance and reflection coefficient resulting from our analysis are thoroughly verified by full-wave simulations and compared with available data in open literature for particular cases. The results can be used in the design of various antennas and microwave or millimeter wave devices which use artificial impedance surfaces and artificial magnetic conductors (reflect-array antennas, tunable phase shifters, etc.), as well as for the derivation of accurate higher-order impedance boundary conditions for artificial (high-) impedance surfaces. As an example, the propagation properties of surface waves along the high-impedance surfaces are studied.

A Cluster Randomized Controlled Trial of an Adapted U.S. Model of Pharmaceutical Care for Nursing Home Residents in Northern Ireland (Fleetwood Northern Ireland Study): A Cost-Effectiveness Analysis

OBJECTIVES: To evaluate the cost-effectiveness of an adapted U.S. model of pharmaceutical care to improve psychoactive prescribing for nursing home residents in Northern Ireland (Fleetwood NI Study).
DESIGN: Economic evaluation alongside a cluster randomized controlled trial.
SETTING: Nursing homes in NI randomized to intervention (receipt of the adapted model of care; n511) or control (usual care continued; n511).
PARTICIPANTS: Residents aged 65 and older who provided informed consent (N5253; 128 intervention, 125 control) and who had full resource use data at 12 months.
INTERVENTION: Trained pharmacists reviewed intervention home residents’ clinical and prescribing information for 12 months, applied an algorithm that guided them in assessing the appropriateness of psychoactive medication, and worked with prescribers (general practitioners) to make changes. The control homes received usual care in which there was no pharmacist intervention.
MEASUREMENTS: The proportion of residents prescribed one or more inappropriate psychoactive medications (according to standardized protocols), costs, and a cost-effectiveness acceptability curve. The latter two outcomes are the focus for this article.
RESULTS: The proportions of residents receiving inappropriate psychoactive medication at 12 months in the intervention and control group were 19.5% and 50.4%, respectively. The mean cost of healthcare resources used per resident per year was $4,923 (95% con?dence interval.

The repertoire of G protein-coupled receptors in the human parasite Schistosoma mansoni and the model organism Schmidtea mediterranea.

Background

G protein-coupled receptors (GPCRs) constitute one of the largest groupings of eukaryotic proteins, and represent a particularly lucrative set of pharmaceutical targets. They play an important role in eukaryotic signal transduction and physiology, mediating cellular responses to a diverse range of extracellular stimuli. The phylum Platyhelminthes is of considerable medical and biological importance, housing major pathogens as well as established model organisms. The recent availability of genomic data for the human blood fluke Schistosoma mansoni and the model planarian Schmidtea mediterranea paves the way for the first comprehensive effort to identify and analyze GPCRs in this important phylum.

Results

Application of a novel transmembrane-oriented approach to receptor mining led to the discovery of 117 S. mansoni GPCRs, representing all of the major families; 105 Rhodopsin, 2 Glutamate, 3 Adhesion, 2 Secretin and 5 Frizzled. Similarly, 418 Rhodopsin, 9 Glutamate, 21 Adhesion, 1 Secretin and 11 Frizzled S. mediterranea receptors were identified. Among these, we report the identification of novel receptor groupings, including a large and highly-diverged Platyhelminth-specific Rhodopsin subfamily, a planarian-specific Adhesion-like family, and atypical Glutamate-like receptors. Phylogenetic analysis was carried out following extensive gene curation. Support vector machines (SVMs) were trained and used for ligand-based classification of full-length Rhodopsin GPCRs, complementing phylogenetic and homology-based classification.

Conclusions

Genome-wide investigation of GPCRs in two platyhelminth genomes reveals an extensive and complex receptor signaling repertoire with many unique features. This work provides important sequence and functional leads for understanding basic flatworm receptor biology, and sheds light on a lucrative set of anthelmintic drug targets.

A New Model for Automated Examination Timetabling

Automated examination timetabling has been addressed by a wide variety of methodologies and techniques over the last ten years or so. Many of the methods in this broad range of approaches have been evaluated on a collection of benchmark instances provided at the University of Toronto in 1996. Whilst the existence of these datasets has provided an invaluable resource for research into examination timetabling, the instances have significant limitations in terms of their relevance to real-world examination timetabling in modern universities. This paper presents a detailed model which draws upon experiences of implementing examination timetabling systems in universities in Europe, Australasia and America. This model represents the problem that was presented in the 2nd International Timetabling Competition (ITC2007). In presenting this detailed new model, this paper describes the examination timetabling track introduced as part of the competition. In addition to the model, the datasets used in the competition are also based on current real-world instances introduced by EventMAP Limited. It is hoped that the interest generated as part of the competition will lead to the development, investigation and application of a host of novel and exciting techniques to address this important real-world search domain. Moreover, the motivating goal of this paper is to close the currently existing gap between theory and practice in examination timetabling by presenting the research community with a rigorous model which represents the complexity of the real-world situation. In this paper we describe the model and its motivations, followed by a full formal definition.

A model for radiation-induced bystander effects, with allowance for spatial position and the effects of cell turnover

Bystander effects, whereby cells that are not directly exposed to ionizing radiation exhibit adverse biological effects, have been observed in a number of experimental systems. A novel stochastic model of the radiation-induced bystander effect is developed that takes account of spatial location, cell killing and repopulation. The ionizing radiation dose- and time-responses of this model are explored, and it is shown to exhibit pronounced downward curvature in the high dose-rate region, similar to that observed in many experimental systems, reviewed in the paper. It is also shown to predict the augmentation of effect after fractionated delivery of dose that has been observed in certain experimental systems. It is shown that the generally intractable solution of the full stochastic system can be considerably simplified by assumption of pairwise conditional dependence that varies exponentially over time. (C) 2004 Elsevier Ltd. All rights reserved.

A two-tier model of polymyxin B resistance in Burkholderia cenocepacia

P>Burkholderia cenocepacia is an environmental bacterium causing serious human opportunistic infections and is extremely resistant to multiple antibiotics including antimicrobial peptides, such as polymyxin B (PmB). Extreme antibiotic resistance is attributed to outer membrane impermeability ('intrinsic' resistance). Previous work showed that production of full-length lipopolysaccharide (LPS) prevents surface binding of PmB. We hypothesized that two tiers of resistance mechanisms rendering different thresholds of PmB resistance exist in B. cenocepacia. To test this notion, candidate genes were mutated in two isogenic strains expressing full-length LPS or truncated LPS devoid of heptose ('heptoseless LPS') respectively. We uncovered various proteins required for PmB resistance only in the strain with heptoseless LPS. These proteins are not involved in preventing PmB binding to whole cells or permeabilization of the outer membrane. Our results support a two-tier model of PmB resistance in B. cenocepacia. One tier sets a very high threshold mediated by the LPS and the outer membrane permeability barrier. The second tier sets a lower threshold that may play a role in PmB resistance only when outer membrane permeability is compromised. This model may be of general applicability to understanding the high antimicrobial peptide resistance of environmental opportunistic pathogens.

Influence of skin model on in vitro performance of drug-loaded soluble microneedle arrays

A plethora of studies have described the in vitro assessment of dissolving microneedle (MN) arrays for enhanced transdermal drug delivery, utilising a wide variety of model membranes as a representation of the skin barrier. However, to date, no discussion has taken place with regard to the choice of model skin membrane and the impact this may have on the evaluation of MN performance. In this study, we have, for the first time, critically assessed the most common types of in vitro skin permeation models - a synthetic hydrophobic membrane (Silescol(®) of 75 µm) and neonatal porcine skin of definable thickness (300-350 µm and 700-750 µm) - for evaluating the performance of drug loaded dissolving poly (methyl vinyl ether co maleic acid) (PMVE/MA) MN arrays. It was found that the choice of in vitro skin model had a significant effect on the permeation of a wide range of small hydrophilic molecules released from dissolving MNs. For example, when Silescol(®) was used as the model membrane, the cumulative percentage permeation of methylene blue 24h after the application of dissolvable MNs was found to be only approximately 3.7% of the total methylene blue loaded into the MN device. In comparison, when dermatomed and full thickness neonatal porcine skin were used as a skin model, approximately 67.4% and 47.5% of methylene blue loaded into the MN device was delivered across the skin 24h after the application of MN arrays, respectively. The application of methylene blue loaded MN arrays in a rat model in vivo revealed that the extent of MN-mediated percutaneous delivery achieved was most similar to that predicted from the in vitro investigations employing dermatomed neonatal porcine skin (300-350 µm) as the model skin membrane. On the basis of these results, a wider discussion within the MN community will be necessary to standardise the experimental protocols used for the evaluation and comparison of MN devices.

3D deflagration simulations leaving bound remnants:A model for 2002cx-like Type Ia supernovae

2002cx-like supernovae are a sub-class of sub-luminous Type Ia supernovae (SNe). Their light curves and spectra are characterized by distinct features that indicate strong mixing of the explosion ejecta. Pure turbulent deflagrations have been shown to produce such mixed ejecta. Here, we present hydrodynamics, nucleosynthesis and radiative-transfer calculations for a 3D full-star deflagration of a Chandrasekhar-mass white dwarf. Our model is able to reproduce the characteristic observational features of SN 2005hk (a prototypical 2002cx-like supernova), not only in the optical, but also in the near-infrared. For that purpose we present, for the first time, five near-infrared spectra of SN 2005hk from -0.2 to 26.6 d with respect to B-band maximum. Since our model burns only small parts of the initial white dwarf, it fails to completely unbind the white dwarf and leaves behind a bound remnant of ~1.03Mconsisting mainly of unburned carbon and oxygen, but also enriched by some amount of intermediate-mass and iron-group elements from the explosion products that fall back on the remnant.We discuss possibilities for detecting this bound remnant and how it might influence the late-time observables of 2002cx-like SNe. © 2013 The Authors Published by Oxford University Press on behalf of the Royal Astronomical Society.

Full characterization of the quantum linear-zigzag transition in atomic chains

A string of repulsively interacting particles exhibits a phase transition to a zigzag structure, by reducing the transverse trap potential or the interparticle distance. Based on the emergent symmetry Z2 it has been argued that this instability is a quantum phase transition, which can be mapped to an Ising model in transverse field. An extensive Density Matrix Renormalization Group analysis is performed, resulting in an high-precision evaluation of the critical exponents and of the central charge of the system, confirming that the quantum linear-zigzag transition belongs to the critical Ising model universality class. Quantum corrections to the classical phase diagram are computed, and the range of experimental parameters where quantum effects play a role is provided. These results show that structural instabilities of one-dimensional interacting atomic arrays can simulate quantum critical phenomena typical of ferromagnetic systems.