A feasible algorithm for typing in Elementary Affine Logic

We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following previous references on this topic, the variant of EAL type system we consider (denoted EAL*) is a variant without sharing and without polymorphism. Our algorithm improves over the ones already known in that it offers a better complexity bound: if a simple type derivation for the term t is given our algorithm performs EAL* type inference in polynomial time.Comment: 20 page

Electronic States in Diffused Quantum Wells

In the present study we calculate the energy values and the spatial distributions of the bound electronic states in some diffused quantum wells. The calculations are performed within the virtual crystal approximation, $sp^3 s^*$ spin dependent empirical tight-binding model and the surface Green function matching method. A good agreement is found between our results and experimental data obtained for AlGaAs/GaAs quantum wells with thermally induced changes in the profile at the interfaces. Our calculations show that for diffusion lengths $L_{D}=20\div100$ {\AA} the transition (C3-HH3) is not sensitive to the diffusion length, but the transitions (C1-HH1), (C1-LH1), (C2-HH2) and (C2-LH2) display large "blue shifts" as L_{D} increases. For diffusion lengths $L_{D}=0\div20$ {\AA} the transitions (C1-HH1) and (C1-LH1) are less sensitive to the L_{D} changes than the (C3-HH3) transition. The observed dependence is explained in terms of the bound states spatial distributions.Comment: ReVTeX file, 7pp., no macros, 4 figures available on the reques

Retinal nerve fibre layer thinning is associated with drug resistance in epilepsy.

Retinal nerve fibre layer (RNFL) thickness is related to the axonal anterior visual pathway and is considered a marker of overall white matter 'integrity'. We hypothesised that RNFL changes would occur in people with epilepsy, independently of vigabatrin exposure, and be related to clinical characteristics of epilepsy

Optimization of Cutaneous Electrically Mediated Plasmid DNA Delivery Using Novel Electrode

The easy accessibility of skin makes it an excellent target for gene transfer protocols. To take advantage of skin as a target for gene transfer, it is important to establish an efficient and reproducible delivery system. Electroporation is an established technique for enhancing plasmid delivery to many tissues in vivo. A critical component of this technique is the electrode configuration. Electroporation parameters were optimized for transgene expression with minimal tissue damage with a novel electrode. The highest transgene expression and efficiency of individual cell transformation with minimal damage was produced with eight 150 ms pulses at field strength of 100 V/cm. This electrode design offers the potential for easier and more reproducible electrically mediated cutaneous plasmid delivery than the simple electrodes currently commercially available. This electrode can be a valuable tool in determining the applicability of electrically mediated cutaneous gene transfer

Age- and stress-associated C. elegans granulins impair lysosomal function and induce a compensatory HLH-30/TFEB transcriptional response.

The progressive failure of protein homeostasis is a hallmark of aging and a common feature in neurodegenerative disease. As the enzymes executing the final stages of autophagy, lysosomal proteases are key contributors to the maintenance of protein homeostasis with age. We previously reported that expression of granulin peptides, the cleavage products of the neurodegenerative disease protein progranulin, enhance the accumulation and toxicity of TAR DNA binding protein 43 (TDP-43) in Caenorhabditis elegans (C. elegans). In this study we show that C. elegans granulins are produced in an age- and stress-dependent manner. Granulins localize to the endolysosomal compartment where they impair lysosomal protease expression and activity. Consequently, protein homeostasis is disrupted, promoting the nuclear translocation of the lysosomal transcription factor HLH-30/TFEB, and prompting cells to activate a compensatory transcriptional program. The three C. elegans granulin peptides exhibited distinct but overlapping functional effects in our assays, which may be due to amino acid composition that results in distinct electrostatic and hydrophobicity profiles. Our results support a model in which granulin production modulates a critical transition between the normal, physiological regulation of protease activity and the impairment of lysosomal function that can occur with age and disease

Non-linear stability in photogravitational non-planar restricted three body problem with oblate smaller primary

We have discussed non-linear stability in photogravitational non-planar restricted three body problem with oblate smaller primary. By photogravitational we mean that both primaries are radiating. We normalised the Hamiltonian using Lie transform as in Coppola and Rand (1989). We transformed the system into Birkhoff's normal form. Lie transforms reduce the system to an equivalent simpler system which is immediately solvable. Applying Arnold's theorem, we have found non-linear stability criteria. We conclude that $L_6$ is stable. We plotted graphs for $(\omega_1, D_2).$ They are rectangular hyperbola.Comment: Accepted for publication in Astrophysics & Space Scienc