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.

6415 Publications


2020 | Journal Article | IST-REx-ID: 8955 | OA
R. Rizzo, X. Zhang, J. W. J. L. Wang, F. Lombardi, and P. C. Ivanov, “Network physiology of cortico–muscular interactions,” Frontiers in Physiology, vol. 11. Frontiers, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8957
B. G. Godard et al., “Apical relaxation during mitotic rounding promotes tension-oriented cell division,” Developmental Cell, vol. 55, no. 6. Elsevier, pp. 695–706, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8958 | OA
X. Li, “Rotation of coupled cold molecules in the presence of a many-body environment,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8966 | OA
A. Schauer and C.-P. J. Heisenberg, “Reassembling gastrulation,” Developmental Biology. Elsevier.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8971 | OA
F. Fäßler, G. A. Dimchev, V.-V. Hodirnau, W. Wan, and F. K. Schur, “Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction,” Nature Communications, vol. 11. Springer Nature, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8973 | OA
F. Redig, E. Saada, and F. Sau, “Symmetric simple exclusion process in dynamic environment: Hydrodynamics,” Electronic Journal of Probability, vol. 25. Project Euclid, 2020.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8978 | OA
S. Laukoter, N. Amberg, F. Pauler, and S. Hippenmeyer, “Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy,” STAR Protocols, vol. 1, no. 3. Elsevier, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8983
S. Emtenani, “Metabolic regulation of Drosophila macrophage tissue invasion,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8986 | OA
Y. Zhang, L. Rodriguez Solovey, L. Li, X. Zhang, and J. Friml, “Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants,” Science Advances, vol. 6, no. 50. AAAS, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8987 | OA
K. Z. Pietrzak, “Delayed authentication: Preventing replay and relay attacks in private contact tracing,” in Progress in Cryptology, Bangalore, India, 2020, vol. 12578, pp. 3–15.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 9000 | OA
R. Grah, B. Zoller, and G. Tkačik, “Nonequilibrium models of optimal enhancer function,” PNAS, vol. 117, no. 50. National Academy of Sciences, pp. 31614–31622, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9002
A. Fazeli, H. Hassani, M. Mondelli, and A. Vardy, “Binary linear codes with optimal scaling: Polar codes with large kernels,” IEEE Transactions on Information Theory. IEEE, 2020.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 9007 | OA
T. D. Browning and W. Sawin, “Free rational points on smooth hypersurfaces,” Commentarii Mathematici Helvetici, vol. 95, no. 4. European Mathematical Society, pp. 635–659, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9039 | OA
J. L. Fischer, T. Laux, and T. M. Simon, “Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies,” SIAM Journal on Mathematical Analysis, vol. 52, no. 6. Society for Industrial and Applied Mathematics, pp. 6222–6233, 2020.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 9040 | OA
P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with a touch of magic,” in Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, Online Conference, 2020, pp. 138–147.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9054
M. Youssef, A. Morin, A. Aubret, S. Sacanna, and J. A. Palacci, “Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt,” Soft Matter, vol. 16, no. 17. Royal Society of Chemistry , pp. 4274–4282, 2020.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9059
T. Hueckel, G. M. Hocky, J. A. Palacci, and S. Sacanna, “Ionic solids from common colloids,” Nature, vol. 580, no. 7804. Springer Nature, pp. 487–490, 2020.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9067 | OA
M. Nauman, M. H. Alnasir, M. A. Hamayun, Y. Wang, M. Shatruk, and S. Manzoor, “Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles,” RSC Advances, vol. 10, no. 47. Royal Society of Chemistry, pp. 28383–28389, 2020.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 9069
T. Hussain, M. Nauman, S. Sabahat, and S. Arif, “Synthesis of ternary electrocatalysts for exploration of methanol electro-oxidation in alkaline media,” Materials Research Express, vol. 6, no. 12. IOP Publishing, 2020.
View | DOI
 

