Field Representations of Vector Supersymmetry

We study some field representations of vector supersymmetry with superspin Y=0 and Y=1/2 and nonvanishing central charges. For Y=0, we present two multiplets composed of four spinor fields, two even and two odd, and we provide a free action for them. The main differences between these two multiplets are the way the central charge operators act and the compatibility with the Majorana reality condition on the spinors. One of the two is related to a previously studied spinning particle model. For Y=1/2, we present a multiplet composed of one even scalar, one odd vector and one even selfdual two-form, which is a truncation of a known representation of the tensor supersymmetry algebra in Euclidean spacetime. We discuss its rotation to Minkowski spacetime and provide a set of dynamical equations for it, which are however not derived from a Lagrangian. We develop a superspace formalism for vector supersymmetry with central charges and we derive our multiplets by superspace techniques. Finally, we discuss some representations with vanishing central charges.Comment: 37 page

A program analysis framework for tccp based on abstract interpretation

[EN] The timed concurrent constraint language (tccp) is a timed extension of the concurrent constraint paradigm. tccp was defined to model reactive systems, where infinite behaviors arise naturally. In previous works, a semantic framework and abstract diagnosis method for the language have been defined. On the basis of that semantic framework, this paper proposes an abstract semantics that, together with a widening operator, is suitable for the definition of different analyses for tccp programs. The abstract semantics is correct and can be represented as a finite graph where each node represents a hypothetical (abstract) computational step of the program. The widening operator allows us to guarantee the convergence of the abstract fixpoint computation.This author has been supported by the Andalusian Excellence Project P11-TIC-7659. This work has been partially supported by the EU (FEDER) and the Spanish MINECO under grants TIN 2015-69175-C4-1-R and TIN 2013-45732-C4-1-P and by Generalitat Valenciana PROMETEOII/2015/013Comini, M.; Gallardo, M.; Titolo, L.; Villanueva, A. (2017). A program analysis framework for tccp based on abstract interpretation. Formal Aspects of Computing. 29(3):531-557. https://doi.org/10.1007/s00165-016-0409-8S531557293Alpuente M, Gallardo MM, Pimentel E, Villanueva A (2006) A semantic framework for the abstract model checking of tccp programs. Theor Comput Scie 346(1): 58–95Bagnara R, Hill PM., Ricci E, Zaffanella E (2005) Precise widening operators for convex polyhedra. Sci Comput Program 58(1–2):28–56Cousot P, Cousot R (1977) Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on principles of programming languages, Los Angeles, California, January 17–19. ACM Press, New York, pp 238–252Clarke EM, Grumberg O, Jha S, Lu Y, Veith H (2000) Counterexample-guided abstraction refinement. In: CAV, Lecture Notes in Computer Science, vol 1855. Springer, pp 154–169Comini M, Gallardo MM, Titolo L, Villanueva A (2015) Abstract Analysis of Universal Properties for tccp. In: Falaschi M (ed) Logic-based Program Synthesis and Transformation, 25th International Symposium, LOPSTR 2015. Revised Selected Papers, Lecture Notes in Computer Science, vol 9527. Springer, pp 163–178Comini M, Titolo L, Villanueva A (2011) Abstract diagnosis for timed concurrent constraint programs. Theory Pract Logic Programm 11(4-5):487–502Comini M, Titolo L, Villanueva A (2013) A condensed goal-independent bottom-up fixpoint modeling the behavior of tccp. Technical report, DSIC, Universitat Politècnica de València. http://riunet.upv.es/handle/10251/34328de Boer FS, Gabbrielli M, Meo MC (2000) A timed concurrent constraint language. Inf Comput 161(1): 45–83Falaschi M, Gabbrielli M, Marriott K, Palamidessi C (1993) Compositional analysis for concurrent constraint programming. In: Proceedings of the eighth annual IEEE symposium on logic in computer science, Los Alamitos, CA, USA, IEEE Computer Society Press, pp 210–221Falaschi M, Olarte C, Palamidessi C (2015) Abstract interpretation of temporal concurrent constraint programs. Theory and Pract Logic Program (TPLP) 15(3): 312–357Falaschi M, Villanueva A (2006) Automatic verification of timed concurrent constraint programs. Theory Pract Logic Program 6(3): 265–300Gallardo MM, Merino P, Pimentel E (2002) Refinement of LTL formulas for abstract model checking. In: Static analysis, 9th international symposium, SAS 2002, Madrid, Spain, September 17–20, 2002, Proceedings, pp 395–410Saraswat VA (1993) Concurrent constraint programming. The MIT Press, CambridgeSaraswat VA, Rinard M, Panangaden P (1991) The semantic foundations of concurrent constraint programming. In: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on principles of programming languages. ACM, New York, pp 333–352Zaffanella E, Giacobazzi R, Levi G (1997) Abstracting synchronization in concurrent constraint programming. J Funct Logic Program (6

