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.

398 Publications


2015 | Conference Paper | IST-REx-ID: 1820 | OA
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 Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1823 | OA
Systematic discovery of drug interaction mechanisms
G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1824 | OA
Evolutionary games of condensates in coupled birth-death processes
J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1827 | OA
Evolution of bow-tie architectures in biology
T. Friedlander, A. Mayo, T. Tlusty, U. Alon, PLoS Computational Biology 11 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1828 | OA
Invariant measures of genetic recombination process
A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1830 | OA
Opposing effects of allogrooming on disease transmission in ant societies
F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1831 | OA
Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies
P. Kappeler, S. Cremer, C. Nunn, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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).
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1835 | OA
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1836
Segment abstraction for worst-case execution time analysis
P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032 (2015) 105–131.
View | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1838 | OA
Assume-guarantee synthesis for concurrent reactive programs with partial information
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1839 | OA
Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.
View | DOI | Download Preprint (ext.)
 

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 Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1841 | OA
A new look at reweighted message passing
V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 919–930.
View | DOI | Download Preprint (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1846 | OA
Refinement checking on parametric modal transition systems
N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, J. Srba, Acta Informatica 52 (2015) 269–297.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1847
ABP1: Finally docking
P. Grones, J. Friml, Molecular Plant 8 (2015) 356–358.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1848 | OA
FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors
Schwamb B, Pick R, Fernández S, Völp K, Heering J, Dötsch V, Bösser S, Jung J, Beinoravičiute Kellner R, Wesely J, Zörnig I, Hammerschmidt M, Nowak M, Penzel R, Zatloukal K, Joos S, Rieker R, Agaimy A, Söder S, Reid Lombardo K, Kendrick M, Bardsley M, Hayashi Y, Asuzu D, Syed S, Ördög T, Zörnig M. 2015. FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. 137(6), 1318–1329.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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: 1850 | OA View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1855 | OA
A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, Journal of Animal Ecology 84 (2015) 615–624.
View | Files available | DOI | PubMed | Europe PMC
 

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 Preprint (ext.)
 

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 Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1858 | OA View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1859 | OA
A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle
N. Shah, V. Kolmogorov, C. Lampert, in:, IEEE, 2015, pp. 2737–2745.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1860 | OA
Classifier adaptation at prediction time
A. Royer, C. Lampert, in:, IEEE, 2015, pp. 1401–1409.
View | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1861
Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks
J. Ruess, J. Lygeros, ACM Transactions on Modeling and Computer Simulation 25 (2015).
View | DOI
 

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 Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1865
Plant embryogenesis requires AUX/LAX-mediated auxin influx
H. Robert, W. Grunewald, M. Sauer, B. Cannoot, M. Soriano, R. Swarup, D. Weijers, M. Bennett, K. Boutilier, J. Friml, Development 142 (2015) 702–711.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1866
The equivalence problem for finite automata: Technical perspective
T.A. Henzinger, J. Raskin, Communications of the ACM 58 (2015) 86–86.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1867
Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection
J. Hühner, Á. Inglés Prieto, C. Neusüß, M. Lämmerhofer, H.L. Janovjak, Electrophoresis 36 (2015) 518–525.
View | 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: 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: 1873 | OA
POMDPs under probabilistic semantics
K. Chatterjee, M. Chmelik, Artificial Intelligence 221 (2015) 46–72.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1874
A three-plane architectonic atlas of the rat hippocampal region
C.N. Boccara, L. Kjønigsen, I. Hammer, J. Bjaalie, T. Leergaard, M. Witter, Hippocampus 25 (2015) 838–857.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1879 | OA
Developing 3D SEM in a broad biological context
Kremer A, Lippens S, Bartunkova S, Asselbergh B, Blanpain C, Fendrych M, Goossens A, Holt M, Janssens S, Krols M, Larsimont J, Mc Guire C, Nowack M, Saelens X, Schertel A, Schepens B, Slezak M, Timmerman V, Theunis C, Van Brempt R, Visser Y, Guérin C. 2015. Developing 3D SEM in a broad biological context. Journal of Microscopy. 259(2), 80–96.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1880 | OA
Superfluid behavior of a Bose-Einstein condensate in a random potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, New Journal of Physics 17 (2015).
View | Files available | DOI
 

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 Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1883 | OA
Anomalous scaling in an age-dependent branching model
S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, K. Klemm, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1885 | OA
Positional information, positional error, and readout precision in morphogenesis: A mathematical framework
G. Tkačik, J. Dubuis, M. Petkova, T. Gregor, Genetics 199 (2015) 39–59.
View | DOI | Download Preprint (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: 1940 | OA
Optimizing information flow in small genetic networks. IV. Spatial coupling
T.R. Sokolowski, G. Tkačik, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1944
Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants
H. Rakusová, M. Fendrych, J. Friml, Current Opinion in Plant Biology 23 (2015) 116–123.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6118 | OA
Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity
L.A. Fenk, M. de Bono, Proceedings of the National Academy of Sciences 112 (2015) E3525–E3534.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6120 | OA
Decoding a neural circuit controlling global animal state in C. elegans
P. Laurent, Z. Soltesz, G.M. Nelson, C. Chen, F. Arellano-Carbajal, E. Levy, M. de Bono, ELife 4 (2015).
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6507
Structural basis for collagen recognition by the immune receptor OSCAR
L. Zhou, J.M. Hinerman, M. Blaszczyk, J.L.C. Miller, D.G. Conrady, A.D. Barrow, D.Y. Chirgadze, D. Bihan, R.W. Farndale, A.B. Herr, Blood 127 (2015) 529–537.
View | DOI | PubMed | Europe PMC
 

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 Preprint (ext.) | arXiv
 

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 Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 866
Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13
C. Kretz, M. Dai, O. Soylemez, A. Yee, K. Desch, D. Siemieniak, K. Tomberg, F. Kondrashov, F. Meng, D. Ginsburg, PNAS 112 (2015) 9328–9333.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 886
Topological features of rugged fitness landscapes in sequence space
D. Kondrashov, F. Kondrashov, Trends in Genetics 31 (2015) 24–33.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 9017
Structural insight into how the human helicase subunit MCM2 may act as a histone chaperone together with ASF1 at the replication fork
N. Richet, D. Liu, P. Legrand, C. Velours, A. Corpet, A. Gaubert, M.M. Bakail, G. Moal-Raisin, R. Guerois, C. Compper, A. Besle, B. Guichard, G. Almouzni, F. Ochsenbein, Nucleic Acids Research 43 (2015) 1905–1917.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 9057 | OA
Artificial rheotaxis
J.A. Palacci, S. Sacanna, A. Abramian, J. Barral, K. Hanson, A.Y. Grosberg, D.J. Pine, P.M. Chaikin, Science Advances 1 (2015).
View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2015 | Journal Article | IST-REx-ID: 906
Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer
O. Arkhipova, M. Meer, G. Mikoulinskaia, M. Zakharova, A. Galushko, V. Akimenko, F. Kondrashov, PLoS One 10 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 9141 | OA
A three-dimensional map of tidal dissipation over abyssal hills
A. Lefauve, C.J. Muller, A. Melet, Journal of Geophysical Research: Oceans 120 (2015) 4760–4777.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 924
Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop
R. Boubaker, V. Platel, A. Bergès, M. Bancelin, E.B. Hannezo, Applied Thermal Engineering 76 (2015) 1–8.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 928 | OA
Assembly and positioning of actomyosin rings by contractility and planar cell polarity
I. Sehring, P. Recho, E. Denker, M. Kourakis, B. Mathiesen, E.B. Hannezo, B. Dong, D. Jiang, ELife 4 (2015).
View | Files available | DOI
 

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: 121 | OA
Origami multistability: From single vertices to metasheets
S.R. Waitukaitis, R. Menaut, B. Chen, M. Van Hecke, APS Physics, Physical Review Letters 114 (2015).
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1311
Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach
J.L. Fischer, G. Grün, SIAM Journal on Mathematical Analysis 47 (2015) 825–854.
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1316
Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems
J.L. Fischer, Archive for Rational Mechanics and Analysis 218 (2015) 553–587.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1383 | OA
V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis
L. Yu, S. Scholl, A. Doering, Z. Yi, N. Irani, S. Di Rubbo, L. Neumetzler, P. Krishnamoorthy, I. Van Houtte, E. Mylle, V. Bischoff, S. Vernhettes, J. Winne, J. Friml, Y. Stierhof, K. Schumacher, S. Persson, E. Russinova, Nature Plants 1 (2015).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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 | Thesis | IST-REx-ID: 1400
The subclonal evolution of cancer
J. Reiter, The Subclonal Evolution of Cancer, IST Austria, 2015.
View | Files available
 

2015 | Thesis | IST-REx-ID: 1401 | OA
Learning with attributes for object recognition: Parametric and non-parametrics views
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, IST Austria, 2015.
View | Files available | DOI | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1424 | OA
Statistical topological data analysis-A kernel perspective
R. Kwitt, S. Huber, M. Niethammer, W. Lin, U. Bauer, in:, Neural Information Processing Systems, 2015, pp. 3070–3078.
View | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1425 | OA
Lifelong learning with non-i.i.d. tasks
A. Pentina, C. Lampert, in:, Neural Information Processing Systems, 2015, pp. 1540–1548.
View | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1430 | OA
First steps towards a runtime comparison of natural and artificial evolution
T. Paixao, D. Sudholt, J. Heredia, B. Trubenova, in:, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–1462.
View | DOI | Download Preprint (ext.)
 

2015 | Book Review | IST-REx-ID: 1473 | OA
Cohomology of large semiprojective hyperkähler varieties
T. Hausel, F. Rodríguez Villegas, Asterisque 2015 (2015) 113–156.
View | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1474 | OA
Policy privacy in cryptographic access control
A. Ferrara, G. Fuchsbauer, B. Liu, B. Warinschi, in:, IEEE, 2015, pp. 46–60.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1481 | OA
Automatic generation of alternative starting positions for simple traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI Press, 2015, pp. 745–752.
View | Files available | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1483 | OA
A stable multi-scale kernel for topological machine learning
J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1495 | OA
Relaxed disk packing
H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.
View | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1497 | OA
Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data
D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow, F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1498 | OA
The need for language support for fault-tolerant distributed systems
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1499 | OA
Polynomial time decidability of weighted synchronization under partial observability
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.
View | Files available | DOI
 

2015 | Conference Poster | IST-REx-ID: 1500
Poster: HyRG: A random generation tool for affine hybrid automata
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata, Springer, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1501 | OA
CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1502 | OA
Complete composition operators for IOCO-testing theory
N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1503 | OA
A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles
C. Sadel, Ergodic Theory and Dynamical Systems 35 (2015) 1582–1591.
View | DOI | Download Preprint (ext.)
 

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 Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1505 | OA
Universality for the largest eigenvalue of sample covariance matrices with general population
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506 | OA
The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1508 | OA
Gap universality of generalized Wigner and β ensembles
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.
View | DOI | Download Preprint (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. Lukacisinova, M.T. Bollenbach, J. Friml, F1000 Research 4 (2015).
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1510 | OA
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 | Conference Paper | IST-REx-ID: 1511 | OA
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 | Conference Paper | IST-REx-ID: 1512 | OA
Bounding Helly numbers via Betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, ACM, 2015, pp. 507–521.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1513 | OA
The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression
A. Pal, B. Vicoso, Genome Biology and Evolution 7 (2015) 3259–3268.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1514
Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission
M. Gómez Gonzalo, M. Navarrete, G. Perea, A. Covelo, M. Martín Fernández, R. Shigemoto, R. Luján, A. Araque, Cerebral Cortex 25 (2015) 3699–3712.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1515
Distinct subsynaptic localization of type 1 metabotropic glutamate receptors at glutamatergic and GABAergic synapses in the rodent cerebellar cortex
M. Mansouri, Y. Kasugai, Y. Fukazawa, F. Bertaso, F. Raynaud, J. Perroy, L. Fagni, W. Kaufmann, M. Watanabe, R. Shigemoto, F. Ferraguti, European Journal of Neuroscience 41 (2015) 157–167.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1517 | OA
From large deviations to Wasserstein gradient flows in multiple dimensions
M. Erbar, J. Maas, M. Renger, Electronic Communications in Probability 20 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1519 | OA
The interpretation of selection coefficients
N.H. Barton, M. Servedio, Evolution 69 (2015) 1101–1112.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1520
Computational design of walking automata
G. Bharaj, S. Coros, B. Thomaszewski, J. Tompkin, B. Bickel, H. Pfister, in:, ACM, 2015, pp. 93–100.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1525 | OA
Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA
B. Bauer, G. Blechl, C. Bock, P. Danowski, A. Ferus, A. Graschopf, T. König, K. Mayer, F. Reckling, K. Rieck, P. Seitz, H. Stöger, E. Welzig, VÖB Mitteilungen 68 (2015) 580–607.
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
 

Filters and Search Terms

year=2015

Search

Filter Publications