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.

5429 Publications


2014 | Conference Paper | IST-REx-ID: 2051   OA
Marchand, M., Hongyu, S., Morvant, E., Rousu, J., & Shawe Taylor, J. (2014). Multilabel structured output learning with random spanning trees of max-margin Markov networks. Presented at the NIPS: Neural Information Processing Systems, Neural Information Processing Systems.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2032   OA
Inglés Prieto, Á., Gschaider-Reichhart, E., Schelch, K., Janovjak, H. L., & Grusch, M. (2014). The optogenetic promise for oncology: Episode I. Molecular and Cellular Oncology, 1(4). https://doi.org/10.4161/23723548.2014.964045
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2056   OA
Ganguly, A., Petrov, T., & Koeppl, H. (2014). Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology, 69(3), 767–797. https://doi.org/10.1007/s00285-013-0738-7
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2020
Ali, S., Hippenmeyer, S., Saadat, L., Luo, L., Weissman, I., & Ardehali, R. (2014). Existing cardiomyocytes generate cardiomyocytes at a low rate after birth in mice. PNAS, 111(24), 8850–8855. https://doi.org/10.1073/pnas.1408233111
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2133   OA
Carlen, E., & Maas, J. (2014). An analog of the 2-Wasserstein metric in non-commutative probability under which the fermionic Fokker-Planck equation is gradient flow for the entropy. Communications in Mathematical Physics, 331(3), 887–926. https://doi.org/10.1007/s00220-014-2124-8
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2140   OA
Otterbach, J., & Lemeshko, M. (2014). Dissipative preparation of spatial order in Rydberg-dressed Bose-Einstein condensates. Physical Review Letters, 113(7). https://doi.org/10.1103/PhysRevLett.113.070401
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2164
Chai, X., Münzner, G., Zhao, S., Tinnes, S., Kowalski, J., Häussler, U., … Frotscher, M. (2014). Epilepsy-induced motility of differentiated neurons. Cerebral Cortex, 24(8), 2130–2140. https://doi.org/10.1093/cercor/bht067
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2169   OA
Barton, N. H., Novak, S., & Paixao, T. (2014). Diverse forms of selection in evolution and computer science. PNAS, 111(29), 10398–10399. https://doi.org/10.1073/pnas.1410107111
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2171   OA
Kolesnikov, A., Guillaumin, M., Ferrari, V., & Lampert, C. (2014). Closed-form approximate CRF training for scalable image segmentation. In D. Fleet, T. Pajdla, B. Schiele, & T. Tuytelaars (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8691, pp. 550–565). Zurich, Switzerland: Springer. https://doi.org/10.1007/978-3-319-10578-9_36
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2176
Studer, D., Zhao, S., Chai, X., Jonas, P. M., Graber, W., Nestel, S., & Frotscher, M. (2014). Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue. Nature Protocols, 9(6), 1480–1495. https://doi.org/10.1038/nprot.2014.099
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2183   OA
Botella Soler, V., & Glendinning, P. (2014). Hierarchy and polysynchrony in an adaptive network . Physical Review E Statistical Nonlinear and Soft Matter Physics, 89(6). https://doi.org/10.1103/PhysRevE.89.062809
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2188   OA
Kania, U., Fendrych, M., & Friml, J. (2014). Polar delivery in plants; commonalities and differences to animal epithelial cells. Open Biology, 4(APRIL). https://doi.org/10.1098/rsob.140017
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2208   OA
Lahrz, M., Lemeshko, M., Sengstock, K., Becker, C., & Mathey, L. (2014). Detecting quadrupole interactions in ultracold Fermi gases. Physical Review A - Atomic, Molecular, and Optical Physics, 89(4). https://doi.org/10.1103/PhysRevA.89.043616
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2222
Naramoto, S., Nodzyński, T., Dainobu, T., Takatsuka, H., Okada, T., Friml, J., & Fukuda, H. (2014). VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis. Plant and Cell Physiology, 55(4), 750–763. https://doi.org/10.1093/pcp/pcu012
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2227
Cires Rodriguez, E., Baltisberger, M., Cuesta, C., Vargas, P., & Prieto, J. (2014). Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. Organisms Diversity and Evolution, 14(1), 1–10. https://doi.org/10.1007/s13127-013-0150-6
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2241
Beppu, K., Sasaki, T., Tanaka, K., Yamanaka, A., Fukazawa, Y., Shigemoto, R., & Matsui, K. (2014). Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron, 81(2), 314–320. https://doi.org/10.1016/j.neuron.2013.11.011
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2253
Bailly, A., Wang, B., Zwiewka, M., Pollmann, S., Schenck, D., Lüthen, H., … Geisler, M. (2014). Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal, 77(1), 108–118. https://doi.org/10.1111/tpj.12369
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2246   OA
Grinshpun, A., Phalitnonkiat, P., Rubin, S., & Tarfulea, A. (2014). Alternating traps in Muller and parity games. Theoretical Computer Science, 521, 73–91. https://doi.org/10.1016/j.tcs.2013.11.032
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2215
Renkawitz, J., Lademann, C., & Jentsch, S. (2014). Mechanisms and principles of homology search during recombination. Nature Reviews Molecular Cell Biology, 15(6), 369–383. https://doi.org/10.1038/nrm3805
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 2265
Hippenmeyer, S. (2014). Molecular pathways controlling the sequential steps of cortical projection neuron migration. In L. Nguyen (Ed.), Cellular and Molecular Control of Neuronal Migration (Vol. 800, pp. 1–24). Springer. https://doi.org/10.1007/978-94-007-7687-6_1
View | DOI
 

