@article{367,
  abstract     = {The functional properties of quaternary I2–II–IV–VI4 nanomaterials, with potential interest in various technological fields, are highly sensitive to compositional variations, which is a challenging parameter to adjust. Here we demonstrate the presence of phosphonic acids to aid controlling the reactivity of the II element monomer to be incorporated in quaternary Cu2ZnSnSe4 nanoparticles and thus to provide a more reliable way to adjust the final nanoparticle metal ratios. Furthermore, we demonstrate the composition control in such multivalence nanoparticles to allow modifying charge carrier concentrations in nanomaterials produced from the assembly of these building blocks. },
  author       = {Ibáñez, Maria and Berestok, Taisiia and Dobrozhan, Oleksandr and Lalonde, Aaron and Izquierdo Roca, Victor and Shavel, Alexey and Pérez Rodríguez, Alejandro and Snyder, G Jeffrey and Cabot, Andreu},
  journal      = {Journal of Nanoparticle Research},
  number       = {8},
  publisher    = {Springer},
  title        = {{Phosphonic acids aid composition adjustment in the synthesis of Cu2+xZn1−xSnSe4−y nanoparticles}},
  doi          = {10.1007/s11051-016-3545-4},
  volume       = {18},
  year         = {2016},
}

@article{368,
  abstract     = {The control of the phase distribution in multicomponent nanomaterials is critical to optimize their catalytic performance. In this direction, while impressive advances have been achieved in the past decade in the synthesis of multicomponent nanoparticles and nanocomposites, element rearrangement during catalyst activation has been frequently overseen. Here, we present a facile galvanic replacement-based procedure to synthesize Co@Cu nanoparticles with narrow size and composition distributions. We further characterize their phase arrangement before and after catalytic activation. When oxidized at 350 °C in air to remove organics, Co@Cu core-shell nanostructures oxidize to polycrystalline CuO-Co3O4 nanoparticles with randomly distributed CuO and Co3O4 crystallites. During a posterior reduction treatment in H2 atmosphere, Cu precipitates in a metallic core and Co migrates to the nanoparticle surface to form Cu@Co core-shell nanostructures. The catalytic behavior of such Cu@Co nanoparticles supported on mesoporous silica was further analyzed toward CO2 hydrogenation in real working conditions.},
  author       = {Nafria, Raquel and Genç, Aziz and Ibáñez, Maria and Arbiol, Jprdi and Ramírez De La Piscina, Pilar and Homs, Narcís and Cabot, Andreu},
  journal      = {Langmuir},
  number       = {9},
  pages        = {2267 -- 2276},
  publisher    = {American Chemical Society},
  title        = {{Co Cu nanoparticles synthesis by galvanic replacement and phase rearrangement during catalytic activation}},
  doi          = {10.1021/acs.langmuir.5b04622},
  volume       = {32},
  year         = {2016},
}

@article{369,
  abstract     = {The efficient conversion between thermal and electrical energy by means of durable, silent and scalable solid-state thermoelectric devices has been a long standing goal. While nanocrystalline materials have already led to substantially higher thermoelectric efficiencies, further improvements are expected to arise from precise chemical engineering of nanoscale building blocks and interfaces. Here we present a simple and versatile bottom-up strategy based on the assembly of colloidal nanocrystals to produce consolidated yet nanostructured thermoelectric materials. In the case study on the PbS-Ag system, Ag nanodomains not only contribute to block phonon propagation, but also provide electrons to the PbS host semiconductor and reduce the PbS intergrain energy barriers for charge transport. Thus, PbS-Ag nanocomposites exhibit reduced thermal conductivities and higher charge carrier concentrations and mobilities than PbS nanomaterial. Such improvements of the material transport properties provide thermoelectric figures of merit up to 1.7 at 850 K.},
  author       = {Ibanez Sabate, Maria and Luo, Zhishan and Genç, Azoz and Piveteau, Laura and Ortega, Silvia and Cadavid, Doris and Dobrozhan, Oleksandr and Liu, Yu and Nachtegaal, Maarten and Zebarjadi, Mona and Arbiol, Jordi and Kovalenko, Maksym and Cabot, Andreu},
  journal      = {Nature Communications},
  publisher    = {Nature Publishing Group},
  title        = {{High performance thermoelectric nanocomposites from nanocrystal building blocks}},
  doi          = {doi:10.1038/ncomms10766},
  volume       = {7},
  year         = {2016},
}

@article{370,
  abstract     = {Copper-based chalcogenides that comprise abundant, low-cost, and environmental friendly elements are excellent materials for a number of energy conversion applications, including photovoltaics, photocatalysis, and thermoelectrics (TE). In such applications, the use of solution-processed nanocrystals (NCs) to produce thin films or bulk nanomaterials has associated several potential advantages, such as high material yield and throughput, and composition control with unmatched spatial resolution and cost. Here we report on the production of Cu3SbSe4 (CASe) NCs with tuned amounts of Sn and Bi dopants. After proper ligand removal, as monitored by nuclear magnetic resonance and infrared spectroscopy, these NCs were used to produce dense CASe bulk nanomaterials for solid state TE energy conversion. By adjusting the amount of extrinsic dopants, dimensionless TE figures of merit (ZT) up to 1.26 at 673 K were reached. Such high ZT values are related to an optimized carrier concentration by Sn doping, a minimized lattice thermal conductivity due to efficient phonon scattering at point defects and grain boundaries, and to an increase of the Seebeck coefficient obtained by a modification of the electronic band structure with Bi doping. Nanomaterials were further employed to fabricate ring-shaped TE generators to be coupled to hot pipes, which provided 20 mV and 1 mW per TE element when exposed to a 160 °C temperature gradient. The simple design and good thermal contact associated with the ring geometry and the potential low cost of the material solution processing may allow the fabrication of TE generators with short payback times.},
  author       = {Liu, Yu and García, Gregorio and Ortega, Silvia and Cadavid, Doris and Palacios, Pablo and Lu, Jinyu and Ibanez, Maria and Xi, Lili and De Roo, Jonathan and López, Antonio and Márti Sánchez, Sara and Cabezas, Ignasi and De La Mata, Maria and Luo, Zhishan and Dun, Chaocha and Dobrozhan, Oleksandr and Carroll, David and Zhang, Wenging and Martins, José and Kovalenko, Mksym and Arbiol, Jordi and Noriega, German and Song, Jiming and Wahnón, Perla and Cabot, Andreu},
  journal      = {Journal of Materials Chemistry A},
  number       = {6},
  pages        = {2592 -- 2602},
  publisher    = {Royal Society of Chemistry},
  title        = {{Solution based synthesis and processing of Sn and Bi doped Cu inf 3 inf SbSe inf 4 inf nanocrystals nanomaterials and ring shaped thermoelectric generators}},
  doi          = {10.1039/C6TA08467B},
  volume       = {5},
  year         = {2016},
}

@article{371,
  abstract     = {The design and engineering of earth-abundant catalysts that are both cost-effective and highly active for water splitting are crucial challenges in a number of energy conversion and storage technologies. In this direction, herein we report the synthesis of Fe3O4@NiFexOy core-shell nanoheterostructures and the characterization of their electrocatalytic performance toward the oxygen evolution reaction (OER). Such nanoparticles (NPs) were produced by a two-step synthesis procedure involving the colloidal synthesis of Fe3O4 nanocubes with a defective shell and the posterior diffusion of nickel cations within this defective shell. Fe3O4@NiFexOy NPs were subsequently spin-coated over ITO-covered glass and their electrocatalytic activity toward water oxidation in carbonate electrolyte was characterized. Fe3O4@NiFexOy catalysts reached current densities above 1 mA/cm2 with a 410 mV overpotential and Tafel slopes of 48 mV/dec, which is among the best electrocatalytic performances reported in carbonate electrolyte.},
  author       = {Luo, Zhishan and Márti Sánchez, Sara and Nafria, Raquel and Joshua, Gihan and De La Mata, Maria and Guardia, Pablo and Flox, Christina and Martínez Boubeta, Carlos and Simeonidis, Konstantinos and Llorca, Jordi and Morante, Joan and Arbiol, Jordi and Ibanez Sabate, Maria and Cabot, Andreu},
  journal      = {ACS Applied Materials and Interfaces},
  number       = {43},
  pages        = {29461 -- 29469},
  publisher    = {American Chemical Society},
  title        = {{Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte}},
  doi          = {10.1021/acsami.6b09888},
  volume       = {8},
  year         = {2016},
}

@article{372,
  abstract     = {The optimization of a material functionality requires both the rational design and precise engineering of its structural and chemical parameters. In this work, we show how colloidal chemistry is an excellent synthetic choice for the synthesis of novel ternary nanostructured chalcogenides, containing exclusively noble metals, with tailored morphology and composition and with potential application in the energy conversion field. Specifically, the Ag-Au-Se system has been explored from a synthetic point of view, which leads to a set of Ag2Se-based hybrid and ternary nanoparticles including the room temperature synthesis of the rare ternary Ag3AuSe2 fischesserite phase. An in-depth structural and chemical characterization of all nanomaterials has been performed, which proofed especially useful for unravelling the reaction mechanism behind the formation of the ternary phase in solution. The work is complemented with the thermal and electric characterization of a ternary Ag-Au-Se nanocomposite with promising results: we found that the use of the ternary nanocomposite represents a clear improvement in terms of thermoelectric energy conversion as compared to a binary Ag-Se nanocomposite analogue. },
  author       = {Dalmases, Mariona and Ibanez Sabate, Maria and Torruella, Paul and Fernàndez Altable, Victor and López Conesa, Luis and Cadavid, Doris and Piveteau, Laura and Nachtegaal, Maarten and Llorca, Jordi and Ruiz González, Maria and Estradé, Sònia and Peiró, Francesca and Kovalenko, Maksym and Cabot, Andreu and Figuerola, Albert},
  journal      = {Chemistry of Materials},
  number       = {19},
  pages        = {7017 -- 7028},
  publisher    = {American Chemical Society},
  title        = {{Synthesis and thermoelectric properties of noble metal ternary chalcogenide systems of Ag Au Se in the forms of alloyed nanoparticles and colloidal nanoheterostructures}},
  doi          = {10.1021/acs.chemmater.6b02845},
  volume       = {28},
  year         = {2016},
}

@article{379,
  abstract     = {Monodisperse Cu2ZnSnS4 (CZTS) nanocrystals (NCs), with quasi-spherical shape, were prepared by a facile, high-yield, scalable, and high-concentration heat-up procedure. The key parameters to minimize the NC size distribution were efficient mixing and heat transfer in the reaction mixture through intensive argon bubbling and improved control of the heating ramp stability. Optimized synthetic conditions allowed the production of several grams of highly monodisperse CZTS NCs per batch, with up to 5 wt % concentration in a crude solution and a yield above 90%.},
  author       = {Shavel, Alexey and Ibáñez, Maria and Luo, Zhishan and De Roo, Jonathan and Carrete, Alex and Dimitrievska, Mirjana and Genç, Aziz and Meyns, Michaela and Pérez Rodríguez, Alejandro and Kovalenko, Maksym and Arbol, Jordi and Cabot, Andreu},
  journal      = {Chemistry of Materials},
  number       = {3},
  pages        = {720 -- 726},
  publisher    = {American Chemical Society},
  title        = {{Scalable heating-up synthesis of monodisperse Cu2ZnSnS4 nanocrystals}},
  doi          = {10.1021/acs.chemmater.5b03417},
  volume       = {28},
  year         = {2016},
}

@article{380,
  abstract     = {Size and shape tunability and low-cost solution processability make colloidal lead chalcogenide quantum dots (QDs) an emerging class of building blocks for innovative photovoltaic, thermoelectric and optoelectronic devices. Lead chalcogenide QDs are known to crystallize in the rock-salt structure, although with very different atomic order and stoichiometry in the core and surface regions; however, there exists no convincing prior identification of how extreme downsizing and surface-induced ligand effects influence structural distortion. Using forefront X-ray scattering techniques and density functional theory calculations, here we have identified that, at sizes below 8 nm, PbS and PbSe QDs undergo a lattice distortion with displacement of the Pb sublattice, driven by ligand-induced tensile strain. The resulting permanent electric dipoles may have implications on the oriented attachment of these QDs. Evidence is found for a Pb-deficient core and, in the as-synthesized QDs, for a rhombic dodecahedral shape with nonpolar {110} facets. On varying the nature of the surface ligands, differences in lattice strains are found.},
  author       = {Bertolotti, Federica and Dirin, Dmitry and Ibanez Sabate, Maria and Krumreich, Frank and Cervellino, Antonio and Frison, Ruggero and Voznyy, Oleksandr and Sargent, Edward and Kovalenko, Maksym and Guagliardi, Antonietta and Masciocchi, Norberto},
  journal      = {Nature Materials},
  pages        = {987 -- 994},
  publisher    = {Nature Publishing Group},
  title        = {{Crystal symmetry breaking and role of vacancies in colloidal lead chalcogenide quantum dots}},
  doi          = {10.1038/NMAT4661},
  volume       = {15},
  year         = {2016},
}

@article{381,
  abstract     = {We present a high-yield and scalable colloidal synthesis to produce monodisperse AgSbSe2 nanocrystals (NCs). Using nuclear magnetic resonance (NMR) spectroscopy, we characterized the NC surface chemistry and demonstrate the presence of surfactants in dynamic exchange, which controls the NC growth mechanism. In addition, these NCs were electronically doped by introducing small amounts of bismuth. To demonstrate the technological potential of such processed material, after ligand removal by means of NaNH2, AgSbSe2 NCs were used as building blocks to produce thermoelectric (TE) nanomaterials. A preliminary optimization of the doping concentration resulted in a thermoelectric figure of merit (ZT) of 1.1 at 640 K, which is comparable to the best ZT values obtained with a Pb- and Te-free material in this middle temperature range, with the additional advantage of the high versatility and low cost associated with solution processing technologies.},
  author       = {Liu, Yu and Cadavid, Doris and Ibanez Sabate, Maria and De Roo, Jonathan and Ortega, Silvia and Dobrozhan, Oleksandr and Kovalenko, Maksym and Cabot, Andreu},
  journal      = {Journal of Materials Chemistry C},
  pages        = {4756 -- 4762},
  publisher    = {Royal Society of Chemistry},
  title        = {{Colloidal AgSbSe2 nanocrystals: surface analysis, electronic doping and processing into thermoelectric nanomaterials}},
  doi          = {10.1039/c6tc00893c},
  volume       = {4},
  year         = {2016},
}

@article{382,
  abstract     = {Mn3O4@CoMn2O4 nanoparticles (NPs) were produced at low temperature and ambient atmosphere using a one-pot two-step synthesis protocol involving the cation exchange of Mn by Co in preformed Mn3O4 NPs. Selecting the proper cobalt precursor, the nucleation of CoxOy crystallites at the Mn3O4@CoMn2O4 surface could be simultaneously promoted to form Mn3O4@CoMn2O4–CoxOy NPs. Such heterostructured NPs were investigated for oxygen reduction and evolution reactions (ORR, OER) in alkaline solution. Mn3O4@CoMn2O4–CoxOy NPs with [Co]/[Mn] = 1 showed low overpotentials of 0.31 V at −3 mA·cm–2 and a small Tafel slope of 52 mV·dec–1 for ORR, and overpotentials of 0.31 V at 10 mA·cm–2 and a Tafel slope of 81 mV·dec–1 for OER, thus outperforming commercial Pt-, IrO2-based and previously reported transition metal oxides. This cation-exchange-based synthesis protocol opens up a new approach to design novel heterostructured NPs as efficient nonprecious metal bifunctional oxygen catalysts.},
  author       = {Luo, Zhishan and Irtem, Erdem and Ibanez, Maria and Nafria, Raquel and Márti Sánchez, Sara and Genç, Aziz and De La Mata, Maria and Liu, Yu and Cadavid, Doris and Llorca, Jordi and Arbiol, Jordi and Andreu, Teresa and Morante, Joan and Cabot, Andreu},
  journal      = {ACS Applied Materials and Interfaces},
  pages        = {17435 -- 17444},
  publisher    = {American Chemical Society},
  title        = {{Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions}},
  doi          = {10.1021/acsami.6b02786},
  volume       = {8},
  year         = {2016},
}

@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 &quot;pseudogap&quot; 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},
}

