@article{8452,
  abstract     = {During spore formation in Bacillus subtilis a transenvelope complex is assembled across the double membrane that separates the mother cell and forespore. This complex (called the “A–Q complex”) is required to maintain forespore development and is composed of proteins with remote homology to components of type II, III, and IV secretion systems found in Gram-negative bacteria. Here, we show that one of these proteins, SpoIIIAG, which has remote homology to ring-forming proteins found in type III secretion systems, assembles into an oligomeric ring in the periplasmic-like space between the two membranes. Three-dimensional reconstruction of images generated by cryo-electron microscopy indicates that the SpoIIIAG ring has a cup-and-saucer architecture with a 6-nm central pore. Structural modeling of SpoIIIAG generated a 24-member ring with dimensions similar to those of the EM-derived saucer. Point mutations in the predicted oligomeric interface disrupted ring formation in vitro and impaired forespore gene expression and efficient spore formation in vivo. Taken together, our data provide strong support for the model in which the A–Q transenvelope complex contains a conduit that connects the mother cell and forespore. We propose that a set of stacked rings spans the intermembrane space, as has been found for type III secretion systems.},
  author       = {Rodrigues, Christopher D. A. and Henry, Xavier and Neumann, Emmanuelle and Kurauskas, Vilius and Bellard, Laure and Fichou, Yann and Schanda, Paul and Schoehn, Guy and Rudner, David Z. and Morlot, Cecile},
  issn         = {0027-8424},
  journal      = {Proceedings of the National Academy of Sciences},
  number       = {41},
  pages        = {11585--11590},
  publisher    = {National Academy of Sciences},
  title        = {{A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis}},
  doi          = {10.1073/pnas.1609604113},
  volume       = {113},
  year         = {2016},
}

@article{7294,
  abstract     = {Mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres were prepared by non-hydrolytic sol–gel from TiCl4, VOCl3, and iPr2O at 110 °C without any solvent or additives. The samples were characterized by elemental analysis, X-ray diffraction, Raman spectroscopy, scanning electron microscopy, nitrogen physisorption, and impedance measurements. At low vanadium loadings, only TiO2 anatase was detected, and V2O5 scherbinaite was also detected at high vanadium loadings. The texture of the samples depended on the V loading, but all the samples appeared built of primary nanoparticles (≈10–20 nm in size) that aggregate to form mesoporous micron-sized spheres. The lithium insertion properties of these materials were evaluated by galvanostatic measurements taken using coin-type cells, in view of their application as electrode for rechargeable Li-ion batteries. The mesoporous TiO2 microspheres showed good performances, with a specific reversible capacity of 145 and 128 mAh g−1 at C/2 and C, respectively (C = 335.6 mA g−1), good coulombic efficiency, and a moderate capacity fade (6 %) from the 2nd to the 20th cycle at C/20. Although the addition of V effectively increased the electronic conductivity of the powders, the specific reversible capacity and cycling performances of the TiO2–V2O5 samples were only minimally improved for a 5 at% V loading and were lower at higher V loading.},
  author       = {Escamilla-Pérez, A. M. and Louvain, N. and Kaschowitz, M. and Freunberger, Stefan Alexander and Fontaine, O. and Boury, B. and Brun, N. and Mutin, P. H.},
  issn         = {0928-0707},
  journal      = {Journal of Sol-Gel Science and Technology},
  number       = {2},
  pages        = {270--278},
  publisher    = {Springer Nature},
  title        = {{Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel}},
  doi          = {10.1007/s10971-016-4037-9},
  volume       = {79},
  year         = {2016},
}

@article{11519,
  abstract     = {Faint Lyα emitters become increasingly rarer toward the reionization epoch (z ∼ 6–7). However, observations from a very large (∼5 deg2) Lyα narrow-band survey at z = 6.6 show that this is not the case for the most luminous emitters, capable of ionizing their own local bubbles. Here we present follow-up observations of the two most luminous Lyα candidates in the COSMOS field: “MASOSA” and “CR7.” We used X-SHOOTER, SINFONI, and FORS2 on the Very Large Telescope, and DEIMOS on Keck, to confirm both candidates beyond any doubt. We find redshifts of z = 6.541 and z = 6.604 for “MASOSA” and “CR7,” respectively. MASOSA has a strong detection in Lyα with a line width of 386 ± 30 km s−1 (FWHM) and with very high EW0 (>200 Å), but undetected in the continuum, implying very low stellar mass and a likely young, metal-poor stellar population. “CR7,” with an observed Lyα luminosity of 1043.92±0.05 erg s−1 is the most luminous Lyα emitter ever found at z > 6 and is spatially extended (∼16 kpc). “CR7” reveals a narrow Lyα line with 266 ± 15 km s−1 FWHM, being detected in the near-infrared (NIR) (rest-frame UV; β = −2.3 ± 0.1) and in IRAC/Spitzer. We detect a narrow He II 1640 Å emission line (6σ, FWHM = 130 ± 30 km s−1 ) in CR7 which can explain the clear excess seen in the J-band photometry (EW0 ∼ 80 Å). We find no other emission lines from the UV to the NIR in our X-SHOOTER spectra (He II/O III] 1663 Å > 3 and He II/C III] 1908 Å > 2.5). We conclude that CR7 is best explained by a combination of a PopIII-like population, which dominates the rest-frame UV and the nebular emission, and a more normal stellar population, which presumably dominates the mass. Hubble Space Telescope/WFC3 observations show that the light is indeed spatially separated between a very blue component, coincident with Lyα and He II emission, and two red components (∼5 kpc away), which dominate the mass. Our findings are consistent with theoretical predictions of a PopIII wave, with PopIII star formation migrating away from the original sites of star formation.},
  author       = {Sobral, David and Matthee, Jorryt J and Darvish, Behnam and Schaerer, Daniel and Mobasher, Bahram and Röttgering, Huub and Santos, Sérgio and Hemmati, Shoubaneh},
  issn         = {1538-4357},
  journal      = {The Astrophysical Journal},
  keywords     = {Space and Planetary Science, Astronomy and Astrophysics, dark ages, reionization, first stars – early universe – galaxies: evolution},
  number       = {2},
  pages        = {139},
  publisher    = {IOP Publishing},
  title        = {{Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation}},
  doi          = {10.1088/0004-637X/808/2/139},
  volume       = {808},
  year         = {2015},
}

@inproceedings{11837,
  abstract     = {Online social networks allow the collection of large amounts of data about the influence between users connected by a friendship-like relationship. When distributing items among agents forming a social network, this information allows us to exploit network externalities that each agent receives from his neighbors that get the same item. In this paper we consider Friends-of-Friends (2-hop) network externalities, i.e., externalities that not only depend on the neighbors that get the same item but also on neighbors of neighbors. For these externalities we study a setting where multiple different items are assigned to unit-demand agents. Specifically, we study the problem of welfare maximization under different types of externality functions. Let n be the number of agents and m be the number of items. Our contributions are the following: (1) We show that welfare maximization is APX-hard; we show that even for step functions with 2-hop (and also with 1-hop) externalities it is NP-hard to approximate social welfare better than (1-1/e). (2) On the positive side we present (i) an O(sqrt n)-approximation algorithm for general concave externality functions,
(ii) an O(\log m)-approximation algorithm for linear externality functions, and (iii) an (1-1/e)\frac{1}{6}-approximation algorithm for 2-hop step function externalities. We also improve the result from [6] for 1-hop step function externalities by giving a (1-1/e)/2-approximation algorithm.},
  author       = {Bhattacharya, Sayan and Dvorák, Wolfgang and Henzinger, Monika H and Starnberger,  Martin},
  booktitle    = {32nd International Symposium on Theoretical Aspects of Computer Science},
  isbn         = {978-3-939897-78-1},
  issn         = {1868-8969},
  location     = {Garching, Germany},
  pages        = {90--102},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Welfare maximization with friends-of-friends network externalities}},
  doi          = {10.4230/LIPICS.STACS.2015.90},
  volume       = {30},
  year         = {2015},
}

@article{259,
  abstract     = {The Hasse principle and weak approximation is established for
non-singular cubic hypersurfaces X over the function field Fq(t), provided that
char(Fq) > 3 and X has dimension at least 6.},
  author       = {Browning, Timothy D and Vishe, Pankaj},
  issn         = {1420-8970},
  journal      = {Geometric and Functional Analysis},
  number       = {3},
  pages        = {671 -- 732},
  publisher    = {Springer Nature},
  title        = {{Rational points on cubic hypersurfaces over F_q(t) }},
  doi          = {10.1007/s00039-015-0328-5},
  volume       = {25},
  year         = {2015},
}

@article{2085,
  abstract     = {We study the spectrum of a large system of N identical bosons interacting via a two-body potential with strength 1/N. In this mean-field regime, Bogoliubov's theory predicts that the spectrum of the N-particle Hamiltonian can be approximated by that of an effective quadratic Hamiltonian acting on Fock space, which describes the fluctuations around a condensed state. Recently, Bogoliubov's theory has been justified rigorously in the case that the low-energy eigenvectors of the N-particle Hamiltonian display complete condensation in the unique minimizer of the corresponding Hartree functional. In this paper, we shall justify Bogoliubov's theory for the high-energy part of the spectrum of the N-particle Hamiltonian corresponding to (non-linear) excited states of the Hartree functional. Moreover, we shall extend the existing results on the excitation spectrum to the case of non-uniqueness and/or degeneracy of the Hartree minimizer. In particular, the latter covers the case of rotating Bose gases, when the rotation speed is large enough to break the symmetry and to produce multiple quantized vortices in the Hartree minimizer. },
  author       = {Nam, Phan and Seiringer, Robert},
  journal      = {Archive for Rational Mechanics and Analysis},
  number       = {2},
  pages        = {381 -- 417},
  publisher    = {Springer},
  title        = {{Collective excitations of Bose gases in the mean-field regime}},
  doi          = {10.1007/s00205-014-0781-6},
  volume       = {215},
  year         = {2015},
}

@inproceedings{1502,
  abstract     = {We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views. The latter can be used to generate tests for patches of an already tested system. Both operators can combine systems with different action alphabets, which is usually the case when constructing complex systems and specifications from parts, for instance different views as well as newly defined functionality of a~previous version of the system.},
  author       = {Beneš, Nikola and Daca, Przemyslaw and Henzinger, Thomas A and Kretinsky, Jan and Nickovic, Dejan},
  isbn         = {978-1-4503-3471-6},
  location     = {Montreal, QC, Canada},
  pages        = {101 -- 110},
  publisher    = {ACM},
  title        = {{Complete composition operators for IOCO-testing theory}},
  doi          = {10.1145/2737166.2737175},
  year         = {2015},
}

@article{1530,
  abstract     = {In growing cells, protein synthesis and cell growth are typically not synchronous, and, thus, protein concentrations vary over the cell division cycle. We have developed a theoretical description of genetic regulatory systems in bacteria that explicitly considers the cell division cycle to investigate its impact on gene expression. We calculate the cell-to-cell variations arising from cells being at different stages in the division cycle for unregulated genes and for basic regulatory mechanisms. These variations contribute to the extrinsic noise observed in single-cell experiments, and are most significant for proteins with short lifetimes. Negative autoregulation buffers against variation of protein concentration over the division cycle, but the effect is found to be relatively weak. Stronger buffering is achieved by an increased protein lifetime. Positive autoregulation can strongly amplify such variation if the parameters are set to values that lead to resonance-like behaviour. For cooperative positive autoregulation, the concentration variation over the division cycle diminishes the parameter region of bistability and modulates the switching times between the two stable states. The same effects are seen for a two-gene mutual-repression toggle switch. By contrast, an oscillatory circuit, the repressilator, is only weakly affected by the division cycle.},
  author       = {Bierbaum, Veronika and Klumpp, Stefan},
  journal      = {Physical Biology},
  number       = {6},
  publisher    = {IOP Publishing},
  title        = {{Impact of the cell division cycle on gene circuits}},
  doi          = {10.1088/1478-3975/12/6/066003},
  volume       = {12},
  year         = {2015},
}

@article{1536,
  abstract     = {Strigolactones, first discovered as germination stimulants for parasitic weeds [1], are carotenoid-derived phytohormones that play major roles in inhibiting lateral bud outgrowth and promoting plant-mycorrhizal symbiosis [2-4]. Furthermore, strigolactones are involved in the regulation of lateral and adventitious root development, root cell division [5, 6], secondary growth [7], and leaf senescence [8]. Recently, we discovered the strigolactone transporter Petunia axillaris PLEIOTROPIC DRUG RESISTANCE 1 (PaPDR1), which is required for efficient mycorrhizal colonization and inhibition of lateral bud outgrowth [9]. However, how strigolactones are transported through the plant remained unknown. Here we show that PaPDR1 exhibits a cell-type-specific asymmetric localization in different root tissues. In root tips, PaPDR1 is co-expressed with the strigolactone biosynthetic gene DAD1 (CCD8), and it is localized at the apical membrane of root hypodermal cells, presumably mediating the shootward transport of strigolactone. Above the root tip, in the hypodermal passage cells that form gates for the entry of mycorrhizal fungi, PaPDR1 is present in the outer-lateral membrane, compatible with its postulated function as strigolactone exporter from root to soil. Transport studies are in line with our localization studies since (1) a papdr1 mutant displays impaired transport of strigolactones out of the root tip to the shoot as well as into the rhizosphere and (2) DAD1 expression and PIN1/PIN2 levels change in plants deregulated for PDR1 expression, suggestive of variations in endogenous strigolactone contents. In conclusion, our results indicate that the polar localizations of PaPDR1 mediate directional shootward strigolactone transport as well as localized exudation into the soil.},
  author       = {Sasse, Joëlle and Simon, Sibu and Gübeli, Christian and Liu, Guowei and Cheng, Xi and Friml, Jirí and Bouwmeester, Harro and Martinoia, Enrico and Borghi, Lorenzo},
  journal      = {Current Biology},
  number       = {5},
  pages        = {647 -- 655},
  publisher    = {Cell Press},
  title        = {{Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport}},
  doi          = {10.1016/j.cub.2015.01.015},
  volume       = {25},
  year         = {2015},
}

@inproceedings{1541,
  abstract     = {We present XSpeed a parallel state-space exploration algorithm for continuous systems with linear dynamics and nondeterministic inputs. The motivation of having parallel algorithms is to exploit the computational power of multi-core processors to speed-up performance. The parallelization is achieved on two fronts. First, we propose a parallel implementation of the support function algorithm by sampling functions in parallel. Second, we propose a parallel state-space exploration by slicing the time horizon and computing the reachable states in the time slices in parallel. The second method can be however applied only to a class of linear systems with invertible dynamics and fixed input. A GP-GPU implementation is also presented following a lazy evaluation strategy on support functions. The parallel algorithms are implemented in the tool XSpeed. We evaluated the performance on two benchmarks including an 28 dimension Helicopter model. Comparison with the sequential counterpart shows a maximum speed-up of almost 7× on a 6 core, 12 thread Intel Xeon CPU E5-2420 processor. Our GP-GPU implementation shows a maximum speed-up of 12× over the sequential implementation and 53× over SpaceEx (LGG scenario), the state of the art tool for reachability analysis of linear hybrid systems. Experiments illustrate that our parallel algorithm with time slicing not only speeds-up performance but also improves precision.},
  author       = {Ray, Rajarshi and Gurung, Amit and Das, Binayak and Bartocci, Ezio and Bogomolov, Sergiy and Grosu, Radu},
  location     = {Haifa, Israel},
  pages        = {3 -- 18},
  publisher    = {Springer},
  title        = {{XSpeed: Accelerating reachability analysis on multi-core processors}},
  doi          = {10.1007/978-3-319-26287-1_1},
  volume       = {9434},
  year         = {2015},
}

@inbook{1549,
  abstract     = {Nature has incorporated small photochromic molecules, colloquially termed 'photoswitches', in photoreceptor proteins to sense optical cues in photo-taxis and vision. While Nature's ability to employ light-responsive functionalities has long been recognized, it was not until recently that scientists designed, synthesized and applied synthetic photochromes to manipulate many of which open rapidly and locally in their native cell types, biological processes with the temporal and spatial resolution of light. Ion channels in particular have come to the forefront of proteins that can be put under the designer control of synthetic photochromes. Photochromic ion channel controllers are comprised of three classes, photochromic soluble ligands (PCLs), photochromic tethered ligands (PTLs) and photochromic crosslinkers (PXs), and in each class ion channel functionality is controlled through reversible changes in photochrome structure. By acting as light-dependent ion channel agonists, antagonist or modulators, photochromic controllers effectively converted a wide range of ion channels, including voltage-gated ion channels, 'leak channels', tri-, tetra- and pentameric ligand-gated ion channels, and temperaturesensitive ion channels, into man-made photoreceptors. Control by photochromes can be reversible, unlike in the case of 'caged' compounds, and non-invasive with high spatial precision, unlike pharmacology and electrical manipulation. Here, we introduce design principles of emerging photochromic molecules that act on ion channels and discuss the impact that these molecules are beginning to have on ion channel biophysics and neuronal physiology.},
  author       = {Mckenzie, Catherine and Sanchez Romero, Inmaculada and Janovjak, Harald L},
  booktitle    = {Novel chemical tools to study ion channel biology},
  isbn         = {978-1-4939-2844-6},
  pages        = {101 -- 117},
  publisher    = {Springer},
  title        = {{Flipping the photoswitch: Ion channels under light control}},
  doi          = {10.1007/978-1-4939-2845-3_6},
  volume       = {869},
  year         = {2015},
}

@article{1878,
  abstract     = {Petrocoptis is a small genus of chasmophytic plants endemic to the Iberian Peninsula, with some localized populations in the French Pyrenees. Within the genus, a dozen species have been recognized based on morphological diversity, most of them with limited distribution area, in small populations and frequently with potential threats to their survival. To date, however, a molecular evaluation of the current systematic treatments has not been carried out. The aim of the present study is to infer phylogenetic relationships among its subordinate taxa by using plastidial rps16 intron and nuclear internal transcribed spacer (ITS) DNA sequences; and evaluate the phylogenetic placement of the genus Petrocoptis within the family Caryophyllaceae. The monophyly of Petrocoptis is supported by both ITS and rps16 intron sequence analyses. Furthermore, time estimates using BEAST analyses indicate a Middle to Late Miocene diversification (10.59 Myr, 6.44–15.26 Myr highest posterior densities [HPD], for ITS; 14.30 Myr, 8.61–21.00 Myr HPD, for rps16 intron).},
  author       = {Cires Rodriguez, Eduardo and Prieto, José},
  journal      = {Journal of Plant Research},
  number       = {2},
  pages        = {223 -- 238},
  publisher    = {Springer},
  title        = {{Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula}},
  doi          = {10.1007/s10265-014-0691-6},
  volume       = {128},
  year         = {2015},
}

@article{1834,
  abstract     = {Huge body of evidences demonstrated that volatile anesthetics affect the hippocampal neurogenesis and neurocognitive functions, and most of them showed impairment at anesthetic dose. Here, we investigated the effect of low dose (1.8%) sevoflurane on hippocampal neurogenesis and dentate gyrus-dependent learning. Neonatal rats at postnatal day 4 to 6 (P4-6) were treated with 1.8% sevoflurane for 6 hours. Neurogenesis was quantified by bromodeoxyuridine labeling and electrophysiology recording. Four and seven weeks after treatment, the Morris water maze and contextual-fear discrimination learning tests were performed to determine the influence on spatial learning and pattern separation. A 6-hour treatment with 1.8% sevoflurane promoted hippocampal neurogenesis and increased the survival of newborn cells and the proportion of immature granular cells in the dentate gyrus of neonatal rats. Sevoflurane-treated rats performed better during the training days of the Morris water maze test and in contextual-fear discrimination learning test. These results suggest that a subanesthetic dose of sevoflurane promotes hippocampal neurogenesis in neonatal rats and facilitates their performance in dentate gyrus-dependent learning tasks.},
  author       = {Chen, Chong and Wang, Chao and Zhao, Xuan and Zhou, Tao and Xu, Dao and Wang, Zhi and Wang, Ying},
  journal      = {ASN Neuro},
  number       = {2},
  publisher    = {SAGE Publications},
  title        = {{Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats}},
  doi          = {10.1177/1759091415575845},
  volume       = {7},
  year         = {2015},
}

@article{11967,
  abstract     = {An experimentally easy to perform method for the generation of alumina-supported Fe3O4 nanoparticles [(6±1) nm size, 0.67 wt %]and the use of this material in hydrazine-mediated heterogeneously catalyzed reductions of nitroarenes to anilines under batch and continuous-flow conditions is presented. The bench-stable, reusable nano-Fe3O4@Al2O3 catalyst can selectively reduce functionalized nitroarenes at 1 mol % catalyst loading by using a 20 mol % excess of hydrazine hydrate in an elevated temperature regime (150 °C, reaction time 2–6 min in batch). For continuous-flow processing, the catalyst material is packed into dedicated cartridges and used in a commercially available high-temperature/-pressure flow device. In continuous mode, reaction times can be reduced to less than 1 min at 150 °C (30 bar back pressure) in a highly intensified process. The nano-Fe3O4@Al2O3 catalyst demonstrated stable reduction of nitrobenzene (0.5 M in MeOH) for more than 10 h on stream at a productivity of 30 mmol h−1 (0.72 mol per day). Importantly, virtually no leaching of the catalytically active material could be observed by inductively coupled plasma MS monitoring.},
  author       = {Moghaddam, Mojtaba Mirhosseini and Pieber, Bartholomäus and Glasnov, Toma and Kappe, C. Oliver},
  issn         = {1864-564X},
  journal      = {ChemSusChem},
  number       = {11},
  pages        = {3122--3131},
  publisher    = {Wiley},
  title        = {{Immobilized iron oxide nanoparticles as stable and reusable catalysts for hydrazine-mediated nitro reductions in continuous flow}},
  doi          = {10.1002/cssc.201402455},
  volume       = {7},
  year         = {2014},
}

@article{2227,
  abstract     = {The Balkan Peninsula, characterized by high rates of endemism, is recognised as one of the most diverse and species-rich areas of Europe. However, little is known about the origin of Balkan endemics. The present study addresses the phylogenetic position of the Balkan endemic Ranunculus wettsteinii, as well as its taxonomic status and relationship with the widespread R. parnassiifolius, based on nuclear DNA (internal transcribed spacer, ITS) and plastid regions (rpl32-trnL, rps16-trnQ, trnK-matK and ycf6-psbM). Maximum parsimony and Bayesian inference analyses revealed a well-supported clade formed by accessions of R. wettsteinii. Furthermore, our phylogenetic and network analyses supported previous hypotheses of a likely allopolyploid origin for R. wettsteinii between R. montenegrinus and R. parnassiifolius, with the latter as the maternal parent.},
  author       = {Cires Rodriguez, Eduardo and Baltisberger, Matthias and Cuesta, Candela and Vargas, Pablo and Prieto, José},
  issn         = {1439-6092},
  journal      = {Organisms Diversity and Evolution},
  number       = {1},
  pages        = {1 -- 10},
  publisher    = {Springer},
  title        = {{Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences}},
  doi          = {10.1007/s13127-013-0150-6},
  volume       = {14},
  year         = {2014},
}

@article{252,
  abstract     = {For any number field k, upper bounds are established for the number of k-rational points of bounded height on non-singular del Pezzo surfaces defined over k, which are equipped with suitable conic bundle structures over k.},
  author       = {Timothy Browning and Jones, Michael S},
  journal      = {Acta Arithmetica},
  number       = {3},
  pages        = {271 -- 298},
  publisher    = {Instytut Matematyczny},
  title        = {{Counting rational points on del Pezzo surfaces with a conic bundle structure}},
  doi          = {10.4064/aa163-3-6},
  volume       = {163},
  year         = {2014},
}

@article{2716,
  abstract     = {Multi-dimensional mean-payoff and energy games provide the mathematical foundation for the quantitative study of reactive systems, and play a central role in the emerging quantitative theory of verification and synthesis. In this work, we study the strategy synthesis problem for games with such multi-dimensional objectives along with a parity condition, a canonical way to express ω ω -regular conditions. While in general, the winning strategies in such games may require infinite memory, for synthesis the most relevant problem is the construction of a finite-memory winning strategy (if one exists). Our main contributions are as follows. First, we show a tight exponential bound (matching upper and lower bounds) on the memory required for finite-memory winning strategies in both multi-dimensional mean-payoff and energy games along with parity objectives. This significantly improves the triple exponential upper bound for multi energy games (without parity) that could be derived from results in literature for games on vector addition systems with states. Second, we present an optimal symbolic and incremental algorithm to compute a finite-memory winning strategy (if one exists) in such games. Finally, we give a complete characterization of when finite memory of strategies can be traded off for randomness. In particular, we show that for one-dimension mean-payoff parity games, randomized memoryless strategies are as powerful as their pure finite-memory counterparts.},
  author       = {Chatterjee, Krishnendu and Randour, Mickael and Raskin, Jean},
  journal      = {Acta Informatica},
  number       = {3-4},
  pages        = {129 -- 163},
  publisher    = {Springer},
  title        = {{Strategy synthesis for multi-dimensional quantitative objectives}},
  doi          = {10.1007/s00236-013-0182-6},
  volume       = {51},
  year         = {2014},
}

@article{2178,
  abstract     = {We consider the three-state toric homogeneous Markov chain model (THMC) without loops and initial parameters. At time T, the size of the design matrix is 6 × 3 · 2T-1 and the convex hull of its columns is the model polytope. We study the behavior of this polytope for T ≥ 3 and we show that it is defined by 24 facets for all T ≥ 5. Moreover, we give a complete description of these facets. From this, we deduce that the toric ideal associated with the design matrix is generated by binomials of degree at most 6. Our proof is based on a result due to Sturmfels, who gave a bound on the degree of the generators of a toric ideal, provided the normality of the corresponding toric variety. In our setting, we established the normality of the toric variety associated to the THMC model by studying the geometric properties of the model polytope.},
  author       = {Haws, David and Martin Del Campo Sanchez, Abraham and Takemura, Akimichi and Yoshida, Ruriko},
  journal      = {Beitrage zur Algebra und Geometrie},
  number       = {1},
  pages        = {161 -- 188},
  publisher    = {Springer},
  title        = {{Markov degree of the three-state toric homogeneous Markov chain model}},
  doi          = {10.1007/s13366-013-0178-y},
  volume       = {55},
  year         = {2014},
}

@phdthesis{1404,
  abstract     = {The co-evolution of hosts and pathogens is characterized by continuous adaptations of both parties. Pathogens of social insects need to adapt towards disease defences at two levels: 1) individual immunity of each colony member consisting of behavioural defence strategies as well as humoral and cellular immune responses and 2) social immunity that is collectively performed by all group members comprising behavioural, physiological and organisational defence strategies.

To disentangle the selection pressure on pathogens by the collective versus individual level of disease defence in social insects, we performed an evolution experiment using the Argentine Ant, Linepithema humile, as a host and a mixture of the general insect pathogenic fungus Metarhizium spp. (6 strains) as a pathogen. We allowed pathogen evolution over 10 serial host passages to two different evolution host treatments: (1) only individual host immunity in a single host treatment, and (2) simultaneously acting individual and social immunity in a social host treatment, in which an exposed ant was accompanied by two untreated nestmates.

Before starting the pathogen evolution experiment, the 6 Metarhizium spp. strains were characterised concerning conidiospore size killing rates in singly and socially reared ants, their competitiveness under coinfecting conditions and their influence on ant behaviour. We analysed how the ancestral atrain mixture changed in conidiospere size, killing rate and strain composition dependent on host treatment (single or social hosts) during 10 passages and found that killing rate and conidiospere size of the pathogen increased under both evolution regimes, but different depending on host treatment.

Testing the evolved strain mixtures that evolved under either the single or social host treatment under both single and social current rearing conditions in a full factorial design experiment revealed that the additional collective defences in insect societies add new selection pressure for their coevolving pathogens that compromise their ability to adapt to its host at the group level. To our knowledge, this is the first study directly measuring the influence of social immunity on pathogen evolution.},
  author       = {Stock, Miriam},
  pages        = {101},
  publisher    = {IST Austria},
  title        = {{Evolution of a fungal pathogen towards individual versus social immunity in ants}},
  year         = {2014},
}