2014 | Journal Article | IST-REx-ID: 249
Browning, T. D., & Vishe, P. (2014). Cubic hypersurfaces and a version of the circle method for number fields. Duke Mathematical Journal, 163(10), 1825–1883. https://doi.org/10.1215/00127094-2738530
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2905   OA
Edelsbrunner, H., & Morozovy, D. (2014). Persistent homology: Theory and practice (pp. 31–50). Presented at the ECM: European Congress of Mathematics, Kraków, Poland: European Mathematical Society Publishing House. https://doi.org/10.4171/120-1/3
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 3263   OA
Tkacik, G., Ghosh, A., Schneidman, E., & Segev, R. (2014). Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One, 9(1). https://doi.org/10.1371/journal.pone.0085841
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 357
Fairbrother, A., Izquierdo Roca, V., Fontané, X., Ibanez, M., Cabot, A., Saucedo, E., & Pérez Rodríguez, A. (2014). ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation. CrystEngComm, 16(20), 4120–4125. https://doi.org/10.1039/c3ce42578a
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2157
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2014). Embeddability in the 3 sphere is decidable. In Proceedings of the Annual Symposium on Computational Geometry (pp. 78–84). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582137
View | Files available | DOI | Download (ext.)
 

2014 | Technical Report | IST-REx-ID: 5423   OA
Chatterjee, K., Kössler, A., Pavlogiannis, A., & Schmid, U. (2014). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria. https://doi.org/10.15479/AT:IST-2014-300-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5411   OA
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria. https://doi.org/10.15479/AT:IST-2014-148-v2-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5416   OA
Henzinger, T. A., & Otop, J. (2014). Model measuring for hybrid systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-171-v1-1
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 5810
Biswas, R., & Bhowmick, P. (2014). On Finding Spherical Geodesic Paths and Circles in ℤ3. Presented at the DGCI: International Conference on Discrete Geometry for Computer Imagery, Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-319-09955-2_33
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 6178
Smutny, M., Behrndt, M., Campinho, P., Ruprecht, V., & Heisenberg, C.-P. J. (2014). UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In C. Nelson (Ed.), Tissue Morphogenesis (Vol. 1189, pp. 219–235). New York, NY: Springer. https://doi.org/10.1007/978-1-4939-1164-6_15
View | DOI | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 768
Alistarh, D., Aspnes, J., Bender, M., Gelashvili, R., & Gilbert, S. (2014). Dynamic task allocation in asynchronous shared memory (pp. 416–435). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973402.31
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 770
Alistarh, D., Eugster, P., Herlihy, M., Matveev, A., & Shavit, N. (2014). StackTrack: An automated transactional approach to concurrent memory reclamation. Presented at the EuroSys: European Conference on Computer Systems, ACM. https://doi.org/10.1145/2592798.2592808
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 775   OA
Alistarh, D., Kopinsky, J., Matveev, A., & Shavit, N. (2014). The levelarray: A fast, practical long-lived renaming algorithm (pp. 348–357). Presented at the ICDCS: International Conference on Distributed Computing Systems, IEEE. https://doi.org/10.1109/ICDCS.2014.43
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2001
Mitosch, K., & Bollenbach, T. (2014). Bacterial responses to antibiotics and their combinations. Environmental Microbiology Reports, 6(6), 545–557. https://doi.org/10.1111/1758-2229.12190
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 927
Hannezo, E., Prost, J., & Joanny, J. (2014). Theory of epithelial sheet morphology in three dimensions. PNAS, 111(1), 27–32. https://doi.org/10.1073/pnas.1312076111
View | DOI
 

2014 | Journal Article | IST-REx-ID: 845
Seplyarskiy, V., Logacheva, M., Penin, A., Baranová, M., Leushkin, E., Demidenko, N., … James, T. (2014). Crossing-over in a hypervariable species preferentially occurs in regions of high local similarity. Molecular Biology and Evolution, 31(11), 3016–3025. https://doi.org/10.1093/molbev/msu242
View | DOI
 

2014 | Journal Article | IST-REx-ID: 852
Rosello, O., & Kondrashov, F. (2014). Long-Term asymmetrical acceleration of protein evolution after gene duplication. Genome Biology and Evolution, 6(8), 1949–1955. https://doi.org/10.1093/gbe/evu159
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2082
Gazi, P., Pietrzak, K. Z., & Rybar, M. (2014). The exact PRF-security of NMAC and HMAC. In J. Garay & R. Gennaro (Eds.) (Vol. 8616, pp. 113–130). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, USA: Springer. https://doi.org/10.1007/978-3-662-44371-2_7
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 97   OA
Higginbotham, A. P., Kuemmeth, F., Larsen, T., Fitzpatrick, M., Yao, J., Yan, H., … Marcus, C. (2014). Antilocalization of coulomb blockade in a Ge/Si nanowire. APS Physics, Physical Review Letters, 112(21). https://doi.org/10.1103/PhysRevLett.112.216806
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 977   OA
Serbyn, M., Knap, M., Gopalakrishnan, S., Papić, Z., Yao, N., Laumann, C., … Demler, E. (2014). Interferometric probes of many-body localization. Physical Review Letters, 113(14). https://doi.org/10.1103/PhysRevLett.113.147204
View | DOI | Download (ext.)
 

2014 | Technical Report | IST-REx-ID: 5428
Chatterjee, K., Henzinger, T. A., Otop, J., & Velner, Y. (2014). Quantitative fair simulation games. IST Austria. https://doi.org/10.15479/AT:IST-2014-315-v1-1
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1375   OA
Chatterjee, K., Henzinger, M., Krinninger, S., Loitzenbauer, V., & Raskin, M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science, 547(C), 104–116. https://doi.org/10.1016/j.tcs.2014.06.031
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2234   OA
Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., & Kučera, A. (2014). Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science, 10(1). https://doi.org/10.2168/LMCS-10(1:13)2014
View | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2239
Boker, U., Henzinger, T. A., & Radhakrishna, A. (2014). Battery transition systems (Vol. 49, pp. 595–606). Presented at the POPL: Principles of Programming Languages, San Diego, USA: ACM. https://doi.org/10.1145/2535838.2535875
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2190   OA
Esparza, J., & Kretinsky, J. (2014). From LTL to deterministic automata: A safraless compositional approach (Vol. 8559, pp. 192–208). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-319-08867-9_13
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2063
Chatterjee, K., Chmelik, M., & Daca, P. (2014). CEGAR for qualitative analysis of probabilistic systems (Vol. 8559, pp. 473–490). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-319-08867-9_31
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 535   OA
Chatterjee, K., Henzinger, M., Krinninger, S., & Nanongkai, D. (2014). Polynomial time algorithms for energy games with special weight structures. Algorithmica, 70(3), 457–492. https://doi.org/10.1007/s00453-013-9843-7
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 7304
Kwabi, D. G., Ortiz-Vitoriano, N., Freunberger, S. A., Chen, Y., Imanishi, N., Bruce, P. G., & Shao-Horn, Y. (2014). Materials challenges in rechargeable lithium-air batteries. MRS Bulletin, 39(5), 443–452. https://doi.org/10.1557/mrs.2014.87
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7455
Costanzo, T., Benzi, F., Ghigna, P., Pin, S., Spinolo, G., & d’Acapito, F. (2014). Studying the surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS). Journal of Synchrotron Radiation, 21(2), 395–400. https://doi.org/10.1107/s1600577513031299
View | DOI
 

2014 | Journal Article | IST-REx-ID: 118
Altshuler, E., Torres, H., González_Pita, A., Sánchez, C. G., Pérez Penichet, C., Waitukaitis, S. R., & Hidalgo, R. (2014). Settling into dry granular media in different gravities. Geophysical Research Letters, 41(9), 3032–3037. https://doi.org/10.1002/2014GL059229
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed