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.
6608 Publications
2014 |
Published |
Journal Article |
IST-REx-ID: 1929
Alexeev VV, Bogaevskaya VG, Preobrazhenskaya MM, Ukhalov AY, Edelsbrunner H, Yakimova O. An algorithm for cartographic generalization that preserves global topology. Journal of Mathematical Sciences. 2014;203(6):754-760. doi:10.1007/s10958-014-2165-8
View
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 1930
Günther D, Jacobson A, Reininghaus J, Seidel H, Sorkine Hornung O, Weinkauf T. Fast and memory-efficient topological denoising of 2D and 3D scalar fields. IEEE Transactions on Visualization and Computer Graphics. 2014;20(12):2585-2594. doi:10.1109/TVCG.2014.2346432
View
| DOI
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1931 |
Savin C, Triesch J. Emergence of task-dependent representations in working memory circuits. Frontiers in Computational Neuroscience. 2014;8(MAY). doi:10.3389/fncom.2014.00057
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1932 |
Trotter M, Weissman D, Peterson G, Peck K, Masel J. Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations. Evolution. 2014;68(12):3357-3367. doi:10.1111/evo.12517
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 1933
Hatakeyama J, Wakamatsu Y, Nagafuchi A, Kageyama R, Shigemoto R, Shimamura K. Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates. Development. 2014;141(8):1671-1682. doi:10.1242/dev.102988
View
| DOI
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1934
Marhavý P, Duclercq J, Weller B, et al. Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis. Current Biology. 2014;24(9):1031-1037. doi:10.1016/j.cub.2014.04.002
View
| DOI
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1935 |
Giuliani A, Lieb É, Seiringer R. Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics. 2014;331:333-350. doi:10.1007/s00220-014-1923-2
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 1936 |
Arbilly M, Weissman D, Feldman M, Grodzinski U. An arms race between producers and scroungers can drive the evolution of social cognition. Behavioral Ecology. 2014;25(3):487-495. doi:10.1093/beheco/aru002
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1937 |
Bourgade P, Erdös L, Yau H. Edge universality of beta ensembles. Communications in Mathematical Physics. 2014;332(1):261-353. doi:10.1007/s00220-014-2120-z
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 468 |
Cimadom A, Ulloa A, Meidl P, et al. Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. 2014;9(9). doi:10.1371/journal.pone.0107518
[Published Version]
View
| Files available
| DOI
| WoS
2014 |
Published |
Conference Paper |
IST-REx-ID: 475 |
Aminof B, Rubin S. First cycle games. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 146. Open Publishing Association; 2014:83-90. doi:10.4204/EPTCS.146.11
[Published Version]
View
| Files available
| DOI
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 535 |
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. Algorithmica. 2014;70(3):457-492. doi:10.1007/s00453-013-9843-7
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 537 |
Prizak R, Ezard T, Hoyle R. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 2014;4(15):3139-3145. doi:10.1002/ece3.1150
[Published Version]
View
| Files available
| DOI
| WoS
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5411 |
Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional Specifications for IOCO Testing. IST Austria; 2014. doi:10.15479/AT:IST-2014-148-v2-1
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5412 |
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v1-1
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5413 |
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v2-2
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5414 |
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v3-1
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5415 |
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5416 |
Henzinger TA, Otop J. Model Measuring for Hybrid Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-171-v1-1
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5417 |
Henzinger TA, Otop J. From Model Checking to Model Measuring. IST Austria; 2014. doi:10.15479/AT:IST-2014-172-v1-1
[Published Version]
View
| Files available
| DOI