Asymptotic Hyperstability of a Class of Linear Systems under Impulsive Controls Subject to an Integral Popovian Constraint

This paper is focused on the study of the important property of the asymptotic hyperstability of a class of continuous-time dynamic systems. The presence of a parallel connection of a strictly stable subsystem to an asymptotically hyperstable one in the feed-forward loop is allowed while it has also admitted the generation of a finite or infinite number of impulsive control actions which can be combined with a general form of nonimpulsive controls. The asymptotic hyperstability property is guaranteed under a set of sufficiency-type conditions for the impulsive controls.

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

GABA release by hippocampal astrocytes

10 p.

Intracellular Ca2+ release through ryanodine receptors contributes to AMPA receptor-mediated mitochondrial dysfunction and ER stress in oligodendrocytes

Overactivation of ionotropic glutamate receptors in oligodendrocytes induces cytosolic Ca2+ overload and excitotoxic death, a process that contributes to demyelination and multiple sclerosis. Excitotoxic insults cause well-characterized mitochondrial alterations and endoplasmic reticulum (ER) dysfunction, which is not fully understood. In this study, we analyzed the contribution of ER-Ca2+ release through ryanodine receptors (RyRs) and inositol triphosphate receptors (IP(3)Rs) to excitotoxicity in oligodendrocytes in vitro. First, we observed that oligodendrocytes express all previously characterized RyRs and IP(3)Rs. Blockade of Ca2+-induced Ca2+ release by TMB-8 following alpha-amino-3-hydroxyl-5-methyl-4-isoxazole-propionate (AMPA) receptor-mediated insults attenuated both oligodendrocyte death and cytosolic Ca2+ overload. In turn, RyR inhibition by ryanodine reduced as well the Ca2+ overload whereas IP3R inhibition was ineffective. Furthermore, AMPA-triggered mitochondrial membrane depolarization, oxidative stress and activation of caspase-3, which in all instances was diminished by RyR inhibition. In addition, we observed that AMPA induced an ER stress response as revealed by alpha subunit of the eukaryotic initiation factor 2 alpha phosphorylation, overexpression of GRP chaperones and RyR-dependent cleavage of caspase-12. Finally, attenuating ER stress with salubrinal protected oligodendrocytes from AMPA excitotoxicity. Together, these results show that Ca2+ release through RyRs contributes to cytosolic Ca2+ overload, mitochondrial dysfunction, ER stress and cell death following AMPA receptor-mediated excitotoxicity in oligodendrocytes. Cell Death and Disease (2010) 1, e54; doi:10.1038/cddis.2010.31; published online 15 July 2010

Quantum ricochets: surface capture, release and energy loss of fast ions hitting a polar surface at grazing incidence

A diffraction mechanism is proposed for the capture, multiple bouncing and final escape of a fast ion (keV) impinging on the surface of a polarizable material at grazing incidence. Capture and escape are effected by elastic quantum diffraction consisting of the exchange of a parallel surface wave vector G= 2p/ a between the ion parallel momentum and the surface periodic potential of period a. Diffraction- assisted capture becomes possible for glancing angles F smaller than a critical value given by Fc 2- 2./ a-| Vim|/ E, where E is the kinetic energy of the ion,. = h/ Mv its de Broglie wavelength and Vim its average electronic image potential at the distance from the surface where diffraction takes place. For F< Fc, the ion can fall into a selected capture state in the quasi- continuous spectrum of its image potential and execute one or several ricochets before being released by the time reversed diffraction process. The capture, ricochet and escape are accompanied by a large, periodic energy loss of several tens of eV in the forward motion caused by the coherent emission of a giant number of quanta h. of Fuchs- Kliewer surface phonons characteristic of the polar material. An analytical calculation of the energy loss spectrum, based on the proposed diffraction process and using a model ion-phonon coupling developed earlier (Lucas et al 2013 J. Phys.: Condens. Matter 25 355009), is presented, which fully explains the experimental spectrum of Villette et al (2000 Phys. Rev. Lett. 85 3137) for Ne+ ions ricocheting on a LiF(001) surface.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.