@article{1923, abstract = {We derive the equations for a thin, axisymmetric elastic shell subjected to an internal active stress giving rise to active tension and moments within the shell. We discuss the stability of a cylindrical elastic shell and its response to a localized change in internal active stress. This description is relevant to describe the cellular actomyosin cortex, a thin shell at the cell surface behaving elastically at a short timescale and subjected to active internal forces arising from myosin molecular motor activity. We show that the recent observations of cell deformation following detachment of adherent cells (Maître J-L et al 2012 Science 338 253-6) are well accounted for by this mechanical description. The actin cortex elastic and bending moduli can be obtained from a quantitative analysis of cell shapes observed in these experiments. Our approach thus provides a non-invasive, imaging-based method for the extraction of cellular physical parameters.}, author = {Berthoumieux, Hélène and Maître, Jean-Léon and Heisenberg, Carl-Philipp J and Paluch, Ewa and Julicher, Frank and Salbreux, Guillaume}, journal = {New Journal of Physics}, publisher = {IOP Publishing}, title = {{Active elastic thin shell theory for cellular deformations}}, doi = {10.1088/1367-2630/16/6/065005}, volume = {16}, year = {2014}, } @article{2022, abstract = {Radial glial progenitors (RGPs) are responsible for producing nearly all neocortical neurons. To gain insight into the patterns of RGP division and neuron production, we quantitatively analyzed excitatory neuron genesis in the mouse neocortex using Mosaic Analysis with Double Markers, which provides single-cell resolution of progenitor division patterns and potential in vivo. We found that RGPs progress through a coherent program in which their proliferative potential diminishes in a predictable manner. Upon entry into the neurogenic phase, individual RGPs produce ∼8–9 neurons distributed in both deep and superficial layers, indicating a unitary output in neuronal production. Removal of OTX1, a transcription factor transiently expressed in RGPs, results in both deep- and superficial-layer neuron loss and a reduction in neuronal unit size. Moreover, ∼1/6 of neurogenic RGPs proceed to produce glia. These results suggest that progenitor behavior and histogenesis in the mammalian neocortex conform to a remarkably orderly and deterministic program.}, author = {Gao, Peng and Postiglione, Maria P and Krieger, Teresa and Hernandez, Luisirene and Wang, Chao and Han, Zhi and Streicher, Carmen and Papusheva, Ekaterina and Insolera, Ryan and Chugh, Kritika and Kodish, Oren and Huang, Kun and Simons, Benjamin and Luo, Liqun and Hippenmeyer, Simon and Shi, Song}, journal = {Cell}, number = {4}, pages = {775 -- 788}, publisher = {Cell Press}, title = {{Deterministic progenitor behavior and unitary production of neurons in the neocortex}}, doi = {10.1016/j.cell.2014.10.027}, volume = {159}, year = {2014}, } @article{17642, abstract = {The presence of quasars at redshifts z > 6 indicates the existence of supermassive black holes (SMBHs) as massive as a few times 10^9 Msun, challenging models for SMBH formation. One pathway is through the direct collapse of gas in T_{vir} > 10^4 K halos; however, this requires the suppression of H_2 cooling to prevent fragmentation. In this paper, we examine a proposed new mechanism for this suppression which relies on cold-mode accretion flows leading to shocks at high densities (n > 10^4 cm^{-3}) and temperatures (T > 10^4 K). In such gas, H_2 is efficiently collisionally dissociated. We use high-resolution numerical simulations to test this idea, demonstrating that such halos typically have lower temperature progenitors, in which cooling is efficient. Those halos do show filamentary flows; however, the gas shocks at or near the virial radius (at low densities), thus preventing the proposed collisional mechanism from operating. We do find that, if we artificially suppress H_2 formation with a high UV background, so as to allow gas in the halo center to enter the high-temperature, high-density "zone of no return", it will remain there even if the UV flux is turned off, collapsing to high density at high temperature. Due to computational limitations, we simulated only three halos. However, we demonstrate, using Monte Carlo calculations of 10^6 halo merger histories, that a few rare halos could assemble rapidly enough to avoid efficient H_2 cooling in all of their progenitor halos, provided that the UV background exceeds J_{21} ~ few at redshifts as high as z ~ 20}, author = {Fernandez, Ricardo and Bryan, Greg L. and Haiman, Zoltán and Li, Miao}, issn = {1365-2966}, journal = {Monthly Notices of the Royal Astronomical Society}, number = {4}, pages = {3798--3807}, publisher = {Oxford University Press}, title = {{H2 suppression with shocking inflows: Testing a pathway for supermassive black hole formation}}, doi = {10.1093/mnras/stu230}, volume = {439}, year = {2014}, } @article{17643, abstract = {Explaining the existence of supermassive black holes (SMBHs) larger than ∼10^9M⊙ at redshifts z>∼6 remains an open theoretical question. One possibility is that gas collapsing rapidly in pristine atomic cooling halos (Tvir>∼10^4K) produces 10^4−10^6M⊙ black holes. Previous studies have shown that the formation of such a black hole requires a strong UV background to prevent molecular hydrogen cooling and gas fragmentation. Recently it has been proposed that a high UV background may not be required for halos that accrete material extremely rapidly or for halos where gas cooling is delayed due to a high baryon-dark matter streaming velocity. In this work, we point out that building up a halo with Tvir>∼104K before molecular cooling becomes efficient is not sufficient for forming a direct collapse black hole (DCBH). Though molecular hydrogen formation may be delayed, it will eventually form at high densities leading to efficient cooling and fragmentation. The only obvious way that molecular cooling could be avoided in the absence of strong UV radiation, is for gas to reach high enough density to cause collisional dissociation of molecular hydrogen (∼10^4 cm^−3) before cooling occurs. However, we argue that the minimum core entropy, set by the entropy of the intergalactic medium (IGM) when it decouples from the CMB, prevents this from occurring for realistic halo masses. This is confirmed by hydrodynamical cosmological simulations without radiative cooling. We explain the maximum density versus halo mass in these simulations with simple entropy arguments. The low densities found suggest that DCBH formation indeed requires a strong UV background.}, author = {Visbal, Eli and Haiman, Zoltán and Bryan, Greg L.}, issn = {1745-3933}, journal = {Monthly Notices of the Royal Astronomical Society: Letters}, number = {1}, pages = {L100--L104}, publisher = {Oxford University Press}, title = {{A no-go theorem for direct collapse black holes without a strong ultraviolet background}}, doi = {10.1093/mnrasl/slu063}, volume = {442}, year = {2014}, } @article{17645, abstract = {The rapid decline in the number of strong Lyman Alpha (Lya) emitting galaxies at z > 6 provides evidence for neutral hydrogen in the IGM, but is difficult to explain with plausible models for reionization. We demonstrate that the observed reduction in Lya flux from galaxies at z > 6 can be explained by evolution in the escape fraction of ionizing photons, f_esc. We find that the median observed drop in the fraction of galaxies showing strong Lya emission, as well as the observed evolution of the Lya luminosity function both follow from a small increase in f_esc of Delta f_esc ~ 0.1 from f_esc ~ 0.6 at z ~ 6. This high escape fraction may be at odds with current constraints on the ionising photon escape fraction, which favor smaller values of f_esc < 20%. However, models that invoke a redshift evolution of f_ esc that is consistent with these constraints can suppress the z~7 Lya flux to the observed level, if they also include a small evolution in global neutral fraction of Delta x_HI ~ 0.2. Thus, an evolving escape fraction of ionising photons can be a plausible part of the explanation for evolution in the Lya emission of high redshift galaxies. More generally, our analysis also shows that the drop in the Lya fraction is quantitatively consistent with the observed evolution in the Lya luminosity functions of Lya Emitters.}, author = {Dijkstra, Mark and Wyithe, Stuart and Haiman, Zoltán and Mesinger, Andrei and Pentericci, Laura}, issn = {1365-2966}, journal = {Monthly Notices of the Royal Astronomical Society}, number = {4}, pages = {3309--3316}, publisher = {Oxford University Press}, title = {{Evolution in the escape fraction of ionizing photons and the decline in strong Lyα emission from z > 6 galaxies}}, doi = {10.1093/mnras/stu531}, volume = {440}, year = {2014}, } @article{17650, abstract = {High-redshift quasar observations imply that supermassive black holes (SMBHs) larger than ∼109 M⊙ formed before z=6. That such large SMBHs formed so early in the Universe remains an open theoretical problem. One possibility is that gas in atomic cooling halos exposed to strong Lyman-Werner (LW) radiation forms 104−106 M⊙ supermassive stars which quickly collapse into black holes. We propose a scenario for direct collapse black hole (DCBH) formation based on synchronized pairs of pristine atomic cooling halos. We consider halos at very small separation with one halo being a subhalo of the other. The first halo to surpass the atomic cooling threshold forms stars. Soon after these stars are formed, the other halo reaches the cooling threshold and due to its small distance from the newly formed galaxy, is exposed to the critical LW intensity required to form a DCBH. The main advantage of this scenario is that synchronization can potentially prevent photoevaporation and metal pollution in DCBH-forming halos. Since the halos reach the atomic cooling threshold at nearly the same time, the DCBH-forming halo is only exposed to ionizing radiation for a brief period. Tight synchronization could allow the DCBH to form before stars in the nearby galaxy reach the end of their lives and generate supernovae winds. We use N-body simulations to estimate the abundance of DCBHs formed in this way. The largest source of uncertainty in our estimate is the initial mass function (IMF) of metal free stars formed in atomic cooling halos. We find that even for tight synchronization, the density of DCBHs formed in this scenario could explain the SMBHs implied by z=6 quasar observations. Metal pollution and photoevaporation could potentially reduce the abundance of DCBHs below that required to explain the observations in other models that rely on a high LW flux.}, author = {Visbal, Eli and Haiman, Zoltán and Bryan, Greg L.}, issn = {0035-8711}, journal = {Monthly Notices of the Royal Astronomical Society}, number = {1}, pages = {1056--1063}, publisher = {Oxford University Press}, title = {{Direct collapse black hole formation from synchronized pairs of atomic cooling haloes}}, doi = {10.1093/mnras/stu1794}, volume = {445}, year = {2014}, } @article{17689, abstract = {We report the serendipitous discoveries of companion galaxies to two high-redshift quasars. SDSS J025617.7+001904 is a z=4.79 quasar included in our recent survey of faint quasars in the SDSS Stripe 82 region. The initial MMT slit spectroscopy shows excess Lyman alpha emission extending well beyond the quasar's light profile. Further imaging and spectroscopy with LBT/MODS1 confirms the presence of a bright galaxy (i_AB = 23.6) located 2arcsec (12 kpc projected) from the quasar with strong Lyman alpha emission (EW_0 ~ 100Ang) at the redshift of the quasar, as well as faint continuum. The second quasar, CFHQS J005006.6+344522 (z=6.25), is included in our recent HST SNAP survey of z~6 quasars searching for evidence of gravitational lensing. Deep imaging with ACS and WFC3 confirms an optical dropout ~4.5 mag fainter than the quasar (Y_AB=25) at a separation of 0.9 arcsec. The red i_775-Y_105 color of the galaxy and its proximity to the quasar (5 kpc projected if at the quasar redshift) strongly favor an association with the quasar. Although it is much fainter than the quasar it is remarkably bright when compared to field galaxies at this redshift, while showing no evidence for lensing. Both systems may represent late-stage mergers of two massive galaxies, with the observed light for one dominated by powerful ongoing star formation and for the other by rapid black hole growth. Observations of close companions are rare; if major mergers are primarily responsible for high-redshift quasar fueling then the phase when progenitor galaxies can be observed as bright companions is relatively short.}, author = {McGreer, Ian D. and Fan, Xiaohui and Strauss, Michael A. and Haiman, Zoltán and Richards, Gordon T. and Jiang, Linhua and Bian, Fuyan and Schneider, Donald P.}, issn = {1538-3881}, journal = {The Astronomical Journal}, number = {4}, publisher = {American Astronomical Society}, title = {{Close companions to two high-redshift quasars}}, doi = {10.1088/0004-6256/148/4/73}, volume = {148}, year = {2014}, } @article{17983, abstract = {We have measured the single-molecule conductance of a family of oligothiophenes comprising 1–6 thiophene moieties terminated with methyl-sulfide linkers using the scanning tunneling microscope-based break-junction technique. We find an anomalous behavior: the peak of the conductance histogram distribution does not follow a clear exponential decay with increasing number of thiophene units in the chain. The electronic properties of the materials were characterized by optical spectroscopy and electrochemistry to gain an understanding of the factors affecting the conductance of these molecules. We postulate that different conformers in the junction are a contributing factor to the anomalous trend in the observed conductance as a function of molecule length.}, author = {Capozzi, Brian and Dell, Emma J. and Berkelbach, Timothy C. and Reichman, David R. and Venkataraman, Latha and Campos, Luis M.}, issn = {1520-5126}, journal = {Journal of the American Chemical Society}, number = {29}, pages = {10486--10492}, publisher = {American Chemical Society}, title = {{Length-dependent conductance of oligothiophenes}}, doi = {10.1021/ja505277z}, volume = {136}, 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}, } @article{2028, abstract = {Understanding the dynamics of noisy neurons remains an important challenge in neuroscience. Here, we describe a simple probabilistic model that accurately describes the firing behavior in a large class (type II) of neurons. To demonstrate the usefulness of this model, we show how it accurately predicts the interspike interval (ISI) distributions, bursting patterns and mean firing rates found by: (1) simulations of the classic Hodgkin-Huxley model with channel noise, (2) experimental data from squid giant axon with a noisy input current and (3) experimental data on noisy firing from a neuron within the suprachiasmatic nucleus (SCN). This simple model has 6 parameters, however, in some cases, two of these parameters are coupled and only 5 parameters account for much of the known behavior. From these parameters, many properties of spiking can be found through simple calculation. Thus, we show how the complex effects of noise can be understood through a simple and general probabilistic model.}, author = {Bodova, Katarina and Paydarfar, David and Forger, Daniel}, journal = {Journal of Theoretical Biology}, pages = {40 -- 54}, publisher = {Academic Press}, title = {{Characterizing spiking in noisy type II neurons}}, doi = {10.1016/j.jtbi.2014.09.041}, volume = {365}, year = {2014}, } @article{115, abstract = {We present the design and performance characterization of a new experimental technique for measuring individual particle charges in large ensembles of macroscopic grains. The measurement principle is qualitatively similar to that used in determining the elementary charge by Millikan in that it follows individual particle trajectories. However, by taking advantage of new technology we are able to work with macroscopic grains and achieve several orders of magnitude better resolution in charge to mass ratios. By observing freely falling grains accelerated in a horizontal electric field with a co-falling, high-speed video camera, we dramatically increase particle tracking time and measurement precision. Keeping the granular medium under vacuum, we eliminate air drag, leaving the electrostatic force as the primary source of particle accelerations in the co-moving frame. Because the technique is based on direct imaging, we can distinguish between different particle types during the experiment, opening up the possibility of studying charge transfer processes between different particle species. For the ∼300 μm diameter grains reported here, we achieve an average acceleration resolution of ∼0.008 m/s2, a force resolution of ∼500 pN, and a median charge resolution ∼6× 104 elementary charges per grain (corresponding to surface charge densities ∼1 elementary charges per μm2). The primary source of error is indeterminacy in the grain mass, but with higher resolution cameras and better optics this can be further improved. The high degree of resolution and the ability to visually identify particles of different species or sizes with direct imaging make this a powerful new tool to characterize charging processes in granular media.}, author = {Waitukaitis, Scott R and Jaeger, Heinrich}, journal = {Review of Scientific Instruments}, number = {2}, publisher = {AIP}, title = {{In situ granular charge measurement by free-fall videography}}, doi = {10.1063/1.4789496}, volume = {84}, year = {2013}, } @proceedings{2288, abstract = {This book constitutes the proceedings of the 11th International Conference on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneuburg, Austria, in September 2013. The 15 regular papers included in this volume were carefully reviewed and selected from 27 submissions. They deal with computational models for all levels, from molecular and cellular, to organs and entire organisms.}, editor = {Gupta, Ashutosh and Henzinger, Thomas A}, isbn = {978-3-642-40707-9}, location = {Klosterneuburg, Austria}, publisher = {Springer}, title = {{Computational Methods in Systems Biology}}, doi = {10.1007/978-3-642-40708-6}, volume = {8130}, year = {2013}, } @article{2303, abstract = {MADM (Mosaic Analysis with Double Markers) technology offers a genetic approach in mice to visualize and concomitantly manipulate genetically defined cells at clonal level and single cell resolution. MADM employs Cre recombinase/loxP-dependent interchromosomal mitotic recombination to reconstitute two split marker genes—green GFP and red tdTomato—and can label sparse clones of homozygous mutant cells in one color and wild-type cells in the other color in an otherwise unlabeled background. At present, major MADM applications include lineage tracing, single cell labeling, conditional knockouts in small populations of cells and induction of uniparental chromosome disomy to assess effects of genomic imprinting. MADM can be applied universally in the mouse with the sole limitation being the specificity of the promoter controlling Cre recombinase expression. Here I review recent developments and extensions of the MADM technique and give an overview of the major discoveries and progresses enabled by the implementation of the novel genetic MADM tools.}, author = {Hippenmeyer, Simon}, journal = {Frontiers in Biology}, number = {6}, pages = {557 -- 568}, publisher = {Springer}, title = {{Dissection of gene function at clonal level using mosaic analysis with double markers}}, doi = {10.1007/s11515-013-1279-6}, volume = {8}, year = {2013}, } @book{2306, abstract = {Das Buch ist sowohl eine Einführung in die Themen Linked Data, Open Data und Open Linked Data als es auch den konkreten Bezug auf Bibliotheken behandelt. Hierzu werden konkrete Anwendungsprojekte beschrieben. Der Band wendet sich dabei sowohl an Personen aus der Bibliothekspraxis als auch an Personen aus dem Bibliotheksmanagement, die noch nicht mit dem Thema vertraut sind.}, author = {Danowski, Patrick and Pohl, Adrian}, isbn = { 978-3-11-027634-3}, issn = {2191-3587}, publisher = {De Gruyter}, title = {{(Open) Linked Data in Bibliotheken}}, doi = {10.1515/9783110278736}, volume = {50}, year = {2013}, } @article{2836, abstract = {We study the automatic synthesis of fair non-repudiation protocols, a class of fair exchange protocols, used for digital contract signing. First, we show how to specify the objectives of the participating agents and the trusted third party as path formulas in linear temporal logic and prove that the satisfaction of these objectives imply fairness; a property required of fair exchange protocols. We then show that weak (co-operative) co-synthesis and classical (strictly competitive) co-synthesis fail, whereas assume-guarantee synthesis (AGS) succeeds. We demonstrate the success of AGS as follows: (a) any solution of AGS is attack-free; no subset of participants can violate the objectives of the other participants; (b) the Asokan-Shoup-Waidner certified mail protocol that has known vulnerabilities is not a solution of AGS; (c) the Kremer-Markowitch non-repudiation protocol is a solution of AGS; and (d) AGS presents a new and symmetric fair non-repudiation protocol that is attack-free. To our knowledge this is the first application of synthesis to fair non-repudiation protocols, and our results show how synthesis can both automatically discover vulnerabilities in protocols and generate correct protocols. The solution to AGS can be computed efficiently as the secure equilibrium solution of three-player graph games. }, author = {Chatterjee, Krishnendu and Raman, Vishwanath}, journal = {Formal Aspects of Computing}, number = {4}, pages = {825 -- 859}, publisher = {Springer}, title = {{Assume-guarantee synthesis for digital contract signing}}, doi = {10.1007/s00165-013-0283-6}, volume = {26}, year = {2013}, } @article{2837, abstract = {We consider a general class of N × N random matrices whose entries hij are independent up to a symmetry constraint, but not necessarily identically distributed. Our main result is a local semicircle law which improves previous results [17] both in the bulk and at the edge. The error bounds are given in terms of the basic small parameter of the model, maxi,j E|hij|2. As a consequence, we prove the universality of the local n-point correlation functions in the bulk spectrum for a class of matrices whose entries do not have comparable variances, including random band matrices with band width W ≫N1-εn with some εn > 0 and with a negligible mean-field component. In addition, we provide a coherent and pedagogical proof of the local semicircle law, streamlining and strengthening previous arguments from [17, 19, 6].}, author = {Erdös, László and Knowles, Antti and Yau, Horng and Yin, Jun}, journal = {Electronic Journal of Probability}, number = {59}, pages = {1--58}, publisher = {Institute of Mathematical Statistics}, title = {{The local semicircle law for a general class of random matrices}}, doi = {10.1214/EJP.v18-2473}, volume = {18}, year = {2013}, } @proceedings{2885, abstract = {This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing.}, editor = {Kucera, Antonin and Henzinger, Thomas A and Nesetril, Jaroslav and Vojnar, Tomas and Antos, David}, location = {Znojmo, Czech Republic}, pages = {1 -- 228}, publisher = {Springer}, title = {{Mathematical and Engineering Methods in Computer Science}}, doi = {10.1007/978-3-642-36046-6}, volume = {7721}, year = {2013}, } @article{528, abstract = {Establishment of the embryonic axis foreshadows the main body axis of adults both in plants and in animals, but underlying mechanisms are considered distinct. Plants utilize directional, cell-to-cell transport of the growth hormone auxin [1, 2] to generate an asymmetric auxin response that specifies the embryonic apical-basal axis [3-6]. The auxin flow directionality depends on the polarized subcellular localization of PIN-FORMED (PIN) auxin transporters [7, 8]. It remains unknown which mechanisms and spatial cues guide cell polarization and axis orientation in early embryos. Herein, we provide conceptually novel insights into the formation of embryonic axis in Arabidopsis by identifying a crucial role of localized tryptophan-dependent auxin biosynthesis [9-12]. Local auxin production at the base of young embryos and the accompanying PIN7-mediated auxin flow toward the proembryo are required for the apical auxin response maximum and the specification of apical embryonic structures. Later in embryogenesis, the precisely timed onset of localized apical auxin biosynthesis mediates PIN1 polarization, basal auxin response maximum, and specification of the root pole. Thus, the tight spatiotemporal control of distinct local auxin sources provides a necessary, non-cell-autonomous trigger for the coordinated cell polarization and subsequent apical-basal axis orientation during embryogenesis and, presumably, also for other polarization events during postembryonic plant life [13, 14].}, author = {Robert, Hélène and Grones, Peter and Stepanova, Anna and Robles, Linda and Lokerse, Annemarie and Alonso, Jose and Weijers, Dolf and Friml, Jirí}, journal = {Current Biology}, number = {24}, pages = {2506 -- 2512}, publisher = {Cell Press}, title = {{Local auxin sources orient the apical basal axis in arabidopsis embryos}}, doi = {10.1016/j.cub.2013.09.039}, volume = {23}, year = {2013}, } @article{3116, abstract = {Multithreaded programs coordinate their interaction through synchronization primitives like mutexes and semaphores, which are managed by an OS-provided resource manager. We propose algorithms for the automatic construction of code-aware resource managers for multithreaded embedded applications. Such managers use knowledge about the structure and resource usage (mutex and semaphore usage) of the threads to guarantee deadlock freedom and progress while managing resources in an efficient way. Our algorithms compute managers as winning strategies in certain infinite games, and produce a compact code description of these strategies. We have implemented the algorithms in the tool Cynthesis. Given a multithreaded program in C, the tool produces C code implementing a code-aware resource manager. We show in experiments that Cynthesis produces compact resource managers within a few minutes on a set of embedded benchmarks with up to 6 threads. © 2012 Springer Science+Business Media, LLC.}, author = {Chatterjee, Krishnendu and De Alfaro, Luca and Faella, Marco and Majumdar, Ritankar and Raman, Vishwanath}, journal = {Formal Methods in System Design}, number = {2}, pages = {142 -- 174}, publisher = {Springer}, title = {{Code aware resource management}}, doi = {10.1007/s10703-012-0170-4}, volume = {42}, year = {2013}, } @article{352, abstract = {The presence of organic ligands on the surface of colloidal nanoparticles strongly limits their performance in technological applications where charge carrier transfer/transport plays an important role. We use metal salts, matched with the nanoparticle composition, to eliminate the surface organic ligands without introducing extrinsic impurities in the final nanomaterial. The potential of the simple, general and scalable processes presented here is demonstrated by characterizing the thermoelectric properties of nanostructured Ag2Te produced by the bottom up assembly of Ag2Te nanocrystals. A 6-fold increase of the thermoelectric figure of merit of Ag2Te was obtained when organic ligands were displaced by AgNO3. The same procedure can enhance the performance of nanocrystals and nanocrystal-based devices in a broad range of applications, from photovoltaics and thermoelectrics to catalysis.}, author = {Cadavid, Doris and Ibáñez, Maria and Shavel, Alexey and Durá, Oscar and López De La Torre, Marco and Cabot, Andreu}, journal = {Journal of Materials Chemistry A}, number = {15}, pages = {4864 -- 4870}, publisher = {Royal Society of Chemistry}, title = {{Organic ligand displacement by metal salts to enhance nanoparticle functionality: Thermoelectric properties of Ag inf 2 inf Te}}, doi = {10.1039/C3TA01455J}, volume = {1}, year = {2013}, }