Feasibility of high-voltage systems for a very long drift in liquid argon TPCs

Designs of high-voltage (HV) systems for creating a drift electric field in liquid argon TPCs are reviewed. In ongoing experiments systems capable of approx. 100 kV are realised for a drift field of 0.5-1 kV/cm over a length of up to 1.5 m. Two of them having different approaches are presented: (1) the ICARUS-T600 detector having a system consisting of an external power supply, HV feedthroughs and resistive voltage degraders and (2) the ArDM-1t detector having a cryogenic Greinacher HV multiplier inside the liquid argon volume. For a giant scale liquid argon TPC, a system providing 2 MV may be required to attain a drift length of approx. 20 m. Feasibility of such a system is evaluated by extrapolating the existing designs.Comment: 8 pages, 13 figures, to appear in Proc. of 1st International Workshop towards the Giant Liquid Argon Charge Imaging Experiment (GLA2010), Tsukuba (Japan), March 201

In planta localisation patterns of MADS domain proteins during floral development in Arabidopsis thaliana

Background: MADS domain transcription factors play important roles in various developmental processes in flowering plants. Members of this family play a prominent role in the transition to flowering and the specification of floral organ identity. Several studies reported mRNA expression patterns of the genes encoding these MADS domain proteins, however, these studies do not provide the necessary information on the temporal and spatial localisation of the proteins. We have made GREEN FLUORESCENT PROTEIN (GFP) translational fusions with the four MADS domain proteins SEPALLATA3, AGAMOUS, FRUITFULL and APETALA1 from the model plant Arabidopsis thaliana and analysed the protein localisation patterns in living plant tissues by confocal laser scanning microscopy (CLSM). Results: We unravelled the protein localisation patterns of the four MADS domain proteins at a cellular and subcellular level in inflorescence and floral meristems, during development of the early flower bud stages, and during further differentiation of the floral organs. The protein localisation patterns revealed a few deviations from known mRNA expression patterns, suggesting a non-cell autonomous action of these factors or alternative control mechanisms. In addition, we observed a change in the subcellular localisation of SEPALLATA3 from a predominantly nuclear localisation to a more cytoplasmic localisation, occurring specifically during petal and stamen development. Furthermore, we show that the down-regulation of the homeodomain transcription factor WUSCHEL in ovular tissues is preceded by the occurrence of both AGAMOUS and SEPALLATA3 proteins, supporting the hypothesis that both proteins together suppress WUSCHEL expression in the ovule. Conclusion: This approach provides a highly detailed in situ map of MADS domain protein presence during early and later stages of floral development. The subcellular localisation of the transcription factors in the cytoplasm, as observed at certain stages during development, points to mechanisms other than transcriptional control. Together this information is essential to understand the role of these proteins in the regulatory processes that drive floral development and leads to new hypotheses

Association of mid-infrared solar plages with Calcium K line emissions and magnetic structures

Solar mid-IR observations in the 8-15 micrometer band continuum with moderate angular resolution (18 arcseconds) reveal the presence of bright structures surrounding sunspots. These plage-like features present good association with calcium CaII K1v plages and active region magnetograms. We describe a new optical setup with reflecting mirrors to produce solar images on the focal plane array of uncooled bolometers of a commercial camera preceded by germanium optics. First observations of a sunspot on September 11, 2006 show a mid-IR continuum plage exhibiting spatial distribution closely associated with CaII K1v line plage and magnetogram structures. The mid-IR continuum bright plage is about 140 K hotter than the neighboring photospheric regions, consistent with hot plasma confined by the magnetic spatial structures in and above the active regionComment: 5 pages, 4 figures. Accepted by PAS

Життя та смерть Миколи Хвильового у світлі розсекречених документів ГПУ

Based on the declassified documents of former Soviet secret services, the political and artistic activity of, a Soviet Ukrainian writer, Mykola Khvylovyi was investigated

No DNN Left Behind: Improving Inference in the Cloud with Multi-Tenancy

With the rise of machine learning, inference on deep neural networks (DNNs) has become a core building block on the critical path for many cloud applications. Applications today rely on isolated ad-hoc deployments that force users to compromise on consistent latency, elasticity, or cost-efficiency, depending on workload characteristics. We propose to elevate DNN inference to be a first class cloud primitive provided by a shared multi-tenant system, akin to cloud storage, and cloud databases. A shared system enables cost-efficient operation with consistent performance across the full spectrum of workloads. We argue that DNN inference is an ideal candidate for a multi-tenant system because of its narrow and well-defined interface and predictable resource requirements

Conjunction, disjunction and iterated conditioning of conditional events

Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold

A Proof Strategy Language and Proof Script Generation for Isabelle/HOL

We introduce a language, PSL, designed to capture high level proof strategies in Isabelle/HOL. Given a strategy and a proof obligation, PSL's runtime system generates and combines various tactics to explore a large search space with low memory usage. Upon success, PSL generates an efficient proof script, which bypasses a large part of the proof search. We also present PSL's monadic interpreter to show that the underlying idea of PSL is transferable to other ITPs.Comment: This paper has been submitted to CADE2