Bounds on the Capacity of the Relay Channel with Noncausal State Information at Source

We consider a three-terminal state-dependent relay channel with the channel state available non-causally at only the source. Such a model may be of interest for node cooperation in the framework of cognition, i.e., collaborative signal transmission involving cognitive and non-cognitive radios. We study the capacity of this communication model. One principal problem in this setup is caused by the relay's not knowing the channel state. In the discrete memoryless (DM) case, we establish lower bounds on channel capacity. For the Gaussian case, we derive lower and upper bounds on the channel capacity. The upper bound is strictly better than the cut-set upper bound. We show that one of the developed lower bounds comes close to the upper bound, asymptotically, for certain ranges of rates.Comment: 5 pages, submitted to 2010 IEEE International Symposium on Information Theor

Abstract Model Counting: A Novel Approach for Quantification of Information Leaks

acmid: 2590328 keywords: model checking, quantitative information flow, satisfiability modulo theories, symbolic execution location: Kyoto, Japan numpages: 10acmid: 2590328 keywords: model checking, quantitative information flow, satisfiability modulo theories, symbolic execution location: Kyoto, Japan numpages: 10acmid: 2590328 keywords: model checking, quantitative information flow, satisfiability modulo theories, symbolic execution location: Kyoto, Japan numpages: 10We present a novel method for Quantitative Information Flow analysis. We show how the problem of computing information leakage can be viewed as an extension of the Satisfiability Modulo Theories (SMT) problem. This view enables us to develop a framework for QIF analysis based on the framework DPLL(T) used in SMT solvers. We then show that the methodology of Symbolic Execution (SE) also fits our framework. Based on these ideas, we build two QIF analysis tools: the first one employs CBMC, a bounded model checker for ANSI C, and the second one is built on top of Symbolic PathFinder, a Symbolic Executor for Java. We use these tools to quantify leaks in industrial code such as C programs from the Linux kernel, a Java tax program from the European project HATS, and anonymity protocol

'When I click "ok" I become Sassy – I become a girl.' Young people and gender identity: Subverting the ‘body’ in massively multi-player online role-playing games

This article is available open access through the publisher’s website through the link below. Copyright @ 2012 Taylor & Francis.This article explores young people's practices in the virtual spaces of online gaming communities. Based on a five-year ethnographic study of virtual worlds, it considers how young people construct and maintain identities within virtual social systems. In particular, the article discusses digital gender practices and considers the potential that these games offer for their young users to engage in alternate gender identities. We argue that these digital spaces offer spaces for the imagination and can enhance agency and, potentially, resistance. However, digital identity is simultaneously no ‘liberated space’ and it incorporates norms and practices that often mirror those of the material world. We argue that this ‘porosity’ is an important tool through which young people come to understand gender identity

Catalyst design for biorefining

The quest for sustainable resources to meet the demands of a rapidly rising global population while mitigating the risks of rising CO2 emissions and associated climate change, represents a grand challenge for humanity. Biomass offers the most readily implemented and low-cost solution for sustainable transportation fuels, and the only non-petroleum route to organic molecules for the manufacture of bulk, fine and speciality chemicals and polymers. To be considered truly sustainable, biomass must be derived fromresources which do not compete with agricultural land use for food production, or compromise the environment (e.g. via deforestation). Potential feedstocks include waste lignocellulosic or oil-based materials derived from plant or aquatic sources, with the so-called biorefinery concept offering the co-production of biofuels, platform chemicals and energy; analogous to today's petroleum refineries which deliver both high-volume/low-value (e.g. fuels and commodity chemicals) and lowvolume/ high-value (e.g. fine/speciality chemicals) products, thereby maximizing biomass valorization. This article addresses the challenges to catalytic biomass processing and highlights recent successes in the rational design of heterogeneous catalysts facilitated by advances in nanotechnology and the synthesis of templated porous materials, as well as the use of tailored catalyst surfaces to generate bifunctional solid acid/base materials or tune hydrophobicity

Sexual orientation and symptoms of common mental disorder or low wellbeing: combined meta-analysis of 12 UK population health surveys

Background Previous studies have indicated increased risk of mental disorder symptoms, suicide and substance misuse in lesbian, gay and bisexual (LGB) adults, compared to heterosexual adults. Our aims were to determine an estimate of the association between sexual orientation identity and poor mental health and wellbeing among adults from 12 population surveys in the UK, and to consider whether effects differed for specific subgroups of the population. Methods Individual data were pooled from the British Cohort Study 2012, Health Survey for England 2011, 2012 and 2013, Scottish Health Survey 2008 to 2013, Longitudinal Study of Young People in England 2009/10 and Understanding Society 2011/12. Individual participant meta-analysis was used to pool estimates from each study, allowing for between-study variation. Results Of 94,818 participants, 1.1 % identified as lesbian/gay, 0.9 % as bisexual, 0.8 % as ‘other’ and 97.2 % as heterosexual. Adjusting for a range of covariates, adults who identified as lesbian/gay had higher prevalence of common mental disorder when compared to heterosexuals, but the association was different in different age groups: apparent for those under 35 (OR = 1.78, 95 % CI 1.40, 2.26), weaker at age 35–54.9 (OR = 1.42, 95 % CI 1.10, 1.84), but strongest at age 55+ (OR = 2.06, 95 % CI 1.29, 3.31). These effects were stronger for bisexual adults, similar for those identifying as ‘other’, and similar for 'low wellbeing'. Conclusions In the UK, LGB adults have higher prevalence of poor mental health and low wellbeing when compared to heterosexuals, particularly younger and older LGB adults. Sexual orientation identity should be measured routinely in all health studies and in administrative data in the UK in order to influence national and local policy development and service delivery. These results reiterate the need for local government, NHS providers and public health policy makers to consider how to address inequalities in mental health among these minority groups

From Music Ontology Towards Ethno-Music-Ontology

This paper presents exploratory work investigating the suitability of the Music Ontology - the most widely used formal specification of the music domain - for modelling non-Western musical traditions. Four contrasting case studies from a variety of musical cultures are analysed: Dutch folk song research, reconstructive performance of rural Russian traditions, contemporary performance and composition of Persian classical music, and recreational use of a personal world music collection. We propose semantic models describing the respective do- mains and examine the applications of the Music Ontology for these case studies: which concepts can be successfully reused, where they need adjustments, and which parts of the reality in these case studies are not covered by the Mu- sic Ontology. The variety of traditions, contexts and modelling goals covered by our case studies sheds light on the generality of the Music Ontology and on the limits of generalisation “for all musics” that could be aspired for on the Semantic Web

Offline handwritten signature verification using radial basis function neural network

This study investigates the effectiveness of Radial Basis Function Neural Networks (RBFNNs) for Of- fline Handwritten Signature Verification (OHSV). A signature database is collected using intrapersonal variations for evaluation. Global, grid and texture features are used as feature sets. A number of exper- iments were carried out to compare the effectiveness of each separate set and their combination. The system is extensively tested with random signature forgeries and the high recognition rates obtained demonstrate the effectiveness of the architecture. The best results are obtained when global and grid features are combined producing a feature vector of 592 elements. In this case a Mean Error Rate (MER) of 2.04% with a False Rejection Rate (FRR) of 1.58% and a False Acceptance Rate (FAR) of 2.5% are achieved, which are generally better than those reported in the literature.peer-reviewe

A five year longitudinal study investigating the prevalence of childhood obesity: comparison of BMI and waist circumference.

Objective: The purpose of this study was to examine the prevalence of obesity over time in the same individuals comparing body mass index (BMI), waist circumference (WC) and waist to height ratio (WHtR). Study design: Five year longitudinal repeated measures study (2005–2010). Children were aged 11–12 (Y7) years at baseline and measurements were repeated at age 13–14 (Y9) years and 15–16 (Y11) years. Methods: WC and BMI measurements were carried out by the same person over the five years and raw values were expressed as standard deviation scores (sBMI and sWC) against the growth reference used for British children. Results: Mean sWC measurements were higher than mean sBMI measurements for both sexes and at all assessment occasions and sWC measurements were consistently high in girls compared to boys. Y7 sWC = 0.792 [95% confidence interval (CI) 0.675–0.908], Y9 sWC = 0.818 (95%CI 0.709–0.928), Y11 sWC = 0.943 (95%CI 0.827–1.06) for boys; Y7 sWC = 0.843 (0.697–0.989), Y9 sWC = 1.52 (95%CI 1.38–0.67), Y11 sWC = 1.89 (95%CI 1.79–2.04) for girls. Y7 sBMI = 0.445 (95%CI 0.315–0.575), Y9 sBMI = 0.314 (95%CI 0.189–0.438), Y11 sBMI = 0.196 (95%CI 0.054–0.337) for boys; Y7 sBMI = 0.353 (0.227–0.479), Y9 sBMI = 0.343 (95%CI 0.208–0.478), Y11 sBMI = 0.256 (95%CI 0.102–0.409) for girls. The estimated prevalence of obesity defined by BMI decreased in boys (18%, 12% and 10% in Y 7, 9 and 11 respectively) and girls (14%, 15% and 11% in Y 7, 9 and 11). In contrast, the prevalence estimated by WC increased sharply (boys; 13%, 19% and 23%; girls, 20%, 46% and 60%). Conclusion: Central adiposity, measured by WC is increasing alongside a stabilization in BMI. Children appear to be getting fatter and the additional adiposity is being stored centrally which is not detected by BMI. These substantial increases in WC are a serious concern, especially in girls