4,950 research outputs found
Quantifying Timing Leaks and Cost Optimisation
We develop a new notion of security against timing attacks where the attacker
is able to simultaneously observe the execution time of a program and the
probability of the values of low variables. We then show how to measure the
security of a program with respect to this notion via a computable estimate of
the timing leakage and use this estimate for cost optimisation.Comment: 16 pages, 2 figures, 4 tables. A shorter version is included in the
proceedings of ICICS'08 - 10th International Conference on Information and
Communications Security, 20-22 October, 2008 Birmingham, U
Tanaka-Tagoshi Parametrization of post-1PN Spin-Free Gravitational Wave Chirps: Equispaced and Cardinal Interpolated Lattices For First Generation Interferometric Antennas
The spin-free binary-inspiral parameter-space introduced by Tanaka and
Tagoshi to construct a uniformly-spaced lattice of templates at (and possibly
beyond) order is shown to work for all first generation interferometric
gravitational wave antennas. This allows to extend the minimum-redundant
cardinal interpolation techniques of the correlator bank developed by the
Authors to the highest available order PN templates. The total number of 2PN
templates to be computed for a minimal match is reduced by a
factor 4, as in the 1PN case.Comment: 9 pages, 8 figures, 3 tables, accepted for publication in Phys. Rev.
Nutritional support for head-injured patients
Copyright John Wiley & Sons. This review is published as a Cochrane Review in the Cochrane Database of Systematic Reviews 2004, Issue 3. Cochrane Reviews are regularly updated as new evidence emerges and in response to comments and criticisms, and the Cochrane Database of Systematic Reviews should be consulted for the most recent version of the Review.’ Perel, P. , Yanagawa, T. , Bunn, F. , Roberts, I. , Wentz, R. and Pierro, A. Nutritional support for head-injured patients. Cochrane Database of Systematic Reviews 2004, Issue 3. Art. No.: CD001530. DOI: 10.1002/14651858.CD001530.pub2Background: Head injury increases the body's metabolic responses, and therefore nutritional demands. Provision of an adequate supply of nutrients is associated with improved outcome. The best route for administering nutrition (parenterally (TPN) or enterally (EN)), and the best timing of administration (for example, early versus late) of nutrients needs to be established. Objectives: To quantify the effect on mortality and morbidity of alternative strategies of providing nutritional support following head injury. Search strategy: Trials were identified by computerised searches of the Cochrane Injuries Group specialised register, Cochrane Central Register of Controlled Trials, MEDLINE, EMBASE, National Research Register, Web of Science and other electronic trials registers. Reference lists of trials and review articles were checked. The searches were last updated in July 2006. Selection criteria: Randomised controlled trials of timing or route of nutritional support following acute traumatic brain injury. Data collection and analysis: Two authors independently abstracted data and assessed trial quality. Information was collected on death, disability, and incidence of infection. If trial quality was unclear, or if there were missing outcome data, trialists were contacted in an attempt to get further information. Main results: A total of 11 trials were included. Seven trials addressed the timing of support (early versus delayed), data on mortality were obtained for all seven trials (284 participants). The relative risk (RR) for death with early nutritional support was 0.67 (95% CI 0.41 to 1.07). Data on disability were available for three trials. The RR for death or disability at the end of follow-up was 0.75 (95% CI 0.50 to 1.11). Seven trials compared parenteral versus enteral nutrition. Because early support often involves parenteral nutrition, three of the trials are also included in the previous analyses. Five trials (207 participants) reported mortality. The RR for mortality at the end of follow-up period was 0.66 (0.41 to 1.07). Two trials provided data on death and disability. The RR was 0.69 (95% Cl 0.40 to 1.19). One trial compared gastric versus jejunal enteral nutrition, there were no deaths and the RR was not estimable. Authors' conclusions: This review suggests that early feeding may be associated with a trend towards better outcomes in terms of survival and disability. Further trials are required. These trials should report not only nutritional outcomes but also the effect on death and disability.Peer reviewe
A computational group theoretic symmetry reduction package for the SPIN model checker
Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence of states during search. We present TopSpin, a fully automatic symmetry reduction package for the Spin model checker. TopSpin uses the Gap computational algebra system to effectively detect state space symmetry from the associated Promela specification, and to choose an efficient symmetry reduction strategy by classifying automorphism groups as a disjoint/wreath product of subgroups. We present encouraging experimental results for a variety of Promela examples
Rejection Properties of Stochastic-Resonance-Based Detectors of Weak Harmonic Signals
In (V. Galdi et al., Phys. Rev. E57, 6470, 1998) a thorough characterization
in terms of receiver operating characteristics (ROCs) of stochastic-resonance
(SR) detectors of weak harmonic signals of known frequency in additive gaussian
noise was given. It was shown that strobed sign-counting based strategies can
be used to achieve a nice trade-off between performance and cost, by comparison
with non-coherent correlators. Here we discuss the more realistic case where
besides the sought signal (whose frequency is assumed known) further unwanted
spectrally nearby signals with comparable amplitude are present. Rejection
properties are discussed in terms of suitably defined false-alarm and
false-dismissal probabilities for various values of interfering signal(s)
strength and spectral separation.Comment: 4 pages, 5 figures. Misprints corrected. PACS numbers added. RevTeX
Hamming distance kernelisation via topological quantum computation
We present a novel approach to computing Hamming distance and its kernelisation within Topological Quantum Computation. This approach is based on an encoding of two binary strings into a topological Hilbert space, whose inner product yields a natural Hamming distance kernel on the two strings. Kernelisation forges a link with the field of Machine Learning, particularly in relation to binary classifiers such as the Support Vector Machine (SVM). This makes our approach of potential interest to the quantum machine learning community
Genetic diversity of phytoplasmas associated with flavescence dorée at vineyard scale on the Ischia Island (Campania, Italy)
Flavescence dorée (FD) is the most
important grapevine yellows, constituting a great
threat in all major viticultural areas in Europe. The FD
causal agent is an incidentally cited phytoplasma species
termed ‘Candidatus Phytoplasma vitis’ (FDp),
listed as a quarantine organism in Europe and mainly
transmitted from vine to vine by the monophagous
leafhopper Scaphoideus titanus. In the present study,
the genetic variability of FDp identified in symptomatic
plants located in a vineyard cv. Biancolella on
the Ischia Island (Campania, Italy) was investigated.
Our results unveiled for the first time the presence of
FDp strains belonging to the subgroup 16SrV–C with
a low genetic variability within map and rp genetic
markers, reflecting an homogeneous genetic lineage
of phytoplasma population examined in the present
study. Phylogeny and nucleotide sequence analyses
can also suggest the possible involvement of other
insect vectors and plant hosts in the FD epidemiology
on the Island. Further investigation to ascertain
the presence of putative vectors and plant hosts
representing inoculum sources should be carried out
to reinforce the preliminary results obtained in the
present study
Information Security as Strategic (In)effectivity
Security of information flow is commonly understood as preventing any
information leakage, regardless of how grave or harmless consequences the
leakage can have. In this work, we suggest that information security is not a
goal in itself, but rather a means of preventing potential attackers from
compromising the correct behavior of the system. To formalize this, we first
show how two information flows can be compared by looking at the adversary's
ability to harm the system. Then, we propose that the information flow in a
system is effectively information-secure if it does not allow for more harm
than its idealized variant based on the classical notion of noninterference
- …