Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5339 Publications
2017 | Published | Conference Paper | IST-REx-ID: 999 |
Multi-task learning with labeled and unlabeled tasks
A. Pentina, C. Lampert, in:, ML Research Press, 2017, pp. 2807–2816.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
A. Pentina, C. Lampert, in:, ML Research Press, 2017, pp. 2807–2816.
2017 | Published | Journal Article | IST-REx-ID: 909 |
On the lengths of curves passing through boundary points of a planar convex shape
A. Akopyan, V. Vysotsky, The American Mathematical Monthly 124 (2017) 588–596.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
A. Akopyan, V. Vysotsky, The American Mathematical Monthly 124 (2017) 588–596.
2017 | Published | Journal Article | IST-REx-ID: 910 |
When does frequency-independent selection maintain genetic variation?
S. Novak, N.H. Barton, Genetics 207 (2017) 653–668.
[Submitted Version]
View
| Files available
| DOI
| WoS
S. Novak, N.H. Barton, Genetics 207 (2017) 653–668.
2017 | Published | Conference Paper | IST-REx-ID: 911 |
Probabilistic image colorization
A. Royer, A. Kolesnikov, C. Lampert, in:, BMVA Press, 2017, p. 85.1-85.12.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Royer, A. Kolesnikov, C. Lampert, in:, BMVA Press, 2017, p. 85.1-85.12.
2017 | Published | Journal Article | IST-REx-ID: 912 |
A lower bound for the BCS functional with boundary conditions at infinity
A. Deuchert, Journal of Mathematical Physics 58 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
A. Deuchert, Journal of Mathematical Physics 58 (2017).
2017 | Published | Journal Article | IST-REx-ID: 914 |
Ant queens increase their reproductive efforts after pathogen infection
J. Giehr, A.V. Grasse, S. Cremer, J. Heinze, A. Schrempf, Royal Society Open Science 4 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
J. Giehr, A.V. Grasse, S. Cremer, J. Heinze, A. Schrempf, Royal Society Open Science 4 (2017).
2017 | Published | Conference Paper | IST-REx-ID: 915 |
A message passing algorithm for the minimum cost multicut problem
P. Swoboda, B. Andres, in:, IEEE, 2017, pp. 4990–4999.
[Submitted Version]
View
| Files available
| DOI
| WoS
P. Swoboda, B. Andres, in:, IEEE, 2017, pp. 4990–4999.
2017 | Published | Conference Paper | IST-REx-ID: 916 |
A study of lagrangean decompositions and dual ascent solvers for graph matching
P. Swoboda, C. Rother, C. Abu Alhaija, D. Kainmueller, B. Savchynskyy, in:, IEEE, 2017, pp. 7062–7071.
[Submitted Version]
View
| Files available
| DOI
| WoS
P. Swoboda, C. Rother, C. Abu Alhaija, D. Kainmueller, B. Savchynskyy, in:, IEEE, 2017, pp. 7062–7071.
2017 | Published | Conference Paper | IST-REx-ID: 917 |
A dual ascent framework for Lagrangean decomposition of combinatorial problems
P. Swoboda, J. Kuske, B. Savchynskyy, in:, IEEE, 2017, pp. 4950–4960.
[Submitted Version]
View
| Files available
| DOI
| WoS
P. Swoboda, J. Kuske, B. Savchynskyy, in:, IEEE, 2017, pp. 4950–4960.
2017 | Published | Journal Article | IST-REx-ID: 939 |
Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons
B. Midya, V. Konotop, Physical Review Letters 119 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
B. Midya, V. Konotop, Physical Review Letters 119 (2017).
2017 | Published | Conference Paper | IST-REx-ID: 941 |
JFIX: Semantics-based repair of Java programs via symbolic PathFinder
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
[Published Version]
View
| DOI
| Download Published Version (ext.)
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
2017 | Published | Conference Paper | IST-REx-ID: 942
S3: Syntax- and semantic-guided repair synthesis via programming by examples
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
View
| DOI
| WoS
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
2017 | Published | Journal Article | IST-REx-ID: 943 |
Decoding of position in the developing neural tube from antiparallel morphogen gradients
M.P. Zagórski, Y. Tabata, N. Brandenberg, M. Lutolf, G. Tkačik, T. Bollenbach, J. Briscoe, A. Kicheva, Science 356 (2017) 1379–1383.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
M.P. Zagórski, Y. Tabata, N. Brandenberg, M. Lutolf, G. Tkačik, T. Bollenbach, J. Briscoe, A. Kicheva, Science 356 (2017) 1379–1383.
2017 | Published | Journal Article | IST-REx-ID: 944
Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells
R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F. Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer, Neuron 94 (2017) 517–533.e3.
View
| DOI
| WoS
R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F. Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer, Neuron 94 (2017) 517–533.e3.
2017 | Published | Journal Article | IST-REx-ID: 9445 |
DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes
D.B. Lyons, D. Zilberman, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D.B. Lyons, D. Zilberman, ELife 6 (2017).
2017 | Published | Journal Article | IST-REx-ID: 945 |
Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.
[Published Version]
View
| Files available
| DOI
| WoS
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.
2017 | Published | Journal Article | IST-REx-ID: 946 |
Live tracking of moving samples in confocal microscopy for vertically grown roots
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, J. Friml, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, J. Friml, ELife 6 (2017).
2017 | Published | Conference Paper | IST-REx-ID: 13160 |
Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
2017 | Published | Journal Article | IST-REx-ID: 1336 |
Towards a runtime comparison of natural and artificial evolution
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
[Published Version]
View
| Files available
| DOI
| WoS
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
2017 | Published | Journal Article | IST-REx-ID: 1337 |
Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
[Published Version]
View
| Files available
| DOI
| WoS
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.