@article{383, abstract = {In the quest for more efficient thermoelectric material able to convert thermal to electrical energy and vice versa, composites that combine a semiconductor host having a large Seebeck coefficient with metal nanodomains that provide phonon scattering and free charge carriers are particularly appealing. Here, we present our experimental results on the thermal and electrical transport properties of PbS-metal composites produced by a versatile particle blending procedure, and where the metal work function allows injecting electrons to the intrinsic PbS host. We compare the thermoelectric performance of composites with microcrystalline or nanocrystalline structures. The electrical conductivity of the microcrystalline host can be increased several orders of magnitude with the metal inclusion, while relatively high Seebeck coefficient can be simultaneously conserved. On the other hand, in nanostructured materials, the host crystallites are not able to sustain a band bending at its interface with the metal, becoming flooded with electrons. This translates into even higher electrical conductivities than the microcrystalline material, but at the expense of lower Seebeck coefficient values.}, author = {Liu, Yu and Cadavid, Doris and Ibanez Sabate, Maria and Ortega, Silvia and Márti Sánchez, Sara and Dobrozhan, Oleksander and Kovalenko, Maksym and Arbiol, Jordi and Cabot, Andreu}, journal = {Applied Physics Letters}, publisher = {American Institute of Physics}, title = {{Thermoelectric properties of semiconductor-metal composites produced by particle blending}}, doi = {https://doi.org/10.1063/1.4961679}, volume = {4}, year = {2016}, } @article{389, abstract = {The coherent optical manipulation of solids is emerging as a promising way to engineer novel quantum states of matter. The strong time-periodic potential of intense laser light can be used to generate hybrid photon-electron states. Interaction of light with Bloch states leads to Floquet-Bloch states, which are essential in realizing new photo-induced quantum phases. Similarly, dressing of free-electron states near the surface of a solid generates Volkov states, which are used to study nonlinear optics in atoms and semiconductors. The interaction of these two dynamic states with each other remains an open experimental problem. Here we use time- and angle-resolved photoemission spectroscopy (Tr-ARPES) to selectively study the transition between these two states on the surface of the topological insulator Bi2Se3. We find that the coupling between the two strongly depends on the electron momentum, providing a route to enhance or inhibit it. Moreover, by controlling the light polarization we can negate Volkov states to generate pure Floquet-Bloch states. This work establishes a systematic path for the coherent manipulation of solids via light-matter interaction.}, author = {Mahmood, Fahad and Chan, Ching and Alpichshev, Zhanybek and Gardner, Dillon and Lee, Young and Lee, Patrick and Gedik, Nuh}, journal = {Nature Physics}, number = {4}, pages = {306 -- 310}, publisher = {Nature Publishing Group}, title = {{Selective scattering between Floquet Bloch and Volkov states in a topological insulator}}, doi = {10.1038/nphys3609}, volume = {12}, year = {2016}, } @article{390, abstract = {In the underdoped copper-oxides, high-temperature superconductivity condenses from a nonconventional metallic "pseudogap" phase that exhibits a variety of non-Fermi liquid properties. Recently, it has become clear that a charge density wave (CDW) phase exists within the pseudogap regime. This CDW coexists and competes with superconductivity (SC) below the transition temperature Tc, suggesting that these two orders are intimately related. Here we show that the condensation of the superfluid from this unconventional precursor is reflected in deviations from the predictions of BSC theory regarding the recombination rate of quasiparticles. We report a detailed investigation of the quasiparticle (QP) recombination lifetime, τqp, as a function of temperature and magnetic field in underdoped HgBa2CuO4+δ (Hg-1201) and YBa2Cu3O6+x (YBCO) single crystals by ultrafast time-resolved reflectivity. We find that τqp (T) exhibits a local maximum in a small temperature window near Tc that is prominent in underdoped samples with coexisting charge order and vanishes with application of a small magnetic field. We explain this unusual, non-BCS behavior by positing that Tc marks a transition from phase-fluctuating SC/CDW composite order above to a SC/CDW condensate below. Our results suggest that the superfluid in underdoped cuprates is a condensate of coherently-mixed particle-particle and particle-hole pairs.}, author = {Hinton, James and Thewalt, E and Alpichshev, Zhanybek and Mahmood, Fahad and Koralek, Jake and Chan, Mun and Veit, Michael and Dorow, Chelsey and Barišić, Neven and Kemper, Alexander and Bonn, Doug and Hardy, Walter and Liang, Ruixing and Gedik, Nuh and Greven, Martin and Lanzara, Alessandra and Orenstein, Joseph}, journal = {Scientific Reports}, publisher = {Nature Publishing Group}, title = {{The rate of quasiparticle recombination probes the onset of coherence in cuprate superconductors}}, doi = {10.1038/srep23610}, volume = {6}, year = {2016}, } @article{460, abstract = {NF-κB signaling is a central pathway of immunity and integrates signal transduction upon a wide array of inflammatory stimuli. Noncanonical NF-κB signaling is activated by a small subset of TNF family receptors and characterized by NF-κB2/p52 transcriptional activity. The medical relevance of this pathway has recently re-emerged from the discovery of primary immunodeficiency patients that have loss-of-function mutations in the MAP3K14 gene encoding NIK. Nevertheless, knowledge of protein interactions that regulate noncanonical NF-κB signaling is sparse. Here we report a detailed state-of-the-art mass spectrometry-based protein–protein interaction network including the noncanonical NF-κB signaling nodes TRAF2, TRAF3, IKKα, NIK, and NF-κB2/p100. The value of the data set was confirmed by the identification of interactions already known to regulate this pathway. In addition, a remarkable number of novel interactors were identified. We provide validation of the novel NIK and IKKα interactor FKBP8, which may regulate processes downstream of noncanonical NF-κB signaling. To understand perturbed noncanonical NF-κB signaling in the context of misregulated NIK in disease, we also provide a differential interactome of NIK mutants that cause immunodeficiency. Altogether, this data set not only provides critical insight into how protein–protein interactions can regulate immune signaling but also offers a novel resource on noncanonical NF-κB signaling.}, author = {Willmann, Katharina L and Roberto Sacco and Martins, Rui and Garncarz, Wojciech and Krolo, Ana and Knapp, Sylvia and Bennett, Keiryn L and Boztug, Kaan}, journal = {Journal of Proteome Research}, number = {9}, pages = {2900 -- 2909}, publisher = {American Chemical Society}, title = {{Expanding the interactome of the noncanonical NF-κB signaling pathway}}, doi = {10.1021/acs.jproteome.5b01004}, volume = {15}, year = {2016}, } @inproceedings{478, abstract = {Magic: the Gathering is a game about magical combat for any number of players. Formally it is a zero-sum, imperfect information stochastic game that consists of a potentially unbounded number of steps. We consider the problem of deciding if a move is legal in a given single step of Magic. We show that the problem is (a) coNP-complete in general; and (b) in P if either of two small sets of cards are not used. Our lower bound holds even for single-player Magic games. The significant aspects of our results are as follows: First, in most real-life game problems, the task of deciding whether a given move is legal in a single step is trivial, and the computationally hard task is to find the best sequence of legal moves in the presence of multiple players. In contrast, quite uniquely our hardness result holds for single step and with only one-player. Second, we establish efficient algorithms for important special cases of Magic.}, author = {Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus}, location = {The Hague, Netherlands}, pages = {1432 -- 1439}, publisher = {IOS Press}, title = {{The complexity of deciding legality of a single step of magic: The gathering}}, doi = {10.3233/978-1-61499-672-9-1432}, volume = {285}, year = {2016}, } @inproceedings{479, abstract = {Clinical guidelines and decision support systems (DSS) play an important role in daily practices of medicine. Many text-based guidelines have been encoded for work-flow simulation of DSS to automate health care. During the collaboration with Carle hospital to develop a DSS, we identify that, for some complex and life-critical diseases, it is highly desirable to automatically rigorously verify some complex temporal properties in guidelines, which brings new challenges to current simulation based DSS with limited support of automatical formal verification and real-time data analysis. In this paper, we conduct the first study on applying runtime verification to cooperate with current DSS based on real-time data. Within the proposed technique, a user-friendly domain specific language, named DRTV, is designed to specify vital real-time data sampled by medical devices and temporal properties originated from clinical guidelines. Some interfaces are developed for data acquisition and communication. Then, for medical practice scenarios described in DRTV model, we will automatically generate event sequences and runtime property verifier automata. If a temporal property violates, real-time warnings will be produced by the formal verifier and passed to medical DSS. We have used DRTV to specify different kinds of medical care scenarios, and applied the proposed technique to assist existing DSS. As presented in experiment results, in terms of warning detection, it outperforms the only use of DSS or human inspection, and improves the quality of clinical health care of hospital}, author = {Jiang, Yu and Liu, Han and Kong, Hui and Wang, Rui and Hosseini, Mohamad and Sun, Jiaguang and Sha, Lui}, booktitle = {Proceedings of the 38th International Conference on Software Engineering Companion }, location = {Austin, TX, USA}, pages = {112 -- 121}, publisher = {IEEE}, title = {{Use runtime verification to improve the quality of medical care practice}}, doi = {10.1145/2889160.2889233}, year = {2016}, } @inproceedings{480, abstract = {Graph games provide the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic reactive processes, the traditional model is perfect-information stochastic games, where some transitions of the game graph are controlled by two adversarial players, and the other transitions are executed probabilistically. We consider such games where the objective is the conjunction of several quantitative objectives (specified as mean-payoff conditions), which we refer to as generalized mean-payoff objectives. The basic decision problem asks for the existence of a finite-memory strategy for a player that ensures the generalized mean-payoff objective be satisfied with a desired probability against all strategies of the opponent. A special case of the decision problem is the almost-sure problem where the desired probability is 1. Previous results presented a semi-decision procedure for -approximations of the almost-sure problem. In this work, we show that both the almost-sure problem as well as the general basic decision problem are coNP-complete, significantly improving the previous results. Moreover, we show that in the case of 1-player stochastic games, randomized memoryless strategies are sufficient and the problem can be solved in polynomial time. In contrast, in two-player stochastic games, we show that even with randomized strategies exponential memory is required in general, and present a matching exponential upper bound. We also study the basic decision problem with infinite-memory strategies and present computational complexity results for the problem. Our results are relevant in the synthesis of stochastic reactive systems with multiple quantitative requirements.}, author = {Chatterjee, Krishnendu and Doyen, Laurent}, location = {New York, NY, USA}, pages = {247 -- 256}, publisher = {IEEE}, title = {{Perfect-information stochastic games with generalized mean-payoff objectives}}, doi = {10.1145/2933575.2934513}, volume = {05-08-July-2016}, year = {2016}, } @inproceedings{482, abstract = {Nonlinear electro-optical conversion of microwave radiation into the optical telecommunication band is achieved within a crystalline whispering gallery mode resonator, reaching 0.1% photon number conversion efficiency with MHz bandwidth.}, author = {Rueda, Alfredo and Sedlmeir, Florian and Collodo, Michele and Vogl, Ulrich and Stiller, Birgit and Schunk, Gerhard and Strekalov, Dmitry and Marquardt, Christoph and Fink, Johannes M and Painter, Oskar and Leuchs, Gerd and Schwefel, Harald}, location = {Sydney, Australia}, publisher = {Optica Publishing Group}, title = {{Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator}}, doi = {10.1364/NP.2016.NTh3A.6}, year = {2016}, } @article{510, abstract = {The CLE (CLAVATA3/Embryo Surrounding Region-related) peptides are small secreted signaling peptides that are primarily involved in the regulation of stem cell homeostasis in different plant meristems. Particularly, the characterization of the CLE41-PXY/TDR signaling pathway has greatly advanced our understanding on the potential roles of CLE peptides in vascular development and wood formation. Nevertheless, our knowledge on this gene family in a tree species is limited. In a recent study, we reported on a systematically investigation of the CLE gene family in Populus trichocarpa . The potential roles of PtCLE genes were studied by comparative analysis and transcriptional pro fi ling. Among fi fty PtCLE members, many PtCLE proteins share identical CLE motifs or contain the same CLE motif as that of AtCLEs, while PtCLE genes exhibited either comparable or distinct expression patterns comparing to their Arabidopsis counterparts. These fi ndings indicate the existence of both functional conservation and functional divergence between PtCLEs and their AtCLE orthologues. Our results provide valuable resources for future functional investigations of these critical signaling molecules in woody plants. }, author = {Liu, Zhijun and Yang, Nan and Lv, Yanting and Pan, Lixia and Lv, Shuo and Han, Huibin and Wang, Guodong}, journal = {Plant Signaling & Behavior}, number = {6}, publisher = {Taylor & Francis}, title = {{The CLE gene family in Populus trichocarpa}}, doi = {10.1080/15592324.2016.1191734}, volume = {11}, year = {2016}, } @article{526, abstract = {Plants form new organs with patterned tissue organization throughout their lifespan. It is unknown whether this robust post-embryonic organ formation results from stereotypic dynamic processes, in which the arrangement of cells follows rigid rules. Here, we combine modeling with empirical observations of whole-organ development to identify the principles governing lateral root formation in Arabidopsis. Lateral roots derive from a small pool of founder cells in which some take a dominant role as seen by lineage tracing. The first division of the founders is asymmetric, tightly regulated, and determines the formation of a layered structure. Whereas the pattern of subsequent cell divisions is not stereotypic between different samples, it is characterized by a regular switch in division plane orientation. This switch is also necessary for the appearance of patterned layers as a result of the apical growth of the primordium. Our data suggest that lateral root morphogenesis is based on a limited set of rules. They determine cell growth and division orientation. The organ-level coupling of the cell behavior ensures the emergence of the lateral root's characteristic features. We propose that self-organizing, non-deterministic modes of development account for the robustness of plant organ morphogenesis.}, author = {Daniel von Wangenheim and Fangerau, Jens and Schmitz, Alexander and Smith, Richard S and Leitte, Heike and Stelzer, Ernst H and Maizel, Alexis}, journal = {Current Biology}, number = {4}, pages = {439 -- 449}, publisher = {Cell Press}, title = {{Rules and self-organizing properties of post-embryonic plant organ cell division patterns}}, doi = {10.1016/j.cub.2015.12.047}, volume = {26}, year = {2016}, } @article{261, abstract = {Let G = SL(2, R) ⋉R2 and Γ = SL(2, Z) ⋉Z2. Building on recent work of Strömbergsson, we prove a rate of equidistribution for the orbits of a certain one-dimensional unipotent flow of Γ\G, which projects to a closed horocycle in the unit tangent bundle to the modular surface. We use this to answer a question of Elkies and McMullen by making effective the convergence of the gap distribution of √n mod 1.}, author = {Timothy Browning and Vinogradov, Ilya}, journal = {Journal of the London Mathematical Society}, number = {1}, pages = {61 -- 84}, publisher = {John Wiley and Sons Ltd}, title = {{Effective ratner theorem for SL (2, R) ⋉R2 and gaps in √n modulo 1}}, doi = {10.1112/jlms/jdw025}, volume = {94}, year = {2016}, } @article{262, abstract = {For any number field we calculate the exact proportion of rational numbers which are everywhere locally a norm but not globally a norm from the number field.}, author = {Timothy Browning and Newton, Rachel}, journal = {Mathematika}, number = {2}, pages = {337 -- 347}, publisher = {Cambridge University Press}, title = {{The proportion of failures of the Hasse norm principle}}, doi = {10.1112/S0025579315000261}, volume = {62}, year = {2016}, } @article{263, abstract = {We count rational points of bounded height on the Cayley ruled cubic surface and interpret the result in the context of general conjectures due to Batyrev and Tschinkel.}, author = {de la Bretèche, Régis and Timothy Browning and Salberger, Per}, journal = {European Journal of Mathematics}, number = {1}, pages = {55 -- 72}, publisher = {Springer Nature}, title = {{Counting rational points on the Cayley ruled cubic}}, doi = {10.1007/s40879-015-0049-1}, volume = {2}, year = {2016}, } @article{264, abstract = {Given a family of varieties over a number field, we determine conditions under which there is a Brauer-Manin obstruction to weak approximation for 100% of the fibres which are everywhere locally soluble.}, author = {Bright, Maritn J and Timothy Browning and Loughran, Daniel}, journal = {Compositio Mathematica}, number = {7}, pages = {1435 -- 1475}, publisher = {Cambridge University Press}, title = {{Failures of weak approximation in families}}, doi = {10.1112/S0010437X16007405}, volume = {152}, year = {2016}, } @inproceedings{1082, abstract = {In many applications, it is desirable to extract only the relevant aspects of data. A principled way to do this is the information bottleneck (IB) method, where one seeks a code that maximises information about a relevance variable, Y, while constraining the information encoded about the original data, X. Unfortunately however, the IB method is computationally demanding when data are high-dimensional and/or non-gaussian. Here we propose an approximate variational scheme for maximising a lower bound on the IB objective, analogous to variational EM. Using this method, we derive an IB algorithm to recover features that are both relevant and sparse. Finally, we demonstrate how kernelised versions of the algorithm can be used to address a broad range of problems with non-linear relation between X and Y.}, author = {Chalk, Matthew J and Marre, Olivier and Tkacik, Gasper}, location = {Barcelona, Spain}, pages = {1965--1973}, publisher = {Neural Information Processing Systems}, title = {{Relevant sparse codes with variational information bottleneck}}, volume = {29}, year = {2016}, } @article{1083, abstract = { Cholecystokinin-expressing interneurons (CCK-INs) mediate behavior state-dependent inhibition in cortical circuits and themselves receive strong GABAergic input. However, it remains unclear to what extent GABABreceptors (GABABRs) contribute to their inhibitory control. Using immunoelectron microscopy, we found that CCK-INs in the rat hippocampus possessed high levels of dendritic GABABRs and KCTD12 auxiliary proteins, whereas postsynaptic effector Kir3 channels were present at lower levels. Consistently, whole-cell recordings revealed slow GABABR-mediated inhibitory postsynaptic currents (IPSCs) in most CCK-INs. In spite of the higher surface density of GABABRs in CCK-INs than in CA1 principal cells, the amplitudes of IPSCs were comparable, suggesting that the expression of Kir3 channels is the limiting factor for the GABABR currents in these INs. Morphological analysis showed that CCK-INs were diverse, comprising perisomatic-targeting basket cells (BCs), as well as dendrite-targeting (DT) interneurons, including a previously undescribed DT type. GABABR-mediated IPSCs in CCK-INs were large in BCs, but small in DT subtypes. In response to prolonged activation, GABABR-mediated currents displayed strong desensitization, which was absent in KCTD12-deficient mice. This study highlights that GABABRs differentially control CCK-IN subtypes, and the kinetics and desensitization of GABABR-mediated currents are modulated by KCTD12 proteins. }, author = {Booker, Sam and Althof, Daniel and Gross, Anna and Loreth, Desiree and Müller, Johanna and Unger, Andreas and Fakler, Bernd and Varro, Andrea and Watanabe, Masahiko and Gassmann, Martin and Bettler, Bernhard and Shigemoto, Ryuichi and Vida, Imre and Kulik, Ákos}, journal = {Cerebral Cortex}, number = {3}, pages = {2318 -- 2334}, publisher = {Oxford University Press}, title = {{KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons}}, doi = {10.1093/cercor/bhw090}, volume = {27}, year = {2016}, } @article{1088, abstract = {Cell geometry is tightly coupled to gene expression patterns within the tissue microenvironment. This perspective synthesizes evidence that the 3D organization of chromosomes is a critical intermediate for geometric control of genomic programs. Using a combination of experiments and modeling we outline approaches to decipher the mechano-genomic code that governs cellular homeostasis and reprogramming.}, author = {Uhler, Caroline and Shivashankar, G V}, journal = {BioArchitecture}, number = {4}, pages = {76 -- 84}, publisher = {Taylor & Francis}, title = {{Geometric control and modeling of genome reprogramming}}, doi = {10.1080/19490992.2016.1201620}, volume = {6}, year = {2016}, } @inproceedings{1090, abstract = { While weighted automata provide a natural framework to express quantitative properties, many basic properties like average response time cannot be expressed with weighted automata. Nested weighted automata extend weighted automata and consist of a master automaton and a set of slave automata that are invoked by the master automaton. Nested weighted automata are strictly more expressive than weighted automata (e.g., average response time can be expressed with nested weighted automata), but the basic decision questions have higher complexity (e.g., for deterministic automata, the emptiness question for nested weighted automata is PSPACE-hard, whereas the corresponding complexity for weighted automata is PTIME). We consider a natural subclass of nested weighted automata where at any point at most a bounded number k of slave automata can be active. We focus on automata whose master value function is the limit average. We show that these nested weighted automata with bounded width are strictly more expressive than weighted automata (e.g., average response time with no overlapping requests can be expressed with bound k=1, but not with non-nested weighted automata). We show that the complexity of the basic decision problems (i.e., emptiness and universality) for the subclass with k constant matches the complexity for weighted automata. Moreover, when k is part of the input given in unary we establish PSPACE-completeness.}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A and Otop, Jan}, location = {Krakow; Poland}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Nested weighted limit-average automata of bounded width}}, doi = {10.4230/LIPIcs.MFCS.2016.24}, volume = {58}, year = {2016}, } @inproceedings{1093, abstract = {We introduce a general class of distances (metrics) between Markov chains, which are based on linear behaviour. This class encompasses distances given topologically (such as the total variation distance or trace distance) as well as by temporal logics or automata. We investigate which of the distances can be approximated by observing the systems, i.e. by black-box testing or simulation, and we provide both negative and positive results. }, author = {Daca, Przemyslaw and Henzinger, Thomas A and Kretinsky, Jan and Petrov, Tatjana}, location = {Quebec City; Canada}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Linear distances between Markov chains}}, doi = {10.4230/LIPIcs.CONCUR.2016.20}, volume = {59}, year = {2016}, } @inbook{1094, abstract = {Immunogold labeling of freeze-fracture replicas has recently been used for high-resolution visualization of protein localization in electron microscopy. This method has higher labeling efficiency than conventional immunogold methods for membrane molecules allowing precise quantitative measurements. However, one of the limitations of freeze-fracture replica immunolabeling is difficulty in keeping structural orientation and identifying labeled profiles in complex tissues like brain. The difficulty is partly due to fragmentation of freeze-fracture replica preparations during labeling procedures and limited morphological clues on the replica surface. To overcome these issues, we introduce here a grid-glued replica method combined with SEM observation. This method allows histological staining before dissolving the tissue and easy handling of replicas during immunogold labeling, and keeps the whole replica surface intact without fragmentation. The procedure described here is also useful for matched double-replica analysis allowing further identification of labeled profiles in corresponding P-face and E-face.}, author = {Harada, Harumi and Shigemoto, Ryuichi}, booktitle = {High-Resolution Imaging of Cellular Proteins}, issn = {1611-3349}, pages = {203 -- 216}, publisher = {Springer}, title = {{Immunogold protein localization on grid-glued freeze-fracture replicas}}, doi = {10.1007/978-1-4939-6352-2_12}, volume = {1474}, year = {2016}, }