Time lower bounds for nonadaptive turnstile streaming algorithms

We say a turnstile streaming algorithm is "non-adaptive" if, during updates, the memory cells written and read depend only on the index being updated and random coins tossed at the beginning of the stream (and not on the memory contents of the algorithm). Memory cells read during queries may be decided upon adaptively. All known turnstile streaming algorithms in the literature are non-adaptive. We prove the first non-trivial update time lower bounds for both randomized and deterministic turnstile streaming algorithms, which hold when the algorithms are non-adaptive. While there has been abundant success in proving space lower bounds, there have been no non-trivial update time lower bounds in the turnstile model. Our lower bounds hold against classically studied problems such as heavy hitters, point query, entropy estimation, and moment estimation. In some cases of deterministic algorithms, our lower bounds nearly match known upper bounds

Overview of the PALM model system 6.0

In this paper, we describe the PALM model system 6.0. PALM (formerly an abbreviation for Parallelized Largeeddy Simulation Model and now an independent name) is a Fortran-based code and has been applied for studying a variety of atmospheric and oceanic boundary layers for about 20 years. The model is optimized for use on massively parallel computer architectures. This is a follow-up paper to the PALM 4.0 model description in Maronga et al. (2015). During the last years, PALM has been significantly improved and now offers a variety of new components. In particular, much effort was made to enhance the model with components needed for applications in urban environments, like fully interactive land surface and radiation schemes, chemistry, and an indoor model. This paper serves as an overview paper of the PALM 6.0 model system and we describe its current model core. The individual components for urban applications, case studies, validation runs, and issues with suitable input data are presented and discussed in a series of companion papers in this special issue

Inactivation of muscle chloride channel by transposon insertion in myotonic mice

Steinmeyer K, Klocke R, Ortland C, et al. Inactivation of muscle chloride channel by transposon insertion in myotonic mice. NATURE. 1991;354(6351):304-308.MYOTONIA (stiffness and impaired relaxation of skeletal muscle) is a symptom of several diseases caused by repetitive firing of action potentials in muscle membranes 1. Purely myotonic human diseases are dominant myotonia congenita (Thomsen) and recessive generalized myotonia (Becker), whereas myotonic dystrophy is a systemic disease. Muscle hyperexcitability was attributed to defects in sodium channels 2,3 and/or to a decrease in chloride conductance (in Becker's myotonia 4 and in genetic animal models 5-10). Experimental blockage of Cl- conductance (normally 70-85% of resting conductance in muscle") in fact elicits myotonia 1,9. ADR (ref. 12) mice are a realistic animal model 5-7,12-18 for recessive autosomal myotonia. In addition to Cl- conductance 5, many other parameters 6,12,16 are changed in muscles of homozygous animals. We have now cloned the major mammalian skeletal muscle chloride channel (ClC-1) 19. Here we report that in ADR mice a transposon of the ETn family 20-23 has inserted into the corresponding gene, destroying its coding potential for several membrane-spanning domains. Together with the lack of recombination between the Clc-1 gene and the adr locus, this strongly suggests a lack of functional chloride channels as the primary cause of mouse myotonia

Building-resolving large-eddy simulations for entire Berlin (Germany) – first results using the high-performance urban microscale model PALM-4U

Due to the increasing number of people living and/or working in dense urban environments, the importance of city planning in consideration of human health and comfort has been continuously growing. Health and comfort factors such as thermal comfort, air quality, ventilation and UV exposure, must be considered in a future-oriented development of urban regions. For decision support, urban climate models (UCM) are applied to model the effects of existing and planned building distributions, facade and city greening, etc., based on the above mentioned factors. A highly-efficient microscale UCM, PALM-4U, has been developed allowing simulations of large cities with grid-resolved buildings and vegetation canopy, which consider a large variety of processes important for urban environments. PALM-4U is part of the PALM model system (http://palm-model.org), which is based on the large-eddy simulation code PALM. While there exist numerous UCMs that have been used for over two decades and which are well established in the scientific community, they are difficult to adapt to state-of-the-art parallel computer systems and thus often have limitations in either performance and/or possible number of grid points. PALM-4U is able to compute entire city environments like Berlin (about 1 700 km²) at building-resolving grid spacing (here 10 m) on massively parallel computers, where limitations are mainly imposed by the available computational resources. It offers several features required in urban environments, such as an energy balance solver for urban and natural surfaces, radiative transfer in the urban canopy layer, chemical reactions, biometeorological analysis products, and self-nesting to allow high resolution (e.g. 1 m) in regions of special interest. In this presentation we will focus on an overview of PALM-4U's current and planned capabilities for application in urban environments. Besides, we will demonstrate PALM-4U's performance and features based on microscale building-resolving large-eddy simulation of entire Berlin (Germany, 1700 km²) at a grid spacing of 10 m, with a nested domain of size of 1 km² at a grid spacing of 1 m. The simulation spans a simulated period of a full diurnal cycle during a selected heat wave period and is characterized by low geostrophic winds and a strong solar forcing during daytime. General features of the simulation will be visualized. This presentation is intended to be the first in a series of presentations that all have a more specific focus on single features of PALM-4U and for which abstracts are submitted separately. In this overview talk we will thus focus on the more general features of the simulation