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.

7350 Publications


2017 | Journal Article | IST-REx-ID: 1187 | OA
Kiltz, Eike, et al. “Efficient Authentication from Hard Learning Problems.” Journal of Cryptology, vol. 30, no. 4, Springer, 2017, pp. 1238–75, doi:10.1007/s00145-016-9247-3.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1191 | OA
Kollár, Richard, and Sebastian Novak. “Existence of Traveling Waves for the Generalized F–KPP Equation.” Bulletin of Mathematical Biology, vol. 79, no. 3, Springer, 2017, pp. 525–59, doi:10.1007/s11538-016-0244-3.
View | DOI | Download Preprint (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1192 | OA
Kazda, Alexandr, et al. Even Delta-Matroids and the Complexity of Planar Boolean CSPs. SIAM, 2017, pp. 307–26, doi:10.1137/1.9781611974782.20.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee, Krishnendu, et al. Stochastic Invariants for Probabilistic Termination. Vol. 52, no. 1, ACM, 2017, pp. 145–60, doi:10.1145/3009837.3009873.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1196
Henzinger, Thomas A., and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.” Nonlinear Analysis: Hybrid Systems, vol. 23, Elsevier, 2017, pp. 166–90, doi:10.1016/j.nahs.2016.09.001.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1198 | OA
Moser, Thomas, and Robert Seiringer. “Triviality of a Model of Particles with Point Interactions in the Thermodynamic Limit.” Letters in Mathematical Physics, vol. 107, no. 3, Springer, 2017, pp. 533–52, doi:10.1007/s11005-016-0915-x.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1199 | OA
Barton, Nicholas H. “How Does Epistasis Influence the Response to Selection?” Heredity, vol. 118, Nature Publishing Group, 2017, pp. 96–109, doi:10.1038/hdy.2016.109.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1207 | OA
Bao, Zhigang, et al. “Local Law of Addition of Random Matrices on Optimal Scale.” Communications in Mathematical Physics, vol. 349, no. 3, Springer, 2017, pp. 947–90, doi:10.1007/s00220-016-2805-6.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1208 | OA
Zwiernik, Piotr, et al. “Maximum Likelihood Estimation for Linear Gaussian Covariance Models.” Journal of the Royal Statistical Society. Series B: Statistical Methodology, vol. 79, no. 4, Wiley-Blackwell, 2017, pp. 1269–92, doi:10.1111/rssb.12217.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1211 | OA
Budanur, Nazmi B., and Predrag Cvitanović. “Unstable Manifolds of Relative Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky System.” Journal of Statistical Physics, vol. 167, no. 3–4, Springer, 2017, pp. 636–55, doi:10.1007/s10955-016-1672-z.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 1213
Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to Study Polymerization Dynamics of FtsZ-FtsA Copolymers.” Cytokinesis, edited by Arnaud Echard, vol. 137, Academic Press, 2017, pp. 355–70, doi:10.1016/bs.mcb.2016.03.036.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 123 | OA
Waitukaitis, Scott R., et al. “Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained Bouncing.” Nature Physics, vol. 13, no. 11, Nature Publishing Group, 2017, pp. 1095–99, doi:10.1038/nphys4194.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1294 | OA
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences, vol. 84, Elsevier, 2017, pp. 144–70, doi:10.1016/j.jcss.2016.09.009.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1336 | OA
Paixao, Tiago, et al. “Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica, vol. 78, no. 2, Springer, 2017, pp. 681–713, doi:10.1007/s00453-016-0212-1.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1337 | OA
Ajanki, Oskari H., et al. “Universality for General Wigner-Type Matrices.” Probability Theory and Related Fields, vol. 169, no. 3–4, Springer, 2017, pp. 667–727, doi:10.1007/s00440-016-0740-2.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design, vol. 50, no. 2–3, Springer, 2017, pp. 97–139, doi:10.1007/s10703-016-0256-5.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
Giacobbe, Mirco, et al. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica, vol. 54, no. 8, Springer, 2017, pp. 765–87, doi:10.1007/s00236-016-0278-x.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1367 | OA
Manteaux, Pierre, et al. “Adaptive Physically Based Models in Computer Graphics.” Computer Graphics Forum, vol. 36, no. 6, Wiley-Blackwell, 2017, pp. 312–37, doi:10.1111/cgf.12941.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2, Elsevier, 2017, pp. 230–53, doi:10.1016/j.nahs.2016.04.006.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1000 | OA
Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary Variables for Natural Image Modeling.” 34th International Conference on Machine Learning, vol. 70, JMLR, 2017, pp. 1905–14.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov, Ruslan, et al. CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature. Vol. 36, no. 4, 64, ACM, 2017, doi:10.1145/3072959.3073709.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1002 | OA
Zhang, Ran, et al. Functionality-Aware Retargeting of Mechanisms to 3D Shapes. Vol. 36, no. 4, 81, ACM, 2017, doi:10.1145/3072959.3073710.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1003 | OA
Avni, Guy, et al. An Abstraction-Refinement Methodology for Reasoning about Network Games. AAAI Press, 2017, pp. 70–76, doi:10.24963/ijcai.2017/11.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1004 | OA
Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.” Current Opinion in Genetics & Development, vol. 45, Elsevier, 2017, pp. 82–89, doi:10.1016/j.gde.2017.03.010.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1006 | OA
Greenwood, Jenny, et al. “Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae.” BMC Genomics, vol. 18, no. 1, BioMed Central, 2017, p. 329, doi:10.1186/s12864-017-3705-7.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1007 | OA
Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.” Automatica, vol. 81C, IFAC, the International Federation of Automatic Control, 2017, pp. 46–55, doi:10.1016/j.automatica.2017.03.030.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee, Krishnendu, et al. “Optimizing Expectation with Guarantees in POMDPs.” Proceedings of the 31st AAAI Conference on Artificial Intelligence, vol. 5, AAAI Press, 2017, pp. 3725–32.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1010 | OA
Alt, Johannes, et al. “Local Law for Random Gram Matrices.” Electronic Journal of Probability, vol. 22, 25, Institute of Mathematical Statistics, 2017, doi:10.1214/17-EJP42.
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313, doi:10.1007/978-3-662-54434-1_11.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 10126 | OA
Vahid Belarghou, Afshin, et al. “Curvature Mediated Interactions in Highly Curved Membranes.” Biophysical Journal, vol. 112, no. 3, 391a, Elsevier , 2017, doi:10.1016/j.bpj.2016.11.2123.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1014 | OA
Fischer, Julian L., and Claudia Raithel. “Liouville Principles and a Large-Scale Regularity Theory for Random Elliptic Operators on the Half-Space.” SIAM Journal on Mathematical Analysis, vol. 49, no. 1, Society for Industrial and Applied Mathematics , 2017, pp. 82–114, doi:10.1137/16M1070384.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1015 | OA
Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional Ultracold Fermi Gases.” Scientific Reports, vol. 7, 45702, Nature Publishing Group, 2017, doi:10.1038/srep45702.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1016
Breuss, Martin, et al. “Uner Tan Syndrome Caused by a Homozygous TUBB2B Mutation Affecting Microtubule Stability.” Human Molecular Genetics, vol. 26, no. 2, Oxford University Press, 2017, pp. 258–69, doi:10.1093/hmg/ddw383.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1017 | OA
Breuss, Martin, et al. “Tubulins and Brain Development: The Origins of Functional Specification.” Molecular and Cellular Neuroscience, vol. 84, Academic Press, 2017, pp. 58–67, doi:10.1016/j.mcn.2017.03.002.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10175 | OA
Anza Hafsa, Omar, et al. “Homogenization of Nonconvex Unbounded Singular Integrals.” Annales Mathématiques Blaise Pascal, vol. 24, no. 2, Université Clermont Auvergne, 2017, pp. 135–93, doi:10.5802/ambp.367.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1018
Dobisova, Tereza, et al. “Light Regulated Expression of Sensor Histidine Kinase CKI1 Controls Cytokinin Related Development.” Plant Physiology, vol. 174, no. 1, American Society of Plant Biologists, 2017, pp. 387–404, doi:10.1104/pp.16.01964.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1019
Argyridou, Eliza, et al. “X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster.” Heredity, vol. 119, no. 1, Nature Publishing Group, 2017, pp. 27–34, doi:10.1038/hdy.2017.12.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1020 | OA
Caixeiro, Soraya, et al. “Disordered Cellulose Based Nanostructures for Enhanced Light Scattering.” ACS Applied Materials and Interfaces, vol. 9, no. 9, American Chemical Society, 2017, pp. 7885–90, doi:10.1021/acsami.6b15986.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1021 | OA
Lopez Alonso, Jose M., and Marc Avila. “Boundary Layer Turbulence in Experiments on Quasi Keplerian Flows.” Journal of Fluid Mechanics, vol. 817, Cambridge University Press, 2017, pp. 21–34, doi:10.1017/jfm.2017.109.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1022 | OA
Pranav, Pratyush, et al. “The Topology of the Cosmic Web in Terms of Persistent Betti Numbers.” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 4, Oxford University Press, 2017, pp. 4281–310, doi:10.1093/mnras/stw2862.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1023 | OA
Nemish, Yuriy. “Local Law for the Product of Independent Non-Hermitian Random Matrices with Independent Entries.” Electronic Journal of Probability, vol. 22, 22, Institute of Mathematical Statistics, 2017, doi:10.1214/17-EJP38.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1025
Heisenberg, Carl-Philipp J. “Cell Biology: Stretched Divisions.” Nature, vol. 543, no. 7643, Nature Publishing Group, 2017, pp. 43–44, doi:10.1038/nature21502.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 103 | OA
Albrecht, S. M., et al. “Transport Signatures of Quasiparticle Poisoning in a Majorana Island.” APS Physics, Physical Review Letters, vol. 118, no. 13, 137701, American Physical Society, 2017, doi:10.1103/PhysRevLett.118.137701.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1030 | OA
Villányi, Márton. “Ein Freies Bibliothekssystem Für Wissenschaftliche Bibliotheken – Werkstattbericht Der IST Austria Library.” Informationspraxis, vol. 3, no. 1, Univ.-Bibliothek Heidelberg, 2017, doi:10.11588/ip.2017.1.35227.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10369 | OA
Simunovic, Mijo, et al. “Long-Range Organization of Membrane-Curving Proteins.” ACS Central Science, vol. 3, no. 12, American Chemical Society, 2017, pp. 1246–53, doi:10.1021/acscentsci.7b00392.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 10370 | OA
Helle, Sebastian Carsten Johannes, et al. “Mechanical Force Induces Mitochondrial Fission.” ELife, vol. 6, e30292, eLife Sciences Publications, 2017, doi:10.7554/elife.30292.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 10373 | OA
Wirnsberger, Peter, et al. “Numerical Evidence for Thermally Induced Monopoles.” Proceedings of the National Academy of Sciences, vol. 114, no. 19, National Academy of Sciences, 2017, pp. 4911–14, doi:10.1073/pnas.1621494114.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 10374 | OA
Meisl, Georg, et al. “Scaling Behaviour and Rate-Determining Steps in Filamentous Self-Assembly.” Chemical Science, vol. 8, no. 10, Royal Society of Chemistry, 2017, pp. 7087–97, doi:10.1039/c7sc01965c.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 10375 | OA
Vahid, Afshin, et al. “Curvature Variation Controls Particle Aggregation on Fluid Vesicles.” Soft Matter, vol. 13, no. 28, Royal Society of Chemistry, 2017, pp. 4924–30, doi:10.1039/c7sm00433h.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 10416 | OA
Chatterjee, Krishnendu, et al. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 30, Association for Computing Machinery, 2017, doi:10.1145/3158118.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 10417 | OA
Chalupa, Marek, et al. “Data-Centric Dynamic Partial Order Reduction.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 31, Association for Computing Machinery, 2017, doi:10.1145/3158119.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 10418 | OA
Mciver, Annabelle, et al. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 33, Association for Computing Machinery, 2017, doi:10.1145/3158121.
View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez, Abraham, et al. “Exact Goodness-of-Fit Testing for the Ising Model.” Scandinavian Journal of Statistics, vol. 44, no. 2, Wiley-Blackwell, 2017, pp. 285–306, doi:10.1111/sjos.12251.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 265
Browning, Timothy D., and Pankaj Vishe. “Rational Curves on Smooth Hypersurfaces of Low Degree.” Geometric Methods in Algebra and Number Theory, vol. 11, no. 7, Mathematical Sciences Publishers, 2017, pp. 1657–75, doi:10.2140/ant.2017.11.1657.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 266 | OA
Browning, Timothy D., and Roger Heath Brown. “Forms in Many Variables and Differing Degrees.” Journal of the European Mathematical Society, vol. 19, no. 2, European Mathematical Society Publishing House, 2017, pp. 357–94, doi:10.4171/JEMS/668.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 267
Browning, Timothy D. “Many Cubic Surfaces Contain Rational Points.” Mathematika, vol. 63, no. 3, Cambridge University Press, 2017, pp. 818–39, doi:10.1112/S0025579317000195.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 268 | OA
Browning, Timothy D., and Sean Prendiville. “A Transference Approach to a Roth-Type Theorem in the Squares.” International Mathematics Research Notices, vol. 2017, no. 7, Oxford University Press, 2017, pp. 2219–48, doi:10.1093/imrn/rnw096.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 269 | OA
Browning, Timothy D., and Daniel Loughran. “Varieties with Too Many Rational Points.” Mathematische Zeitschrift, vol. 285, no. 3–4, Springer, 2017, pp. 1249–67, doi:10.1007/s00209-016-1746-2.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 270 | OA
Browning, Timothy D., and Alexander Gorodnik. “Power-Free Values of Polynomials on Symmetric Varieties.” Proceedings of the London Mathematical Society, vol. 114, no. 6, Wiley Blackwell, 2017, pp. 1044–80, doi:10.1112/plms.12030.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 271 | OA
Browning, Timothy D., and Sean Prendiville. “Improvements in Birch’s Theorem on Forms in Many Variables.” Journal Fur Die Reine Und Angewandte Mathematik, vol. 2017, no. 731, Walter de Gruyter, 2017, pp. 203–34, doi:doi.org/10.1515/crelle-2014-0122.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 272 | OA
Browning, Timothy D., and Lilian Matthiesen. “Norm Forms for Arbitrary Number Fields as Products of Linear Polynomials.” Annales Scientifiques de l’Ecole Normale Superieure, vol. 50, no. 6, Societe Mathematique de France, 2017, pp. 1383–446, doi:10.24033/asens.2348.
View | DOI | Download (ext.)
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” Proceedings of the 31st Conference On Learning Theory, vol. 75, PMLR, 2017, pp. 228–49.
View | Files available | arXiv
 

2017 | Journal Article | IST-REx-ID: 93 | OA
Menke, Tim, et al. “Reconfigurable Re-Entrant Cavity for Wireless Coupling to an Electro-Optomechanical Device.” Review of Scientific Instruments, vol. 88, no. 9, 094701, American Institute of Physics, 2017, doi:10.1063/1.5000973.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 934
Scheele, Colinda, et al. “Identity and Dynamics of Mammary Stem Cells during Branching Morphogenesis.” Nature, vol. 542, no. 7641, Nature Publishing Group, 2017, pp. 313–17, doi:10.1038/nature21046.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 936
Sedzinski, Jakub, et al. “RhoA Regulates Actin Network Dynamics during Apical Surface Emergence in Multiciliated Epithelial Cells .” Journal of Cell Science, vol. 130, no. 5, Company of Biologists, 2017, doi:10.1242/jcs.202234.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 937
Pinheiro, Diana, et al. “Transmission of Cytokinesis Forces via E Cadherin Dilution and Actomyosin Flows.” Nature, vol. 545, no. 7652, Nature Publishing Group, 2017, pp. 103–07, doi:10.1038/nature22041.
View | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski, Maciek. Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana . IST Austria, 2017, doi:10.15479/AT:ISTA:th_842.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 939 | OA
Midya, Bikashkali, and Vladimir Konotop. “Waveguides with Absorbing Boundaries: Nonlinearity Controlled by an Exceptional Point and Solitons.” Physical Review Letters, vol. 119, no. 3, 033905, American Physical Society, 2017, doi:10.1103/PhysRevLett.119.033905.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 94 | OA
Rosenthal, Eric, et al. “Breaking Lorentz Reciprocity with Frequency Conversion and Delay.” APS Physics, Physical Review Letters, vol. 119, no. 14, 147703, American Physical Society, 2017, doi:10.1103/PhysRevLett.119.147703.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 941
Le, Xuan, et al. “JFIX: Semantics-Based Repair of Java Programs via Symbolic  PathFinder.” Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–79, doi:10.1145/3092703.3098225.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 942
Le, Xuan, et al. S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples. Vol. F130154, ACM, 2017, pp. 593–604, doi:10.1145/3106237.3106309.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 943 | OA
Zagórski, Marcin P., et al. “Decoding of Position in the Developing Neural Tube from Antiparallel Morphogen Gradients.” Science, vol. 356, no. 6345, American Association for the Advancement of Science, 2017, pp. 1379–83, doi:10.1126/science.aam5887.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 944
Beattie, Robert J., et al. “Mosaic Analysis with Double Markers Reveals Distinct Sequential Functions of Lgl1 in Neural Stem Cells.” Neuron, vol. 94, no. 3, Cell Press, 2017, p. 517–533.e3, doi:10.1016/j.neuron.2017.04.012.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9445 | OA
Lyons, David B., and Daniel Zilberman. “DDM1 and Lsh Remodelers Allow Methylation of DNA Wrapped in Nucleosomes.” ELife, vol. 6, e30674, eLife Sciences Publications, 2017, doi:10.7554/elife.30674.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 945 | OA
Huylmans, Ann K., et al. “Global Dosage Compensation Is Ubiquitous in Lepidoptera, but Counteracted by the Masculinization of the Z Chromosome.” Molecular Biology and Evolution, vol. 34, no. 10, Oxford University Press, 2017, pp. 2637–49, doi:10.1093/molbev/msx190.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 946 | OA
von Wangenheim, Daniel, et al. “Live Tracking of Moving Samples in Confocal Microscopy for Vertically Grown Roots.” ELife, vol. 6, e26792, eLife Sciences Publications, 2017, doi:10.7554/eLife.26792.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 947 | OA
De Martino, Daniele, et al. “Quantifying the Entropic Cost of Cellular Growth Control.” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 96, no. 1, 010401, American Institute of Physics, 2017, doi:10.1103/PhysRevE.96.010401.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, 17, 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 | OA
Zilberman, Daniel. “An Evolutionary Case for Functional Gene Body Methylation in Plants and Animals.” Genome Biology, vol. 18, no. 1, 87, Springer Nature, 2017, doi:10.1186/s13059-017-1230-2.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 951 | OA
Schmidt, Tom, et al. “Local Introduction and Heterogeneous Spatial Spread of Dengue-Suppressing Wolbachia through an Urban Population of Aedes Aegypti.” PLoS Biology, vol. 15, no. 5, e2001894, Public Library of Science, 2017, doi:10.1371/journal.pbio.2001894.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 952 | OA
Turelli, Michael, and Nicholas H. Barton. “Deploying Dengue-Suppressing Wolbachia: Robust Models Predict Slow but Effective Spatial Spread in Aedes Aegypti.” Theoretical Population Biology, vol. 115, Elsevier, 2017, pp. 45–60, doi:10.1016/j.tpb.2017.03.003.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 953 | OA
Charlesworth, Deborah, et al. “The Sources of Adaptive Evolution.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 284, no. 1855, 20162864, Royal Society, The, 2017, doi:10.1098/rspb.2016.2864.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 954 | OA
Lagator, Mato, et al. “On the Mechanistic Nature of Epistasis in a Canonical Cis-Regulatory Element.” ELife, vol. 6, e25192, eLife Sciences Publications, 2017, doi:10.7554/eLife.25192.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 955 | OA
Friedlander, Tamar, et al. “Evolution of New Regulatory Functions on Biophysically Realistic Fitness Landscapes.” Nature Communications, vol. 8, no. 1, 216, Nature Publishing Group, 2017, doi:10.1038/s41467-017-00238-8.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 956 | OA
Carlen, Eric, and Jan Maas. “Gradient Flow and Entropy Inequalities for Quantum Markov Semigroups with Detailed Balance.” Journal of Functional Analysis, vol. 273, no. 5, Academic Press, 2017, pp. 1810–69, doi:10.1016/j.jfa.2017.05.003.
View | DOI | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 957
Clifton, Ben, et al. “Ancestral Protein Reconstruction and Circular Permutation for Improving the Stability and Dynamic Range of FRET Sensors.” Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 71–87, doi:10.1007/978-1-4939-6940-1_5.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9574 | OA
Bandeira, Afonso S., et al. “Resilience for the Littlewood-Offord Problem.” Electronic Notes in Discrete Mathematics, vol. 61, Elsevier, 2017, pp. 93–99, doi:10.1016/j.endm.2017.06.025.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Book Chapter | IST-REx-ID: 958
Mitchell, Joshua, et al. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.” Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 89–99, doi:10.1007/978-1-4939-6940-1_6.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9588 | OA
Bandeira, Afonso S., et al. “Resilience for the Littlewood–Offord Problem.” Advances in Mathematics, vol. 319, Elsevier, 2017, pp. 292–312, doi:10.1016/j.aim.2017.08.031.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9589 | OA
Greenhill, Catherine, et al. “The Average Number of Spanning Trees in Sparse Graphs with given Degrees.” European Journal of Combinatorics, vol. 63, Elsevier, 2017, pp. 6–25, doi:10.1016/j.ejc.2017.02.003.
View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 959 | OA
De Martino, Daniele. “Scales and Multimodal Flux Distributions in Stationary Metabolic Network Models via Thermodynamics.” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 95, no. 6, American Institute of Physics, 2017, p. 062419, doi:10.1103/PhysRevE.95.062419.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9590 | OA
Krivelevich, Michael, et al. “Bounded-Degree Spanning Trees in Randomly Perturbed Graphs.” SIAM Journal on Discrete Mathematics, vol. 31, no. 1, Society for Industrial & Applied Mathematics, 2017, pp. 155–71, doi:10.1137/15m1032910.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 960 | OA
Hansen, Andi H., et al. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.” Frontiers in Cellular Neuroscience, vol. 11, 176, Frontiers Research Foundation, 2017, doi:10.3389/fncel.2017.00176.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 962
Trinh, Minh, et al. Model Counting for Recursively-Defined Strings. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 399–418, doi:10.1007/978-3-319-63390-9_21.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni, Guy, et al. Timed Network Games with Clocks. Vol. 83, 37, 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 | OA
Cheng, Bingqing, et al. “The Gibbs Free Energy of Homogeneous Nucleation: From Atomistic Nuclei to the Planar Limit.” The Journal of Chemical Physics, vol. 147, no. 10, 104707, AIP Publishing, 2017, doi:10.1063/1.4997180.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 9661 | OA
Cheng, Bingqing, and Michele Ceriotti. “Bridging the Gap between Atomistic and Macroscopic Models of Homogeneous Nucleation.” The Journal of Chemical Physics, vol. 146, no. 3, 034106, AIP Publishing, 2017, doi:10.1063/1.4973883.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Research Data Reference | IST-REx-ID: 9707
Riccio, Paul, et al. Data from: Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis. Dryad, 2017, doi:10.5061/dryad.pk16b.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Prentice, Jason, et al. Data from: Error-Robust Modes of the Retinal Population Code. Dryad, 2017, doi:10.5061/dryad.1f1rc.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9842
Etheridge, Alison, and Nicholas H. Barton. Data for: Establishment in a New Habitat by Polygenic Adaptation. Mendeley Data, 2017, doi:10.17632/nw68fxzjpm.1.
View | Files available | DOI
 

Search

Filter Publications