Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7738 Publications
2017 | Journal Article | IST-REx-ID: 10375 | 
Vahid A, Šarić A, Idema T. Curvature variation controls particle aggregation on fluid vesicles. Soft Matter. 2017;13(28):4924-4930. doi:10.1039/c7sm00433h
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Journal Article | IST-REx-ID: 10416 |
Chatterjee K, Choudhary B, Pavlogiannis A. Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158118
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 10417 |
Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158119
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 10418 |
Mciver A, Morgan C, Kaminski BL, Katoen JP. A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158121
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 2016 |
Martin Del Campo Sanchez A, Cepeda Humerez SA, Uhler C. Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. 2017;44(2):285-306. doi:10.1111/sjos.12251
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 265
Browning TD, Vishe P. Rational curves on smooth hypersurfaces of low degree. Geometric Methods in Algebra and Number Theory. 2017;11(7):1657-1675. doi:10.2140/ant.2017.11.1657
View
| DOI
2017 | Journal Article | IST-REx-ID: 266 |
Browning TD, Heath Brown R. Forms in many variables and differing degrees. Journal of the European Mathematical Society. 2017;19(2):357-394. doi:10.4171/JEMS/668
View
| DOI
| Download (ext.)
2017 | Journal Article | IST-REx-ID: 267
Browning TD. Many cubic surfaces contain rational points. Mathematika. 2017;63(3):818-839. doi:10.1112/S0025579317000195
View
| DOI
2017 | Journal Article | IST-REx-ID: 268 |
Browning TD, Prendiville S. A transference approach to a Roth-type theorem in the squares. International Mathematics Research Notices. 2017;2017(7):2219-2248. doi:10.1093/imrn/rnw096
View
| DOI
| Download (ext.)
2017 | Journal Article | IST-REx-ID: 269 |
Browning TD, Loughran D. Varieties with too many rational points. Mathematische Zeitschrift. 2017;285(3-4):1249-1267. doi:10.1007/s00209-016-1746-2
View
| DOI
| Download None (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 270 |
Browning TD, Gorodnik A. Power-free values of polynomials on symmetric varieties. Proceedings of the London Mathematical Society. 2017;114(6):1044-1080. doi:10.1112/plms.12030
View
| DOI
| Download (ext.)
2017 | Journal Article | IST-REx-ID: 271 |
Browning TD, Prendiville S. Improvements in Birch’s theorem on forms in many variables. Journal fur die Reine und Angewandte Mathematik. 2017;2017(731):203-234. doi:doi.org/10.1515/crelle-2014-0122
View
| DOI
| Download (ext.)
2017 | Journal Article | IST-REx-ID: 272 |
Browning TD, Matthiesen L. Norm forms for arbitrary number fields as products of linear polynomials. Annales Scientifiques de l’Ecole Normale Superieure. 2017;50(6):1383-1446. doi:10.24033/asens.2348
View
| DOI
| Download (ext.)
2017 | Conference Paper | IST-REx-ID: 274 |
Kolmogorov V. A faster approximation algorithm for the Gibbs partition function. In: Proceedings of the 31st Conference On Learning Theory. Vol 75. PMLR; 2017:228-249.
View
| Files available
| arXiv
2017 | Journal Article | IST-REx-ID: 93 |
Menke T, Burns P, Higginbotham AP, et al. Reconfigurable re-entrant cavity for wireless coupling to an electro-optomechanical device. Review of Scientific Instruments. 2017;88(9). doi:10.1063/1.5000973
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Journal Article | IST-REx-ID: 934
Scheele C, Hannezo EB, Muraro M, et al. Identity and dynamics of mammary stem cells during branching morphogenesis. Nature. 2017;542(7641):313-317. doi:10.1038/nature21046
View
| DOI
2017 | Journal Article | IST-REx-ID: 936
Sedzinski J, Hannezo EB, Tu F, Biro M, Wallingford J. RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells . Journal of Cell Science. 2017;130(5). doi:10.1242/jcs.202234
View
| DOI
2017 | Journal Article | IST-REx-ID: 937
Pinheiro D, Hannezo EB, Herszterg S, et al. Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows. Nature. 2017;545(7652):103-107. doi:10.1038/nature22041
View
| DOI
2017 | Thesis | IST-REx-ID: 938 |
Adamowski M. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . 2017. doi:10.15479/AT:ISTA:th_842
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 939 |
Midya B, Konotop V. Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons. Physical Review Letters. 2017;119(3). doi:10.1103/PhysRevLett.119.033905
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 94 |
Rosenthal E, Chapman B, Higginbotham AP, Kerckhoff J, Lehnert K. Breaking Lorentz reciprocity with frequency conversion and delay. APS Physics, Physical Review Letters. 2017;119(14). doi:10.1103/PhysRevLett.119.147703
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 941
Le X, Chu DH, Lo D, Le Goues C, Visser W. JFIX: Semantics-based repair of Java programs via symbolic PathFinder. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM; 2017:376-379. doi:10.1145/3092703.3098225
View
| DOI
2017 | Conference Paper | IST-REx-ID: 942
Le X, Chu DH, Lo D, Le Goues C, Visser W. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In: Vol F130154. ACM; 2017:593-604. doi:10.1145/3106237.3106309
View
| DOI
2017 | Journal Article | IST-REx-ID: 943 |
Zagórski MP, Tabata Y, Brandenberg N, et al. Decoding of position in the developing neural tube from antiparallel morphogen gradients. Science. 2017;356(6345):1379-1383. doi:10.1126/science.aam5887
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 944
Beattie RJ, Postiglione MP, Burnett L, et al. Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells. Neuron. 2017;94(3):517-533.e3. doi:10.1016/j.neuron.2017.04.012
View
| DOI
2017 | Journal Article | IST-REx-ID: 9445 |
Lyons DB, Zilberman D. DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes. eLife. 2017;6. doi:10.7554/elife.30674
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 945 |
Huylmans AK, Macon A, Vicoso B. Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome. Molecular Biology and Evolution. 2017;34(10):2637-2649. doi:10.1093/molbev/msx190
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 946 |
von Wangenheim D, Hauschild R, Fendrych M, Barone V, Benková E, Friml J. Live tracking of moving samples in confocal microscopy for vertically grown roots. eLife. 2017;6. doi:10.7554/eLife.26792
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 947 |
De Martino D, Capuani F, De Martino A. Quantifying the entropic cost of cellular growth control. Physical Review E Statistical Nonlinear and Soft Matter Physics . 2017;96(1). doi:10.1103/PhysRevE.96.010401
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 950 |
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.CONCUR.2017.21
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 9506 |
Zilberman D. An evolutionary case for functional gene body methylation in plants and animals. Genome Biology. 2017;18(1). doi:10.1186/s13059-017-1230-2
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 951 |
Schmidt T, Barton NH, Rasic G, et al. Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti. PLoS Biology. 2017;15(5). doi:10.1371/journal.pbio.2001894
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 952 |
Turelli M, Barton NH. Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti. Theoretical Population Biology. 2017;115:45-60. doi:10.1016/j.tpb.2017.03.003
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 953 |
Charlesworth D, Barton NH, Charlesworth B. The sources of adaptive evolution. Proceedings of the Royal Society of London Series B Biological Sciences. 2017;284(1855). doi:10.1098/rspb.2016.2864
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 954 |
Lagator M, Paixao T, Barton NH, Bollback JP, Guet CC. On the mechanistic nature of epistasis in a canonical cis-regulatory element. eLife. 2017;6. doi:10.7554/eLife.25192
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 955 |
Friedlander T, Prizak R, Barton NH, Tkačik G. Evolution of new regulatory functions on biophysically realistic fitness landscapes. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-00238-8
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 956 |
Carlen E, Maas J. Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance. Journal of Functional Analysis. 2017;273(5):1810-1869. doi:10.1016/j.jfa.2017.05.003
View
| DOI
| Download Submitted Version (ext.)
2017 | Book Chapter | IST-REx-ID: 957
Clifton B, Whitfield J, Sanchez-Romero I, et al. Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors. In: Stein V, ed. Synthetic Protein Switches. Vol 1596. Synthetic Protein Switches. Springer; 2017:71-87. doi:10.1007/978-1-4939-6940-1_5
View
| DOI
2017 | Journal Article | IST-REx-ID: 9574 |
Bandeira AS, Ferber A, Kwan MA. Resilience for the Littlewood-Offord problem. Electronic Notes in Discrete Mathematics. 2017;61:93-99. doi:10.1016/j.endm.2017.06.025
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Book Chapter | IST-REx-ID: 958
Mitchell J, Zhang W, Herde M, et al. Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment. In: Stein V, ed. Synthetic Protein Switches. Vol 1596. Synthetic Protein Switches. Springer; 2017:89-99. doi:10.1007/978-1-4939-6940-1_6
View
| DOI
2017 | Journal Article | IST-REx-ID: 9588 |
Bandeira AS, Ferber A, Kwan MA. Resilience for the Littlewood–Offord problem. Advances in Mathematics. 2017;319:292-312. doi:10.1016/j.aim.2017.08.031
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 9589 |
Greenhill C, Isaev M, Kwan MA, McKay BD. The average number of spanning trees in sparse graphs with given degrees. European Journal of Combinatorics. 2017;63:6-25. doi:10.1016/j.ejc.2017.02.003
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 959 |
De Martino D. Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics. Physical Review E Statistical Nonlinear and Soft Matter Physics . 2017;95(6):062419. doi:10.1103/PhysRevE.95.062419
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 9590 |
Krivelevich M, Kwan MA, Sudakov B. Bounded-degree spanning trees in randomly perturbed graphs. SIAM Journal on Discrete Mathematics. 2017;31(1):155-171. doi:10.1137/15m1032910
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 962
Trinh M, Chu DH, Jaffar J. Model counting for recursively-defined strings. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:399-418. doi:10.1007/978-3-319-63390-9_21
View
| DOI
2017 | Conference Paper | IST-REx-ID: 963 |
Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.37
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 9660 |
Cheng B, Tribello GA, Ceriotti M. The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit. The Journal of Chemical Physics. 2017;147(10). doi:10.1063/1.4997180
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Journal Article | IST-REx-ID: 9661 |
Cheng B, Ceriotti M. Bridging the gap between atomistic and macroscopic models of homogeneous nucleation. The Journal of Chemical Physics. 2017;146(3). doi:10.1063/1.4973883
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic N, Schreiber F, Dal Co A, et al. Source data for figures and tables. 2017. doi:10.1371/journal.pgen.1007122.s018
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9845
Nikolic N, Schreiber F, Dal Co A, et al. Mathematical model. 2017. doi:10.1371/journal.pgen.1007122.s017
View
| Files available
| DOI