Verifiable conditions of ℓ1\ell_1-recovery of sparse signals with sign restrictions

We propose necessary and sufficient conditions for a sensing matrix to be "s-semigood" -- to allow for exact $\ell_1$-recovery of sparse signals with at most $s$ nonzero entries under sign restrictions on part of the entries. We express the error bounds for imperfect $\ell_1$-recovery in terms of the characteristics underlying these conditions. Furthermore, we demonstrate that these characteristics, although difficult to evaluate, lead to verifiable sufficient conditions for exact sparse $\ell_1$-recovery and to efficiently computable upper bounds on those $s$ for which a given sensing matrix is $s$-semigood. We concentrate on the properties of proposed verifiable sufficient conditions of $s$-semigoodness and describe their limits of performance

T2{}^2K2{}^2: The Twitter Top-K Keywords Benchmark

Information retrieval from textual data focuses on the construction of vocabularies that contain weighted term tuples. Such vocabularies can then be exploited by various text analysis algorithms to extract new knowledge, e.g., top-k keywords, top-k documents, etc. Top-k keywords are casually used for various purposes, are often computed on-the-fly, and thus must be efficiently computed. To compare competing weighting schemes and database implementations, benchmarking is customary. To the best of our knowledge, no benchmark currently addresses these problems. Hence, in this paper, we present a top-k keywords benchmark, T${}^2$K${}^2$, which features a real tweet dataset and queries with various complexities and selectivities. T${}^2$K${}^2$ helps evaluate weighting schemes and database implementations in terms of computing performance. To illustrate T${}^2$K${}^2$'s relevance and genericity, we successfully performed tests on the TF-IDF and Okapi BM25 weighting schemes, on one hand, and on different relational (Oracle, PostgreSQL) and document-oriented (MongoDB) database implementations, on the other hand

Branching on multi-aggregated variables

open5siopenGamrath, Gerald; Melchiori, Anna; Berthold, Timo; Gleixner, Ambros M.; Salvagnin, DomenicoGamrath, Gerald; Melchiori, Anna; Berthold, Timo; Gleixner, Ambros M.; Salvagnin, Domenic

Formal Analysis of Distance Bounding with Secure Hardware

A distance bounding (DB) protocol is a two-party authentication protocol between a prover and a verifier which is based on the distance between the prover and the verifier. It aims to defeat threats by malicious provers who try to convince that they are closer to the verifier or adversaries which seek to impersonate a far-away prover. All these threats are covered in several security definitions and it is not possible to have a single definition covering all. In this paper, we describe a new DB model with three parties where the new party is named hardware. In this model, called secure hardware model (SHM), the hardware is held by the prover without being able to tamper with. We define an all-in-one security model which covers all the threats of DB and an appropriate privacy notion for SHM. In the end, we construct the most efficient (in terms of computation by the prover-hardware and number of rounds) and secure DB protocols achieving the optimal security bounds as well as privacy

Some anisotropic universes in the presence of imperfect fluid coupling with spatial curvature

We consider Bianchi VI spacetime, which also can be reduced to Bianchi types VI0-V-III-I. We initially consider the most general form of the energy-momentum tensor which yields anisotropic stress and heat flow. We then derive an energy-momentum tensor that couples with the spatial curvature in a way so as to cancel out the terms that arise due to the spatial curvature in the evolution equations of the Einstein field equations. We obtain exact solutions for the universes indefinetly expanding with constant mean deceleration parameter. The solutions are beriefly discussed for each Bianchi type. The dynamics of the models and fluid are examined briefly, and the models that can approach to isotropy are determined. We conclude that even if the observed universe is almost isotropic, this does not necessarily imply the isotropy of the fluid (e.g., dark energy) affecting the evolution of the universe within the context of general relativity.Comment: 17 pages, no figures; to appear in International Journal of Theoretical Physics; in this version (which is more concise) an equation added, some references updated and adde

Increased risk of tuberculosis in health care workers: a retrospective survey at a teaching hospital in Istanbul, Turkey

BACKGROUND: Tuberculosis (TB) is an established occupational disease affecting health care workers (HCWs). Determining the risk of TB among HCWs is important to enable authorites to take preventative measures in health care facilities and protect HCWs. This study was designed to assess the incidence of TB in a teaching hospital in Istanbul, Turkey. This study is retrospective study of health records of HCWs in our hospital from 1991 to 2000. RESULTS: The mean workforce of the hospital was 3359 + 33.2 between 1991 and 2000. There were 31 cases (15 male) meeting the diagnostic criteria for TB, comprising eight doctors, one nurse and 22 other health professionals. Mean incidence of TB was 96 per 100,000 for all HCWs (relative risk: 2.71), 79 per 100,000 for doctors (relative risk: 2.2), 14 per 100,000 for nurses and 121 per 100,000 (relative risk: 3.4) for other professionals. The mean incidence of TB in Turkey between 1991 and 2000 was 35.4 per 100,000. Incidence of TB was similar in the Departments of Chest Diseases and Clinical Medicine but there were no TB cases in the Basic Science and Managerial Departments. CONCLUSION: HCWs in Turkey who work in clinics have an increased risk for TB. Post-graduate education and prevention programs reduce the risk of TB. Control programs to prevent nosocomial transmission of TB should be established in hospitals to reduce risk for HCWs

Archaeogenetic analysis of Neolithic sheep from Anatolia suggests a complex demographic history since domestication

Sheep were among the first domesticated animals, but their demographic history is little understood. Here we analyzed nuclear polymorphism and mitochondrial data (mtDNA) from ancient central and west Anatolian sheep dating from Epipaleolithic to late Neolithic, comparatively with modern-day breeds and central Asian Neolithic/Bronze Age sheep (OBI). Analyzing ancient nuclear data, we found that Anatolian Neolithic sheep (ANS) are genetically closest to present-day European breeds relative to Asian breeds, a conclusion supported by mtDNA haplogroup frequencies. In contrast, OBI showed higher genetic affinity to present-day Asian breeds. These results suggest that the east-west genetic structure observed in present-day breeds had already emerged by 6000 BCE, hinting at multiple sheep domestication episodes or early wild introgression in southwest Asia. Furthermore, we found that ANS are genetically distinct from all modern breeds. Our results suggest that European and Anatolian domestic sheep gene pools have been strongly remolded since the Neolithic

Fabrication of vertically aligned Pd nanowire array in AAO template by electrodeposition using neutral electrolyte

A vertically aligned Pd nanowire array was successfully fabricated on an Au/Ti substrate using an anodic aluminum oxide (AAO) template by a direct voltage electrodeposition method at room temperature using diluted neutral electrolyte. The fabrication of Pd nanowires was controlled by analyzing the current–time transient during electrodeposition using potentiostat. The AAO template and the Pd nanowires were characterized by scanning electron microscopy (SEM), energy-dispersive X-ray (EDX) methods and X-Ray diffraction (XRD). It was observed that the Pd nanowire array was standing freely on an Au-coated Ti substrate after removing the AAO template in a relatively large area of about 5 cm2, approximately 50 nm in diameter and 2.5 μm in length with a high aspect ratio. The nucleation rate and the number of atoms in the critical nucleus were determined from the analysis of current transients. Pd nuclei density was calculated as 3.55 × 108 cm−2. Usage of diluted neutral electrolyte enables slower growing of Pd nanowires owing to increase in the electrodeposition potential and thus obtained Pd nanowires have higher crystallinity with lower dislocations. In fact, this high crystallinity of Pd nanowires provides them positive effect for sensor performances especially