Nominal Unification of Higher Order Expressions with Recursive Let

A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for plain expressions and for DAGs and determine the complexity of corresponding unification problems.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Cloning and sequence analysis of cDNAs encoding the cytosolic precursors of subunits GapA and GapB of chloroplast glyceraldehyde-3-phosphate dehydrogenase from pea and spinach

Chloroplast glyceraldehyde-3-phosphate dehydrogenase (GAPDH) is composed of two different subunits, GapA and GapB. cDNA clones containing the entire coding sequences of the cytosolic precursors for GapA from pea and for GapB from pea and spinach have been identified, sequenced and the derived amino acid sequences have been compared to the corresponding sequences from tobacco, maize and mustard. These comparisons show that GapB differs from GapA in about 20% of its amino acid residues and by the presence of a flexible and negatively charged C-terminal extension, possibly responsible for the observed association of the enzyme with chloroplast envelopes in vitro. This C-terminal extension (29 or 30 residues) may be susceptible to proteolytic cleavage thereby leading to a conversion of chloroplast GAPDH isoenzyme I into isoenzyme II. Evolutionary rate comparisons at the amino acid sequence level show that chloroplast GapA and GapB evolve roughly two-fold slower than their cytosolic counterpart GapC. GapA and GapB transit peptides evolve about 10 times faster than the corresponding mature subunits. They are relatively long (68 and 83 residues for pea GapA and spinach GapB respectively) and share a similar amino acid framework with other chloroplast transit peptides

SN 2005hj: Evidence for Two Classes of Normal-Bright SNe Ia and Implications for Cosmology

HET Optical spectra covering the evolution from about 6 days before to about 5 weeks after maximum light and the ROTSE-IIIb unfiltered light curve of the "Branch-normal" Type Ia Supernova SN 2005hj are presented. The host galaxy shows HII region lines at redshift of z=0.0574, which puts the peak unfiltered absolute magnitude at a somewhat over-luminous -19.6. The spectra show weak and narrow SiII lines, and for a period of at least 10 days beginning around maximum light these profiles do not change in width or depth and they indicate a constant expansion velocity of ~10,600 km/s. We analyzed the observations based on detailed radiation dynamical models in the literature. Whereas delayed detonation and deflagration models have been used to explain the majority of SNe Ia, they do not predict a long velocity plateau in the SiII minimum with an unvarying line profile. Pulsating delayed detonations and merger scenarios form shell-like density structures with properties mostly related to the mass of the shell, M_shell, and we discuss how these models may explain the observed SiII line evolution; however, these models are based on spherical calculations and other possibilities may exist. SN 2005hj is consistent with respect to the onset, duration, and velocity of the plateau, the peak luminosity and, within the uncertainties, with the intrinsic colors for models with M_shell=0.2 M_sun. Our analysis suggests a distinct class of events hidden within the Branch-normal SNe Ia. If the predicted relations between observables are confirmed, they may provide a way to separate these two groups. We discuss the implications of two distinct progenitor classes on cosmological studies employing SNe Ia, including possible differences in the peak luminosity to light curve width relation.Comment: ApJ accepted, 31 page

Incorporating psychology into cyber security education: A pedagogical approach

The role of the human in cyber security is well acknowledged. Many cyber security incidents rely upon targets performing specific behavioural actions, such as opening a link within a phishing email. Cyber adversaries themselves are driven by psychological processes such as motivation, group dynamics and social identity. Furthermore, both intentional and unintentional insider threats are associated with a range of psychological factors, including cognitive load, mental wellbeing, trust and interpersonal relations. By incorporating psychology into cyber security education, practitioners will be better equipped with the skills they need to address cyber security issues. However, there are challenges in doing so. Psychology is a broad discipline, and many theories, approaches and methods may have little practical significance to cyber security. There is a need to sift through the literature to identify what can be applied to cyber security. There are also pedagogical differences in how psychology and cyber security are taught and also psychological differences in the types of student that may typically study psychology and cyber security. To engage with cyber security students, it is important that these differences are identified and positively addressed. Essential to this endeavor is the need to discuss and collaborate across the two disciplines. In this paper, we explore these issues and discuss our experiences as psychology and cyber security academics who work across disciplines to deliver psychology education to cyber security students, practitioners and commercial clients

Bianchi Type-II String Cosmological Models in Normal Gauge for Lyra's Manifold with Constant Deceleration Parameter