@article{1913,
  abstract     = {Deposits of phosphorylated tau protein and convergence of pathology in the hippocampus are the hallmarks of neurodegenerative tauopathies. Thus we aimed to evaluate whether regional and cellular vulnerability patterns in the hippocampus distinguish tauopathies or are influenced by their concomitant presence. Methods: We created a heat map of phospho-tau (AT8) immunoreactivity patterns in 24 hippocampal subregions/layers in individuals with Alzheimer's disease (AD)-related neurofibrillary degeneration (n = 40), Pick's disease (n = 8), progressive supranuclear palsy (n = 7), corticobasal degeneration (n = 6), argyrophilic grain disease (AGD, n = 18), globular glial tauopathy (n = 5), and tau-astrogliopathy of the elderly (n = 10). AT8 immunoreactivity patterns were compared by mathematical analysis. Results: Our study reveals disease-specific hot spots and regional selective vulnerability for these disorders. The pattern of hippocampal AD-related tau pathology is strongly influenced by concomitant AGD. Mathematical analysis reveals that hippocampal involvement in primary tauopathies is distinguishable from early-stage AD-related neurofibrillary degeneration. Conclusion: Our data demonstrate disease-specific AT8 immunoreactivity patterns and hot spots in the hippocampus even in tauopathies, which primarily do not affect the hippocampus. These hot spots can be shifted to other regions by the co-occurrence of tauopathies like AGD. Our observations support the notion that globular glial tauopathies and tau-astrogliopathy of the elderly are distinct entities.},
  author       = {Milenković, Ivan and Petrov, Tatjana and Kovács, Gábor},
  issn         = {1420-8008},
  journal      = {Dementia and Geriatric Cognitive Disorders},
  number       = {5-6},
  pages        = {375 -- 388},
  publisher    = {Karger Publishers},
  title        = {{Patterns of hippocampal tau pathology differentiate neurodegenerative dementias}},
  doi          = {10.1159/000365548},
  volume       = {38},
  year         = {2014},
}

