@article{7071, abstract = {Spin and orbital quantum numbers play a key role in the physics of Mott insulators, but in most systems they are connected only indirectly—via the Pauli exclusion principle and the Coulomb interaction. Iridium-based oxides (iridates) introduce strong spin–orbit coupling directly, such that these numbers become entwined together and the Mott physics attains a strong orbital character. In the layered honeycomb iridates this is thought to generate highly spin–anisotropic magnetic interactions, coupling the spin to a given spatial direction of exchange and leading to strongly frustrated magnetism. Here we report a new iridate structure that has the same local connectivity as the layered honeycomb and exhibits striking evidence for highly spin–anisotropic exchange. The basic structural units of this material suggest that a new family of three-dimensional structures could exist, the ‘harmonic honeycomb’ iridates, of which the present compound is the first example.}, author = {Modic, Kimberly A and Smidt, Tess E. and Kimchi, Itamar and Breznay, Nicholas P. and Biffin, Alun and Choi, Sungkyun and Johnson, Roger D. and Coldea, Radu and Watkins-Curry, Pilanda and McCandless, Gregory T. and Chan, Julia Y. and Gandara, Felipe and Islam, Z. and Vishwanath, Ashvin and Shekhter, Arkady and McDonald, Ross D. and Analytis, James G.}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Science and Business Media LLC}, title = {{Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate}}, doi = {10.1038/ncomms5203}, volume = {5}, year = {2014}, } @article{7072, abstract = {We investigate the structural and magnetic properties of two molecule-based magnets synthesized from the same starting components. Their different structural motifs promote contrasting exchange pathways and consequently lead to markedly different magnetic ground states. Through examination of their structural and magnetic properties we show that [Cu(pyz)(H2O)(gly)2](ClO4)2 may be considered a quasi-one-dimensional quantum Heisenberg antiferromagnet whereas the related compound [Cu(pyz)(gly)](ClO4), which is formed from dimers of antiferromagnetically interacting Cu2+ spins, remains disordered down to at least 0.03 K in zero field but shows a field-temperature phase diagram reminiscent of that seen in materials showing a Bose-Einstein condensation of magnons.}, author = {Lancaster, T. and Goddard, P. A. and Blundell, S. J. and Foronda, F. R. and Ghannadzadeh, S. and Möller, J. S. and Baker, P. J. and Pratt, F. L. and Baines, C. and Huang, L. and Wosnitza, J. and McDonald, R. D. and Modic, Kimberly A and Singleton, J. and Topping, C. V. and Beale, T. A. W. and Xiao, F. and Schlueter, J. A. and Barton, A. M. and Cabrera, R. D. and Carreiro, K. E. and Tran, H. E. and Manson, J. L.}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {20}, publisher = {APS}, title = {{Controlling magnetic order and quantum disorder in molecule-based magnets}}, doi = {10.1103/physrevlett.112.207201}, volume = {112}, year = {2014}, } @article{7300, abstract = {Photoinduced electron transfer (PET), which causes pH-dependent quenching of fluorescent dyes, is more effectively introduced by phenolic groups than by amino groups which have been much more commonly used so far. That is demonstrated by fluorescence measurements involving several classes of fluorophores. Electrochemical measurements show that PET in several amino-modified dyes is thermodynamically favorable, even though it was not experimentally found, underlining the importance of kinetic aspects to the process. Consequently, the attachment of phenolic groups allows for fast and simple preparation of a wide selection of fluorescent pH-probes with tailor-made spectral properties, sensitive ranges, and individual advantages, so that a large number of applications can be realized. Fluorophores carrying phenolic groups may also be used for sensing analytes other than pH or molecular switching and signaling.}, author = {Aigner, Daniel and Freunberger, Stefan Alexander and Wilkening, Martin and Saf, Robert and Borisov, Sergey M. and Klimant, Ingo}, issn = {0003-2700}, journal = {Analytical Chemistry}, number = {18}, pages = {9293--9300}, publisher = {ACS}, title = {{Enhancing photoinduced electron transfer efficiency of fluorescent pH-probes with halogenated phenols}}, doi = {10.1021/ac502513g}, volume = {86}, year = {2014}, } @article{7301, abstract = {Several problems arise at the O2 (positive) electrode in the Li-air battery, including solvent/electrode decomposition and electrode passivation by insulating Li2O2. Progress partially depends on exploring the basic electrochemistry of O2 reduction. Here we describe the effect of complexing-cations on the electrochemical reduction of O2 in DMSO in the presence and absence of a Li salt. The solubility of alkaline peroxides in DMSO is enhanced by the complexing-cations, consistent with their strong interaction with reduced O2. The complexing-cations also increase the rate of the 1-electron O2 reduction to O2•– by up to six-fold (k° = 2.4 ×10–3 to 1.5 × 10–2 cm s–1) whether or not Li+ ions are present. In the absence of Li+, the complexing-cations also promote the reduction of O2•– to O22–. In the presence of Li+ and complexing-cations, and despite the interaction of the reduced O2 with the latter, SERS confirms that the product is still Li2O2.}, author = {Li, Chunmei and Fontaine, Olivier and Freunberger, Stefan Alexander and Johnson, Lee and Grugeon, Sylvie and Laruelle, Stéphane and Bruce, Peter G. and Armand, Michel}, issn = {1932-7447}, journal = {The Journal of Physical Chemistry C}, number = {7}, pages = {3393--3401}, publisher = {ACS}, title = {{Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent}}, doi = {10.1021/jp4093805}, volume = {118}, year = {2014}, } @article{7302, abstract = {Understanding charge carrier transport in Li2O2, the storage material in the non-aqueous Li-O2 battery, is key to the development of this high-energy battery. Here, we studied ionic transport properties and Li self-diffusion in nanocrystalline Li2O2 by conductivity and temperature variable 7Li NMR spectroscopy. Nanostructured Li2O2, characterized by a mean crystallite size of less than 50 nm as estimated from X-ray diffraction peak broadening, was prepared by high-energy ball milling of microcrystalline lithium peroxide with μm sized crystallites. At room temperature the overall conductivity σ of the microcrystalline reference sample turned out to be very low (3.4 × 10−13 S cm−1) which is in agreement with results from temperature-variable 7Li NMR line shape measurements. Ball-milling, however, leads to an increase of σ by approximately two orders of magnitude (1.1 × 10−10 S cm−1); correspondingly, the activation energy decreases from 0.89 eV to 0.82 eV. The electronic contribution σeon, however, is in the order of 9 × 10−12 S cm−1 which makes less than 10% of the total value. Interestingly, 7Li NMR lines of nano-Li2O2 undergo pronounced heterogeneous motional narrowing which manifests in a two-component line shape emerging with increasing temperatures. Most likely, the enhancement in σ can be traced back to the generation of a spin reservoir with highly mobile Li ions; these are expected to reside in the nearest neighbourhood of defects generated or near the structurally disordered and defect-rich interfacial regions formed during mechanical treatment.}, author = {Dunst, A. and Epp, V. and Hanzu, I. and Freunberger, Stefan Alexander and Wilkening, M.}, issn = {1754-5692}, journal = {Energy & Environmental Science}, number = {8}, pages = {2739--2752}, publisher = {RSC}, title = {{Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries}}, doi = {10.1039/c4ee00496e}, volume = {7}, year = {2014}, } @inbook{7303, abstract = {The electrolyte in the non-aqueous (aprotic) lithium air battery has a profound influence on the reactions that occur at the anode and cathode, and hence its overall operation on discharge/charge. It must possess a wide range of attributes, exceeding the requirements of electrolytes for Lithium ion batteries by far. The most important additional issues are stability at both anode and cathode in the presence of O2. The known problems with cycling the Li metal/non-aqueous electrolyte interface are further complicated by O2. New and much less understood are the reactions at the O2 cathode/electrolyte interface where the highly reversible formation/decomposition of Li2O2 on discharge/charge is critical for the operation of the non-aqueous lithium air battery. Many aprotic electrolytes exhibit decomposition at the cathode during discharge and charge due to the presence of reactive reduced O2 species affecting potential, capacity and kinetics on discharge and charge, cyclability and calendar life. Identifying suitable electrolytes is one of the key challenges for the non-aqueous lithium air battery at the present time. Following the realisation that cyclability of such cells in the initially used organic carbonate electrolytes is due to back-to-back irreversible reactions the stability of the non-aqueous electrolytes became a major focus of research on rechargeable lithium air batteries. This realisation led to the establishment of a suite of experimental and computational methods capable of screening the stability of electrolytes. These allow for greater mechanistic understanding of the reactivity and guide the way towards designing more stable systems. A range of electrolytes based on ethers, amides, sulfones, ionic liquids and dimethyl sulfoxide have been investigated. All are more stable than the organic carbonates, but not all are equally stable. Even though it was soon realised, by a number of groups, that ethers exhibit side reactions on discharge and charge, they still remain the choice in many studies. To date dimethyl sulfoxide and dimethylacetamide were identified as the most stable electrolytes. In conjunction with the investigation of electrolyte stability the importance of electrode stability became more prominent. The stability of the electrolyte cannot be considered in isolation. Its stability depends on the synergy between electrolyte and electrode. Carbon based electrodes promote electrolyte decomposition and decompose on their own. Although great progress has been made in only a few years, future work on aprotic electrolytes for Li-O2 batteries will need to explore other electrolytes in the quest for yet lower cost, higher safety, stability and low volatility.}, author = {Freunberger, Stefan Alexander and Chen, Yuhui and Bardé, Fanny and Takechi, Kensuke and Mizuno, Fuminori and Bruce, Peter G.}, booktitle = {The Lithium Air Battery: Fundamentals}, editor = {Imanishi, Nobuyuki and Luntz, Alan C. and Bruce, Peter}, isbn = {9781489980618}, pages = {23--58}, publisher = {Springer Nature}, title = {{Nonaqueous Electrolytes}}, doi = {10.1007/978-1-4899-8062-5_2}, year = {2014}, } @article{7304, abstract = {Lithium-air batteries have received extraordinary attention recently owing to their theoretical gravimetric energies being considerably higher than those of Li-ion batteries. There are, however, significant challenges to practical implementation, including low energy efficiency, cycle life, and power capability. These are due primarily to the lack of fundamental understanding of oxygen reduction and evolution reaction kinetics and parasitic reactions between oxygen redox intermediate species and nominally inactive battery components such as carbon in the oxygen electrode and electrolytes. In this article, we discuss recent advances in the mechanistic understanding of oxygen redox reactions in nonaqueous electrolytes and the search for electrolytes and electrode materials that are chemically stable in the oxygen electrode. In addition, methods to protect lithium metal against corrosion by water and dendrite formation in aqueous lithium-air batteries are discussed. Further materials innovations lie at the heart of research and development efforts that are needed to enable the development of lithium-oxygen batteries with enhanced round-trip efficiency and cycle life.}, author = {Kwabi, D.G. and Ortiz-Vitoriano, N. and Freunberger, Stefan Alexander and Chen, Y. and Imanishi, N. and Bruce, P.G. and Shao-Horn, Y.}, issn = {0883-7694}, journal = {MRS Bulletin}, number = {5}, pages = {443--452}, publisher = {CUP}, title = {{Materials challenges in rechargeable lithium-air batteries}}, doi = {10.1557/mrs.2014.87}, volume = {39}, year = {2014}, } @article{7305, abstract = {When lithium–oxygen batteries discharge, O2 is reduced at the cathode to form solid Li2O2. Understanding the fundamental mechanism of O2 reduction in aprotic solvents is therefore essential to realizing their technological potential. Two different models have been proposed for Li2O2 formation, involving either solution or electrode surface routes. Here, we describe a single unified mechanism, which, unlike previous models, can explain O2 reduction across the whole range of solvents and for which the two previous models are limiting cases. We observe that the solvent influences O2 reduction through its effect on the solubility of LiO2, or, more precisely, the free energy of the reaction LiO2* ⇌ Li(sol)+ + O2−(sol) + ion pairs + higher aggregates (clusters). The unified mechanism shows that low-donor-number solvents are likely to lead to premature cell death, and that the future direction of research for lithium–oxygen batteries should focus on the search for new, stable, high-donor-number electrolytes, because they can support higher capacities and can better sustain discharge.}, author = {Johnson, Lee and Li, Chunmei and Liu, Zheng and Chen, Yuhui and Freunberger, Stefan Alexander and Ashok, Praveen C. and Praveen, Bavishna B. and Dholakia, Kishan and Tarascon, Jean-Marie and Bruce, Peter G.}, issn = {1755-4330}, journal = {Nature Chemistry}, number = {12}, pages = {1091--1099}, publisher = {Springer Nature}, title = {{The role of LiO2 solubility in O2 reduction in aprotic solvents and its consequences for Li–O2 batteries}}, doi = {10.1038/nchem.2101}, volume = {6}, year = {2014}, } @article{7361, abstract = {Bistable switches are fundamental regulatory elements of complex systems, ranging from electronics to living cells. Designed genetic toggle switches have been constructed from pairs of natural transcriptional repressors wired to inhibit one another. The complexity of the engineered regulatory circuits can be increased using orthogonal transcriptional regulators based on designed DNA-binding domains. However, a mutual repressor-based toggle switch comprising DNA-binding domains of transcription-activator-like effectors (TALEs) did not support bistability in mammalian cells. Here, the challenge of engineering a bistable switch based on monomeric DNA-binding domains is solved via the introduction of a positive feedback loop composed of activators based on the same TALE domains as their opposing repressors and competition for the same DNA operator site. This design introduces nonlinearity and results in epigenetic bistability. This principle could be used to employ other monomeric DNA-binding domains such as CRISPR for applications ranging from reprogramming cells to building digital biological memory.}, author = {Lebar, Tina and Bezeljak, Urban and Golob, Anja and Jerala, Miha and Kadunc, Lucija and Pirš, Boštjan and Stražar, Martin and Vučko, Dušan and Zupančič, Uroš and Benčina, Mojca and Forstnerič, Vida and Gaber, Rok and Lonzarić, Jan and Majerle, Andreja and Oblak, Alja and Smole, Anže and Jerala, Roman}, issn = {2041-1723}, journal = {Nature Communications}, number = {1}, publisher = {Springer Nature}, title = {{A bistable genetic switch based on designable DNA-binding domains}}, doi = {10.1038/ncomms6007}, volume = {5}, year = {2014}, } @article{7455, abstract = {The reaction between NiO and (0001)- and ([1\bar102])-oriented Al2O3 single crystals has been investigated on model experimental systems by using the ReflEXAFS technique. Depth-sensitive information is obtained by collecting data above and below the critical angle for total reflection. A systematic protocol for data analysis, based on the recently developed CARD code, was implemented, and a detailed description of the reactive systems was obtained. In particular, for ([1\bar102])-oriented Al2O3, the reaction with NiO is almost complete after heating for 6 h at 1273 K, and an almost uniform layer of spinel is found below a mixed (NiO + spinel) layer at the very upmost part of the sample. In the case of the (0001)-oriented Al2O3, for the same temperature and heating time, the reaction shows a lower advancement degree and a residual fraction of at least 30% NiO is detected in the ReflEXAFS spectra. }, author = {Costanzo, Tommaso and Benzi, Federico and Ghigna, Paolo and Pin, Sonia and Spinolo, Giorgio and d'Acapito, Francesco}, issn = {1600-5775}, journal = {Journal of Synchrotron Radiation}, number = {2}, pages = {395--400}, publisher = {International Union of Crystallography}, title = {{Studying the surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS)}}, doi = {10.1107/s1600577513031299}, volume = {21}, year = {2014}, } @misc{9888, abstract = {Detailed description of the experimental prodedures, data analyses and additional statistical analyses of the results.}, author = {Wolf, Stephan and Mcmahon, Dino and Lim, Ka and Pull, Christopher and Clark, Suzanne and Paxton, Robert and Osborne, Juliet}, publisher = {Public Library of Science}, title = {{Supporting information}}, doi = {10.1371/journal.pone.0103989.s003}, year = {2014}, } @article{9931, abstract = {Gene duplication is important in evolution, because it provides new raw material for evolutionary adaptations. Several existing hypotheses about the causes of duplicate retention and diversification differ in their emphasis on gene dosage, subfunctionalization, and neofunctionalization. Little experimental data exist on the relative importance of gene expression changes and changes in coding regions for the evolution of duplicate genes. Furthermore, we do not know how strongly the environment could affect this importance. To address these questions, we performed evolution experiments with the TEM-1 beta lactamase gene in Escherichia coli to study the initial stages of duplicate gene evolution in the laboratory. We mimicked tandem duplication by inserting two copies of the TEM-1 gene on the same plasmid. We then subjected these copies to repeated cycles of mutagenesis and selection in various environments that contained antibiotics in different combinations and concentrations. Our experiments showed that gene dosage is the most important factor in the initial stages of duplicate gene evolution, and overshadows the importance of point mutations in the coding region.}, author = {Dhar, Riddhiman and Bergmiller, Tobias and Wagner, Andreas}, issn = {1558-5646}, journal = {Evolution}, number = {6}, pages = {1775--1791}, publisher = {Wiley}, title = {{Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes}}, doi = {10.1111/evo.12373}, volume = {68}, year = {2014}, } @misc{9932, abstract = {Gene duplication is important in evolution, because it provides new raw material for evolutionary adaptations. Several existing hypotheses about the causes of duplicate retention and diversification differ in their emphasis on gene dosage, sub-functionalization, and neo-functionalization. Little experimental data exists on the relative importance of gene expression changes and changes in coding regions for the evolution of duplicate genes. Furthermore, we do not know how strongly the environment could affect this importance. To address these questions, we performed evolution experiments with the TEM-1 beta lactamase gene in E. coli to study the initial stages of duplicate gene evolution in the laboratory. We mimicked tandem duplication by inserting two copies of the TEM-1 gene on the same plasmid. We then subjected these copies to repeated cycles of mutagenesis and selection in various environments that contained antibiotics in different combinations and concentrations. Our experiments showed that gene dosage is the most important factor in the initial stages of duplicate gene evolution, and overshadows the importance of point mutations in the coding region.}, author = {Dhar, Riddhiman and Bergmiller, Tobias and Wagner, Andreas}, publisher = {Dryad}, title = {{Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes}}, doi = {10.5061/dryad.jc402}, year = {2014}, } @book{22092, abstract = {The first part of the book provides an introduction to key tools and techniques in dispersive equations: Strichartz estimates, bilinear estimates, modulation and adapted function spaces, with an application to the generalized Korteweg-de Vries equation and the Kadomtsev-Petviashvili equation. The energy-critical nonlinear Schrödinger equation, global solutions to the defocusing problem, and scattering are the focus of the second part. Using this concrete example, it walks the reader through the induction on energy technique, which has become the essential methodology for tackling large data critical problems. This includes refined/inverse Strichartz estimates, the existence and almost periodicity of minimal blow up solutions, and the development of long-time Strichartz inequalities. The third part describes wave and Schrödinger maps. Starting by building heuristics about multilinear estimates, it provides a detailed outline of this very active area of geometric/dispersive PDE. It focuses on concepts and ideas and should provide graduate students with a stepping stone to this exciting direction of research.​}, author = {Koch, Herbert and Tataru, Daniel and Visan, Monica}, isbn = {9783034807357}, issn = {2296-5041}, pages = {312}, publisher = {Springer}, title = {{Dispersive Equations and Nonlinear Waves: Generalized Korteweg–de Vries, Nonlinear Schrödinger, Wave and Schrödinger Maps}}, doi = {10.1007/978-3-0348-0736-4}, volume = {45}, year = {2014}, } @inproceedings{2905, abstract = {Persistent homology is a recent grandchild of homology that has found use in science and engineering as well as in mathematics. This paper surveys the method as well as the applications, neglecting completeness in favor of highlighting ideas and directions.}, author = {Edelsbrunner, Herbert and Morozovy, Dmitriy}, location = {Kraków, Poland}, pages = {31 -- 50}, publisher = {EMS Press}, title = {{Persistent homology: Theory and practice}}, doi = {10.4171/120-1/3}, year = {2014}, } @article{1904, abstract = {We prove a Strichartz inequality for a system of orthonormal functions, with an optimal behavior of the constant in the limit of a large number of functions. The estimate generalizes the usual Strichartz inequality, in the same fashion as the Lieb-Thirring inequality generalizes the Sobolev inequality. As an application, we consider the Schrödinger equation with a time-dependent potential and we show the existence of the wave operator in Schatten spaces.}, author = {Frank, Rupert and Lewin, Mathieu and Lieb, Élliott and Seiringer, Robert}, journal = {Journal of the European Mathematical Society}, number = {7}, pages = {1507 -- 1526}, publisher = {EMS Press}, title = {{Strichartz inequality for orthonormal functions}}, doi = {10.4171/JEMS/467}, volume = {16}, year = {2014}, } @article{2233, abstract = { A discounted-sum automaton (NDA) is a nondeterministic finite automaton with edge weights, valuing a run by the discounted sum of visited edge weights. More precisely, the weight in the i-th position of the run is divided by λi, where the discount factor λ is a fixed rational number greater than 1. The value of a word is the minimal value of the automaton runs on it. Discounted summation is a common and useful measuring scheme, especially for infinite sequences, reflecting the assumption that earlier weights are more important than later weights. Unfortunately, determinization of NDAs, which is often essential in formal verification, is, in general, not possible. We provide positive news, showing that every NDA with an integral discount factor is determinizable. We complete the picture by proving that the integers characterize exactly the discount factors that guarantee determinizability: for every nonintegral rational discount factor λ, there is a nondeterminizable λ-NDA. We also prove that the class of NDAs with integral discount factors enjoys closure under the algebraic operations min, max, addition, and subtraction, which is not the case for general NDAs nor for deterministic NDAs. For general NDAs, we look into approximate determinization, which is always possible as the influence of a word's suffix decays. We show that the naive approach, of unfolding the automaton computations up to a sufficient level, is doubly exponential in the discount factor. We provide an alternative construction for approximate determinization, which is singly exponential in the discount factor, in the precision, and in the number of states. We also prove matching lower bounds, showing that the exponential dependency on each of these three parameters cannot be avoided. All our results hold equally for automata over finite words and for automata over infinite words. }, author = {Boker, Udi and Henzinger, Thomas A}, issn = {1860-5974}, journal = {Logical Methods in Computer Science}, number = {1}, publisher = {International Federation for Computational Logic}, title = {{Exact and approximate determinization of discounted-sum automata}}, doi = {10.2168/LMCS-10(1:10)2014}, volume = {10}, year = {2014}, } @article{2234, abstract = {We study Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) functions. We consider two different objectives, namely, expectation and satisfaction objectives. Given an MDP with κ limit-average functions, in the expectation objective the goal is to maximize the expected limit-average value, and in the satisfaction objective the goal is to maximize the probability of runs such that the limit-average value stays above a given vector. We show that under the expectation objective, in contrast to the case of one limit-average function, both randomization and memory are necessary for strategies even for ε-approximation, and that finite-memory randomized strategies are sufficient for achieving Pareto optimal values. Under the satisfaction objective, in contrast to the case of one limit-average function, infinite memory is necessary for strategies achieving a specific value (i.e. randomized finite-memory strategies are not sufficient), whereas memoryless randomized strategies are sufficient for ε-approximation, for all ε > 0. We further prove that the decision problems for both expectation and satisfaction objectives can be solved in polynomial time and the trade-off curve (Pareto curve) can be ε-approximated in time polynomial in the size of the MDP and 1/ε, and exponential in the number of limit-average functions, for all ε > 0. Our analysis also reveals flaws in previous work for MDPs with multiple mean-payoff functions under the expectation objective, corrects the flaws, and allows us to obtain improved results.}, author = {Brázdil, Tomáš and Brožek, Václav and Chatterjee, Krishnendu and Forejt, Vojtěch and Kučera, Antonín}, issn = {1860-5974}, journal = {Logical Methods in Computer Science}, number = {1}, publisher = {International Federation for Computational Logic}, title = {{Markov decision processes with multiple long-run average objectives}}, doi = {10.2168/LMCS-10(1:13)2014}, volume = {10}, year = {2014}, } @inbook{2265, abstract = {Coordinated migration of newly-born neurons to their target territories is essential for correct neuronal circuit assembly in the developing brain. Although a cohort of signaling pathways has been implicated in the regulation of cortical projection neuron migration, the precise molecular mechanisms and how a balanced interplay of cell-autonomous and non-autonomous functions of candidate signaling molecules controls the discrete steps in the migration process, are just being revealed. In this chapter, I will focally review recent advances that improved our understanding of the cell-autonomous and possible cell-nonautonomous functions of the evolutionarily conserved LIS1/NDEL1-complex in regulating the sequential steps of cortical projection neuron migration. I will then elaborate on the emerging concept that the Reelin signaling pathway, acts exactly at precise stages in the course of cortical projection neuron migration. Lastly, I will discuss how finely tuned transcriptional programs and downstream effectors govern particular aspects in driving radial migration at discrete stages and how they regulate the precise positioning of cortical projection neurons in the developing cerebral cortex.}, author = {Hippenmeyer, Simon}, booktitle = {Cellular and Molecular Control of Neuronal Migration}, editor = {Nguyen, Laurent}, pages = {1 -- 24}, publisher = {Springer}, title = {{Molecular pathways controlling the sequential steps of cortical projection neuron migration}}, doi = {10.1007/978-94-007-7687-6_1}, volume = {800}, year = {2014}, } @inproceedings{2027, abstract = {We present a general framework for applying machine-learning algorithms to the verification of Markov decision processes (MDPs). The primary goal of these techniques is to improve performance by avoiding an exhaustive exploration of the state space. Our framework focuses on probabilistic reachability, which is a core property for verification, and is illustrated through two distinct instantiations. The first assumes that full knowledge of the MDP is available, and performs a heuristic-driven partial exploration of the model, yielding precise lower and upper bounds on the required probability. The second tackles the case where we may only sample the MDP, and yields probabilistic guarantees, again in terms of both the lower and upper bounds, which provides efficient stopping criteria for the approximation. The latter is the first extension of statistical model checking for unbounded properties inMDPs. In contrast with other related techniques, our approach is not restricted to time-bounded (finite-horizon) or discounted properties, nor does it assume any particular properties of the MDP. We also show how our methods extend to LTL objectives. We present experimental results showing the performance of our framework on several examples.}, author = {Brázdil, Tomáš and Chatterjee, Krishnendu and Chmelik, Martin and Forejt, Vojtěch and Kretinsky, Jan and Kwiatkowska, Marta and Parker, David and Ujma, Mateusz}, booktitle = {12th International Symposium on Automated Technology for Verification and Analysis}, location = {Sydney, Australia}, pages = {98 -- 114}, publisher = {Springer}, title = {{Verification of Markov decision processes using learning algorithms}}, doi = {10.1007/978-3-319-11936-6_8}, volume = {8837}, year = {2014}, }