@article{9138,
  abstract     = {Convective self-aggregation, the spontaneous organization of initially scattered convection into isolated convective clusters despite spatially homogeneous boundary conditions and forcing, was first recognized and studied in idealized numerical simulations. While there is a rich history of observational work on convective clustering and organization, there have been only a few studies that have analyzed observations to look specifically for processes related to self-aggregation in models. Here we review observational work in both of these categories and motivate the need for more of this work. We acknowledge that self-aggregation may appear to be far-removed from observed convective organization in terms of time scales, initial conditions, initiation processes, and mean state extremes, but we argue that these differences vary greatly across the diverse range of model simulations in the literature and that these comparisons are already offering important insights into real tropical phenomena. Some preliminary new findings are presented, including results showing that a self-aggregation simulation with square geometry has too broad distribution of humidity and is too dry in the driest regions when compared with radiosonde records from Nauru, while an elongated channel simulation has realistic representations of atmospheric humidity and its variability. We discuss recent work increasing our understanding of how organized convection and climate change may interact, and how model discrepancies related to this question are prompting interest in observational comparisons. We also propose possible future directions for observational work related to convective aggregation, including novel satellite approaches and a ground-based observational network.},
  author       = {Holloway, Christopher E. and Wing, Allison A. and Bony, Sandrine and Muller, Caroline J and Masunaga, Hirohiko and L’Ecuyer, Tristan S. and Turner, David D. and Zuidema, Paquita},
  issn         = {0169-3298},
  journal      = {Surveys in Geophysics},
  keywords     = {Geochemistry and Petrology, Geophysics},
  number       = {6},
  pages        = {1199--1236},
  publisher    = {Springer Nature},
  title        = {{Observing convective aggregation}},
  doi          = {10.1007/s10712-017-9419-1},
  volume       = {38},
  year         = {2017},
}

@article{9139,
  abstract     = {Organized convection in the tropics occurs across a range of spatial and temporal scales and strongly influences cloud cover and humidity. One mode of organization found is “self-aggregation,” in which moist convection spontaneously organizes into one or several isolated clusters despite spatially homogeneous boundary conditions and forcing. Self-aggregation is driven by interactions between clouds, moisture, radiation, surface fluxes, and circulation, and occurs in a wide variety of idealized simulations of radiative–convective equilibrium. Here we provide a review of convective self-aggregation in numerical simulations, including its character, causes, and effects. We describe the evolution of self-aggregation including its time and length scales and the physical mechanisms leading to its triggering and maintenance, and we also discuss possible links to climate and climate change.},
  author       = {Wing, Allison A. and Emanuel, Kerry and Holloway, Christopher E. and Muller, Caroline J},
  issn         = {0169-3298},
  journal      = {Surveys in Geophysics},
  keywords     = {Geochemistry and Petrology, Geophysics},
  number       = {6},
  pages        = {1173--1197},
  publisher    = {Springer Nature},
  title        = {{Convective self-aggregation in numerical simulations: A review}},
  doi          = {10.1007/s10712-017-9408-4},
  volume       = {38},
  year         = {2017},
}

@article{914,
  abstract     = {Infections with potentially lethal pathogens may negatively affect an individual’s lifespan and decrease its reproductive value. The terminal investment hypothesis predicts that individuals faced with a reduced survival should invest more into reproduction instead of maintenance and growth. Several studies suggest that individuals are indeed able to estimate their body condition and to increase their reproductive effort with approaching death, while other studies gave ambiguous results. We investigate whether queens of a perennial social insect (ant) are able to boost their reproduction following infection with an obligate killing pathogen. Social insect queens are special with regard to reproduction and aging, as they outlive conspecific non-reproductive workers. Moreover, in the ant Cardiocondyla obscurior, fecundity increases with queen age. However, it remained unclear whether this reflects negative reproductive senescence or terminal investment in response to approaching death. Here, we test whether queens of C. obscurior react to infection with the entomopathogenic fungus Metarhizium brunneum by an increased egg-laying rate. We show that a fungal infection triggers a reinforced investment in reproduction in queens. This adjustment of the reproductive rate by ant queens is consistent with predictions of the terminal investment hypothesis and is reported for the first time in a social insect.},
  author       = {Giehr, Julia and Grasse, Anna V and Cremer, Sylvia and Heinze, Jürgen and Schrempf, Alexandra},
  issn         = {20545703},
  journal      = {Royal Society Open Science},
  number       = {7},
  publisher    = {Royal Society, The},
  title        = {{Ant queens increase their reproductive efforts after pathogen infection}},
  doi          = {10.1098/rsos.170547},
  volume       = {4},
  year         = {2017},
}

