WIGNER MEASURES AND MOLECULAR PROPAGATION THROUGH GENERIC ENERGY LEVEL CROSSINGS

2003 ◽  
Vol 15 (10) ◽  
pp. 1285-1317 ◽  
Author(s):  
CLOTILDE FERMANIAN KAMMERER

We study the time-dependent Schrödinger equation with matrix-valued potential presenting a generic crossing of type B, I, J or K in Hagedorn's classification. We use two-scale Wigner measures for describing the Landau–Zener energy transfer which occurs at the crossing. In particular, in the case of multiplicity 2 eigenvalues, we calculate precisely the change of polarization at the crossing. Our method provides a unified framework in which codimension 2, 3 or 5 crossings can be discussed. We recover Hagedorn's result for wave packets, from Wigner measure point of view, and extend them to any data uniformly bounded in L2. The proof is based on a normal form theorem which reduces the problem to an operator-valued Landau–Zener formula.

1997 ◽  
Vol 78 (6) ◽  
pp. 3460-3464 ◽  
Author(s):  
Terry Crow ◽  
Vilma Siddiqi

Crow, Terry and Vilma Siddiqi. Time-dependent changes in excitability after one-trial conditioning of Hermissenda. J. Neurophysiol. 78: 3460–3464, 1997. The visual system of Hermissenda has been studied extensively as a site of cellular plasticity produced by classical conditioning. A one-trial conditioning procedure consisting of light paired with the application of serotonin (5-HT) to the exposed, but otherwise intact, nervous system produces suppression of phototactic behavior tested 24 h after conditioning. Short- and long-term enhancement (STE and LTE) of excitability in identified type B photoreceptors is a cellular correlate of one-trial conditioning. LTE can be expressed in the absence of STE suggesting that STE and LTE may be parallel processes. To examine the development of enhancement, we studied its time-dependent alterations after one-trial conditioning. Intracellular recordings from identified type B photoreceptors of independent groups collected at different times after conditioning revealed that enhanced excitability follows a biphasic pattern in its development. The analysis of spikes elicited by 2 and 30 s extrinsic current pulses at different levels of depolarization showed that enhancement reached a peak 3 h after conditioning. From its peak, excitability decreased toward baseline control levels 5–6 h after conditioning followed by an increase to a stable plateau at 16 to 24 h postconditioning. Excitability changes measured in cells from unpaired control groups showed maximal changes 1 h posttreatment that rapidly decremented within 2 h. The conditioned stimulus (CS) elicited significantly more spikes 24 h postconditioning for the conditioned group as compared with the unpaired control group. The analysis of the time-dependent development of enhancement may reveal the processes underlying different stages of memory for this associative experience.


1982 ◽  
Vol 47 (3) ◽  
pp. 605-624 ◽  
Author(s):  
Douglas N. Hoover

AbstractWe show that every formula of Lω1P is equivalent to one which is a propositional combination of formulas with only one quantifier. It follows that the complete theory of a probability model is determined by the distribution of a family of random variables induced by the model. We characterize the class of distribution which can arise in such a way. We use these results together with a form of de Finetti’s theorem to prove an almost sure interpolation theorem for Lω1P.


Blood ◽  
2019 ◽  
Vol 134 (Supplement_1) ◽  
pp. 1734-1734
Author(s):  
Orit Uziel ◽  
Zinab Sarsur- Amer ◽  
Einat Beery ◽  
Pia Raanani ◽  
Uri Rozovski

Studies from recent years unraveled the role of monocytes and T-cells in the pathogenesis of chronic lymphocytic leukemia (CLL). The role of other immune cells in the pathobiology of CLL is less known. Specifically, whether B-cells, the normal counterpart of CLL cells play a role in CLL is unknown. Nevertheless, since both CLL cells and wild type B-cells reside in lymphatic organs and travel in blood, they either share or compete over common environmental resources. According to the cell competition theory, a sensing mechanism measures the relative fitness of a cell and ensures the elimination of cells deemed to be less fit then their neighbors. Since constitutive activation of intracellular pathways protect CLL cells from apoptosis, the cell competition theory predicts that compared with normal B-cells these cells are sensed as "super fit" and B-cells, the less fit counterparts, are eliminated. Yet, what delivers this massage across a population of cells is unknown. Exosomes are nanosized particles that are secreted by various types of cells. Exosomes carry a cargo of proteins and different types of RNA. They travel in body fluids and are taken up by cells in their vicinity. Since cancer cells including CLL cells secrete exosomes, we have formulated our hypothesis, namely, that exosomes derived from CLL cells are the vehicles that carry a death massage to wild type B-cells. To test this hypothesis, we isolated CLL cells from 3 previously untreated patients with CLL. We then grew these cells in exosome free media for 72 hours and harvested the exosomes by ultracentrifugation. We used NanoSight tracking analysis, Western immunoblotting for CD63, a common exosomal marker, and electron microscopy imaging studies to ensure that our pellet include the typical 100nm exosomal particles. Subsequently, we subjected normal B-cells derived from healthy volunteers to CLL derived exosomes stained by FM-143 dye. Using flow cytometry we found that exosomes are taken up by normal B-cells in a dose- and time- dependent manner. Double staining of the recipient B-cells to Annexin/PI revealed that exosomes induce apoptosis of these cells in a dose- and time- dependent manner. We then used RNA-seq to trace the changes in the molecular makeup of B-cells after exosomal uptake?? they took up exosomes. We found 24 transcripts that were differentially expressed (11 that were upregulated and 13 that were downregulated). We then verified the array results by quantitative real-time PCR for four of these genes. Among the top transcripts that were upregulated in exosome-positive B-cells is SMAD6. Because the upregulation of the SMAD family members including SMAD6 is associated with the induction of apoptosis in various malignant and non-malignant cells we wondered whether the upregulation of SMAD6 also induces apoptosis in normal B-cells. To test this, we transfected normal B-cells with SMAD6 containing vector and verified by RT-PCR that level of SMAD6 transcript were upregulated and by Western immunoblotting that levels of SMAD6 protein are upregulated as well. As expected, the rate of apoptosis was higher, and the rates of viable cells and proliferating cells were significantly lower in SMAD6-transfected B-cells. Taken together, we show here that CLL cells secrete exosomes that function as "Trojan horses". Once they are taken up by normal B-cells they induce SMAD6-dependent apoptosis. In this way the neoplastic cells may actively eliminate their competitors and take over the common environmental resources. Disclosures No relevant conflicts of interest to declare.


2014 ◽  
Vol 26 (6) ◽  
pp. 459-466 ◽  
Author(s):  
Hedvika Kovandová ◽  
Robert Válka

The paper deals with safety of transport from the point of view of an important social problem, which are accidents at railroad (including tramway) and road level crossings, which means compatibility of rail and road vehicles crash. The scale of such accidents can be very wide. Regarding the statistics and frequency of accidents particularly at railway level crossings and tramway level crossings, a collision simulating the collision of a tram and passenger car was experimentally carried out. The experiment took place at the site of testing laboratory of Rail Vehicles Research Institute in Cerhenice. The experiment was conducted with a passenger car Škoda Superb of the first generation that was exposed to two collisions from both sides. Firstly by the impactor for tram headstock tests and secondly by the tram headstock itself. Both the impactor and the headstock were placed on the experimental vehicle for tests of passive safety of rail vehicles. Various speeds were chosen so that the passenger car could be used for two subsequent experiments without the influence on properties of skeleton´s supporting structure.


1979 ◽  
Vol 44 (3) ◽  
pp. 289-306 ◽  
Author(s):  
Victor Harnik

The central notion of this paper is that of a (conjunctive) game-sentence, i.e., a sentence of the formwhere the indices ki, ji range over given countable sets and the matrix conjuncts are, say, open -formulas. Such game sentences were first considered, independently, by Svenonius [19], Moschovakis [13]—[15] and Vaught [20]. Other references are [1], [3]—[5], [10]—[12]. The following normal form theorem was proved by Vaught (and, in less general forms, by his predecessors).Theorem 0.1. Let L = L0(R). For every -sentence ϕ there is an L0-game sentence Θ such that ⊨′ ∃Rϕ ↔ Θ.(A word about the notations: L0(R) denotes the language obtained from L0 by adding to it the sequence R of logical symbols which do not belong to L0; “⊨′α” means that α is true in all countable models.)0.1 can be restated as follows.Theorem 0.1′. For every-sentence ϕ there is an L0-game sentence Θ such that ⊨ϕ → Θ and for any-sentence ϕ if ⊨ϕ → ϕ and L′ ⋂ L ⊆ L0, then ⊨ Θ → ϕ.(We sketch the proof of the equivalence between 0.1 and 0.1′.0.1 implies 0.1′. This is obvious once we realize that game sentences and their negations satisfy the downward Löwenheim-Skolem theorem and hence, ⊨′α is equivalent to ⊨α whenever α is a boolean combination of and game sentences.


1991 ◽  
Vol 56 (1) ◽  
pp. 129-149 ◽  
Author(s):  
Gunnar Stålmarck

In this paper we prove the strong normalization theorem for full first order classical N.D. (natural deduction)—full in the sense that all logical constants are taken as primitive. We also give a syntactic proof of the normal form theorem and (weak) normalization for the same system.The theorem has been stated several times, and some proofs appear in the literature. The first proof occurs in Statman [1], where full first order classical N.D. (with the elimination rules for ∨ and ∃ restricted to atomic conclusions) is embedded in a system for second order (propositional) intuitionistic N.D., for which a strong normalization theorem is proved using strongly impredicative methods.A proof of the normal form theorem and (weak) normalization theorem occurs in Seldin [1] as an extension of a proof of the same theorem for an N.D.-system for the intermediate logic called MH.The proof of the strong normalization theorem presented in this paper is obtained by proving that a certain kind of validity applies to all derivations in the system considered.The notion “validity” is adopted from Prawitz [2], where it is used to prove the strong normalization theorem for a restricted version of first order classical N.D., and is extended to cover the full system. Notions similar to “validity” have been used earlier by Tait (convertability), Girard (réducibilité) and Martin-Löf (computability).In Prawitz [2] the N.D. system is restricted in the sense that ∨ and ∃ are not treated as primitive logical constants, and hence the deductions can only be seen to be “natural” with respect to the other logical constants. To spell it out, the strong normalization theorem for the restricted version of first order classical N.D. together with the well-known results on the definability of the rules for ∨ and ∃ in the restricted system does not imply the normalization theorem for the full system.


2013 ◽  
Vol 2013 ◽  
pp. 1-11 ◽  
Author(s):  
Shuling Yan ◽  
Xinze Lian ◽  
Weiming Wang ◽  
Youbin Wang

We investigate a modified delayed Leslie-Gower model under homogeneous Neumann boundary conditions. We give the stability analysis of the equilibria of the model and show the existence of Hopf bifurcation at the positive equilibrium under some conditions. Furthermore, we investigate the stability and direction of bifurcating periodic orbits by using normal form theorem and the center manifold theorem.


Sign in / Sign up

Export Citation Format

Share Document