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.

2421 Publications


2015 | Journal Article | IST-REx-ID: 1699   OA
Adaptive gene introgression after secondary contact
H. Uecker, D. Setter, J. Hermisson, Journal of Mathematical Biology 70 (2015) 1523–1580.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1682   OA
Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1687   OA
Navigating in tissue mazes: Chemoattractant interpretation in complex environments
M. Sarris, M.K. Sixt, Current Opinion in Cell Biology 36 (2015) 93–102.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1668   OA
Relaxing full-codebook security: A refined analysis of key-length extension schemes
P. Gazi, J. Lee, Y. Seurin, J. Steinberger, S. Tessaro, 9054 (2015) 319–341.
View | DOI | Download (ext.)
 

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

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

2015 | Conference Paper | IST-REx-ID: 1992   OA
Succinct representation of concurrent trace sets
A. Gupta, T.A. Henzinger, A. Radhakrishna, R. Samanta, T. Tarrach, in:, ACM, 2015, pp. 433–444.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1997   OA
The three-state toric homogeneous Markov chain model has Markov degree two
P. Noren, Journal of Symbolic Computation 68/Part 2 (2015) 285–296.
View | DOI | Download (ext.)
 

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

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

2015 | Journal Article | IST-REx-ID: 2008   OA
Iterative scaling in curved exponential families
A. Klimova, T. Rudas, Scandinavian Journal of Statistics 42 (2015) 832–847.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2166   OA
The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case
L. Erdös, A. Knowles, Communications in Mathematical Physics 333 (2015) 1365–1416.
View | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5444   OA
Reconstructing robust phylogenies of metastatic cancers
J. Reiter, A. Makohon-Moore, J. Gerold, I. Bozic, K. Chatterjee, C. Iacobuzio-Donahue, B. Vogelstein, M. Nowak, Reconstructing Robust Phylogenies of Metastatic Cancers, IST Austria, 2015.
View | Files available | 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: 981   OA
Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators
I. Zeljkovic, Y. Okada, M. Serbyn, R. Sankar, D. Walkup, W. Zhou, J. Liu, G. Chang, Y. Wang, M. Hasan, F. Chou, H. Lin, A. Bansil, L. Fu, V. Madhavan, Nature Materials 14 (2015) 318–324.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 99   OA
Parity lifetime of bound states in a proximitized semiconductor nanowire
A.P. Higginbotham, S.M. Albrecht, G. Kiršanskas, W. Chang, F. Kuemmeth, P. Krogstrup, T. Jespersen, J. Nygård, K. Flensberg, C. Marcus, Nature Physics 11 (2015) 1017–1021.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1810   OA
Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution
M.T. Bollenbach, Current Opinion in Microbiology 27 (2015) 1–9.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 2034   OA
Probabilistic opacity for Markov decision processes
B. Bérard, K. Chatterjee, N. Sznajder, Information Processing Letters 115 (2015) 52–59.
View | DOI | Download (ext.)
 

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: 1598   OA
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Preprint | IST-REx-ID: 7779   OA View | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601   OA
The Hanoi omega-automata format
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
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: 1555   OA
Rich bifurcation structure in a two patch vaccination model
D. Knipl, P. Pilarczyk, G. Röst, SIAM Journal on Applied Dynamical Systems 14 (2015) 980–1017.
View | DOI | Download (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 (ext.)
 

2015 | Book Chapter | IST-REx-ID: 1544   OA
Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins
P. Nguyen, C. Field, A. Groen, T. Mitchison, M. Loose, in:, Building a Cell from Its Components Parts, Academic Press, 2015, pp. 223–241.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549   OA
Flipping the photoswitch: Ion channels under light control
C. Mckenzie, I. Sanchez Romero, H.L. Janovjak, in:, Novel Chemical Tools to Study Ion Channel Biology, Springer, 2015, pp. 101–117.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1551   OA
Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes
L. El Masri, A. Branca, A. Sheppard, A. Papkou, D. Laehnemann, P. Guenther, S. Prahl, M. Saebelfeld, J. Hollensteiner, H. Liesegang, E. Brzuszkiewicz, R. Daniel, N. Michiels, R. Schulte, J. Kurtz, P. Rosenstiel, A. Telschow, E. Bornberg Bauer, H. Schulenburg, PLoS Biology 13 (2015) 1–30.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1556   OA
The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development
Y. Jia, H. Tian, H. Li, Q. Yu, L. Wang, J. Friml, Z. Ding, Journal of Experimental Botany 66 (2015) 4631–4642.
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: 1506   OA
The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1570   OA
Novel plasticity rule can explain the development of sensorimotor intelligence
R. Der, G.S. Martius, PNAS 112 (2015) E6224–E6232.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1575   OA
Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells
M. Chabaud, M. Heuzé, M. Bretou, P. Vargas, P. Maiuri, P. Solanes, M. Maurin, E. Terriac, M. Le Berre, D. Lankar, T. Piolot, R. Adelstein, Y. Zhang, M.K. Sixt, J. Jacobelli, O. Bénichou, R. Voituriez, M. Piel, A. Lennon Duménil, Nature Communications 6 (2015).
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1652   OA
High parallel complexity graphs and memory-hard functions
J.F. Alwen, V. Serbinenko, in:, Proceedings of the 47th Annual ACM Symposium on Theory of Computing, ACM, 2015, pp. 595–603.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1695   OA
Evaluation techniques for Gutzwiller wave functions in finite dimensions
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physica Status Solidi (B): Basic Solid State Physics 252 (2015) 2059–2071.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1669   OA
The chain rule for HILL pseudoentropy, revisited
K.Z. Pietrzak, M. Skórski, 9230 (2015) 81–98.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1671   OA
The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC
P. Gazi, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2015, pp. 368–387.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1688   OA
Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
R. Karasev, J. Kynčl, P. Paták, Z. Patakova, M. Tancer, Discrete & Computational Geometry 54 (2015) 610–636.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1664   OA
The rise of fully turbulent flow
D. Barkley, B. Song, M. Vasudevan, G.M. Lemoult, M. Avila, B. Hof, Nature 526 (2015) 550–553.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1710   OA
Minimal resistance of curves under the single impact assumption
A. Akopyan, A. Plakhov, Society for Industrial and Applied Mathematics 47 (2015) 2754–2769.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1789   OA
Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome
A. Kuechler, A. Zink, T. Wieland, H. Lüdecke, K. Cremer, L. Salviati, P. Magini, K. Najafi, C. Zweier, J. Czeschik, S. Aretz, S. Endele, F. Tamburrino, C. Pinato, M. Clementi, J. Gundlach, C. Maylahn, L. Mazzanti, E. Wohlleber, T. Schwarzmayr, R. Kariminejad, A. Schlessinger, D. Wieczorek, T. Strom, G. Novarino, H. Engels, European Journal of Human Genetics 23 (2015) 753–760.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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 | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1809   OA
Indirect genetic effects and the dynamics of social interactions
B. Trubenova, S. Novak, R. Hager, PLoS One 10 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1811   OA
Analytical evaluation of atomic form factors: Application to Rayleigh scattering
L. Safari, J. Santos, P. Amaro, K. Jänkälä, F. Fratini, Journal of Mathematical Physics 56 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1804   OA
Transition to turbulence in Taylor-Couette ferrofluidic flow
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).
View | Files available | DOI
 

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

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

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed