Symbolic Side-Channel Analysis for Probabilistic Programs

In this paper we describe symbolic side-channel analysis techniques for detecting and quantifying information leakage, given in terms of Shannon and Min Entropy. Measuring the precise leakage is challenging due to the randomness and noise often present in program executions and side-channel observations. We account for this noise by introducing additional (symbolic) program inputs which are interpreted probabilistically, using symbolic execution with parameterized model counting. We also explore an approximate sampling approach for increased scalability. In contrast to typical Monte Carlo techniques, our approach works by sampling symbolic paths, representing multiple concrete paths, and uses pruning to accelerate computation and guarantee convergence to the optimal results. The key novelty of our approach is to provide bounds on the leakage that are provably under- and over-approximating the real leakage. We implemented the techniques in the Symbolic PathFinder tool and we demonstrate them on Java programs

The Ford Nuclear Reactor Control System

Submitted for presentation at the Fall Meeting of the American Nuclear Society held in New York on October 28, 1957.http://deepblue.lib.umich.edu/bitstream/2027.42/86114/1/MMPP FNR Control 28 Oct 1957 ANS.PDF-

Phylogenomic analysis of 997 nuclear genes reveals the need for extensive generic re-delimitation in Caesalpinioideae (Leguminosae)

Subfamily Caesalpinioideae with ca. 4,600 species in 152 genera is the second-largest subfamily of legumes (Leguminosae) and forms an ecologically and economically important group of trees, shrubs and lianas with a pantropical distribution. Despite major advances in the last few decades towards aligning genera with clades across Caesalpinioideae, generic delimitation remains in a state of considerable flux, especially across the mimosoid clade. We test the monophyly of genera across Caesalpinioideae via phylogenomic analysis of 997 nuclear genes sequenced via targeted enrichment (Hybseq) for 420 species and 147 of the 152 genera currently recognised in the subfamily. We show that 22 genera are non-monophyletic or nested in other genera and that non-monophyly is concentrated in the mimosoid clade where ca. 25% of the 90 genera are found to be non-monophyletic. We suggest two main reasons for this pervasive generic non-monophyly: (i) extensive morphological homoplasy that we document here for a handful of important traits and, particularly, the repeated evolution of distinctive fruit types that were historically emphasised in delimiting genera and (ii) this is an artefact of the lack of pantropical taxonomic syntheses and sampling in previous phylogenies and the consequent failure to identify clades that span the Old World and New World or conversely amphi-Atlantic genera that are non-monophyletic, both of which are critical for delimiting genera across this large pantropical clade. Finally, we discuss taxon delimitation in the phylogenomic era and especially how assessing patterns of gene tree conflict can provide additional insights into generic delimitation. This new phylogenomic framework provides the foundations for a series of papers reclassifying genera that are presented here in Advances in Legume Systematics (ALS) 14 Part 1, for establishing a new higher-level phylogenetic tribal and clade-based classification of Caesalpinioideae that is the focus of ALS14 Part 2 and for downstream analyses of evolutionary diversification and biogeography of this important group of legumes which are presented elsewhere

Precipitation is the main axis of tropical phylogenetic turnover across space and time

Early natural historians – Compte de Buffon, von Humboldt and De Candolle – established ecology and geography as two principal axes determining the distribution of groups of organisms, laying the foundations for biogeography over the subsequent 200 years, yet the relative importance of these two axes remains unresolved. Leveraging phylogenomic and global species distribution data for Mimosoid legumes, an pantropical plant clade of 3,400 species, we show that the water availability gradient from deserts to rainforests dictates turnover of lineages within continents across the tropics. We demonstrate that 95% of speciation occurs within a precipitation niche, showing profound phylogenetic niche conservatism, and that lineage turnover boundaries coincide with isohyets of precipitation. We reveal similar patterns on different continents, implying that evolution and dispersal follow universal processes.Fil: Ringelberg, Jens J. University of Zurich. Department of Systematic and Evolutionary Botany; SuizaFil: Koenen, Erik J.M. University of Zurich. Department of Systematic and Evolutionary Botany; Suiza. Université Libre de Bruxelles. Faculté des Sciences. Evolutionary Biology & Ecology; BélgicaFil: Sauter, Benjamín. University of Zurich. Department of Systematic and Evolutionary Botany; SuizaFil: Aebli, Anahita. University of Zurich. Department of Systematic and Evolutionary Botany; Suiza. Abteling Umweltschutz und Energie. Departement Bau und Umwelt; SuizaFil: Rando, Juliana G. Universidade Federal do Oeste da Bahia. Centro das Ciências Biológicas e da Saúde. Programa de Pós Graduação em Ciências Ambientais; BrasilFil: Iganci, João R. Universidade Federal de Pelotas. Campus Universitário Capão do Leão. Instituto de Biologia; Brasil. Universidade Federal do Rio Grande do Sul. Programa de Pós-Graduação em Botânica; BrasilFil: de Queiroz, Luciano P. Universidade Estadual de Feira de Santana. Departamento Ciências Biológicas; BrasilFil: Murphy, Daniel J. Royal Botanic Gardens Victoria: AustraliaFil: Gaudeul, Myriam. Institut de Systématique, Evolution, Biodiversité (ISYEB), MNHN-CNRS-SU-EPHE-UA: FranciaFil: Bruneau, Anne. Université de Montréal. Institut de Recherche en Biologie Végétale and Département de Sciences Biologiques; CanadáFil: Luckow, Melissa. Cornell University. School of Integrative Plant Science. Plant Biology Section; Estados UnidosFil: Morales, Matias. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Recursos Biológicos; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Morón. Facultad de Agronomía y Ciencias Agroalimentarias; Argentin