@inproceedings{915,
  abstract     = {We propose a dual decomposition and linear program relaxation of the NP-hard minimum cost multicut problem. Unlike other polyhedral relaxations of the multicut polytope, it is amenable to efficient optimization by message passing. Like other polyhedral relaxations, it can be tightened efficiently by cutting planes.  We define an algorithm that alternates between message passing and efficient separation of cycle- and odd-wheel inequalities. This algorithm is more efficient than state-of-the-art algorithms based on linear programming, including algorithms written in the framework of leading commercial software, as we show in experiments with large instances of the problem from applications in computer vision, biomedical image analysis and data mining.},
  author       = {Swoboda, Paul and Andres, Bjoern},
  isbn         = {978-153860457-1},
  location     = {Honolulu, HA, United States},
  pages        = {4990--4999},
  publisher    = {IEEE},
  title        = {{A message passing algorithm for the minimum cost multicut problem}},
  doi          = {10.1109/CVPR.2017.530},
  volume       = {2017},
  year         = {2017},
}

@article{9152,
  abstract     = {Previous numerical studies of the dissipation of internal tides in idealized settings suggest the existence of a critical latitude (~29°) where dissipation is enhanced. But observations only indicate a modest enhancement at this latitude. To resolve this difference between observational and numerical results, the authors study the latitudinal dependence of internal tides’ dissipation in more realistic conditions. In particular, the ocean is not a quiescent medium; the presence of large-scale currents or mesoscale eddies can impact the propagation and dissipation of internal tides. This paper investigates the impact of a weak background mean current in numerical simulations. The authors focus on the local dissipation of high spatial mode internal waves near their generation site. The vertical profile of dissipation and its variation with latitude without the mean current are consistent with earlier studies. But adding a weak mean current has a major impact on the latitudinal distribution of dissipation. The peak at the critical latitude disappears, and the dissipation is closer to a constant, albeit with two weak peaks at ~25° and ~35° latitude. This disappearance results from the Doppler shift of the internal tides’ frequency, which hinders the nonlinear transfer of energy to small-scale secondary waves via the parametric subharmonic instability (PSI). The new two weak peaks correspond to the Doppler-shifted critical latitudes of the left- and right-propagating waves. The results are confirmed in simulations with simple sinusoidal topography. Thus, although nonlinear transfers via PSI are efficient at dissipating internal tides, the exact location of the dissipation is sensitive to large-scale oceanic conditions.},
  author       = {Richet, O. and Muller, Caroline J and Chomaz, J.-M.},
  issn         = {0022-3670},
  journal      = {Journal of Physical Oceanography},
  keywords     = {Oceanography},
  number       = {6},
  pages        = {1457--1472},
  publisher    = {American Meteorological Society},
  title        = {{Impact of a mean current on the internal tide energy dissipation at the critical latitude}},
  doi          = {10.1175/jpo-d-16-0197.1},
  volume       = {47},
  year         = {2017},
}

@inproceedings{916,
  abstract     = {We study the quadratic assignment problem, in computer vision also known as graph matching. Two leading solvers for this problem optimize the Lagrange decomposition duals with sub-gradient and dual ascent (also known as message passing) updates. We explore this direction further and propose several additional Lagrangean relaxations of the graph matching problem along with corresponding algorithms, which are all based on a common dual ascent framework. Our extensive empirical evaluation gives several theoretical insights and suggests a new state-of-the-art anytime solver for the considered problem. Our improvement over state-of-the-art is particularly visible on a new dataset with large-scale sparse problem instances containing more than 500 graph nodes each.},
  author       = {Swoboda, Paul and Rother, Carsten and Abu Alhaija, Carsten and Kainmueller, Dagmar and Savchynskyy, Bogdan},
  isbn         = {978-153860457-1},
  location     = {Honolulu, HA, United States},
  pages        = {7062--7071},
  publisher    = {IEEE},
  title        = {{A study of lagrangean decompositions and dual ascent solvers for graph matching}},
  doi          = {10.1109/CVPR.2017.747},
  volume       = {2017},
  year         = {2017},
}

@article{9165,
  abstract     = {Advances in colloidal synthesis allow for the design of particles with controlled patches. This article reviews routes towards colloidal locomotion, where energy is consumed and converted into motion, and its implementation with active patchy particles. A special emphasis is given to phoretic swimmers, where the self-propulsion originates from an interfacial phenomenon, raising experimental challenges and opening up opportunities for particles with controlled anisotropic surface chemistry and novel behaviors.},
  author       = {Aubret, A. and Ramananarivo, S. and Palacci, Jérémie A},
  issn         = {1359-0294},
  journal      = {Current Opinion in Colloid & Interface Science},
  pages        = {81--89},
  publisher    = {Elsevier},
  title        = {{Eppur si muove, and yet it moves: Patchy (phoretic) swimmers}},
  doi          = {10.1016/j.cocis.2017.05.007},
  volume       = {30},
  year         = {2017},
}

@inproceedings{917,
  abstract     = {We  propose  a  general  dual  ascent  framework  for  Lagrangean decomposition of combinatorial problems.  Although methods of this type have shown their efficiency for a number of problems, so far there was no general algorithm applicable to multiple problem types. In this work, we propose such a general algorithm. It depends on several parameters, which can be used to optimize its performance in each particular setting. We demonstrate efficacy of our method on graph matching and multicut problems, where it outperforms state-of-the-art solvers including those based on subgradient optimization and off-the-shelf linear programming solvers.},
  author       = {Swoboda, Paul and Kuske, Jan and Savchynskyy, Bogdan},
  isbn         = {978-153860457-1},
  location     = {Honolulu, HA, United States},
  pages        = {4950--4960},
  publisher    = {IEEE},
  title        = {{A dual ascent framework for Lagrangean decomposition of combinatorial problems}},
  doi          = {10.1109/CVPR.2017.526},
  volume       = {2017},
  year         = {2017},
}

@article{9190,
  abstract     = {<jats:p>Plant meristems carry pools of continuously active stem cells, whose activity is controlled by developmental and environmental signals. After stem cell division, daughter cells that exit the stem cell domain acquire transit amplifying cell identity before they are incorporated into organs and differentiate. In this study, we used an integrated approach to elucidate the role of HECATE (HEC) genes in regulating developmental trajectories of shoot stem cells in Arabidopsis thaliana. Our work reveals that HEC function stabilizes cell fate in distinct zones of the shoot meristem thereby controlling the spatio-temporal dynamics of stem cell differentiation. Importantly, this activity is concomitant with the local modulation of cellular responses to cytokinin and auxin, two key phytohormones regulating cell behaviour. Mechanistically, we show that HEC factors transcriptionally control and physically interact with MONOPTEROS (MP), a key regulator of auxin signalling, and modulate the autocatalytic stabilization of auxin signalling output.</jats:p>},
  author       = {Gaillochet, Christophe and Stiehl, Thomas and Wenzl, Christian and Ripoll, Juan-José and Bailey-Steinitz, Lindsay J and Li, Lanxin and Pfeiffer, Anne and Miotk, Andrej and Hakenjos, Jana P and Forner, Joachim and Yanofsky, Martin F and Marciniak-Czochra, Anna and Lohmann, Jan U},
  issn         = {2050-084X},
  journal      = {eLife},
  publisher    = {eLife Sciences Publications},
  title        = {{Control of plant cell fate transitions by transcriptional and hormonal signals}},
  doi          = {10.7554/elife.30135},
  volume       = {6},
  year         = {2017},
}

