An investigation into the validation of formalised cognitive dimensions

The cognitive dimensions framework is a conceptual framework aimed at characterising features of interactive systems that are strongly influential upon their effective use. As such the framework facilitates the critical assessment and design of a wide variety of information artifacts. Although the framework has proved to be of considerable interest to researchers and practitioners, there has been little research examining how easily the dimensions used by it can be consistently applied. The work reported in this paper addresses this problem by examining an approach to the systematic application of dimensions and assessing its success empirically. The findings demonstrate a relatively successful approach to validating the systematic application of some concepts found in the cognitive dimensions framework.</p

ADAPT: a price-stabilizing compliance policy for renewable energy certificates: the case of SREC markets

Currently most Renewable Energy Certificate (REC) markets are defined based on targets which create an artificial step demand function resembling a cliff. This target policy produces volatile prices which can make investing in renewables a risky proposition. In this paper, we propose an alternative policy called Adjustable Dynamic Assignment of Penalties and Targets (ADAPT) which uses a sloped compliance penalty and a self-regulating requirement schedule, both designed to stabilize REC prices, helping to alleviate a common weakness of environmental markets. To capture market behavior, we model the market as a stochastic dynamic programming problem to understand how the market might balance the decision to use a REC now versus holding it for future periods (in the face of uncertain new supply). Then, we present and prove some of the properties of this market, and finally we show that this mechanism reduces the volatility of REC prices which should stabilize the market and encourage long-term investment in renewables

Metabolic multi-stability and hysteresis in a model aerobe-anaerobe microbiome community

Changes in the composition of the human microbiome are associated with health and disease. Some microbiome states persist in seemingly unfavorable conditions, e.g., the proliferation of aerobe-anaerobe communities in oxygen-exposed environments in wounds or small intestinal bacterial overgrowth. However, it remains unclear how different stable microbiome states can exist under the same conditions, or why some states persist under seemingly unfavorable conditions. Here, using two microbes relevant to the human microbiome, we combine genome-scale mathematical modeling, bioreactor experiments, transcriptomics, and dynamical systems theory, to show that multi-stability and hysteresis (MSH) is a mechanism that can describe the shift from an aerobe-dominated state to a resilient, paradoxically persistent aerobe-anaerobe state. We examine the impact of changing oxygen and nutrient regimes and identify factors, including changes in metabolism and gene expression, that lead to MSH. When analyzing the transitions between the two states in this system, the familiar conceptual connection between causation and correlation is broken and MSH must be used to interpret the dynamics. Using MSH to analyze microbiome dynamics will improve our conceptual understanding of the stability of microbiome states and the transitions among microbiome states

Rotation Symmetry Spontaneous Breaking of Edge States in Zigzag Carbon Nanotubes

Analytical solutions of the edge states were obtained for the (N, 0) type carbon nanotubes with distorted ending bonds. It was found that the edge states are mixed via the distortion. The total energies for N=5 and N>=7 are lower in the asymmetric configurations of ending bonds than those having axial rotation symmetry. Thereby the symmetry is breaking spontaneously. The results imply that the symmetry of electronic states at the apex depends on the occupation; the electron density pattern at the apex could change dramatically and could be controlled by applying an external field.Comment: 19 pages, 3 figure

The therapeutic potential of losartan in lung metastasis of colorectal cancer

Colorectal cancer (CRC) is a common cancer with a high incidence rate. Components of the renin-angiotensin system (RAS) have been reported to be dysregulated in several malignancies including CRC. Here, we have explored the potential anti-metastatic effects of a RAS inhibitor, losartan, in an experimental model of lung metastasis in CRC. A murine model of lung metastasis of CRC was used, which involved the intravenous injection of CT26 cells via a tail vein. Four experimental groups comprised: an untreated group; a group that received 5-FU which was administered intraperitoneally; a losartan group that received a combination group that received 5-FU plus losartan . We evaluated the anti-inflammatory effects of losartan by histopathological method, and the measurement of oxidative or antioxidant markers including malondialdehyde (MDA) and total-thiols (T-SH) tissue levels, superoxide-dismutase (SOD) and catalase activity. We found that losartan inhibited lung metastasis of CRC and there was a reduction of the IL-6 expression level in the tissue sample. It was also associated with reduced levels of the anti-angiogenic factor Vascular endothelial growth factor (VEGF). Furthermore, we found that losartan induced oxidative stress as assessed by an elevation of MDA level, reduction of T-SH, SOD and catalase activities in lung tissue. Our findings demonstrated that losartan ameliorates angiogenesis, inflammation and the induction of oxidative stress via Angiotensin II type I receptor (AT1R). This may shine some lights on targeting the RAS pathway as a potential therapeutic approach in the treatment of metastatic CRC patients

Chemical engineering of adamantane by lithium functionalization: A first-principles density functional theory study

Using first-principle density functional theory, we investigated the hydrogen storage capacity of Li functionalized adamantane. We showed that if one of the acidic hydrogen atoms of adamantane is replaced by Li/Li+, the resulting complex is activated and ready to adsorb hydrogen molecules at a high gravimetric weight percent of around ~ 7.0 %. Due to polarization of hydrogen molecules under the induced electric field generated by positively charged Li/Li+, they are adsorbed on ADM.Li/Li+ complexes with an average binding energy of ~ -0.15 eV/H2, desirable for hydrogen storage applications. We also examined the possibility of the replacement of a larger number of acidic hydrogen atoms of adamantane by Li/Li+ and the possibility of aggregations of formed complexes in experiments. The stabilities of the proposed structures were investigated by calculating vibrational spectra and doing MD simulations.Comment: 8 pages, 6 figures, 2 tables, accepted for publication in Physical Review

Cube Testers and Key Recovery Attacks On Reduced-Round MD6 and Trivium

CRYPTO 2008 saw the introduction of the hash function MD6 and of cube attacks, a type of algebraic attack applicable to cryptographic functions having a low-degree algebraic normal form over GF(2). This paper applies cube attacks to reduced round MD6, finding the full 128-bit key of a 14-round MD6 with complexity 2^22 (which takes less than a minute on a single PC). This is the best key recovery attack announced so far for MD6. We then introduce a new class of attacks called cube testers, based on efficient property-testing algorithms, and apply them to MD6 and to the stream cipher Trivium. Unlike the standard cube attacks, cube testers detect nonrandom behavior rather than performing key extraction, but they can also attack cryptographic schemes described by nonrandom polynomials of relatively high degree. Applied to MD6, cube testers detect nonrandomness over 18 rounds in 2^17 complexity; applied to a slightly modified version of the MD6 compression function, they can distinguish 66 rounds from random in 2^24 complexity. Cube testers give distinguishers on Trivium reduced to 790 rounds from random with 2^30 complexity and detect nonrandomness over 885 rounds in 2^27, improving on the original 767-round cube attack

Early-infantile onset epilepsy and developmental delay caused by bi-allelic GAD1 variants

Gamma-aminobutyric acid (GABA) and glutamate are the most abundant amino acid neurotransmitters in the brain. GABA, an inhibitory neurotransmitter, is synthesized by glutamic acid decarboxylase (GAD). Its predominant isoform GAD67, contributes up to ∼90% of base-level GABA in the CNS, and is encoded by the GAD1 gene. Disruption of GAD1 results in an imbalance of inhibitory and excitatory neurotransmitters, and as Gad1−/− mice die neonatally of severe cleft palate, it has not been possible to determine any potential neurological dysfunction. Furthermore, little is known about the consequence of GAD1 disruption in humans. Here we present six affected individuals from six unrelated families, carrying bi-allelic GAD1 variants, presenting with developmental and epileptic encephalopathy, characterized by early-infantile onset epilepsy and hypotonia with additional variable non-CNS manifestations such as skeletal abnormalities, dysmorphic features and cleft palate. Our findings highlight an important role for GAD1 in seizure induction, neuronal and extraneuronal development, and introduce GAD1 as a new gene associated with developmental and epileptic encephalopathy

Degrees of tenant isolation for cloud-hosted software services : a cross-case analysis

A challenge, when implementing multi-tenancy in a cloud-hosted software service, is how to ensure that the performance and resource consumption of one tenant does not adversely affect other tenants. Software designers and architects must achieve an optimal degree of tenant isolation for their chosen application requirements. The objective of this research is to reveal the trade-offs, commonalities, and differences to be considered when implementing the required degree of tenant isolation. This research uses a cross-case analysis of selected open source cloud-hosted software engineering tools to empirically evaluate varying degrees of isolation between tenants. Our research reveals five commonalities across the case studies: disk space reduction, use of locking, low cloud resource consumption, customization and use of plug-in architecture, and choice of multi-tenancy pattern. Two of these common factors compromise tenant isolation. The degree of isolation is reduced when there is no strategy to reduce disk space and customization and plug-in architecture is not adopted. In contrast, the degree of isolation improves when careful consideration is given to how to handle a high workload, locking of data and processes is used to prevent clashes between multiple tenants and selection of appropriate multi-tenancy pattern. The research also revealed five case study differences: size of generated data, cloud resource consumption, sensitivity to workload changes, the effect of the software process, client latency and bandwidth, and type of software process. The degree of isolation is impaired, in our results, by the large size of generated data, high resource consumption by certain software processes, high or fluctuating workload, low client latency, and bandwidth when transferring multiple files between repositories. Additionally, this research provides a novel explanatory framework for (i) mapping tenant isolation to different software development processes, cloud resources and layers of the cloud stack; and (ii) explaining the different trade-offs to consider affecting tenant isolation (i.e. resource sharing, the number of users/requests, customizability, the size of generated data, the scope of control of the cloud application stack and business constraints) when implementing multi-tenant cloud-hosted software services. This research suggests that software architects have to pay attention to the trade-offs, commonalities, and differences we identify to achieve their degree of tenant isolation requirements