2020 | Book Chapter | IST-REx-ID: 9096
P. Schmid-Hempel and S. Cremer, “Parasites and Pathogens,” in Encyclopedia of Social Insects, C. Starr, Ed. Cham: Springer Nature, 2020.
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 9103 | OA
S. Gruenbacher, J. Cyranka, M. Lechner, M. A. Islam, S. A. Smolka, and R. Grosu, “Lagrangian reachtubes: The next generation,” in Proceedings of the 59th IEEE Conference on Decision and Control, Jeju Islang, Korea (South), 2020, vol. 2020, pp. 1556–1563.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9104 | OA
Z. Bao, L. Erdös, and K. Schnelli, “On the support of the free additive convolution,” Journal d’Analyse Mathematique, vol. 142. Springer Nature, pp. 323–348, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9111 | OA
A. Brown, O. Bobrowski, E. Munch, and B. Wang, “Probabilistic convergence and stability of random mapper graphs,” Journal of Applied and Computational Topology. Springer Nature, 2020.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 9114 | OA
W. J. Hease et al., “Bidirectional electro-optic wavelength conversion in the quantum ground state,” PRX Quantum, vol. 1, no. 2. American Physical Society, 2020.
View | Files available | DOI
 

2020 | Book Chapter | IST-REx-ID: 9123
A. M. Westram, R. Faria, R. Butlin, and K. Johannesson, “Inversions and Evolution,” in eLS, Wiley, 2020.
View | DOI
 

2020 | Preprint | IST-REx-ID: 9124 | OA
A. L. Albright, B. Fildier, L. Touzé-Peiffer, R. Pincus, J. Vial, and C. J. MULLER, “Atmospheric radiative profiles during EUREC4A,” Earth System Science Data. Copernicus Publications.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 9125 | OA
S. Shamekh, C. J. MULLER, J. ‐P. Duvel, and F. D’Andrea, “Self‐aggregation of convective clouds with interactive sea surface temperature,” Journal of Advances in Modeling Earth Systems, vol. 12, no. 11. American Geophysical Union, 2020.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 9126 | OA
C. Risi, C. J. MULLER, and P. Blossey, “What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by large‐eddy simulations,” Journal of Advances in Modeling Earth Systems, vol. 12, no. 8. American Geophysical Union, 2020.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 9127 | OA
P. Drobinski et al., “How warmer and drier will the Mediterranean region be at the end of the twenty-first century?,” Regional Environmental Change, vol. 20, no. 9. Springer Nature, 2020.
View | DOI | Download Submitted Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 9128 | OA
C. J. MULLER and Y. Takayabu, “Response of precipitation extremes to warming: What have we learned from theory and idealized cloud-resolving simulations, and what remains to be learned?,” Environmental Research Letters, vol. 15, no. 3. IOP Publishing, 2020.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 9129
S. Shamekh, C. J. MULLER, J.-P. Duvel, and F. D’Andrea, “How do ocean warm anomalies favor the aggregation of deep convective clouds?,” Journal of the Atmospheric Sciences, vol. 77, no. 11. American Meteorological Society, pp. 3733–3745, 2020.
View | DOI
 

2020 | Book Chapter | IST-REx-ID: 9132
C. J. MULLER, “Clouds in current and in a warming climate,” in Fundamental Aspects of Turbulent Flows in Climate Dynamics, vol. 109, F. Bouchet, T. Schneider, A. Venaille, and C. Salomon, Eds. Oxford University Press, 2020.
View | DOI
 

2020 | Preprint | IST-REx-ID: 9150 | OA
C. Risi, C. J. MULLER, and P. N. Blossey, “Rain evaporation, snow melt and entrainment at the heart of water vapor isotopic variations in the tropical troposphere, according to  large-eddy simulations and a two-column model.” ESSOAr.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 9151 | OA
B. Fildier, W. D. Collins, and C. J. MULLER, “Distortions of the rain distribution with warming, with and without self‐aggregation,” Journal of Advances in Modeling Earth Systems. American Geophysical Union, 2020.
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 9160 | OA
H. Semeradova, J. C. Montesinos López, and E. Benková, “All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways,” Plant Communications, vol. 1, no. 3. Elsevier, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 9162 | OA
T. Gandhi et al., “Decision-making at a T-junction by gradient-sensing microscopic agents,” Physical Review Fluids, vol. 5, no. 10. American Physical Society, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9164 | OA
T. Speck, J. Tailleur, and J. A. Palacci, “Focus on active colloids and nanoparticles,” New Journal of Physics, vol. 22, no. 6. IOP Publishing, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9156 | OA
A. Akopyan and H. Edelsbrunner, “The weighted Gaussian curvature derivative of a space-filling diagram,” Computational and Mathematical Biophysics, vol. 8, no. 1. Walter de Gruyter, pp. 74–88, 2020.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 9157 | OA
A. Akopyan and H. Edelsbrunner, “The weighted mean curvature derivative of a space-filling diagram,” Computational and Mathematical Biophysics, vol. 8, no. 1. Walter de Gruyter, pp. 51–67, 2020.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8750 | OA
M. Forets, D. Freire, and C. Schilling, “Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions,” in 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Conference, 2020.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8220 | OA
B. Corominas-Murtra et al., “Stem cell lineage survival as a noisy competition for niche access,” Proceedings of the National Academy of Sciences of the United States of America, vol. 117, no. 29. National Academy of Sciences, pp. 16969–16975, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7511 | OA
B. Turoňová et al., “Benchmarking tomographic acquisition schemes for high-resolution structural biology,” Nature Communications, vol. 11. Springer Nature, 2020.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8188 | OA
P. M. Henderson and C. Lampert, “Unsupervised object-centric video generation and decomposition in 3D,” in 34th Conference on Neural Information Processing Systems, Vancouver, Canada, 2020, vol. 33, pp. 3106–3117.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9194 | OA
N. Lauk et al., “Perspectives on quantum transduction,” Quantum Science and Technology, vol. 5, no. 2. IOP Publishing, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9195 | OA
N. J. Lambert, A. R. Rueda Sanchez, F. Sedlmeir, and H. G. L. Schwefel, “Coherent conversion between microwave and optical photons - An overview of physical implementations,” Advanced Quantum Technologies, vol. 3, no. 1. Wiley, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9196
S. Hensel and T. Rosati, “Modelled distributions of Triebel–Lizorkin type,” Studia Mathematica, vol. 252, no. 3. Institute of Mathematics, Polish Academy of Sciences, pp. 251–297, 2020.
View | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 9197
G. Avni, R. Ibsen-Jensen, and J. Tkadlec, “All-pay bidding games on graphs,” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 02. Association for the Advancement of Artificial Intelligence, pp. 1798–1805, 2020.
View | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9198 | OA
A. Shevchenko and M. Mondelli, “Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks,” in Proceedings of the 37th International Conference on Machine Learning, 2020, vol. 119, pp. 8773–8784.
View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 8569 | OA
A. H. Hansen and S. Hippenmeyer, “Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex,” Frontiers in Cell and Developmental Biology, vol. 8, no. 9. Frontiers, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7665 | OA
K. Eguchi et al., “Advantages of acute brain slices prepared at physiological temperature in the characterization of synaptic functions,” Frontiers in Cellular Neuroscience, vol. 14. Frontiers Media, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9208
F. Laccone et al., “A bending-active twisted-arch plywood structure: Computational design and fabrication of the FlexMaps Pavilion,” SN Applied Sciences, vol. 2, no. 9. Springer Nature, 2020.
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 9221 | OA
Q. Nguyen and M. Mondelli, “Global convergence of deep networks with one wide layer followed by pyramidal topology,” in 34th Conference on Neural Information Processing Systems, Vancouver, Canada, 2020, vol. 33, pp. 11961–11972.
View | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8725 | OA
V. Aksenov, D.-A. Alistarh, A. Drozdova, and A. Mohtashami, “The splay-list: A distribution-adaptive concurrent skip-list,” in 34th International Symposium on Distributed Computing, Freiburg, Germany, 2020, vol. 179, p. 3:1-3:18.
View | Files available | DOI | arXiv
 

2020 | Research Data | IST-REx-ID: 8834 | OA
G. Katsaros, “Enhancement of proximity induced superconductivity in planar Germanium.” IST Austria, 2020.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8831 | OA
K. Aggarwal et al., “Enhancement of proximity induced superconductivity in planar Germanium,” arXiv. .
View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 7541 | OA
F. Gao et al., “Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling,” Advanced Materials, vol. 32, no. 16. Wiley, 2020.
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 9222 | OA
G. Katsaros, “Transport data for: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling.” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9249 | OA
R. Biswas, G. Largeteau-Skapin, R. Zrour, and E. Andres, “Digital objects in rhombic dodecahedron grid,” Mathematical Morphology - Theory and Applications, vol. 4, no. 1. De Gruyter, pp. 143–158, 2020.
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8254 | OA
L. S. Arathoon, “Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus).” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8755 | OA
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, and J. M. Fink, “Surpassing the resistance quantum with a geometric superinductor,” Physical Review Applied, vol. 14, no. 4. American Physical Society, 2020.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7910 | OA
S. Barzanjeh, S. Pirandola, D. Vitali, and J. M. Fink, “Microwave quantum illumination using a digital receiver,” Science Advances, vol. 6, no. 19. AAAS, 2020.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9001 | OA
S. Barzanjeh, S. Pirandola, D. Vitali, and J. M. Fink, “Microwave quantum illumination with a digital phase-conjugated receiver,” in IEEE National Radar Conference - Proceedings, Florence, Italy, 2020, vol. 2020, no. 9.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Research Data | IST-REx-ID: 8951 | OA
A. A. Nagy-Staron, “Sequences of gene regulatory network permutations for the article ‘Local genetic context shapes the function of a gene regulatory network.’” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9011
E. Kokoris Kogias, E. C. Alp, L. Gasser, P. Jovanovic, E. Syta, and B. Ford, “Calypso: Private data management for decentralized ledgers,” Proceedings of the VLDB Endowment, vol. 14, no. 4. ACM, pp. 586–599, 2020.
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 9299 | OA
J. Pach, G. Tardos, and G. Tóth, “Crossings between non-homotopic edges,” in 28th International Symposium on Graph Drawing and Network Visualization, Virtual, Online, 2020, vol. 12590, pp. 359–371.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9308 | OA
S. Avvakumov, U. Wagner, I. Mabillard, and A. B. Skopenkov, “Eliminating higher-multiplicity intersections, III. Codimension 2,” Russian Mathematical Surveys, vol. 75, no. 6. IOP Publishing, pp. 1156–1158, 2020.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7778 | OA
O. Kimchi et al., “Self-assembly-based posttranslational protein oscillators,” Science Advances, vol. 6, no. 51. 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8040
C. Gupta et al., “Charge transfer and chemo-mechanical coupling in respiratory complex I,” Journal of the American Chemical Society, vol. 142, no. 20. American Chemical Society, pp. 9220–9230, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Research Data Reference | IST-REx-ID: 9326 | OA
C. Gupta et al., “Charge transfer and chemo-mechanical coupling in respiratory complex I.” American Chemical Society, 2020.
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8740 | OA
I. Gridchyn, P. Schönenberger, J. O’Neill, and J. L. Csicsvari, “Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior,” eLife, vol. 9. eLife Sciences Publications, 2020.
View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8563 | OA
J. L. Csicsvari, I. Gridchyn, and P. Schönenberger, “Optogenetic alteration of hippocampal network activity.” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8169
H. Shang et al., “Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group,” Philosophical Transactions of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806. The Royal Society, 2020.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7149
L. Avagliano et al., “Chromatinopathies: A focus on Cornelia de Lange syndrome,” Clinical Genetics, vol. 97, no. 1. Wiley, pp. 3–11, 2020.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7949 | OA
Smith S, Zhu S, Joos L, Roberts I, Nikonorova N, Vu L, Stes E, Cho H, Larrieu A, Xuan W, Goodall B, van de Cotte B, Waite J, Rigal A, R Harborough S, Persiau G, Vanneste S, Kirschner G, Vandermarliere E, Martens L, Stahl Y, Audenaert D, Friml J, Felix G, Simon R, Bennett M, Bishopp A, De Jaeger G, Ljung K, Kepinski S, Robert S, Nemhauser J, Hwang I, Gevaert K, Beeckman T, De Smet I. 2020. The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis. Molecular & Cellular Proteomics. 19(8), 1248–1262.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 9375 | OA
J. I. Meier et al., “Haplotype tagging reveals parallel formation of hybrid races in two butterfly species,” bioRxiv. Cold Spring Harbor Laboratory.
View | DOI | Download Preprint (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8724 | OA
N. H. Konstantinov, E. Frantar, D.-A. Alistarh, and C. Lampert, “On the sample complexity of adversarial multi-source PAC learning,” in Proceedings of the 37th International Conference on Machine Learning, Online, 2020, vol. 119, pp. 5416–5425.
View | Files available | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9415 | OA
M. Kurtz et al., “Inducing and exploiting activation sparsity for fast neural network inference,” in 37th International Conference on Machine Learning, ICML 2020, Online, 2020, vol. 119, pp. 5533–5543.
View | Files available
 

2020 | Journal Article | IST-REx-ID: 9526 | OA
J. Choi, D. B. Lyons, M. Y. Kim, J. D. Moore, and D. ZILBERMAN, “DNA methylation and histone H1 jointly repress transposable elements and aberrant intragenic transcripts,” Molecular Cell, vol. 77, no. 2. Elsevier, p. 310–323.e7, 2020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 9397
K. Huljev, “Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation,” IST Austria.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7481 | OA
P. Bui Thi Mai and C. Lampert, “Functional vs. parametric equivalence of ReLU networks,” in 8th International Conference on Learning Representations, Online, 2020.
View | Files available
 

2020 | Conference Paper | IST-REx-ID: 7802 | OA
A. Czumaj, P. Davies, and M. Parter, “Graph sparsification for derandomizing massively parallel computation with low space,” in Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Virtual Event, United States, 2020, no. 7, pp. 175–185.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7525 | OA
P. Bhandari, “Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7815 | OA
R. J. Beattie et al., “Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM),” Journal of Visual Experiments (JoVE), no. 159. 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7902 | OA
X. Contreras, “Genetic dissection of neural development in health and disease at single cell resolution,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7889 | OA
Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, Markina NM, Chepurnyh TV, Guglya EB, Karataeva TA, Palkina KA, Shakhova ES, Fakhranurova LI, Chekova SV, Tsarkova AS, Golubev YV, Negrebetsky VV, Dolgushin SA, Shalaev PV, Shlykov D, Melnik OA, Shipunova VO, Deyev SM, Bubyrev AI, Pushin AS, Choob VV, Dolgov SV, Kondrashov F, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology. 38, 944–946.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8434 | OA
G. A. Dimchev et al., “Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation,” Journal of Cell Science, vol. 133, no. 7. The Company of Biologists, 2020.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7161 | OA
Y. Shehu, A. Gibali, and S. Sagratella, “Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces,” Journal of Optimization Theory and Applications, vol. 184. Springer Nature, pp. 877–894, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7258 | OA
D. Scarselli, “New approaches to reduce friction in turbulent pipe flow,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7577 | OA
Y. Shehu and O. S. Iyiola, “Weak convergence for variational inequalities with inertial-type method,” Applicable Analysis. Taylor & Francis, pp. 1–25.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8728 | OA
A. Asadi, K. Chatterjee, A. K. Goharshady, K. Mohammadi, and A. Pavlogiannis, “Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth,” in Automated Technology for Verification and Analysis, Hanoi, Vietnam, 2020, vol. 12302, pp. 253–270.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8089 | OA
K. Chatterjee, H. Fu, A. K. Goharshady, and E. K. Goharshady, “Polynomial invariant generation for non-deterministic recursive programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 672–687.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7810 | OA
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal and perfectly parallel algorithms for on-demand data-flow analysis,” in European Symposium on Programming, Dublin, Ireland, 2020, vol. 12075, pp. 112–140.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 6918 | OA
A. K. Goharshady and F. Mohammadi, “An efficient algorithm for computing network reliability in small treewidth,” Reliability Engineering and System Safety, vol. 193. Elsevier, 2020.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8190 | OA
M. K. Sixt and A. Huttenlocher, “Zena Werb (1945-2020): Cell biology in context,” The Journal of cell biology, vol. 219, no. 8. Journal of Cell Biology, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9578 | OA
M. Bucić, M. A. Kwan, A. Pokrovskiy, B. Sudakov, T. Tran, and A. Z. Wagner, “Nearly-linear monotone paths in edge-ordered graphs,” Israel Journal of Mathematics, vol. 238, no. 2. Springer, pp. 663–685, 2020.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9576 | OA
M. Bucić, M. A. Kwan, A. Pokrovskiy, and B. Sudakov, “Halfway to Rota’s basis conjecture,” International Mathematics Research Notices, vol. 2020, no. 21. Oxford University Press, pp. 8007–8026, 2020.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9581 | OA
M. A. Kwan, “Almost all Steiner triple systems have perfect matchings,” Proceedings of the London Mathematical Society, vol. 121, no. 6. Wiley, pp. 1468–1495, 2020.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9577 | OA
M. A. Kwan and B. Sudakov, “Ramsey graphs induce subgraphs of quadratically many sizes,” International Mathematics Research Notices, vol. 2020, no. 6. Oxford University Press, pp. 1621–1638, 2020.
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9582 | OA
M. A. Kwan, S. Letzter, B. Sudakov, and T. Tran, “Dense induced bipartite subgraphs in triangle-free graphs,” Combinatorica, vol. 40, no. 2. Springer, pp. 283–305, 2020.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9573 | OA
X. He and M. A. Kwan, “Universality of random permutations,” Bulletin of the London Mathematical Society, vol. 52, no. 3. Wiley, pp. 515–529, 2020.
View | DOI | Download Submitted Version (ext.) | arXiv
 

Search

Filter Publications