@article{93,
  abstract     = {An electro-optomechanical device capable of microwave-to-optics conversion has recently been demonstrated, with the vision of enabling optical networks of superconducting qubits. Here we present an improved converter design that uses a three-dimensional microwave cavity for coupling between the microwave transmission line and an integrated LC resonator on the converter chip. The new design simplifies the optical assembly and decouples it from the microwave part of the setup. Experimental demonstrations show that the modular device assembly allows us to flexibly tune the microwave coupling to the converter chip while maintaining small loss. We also find that electromechanical experiments are not impacted by the additional microwave cavity. Our design is compatible with a high-finesse optical cavity and will improve optical performance.},
  author       = {Menke, Tim and Burns, Peter and Higginbotham, Andrew P and Kampel, N S and Peterson, Robert and Cicak, Katarina and Simmonds, Raymond and Regal, Cindy and Lehnert, Konrad},
  journal      = {Review of Scientific Instruments},
  number       = {9},
  publisher    = {American Institute of Physics},
  title        = {{Reconfigurable re-entrant cavity for wireless coupling to an electro-optomechanical device}},
  doi          = {10.1063/1.5000973},
  volume       = {88},
  year         = {2017},
}

@article{934,
  abstract     = {During puberty, the mouse mammary gland develops into a highly branched epithelial network. Owing to the absence of exclusive stem cell markers, the location, multiplicity, dynamics and fate of mammary stem cells (MaSCs), which drive branching morphogenesis, are unknown. Here we show that morphogenesis is driven by proliferative terminal end buds that terminate or bifurcate with near equal probability, in a stochastic and time-invariant manner, leading to a heterogeneous epithelial network. We show that the majority of terminal end bud cells function as highly proliferative, lineage-committed MaSCs that are heterogeneous in their expression profile and short-term contribution to ductal extension. Yet, through cell rearrangements during terminal end bud bifurcation, each MaSC is able to contribute actively to long-term growth. Our study shows that the behaviour of MaSCs is not directly linked to a single expression profile. Instead, morphogenesis relies upon lineage-restricted heterogeneous MaSC populations that function as single equipotent pools in the long term.},
  author       = {Scheele, Colinda and Hannezo, Edouard B and Muraro, Mauro and Zomer, Anoek and Langedijk, Nathalia and Van Oudenaarden, Alexander and Simons, Benjamin and Van Rheenen, Jacco},
  issn         = {00280836},
  journal      = {Nature},
  number       = {7641},
  pages        = {313 -- 317},
  publisher    = {Nature Publishing Group},
  title        = {{Identity and dynamics of mammary stem cells during branching morphogenesis}},
  doi          = {10.1038/nature21046},
  volume       = {542},
  year         = {2017},
}

@article{936,
  abstract     = {Homeostatic replacement of epithelial cells from basal precursors is a multistep process involving progenitor cell specification, radial intercalation and, finally, apical surface emergence. Recent data demonstrate that actin-based pushing under the control of the formin protein Fmn1 drives apical emergence in nascent multiciliated epithelial cells (MCCs), but little else is known about this actin network or the control of Fmn1. Here, we explore the role of the small GTPase RhoA in MCC apical emergence. Disruption of RhoA function reduced the rate of apical surface expansion and decreased the final size of the apical domain. Analysis of cell shapes suggests that RhoA alters the balance of forces exerted on the MCC apical surface. Finally, quantitative time-lapse imaging and fluorescence recovery after photobleaching studies argue that RhoA works in concert with Fmn1 to control assembly of the specialized apical actin network in MCCs. These data provide new molecular insights into epithelial apical surface assembly and could also shed light on mechanisms of apical lumen formation},
  author       = {Sedzinski, Jakub and Hannezo, Edouard B and Tu, Fan and Biro, Maté and Wallingford, John},
  journal      = {Journal of Cell Science},
  number       = {5},
  publisher    = {Company of Biologists},
  title        = {{RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells }},
  doi          = {10.1242/jcs.202234},
  volume       = {130},
  year         = {2017},
}

@article{937,
  abstract     = {During epithelial cytokinesis, the remodelling of adhesive cell-cell contacts between the dividing cell and its neighbours has profound implications for the integrity, arrangement and morphogenesis of proliferative tissues. In both vertebrates and invertebrates, this remodelling requires the activity of non-muscle myosin II (MyoII) in the interphasic cells neighbouring the dividing cell. However, the mechanisms that coordinate cytokinesis and MyoII activity in the neighbours are unknown. Here we show that in the Drosophila notum epithelium, each cell division is associated with a mechanosensing and transmission event that controls MyoII dynamics in neighbouring cells. We find that the ring pulling forces promote local junction elongation, which results in local E-cadherin dilution at the ingressing adherens junction. In turn, the reduction in E-cadherin concentration and the contractility of the neighbouring cells promote self-organized actomyosin flows, ultimately leading to accumulation of MyoII at the base of the ingressing junction. Although force transduction has been extensively studied in the context of adherens junction reinforcement to stabilize adhesive cell-cell contacts, we propose an alternative mechanosensing mechanism that coordinates actomyosin dynamics between epithelial cells and sustains the remodelling of the adherens junction in response to mechanical forces.},
  author       = {Pinheiro, Diana and Hannezo, Edouard B and Herszterg, Sophie and Bosveld, Floris and Gaugué, Isabelle and Balakireva, Maria and Wang, Zhimin and Cristo, Inês and Rigaud, Stéphane and Markova, Olga and Bellaïche, Yohanns},
  issn         = {00280836},
  journal      = {Nature},
  number       = {7652},
  pages        = {103 -- 107},
  publisher    = {Nature Publishing Group},
  title        = {{Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows}},
  doi          = {10.1038/nature22041},
  volume       = {545},
  year         = {2017},
}

@phdthesis{938,
  abstract     = {The thesis encompasses several topics of plant cell biology which were studied in the model plant Arabidopsis thaliana. Chapter 1 concerns the plant hormone auxin and its polar transport through cells and tissues. The highly controlled, directional transport of auxin is facilitated by plasma membrane-localized transporters. Transporters from the PIN family direct auxin transport due to their polarized localizations at cell membranes. Substantial effort has been put into research on cellular trafficking of PIN proteins, which is thought to underlie their polar distribution. I participated in a forward genetic screen aimed at identifying novel regulators of PIN polarity. The screen yielded several genes which may be involved in PIN polarity regulation or participate in polar auxin transport by other means. Chapter 2 focuses on the endomembrane system, with particular attention to clathrin-mediated endocytosis. The project started with identification of several proteins that interact with clathrin light chains. Among them, I focused on two putative homologues of auxilin, which in non-plant systems is an endocytotic factor known for uncoating clathrin-coated vesicles in the final step of endocytosis. The body of my work consisted of an in-depth characterization of transgenic A. thaliana lines overexpressing these putative auxilins in an inducible manner. Overexpression of these proteins leads to an inhibition of endocytosis, as documented by imaging of cargoes and clathrin-related endocytic machinery. An extension of this work is an investigation into a concept of homeostatic regulation acting between distinct transport processes in the endomembrane system. With auxilin overexpressing lines, where endocytosis is blocked specifically, I made observations on the mutual relationship between two opposite trafficking processes of secretion and endocytosis. In Chapter 3, I analyze cortical microtubule arrays and their relationship to auxin signaling and polarized growth in elongating cells. In plants, microtubules are organized into arrays just below the plasma membrane, and it is thought that their function is to guide membrane-docked cellulose synthase complexes. These, in turn, influence cell wall structure and cell shape by directed deposition of cellulose fibres. In elongating cells, cortical microtubule arrays are able to reorient in relation to long cell axis, and these reorientations have been linked to cell growth and to signaling of growth-regulating factors such as auxin or light. In this chapter, I am addressing the causal relationship between microtubule array reorientation, growth, and auxin signaling. I arrive at a model where array reorientation is not guided by auxin directly, but instead is only controlled by growth, which, in turn, is regulated by auxin.},
  author       = {Adamowski, Maciek},
  issn         = {2663-337X},
  pages        = {117},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana }},
  doi          = {10.15479/AT:ISTA:th_842},
  year         = {2017},
}

@article{939,
  abstract     = {We reveal the existence of continuous families of guided single-mode solitons in planar waveguides with weakly nonlinear active core and absorbing boundaries. Stable propagation of TE and TM-polarized solitons is accompanied by attenuation of all other modes, i.e., the waveguide features properties of conservative and dissipative systems. If the linear spectrum of the waveguide possesses exceptional points, which occurs in the case of TM polarization, an originally focusing (defocusing) material nonlinearity may become effectively defocusing (focusing). This occurs due to the geometric phase of the carried eigenmode when the surface impedance encircles the exceptional point. In its turn, the change of the effective nonlinearity ensures the existence of dark (bright) solitons in spite of focusing (defocusing) Kerr nonlinearity of the core. The existence of an exceptional point can also result in anomalous enhancement of the effective nonlinearity. In terms of practical applications, the nonlinearity of the reported waveguide can be manipulated by controlling the properties of the absorbing cladding.},
  author       = {Midya, Bikashkali and Konotop, Vladimir},
  issn         = {00319007},
  journal      = {Physical Review Letters},
  number       = {3},
  publisher    = {American Physical Society},
  title        = {{Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons}},
  doi          = {10.1103/PhysRevLett.119.033905},
  volume       = {119},
  year         = {2017},
}

@article{94,
  abstract     = {We introduce a method for breaking Lorentz reciprocity based upon the noncommutation of frequency conversion and delay. The method requires no magnetic materials or resonant physics, allowing for the design of scalable and broadband nonreciprocal circuits. With this approach, two types of gyrators - universal building blocks for linear, nonreciprocal circuits - are constructed. Using one of these gyrators, we create a circulator with &gt;15 dB of isolation across the 5-9 GHz band. Our designs may be readily extended to any platform with suitable frequency conversion elements, including semiconducting devices for telecommunication or an on-chip superconducting implementation for quantum information processing.},
  author       = {Rosenthal, Eric and Chapman, Benjamin and Higginbotham, Andrew P and Kerckhoff, Joseph and Lehnert, Konrad},
  journal      = {APS Physics, Physical Review Letters},
  number       = {14},
  publisher    = {American Physical Society},
  title        = {{Breaking Lorentz reciprocity with frequency conversion and delay}},
  doi          = {10.1103/PhysRevLett.119.147703},
  volume       = {119},
  year         = {2017},
}

@inproceedings{941,
  abstract     = {Recently there has been a proliferation of automated program repair (APR) techniques, targeting various programming languages. Such techniques can be generally classified into two families: syntactic- and semantics-based. Semantics-based APR, on which we focus, typically uses symbolic execution to infer semantic constraints and then program synthesis to construct repairs conforming to them. While syntactic-based APR techniques have been shown successful on bugs in real-world programs written in both C and Java, semantics-based APR techniques mostly target C programs. This leaves empirical comparisons of the APR families not fully explored, and developers without a Java-based semantics APR technique. We present JFix, a semantics-based APR framework that targets Java, and an associated Eclipse plugin. JFix is implemented atop Symbolic PathFinder, a well-known symbolic execution engine for Java programs. It extends one particular APR technique (Angelix), and is designed to be sufficiently generic to support a variety of such techniques. We demonstrate that semantics-based APR can indeed efficiently and effectively repair a variety of classes of bugs in large real-world Java programs. This supports our claim that the framework can both support developers seeking semantics-based repair of bugs in Java programs, as well as enable larger scale empirical studies comparing syntactic- and semantics-based APR targeting Java. The demonstration of our tool is available via the project website at: https://xuanbachle.github.io/semanticsrepair/ },
  author       = {Le, Xuan and Chu, Duc Hiep and Lo, David and Le Goues, Claire and Visser, Willem},
  booktitle    = {Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis},
  location     = {Santa Barbara, CA, United States},
  pages        = {376 -- 379 },
  publisher    = {ACM},
  title        = {{JFIX: Semantics-based repair of Java programs via symbolic  PathFinder}},
  doi          = {10.1145/3092703.3098225},
  year         = {2017},
}

@inproceedings{942,
  abstract     = {A notable class of techniques for automatic program repair is known as semantics-based. Such techniques, e.g., Angelix, infer semantic specifications via symbolic execution, and then use program synthesis to construct new code that satisfies those inferred specifications. However, the obtained specifications are naturally incomplete, leaving the synthesis engine with a difficult task of synthesizing a general solution from a sparse space of many possible solutions that are consistent with the provided specifications but that do not necessarily generalize. We present S3, a new repair synthesis engine that leverages programming-by-examples methodology to synthesize high-quality bug repairs. The novelty in S3 that allows it to tackle the sparse search space to create more general repairs is three-fold: (1) A systematic way to customize and constrain the syntactic search space via a domain-specific language, (2) An efficient enumeration-based search strategy over the constrained search space, and (3) A number of ranking features based on measures of the syntactic and semantic distances between candidate solutions and the original buggy program. We compare S3’s repair effectiveness with state-of-the-art synthesis engines Angelix, Enumerative, and CVC4. S3 can successfully and correctly fix at least three times more bugs than the best baseline on datasets of 52 bugs in small programs, and 100 bugs in real-world large programs. },
  author       = {Le, Xuan and Chu, Duc Hiep and Lo, David and Le Goues, Claire and Visser, Willem},
  isbn         = {978-145035105-8},
  location     = {Paderborn, Germany},
  pages        = {593 -- 604},
  publisher    = {ACM},
  title        = {{S3: Syntax- and semantic-guided repair synthesis via programming by examples}},
  doi          = {10.1145/3106237.3106309},
  volume       = {F130154},
  year         = {2017},
}

@article{943,
  abstract     = {Like many developing tissues, the vertebrate neural tube is patterned by antiparallel morphogen gradients. To understand how these inputs are interpreted, we measured morphogen signaling and target gene expression in mouse embryos and chick ex vivo assays. From these data, we derived and validated a characteristic decoding map that relates morphogen input to the positional identity of neural progenitors. Analysis of the observed responses indicates that the underlying interpretation strategy minimizes patterning errors in response to the joint input of noisy opposing gradients. We reverse-engineered a transcriptional network that provides a mechanistic basis for the observed cell fate decisions and accounts for the precision and dynamics of pattern formation. Together, our data link opposing gradient dynamics in a growing tissue to precise pattern formation.},
  author       = {Zagórski, Marcin P and Tabata, Yoji and Brandenberg, Nathalie and Lutolf, Matthias and Tkacik, Gasper and Bollenbach, Tobias and Briscoe, James and Kicheva, Anna},
  issn         = {00368075},
  journal      = {Science},
  number       = {6345},
  pages        = {1379 -- 1383},
  publisher    = {American Association for the Advancement of Science},
  title        = {{Decoding of position in the developing neural tube from antiparallel morphogen gradients}},
  doi          = {10.1126/science.aam5887},
  volume       = {356},
  year         = {2017},
}

@article{944,
  abstract     = {The concerted production of neurons and glia by neural stem cells (NSCs) is essential for neural circuit assembly. In the developing cerebral cortex, radial glia progenitors (RGPs) generate nearly all neocortical neurons and certain glia lineages. RGP proliferation behavior shows a high degree of non-stochasticity, thus a deterministic characteristic of neuron and glia production. However, the cellular and molecular mechanisms controlling RGP behavior and proliferation dynamics in neurogenesis and glia generation remain unknown. By using mosaic analysis with double markers (MADM)-based genetic paradigms enabling the sparse and global knockout with unprecedented single-cell resolution, we identified Lgl1 as a critical regulatory component. We uncover Lgl1-dependent tissue-wide community effects required for embryonic cortical neurogenesis and novel cell-autonomous Lgl1 functions controlling RGP-mediated glia genesis and postnatal NSC behavior. These results suggest that NSC-mediated neuron and glia production is tightly regulated through the concerted interplay of sequential Lgl1-dependent global and cell intrinsic mechanisms.},
  author       = {Beattie, Robert J and Postiglione, Maria P and Burnett, Laura and Laukoter, Susanne and Streicher, Carmen and Pauler, Florian and Xiao, Guanxi and Klezovitch, Olga and Vasioukhin, Valeri and Ghashghaei, Troy and Hippenmeyer, Simon},
  issn         = {08966273},
  journal      = {Neuron},
  number       = {3},
  pages        = {517 -- 533.e3},
  publisher    = {Cell Press},
  title        = {{Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells}},
  doi          = {10.1016/j.neuron.2017.04.012},
  volume       = {94},
  year         = {2017},
}