Hybrid capture of 964 nuclear genes resolves evolutionary relationships in the mimosoid legumes and reveals the polytomous origins of a large pantropical radiation

PREMISE Targeted enrichment methods facilitate sequencing of hundreds of nuclear loci to enhance phylogenetic resolution and elucidate why some parts of the “tree of life” are difficult (if not impossible) to resolve. The mimosoid legumes are a prominent pantropical clade of ~3300 species of woody angiosperms for which previous phylogenies have shown extensive lack of resolution, especially among the species‐rich and taxonomically challenging ingoids. METHODS We generated transcriptomes to select low‐copy nuclear genes, enrich these via hybrid capture for representative species of most mimosoid genera, and analyze the resulting data using de novo assembly and various phylogenomic tools for species tree inference. We also evaluate gene tree support and conflict for key internodes and use phylogenetic network analysis to investigate phylogenetic signal across the ingoids. RESULTS Our selection of 964 nuclear genes greatly improves phylogenetic resolution across the mimosoid phylogeny and shows that the ingoid clade can be resolved into several well‐supported clades. However, nearly all loci show lack of phylogenetic signal for some of the deeper internodes within the ingoids. CONCLUSIONS Lack of resolution in the ingoid clade is most likely the result of hyperfast diversification, potentially causing a hard polytomy of six or seven lineages. The gene set for targeted sequencing presented here offers great potential to further enhance the phylogeny of mimosoids and the wider Caesalpinioideae with denser taxon sampling, to provide a framework for taxonomic reclassification, and to study the ingoid radiation

Improved Offshore Wind Resource Assessment in Global Climate Stabilization Scenarios

This paper introduces a technique for digesting geospatial wind-speed data into areally defined -- country-level, in this case -- wind resource supply curves. We combined gridded wind-vector data for ocean areas with bathymetry maps, country exclusive economic zones, wind turbine power curves, and other datasets and relevant parameters to build supply curves that estimate a country's offshore wind resource defined by resource quality, depth, and distance-from-shore. We include a single set of supply curves -- for a particular assumption set -- and study some implications of including it in a global energy model. We also discuss the importance of downscaling gridded wind vector data to capturing the full resource potential, especially over land areas with complex terrain. This paper includes motivation and background for a statistical downscaling methodology to account for terrain effects with a low computational burden. Finally, we use this forum to sketch a framework for building synthetic electric networks to estimate transmission accessibility of renewable resource sites in remote areas

A lightweight, flow-based toolkit for parallel and distributed bioinformatics pipelines

<p>Abstract</p> <p>Background</p> <p>Bioinformatic analyses typically proceed as chains of data-processing tasks. A pipeline, or 'workflow', is a well-defined protocol, with a specific structure defined by the topology of data-flow interdependencies, and a particular functionality arising from the data transformations applied at each step. In computer science, the dataflow programming (DFP) paradigm defines software systems constructed in this manner, as networks of message-passing components. Thus, bioinformatic workflows can be naturally mapped onto DFP concepts.</p> <p>Results</p> <p>To enable the flexible creation and execution of bioinformatics dataflows, we have written a modular framework for parallel pipelines in Python ('PaPy'). A PaPy workflow is created from re-usable components connected by data-pipes into a directed acyclic graph, which together define nested higher-order map functions. The successive functional transformations of input data are evaluated on flexibly pooled compute resources, either local or remote. Input items are processed in batches of adjustable size, all flowing one to tune the trade-off between parallelism and lazy-evaluation (memory consumption). An add-on module ('NuBio') facilitates the creation of bioinformatics workflows by providing domain specific data-containers (<it>e.g</it>., for biomolecular sequences, alignments, structures) and functionality (<it>e.g</it>., to parse/write standard file formats).</p> <p>Conclusions</p> <p>PaPy offers a modular framework for the creation and deployment of parallel and distributed data-processing workflows. Pipelines derive their functionality from user-written, data-coupled components, so PaPy also can be viewed as a lightweight toolkit for extensible, flow-based bioinformatics data-processing. The simplicity and flexibility of distributed PaPy pipelines may help users bridge the gap between traditional desktop/workstation and grid computing. PaPy is freely distributed as open-source Python code at <url>http://muralab.org/PaPy</url>, and includes extensive documentation and annotated usage examples.</p

DNA Fingerprinting Validates Seed Dispersal Curves from Observational Studies in the Neotropical Legume Parkia

Background: Determining the distances over which seeds are dispersed is a crucial component for examining spatial patterns of seed dispersal and their consequences for plant reproductive success and population structure. However, following the fate of individual seeds after removal from the source tree till deposition at a distant place is generally extremely difficult. Here we provide a comparison of observationally and genetically determined seed dispersal distances and dispersal curves in a Neotropical animal-plant system. Methodology/Principal Findings: In a field study on the dispersal of seeds of three Parkia (Fabaceae) species by two Neotropical primate species, Saguinus fuscicollis and Saguinus mystax, in Peruvian Amazonia, we observationally determined dispersal distances. These dispersal distances were then validated through DNA fingerprinting, by matching DNA from the maternally derived seed coat to DNA from potential source trees. We found that dispersal distances are strongly rightskewed, and that distributions obtained through observational and genetic methods and fitted distributions do not differ significantly from each other. Conclusions/Significance: Our study showed that seed dispersal distances can be reliably estimated through observational methods when a strict criterion for inclusion of seeds is observed. Furthermore, dispersal distances produced by the two primate species indicated that these primates fulfil one of the criteria for efficient seed dispersers. Finally, our stud

Complex dynamics of defective interfering baculoviruses during serial passage in insect cells