Glycogen Synthase Kinase (GSK) 3β phosphorylates and protects nuclear myosin 1c from proteasome-mediated degradation to activate rDNA transcription in early G1 cells

Nuclear myosin 1c (NM1) mediates RNA polymerase I (pol I) transcription activation and cell cycle progression by facilitating PCAF-mediated H3K9 acetylation, but the molecular mechanism by which NM1 is regulated remains unclear. Here, we report that at early G1 the glycogen synthase kinase (GSK) 3β phosphorylates and stabilizes NM1, allowing for NM1 association with the chromatin. Genomic analysis by ChIP-Seq showed that this mechanism occurs on the rDNA as active GSK3β selectively occupies the gene. ChIP assays and transmission electron microscopy in GSK3β-/- mouse embryonic fibroblasts indicated that at G1 rRNA synthesis is suppressed due to decreased H3K9 acetylation leading to a chromatin state incompatible with transcription. We found that GSK3β directly phosphorylates the endogenous NM1 on a single serine residue (Ser-1020) located within the NM1 C-terminus. In G1 this phosphorylation event stabilizes NM1 and prevents NM1 polyubiquitination by the E3 ligase UBR5 and proteasome-mediated degradation. We conclude that GSK3β-mediated phosphorylation of NM1 is required for pol I transcription activation

The relationship between spasticity in young children (18 months of age) with cerebral palsy and their gross motor function development

<p>Abstract</p> <p>Background</p> <p>It is thought that spasticity has an influence on the development of functional motor abilities among children with cerebral palsy (CP). The extent to which spasticity is associated with the change in motor abilities in young children with CP has not been established. The objective of this study is to evaluate the relationship of initial spasticity in young children with CP and their gross motor function development over one year.</p> <p>Methods</p> <p>Fifty children with CP aged 18 months, GMFCS-levels I-V participated in a longitudinal observational study. Change in gross motor functioning (GMFM-66) was measured over one year. The level of spasticity measured at the first assessment was determined with the Modified Tardieu Scale in three muscle groups of the lower extremity (adductor muscles, the hamstrings and the m. gastrocnemius). The Spasticity Total Score per child was calculated with a maximum score of 12 points.</p> <p>Results</p> <p>Spearman's Rho Correlation (-0.28) revealed a statistically significant relationship (p < 0.05) of small strength between the Spasticity Total Score and the change score of the GMFM-66.</p> <p>Conclusion</p> <p>Our findings indicate that when measured over one year, spasticity is marginally related to gross motor function development in infants with CP. The initial level of spasticity is only one of the many child, environmental and family factors that determines gross motor development of a young child with CP.</p

Angiomyolipoma Have Common Mutations in TSC2 but No Other Common Genetic Events

Renal angiomyolipoma are part of the PEComa family of neoplasms, and occur both in association with Tuberous Sclerosis Complex (TSC) and independent of that disorder. Previous studies on the molecular genetic alterations that occur in angiomyolipoma are very limited. We evaluated 9 angiomyolipoma for which frozen tissue was available from a consecutive surgical series. Seven of 8 samples subjected to RT-PCR-cDNA sequencing showed mutations in TSC2; none showed mutations in TSC1 or RHEB. Six of the seven mutations were deletions. We searched for 983 activating and inactivating mutations in 115 genes, and found none in these tumors. Similarly analysis for genomic regions of loss or gain, assessed by Affymetrix SNP6.0 analysis, showed no abnormalities. Loss of heterozygosity in the TSC2 region was commonly seen, except in patients with low frequency TSC2 mutations. We conclude that sporadic renal angiomyolipoma usually have mutations in TSC2, but not TSC1 or RHEB, and have no other common genomic events, among those we searched for. However, chromosomal translocations and gene fusion events were not assessed here. TSC2 inactivation by mutation is a consistent and likely necessary genetic event in the pathogenesis of most angiomyolipoma

Compare the differences of synonymous codon usage between the two species within cardiovirus