The present study deals with a spatially homogeneous and anisotropic Bianchi-II cosmological models representing massive strings in normal gauge for Lyra's manifold by applying the variation law for generalized Hubble's parameter that yields a constant value of deceleration parameter. The variation law for Hubble's parameter generates two types of solutions for the average scale factor, one is of power-law type and other is of the exponential form. Using these two forms, Einstein's modified field equations are solved separately that correspond to expanding singular and non-singular models of the universe respectively. The energy-momentum tensor for such string as formulated by Letelier (1983) is used to construct massive string cosmological models for which we assume that the expansion ($\theta$) in the model is proportional to the component $\sigma^{1}_{~1}$ of the shear tensor $\sigma^{j}_{i}$. This condition leads to $A = (BC)^{m}$, where A, B and C are the metric coefficients and m is proportionality constant. Our models are in accelerating phase which is consistent to the recent observations. It has been found that the displacement vector $\beta$ behaves like cosmological term $\Lambda$ in the normal gauge treatment and the solutions are consistent with recent observations of SNe Ia. It has been found that massive strings dominate in the decelerating universe whereas strings dominate in the accelerating universe. Some physical and geometric behaviour of these models are also discussed.Comment: 24 pages, 10 figure

Membranes by the Numbers

Many of the most important processes in cells take place on and across membranes. With the rise of an impressive array of powerful quantitative methods for characterizing these membranes, it is an opportune time to reflect on the structure and function of membranes from the point of view of biological numeracy. To that end, in this article, I review the quantitative parameters that characterize the mechanical, electrical and transport properties of membranes and carry out a number of corresponding order of magnitude estimates that help us understand the values of those parameters.Comment: 27 pages, 12 figure

Enrichment analysis of Alu elements with different spatial chromatin proximity in the human genome

Transposable elements (TEs) have no longer been totally considered as “junk DNA” for quite a time since the continual discoveries of their multifunctional roles in eukaryote genomes. As one of the most important and abundant TEs that still active in human genome, Alu, a SINE family, has demonstrated its indispensable regulatory functions at sequence level, but its spatial roles are still unclear. Technologies based on 3C(chromosomeconformation capture) have revealed the mysterious three-dimensional structure of chromatin, and make it possible to study the distal chromatin interaction in the genome. To find the role TE playing in distal regulation in human genome, we compiled the new released Hi-C data, TE annotation, histone marker annotations, and the genome-wide methylation data to operate correlation analysis, and found that the density of Alu elements showed a strong positive correlation with the level of chromatin interactions (hESC: r=0.9, P<2.2×1016; IMR90 fibroblasts: r = 0.94, P < 2.2 × 1016) and also have a significant positive correlation withsomeremote functional DNA elements like enhancers and promoters (Enhancer: hESC: r=0.997, P=2.3×10−4; IMR90: r=0.934, P=2×10−2; Promoter: hESC: r = 0.995, P = 3.8 × 10−4; IMR90: r = 0.996, P = 3.2 × 10−4). Further investigation involving GC content and methylation status showed the GC content of Alu covered sequences shared a similar pattern with that of the overall sequence, suggesting that Alu elements also function as the GC nucleotide and CpG site provider. In all, our results suggest that the Alu elements may act as an alternative parameter to evaluate the Hi-C data, which is confirmed by the correlation analysis of Alu elements and histone markers. Moreover, the GC-rich Alu sequence can bring high GC content and methylation flexibility to the regions with more distal chromatin contact, regulating the transcription of tissue-specific genes

Nucleocytoplasmic transport: a thermodynamic mechanism

The nuclear pore supports molecular communication between cytoplasm and nucleus in eukaryotic cells. Selective transport of proteins is mediated by soluble receptors, whose regulation by the small GTPase Ran leads to cargo accumulation in, or depletion from the nucleus, i.e., nuclear import or nuclear export. We consider the operation of this transport system by a combined analytical and experimental approach. Provocative predictions of a simple model were tested using cell-free nuclei reconstituted in Xenopus egg extract, a system well suited to quantitative studies. We found that accumulation capacity is limited, so that introduction of one import cargo leads to egress of another. Clearly, the pore per se does not determine transport directionality. Moreover, different cargo reach a similar ratio of nuclear to cytoplasmic concentration in steady-state. The model shows that this ratio should in fact be independent of the receptor-cargo affinity, though kinetics may be strongly influenced. Numerical conservation of the system components highlights a conflict between the observations and the popular concept of transport cycles. We suggest that chemical partitioning provides a framework to understand the capacity to generate concentration gradients by equilibration of the receptor-cargo intermediary.Comment: in press at HFSP Journal, vol 3 16 text pages, 1 table, 4 figures, plus Supplementary Material include