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.

364 Publications


2015 | Conference Paper | IST-REx-ID: 1654   OA
Generic security of NMAC and HMAC with input whitening
P. Gazi, K.Z. Pietrzak, S. Tessaro, 9453 (2015) 85–109.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1642   OA
Clustered planarity testing revisited
R. Fulek, J. Kynčl, I. Malinovič, D. Pálvölgyi, Electronic Journal of Combinatorics 22 (2015).
View | Files available
 

2015 | Journal Article | IST-REx-ID: 1700   OA
Ultralong-range order in the Fermi-Hubbard model with long-range interactions
E. Van Loon, M. Katsnelson, M. Lemeshko, Physical Review B 92 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712   OA
Drosophila immune cell migration and adhesion during embryonic development and larval immune responses
A. Ratheesh, V. Belyaeva, D.E. Siekhaus, Current Opinion in Cell Biology 36 (2015) 71–79.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1813   OA
Rotation of quantum impurities in the presence of a many-body environment
R. Schmidt, M. Lemeshko, Physical Review Letters 114 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1818   OA
Limits to adaptation along environmental gradients
J. Polechova, N.H. Barton, PNAS 112 (2015) 6401–6406.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1793   OA View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1868
Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances
Y. Park, Y. Do, S. Altmeyer, Y. Lai, G. Lee, Physical Review E 91 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1940   OA
Optimizing information flow in small genetic networks. IV. Spatial coupling
T.R. Sokolowski, G. Tkacik, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1938
On the distribution of local extrema in quantum chaos
F. Pausinger, S. Steinerberger, Physics Letters, Section A 379 (2015) 535–541.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1849
Calcium is an organizer of cell polarity in plants
E. Himschoot, T. Beeckman, J. Friml, S. Vanneste, Biochimica et Biophysica Acta - Molecular Cell Research 1853 (2015) 2168–2172.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2025   OA
The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins
D. Kawada, H. Kobayashi, T. Tomita, E. Nakata, M. Nagano, D.E. Siekhaus, J. Toshima, J. Toshimaa, Biochimica et Biophysica Acta - Molecular Cell Research 1853 (2015) 144–156.
View | Files available | DOI
 

2015 | Thesis | IST-REx-ID: 1399
On the approximation of intrinsic volumes
F. Pausinger, On the Approximation of Intrinsic Volumes, IST Austria, 2015.
View | Files available
 

2015 | 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 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 388   OA
Confinement deconfinement transition as an indication of spin liquid type behavior in Na2IrO3
Z. Alpichshe, F. Mahmood, G. Cao, N. Gedik, Physical Review Letters 114 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 477
The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells
K. Holst, D. Guseva, S. Schindler, M.K. Sixt, A. Braun, H. Chopra, O. Pabst, E. Ponimaskin, Journal of Cell Science 128 (2015) 2866–2880.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5808
Layer the sphere
R. Biswas, P. Bhowmick, The Visual Computer 31 (2015) 787–797.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6736   OA
Scaling exponent of list decoders with applications to polar codes
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 4838–4851.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 7070
Magnetization of underdoped YBa2Cu3Oy above the irreversibility field
J.F. Yu, B.J. Ramshaw, I. Kokanović, K.A. Modic, N. Harrison, J. Day, R. Liang, W.N. Hardy, D.A. Bonn, A. McCollam, S.R. Julian, J.R. Cooper, Physical Review B 92 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 802
Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis
J. Engel, P.S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, F. Routier, Glycobiology 25 (2015) 1423–1430.
View | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 782
Lock-Free algorithms under stochastic schedulers
D. Alistarh, T. Sauerwald, M. Vojnović, in:, ACM, 2015, pp. 251–260.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 814
Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution
F. Schur, W. Hagen, M. Rumlová, T. Ruml, B. Müller, H. Kraüsslich, J. Briggs, Nature 517 (2015) 505–508.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1591
PIN-dependent auxin transport: Action, regulation, and evolution
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1510
On computability and triviality of well groups
P. Franek, M. Krcál, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 842–856.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1541
XSpeed: Accelerating reachability analysis on multi-core processors
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, R. Grosu, 9434 (2015) 3–18.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1553
Actin flows mediate a universal coupling between cell speed and cell persistence
P. Maiuri, J. Rupprecht, S. Wieser, V. Ruprecht, O. Bénichou, N. Carpi, M. Coppey, S. De Beco, N. Gov, C.-P.J. Heisenberg, C. Lage Crespo, F. Lautenschlaeger, M. Le Berre, A. Lennon Duménil, M. Raab, H. Thiam, M. Piel, M.K. Sixt, R. Voituriez, Cell 161 (2015) 374–386.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1539   OA View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1609   OA
The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, 9135 (2015) 108–120.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1692
Eliminating spurious transitions in reachability with support functions
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, A. Podelski, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–158.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1697   OA
High accuracy decoding of dynamical motion from a large retinal population
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkacik, M. Berry, PLoS Computational Biology 11 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1673   OA
Amplifiers of selection
B. Adlam, K. Chatterjee, M. Nowak, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471 (2015).
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1630   OA
Learning shape placements by example
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1678   OA
Light-assisted small-molecule screening against protein kinases
Á. Inglés Prieto, E. Gschaider-Reichhart, M. Muellner, M. Nowak, S. Nijman, M. Grusch, H.L. Janovjak, Nature Chemical Biology 11 (2015) 952–954.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1680
On the decidability of elementary modal logics
J. Michaliszyn, J. Otop, E. Kieroňski, ACM Transactions on Computational Logic 17 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1856   OA
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, Journal of the ACM 62 (2015).
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1882   OA
Compositionality for quantitative specifications
U. Fahrenberg, J. Kretinsky, A. Legay, L. Traonouez, in:, Springer, 2015, pp. 306–324.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1729
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, 9207 (2015) 180–197.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1731   OA
Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, Information and Computation 245 (2015) 3–16.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1661
Improved algorithms for one-pair and k-pair Streett objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5435
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 523   OA
Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, Information and Computation 242 (2015) 25–52.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1604
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT 50 (2015) 539–551.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 333
Efficient and inexpensive sodium magnesium hybrid battery
M. Walter, K. Kravchyk, M. Ibáñez, M. Kovalenko, Chemistry of Materials 27 (2015) 7452–7458.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2006   OA
The monotone secant conjecture in the real Schubert calculus
N. Hein, C. Hillar, A. Martin Del Campo Sanchez, F. Sottile, Z. Teitler, Experimental Mathematics 24 (2015) 261–269.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1832   OA
Aspect-oriented linearizability proofs
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015) 20.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1820
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp. 3496–3502.
View | Files available | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 7739   OA
Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations
A.W. Santure, J. Poissant, I. De Cauwer, K. van Oers, M.R. Robinson, J.L. Quinn, M.A.M. Groenen, M.E. Visser, B.C. Sheldon, J. Slate, Molecular Ecology 24 (2015) 6148–6162.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 7741   OA
Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird
M.J. Adams, M.R. Robinson, M.-E. Mannarelli, B.J. Hatchwell, Proceedings of the Royal Society B: Biological Sciences 282 (2015) 20150689.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7765
The principle of independent bond-level response: Tuning by pruning to exploit disorder for global behavior
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 114 (2015) 225501.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1647   OA
Practical round-optimal blind signatures in the standard model
G. Fuchsbauer, C. Hanser, D. Slamanig, in:, Springer, 2015, pp. 233–253.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1577   OA
Birth of a new gene on the Y chromosome of Drosophila melanogaster
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, A. Clark, PNAS 112 (2015) 12450–12455.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1837   OA
Subcritical versus supercritical transition to turbulence in curved pipes
J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, B. Hof, Journal of Fluid Mechanics 770 (2015) R3.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1659   OA
The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1851   OA View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628   OA
Microstructures to control elasticity in 3D printing
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015, p. 136.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 120
Direct observation of particle interactions and clustering in charged granular streams
V. Lee, S.R. Waitukaitis, M. Miskin, H. Jaeger, Nature Physics 11 (2015) 733–737.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1314 View | DOI
 

2015 | Journal Article | IST-REx-ID: 1542   OA
Toward a unifying framework for evolutionary processes
T. Paixao, G. Badkobeh, N.H. Barton, D. Çörüş, D. Dang, T. Friedrich, P. Lehre, D. Sudholt, A. Sutton, B. Trubenova, Journal of Theoretical Biology 383 (2015) 28–43.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1547   OA
Resolution of unmixed bipartite graphs
F. Mohammadi, S. Moradi, Bulletin of the Korean Mathematical Society 52 (2015) 977–986.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1554   OA
Reporters for sensitive and quantitative measurement of auxin response
C. Liao, W. Smet, G. Brunoud, S. Yoshida, T. Vernoux, D. Weijers, Nature Methods 12 (2015) 207–210.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1559   OA
Computational complexity of ecological and evolutionary spatial dynamics
R. Ibsen-Jensen, K. Chatterjee, M. Nowak, PNAS 112 (2015) 15636–15641.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1561
A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors
K. Heger, M. Kober, D. Rieß, C. Drees, I. De Vries, A. Bertossi, A. Roers, M.K. Sixt, M. Schmidt Supprian, European Journal of Immunology 45 (2015) 1614–1620.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1566   OA
An exploration of the universe of polyglutamine structures
À. Gómez Sicilia, M.K. Sikora, M. Cieplak, M. Carrión Vázquez, PLoS Computational Biology 11 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1504   OA
Spectral statistics of large dimensional spearman s rank correlation matrix and its application
Z. Bao, L. Lin, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 2588–2623.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509   OA
Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene
J. Michalko, M. Dravecka, T. Bollenbach, J. Friml, F1000 Research 4 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1530
Impact of the cell division cycle on gene circuits
V. Bierbaum, S. Klumpp, Physical Biology 12 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1573   OA
Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Communications on Pure and Applied Mathematics 68 (2015) 1845–1884.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1578
Triangulations from topologically correct digital Voronoi diagrams
T. Cao, H. Edelsbrunner, T. Tan, Computational Geometry 48 (2015) 507–519.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1585
Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices
Z. Bao, G. Pan, W. Zhou, IEEE Transactions on Information Theory 61 (2015) 3413–3426.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1648   OA
A quasipolynomial reduction for generalized selective decryption on trees
G. Fuchsbauer, Z. Jafargholi, K.Z. Pietrzak, in:, Springer, 2015, pp. 601–620.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650   OA
Condensed unpredictability
M. Skórski, A. Golovnev, K.Z. Pietrzak, in:, Springer, 2015, pp. 1046–1057.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655   OA
Quantifying emergent behavior of autonomous robots
G.S. Martius, E. Olbrich, Entropy 17 (2015) 7266–7297.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1636   OA
Effectiveness of structural restrictions for hybrid CSPs
V. Kolmogorov, M. Rolinek, R. Takhanov, 9472 (2015) 566–577.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1679   OA
Taylor's Forest
G.M. Lemoult, P. Maier, B. Hof, Physics of Fluids 27 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1686 View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1667   OA
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T. Brázdil, L. Korenčiak, J. Krčál, P. Novotny, V. Řehák, 9259 (2015) 141–159.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1674   OA
Edge universality for deformed Wigner matrices
J. Lee, K. Schnelli, Reviews in Mathematical Physics 27 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1693   OA
Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1706   OA
Multi-task and lifelong learning of kernels
A. Pentina, S. Ben David, in:, Springer, 2015, pp. 194–208.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1802
The schizophrenia risk gene product miR-137 alters presynaptic plasticity
S. Siegert, J. Seo, E. Kwon, A. Rudenko, S. Cho, W. Wang, Z. Flood, A. Martorell, M. Ericsson, A. Mungenast, L. Tsai, Nature Neuroscience 18 (2015) 1008–1016.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1857   OA
Curriculum learning of multiple tasks
A. Pentina, V. Sharmanska, C. Lampert, in:, IEEE, 2015, pp. 5492–5500.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1864   OA
The Altshuler–Shklovskii formulas for random band matrices II: The general case
L. Erdös, A. Knowles, Annales Henri Poincare 16 (2015) 709–799.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1871   OA
Auxin transporters and binding proteins at a glance
P. Grones, J. Friml, Journal of Cell Science 128 (2015) 1–7.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1807   OA
Sharp interface limit for two components Bose-Einstein condensates
M. Goldman, J. Royo-Letelier, ESAIM - Control, Optimisation and Calculus of Variations 21 (2015) 603–624.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1819
Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana
M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1845   OA
Excitement about inhibitory presynaptic terminals
D.H. Vandael, C.M. Espinoza Martinez, P.M. Jonas, Neuron 85 (2015) 1149–1151.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1840   OA
Optimal Kullback-Leibler aggregation via information bottleneck
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2014   OA
Faithfulness and learning hypergraphs from discrete distributions
A. Klimova, C. Uhler, T. Rudas, Computational Statistics & Data Analysis 87 (2015) 57–72.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 257   OA
Pairs of diagonal quadratic forms and linear correlations among sums of two squares
T.D. Browning, R. Munshi, Forum Mathematicum 27 (2015) 2025–2050.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 334
Cu2ZnSnS4–Ag2S Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting
X. Yu, J. Liu, A. Genç, M. Ibanez, Z. Luo, A. Shavel, J. Arbiol, G. Zhang, Y. Zhang, A. Cabot, Langmuir 31 (2015) 10555–10561.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 360
Cu2ZnSnS4-Ag2S nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting
X. Yu, J. Liu, A. Genç, M. Ibanez, Z. Luo, A. Shavel, J. Arbiol, G. Zhang, Y. Zhang, A. Cabot, Langmuir 31 (2015) 10555–10561.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 473   OA
Derivation of nonlinear gibbs measures from many-body quantum mechanics
M. Lewin, N. Phan Thanh, N. Rougerie, Journal de l’Ecole Polytechnique - Mathematiques 2 (2015) 65–115.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 524
Qualitative analysis of concurrent mean payoff games
K. Chatterjee, R. Ibsen-Jensen, Information and Computation 242 (2015) 2–24.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5431   OA
The patience of concurrent stochastic games with safety and reachability objectives
K. Chatterjee, R. Ibsen-Jensen, K. Hansen, The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives, IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5804
From prima quadraginta octant to lattice sphere through primitive integer operations
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1939
Erratum to: Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit
J. Dereziński, M.M. Napiórkowski, Annales Henri Poincare 16 (2015) 1709–1711.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511
On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 6737   OA
Achieving Marton’s region for broadcast channels using polar codes
M. Mondelli, H. Hassani, I. Sason, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 783–800.
View | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Export / Embed