Compositional closure for Bayes Risk in probabilistic noninterference

We give a sequential model for noninterference security including probability (but not demonic choice), thus supporting reasoning about the likelihood that high-security values might be revealed by observations of low-security activity. Our novel methodological contribution is the definition of a refinement order and its use to compare security measures between specifications and (their supposed) implementations. This contrasts with the more common practice of evaluating the security of individual programs in isolation. The appropriateness of our model and order is supported by our showing that our refinement order is the greatest compositional relation --the compositional closure-- with respect to our semantics and an "elementary" order based on Bayes Risk --- a security measure already in widespread use. We also relate refinement to other measures such as Shannon Entropy. By applying the approach to a non-trivial example, the anonymous-majority Three-Judges protocol, we demonstrate by example that correctness arguments can be simplified by the sort of layered developments --through levels of increasing detail-- that are allowed and encouraged by compositional semantics

Many-objective test suite generation for software product lines

A Software Product Line (SPL) is a set of products built from a number of features, the set of valid products being defined by a feature model. Typically, it does not make sense to test all products defined by an SPL and one instead chooses a set of products to test (test selection) and, ideally, derives a good order in which to test them (test prioritisation). Since one cannot know in advance which products will reveal faults, test selection and prioritisation are normally based on objective functions that are known to relate to likely effectiveness or cost. This paper introduces a new technique, the grid-based evolution strategy (GrES), which considers several objective functions that assess a selection or prioritisation and aims to optimise on all of these. The problem is thus a many-objective optimisation problem. We use a new approach, in which all of the objective functions are considered but one (pairwise coverage) is seen as the most important. We also derive a novel evolution strategy based on domain knowledge. The results of the evaluation, on randomly generated and realistic feature models, were promising, with GrES outperforming previously proposed techniques and a range of many-objective optimisation algorithms

A 1.8-65 fJ/conv.-step 64 dB SNDR Continuous - Time Level Crossing ADC Exploiting Dynamic Self-Biasing Comparators

This work presents a power-efficient level crossing (LC) ADC designed to digitize sparse signals. It uses dynamically self-biased comparators, which require minimal current when the input voltage is far from a decision threshold. It also uses a DAC architecture which avoids the signal attenuation commonly present in prior LC ADC works, improving the achievable SNDR. The prototype is designed and implemented in a 65-nm CMOS technology, and occupies an area of 0.0045 mm2. In a 20 kHz bandwidth, the LC-ADC achieves a 64 dB SNDR. Thanks to the proposed techniques a power efficiency of up to 1.8 fJ/conv.-step is achieved for sinusoidal inputs. For sparse biopotential signals, a FoMW as low as 0.9 fJ/conv.-step was measured. This makes the prototype interesting for e.g., biomedical applications that make use of spike-based processing

Chiral Symmetry and light resonances in hot and dense matter

We present a study of the $\pi\pi$ scattering amplitude in the $\sigma$ and $\rho$ channels at finite temperature and nuclear density within a chiral unitary framework. Meson resonances are dynamically generated in our approach, which allows us to analyze the behavior of their associated scattering poles when the system is driven towards chiral symmetry restoration. Medium effects are incorporated in three ways: (a) by thermal corrections of the unitarized scattering amplitudes, (b) by finite nuclear density effects associated to a renormalization of the pion decay constant, and complementarily (c) by extending our calculation of the scalar-isoscalar channel to account for finite nuclear density and temperature effects in a microscopic many-body implementation of pion dynamics. Our results are discussed in connection with several phenomenological aspects relevant for nuclear matter and Heavy-Ion Collision experiments, such as $\rho$ mass scaling vs broadening from dilepton spectra and chiral restoration signals in the $\sigma$ channel. We also elaborate on the molecular nature of $\pi\pi$ resonances.Comment: 14 pages, 14 figures. Contribution to Hard Probes 2008, Illa de A Toxa, Spain, June 8th-14th 200

The correction of the littlest Higgs model to the Higgs production process e−γ→νeW−He^{-}\gamma\to \nu_{e}W^{-}H in e−γe^{-}\gamma collisions

The littlest Higgs model is the most economical one among various little Higgs models. In the context of the littlest Higgs(LH) model, we study the process $e^{-}\gamma\to \nu_{e}W^{-}H$ and calculate the contributions of the LH model to the cross section of this process. The results show that, in most of parameter spaces preferred by the electroweak precision data, the value of the relative correction is larger than 10%. Such correction to the process $e^{-}\gamma\to \nu_{e}W^{-}H$ is large enough to be detected via $e^{-}\gamma$ collisions in the future high energy linear $e^{+}e^{-}$ collider($LC$) experiment with the c.m energy $\sqrt{s}$=500 GeV and a yearly integrated luminosity $\pounds=100fb^{-1}$, which will give an ideal way to test the model.Comment: 13 pages, 4 figure

Radiative decays with light scalar mesons and singlet-octet mixing in ChPT

We study different types of radiative decays involving f0(980) and a0(980) mesons within a unified ChPT-based approach at one-loop level. Light scalar resonances which are seen in pi pi, pi eta, K K-bar channels of phi(1020) radiative decays and in J/psi decays are responsible for key questions of low-energy dynamics in the strong interaction sector, and decays phi(1020) -> gamma a0(980), phi(1020) -> gamma f0(980), a0(980) -> gamma gamma, f0(980) -> gamma gamma are of interest for current experimental programs in Juelich, Frascati and Novosibirsk. From theoretical point of view it is important to verify whether light scalar mesons are members of some flavor octet or nonet. We find a value of mixing angle dictated by consistency with experiment and coupling structures of ChPT Lagrangian. Decay widths f0(980)/a0(980) -> gamma rho(770)/omega(782), which are not studied experimentally yet, are predicted. We also obtain several relations between widths, which hold independently of coupling constants and represent a fingerprint of the model.Comment: 18 pages, 8 figures; misprints in text and tables corrected, discussion extended, references added; version accepted for publication in Eur.Phys.J.

f0(980) meson as a K bar K molecule in a phenomenological Lagrangian approach

We discuss a possible interpretation of the f0(980) meson as a hadronic molecule - a bound state of K and bar K mesons. Using a phenomenological Lagrangian approach we calculate the strong f0(980) to pi pi and electromagnetic f0(980) to gamma gamma decays. The compositeness condition provides a self-consistent method to determine the coupling constant between f0 and its constituents, K and bar K. Form factors governing the decays of the f0(980) are calculated by evaluating the kaon loop integrals. The predicted f0(980) to pi pi and f0(980) to gamma gamma decay widths are in good agreement with available data and results of other theoretical approaches.Comment: 21 pages, 11 figures, revised version accepted for publication in Eur. Phys. J.

Phantom Cosmology with Non-minimally Coupled Real Scalar Field

We find that the expansion of the universe is accelerating by analyzing the recent observation data of type \textsc{I}a supernova(SN-Ia) .It indicates that the equation of state of the dark energy might be smaller than -1,which leads to the introduction of phantom models featured by its negative kinetic energy to account for the regime of equation of state parameter $w<-1$.In this paper the possibility of using a non-minimally coupled real scalar field as phantom to realize the equation of state parameter $w<-1$ is discussed.The main equations which govern the evolution of the universe are obtained.Then we rewrite them with the observable quantities.Comment: 12 pages, 2 figures. Accepted for publication in Gen.Rel.Gra

Artificial intelligence for dementia drug discovery and trials optimization

Drug discovery and clinical trial design for dementia have historically been challenging. In part these challenges have arisen from patient heterogeneity, length of disease course, and the tractability of a target for the brain. Applying big data analytics and machine learning tools for drug discovery and utilizing them to inform successful clinical trial design has the potential to accelerate progress. Opportunities arise at multiple stages in the therapy pipeline and the growing availability of large medical data sets opens possibilities for big data analyses to answer key questions in clinical and therapeutic challenges. However, before this goal is reached, several challenges need to be overcome and only a multi-disciplinary approach can promote data-driven decision-making to its full potential. Herein we review the current state of machine learning applications to clinical trial design and drug discovery, while presenting opportunities and recommendations that can break down the barriers to implementation

X-ray photoemission study of NiS_{2-x}Se_x (x = 0.0 - 1.2)

Electronic structure of NiS_{2-x}Se_x system has been investigated for various compositions (x) using x-ray photoemission spectroscopy. An analysis of the core level as well as the valence band spectra of NiS_2 in conjunction with many-body cluster calculations provides a quantitative description of the electronic structure of this compound. With increasing Se content, the on-site Coulomb correlation strength (U) does not change, while the band width W of the system increases, driving the system from a covalent insulating state to a pd-metallic state.Comment: 19 pages, 6 figures, To appear in Phys. Rev. B, 200