Defective interfering (DI) viruses are thought to cause oscillations in virus levels, known as the 'Von Magnus effect'. Interference by DI viruses has been proposed to underlie these dynamics, although experimental tests of this idea have not been forthcoming. For the baculoviruses, insect viruses commonly used for the expression of heterologous proteins in insect cells, the molecular mechanisms underlying DI generation have been investigated. However, the dynamics of baculovirus populations harboring DIs have not been studied in detail. In order to address this issue, we used quantitative real-time PCR to determine the levels of helper and DI viruses during 50 serial passages of Autographa californica multiple nucleopolyhedrovirus (AcMNPV) in Sf21 cells. Unexpectedly, the helper and DI viruses changed levels largely in phase, and oscillations were highly irregular, suggesting the presence of chaos. We therefore developed a simple mathematical model of baculovirus-DI dynamics. This theoretical model reproduced patterns qualitatively similar to the experimental data. Although we cannot exclude that experimental variation (noise) plays an important role in generating the observed patterns, the presence of chaos in the model dynamics was confirmed with the computation of the maximal Lyapunov exponent, and a Ruelle-Takens-Newhouse route to chaos was identified at decreasing production of DI viruses, using mutation as a control parameter. Our results contribute to a better understanding of the dynamics of DI baculoviruses, and suggest that changes in virus levels over passages may exhibit chaos.The authors thank Javier Carrera, Just Vlak and Lia Hemerik for helpful discussion. MPZ was supported by a Rubicon Grant from the Netherlands Organization for Scientific Research (NWO, www.nwo.nl) and a 'Juan de la Cierva' postdoctoral contract (JCI-2011-10379) from the Spanish 'Secretaria de Estado de Investigacion, Desarrollo e Innovacion'. JS was supported by the Botin Foundation. SFE was supported by grant BFU2012-30805, also from the Spanish 'Secretaria de Estado de Investigacion, Desarrollo e Innovacion'.Zwart, MP.; Pijlman, G.; Sardanyes Cayuela, J.; Duarte, J.; Januario, C.; Elena Fito, SF. (2013). Complex dynamics of defective interfering baculoviruses during serial passage in insect cells. Journal of Biological Physics. 39(2):327-342. doi:10.1007/s10867-013-9317-9S327342392Von Magnus, P.: Incomplete forms of influenza virus. Adv. Virus. Res. 2, 59–79 (1954)Huang, A.S.: Defective interfering viruses. Annu. Rev. Microbiol. 27, 101–117 (1973)Kool, M., Voncken, J.W., Vanlier, F.L.J., Tramper, J., Vlak, J.M.: Detection and analysis of Autographa californica nuclear polyhedrosis-virus mutants with defective interfering properties. Virology 183, 739–746 (1991)Wickham, T.J., Davis, T., Granados, R.R., Hammer, D.A., Shuler, M.L., Wood, H.A.: Baculovirus defective interfering particles are responsible for variations in recombinant protein-production as a function of multiplicity of infection. Biotechnol. Lett. 13, 483–488 (1991)Pijlman, G.P., van den Born, E., Martens, D.E., Vlak, J.M.: Autographa californica baculoviruses with large genomic deletions are rapidly generated in infected insect cells. Virology 283, 132–138 (2001)Giri, L., Feiss, M.G., Bonning, B.C., Murhammer, D.W.: Production of baculovirus defective interfering particles during serial passage is delayed by removing transposon target sites in fp25k. J. Gen. Virol. 93, 389–399 (2012)King, L.A., Possee, R.D.: The Baculovirus Expression System. University Press, Cambridge (1992)Lee, H.Y., Krell, P.J.: Reiterated DNA fragments in defective genomes of Autographa californica nuclear polyhedrosis virus are competent for AcMNPV-dependent DNA replication. Virology 202, 418–429 (1994)Pijlman, G.P., Dortmans, J., Vermeesch, A.M.G., Yang, K., Martens, D.E., Goldbach, R.W., Vlak, J.M.: Pivotal role of the non-hr origin of DNA replication in the genesis of defective interfering baculoviruses. J. Virol. 76, 5605–5611 (2002)Pijlman, G.P., van Schijndel, J.E., Vlak, J.M.: Spontaneous excision of BAC vector sequences from bacmid-derived baculovirus expression vectors upon passage in insect cells. J. Gen. Virol. 84, 2669–2678 (2003)Pijlman, G.P., Vermeesch, A.M.G., Vlak, J.M.: Cell line-specific accumulation of the baculovirus non-hr origin of DNA replication in infected insect cells. J. Invertebr. Pathol. 84, 214–219 (2003)Roux, L., Simon, A.E., Holland, J.J.: Effects of defective interfering viruses on virus-replication and pathogenesis in vitro and in vivo. Adv. Virus. Res. 40, 181–211 (1991)Grabau, E.A., Holland, J.J.: Analysis of viral and defective-interfering nucleocapsids in acute and persistent infection by Rhadoviruses. J. Gen. Virol. 60, 87–97 (1982)Kawai, A., Matsumoto, S., Tanabe, K.: Characterization of Rabies viruses recovered from persistently infected BHK cells. Virology 67, 520–533 (1975)Roux, L., Holland, J.J.: Viral genome synthesis in BHK-21 cells persistently infected with Sendai virus. Virology 100, 53–64 (1980)Palma, E.L., Huang, A.: Cyclic production of vesicular stomatitis virus cause by defective interfering particles. J. Infect. Dis. 129, 402–410 (1974).Stauffer Thompson, K.A., Yin, J.: Population dynamics of an RNA virus and its defective interfering particles in passage cultures. Virol. J. 7, 257–266 (2010)Szathmáry, E.: Cooperation and defection – playing the field in virus dynamics. J. Theor. Biol. 165, 341–356 (1993)Bangham, C.R.M., Kirkwood, T.B.L.: Defective interfering particles – effects in modulating virus growth and persistence. Virology 179, 821–826 (1990)Kirkwood, T.B.L., Bangham, C.R.M.: Cycles, chaos, and evolution in virus cultures – a model of defective interfering particles. Proc. Natl. Acad. Sci. USA 91, 8685–8689 (1994)De Gooijer, C.D., Koken, R.H.M., van Lier, F.L.J., Kool, M., Vlak, J.M., Tramper, J.: A structured dynamic model for the baculovirus infection process in insect-cell reactor configurations. Biotech. Bioeng. 40, 537–548 (1992)Van Lier, F.L.J., van der Meijs, W.C.J., Grobben, N.G., Olie, R.A., Vlak, J.M., Tramper, J.: Continuous beta-galactosidase production with a recombinant baculovirus insect-cell system in bioreactors. J. Biotechnol. 22, 291–298 (1992)Van Lier, F.L.J., van den Hombergh, J., de Gooijer, C.D., den Boer, M.M., Vlak, J.M., Tramper, J.: Long-term semi-continuous production of recombinant baculovirus protein in a repeated (fed-)batch two-stage reactor system. Enzyme Microb. Technol. 18, 460–466 (1996)Zwart, M.P., Erro, E., van Oers, M.M., de Visser, J.A.G.M., Vlak, J.M.: Low multiplicity of infection in vivo results in purifying selection against baculovirus deletion mutants. J. Gen. Virol. 89, 1220–1224 (2008)Luckow, V.A., Lee, S.C., Barry, G.F., Olins, P.O.: Efficient generation of infectious recombinant baculoviruses by site-specific transposon-mediated insertion of foreign genes into a baculovirus genome propagated in Escherichia coli. J. Virol. 67, 4566–4579 (1993)Vaughn, J.L., Goodwin, R.H., Tompkins, G.J., McCawley, P.: Establishment of 2 cell lines from insect Spodoptera frugiperda (Lepidoptera, Noctuidae). In Vitro 13, 213–217 (1977)Zwart, M.P., van Oers, M.M., Cory, J.S., van Lent, J.W.M., van der Werf, W., Vlak, J.M.: Development of a quantitative real-time PCR for determination of genotype frequencies for studies in baculovirus population biology. J. Virol. Meth. 148, 146–154 (2008)Zwart, M.P., Hemerik, L., Cory, J.S., de Visser, J.A.G.M., Bianchi, F.J.J.A., van Oers, M.M., Vlak, J.M., Hoekstra, R.F., van der Werf, W.: An experimental test of the independent action hypothesis in virus-insect pathosystems. Proc. R. Soc. B 276, 2233–2242 (2009)Olkin, I., Gleser, L.J., Derman, C.: Probability Models and Applications. Macmillan, New York (1994)Parker, T., Chua, L.: Practical Numerical Algorithms for Chaotic Systems. Springer-Verlag, Berlin (1989)Dieci, L., van Vleck, E.S.: Computation of a few Lyapunov exponents for continuous and discrete dynamical systems. J. Appl. Numer. Math. 17, 275–291 (1995)Matsumoto, T., Chua, L.O., Komuro, M.: The double scroll. IEEE Trans. Circuits Syst. 32, 797–818 (1985)Chua, L.O., Komuro, M., Matsumoto, T.: The double scroll family: rigorous proof of chaos. IEEE Trans. Circuits Syst. 33, 1072–1097 (1986)Ramasubramanian, K., Sriram, M.S.: A comparative study of computation of Lyapunov spectra with different algorithms. Phys. D: Nonlin. Phenom. 139, 72–86 (2000)Lee, H.Y., Krell, P.J.: Generation and analysis of defective genomes of Autographa californica nuclear polyhedrosis virus. J. Virol. 66, 4339–4347 (1992)Kovacs, G.R., Choi, J., Guarino, L.A., Summers MD: Functional dissection of the Autographa californica nuclear polyhedrosis virus immediate early 1 transcriptional regulatory protein. J. Virol. 66, 7429–7437 (1992)Legendre, P., Legendre, L.: Numerical Ecology. Elsevier, Amsterdam (1998)Schuster, H.G.: Deterministic Chaos: An Introduction. Wiley-VCH Verlag GmbH & Co. KGaA, Wienheim (2005)Strogatz, S.H.: Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry and Engineering. Westview Press, Cambridge (1994)Dennis, B., Desharnais, R.A., Cushing, J.M., Henson, S.M., Constantino, R.F.: Can noise induce chaos? Oikos 102, 329–339 (2003)Crutchfield, J.P., Huberman, B.A.: Fluctuations and the onset of chaos. Phys. Lett. A 77, 407–410 (1980)Crutchfield, J.P., Farmer, J.D.: Fluctuations and simple chaotic dynamics. Phys. Rep. 92, 45–82 (1982

Optimization of insect cell based protein production processes - online monitoring, expression systems, scale-up

Due to the increasing use of insect cell based expression systems in research and industrial recombinant protein production, the development of efficient and reproducible production processes remains a challenging task. In this context, the application of online monitoring techniques is intended to ensure high and reproducible product qualities already during the early phases of process development. In the following chapter, the most common transient and stable insect cell based expression systems are briefly introduced. Novel applications of insect cell based expression systems for the production of insect derived antimicrobial peptides/proteins (AMPs) are discussed using the example of G. mellonella derived gloverin. Suitable in situ sensor techniques for insect cell culture monitoring in disposable and common bioreactor systems are outlined with respect to optical and capacitive sensor concepts. Since scale-up of production processes is one of the most critical steps in process development, a conclusive overview is given about scale up aspects for industrial insect cell culture processes