Fuzzy Authentication using Rank Distance

Fuzzy authentication allows authentication based on the fuzzy matching of two objects, for example based on the similarity of two strings in the Hamming metric, or on the similiarity of two sets in the set difference metric. Aim of this paper is to show other models and algorithms of secure fuzzy authentication, which can be performed using the rank metric. A few schemes are presented which can then be applied in different scenarios and applications.Comment: to appear in Cryptography and Physical Layer Security, Lecture Notes in Electrical Engineering, Springe

Women’s pelvic floor muscle strength and urinary and anal incontinence after childbirth: a cross-sectional study

Abstract OBJECTIVE To analyse pelvic floor muscle strength (PFMS) and urinary and anal incontinence (UI and AI) in the postpartum period. METHOD Cross-sectional study carried out with women in their first seven months after child birth. Data were collected through interviews, perineometry (Peritron™), and the International Consultation on Incontinence Questionnaire-Short Form (ICIQ-SF). RESULTS 128 women participated in the study. The PFMS mean was 33.1 (SD=16.0) cmH2O and the prevalence of UI and AI was 7.8% and 5.5%, respectively. In the multiple analyses, the variables associated with PFMS were type of birth and cohabitation with a partner. Newborn’s weight, previous pregnancy, UI during pregnancy, and sexual activity showed an association with UI after child birth. Only AI prior to pregnancy was associated with AI after childbirth. CONCLUSION Vaginal birth predisposes to the reduction of PFMS, and caesarean section had a protective effect to its reduction. The occurrence of UI during pregnancy is a predictor of UI after childbirth, and women with previous pregnancies and newborns with higher weights are more likely to have UI after childbirth.AI prior to pregnancy is the only risk factor for its occurrence after childbirth. Associations between PFMS and cohabitation with a partner, and between UI and sexual activity do not make possible to conclude that these variables are directly associated

Efficient Certified RAT Verification

Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive even in highly optimized implementations. We present a new format, called LRAT, which extends the DRAT format with hints that facilitate a simple and fast validation algorithm. Checking validity of LRAT proofs can be implemented using trusted systems such as the languages supported by theorem provers. We demonstrate this by implementing two certified LRAT checkers, one in Coq and one in ACL2

An overview of the current status of CMB observations

In this paper we briefly review the current status of the Cosmic Microwave Background (CMB) observations, summarising the latest results obtained from CMB experiments, both in intensity and polarization, and the constraints imposed on the cosmological parameters. We also present a summary of current and future CMB experiments, with a special focus on the quest for the CMB B-mode polarization.Comment: Latest CMB results have been included. References added. To appear in "Highlights of Spanish Astrophysics V", Proceedings of the VIII Scientific Meeting of the Spanish Astronomical Society (SEA) held in Santander, 7-11 July, 200

Adaptive Evolution of the Myo6 Gene in Old World Fruit Bats (Family: Pteropodidae)

PMCID: PMC3631194This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

Accounting Problems Under the Excess Profits Tax

DNA vaccines based on subunits from pathogens have several advantages over other vaccine strategies. DNA vaccines can easily be modified, they show good safety profiles, are stable and inexpensive to produce, and the immune response can be focused to the antigen of interest. However, the immunogenicity of DNA vaccines which is generally quite low needs to be improved. Electroporation and co-delivery of genetically encoded immune adjuvants are two strategies aiming at increasing the efficacy of DNA vaccines. Here, we have examined whether targeting to antigen-presenting cells (APC) could increase the immune response to surface envelope glycoprotein (Env) gp120 from Human Immunodeficiency Virus type 1 (HIV- 1). To target APC, we utilized a homodimeric vaccine format denoted vaccibody, which enables covalent fusion of gp120 to molecules that can target APC. Two molecules were tested for their efficiency as targeting units: the antibody-derived single chain Fragment variable (scFv) specific for the major histocompatilibility complex (MHC) class II I-E molecules, and the CC chemokine ligand 3 (CCL3). The vaccines were delivered as DNA into muscle of mice with or without electroporation. Targeting of gp120 to MHC class II molecules induced antibodies that neutralized HIV-1 and that persisted for more than a year after one single immunization with electroporation. Targeting by CCL3 significantly increased the number of HIV-1 gp120-reactive CD8(+) T cells compared to non-targeted vaccines and gp120 delivered alone in the absence of electroporation. The data suggest that chemokines are promising molecular adjuvants because small amounts can attract immune cells and promote immune responses without advanced equipment such as electroporation.Funding Agencies|Research Council of Norway; Odd Fellow</p

Evaluation of rK39 rapid diagnostic tests for canine visceral leishmaniasis : longitudinal study and meta-analysis

Canine visceral leishmaniasis is a vector-borne disease caused by the intracellular parasite Leishmania infantum. It is an important veterinary disease, and dogs are also the main animal reservoir for human infection. The disease is widespread in the Mediterranean area, and parts of Asia and South and Central America, and is potentially fatal in both dogs and humans unless treated. Diagnosis of canine infections requires serological or molecular tests. Detection of infection in dogs is important prior to treatment, and in epidemiological studies and control programmes, and a sensitive and specific rapid diagnostic test would be very useful. Rapid diagnostic tests (RDTs) have been developed, but their diagnostic performance has been reported to be variable. We evaluated the sensitivity of a RDT based on serological detection of the rK39 antigen in a cohort of naturally infected Brazilian dogs. The sensitivity of the test to detect infection was relatively low, but increased with time since infection and the severity of infection. We then carried out a meta-analysis of published studies of rK39 RDTs, evaluating the sensitivity to detect disease and infection. The results suggest that rK39 RDTs may be useful in a veterinary clinical setting, but the sensitivity to detect infection is too low for operational control programmes

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

Site-selective protein-modification chemistry for basic biology and drug development.

Nature has produced intricate machinery to covalently diversify the structure of proteins after their synthesis in the ribosome. In an attempt to mimic nature, chemists have developed a large set of reactions that enable post-expression modification of proteins at pre-determined sites. These reactions are now used to selectively install particular modifications on proteins for many biological and therapeutic applications. For example, they provide an opportunity to install post-translational modifications on proteins to determine their exact biological roles. Labelling of proteins in live cells with fluorescent dyes allows protein uptake and intracellular trafficking to be tracked and also enables physiological parameters to be measured optically. Through the conjugation of potent cytotoxicants to antibodies, novel anti-cancer drugs with improved efficacy and reduced side effects may be obtained. In this Perspective, we highlight the most exciting current and future applications of chemical site-selective protein modification and consider which hurdles still need to be overcome for more widespread use.We thank FCT Portugal (FCT Investigator to G.J.L.B.), the EU (Marie-Curie CIG to G.J.L.B. and Marie-Curie IEF to O.B.) and the EPSRC for funding. G.J.L.B. is a Royal Society University Research Fellow.This is the author accepted manuscript. The final version is available from NPG via http://dx.doi.org/10.1038/nchem.239