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.
6436 Publications
2014 |
Published |
Conference Paper |
IST-REx-ID: 1708 |
Savin C, Denève S. Spatio-temporal representations of uncertainty in spiking neural networks. In: Vol 27. Neural Information Processing Systems Foundation; 2014:2024-2032.
View
| Download None (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 1733 |
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface simulation distances. Theoretical Computer Science. 2014;560(3):348-363. doi:10.1016/j.tcs.2014.08.019
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2014 |
Published |
Conference Paper |
IST-REx-ID: 8044 |
Seiringer R. Structure of the excitation spectrum for many-body quantum systems. In: Proceeding of the International Congress of Mathematicans. Vol 3. International Congress of Mathematicians; 2014:1175-1194.
[Published Version]
View
| Download Published Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 9458 |
Huff JT, Zilberman D. Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse eukaryotes. Cell. 2014;156(6):1286-1297. doi:10.1016/j.cell.2014.01.029
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 |
Published |
Journal Article |
IST-REx-ID: 9479 |
Mérai Z, Chumak N, García-Aguilar M, et al. The AAA-ATPase molecular chaperone Cdc48/p97 disassembles sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA genes. Proceedings of the National Academy of Sciences. 2014;111(45):16166-16171. doi:10.1073/pnas.1418564111
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 |
Published |
Journal Article |
IST-REx-ID: 9519
Kim MY, Zilberman D. DNA methylation as a system of plant genomic immunity. Trends in Plant Science. 2014;19(5):320-326. doi:10.1016/j.tplants.2014.01.014
View
| DOI
| PubMed | Europe PMC
2014 |
Research Data Reference |
IST-REx-ID: 9722
Lovrics A, Gao Y, Juhász B, et al. Transition probability between TF expression states when Dbx2 inhibits Nkx2.2. 2014. doi:10.1371/journal.pone.0111430.s006
[Published Version]
View
| Files available
| DOI
2014 |
Research Data Reference |
IST-REx-ID: 9739
Chatterjee K, Pavlogiannis A, Adlam B, Novak M. Detailed proofs for “The time scale of evolutionary innovation.” 2014. doi:10.1371/journal.pcbi.1003818.s001
[Published Version]
View
| Files available
| DOI
2014 |
Research Data Reference |
IST-REx-ID: 9740 |
Konrad M, Grasse AV, Tragust S, Cremer S. Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. 2014. doi:10.5061/dryad.vm0vc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9741 |
Lagator M, Colegrave N, Neve P. Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. 2014. doi:10.5061/dryad.85dn7
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9747 |
Lagator M, Morgan A, Neve P, Colegrave N. Data from: Role of sex and migration in adaptation to sink environments. 2014. doi:10.5061/dryad.s42n1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9752 |
Simmons K, Prentice J, Tkačik G, et al. Data from: Transformation of stimulus correlations by the retina. 2014. doi:10.5061/dryad.246qg
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9753 |
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. 2014. doi:10.5061/dryad.nc0gc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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
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
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
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