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.

2416 Publications


2014 | Journal Article | IST-REx-ID: 2250   OA
Kuchibhatla, D., Sherman, W., Chung, B., Cook, S., Schneider, G., Eisenhaber, B., & Karlin, D. (2014). Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently “orphan” viral proteins. Journal of Virology, 88(1), 10–20. https://doi.org/10.1128/JVI.02595-13
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2407   OA
Lieb, É., & Seiringer, R. (2014). Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics, 154(1–2), 51–57. https://doi.org/10.1007/s10955-013-0791-z
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2281   OA
Guo, Y., & Seiringer, R. (2014). On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics, 104(2), 141–156. https://doi.org/10.1007/s11005-013-0667-9
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 537   OA
Prizak, R., Ezard, T., & Hoyle, R. (2014). Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution, 4(15), 3139–3145. https://doi.org/10.1002/ece3.1150
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420   OA
Chatterjee, K., & Ibsen-Jensen, R. (2014). The value 1 problem for concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2014-191-v1-1
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 6740   OA
Mondelli, M., Urbanke, R., & Hassani, H. (2014). How to achieve the capacity of asymmetric channels. In 52nd Annual Allerton Conference on Communication, Control, and Computing (pp. 789–796). Monticello, IL, United States: IEEE. https://doi.org/10.1109/allerton.2014.7028535
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 772   OA
Alistarh, D., Censor Hillel, K., & Shavit, N. (2014). Are lock-free concurrent algorithms practically wait-free? (pp. 714–723). Presented at the STOC: Symposium on Theory of Computing, ACM. https://doi.org/10.1145/2591796.2591836
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 979   OA
Serbyn, M., & Fu, L. (2014). Symmetry breaking and Landau quantization in topological crystalline insulators. Physical Review B - Condensed Matter and Materials Physics, 90(3). https://doi.org/10.1103/PhysRevB.90.035402
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1872   OA
Gupta, A., Kovács, L., Kragl, B., & Voronkov, A. (2014). Extensional crisis and proving identity. In F. Cassez & J.-F. Raskin (Eds.), ATVA 2014 (Vol. 8837, pp. 185–200). Sydney, Australia: Springer. https://doi.org/10.1007/978-3-319-11936-6_14
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2027   OA
Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M., … Ujma, M. (2014). Verification of markov decision processes using learning algorithms. In F. Cassez & J.-F. Raskin (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8837, pp. 98–114). Sydney, Australia: Society of Industrial and Applied Mathematics. https://doi.org/10.1007/978-3-319-11936-6_8
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2229   OA
Vyleta, N., & Jonas, P. M. (2014). Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science, 343(6171), 665–670. https://doi.org/10.1126/science.1244811
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2039   OA
Chatterjee, K., Pavlogiannis, A., Adlam, B., & Nowak, M. (2014). The time scale of evolutionary innovation. PLoS Computational Biology, 10(9). https://doi.org/10.1371/journal.pcbi.1003818
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2053   OA
Hermanns, H., Krčál, J., & Kretinsky, J. (2014). Probabilistic bisimulation: Naturally on distributions. In P. Baldan & D. Gorla (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8704, pp. 249–265). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-662-44584-6_18
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1916   OA
Novarino, G., Fenstermaker, A., Zaki, M., Hofree, M., Silhavy, J., Heiberg, A., … Gleeson, J. (2014). Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science, 343(6170), 506–511. https://doi.org/10.1126/science.1247363
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1816   OA
Huber, S., Held, M., Meerwald, P., & Kwitt, R. (2014). Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications, 24(1), 61–86. https://doi.org/10.1142/S0218195914500034
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842   OA
Cibulka, J., Gao, P., Krcál, M., Valla, T., & Valtr, P. (2014). On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry, 53(1), 64–79. https://doi.org/10.1007/s00454-014-9646-x
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1892   OA
Ocana, S., Meidl, P., Bonfils, D., & Taborsky, M. (2014). Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences, 281(1794). https://doi.org/10.1098/rspb.2014.0253
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897   OA
Naramoto, S., Otegui, M., Kutsuna, N., De Rycke, R., Dainobu, T., Karampelias, M., … Friml, J. (2014). Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell, 26(7), 3062–3076. https://doi.org/10.1105/tpc.114.125880
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1931   OA
Savin, C., & Triesch, J. (2014). Emergence of task-dependent representations in working memory circuits. Frontiers in Computational Neuroscience, 8(MAY). https://doi.org/10.3389/fncom.2014.00057
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1936   OA
Arbilly, M., Weissman, D., Feldman, M., & Grodzinski, U. (2014). An arms race between producers and scroungers can drive the evolution of social cognition. Behavioral Ecology, 25(3), 487–495. https://doi.org/10.1093/beheco/aru002
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed