Please note that IST 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.

3201 Publications


2017 | Journal Article | IST-REx-ID: 1019
E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster,” Heredity, vol. 119, no. 1. Nature Publishing Group, pp. 27–34, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1020 | OA
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, and R. Sapienza, “Disordered cellulose based nanostructures for enhanced light scattering,” ACS Applied Materials and Interfaces, vol. 9, no. 9. American Chemical Society, pp. 7885–7890, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1021 | OA
J. M. Lopez Alonso and M. Avila, “Boundary layer turbulence in experiments on quasi Keplerian flows,” Journal of Fluid Mechanics, vol. 817. Cambridge University Press, pp. 21–34, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1022 | OA
P. Pranav 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, pp. 4281–4310, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1023 | OA
Y. Nemish, “Local law for the product of independent non-Hermitian random matrices with independent entries,” Electronic Journal of Probability, vol. 22. Institute of Mathematical Statistics, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1025
C.-P. J. Heisenberg, “Cell biology: Stretched divisions,” Nature, vol. 543, no. 7643. Nature Publishing Group, pp. 43–44, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1026
V. Agus and H. L. Janovjak, “Optogenetic methods in drug screening: Technologies and applications,” Current Opinion in Biotechnology, vol. 48. Elsevier, pp. 8–14, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1028 | OA
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” Angewandte Chemie - International Edition, vol. 56, no. 16. Wiley-Blackwell, pp. 4608–4611, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1030 | OA
M. Villányi, “Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library,” Informationspraxis, vol. 3, no. 1. Univ.-Bibliothek Heidelberg, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1063 | OA
H. Uecker, “Evolutionary rescue in randomly mating, selfing, and clonal populations,” Evolution, vol. 71, no. 4. Wiley-Blackwell, pp. 845–858, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1065 | OA
K. Chatterjee and G. F. Osang, “Pushdown reachability with constant treewidth,” Information Processing Letters, vol. 122. Elsevier, pp. 25–29, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1066
K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, “Quantitative fair simulation games,” Information and Computation, vol. 254, no. 2. Elsevier, pp. 143–166, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1067 | OA
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, and C.-P. J. Heisenberg, “The physical basis of coordinated tissue spreading in zebrafish gastrulation,” Developmental Cell, vol. 40, no. 4. Cell Press, pp. 354–366, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1072 | OA
U. Bauer and H. Edelsbrunner, “The Morse theory of Čech and delaunay complexes,” Transactions of the American Mathematical Society, vol. 369, no. 5. American Mathematical Society, pp. 3741–3762, 2017.
View | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 1073 | OA
M. Čadek, M. Krcál, and L. Vokřínek, “Algorithmic solvability of the lifting extension problem,” Discrete & Computational Geometry, vol. 54, no. 4. Springer, pp. 915–965, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1074 | OA
H. Ringbauer, G. Coop, and N. H. Barton, “Inferring recent demography from isolation by distance of long shared sequence blocks,” Genetics, vol. 205, no. 3. Genetics Society of America, pp. 1335–1351, 2017.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 1076 | OA
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, and C. Keitel, “Strong-field ionization via a high-order Coulomb-corrected strong-field approximation,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 95, no. 2. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1077 | OA
R. A. Fernandes Redondo, H. de Vladar, T. Włodarski, and J. P. Bollback, “Evolutionary interplay between structure, energy and epistasis in the coat protein of the fX174 phage family,” Journal of the Royal Society Interface, vol. 14, no. 126. Royal Society of London, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1078 | OA
D. von Wangenheim, R. Hauschild, and J. Friml, “Light sheet fluorescence microscopy of plant roots growing on the surface of a gel,” Journal of visualized experiments JoVE, vol. 2017, no. 119. Journal of Visualized Experiments, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1079 | OA
P. Nam and H. Van Den Bosch, “Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges,” Mathematical Physics, Analysis and Geometry, vol. 20, no. 2. Springer, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1080 | OA
J. Reiter et al., “Reconstructing metastatic seeding patterns of human cancers,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1084
C. Fang et al., “Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis,” Molecular Microbiology, vol. 104, no. 1. Wiley-Blackwell, pp. 16–31, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1085 | OA
A. Wright et al., “Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1086 | OA
M. Di Giglio et al., “Development of a human vasopressin V1a-receptor antagonist from an evolutionary-related insect neuropeptide,” Scientific Reports, vol. 7. Nature Publishing Group, p. 41002, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1087 | OA
B. Song, D. Barkley, B. Hof, and M. Avila, “Speed and structure of turbulent fronts in pipe flow,” Journal of Fluid Mechanics, vol. 813. Cambridge University Press, pp. 1045–1059, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1089 | OA
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, and P. Zwiernik, “Total positivity in Markov structures,” Annals of Statistics, vol. 45, no. 3. Institute of Mathematical Statistics, pp. 1152–1184, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1104 | OA
S. Deny et al., “Multiplexed computations in retinal ganglion cells of a single type,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1108 | OA
A. Zimin and C. Lampert, “Learning theory for conditional risk minimization,” presented at the AISTATS: Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 213–222.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1109 | OA
B. Shepperson et al., “Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free,” Physical Review Letters, vol. 118, no. 20. American Physical Society, 2017.
View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 1110 | OA
B. Kuhn et al., “Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1111 | OA
J. Heredia, B. Trubenova, D. Sudholt, and T. Paixao, “Selection limits to adaptive walks on correlated landscapes,” Genetics, vol. 205, no. 2. Genetics Society of America, pp. 803–825, 2017.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 1112
T. Paixao and J. Pérez Heredia, “An application of stochastic differential equations to evolutionary algorithms,” in Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Copenhagen, Denmark, 2017, pp. 3–11.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1113 | OA
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” Journal of Graph Algorithms and Applications, vol. 21, no. 1. Brown University, pp. 135–154, 2017.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 1114 | OA
J. M. Fink, A. Dombi, A. Vukics, A. Wallraff, and P. Domokos, “Observation of the photon blockade breakdown phase transition,” Physical Review X, vol. 7, no. 1. American Physical Society, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1116 | OA
G. Avni, S. Goel, T. A. Henzinger, and G. Rodríguez Navas, “Computing scores of forwarding schemes in switched networks with probabilistic faults,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10206, pp. 169–187.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1117 | OA
C. Chen, itaru Arai, R. Satterield, S. Young, and P. M. Jonas, “Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse,” Cell Reports, vol. 18, no. 3. Cell Press, pp. 723–736, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1118 | OA
J. Gan, S.-M. Weng, A. Pernia-Andrade, J. L. Csicsvari, and P. M. Jonas, “Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo,” Neuron, vol. 93, no. 2. Elsevier, pp. 308–314, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1119 | OA
M. Lemeshko, “Quasiparticle approach to molecules interacting with quantum solvents,” Physical Review Letters, vol. 118, no. 9. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1120 | OA
X. Li, R. Seiringer, and M. Lemeshko, “Angular self-localization of impurities rotating in a bosonic bath,” Physical Review A, vol. 95, no. 3. American Physical Society, 2017.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1132 | OA
J. O’Neill, C. N. Boccara, F. Stella, P. Schönenberger, and J. L. Csicsvari, “Superficial layers of the medial entorhinal cortex replay independently of the hippocampus,” Science, vol. 355, no. 6321. American Association for the Advancement of Science, pp. 184–188, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1133 | OA
E. Yakaboylu and M. Lemeshko, “Anomalous screening of quantum impurities by a neutral environment,” Physical Review Letters, vol. 118, no. 8. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
L. Erdös and D. J. Schröder, “Fluctuations of functions of Wigner matrices,” Electronic Communications in Probability, vol. 21. Institute of Mathematical Statistics, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1146
W. Sun et al., “Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels,” Clinical Nutrition, vol. 36, no. 4. Churchill Livingstone, pp. 1136–1142, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1152 | OA
E. P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, and J. Alvarez Aramberri, “A multi objective memetic inverse solver reinforced by local optimization methods,” Journal of Computational Science, vol. 18. Elsevier, pp. 85–94, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
P. Daca, “Statistical and logical methods for property checking,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1159 | OA
W. Steenackers et al., “Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation,” Plant Physiology, vol. 173, no. 1. American Society of Plant Biologists, pp. 552–565, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1160 | OA
S. Altmeyer, Y. Do, and Y. Lai, “Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1161
J. Müller and M. K. Sixt, “Cell migration: Making the waves,” Current Biology, vol. 27, no. 1. Cell Press, pp. R24–R25, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1162 | OA
J. Spałek, M. Zegrodnik, and J. Kaczmarczyk, “Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment,” Physical Review B - Condensed Matter and Materials Physics, vol. 95, no. 2. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1163
M. Wysokiński and J. Kaczmarczyk, “Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms,” Journal of Physics: Condensed Matter, vol. 29, no. 8. IOP Publishing Ltd., 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1168 | OA
E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” Statistical Methods and Applications, vol. 26, no. 3. Springer, pp. 403–418, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1169 | OA
S. Novak and R. Kollár, “Spatial gene frequency waves under genotype dependent dispersal,” Genetics, vol. 205, no. 1. Genetics Society of America, pp. 367–374, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1173 | OA
H. Edelsbrunner, A. Glazyrin, O. Musin, and A. Nikitenko, “The Voronoi functional is maximized by the Delaunay triangulation in the plane,” Combinatorica, vol. 37, no. 5. Springer, pp. 887–910, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1174 | OA
M. Skórski, “Lower bounds on key derivation for square-friendly applications,” presented at the STACS: Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 2017, vol. 66.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1175 | OA
J. F. Alwen, S. De Rezende, J. Nordstrom, and M. Vinyals, “Cumulative space in black-white pebbling and resolution,” presented at the ITCS: Innovations in Theoretical Computer Science, Berkeley, CA, United States, 2017, vol. 67, p. 38:1-38-21.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1176 | OA
J. F. Alwen and J. Blocki, “Towards practical attacks on Argon2i and balloon hashing,” presented at the EuroS&P: European Symposium on Security and Privacy, Paris, France, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1180 | OA
A. Akopyan, I. Bárány, and S. Robins, “Algebraic vertices of non-convex polyhedra,” Advances in Mathematics, vol. 308. Academic Press, pp. 627–644, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1187 | OA
E. Kiltz, K. Z. Pietrzak, D. Venturi, D. Cash, and A. Jain, “Efficient authentication from hard learning problems,” Journal of Cryptology, vol. 30, no. 4. Springer, pp. 1238–1275, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1191 | OA
R. Kollár and S. Novak, “Existence of traveling waves for the generalized F–KPP equation,” Bulletin of Mathematical Biology, vol. 79, no. 3. Springer, pp. 525–559, 2017.
View | DOI | Download Preprint (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1192 | OA
A. Kazda, V. Kolmogorov, and M. Rolinek, “Even delta-matroids and the complexity of planar Boolean CSPs,” presented at the SODA: Symposium on Discrete Algorithms, Barcelona, Spain, 2017, pp. 307–326.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1194 | OA
K. Chatterjee, P. Novotný, and D. Zikelic, “Stochastic invariants for probabilistic termination,” presented at the POPL: Principles of Programming Languages, Paris, France, 2017, vol. 52, no. 1, pp. 145–160.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1196
T. A. Henzinger and J. Otop, “Model measuring for discrete and hybrid systems,” Nonlinear Analysis: Hybrid Systems, vol. 23. Elsevier, pp. 166–190, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1198 | OA
T. Moser and R. Seiringer, “Triviality of a model of particles with point interactions in the thermodynamic limit,” Letters in Mathematical Physics, vol. 107, no. 3. Springer, pp. 533–552, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1199 | OA
N. H. Barton, “How does epistasis influence the response to selection?,” Heredity, vol. 118. Nature Publishing Group, pp. 96–109, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1207 | OA
Z. Bao, L. Erdös, and K. Schnelli, “Local law of addition of random matrices on optimal scale,” Communications in Mathematical Physics, vol. 349, no. 3. Springer, pp. 947–990, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1208 | OA
P. Zwiernik, C. Uhler, and D. Richards, “Maximum likelihood estimation for linear Gaussian covariance models,” Journal of the Royal Statistical Society. Series B: Statistical Methodology, vol. 79, no. 4. Wiley-Blackwell, pp. 1269–1292, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1211 | OA
N. B. Budanur and P. 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, pp. 636–655, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1213
N. S. Baranova and M. Loose, “Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers,” Methods in Cell Biology, vol. 137. Academic Press, pp. 355–370, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
U. Sauerzopf et al., “Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence,” European Journal of Neuroscience, vol. 45, no. 1. Wiley-Blackwell, pp. 45–57, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 909 | OA
A. Akopyan and V. Vysotsky, “On the lengths of curves passing through boundary points of a planar convex shape,” The American Mathematical Monthly, vol. 124, no. 7. Mathematical Association of America, pp. 588–596, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 910 | OA
S. Novak and N. H. Barton, “When does frequency-independent selection maintain genetic variation?,” Genetics, vol. 207, no. 2. Genetics Society of America, pp. 653–668, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 911 | OA
A. Royer, A. Kolesnikov, and C. Lampert, “Probabilistic image colorization,” presented at the BMVC: British Machine Vision Conference, London, United Kingdom, 2017, p. 85.1-85.12.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 912 | OA
A. Deuchert, “A lower bound for the BCS functional with boundary conditions at infinity,” Journal of Mathematical Physics, vol. 58, no. 8. AIP, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 914 | OA
J. Giehr, A. V. Grasse, S. Cremer, J. Heinze, and A. Schrempf, “Ant queens increase their reproductive efforts after pathogen infection,” Royal Society Open Science, vol. 4, no. 7. Royal Society, The, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 915 | OA
P. Swoboda and B. Andres, “A message passing algorithm for the minimum cost multicut problem,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 4990–4999.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 916 | OA
P. Swoboda, C. Rother, C. Abu Alhaija, D. Kainmueller, and B. Savchynskyy, “A study of lagrangean decompositions and dual ascent solvers for graph matching,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 7062–7071.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 917 | OA
P. Swoboda, J. Kuske, and B. Savchynskyy, “A dual ascent framework for Lagrangean decomposition of combinatorial problems,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 4950–4960.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
M. Adamowski, “Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana ,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 939 | OA
B. Midya and V. Konotop, “Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons,” Physical Review Letters, vol. 119, no. 3. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 941
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic  PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 942
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “S3: Syntax- and semantic-guided repair synthesis via programming by examples,” presented at the FSE: Foundations of Software Engineering, Paderborn, Germany, 2017, vol. F130154, pp. 593–604.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 943 | OA
M. P. Zagórski 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, pp. 1379–1383, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 944
R. J. Beattie et al., “Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells,” Neuron, vol. 94, no. 3. Cell Press, p. 517–533.e3, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 945 | OA
A. K. Huylmans, A. Macon, and B. Vicoso, “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, pp. 2637–2649, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 946 | OA
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, and J. Friml, “Live tracking of moving samples in confocal microscopy for vertically grown roots,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 947 | OA
D. De Martino, F. Capuani, and A. De Martino, “Quantifying the entropic cost of cellular growth control,” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 96, no. 1. American Institute of Physics, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 951 | OA
T. Schmidt 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. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 952 | OA
M. Turelli and N. H. Barton, “Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti,” Theoretical Population Biology, vol. 115. Elsevier, pp. 45–60, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 953 | OA
D. Charlesworth, N. H. Barton, and B. Charlesworth, “The sources of adaptive evolution,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 284, no. 1855. Royal Society, The, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 954 | OA
M. Lagator, T. Paixao, N. H. Barton, J. P. Bollback, and C. C. Guet, “On the mechanistic nature of epistasis in a canonical cis-regulatory element,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 955 | OA
T. Friedlander, R. Prizak, N. H. Barton, and G. Tkačik, “Evolution of new regulatory functions on biophysically realistic fitness landscapes,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 956 | OA
E. Carlen and J. Maas, “Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance,” Journal of Functional Analysis, vol. 273, no. 5. Academic Press, pp. 1810–1869, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 957
B. Clifton et al., “Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 71–87.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 958
J. Mitchell et al., “Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 89–99.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 959 | OA
D. De Martino, “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, p. 062419, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 960 | OA
A. H. Hansen, C. F. Düllberg, C. Mieck, M. Loose, and S. Hippenmeyer, “Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks,” Frontiers in Cellular Neuroscience, vol. 11. Frontiers Research Foundation, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961 | OA
V. Barone, “Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 962
M. Trinh, D. H. Chu, and J. Jaffar, “Model counting for recursively-defined strings,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 399–418.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark, 2017, vol. 83.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications