From Uncertainty Data to Robust Policies for Temporal Logic Planning

We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. Both the system dynamics and the specifications are known but affected by uncertainty. The distribution of the uncertainty is unknown, however realizations can be obtained. We introduce a data-driven approach where the constraints are fulfilled for a set of realizations and provide probabilistic generalization guarantees as a function of the number of considered realizations. We use separate chance constraints for the satisfaction of the specification and operational constraints. This allows us to quantify their violation probabilities independently. We compute disturbance feedback policies as solutions of mixed-integer linear or quadratic optimization problems. By using feedback we can exploit information of past realizations and provide feasibility for a wider range of situations compared to static input sequences. We demonstrate the proposed method on two robust motion-planning case studies for autonomous driving

Cloning and expression of codon-optimized recombinant darbepoetin alfa in Leishmania tarentolae T7-TR

Darbepoetin alfa is an engineered and hyperglycosylated analog of recombinant human erythropoietin (EPO) which is used as a drug in treating anemia in patients with chronic kidney failure and cancer. This study desribes the secretory expression of a codon-optimized recombinant form of darbepoetin alfa in Leishmania tarentolae T7-TR. Synthetic codon-optimized gene was amplified by PCR and cloned into the pLEXSY-I-blecherry3 vector. The resultant expression vector, pLEXSYDarbo, was purified, digested, and electroporated into the L. tarentolae. Expression of recombinant darbepoetin alfa was evaluated by ELISA, reverse-transcription PCR (RT-PCR), Western blotting, and biological activity. After codon optimization, codon adaptation index (CAI) of the gene raised from 0.50 to 0.99 and its GC content changed from 56 to 58. Expression analysis confirmed the presence of a protein band at 40 kDa. Furthermore, reticulocyte experiment results revealed that the activity of expressed darbepoetin alfa was similar to that of its equivalent expressed in Chinese hamster ovary (CHO) cells. These data suggested that the codon optimization and expression in L. tarentolae host provided an efficient approach for high level expression of darbepoetin alfa. © 2015 Elsevier Ltd. All rights reserved

Quantum and classical control of single photon states via a mechanical resonator

Optomechanical systems typically use light to control the quantum state of a mechanical resonator. In this paper, we propose a scheme for controlling the quantum state of light using the mechanical degree of freedom as a controlled beam splitter. Preparing the mechanical resonator in non-classical states enables an optomechanical Stern–Gerlach interferometer. When the mechanical resonator has a small coherent amplitude it acts as a quantum control, entangling the optical and mechanical degrees of freedom. As the coherent amplitude of the resonator increases, we recover single photon and two-photon interference via a classically controlled beam splitter. The visibility of the two-photon interference is particularly sensitive to coherent excitations in the mechanical resonator and this could form the basis of an optically transduced weak-force sensor

Project 8 Phase III Design Concept

We present a working concept for Phase III of the Project 8 experiment, aiming to achieve a neutrino mass sensitivity of $2~\mathrm{eV}$ ($90~\%$ C.L.) using a large volume of molecular tritium and a phased antenna array. The detection system is discussed in detail.Comment: 3 pages, 3 figures, Proceedings of Neutrino 2016, XXVII International Conference on Neutrino Physics and Astrophysics, 4-9 July 2016, London, U

Results from the Project 8 phase-1 cyclotron radiation emission spectroscopy detector

The Project 8 collaboration seeks to measure the absolute neutrino mass scale by means of precision spectroscopy of the beta decay of tritium. Our technique, cyclotron radiation emission spectroscopy, measures the frequency of the radiation emitted by electrons produced by decays in an ambient magnetic field. Because the cyclotron frequency is inversely proportional to the electron's Lorentz factor, this is also a measurement of the electron's energy. In order to demonstrate the viability of this technique, we have assembled and successfully operated a prototype system, which uses a rectangular waveguide to collect the cyclotron radiation from internal conversion electrons emitted from a gaseous $^{83m}$Kr source. Here we present the main design aspects of the first phase prototype, which was operated during parts of 2014 and 2015. We will also discuss the procedures used to analyze these data, along with the features which have been observed and the performance achieved to date.Comment: 3 pages; 2 figures; Proceedings of Neutrino 2016, XXVII International Conference on Neutrino Physics and Astrophysics, 4-9 July 2016, London, U

Evidence gap and knowledge map of physical activity research in diabetes in Iran: A scoping review

Context: The important role of physical activity in the prevention and management of diabetes necessitates a review of current research to shed light on gaps in national diabetes guidelines. Evidence Acquisition: This scoping review was part of the Iran Diabetes Research Roadmap (IDRR) study. A systematic search was used based on the Arksey and O�Malley method consisting of six steps. The descriptive analysis was done with SPSS software. Additionally, VOS veiwer software was used to draw the knowledge map of the included studies. Results: There were 169 articles included from the beginning of 2015 to the end of 2019 in Iran. Aerobic and resistance exercises were types of physical activity with more number of articles. Most of the included clinical studies were randomized clinical trials and had a level of evidence two. Also, there was more interest in outcomes such as glycemic control and insulin sensitivity, metabolic syndrome, metabolism, and cardiovascular health. The network of co-authorship was drawn, and "controlled study", "male", and "rat" were the most frequent keywords. Conclusions: The number of Iranian diabetes researchers on physical activity is increasing, and the majority of clinical studies had a high level of evidence. With maintaining previous interests and investigations, there should be more emphasis on research in elderly and children age groups as evidence gap in Iran. Also, longitudinal cohort studies should be highlighted and Iranian researchers should be encouraged to participate in new topics of research worldwide. Copyright © 2021, International Journal of Endocrinology and Metabolism