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.

5750 Publications


2019 | Conference Paper | IST-REx-ID: 6780 | OA
Modular verification for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , ACM, 2019.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6380 | OA
Efficient parameterized algorithms for data packing
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019).
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6056 | OA
Probabilistic smart contracts: Secure randomness on the blockchain
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, IEEE International Conference on Blockchain and Cryptocurrency, IEEE, 2019.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6378 | OA
Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, 2019, pp. 374–381.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Conference Paper | IST-REx-ID: 6175 | OA
Cost analysis of nondeterministic probabilistic programs
P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi, in:, PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2019, pp. 204–220.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6490 | OA
The treewidth of smart contracts
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 7158 | OA
Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 7014 | OA
Non-polynomial worst-case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, ACM Transactions on Programming Languages and Systems 41 (2019).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6486 | OA
Relaminarization of pipe flow by means of 3D-printed shaped honeycombs
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6228 | OA
Relaminarising pipe flow by wall movement
D. Scarselli, J. Kühnen, B. Hof, Journal of Fluid Mechanics 867 (2019) 934–948.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6260 | OA
Pinstatic acid promotes auxin transport by inhibiting PIN internalization
A. Oochi, J. Hajny, K. Fukui, Y. Nakao, M.C. Gallei, M. Quareshy, K. Takahashi, T. Kinoshita, S. Harborough, S. Kepinski, H. Kasahara, R. Napier, J. Friml, K. Hayashi, Plant Physiology 180 (2019) 1152–1165.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6508 | OA
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7001 | OA
Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, S. Shamipour, K. Pranjic-Ferscha, A. Schauer, M. Balda, M. Tada, K. Matter, C.-P.J. Heisenberg, Cell 179 (2019) 937–952.e18.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891 | OA
The implication of cytoskeletal dynamics on leukocyte migration
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328 | OA
Nuclear positioning facilitates amoeboid migration along the path of least resistance
J. Renkawitz, A. Kopf, J.A. Stopp, I. de Vries, M.K. Driscoll, J. Merrin, R. Hauschild, E.S. Welf, G. Danuser, R. Fiolka, M.K. Sixt, Nature 568 (2019) 546–550.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6830 | OA
Memo1 tiles the radial glial cell grid
X. Contreras, S. Hippenmeyer, Neuron 103 (2019) 750–752.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6627 | OA
Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling
M. Adamowski, L. Li, J. Friml, International Journal of Molecular Sciences 20 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7117 | OA
X-CAD: Optimizing CAD Models with Extended Finite Elements
C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, M. Bächer, ACM Transactions on Graphics 38 (2019).
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Thesis | IST-REx-ID: 6371 | OA
On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6189 | OA
Transition to turbulence in particle laden flows
N. Agrawal, G.H. Choueiri, B. Hof, Physical Review Letters 122 (2019).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Thesis | IST-REx-ID: 6849 | OA
The role of CCK-interneurons in regulating hippocampal network dynamics
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5949 | OA
Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
[Published Version] View | Files available | DOI | WoS
 

2019 | Thesis | IST-REx-ID: 6825 | OA
The hippocampus and medial prefrontal cortex during flexible behavior
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 10286 | OA
Evaluation and monitoring of free running oscillators serving as source of randomness
E.N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, V. Fischer, IACR Transactions on Cryptographic Hardware and Embedded Systems 2018 (2018) 214–242.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 10359 | OA
Controlling cargo trafficking in multicomponent membranes
T. Curk, P. Wirnsberger, J. Dobnikar, D. Frenkel, A. Šarić, Nano Letters 18 (2018) 5350–5356.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 10358 | OA
Reaction rate theory for supramolecular kinetics: application to protein aggregation
T.C.T. Michaels, L.X. Liu, S. Curk, P.G. Bolhuis, A. Šarić, T.P.J. Knowles, Molecular Physics 116 (2018) 3055–3065.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 10626 | OA
Quantitative transport measurements of fractional quantum Hall energy gaps in edgeless graphene devices
H. Polshyn, H. Zhou, E.M. Spanton, T. Taniguchi, K. Watanabe, A.F. Young, Physical Review Letters 121 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 10627 | OA
Imaging phase slip dynamics in micron-size superconducting rings
H. Polshyn, T.R. Naibert, R. Budakian, Physical Review B 97 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 10883 | OA
Quasipolynomial set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvořák, M.H. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253.
[Published Version] View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 1092 | OA
Generalized permutohedra from probabilistic graphical models
F. Mohammadi, C. Uhler, C. Wang, J. Yu, SIAM Journal on Discrete Mathematics 32 (2018) 64–93.
[Preprint] View | DOI | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 11 | OA
Mean-field limits of particles in interaction with quantised radiation fields
N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11063 | OA
Tpr regulates the total number of nuclear pore complexes per cell nucleus
A. McCloskey, A. Ibarra, M. Hetzer, Genes & Development 32 (2018) 1321–1331.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 11064 | OA
Predicting age from the transcriptome of human dermal fibroblasts
J.G. Fleischer, R. Schulte, H.H. Tsai, S. Tyagi, A. Ibarra, M.N. Shokhirev, L. Huang, M. Hetzer, S. Navlakha, Genome Biology 19 (2018).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 11508 | OA
Confirmation of double peaked Lyα emission at z = 6.593: Witnessing a galaxy directly contributing to the reionisation of the universe
J.J. Matthee, D. Sobral, M. Gronke, A. Paulino-Afonso, M. Stefanon, H. Röttgering, Astronomy & Astrophysics 619 (2018).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11557 | OA
The nature of luminous Ly α emitters at z ∼ 2–3: Maximal dust-poor starbursts and highly ionizing AGN
D. Sobral, J.J. Matthee, B. Darvish, I. Smail, P.N. Best, L. Alegre, H. Röttgering, B. Mobasher, A. Paulino-Afonso, A. Stroe, I. Oteo, Monthly Notices of the Royal Astronomical Society 477 (2018) 2817–2840.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11558 | OA
Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6
D. Sobral, S. Santos, J.J. Matthee, A. Paulino-Afonso, B. Ribeiro, J. Calhau, A.A. Khostovan, Monthly Notices of the Royal Astronomical Society 476 (2018) 4725–4752.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11555 | OA
Kiloparsec-scale gaseous clumps and star formation at z = 5–7
S. Carniani, R. Maiolino, R. Amorin, L. Pentericci, A. Pallottini, A. Ferrara, C.J. Willott, R. Smit, J.J. Matthee, D. Sobral, P. Santini, M. Castellano, S. De Barros, A. Fontana, A. Grazian, L. Guaita, Monthly Notices of the Royal Astronomical Society 478 (2018) 1170–1184.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11584 | OA
Star-forming galaxies are predicted to lie on a fundamental plane of mass, star formation rate, and α-enhancement
J.J. Matthee, J. Schaye, Monthly Notices of the Royal Astronomical Society: Letters 479 (2018) L34–L39.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11619 | OA
TESS’s first planet: A super-Earth transiting the naked-eye star π Mensae
Gandolfi D, Barragán O, Livingston JH, Fridlund M, Justesen AB, Redfield S, Fossati L, Mathur S, Grziwa S, Cabrera J, García RA, Persson CM, Van Eylen V, Hatzes AP, Hidalgo D, Albrecht S, Bugnet LA, Cochran WD, Csizmadia S, Deeg H, Eigmüller P, Endl M, Erikson A, Esposito M, Guenther E, Korth J, Luque R, Montañes Rodríguez P, Nespral D, Nowak G, Pätzold M, Prieto-Arranz J. 2018. TESS’s first planet: A super-Earth transiting the naked-eye star π Mensae. Astronomy & Astrophysics. 619, L10.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11618 | OA
FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants
L.A. Bugnet, R.A. García, G.R. Davies, S. Mathur, E. Corsaro, O.J. Hall, B.M. Rendle, Astronomy & Astrophysics 620 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11620 | OA
HD 89345: A bright oscillating star hosting a transiting warm Saturn-sized planet observed by K2
Van Eylen V, Dai F, Mathur S, Gandolfi D, Albrecht S, Fridlund M, García RA, Guenther E, Hjorth M, Justesen AB, Livingston J, Lund MN, Pérez Hernández F, Prieto-Arranz J, Regulo C, Bugnet LA, Everett ME, Hirano T, Nespral D, Nowak G, Palle E, Silva Aguirre V, Trifonov T, Winn JN, Barragán O, Beck PG, Chaplin WJ, Cochran WD, Csizmadia S, Deeg H, Endl M, Heeren P, Grziwa S, Hatzes AP, Hidalgo D, Korth J, Mathis S, Montañes Rodriguez P, Narita N, Patzold M, Persson CM, Rodler F, Smith AMS. 2018. HD 89345: A bright oscillating star hosting a transiting warm Saturn-sized planet observed by K2. Monthly Notices of the Royal Astronomical Society. 478(4), 4866–4880.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Preprint | IST-REx-ID: 11631 | OA
FliPer: Classifying TESS pulsating stars
L.A. Bugnet, R.A. García, G.R. Davies, S. Mathur, O.J. Hall, B.M. Rendle, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11657 | OA
Practical minimum cut algorithms
M.H. Henzinger, A. Noe, C. Schulz, D. Strash, ACM Journal of Experimental Algorithmics 23 (2018) 1–22.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11667 | OA
Valuation compressions in VCG-based combinatorial auctions
P. Dütting, M.H. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 6 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11664 | OA
Incremental exact min-cut in polylogarithmic amortized update time
G. Goranci, M.H. Henzinger, M. Thorup, ACM Transactions on Algorithms 14 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11757 | OA
Dynamic algorithms via the primal-dual method
S. Bhattacharya, M.H. Henzinger, G. Italiano, Information and Computation 261 (2018) 219–239.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 11828 | OA
Dynamic effective resistances and approximate schur complement on separable graphs
G. Goranci, M.H. Henzinger, P. Peng, in:, 26th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 11827 | OA
A tree structure for dynamic facility location
G. Goranci, M.H. Henzinger, D. Leniowski, in:, 26th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11768 | OA
Decremental single-source shortest paths on undirected graphs in near-linear total update time
M.H. Henzinger, S. Krinninger, D. Nanongkai, Journal of the ACM 65 (2018) 1–40.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 11872 | OA
Dynamic algorithms for graph coloring
S. Bhattacharya, D. Chakrabarty, M.H. Henzinger, D. Nanongkai, in:, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2018, pp. 1–20.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 11882 | OA
Practical minimum cut algorithms
M.H. Henzinger, A. Noe, C. Schulz, D. Strash, in:, 20th Workshop on Algorithm Engineering and Experiments, Society for Industrial and Applied Mathematics, 2018, pp. 48–61.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11890 | OA
Deterministic fully dynamic data structures for vertex cover and matching
S. Bhattacharya, M.H. Henzinger, G.F. Italiano, SIAM Journal on Computing 47 (2018) 859–887.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 11911 | OA
Memetic graph clustering
S. Biedermann, M.H. Henzinger, C. Schulz, B. Schuster, in:, 17th International Symposium on Experimental Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 1215 | OA
Infinite-dimensional calculus under weak spatial regularity of the processes
F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31 (2018) 789–826.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 176 | OA
Averages of arithmetic functions over principal ideals
T.D. Browning, E. Sofos, International Journal of Nuber Theory 15 (2018) 547–567.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 178 | OA
Counting rational points on quadric surfaces
T.D. Browning, R. Heath-Brown, Discrete Analysis 15 (2018) 1–29.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 185 | OA
Hanani-Tutte for approximating maps of graphs
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 188 | OA
Smallest enclosing spheres and Chernoff points in Bregman geometry
H. Edelsbrunner, Z. Virk, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 35:1-35:13.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 2015 | OA
Learning directed acyclic graphs based on sparsest permutations
G. Raskutti, C. Uhler, STAT 7 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 306 | OA
An introduction to the maximum entropy approach and its application to inference problems in biology
A. De Martino, D. De Martino, Heliyon 4 (2018).
[Published Version] View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 37 | OA
Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
[Submitted Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 325 | OA
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 394 | OA
Observation of exciton-exciton interaction mediated valley Depolarization in Monolayer MoSe2
F. Mahmood, Z. Alpichshev, Y. Lee, J. Kong, N. Gedik, Nano Letters 18 (2018) 223–228.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 53 | OA
IST PubRep and IST DataRep: the institutional repositories at IST Austria
B. Petritsch, J. Porsche, VÖB Mitteilungen 71 (2018) 199–206.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 536 | OA
Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 554 | OA
The Bogoliubov free energy functional II: The dilute Limit
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Book Chapter | IST-REx-ID: 562 | OA
Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book Chapter | IST-REx-ID: 61 | OA
There is no strongly regular graph with parameters (460; 153; 32; 60)
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6111 | OA
A neuronal MAP kinase constrains growth of a Caenorhabditis elegans sensory dendrite throughout the life of the organism
I.G. McLachlan, I. Beets, M. de Bono, M.G. Heiman, PLOS Genetics 14 (2018).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 6109 | OA
Genetic dissection of neuropeptide cell biology at high and low activity in a defined sensory neuron
P. Laurent, Q. Ch’ng, M. Jospin, C. Chen, R. Lorenzo, M. de Bono, Proceedings of the National Academy of Sciences 115 (2018) E6890–E6899.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 6354 | OA
Platelet migration and bacterial trapping assay under flow
S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6368 | OA
Harnessing electro-optic correlations in an efficient mechanical converter
A.P. Higginbotham, P.S. Burns, M.D. Urmey, R.W. Peterson, N.S. Kampel, B.M. Brubaker, G. Smith, K.W. Lehnert, C.A. Regal, Nature Physics 14 (2018) 1038–1042.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6369 | OA
Topological phase transition measured in a dissipative metamaterial
E.I. Rosenthal, N.K. Ehrlich, M.S. Rudner, A.P. Higginbotham, K.W. Lehnert, Physical Review B 97 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Poster | IST-REx-ID: 6459 | OA
Open Access at IST Austria 2009-2017
B. Petritsch, Open Access at IST Austria 2009-2017, IST Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 6664 | OA
Decoding Reed-Muller and polar codes by successive factor graph permutations
S.A. Hashemi, N. Doan, M. Mondelli, W. Gross, in:, 2018 IEEE 10th International Symposium on Turbo Codes & Iterative Information Processing, IEEE, 2018, pp. 1–5.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6728 | OA
On the decoding of polar codes on permuted factor graphs
N. Doan, S.A. Hashemi, M. Mondelli, W.J. Gross, in:, 2018 IEEE Global Communications Conference , IEEE, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6678 | OA
How to achieve the capacity of asymmetric channels
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Information Theory 64 (2018) 3371–3393.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 690 | OA
Local law and Tracy–Widom limit for sparse random matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6675 | OA
A new coding paradigm for the primitive relay channel
M. Mondelli, H. Hassani, R. Urbanke, in:, 2018 IEEE International Symposium on Information Theory, IEEE, 2018, pp. 351–355.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 703 | OA
Maximum persistency via iterative relaxed inference with graphical models
A. Shekhovtsov, P. Swoboda, B. Savchynskyy, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1668–1682.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 7063 | OA
Sr2Pt8−xAs: A layered incommensurately modulated metal with saturated resistivity
E. Martino, A. Arakcheeva, G. Autès, A. Pisoni, M.D. Bachmann, K.A. Modic, T. Helm, O.V. Yazyev, P.J.W. Moll, L. Forró, S. Katrych, IUCrJ 5 (2018) 470–477.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7062 | OA
Quantum limit transport and destruction of the Weyl nodes in TaAs
B.J. Ramshaw, K.A. Modic, A. Shekhter, Y. Zhang, E.-A. Kim, P.J.W. Moll, M.D. Bachmann, M.K. Chan, J.B. Betts, F. Balakirev, A. Migliori, N.J. Ghimire, E.D. Bauer, F. Ronning, R.D. McDonald, Nature Communications 9 (2018).
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7059 | OA
Resonant torsion magnetometry in anisotropic quantum materials
K.A. Modic, M.D. Bachmann, B.J. Ramshaw, F. Arnold, K.R. Shirer, A. Estry, J.B. Betts, N.J. Ghimire, E.D. Bauer, M. Schmidt, M. Baenitz, E. Svanidze, R.D. McDonald, A. Shekhter, P.J.W. Moll, Nature Communications 9 (2018) 3975.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7058 | OA
Chiral spin order in some purported Kitaev spin-liquid compounds
K.A. Modic, B.J. Ramshaw, A. Shekhter, C.M. Varma, Physical Review B 98 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 7116 | OA
Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study
D. Grubic, L. Tam, D.-A. Alistarh, C. Zhang, in:, Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–156.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7126 | OA
Minimum description length codes are critical
R.J. Cubero, M. Marsili, Y. Roudi, Entropy 20 (2018).
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7277 | OA
Electrochemical oxidation of Lithium Carbonate generates singlet oxygen
N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie International Edition 57 (2018) 5529–5533.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7287 | OA
Quantifying total superoxide, peroxide, and carbonaceous compounds in metal–O2 batteries and the solid electrolyte interphase
B. Schafzahl, E. Mourad, L. Schafzahl, Y.K. Petit, A.R. Raju, M.O. Thotiyl, M. Wilkening, C. Slugovc, S.A. Freunberger, ACS Energy Letters 3 (2018) 170–176.
[Submitted Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7285 | OA
Inter-backbone charge transfer as prerequisite for long-range conductivity in perylene bisimide hydrogels
M. Burian, F. Rigodanza, N. Demitri, L. D̵ord̵ević, S. Marchesan, T. Steinhartova, I. Letofsky-Papst, I. Khalakhan, E. Mourad, S.A. Freunberger, H. Amenitsch, M. Prato, Z. Syrgiannis, ACS Nano 12 (2018) 5800–5806.
[Submitted Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 7407 | OA
Proofs of catalytic space
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science  Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7717 | OA
Genotype effects contribute to variation in longitudinal methylome patterns in older people
Q. Zhang, R.E. Marioni, M.R. Robinson, J. Higham, D. Sproul, N.R. Wray, I.J. Deary, A.F. McRae, P.M. Visscher, Genome Medicine 10 (2018).
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7712 | OA
Dissection of genetic variation and evidence for pleiotropy in male pattern baldness
C.X. Yap, J. Sidorenko, Y. Wu, K.E. Kemper, J. Yang, N.R. Wray, M.R. Robinson, P.M. Visscher, Nature Communications 9 (2018).
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7716 | OA
Improving genetic prediction by leveraging genetic correlations among human diseases and traits
R.M. Maier, Z. Zhu, S.H. Lee, M. Trzaskowski, D.M. Ruderfer, E.A. Stahl, S. Ripke, N.R. Wray, J. Yang, P.M. Visscher, M.R. Robinson, Nature Communications 9 (2018).
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7714 | OA
Causal associations between risk factors and common diseases inferred from GWAS summary data
Z. Zhu, Z. Zheng, F. Zhang, Y. Wu, M. Trzaskowski, R. Maier, M.R. Robinson, J.J. McGrath, P.M. Visscher, N.R. Wray, J. Yang, Nature Communications 9 (2018).
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7713 | OA
Global genetic differentiation of complex traits shaped by natural selection in humans
J. Guo, Y. Wu, Z. Zhu, Z. Zheng, M. Trzaskowski, J. Zeng, M.R. Robinson, P.M. Visscher, J. Yang, Nature Communications 9 (2018).
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7721 | OA
Embracing polygenicity: A review of methods and tools for psychiatric genetics research
R.M. Maier, P.M. Visscher, M.R. Robinson, N.R. Wray, Psychological Medicine 48 (2018) 1055–1067.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7754 | OA
Enhanced diffusion by binding to the crosslinks of a polymer gel
C.P. Goodrich, M.P. Brenner, K. Ribbeck, Nature Communications 9 (2018).
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Preprint | IST-REx-ID: 7783 | OA
Extensive mitochondrial population structure and haplotype-specific phenotypic variation in the Drosophila Genetic Reference Panel
R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson, J. Auwerx, B. Hollis, B. Deplancke, BioRxiv (2018).
[Preprint] View | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 7812 | OA
Model compression via distillation and quantization
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.
[Published Version] View | Files available | arXiv
 

2018 | Journal Article | IST-REx-ID: 7983 | OA
Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff
N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie 130 (2018) 5627–5631.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications