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.

5785 Publications


2017 | Journal Article | IST-REx-ID: 732 | OA
Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour
C. Pull, S. Cremer, BMC Evolutionary Biology 17 (2017).
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 726 | OA
A unifying theory of branching morphogenesis
E.B. Hannezo, C. Scheele, M. Moad, N. Drogo, R. Heer, R. Sampogna, J. Van Rheenen, B. Simons, Cell 171 (2017) 242–255.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 548 | OA [Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 673 | OA [Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 447 | OA
Fluctuations of the competition interface in presence of shocks
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 557 | OA
AAV2 mediated transduction of the mouse retina after optic nerve injury
R. Nickells, H. Schmitt, M.E. Maes, C. Schlamp, Investigative Ophthalmology and Visual Science 58 (2017) 6091–6104.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 997 | OA
Emergence of non-abelian magnetic monopoles in a quantum impurity problem
E. Yakaboylu, A. Deuchert, M. Lemeshko, Physical Review Letters 119 (2017).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Conference Paper | IST-REx-ID: 911 | OA
Probabilistic image colorization
A. Royer, A. Kolesnikov, C. Lampert, in:, BMVA Press, 2017, p. 85.1-85.12.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 627 | OA
Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity
C. Jiang, M.-Z. Zhai, D. Yan, D. Li, C. Li, Y. Zhang, L. Xiao, D. Xiong, Q. Deng, W. Sun, Oncotarget 8 (2017) 75114–75126.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1007 | OA
Zeros of nonlinear systems with input invariances
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
[Published Version] View | Files available | DOI | WoS
 

2017 | Conference Paper | IST-REx-ID: 1108 | OA
Learning theory for conditional risk minimization
A. Zimin, C. Lampert, in:, ML Research Press, 2017, pp. 213–222.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 909 | OA
On the lengths of curves passing through boundary points of a planar convex shape
A. Akopyan, V. Vysotsky, The American Mathematical Monthly 124 (2017) 588–596.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Conference Paper | IST-REx-ID: 431 | OA
QSGD: Communication-efficient SGD via gradient quantization and encoding
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, M. Vojnović, in:, Neural Information Processing Systems Foundation, 2017, pp. 1710–1721.
[Submitted Version] View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 549 | OA
Causality-based model checking
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
Multi-task learning with labeled and unlabeled tasks
A. Pentina, C. Lampert, in:, ML Research Press, 2017, pp. 2807–2816.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 459 | OA
Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern
S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.
[Published Version] View | Files available
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, C. Zhang, in:, Proceedings of Machine Learning Research, ML Research Press, 2017, pp. 4035–4043.
[Submitted Version] View | Files available
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
A faster approximation algorithm for the Gibbs partition function
V. Kolmogorov, in:, Proceedings of the 31st Conference On Learning Theory, ML Research Press, 2017, pp. 228–249.
[Published Version] View | Files available | arXiv
 

2017 | Journal Article | IST-REx-ID: 1030 | OA [Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 12193 | OA
Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis
J. Walker, H. Gao, J. Zhang, B. Aldridge, M. Vickers, J.D. Higgins, X. Feng, Nature Genetics 50 (2017) 130–137.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14309 | OA
Molecular engineering of chiral colloidal liquid crystals using DNA origami
M. Siavashpouri, C. Wachauf, M. Zakhary, F.M. Praetorius, H. Dietz, Z. Dogic, Nature Materials 16 (2017) 849–856.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1194 | OA
Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Book Chapter | IST-REx-ID: 545 | OA
Vascular tissue development and regeneration in the model plant arabidopsis
E. Mazur, J. Friml, in:, S. Jurić (Ed.), Plant Engineering, InTech, 2017, pp. 113–140.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 621 | OA
Mechanisms of radial glia progenitor cell lineage progression
R.J. Beattie, S. Hippenmeyer, FEBS Letters 591 (2017) 3993–4008.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Research Data | IST-REx-ID: 5562 | OA
Multi-electrode array recording from salamander retinal ganglion cells
O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, M. Berry, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5561 | OA
Graph matching problems for annotating C. Elegans
D. Kainmueller, F. Jug, C. Rother, G. Meyers, (2017).
[Published Version] View | Files available | DOI
 
 

2017 | Thesis | IST-REx-ID: 839 | OA
Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 614 | OA
The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W
C. Fraisse, M.A.L. Picard, B. Vicoso, Nature Communications 8 (2017).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Research Data | IST-REx-ID: 5564 | OA [Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5568 | OA [Published Version] View | Files available | DOI
 
 

2017 | Research Data | IST-REx-ID: 5570 | OA
Forward migration indexes
R. Hauschild, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5567 | OA
Immunological synapse DC-Tcells
A.F. Leithner, (2017).
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5560 | OA
Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity
T. Bergmiller, A.M. Andersson, K. Tomasek, E. Balleza, D. Kiviet, R. Hauschild, G. Tkačik, C.C. Guet, (2017).
[Published Version] View | Files available | DOI
 
 

2017 | Research Data | IST-REx-ID: 5559 | OA
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak , (2017).
[Published Version] View | Files available | DOI
 
 

2017 | Journal Article | IST-REx-ID: 946 | OA
Live tracking of moving samples in confocal microscopy for vertically grown roots
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, J. Friml, ELife 6 (2017).
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1078 | OA
Light sheet fluorescence microscopy of plant roots growing on the surface of a gel
D. von Wangenheim, R. Hauschild, J. Friml, Journal of Visualized Experiments JoVE 2017 (2017).
[Published Version] View | Files available | DOI | WoS
 

2017 | Research Data | IST-REx-ID: 5565 | OA [Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5566 | OA [Published Version] View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 424 | OA
Bounding helly numbers via betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 463 | OA [Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 996 | OA
Strongly aligned molecules inside helium droplets in the near-adiabatic regime
B. Shepperson, A. Chatterley, A. Søndergaard, L. Christiansen, M. Lemeshko, H. Stapelfeldt, The Journal of Chemical Physics 147 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

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

2017 | Journal Article | IST-REx-ID: 265 | OA
Rational curves on smooth hypersurfaces of low degree
T.D. Browning, P. Vishe, Geometric Methods in Algebra and Number Theory 11 (2017) 1657–1675.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 266 | OA
Forms in many variables and differing degrees
T.D. Browning, R. Heath Brown, Journal of the European Mathematical Society 19 (2017) 357–394.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 270 | OA
Power-free values of polynomials on symmetric varieties
T.D. Browning, A. Gorodnik, Proceedings of the London Mathematical Society 114 (2017) 1044–1080.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 268 | OA
A transference approach to a Roth-type theorem in the squares
T.D. Browning, S. Prendiville, International Mathematics Research Notices 2017 (2017) 2219–2248.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 272 | OA
Norm forms for arbitrary number fields as products of linear polynomials
T.D. Browning, L. Matthiesen, Annales Scientifiques de l’Ecole Normale Superieure 50 (2017) 1383–1446.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 256 | OA
Improvements in Birch's theorem on forms in many variables
T.D. Browning, S. Prendiville, Journal Fur Die Reine Und Angewandte Mathematik 2017 (2017) 122.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 267 | OA
Many cubic surfaces contain rational points
T.D. Browning, Mathematika 63 (2017) 818–839.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 269 | OA
Varieties with too many rational points
T.D. Browning, D. Loughran, Mathematische Zeitschrift 285 (2017) 1249–1267.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 15157 | OA
Formation of a repressive complex in the mammalian circadian clock is mediated by the secondary pocket of CRY1
A.K. Michael, J.L. Fribourgh, Y. Chelliah, C.R. Sandate, G.L. Hura, D. Schneidman-Duhovny, S.M. Tripathi, J.S. Takahashi, C.L. Partch, Proceedings of the National Academy of Sciences 114 (2017) 1560–1565.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 15158 | OA
Animal cryptochromes: Divergent roles in light perception, circadian timekeeping and beyond
A.K. Michael, J.L. Fribourgh, R.N. Van Gelder, C.L. Partch, Photochemistry and Photobiology 93 (2017) 128–140.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 15154 | OA
Structural dynamics of RbmA governs plasticity of Vibrio cholerae biofilms
J.C. Fong, A. Rogers, A.K. Michael, N.C. Parsley, W.-C. Cornell, Y.-C. Lin, P.K. Singh, R. Hartmann, K. Drescher, E. Vinogradov, L.E. Dietrich, C.L. Partch, F.H. Yildiz, ELife 6 (2017).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 15155 | OA
A slow conformational switch in the BMAL1 transactivation domain modulates circadian rhythms
C.L. Gustafson, N.C. Parsley, H. Asimgil, H.-W. Lee, C. Ahlbach, A.K. Michael, H. Xu, O.L. Williams, T.L. Davis, A.C. Liu, C.L. Partch, Molecular Cell 66 (2017) 447–457.e7.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 15240 | OA
Deep HST imaging in 47 Tucanae: A global dynamical model
J. Heyl, I. Caiazzo, H. Richer, J. Anderson, J. Kalirai, J. Parada, The Astrophysical Journal 850 (2017).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 15239 | OA
The onset of convective coupling and freezing in the white dwarfs of 47 Tucanae
A. Obertas, I. Caiazzo, J. Heyl, H. Richer, J. Kalirai, P.-E. Tremblay, Monthly Notices of the Royal Astronomical Society 474 (2017) 677–682.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 15243 | OA
Magnetar giant flare high-energy emission
C. Elenbaas, D. Huppenkothen, C. Omand, A.L. Watts, E. Bissaldi, I. Caiazzo, J. Heyl, Monthly Notices of the Royal Astronomical Society 471 (2017) 1856–1872.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 15241 | OA
Polluting white dwarfs with perturbed exo-comets
I. Caiazzo, J.S. Heyl, Monthly Notices of the Royal Astronomical Society 469 (2017) 2750–2759.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1029 | OA [Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 682 | OA
PirB regulates asymmetries in hippocampal circuitry
H. Ukai, A. Kawahara, K. Hirayama, M.J. Case, S. Aino, M. Miyabe, K. Wakita, R. Oogi, M. Kasayuki, S. Kawashima, S. Sugimoto, K. Chikamatsu, N. Nitta, T. Koga, R. Shigemoto, T. Takai, I. Ito, PLoS One 12 (2017).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1028 | OA
Green-light-induced inactivation of receptor signaling using cobalamin-binding domains
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie - International Edition 56 (2017) 4608–4611.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1024 | OA
Methodological advances in auxin and cytokinin biology
A. Hurny, E. Benková, Auxins and Cytokinins in Plant Biology 1569 (2017) 1–29.
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 679 | OA
The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection
F. Ebner, V. Sedlyarov, S. Tasciyan, M. Ivin, F. Kratochvill, N. Gratz, L. Kenner, A. Villunger, M.K. Sixt, P. Kovarik, The Journal of Clinical Investigation 127 (2017) 2051–2065.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 676 | OA
Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation
G. Krens, J. Veldhuis, V. Barone, D. Capek, J.-L. Maître, W. Brodland, C.-P.J. Heisenberg, Development 144 (2017) 1798–1806.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 704 | OA [Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 696 | OA
Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes
M. Lukacisinova, S. Novak, T. Paixao, PLoS Computational Biology 13 (2017).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1027 | OA
Toward a quantitative understanding of antibiotic resistance evolution
M. Lukacisinova, M.T. Bollenbach, Current Opinion in Biotechnology 46 (2017) 90–97.
[Published Version] View | Files available | DOI | WoS
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Non-polynomial worst case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 41–63.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 949 | OA
JTDec: A tool for tree decompositions in soot
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 661 | OA
Friction forces position the neural anlage
M. Smutny, Z. Ákos, S. Grigolon, S. Shamipour, V. Ruprecht, D. Capek, M. Behrndt, E. Papusheva, M. Tada, B. Hof, T. Vicsek, G. Salbreux, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 306–317.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 960 | OA
Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks
A.H. Hansen, C.F. Düllberg, C. Mieck, M. Loose, S. Hippenmeyer, Frontiers in Cellular Neuroscience 11 (2017).
[Published Version] View | Files available | DOI | WoS
 

2016 | Journal Article | IST-REx-ID: 100 | OA
Milestones toward Majorana-based quantum computing
D. Aasen, M. Hell, R. Mishmash, A.P. Higginbotham, J. Danon, M. Leijnse, T. Jespersen, J. Folk, C. Marcs, K. Flensberg, J. Alicea, Physical Review X 6 (2016).
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 101 | OA
Exponential protection of zero modes in Majorana islands
S.M. Albrecht, A.P. Higginbotham, T. Jespersen, M. Madsen, F. Kuemmeth, J. Nygård, P. Krogstrup, C. Marcus, Nature 531 (2016) 206–209.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 102 | OA
Approaching a topological phase transition in Majorana nanowires
R. Mishmash, D. Aasen, A.P. Higginbotham, J. Alicea, Physical Review B 93 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 10377 | OA
Lipid membrane-mediated attraction between curvature inducing objects
C. van der Wel, A. Vahid, A. Šarić, T. Idema, D. Heinrich, D.J. Kraft, Scientific Reports 6 (2016).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 10376 | OA
Kinetics of spontaneous filament nucleation via oligomers: Insights from theory and simulation
A. Šarić, T.C.T. Michaels, A. Zaccone, T.P.J. Knowles, D. Frenkel, The Journal of Chemical Physics 145 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 10380 | OA
Non-equilibrium simulations of thermally induced electric fields in water
P. Wirnsberger, D. Fijan, A. Šarić, M. Neumann, C. Dellago, D. Frenkel, The Journal of Chemical Physics 144 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 10381 | OA
Melting transition in lipid vesicles functionalised by mobile DNA linkers
S.J. Bachmann, J. Kotar, L. Parolini, A. Šarić, P. Cicuta, L. Di Michele, B.M. Mognetti, Soft Matter 12 (2016) 7804–7817.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 10378 | OA
Physical determinants of the self-replication of protein fibrils
A. Šarić, A.K. Buell, G. Meisl, T.C.T. Michaels, C.M. Dobson, S. Linse, T.P.J. Knowles, D. Frenkel, Nature Physics 12 (2016) 874–880.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Conditionally optimal algorithms for generalized Büchi Games
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Computation tree logic for synchronization properties
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 10746 | OA
Study of vortex states and dynamics in mesoscopic superconducting samples with MFM
H. Polshyn, T. Naibert, V. Chua, R. Budakian, in:, APS March Meeting 2016, American Physical Society, 2016.
[Published Version] View | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 10747 | OA
Stochastic resonance magnetic force microscopy imaging of Josephson arrays
T. Naibert, H. Polshyn, B. Wolin, M. Durkin, R. Garrido Menacho, I.M. Shem, V. Chua, T. Hughes, N. Mason, R. Budakian, in:, APS March Meeting 2016, American Physical Society, 2016.
[Published Version] View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
Ł. Łangowski, K.T. Wabnik, H. Li, S. Vanneste, S. Naramoto, H. Tanaka, J. Friml, Cell Discovery 2 (2016).
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 10810 | OA
SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography
P. Rubel, D. Pani, A. Schlögl, J. Fayn, F. Badilini, P. Macfarlane, A. Varri, in:, 2016 Computing in Cardiology Conference, Computing in Cardiology, 2016, pp. 309–312.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Relevant sparse codes with variational information bottleneck
M.J. Chalk, O. Marre, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 1965–1973.
[Preprint] View | Files available | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
[Submitted Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
Lifelong learning with weighted majority votes
A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.
[Published Version] View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
[Submitted Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Improving weakly-supervised object localization by micro-annotation
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
Parallel reachability analysis for hybrid systems
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 11072 | OA
p120-catenin prevents multinucleation through control of MKLP1-dependent RhoA activity during cytokinesis
R.A.H. van de Ven, J.S. de Groot, D. Park, R. van Domselaar, D. de Jong, K. Szuhai, E. van der Wall, O.M. Rueda, H.R. Ali, C. Caldas, P.J. van Diest, M. Hetzer, E. Sahai, P.W.B. Derksen, Nature Communications 7 (2016).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 11071 | OA
Evolution of a transcriptional regulator from a transmembrane nucleoporin
T.M. Franks, C. Benner, I. Narvaiza, M.C.N. Marchetto, J.M. Young, H.S. Malik, F.H. Gage, M. Hetzer, Genes & Development 30 (2016) 1155–1171.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications