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

From Nonstandard Analysis to various flavours of Computability Theory

As suggested by the title, it has recently become clear that theorems of Nonstandard Analysis (NSA) give rise to theorems in computability theory (no longer involving NSA). Now, the aforementioned discipline divides into classical and higher-order computability theory, where the former (resp. the latter) sub-discipline deals with objects of type zero and one (resp. of all types). The aforementioned results regarding NSA deal exclusively with the higher-order case; we show in this paper that theorems of NSA also give rise to theorems in classical computability theory by considering so-called textbook proofs.Comment: To appear in the proceedings of TAMC2017 (http://tamc2017.unibe.ch/

Trends in the availability and usage of electrophysical agents in physiotherapy practices from 1990 to 2010: A review

This is the Pre-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2012 Maney PublishingBackground: The use of electrophysical agents has a historically important role in physiotherapy practice. There are anecdotal reports that the availability and usage of electrotherapy modalities are declining, which may have implications for physiotherapy practice. The aim of this literature review was to provide scientific evidence on electrotherapy usage in the last 20 years by identifying trends in availability, use, and non-use of nine electrotherapeutic modalities in physiotherapy practices during 1990s and 2000s. Methods: Review of empirical studies published in the English language from 1990 to 2010 and identified through searching online bibliographic databases, which included: Medline/OvidSP, PubMed Central, CINAHL/EBSCOhost, ScienceDirect, Scopus, ISI Web of Science, and Google Scholar. Findings: In the last 20 years, ultrasound availability and usage show increasing trends in several countries. The availability and use of pulsed shortwave diathermy and laser have shown steady trends. Transcutaneous electrical nerve stimulation, interferential, and biofeedback availability and usage have shown increasing trends in the UK and decreasing trends in Australia and the Republic of Ireland. Trends of continuous shortwave diathermy availability and use are declining irrespective of the country of the study. The availability and usage of microwave diathermy and H-wave show steeply declining trends, while there is a sharp rise in their non-availability over the last several years. Conclusions: The availability and use of electrophysical agents have greatly changed in the last 20 years. Declining trends in the availability and usage along with increasing trend of non-availability of electrotherapy modalities may have implications for electrotherapy education, training, and practice in the coming years.This study was funded by Health & Safety Executive, UK (grant no. 4371/R47.022)

Strain-relief by single dislocation loops in calcite crystals grown on self-assembled monolayers

Most of our knowledge of dislocation-mediated stress relaxation during epitaxial crystal growth comes from the study of inorganic heterostructures. Here we use Bragg coherent diffraction imaging to investigate a contrasting system, the epitaxial growth of calcite (CaCO3) crystals on organic self-assembled monolayers, where these are widely used as a model for biomineralization processes. The calcite crystals are imaged to simultaneously visualize the crystal morphology and internal strain fields. Our data reveal that each crystal possesses a single dislocation loop that occupies a common position in every crystal. The loops exhibit entirely different geometries to misfit dislocations generated in conventional epitaxial thin films and are suggested to form in response to the stress field, arising from interfacial defects and the nanoscale roughness of the substrate. This work provides unique insight into how self-assembled monolayers control the growth of inorganic crystals and demonstrates important differences as compared with inorganic substrates

Differential expression analysis for sequence count data

*Motivation:* High-throughput nucleotide sequencing provides quantitative readouts in assays for RNA expression (RNA-Seq), protein-DNA binding (ChIP-Seq) or cell counting (barcode sequencing). Statistical inference of differential signal in such data requires estimation of their variability throughout the dynamic range. When the number of replicates is small, error modelling is needed to achieve statistical power.

*Results:* We propose an error model that uses the negative binomial distribution, with variance and mean linked by local regression, to model the null distribution of the count data. The method controls type-I error and provides good detection power. 

*Availability:* A free open-source R software package, _DESeq_, is available from the Bioconductor project and from "http://www-huber.embl.de/users/anders/DESeq":http://www-huber.embl.de/users/anders/DESeq

The holistic phase model of early adult crisis

The objective of the current study was to explore the structural, temporal and experiential manifestations of crisis episodes in early adulthood, using a holistic-systemic theoretical framework. Based on an analysis of 50 interviews with individuals about a crisis episode between the ages of 25 and 35, a holistic model was developed. The model comprises four phases: (1) Locked-in, (2) Separation/Time-out, (3) Exploration and (4) Rebuilding, which in turn have characteristic features at four levels—person-in-environment, identity, motivation and affect-cognition. A crisis starts out with a commitment at work or home that has been made but is no longer desired, and this is followed by an emotionally volatile period of change as that commitment is terminated. The positive trajectory of crisis involves movement through an exploratory period towards active rebuilding of a new commitment, but ‘fast-forward’ and ‘relapse’ loops can interrupt Phases 3 and 4 and make a positive resolution of the episode less likely. The model shows conceptual links with life stage theories of emerging adulthood and early adulthood, and it extends current understandings of the transitional developmental challenges that young adults encounter

Influential factors of aligning Spotify squads in mission-critical and offshore projects – a longitudinal embedded case study

Changing the development process of an organization is one of the toughest and riskiest decisions. This is particularly true if the known experiences and practices of the new considered ways of working are relative and subject to contextual assumptions. Spotify engineering culture is deemed as a new agile software development method which increasingly attracts large-scale organizations. The method relies on several small cross-functional self-organized teams (i.e., squads). The squad autonomy is a key driver in Spotify method, where a squad decides what to do and how to do it. To enable effective squad autonomy, each squad shall be aligned with a mission, strategy, short-term goals and other squads. Since a little known about Spotify method, there is a need to answer the question of: How can organizations work out and maintain the alignment to enable loosely coupled and tightly aligned squads? In this paper, we identify factors to support the alignment that is actually performed in practice but have never been discussed before in terms of Spotify method. We also present Spotify Tailoring by highlighting the modified and newly introduced processes to the method. Our work is based on a longitudinal embedded case study which was conducted in a real-world large-scale offshore software intensive organization that maintains mission-critical systems. According to the confidentiality agreement by the organization in question, we are not allowed to reveal a detailed description of the features of the explored project

Systematic review of the health-related quality of life issues facing adolescents and young adults with cancer

PURPOSE: For adolescents and young adults (AYAs), the impact of a cancer diagnosis and subsequent treatment is likely to be distinct from other age groups given the unique and complex psychosocial challenges of this developmental phase. In this review of the literature, we report the health-related quality of life (HRQoL) issues experienced by AYAs diagnosed with cancer and undergoing treatment. METHODS: MEDLINE, EMBASE, CINAHL, PsychINFO and the Cochrane Library Databases were searched for publications reporting HRQoL of AYAs. Issues generated from interviews with AYAs or from responses to patient reported outcome measures (PROMs) were extracted. RESULTS: 166 papers were reviewed in full and comprised 72 papers covering 69 primary studies, 49 measurement development or evaluation papers and 45 reviews. Of the 69 studies reviewed, 11 (16%) used interviews to elicit AYAs’ descriptions of HRQoL issues. The majority of the PROMs used in the studies represent adaptations of paediatric or adult measures. HRQoL issues were organised into the following categories: physical, cognitive, restricted activities, relationships with others, fertility, emotions, body image and spirituality/outlook on life. CONCLUSION: The HRQoL issues presented within this review are likely to be informative to health care professionals and AYAs. The extensive list of issues suggests that the impact of a cancer diagnosis and treatment during adolescence and young adulthood is widespread and reflects the complexities of this developmental phase

<i>Schizosaccharomyces pombe</i> Pol II transcription elongation factor ELL functions as part of a rudimentary super elongation complex

ELL family transcription factors activate the overall rate of RNA polymerase II (Pol II) transcription elongation by binding directly to Pol II and suppressing its tendency to pause. In metazoa, ELL regulates Pol II transcription elongation as part of a large multisubunit complex referred to as the Super Elongation Complex (SEC), which includes P-TEFb and EAF, AF9 or ENL, and an AFF family protein. Although orthologs of ELL and EAF have been identified in lower eukaryotes including Schizosaccharomyces pombe, it has been unclear whether SEClike complexes function in lower eukaryotes. In this report, we describe isolation from S. pombe of an ELL-containing complex with features of a rudimentary SEC. This complex includes S. pombe Ell1, Eaf1, and a previously uncharacterized protein we designate Ell1 binding protein 1 (Ebp1), which is distantly related to metazoan AFF family members. Like the metazoan SEC, this S. pombe ELL complex appears to function broadly in Pol II transcription. Interestingly, it appears to have a particularly important role in regulating genes involved in cell separation

Engaging with community researchers for exposure science: lessons learned from a pesticide biomonitoring study

A major challenge in biomonitoring studies with members of the general public is ensuring their continued involvement throughout the necessary length of the research. The paper presents evidence on the use of community researchers, recruited from local study areas, as a mechanism for ensuring effective recruitment and retention of farmer and resident participants for a pesticides biomonitoring study. The evidence presented suggests that community researchers' abilities to build and sustain trusting relationships with participants enhanced the rigour of the study as a result of their on-the-ground responsiveness and flexibility resulting in data collection beyond targets expected