<p>Abstract</p> <p>Background</p> <p>Cardioviruses are positive-strand RNA viruses in the Picornaviridae family that can cause enteric infection in rodents and also been detected at lower frequencies in other mammals such as pigs and human beings. The Cardiovirus genus consists two distinct species: Encephalomyocarditis virus (EMCV) and Theilovirus (ThV). There are a lot differences between the two species. In this study, the differences of codon usage in EMCV and ThV were compared.</p> <p>Results</p> <p>The mean ENC values of EMCV and ThV are 54.86 and 51.08 respectively, higher than 40.And there are correlations between (C+G)₁₂% and (C+G)₃% for both EMCV and ThV (r = -0.736;r = 0.986, P < 0.01, repectively). For ThV the (C+G)₁₂%, (C+G)₃%, axis <it>f</it>'₁and axis <it>f</it>'₂had a significant correlations respectively but not for EMCV. According to the RSCU values, the EMCV species seemed to prefer U, G and C ending codon, while the ThV spice seemed to like using U and A ending codon. However, in both genus AGA for Arg, AUU for Ile, UCU for Ser, and GGA for Gly were chosen preferentially. Correspondence analysis detected one major trend in the first axis (<it>f</it>'₁) which accounted for 22.89% of the total variation, and another major trend in the second axis (<it>f</it>'₂) which accounted for 17.64% of the total variation. And the plots of the same serotype seemed at the same region at the coordinate.</p> <p>Conclusion</p> <p>The overall extents of codon usage bias in both EMCV and ThV are low. The mutational pressure is the main factor that determines the codon usage bias, but the (C+G) content plays a more important role in codon usage bias for ThV than for EMCV. The synonymous codon usage pattern in both EMCV and ThV genes is gene function and geography specific, but not host specific. Maybe the serotype is one factor effected the codon bias for ThV, and location has no significant effect on the variations of synonymous codon usage in these virus genes.</p

Mental health first aid for Indigenous Australians: using Delphi consensus studies to develop guidelines for culturally appropriate responses to mental health problems

<p>Abstract</p> <p>Background</p> <p>Ethnic minority groups are under-represented in mental health care services because of barriers such as poor mental health literacy. In 2007, the Mental Health First Aid (MHFA) program implemented a cultural adaptation of its first aid course to improve the capacity of Indigenous Australians to recognise and respond to mental health issues within their own communities. It became apparent that the content of this training would be improved by the development of best practice guidelines. This research aimed to develop culturally appropriate guidelines for providing first aid to an Australian Aboriginal or Torres Strait Islander person who is experiencing a mental health crisis or developing a mental illness.</p> <p>Methods</p> <p>A panel of Australian Aboriginal people who are experts in Aboriginal mental health, participated in six independent Delphi studies investigating depression, psychosis, suicidal thoughts and behaviours, deliberate self-injury, trauma and loss, and cultural considerations. The panel varied in size across the studies, from 20-24 participants. Panellists were presented with statements about possible first aid actions via online questionnaires and were encouraged to suggest additional actions not covered by the survey content. Statements were accepted for inclusion in a guideline if they were endorsed by ≥ 90% of panellists as <it>essential </it>or <it>important</it>. Each study developed one guideline from the outcomes of three Delphi questionnaire rounds. At the end of the six Delphi studies, participants were asked to give feedback on the value of the project and their participation experience.</p> <p>Results</p> <p>From a total of 1,016 statements shown to the panel of experts, 536 statements were endorsed (94 for depression, 151 for psychosis, 52 for suicidal thoughts and behaviours, 53 for deliberate self-injury, 155 for trauma and loss, and 31 for cultural considerations). The methodology and the guidelines themselves were found to be useful and appropriate by the panellists.</p> <p>Conclusion</p> <p>Aboriginal mental health experts were able to reach consensus about culturally appropriate first aid for mental illness. The Delphi consensus method could be useful more generally for consulting Indigenous peoples about culturally appropriate best practice in mental health services.</p

A Novel Interhemispheric Interaction: Modulation of Neuronal Cooperativity in the Visual Areas

Background: The cortical representation of the visual field is split along the vertical midline, with the left and the right hemi-fields projecting to separate hemispheres. Connections between the visual areas of the two hemispheres are abundant near the representation of the visual midline. It was suggested that they re-establish the functional continuity of the visual field by controlling the dynamics of the responses in the two hemispheres. Methods/Principal Findings: To understand if and how the interactions between the two hemispheres participate in processing visual stimuli, the synchronization of responses to identical or different moving gratings in the two hemi-fields were studied in anesthetized ferrets. The responses were recorded by multiple electrodes in the primary visual areas and the synchronization of local field potentials across the electrodes were analyzed with a recent method derived from dynamical system theory. Inactivating the visual areas of one hemisphere modulated the synchronization of the stimulus-driven activity in the other hemisphere. The modulation was stimulus-specific and was consistent with the fine morphology of callosal axons in particular with the spatio-temporal pattern of activity that axonal geometry can generate. Conclusions/Significance: These findings describe a new kind of interaction between the cerebral hemispheres and highlight the role of axonal geometry in modulating aspects of cortical dynamics responsible for stimulus detection and/or categorization