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/

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

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

Energy Investigation Framework: understanding buildings from an energy perspective view.

According to the United Nations Global Status Report 2017, buildings and construction account for 36% of the global energy use and 39% of energy related carbon dioxide emissions [1]. A prudent design and accurate construction of energy efficient buildings are mandatory to reduce both global energy consumption and carbon dioxide emissions. The desired outcome can be achieved by (i) increasing the construction of low energy buildings, which are designed to sustain desired indoor temperature with a minimal energy input, (ii) and improving the energy performance of existing buildings. Some buildings underperform by gaining or losing more heat than needed. This study introduces a framework for investigating building energy performance. Thermography investigation, building modelling, characterization of thermal bridges and future prediction for overheating are encapsulated in the proposed framework. A sport changing facility, which was designed as a low energy building, serves as a demonstrator for the application of the framework. The energy investigation framework revealed that the facility is underperforming. According to the building model, the main reason for the poor building performance is thermal bridging (presence of steel members), which increases gas consumption and wall heat-loss by 18% and 11%, respectively. Other contributors to heat lose/gain are cracks in the building envelop, weak mortar joints and uninsulated hot water pipes. Furthermore, the future temperature data, which is input to the building model, suggests that the entire facility is under the risk of overheating

Alterations in circulating lipidomic profile in patients with type 2 diabetes with or without non-alcoholic fatty liver disease

Objective: Non-alcoholic fatty liver disease (NAFLD) and Type 2 diabetes mellitus (T2DM) often coexist and drive detrimental effects in a synergistic manner. This study was designed to understand the changes in circulating lipid and lipoprotein metabolism in patients with T2DM with or without NAFLD. Methods: Four hundred thirty-four T2DM patients aged 18–60 years were included in this study. Fatty liver was assessed by FibroScan. The comprehensive metabolic lipid profiling of serum samples was assessed by using high-throughput proton NMR metabolomics. Results: Our data revealed a significant association between steatosis and serum total lipids in VLDL and LDL lipoprotein subclasses, while total lipids in HDL subclasses were negatively associated. A significant positive association was found between steatosis and concentration of lipids, phospholipids, cholesterol, and triglycerides in VLDL and LDL subclasses, while HDL subclasses were negatively associated. Furthermore, a significant, association was observed between fibrosis and concentrations of lipids, phospholipids, cholesterol, and triglycerides in very small VLDL, large, and very large HDL subclasses. Subgroup analysis revealed a decrease in the concentrations of lipids, phospholipids, cholesterol, and other lipid biomolecules in patients using antilipemic medications. Conclusion: The metabolomics results provide evidence that patients with T2DM with higher steatosis grades have altered lipid metabolomics compared to patients without steatosis. Increased lipid, phospholipids, cholesterol, and triglycerides concentration of VLDL and LDL subclasses are associated with steatosis in patients with T2DM

An evaluation of optimisation approaches in Cloud of Things resource trading

Cloud Computing and Internet of Things (IoT) have evolved to meet the requirements of many real-world applications. Many of these requirements cannot be fulfilled by using either technology separately. In order to fulfil such diverse requirements, the integration of Cloud Computing and IoT is emerging as a new paradigm called Cloud of Things (CoT). CoT is expected to host heterogeneous resources and fulfil complex requirements of resource providers and consumers. This complexity poses a real challenge for resource allocation in CoT. To tackle this challenge, resource allocation is described as a trading optimisation problem and utility functions are used to rank candidate resource allocation assignments. The contributions of this paper are 1) introducing vocabularies needed for trading CoT resources 2) proposing a marketplace system architecture to enable efficient trading of CoT resources 3) examining the use of different utility functions to rank candidate resource assignments 4) performing simulations to validate the effectiveness of the proposed approach using three optimisation algorithms

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