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.

5684 Publications


2014 | Journal Article | IST-REx-ID: 1822
Jakšić, V., Pillet, C., & Seiringer, R. (2014). Introduction. Journal of Mathematical Physics, 55(7). https://doi.org/10.1063/1.4884877
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1853
Jha, S., Tripakis, S., Seshia, S., & Chatterjee, K. (2014). Game theoretic secure localization in wireless sensor networks (pp. 85–90). Presented at the IOT: Internet of Things, Cambridge, USA: IEEE. https://doi.org/10.1109/IOT.2014.7030120
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1980
Heikal, A., Nakatani, Y., Dunn, E., Weimar, M., Day, C., Baker, E., … Cook, G. (2014). Structure of the bacterial type II NADH dehydrogenase: a monotopic membrane protein with an essential role in energy generation. Molecular Microbiology, 91(5), 950–964. https://doi.org/10.1111/mmi.12507
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1877
Sixt, M. K., & Vaahtomeri, K. (2014). Physiology: Relax and come in. Nature, 514(7523), 441–442. https://doi.org/10.1038/514441a
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1884
Landau, D., Stewart, C., Reiter, J., Lawrence, M., Sougnez, C., Brown, J., … Wu, C. (2014). Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples. Blood, 124(21), 1952–1952.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1889   OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics, 26(7). https://doi.org/10.1142/S0129055X14500123
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1891
Chwastyk, M., Galera Prat, A., Sikora, M. K., Gómez Sicilia, À., Carrión Vázquez, M., & Cieplak, M. (2014). Theoretical tests of the mechanical protection strategy in protein nanomechanics. Proteins: Structure, Function and Bioinformatics, 82(5), 717–726. https://doi.org/10.1002/prot.24436
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1896   OA
Kollár, R., Bod’ová, K., Nosek, J., & Tomáška, Ľ. (2014). Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics, 89(3). https://doi.org/10.1103/PhysRevE.89.032701
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1923   OA
Berthoumieux, H., Maître, J.-L., Heisenberg, C.-P. J., Paluch, E., Julicher, F., & Salbreux, G. (2014). Active elastic thin shell theory for cellular deformations. New Journal of Physics, 16. https://doi.org/10.1088/1367-2630/16/6/065005
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1928
Humplik, J., Hill, A., & Nowak, M. (2014). Evolutionary dynamics of infectious diseases in finite populations. Journal of Theoretical Biology, 360, 149–162. https://doi.org/10.1016/j.jtbi.2014.06.039
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1930
Günther, D., Jacobson, A., Reininghaus, J., Seidel, H., Sorkine Hornung, O., & Weinkauf, T. (2014). Fast and memory-efficient topological denoising of 2D and 3D scalar fields. IEEE Transactions on Visualization and Computer Graphics, 20(12), 2585–2594. https://doi.org/10.1109/TVCG.2014.2346432
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1935   OA
Giuliani, A., Lieb, É., & Seiringer, R. (2014). Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics, 331(1), 333–350. https://doi.org/10.1007/s00220-014-1923-2
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1904   OA
Frank, R., Lewin, M., Lieb, É., & Seiringer, R. (2014). Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society, 16(7), 1507–1526. https://doi.org/10.4171/JEMS/467
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1909   OA
Ezard, T., Prizak, R., & Hoyle, R. (2014). The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology, 28(3), 693–701. https://doi.org/10.1111/1365-2435.12207
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1911
Engström, A., & Noren, P. (2014). Tverberg’s Theorem and Graph Coloring. Discrete & Computational Geometry, 51(1), 207–220. https://doi.org/10.1007/s00454-013-9556-3
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2041   OA
Jonas, P. M., & Lisman, J. (2014). Structure, function and plasticity of hippocampal dentate gyrus microcircuits. Frontiers in Neural Circuits, 8. https://doi.org/10.3389/fncir.2014.00107
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2046   OA
Bellare, M., & Fuchsbauer, G. (2014). Policy-based signatures. In H. Krawczyk (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383, pp. 520–537). Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-54631-0_30
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2003
O’Neill, J., & Csicsvari, J. L. (2014). Learning by example in the hippocampus. Neuron, 83(1), 8–10. https://doi.org/10.1016/j.neuron.2014.06.013
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2058   OA
Raveendran, K., Wojtan, C. J., Thuerey, N., & Türk, G. (2014). Blending liquids. In ACM Transactions on Graphics (Vol. 33). Vancouver, Canada: ACM. https://doi.org/10.1145/2601097.2601126
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2022   OA
Gao, P., Postiglione, M. P., Krieger, T., Hernandez, L., Wang, C., Han, Z., … Shi, S. (2014). Deterministic progenitor behavior and unitary production of neurons in the neocortex. Cell, 159(4), 775–788. https://doi.org/10.1016/j.cell.2014.10.027
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2173   OA
Khamis, S., & Lampert, C. (2014). CoConut: Co-classification with output space regularization. In Proceedings of the British Machine Vision Conference 2014. Nottingham, UK: BMVA Press.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2178   OA
Haws, D., Martin Del Campo Sanchez, A., Takemura, A., & Yoshida, R. (2014). Markov degree of the three-state toric homogeneous Markov chain model. Beitrage Zur Algebra Und Geometrie, 55(1), 161–188. https://doi.org/10.1007/s13366-013-0178-y
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2180   OA
Bellet, A., Habrard, A., Morvant, E., & Sebban, M. (2014). Learning a priori constrained weighted majority votes. Machine Learning, 97(1–2), 129–154. https://doi.org/10.1007/s10994-014-5462-z
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2185   OA
Dodis, Y., Pietrzak, K. Z., & Wichs, D. (2014). Key derivation without entropy waste. In P. Nguyen & E. Oswald (Eds.) (Vol. 8441, pp. 93–110). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark: Springer. https://doi.org/10.1007/978-3-642-55220-5_6
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2154   OA
Matoušek, J., & Wagner, U. (2014). On Gromov’s method of selecting heavily covered points. Discrete & Computational Geometry, 52(1), 1–33. https://doi.org/10.1007/s00454-014-9584-7
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2159   OA
Mabillard, I., & Wagner, U. (2014). Eliminating Tverberg points, I. An analogue of the Whitney trick. In Proceedings of the Annual Symposium on Computational Geometry (pp. 171–180). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582134
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2161
Westhus, C., Ugelvig, L. V., Tourdot, E., Heinze, J., Doums, C., & Cremer, S. (2014). Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Behavioral Ecology and Sociobiology, 68(10), 1701–1710. https://doi.org/10.1007/s00265-014-1778-8
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2224
Altmeyer, S. (2014). On secondary instabilities generating footbridges between spiral vortex flow. Fluid Dynamics Research, 46(2). https://doi.org/10.1088/0169-5983/46/2/025503
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2231   OA
Rieckh, G., & Tkacik, G. (2014). Noise and information transmission in promoters with multiple internal states. Biophysical Journal, 106(5), 1194–1204. https://doi.org/10.1016/j.bpj.2014.01.014
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2236   OA
Jetchev, D., & Pietrzak, K. Z. (2014). How to fake auxiliary input. In Y. Lindell (Ed.) (Vol. 8349, pp. 566–590). Presented at the TCC: Theory of Cryptography Conference, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54242-8_24
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2248
Capek, D., Metscher, B., & Müller, G. (2014). Thumbs down: A molecular-morphogenetic approach to avian digit homology. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution, 322(1), 1–12. https://doi.org/10.1002/jez.b.22545
View | DOI
 

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: 2255
Edelsbrunner, H., & Pausinger, F. (2014). Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision, 50(1), 164–177. https://doi.org/10.1007/s10851-013-0468-x
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 359
Zamani, R., Ibanez, M., Luysberg, M., García Castelló, N., Houben, L., Prades, J., … Arbiol, J. (2014). Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures. ACS Nano, 8(3), 2290–2301. https://doi.org/10.1021/nn405747h
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2084
Grusch, M., Schelch, K., Riedler, R., Gschaider-Reichhart, E., Differ, C., Berger, W., … Janovjak, H. L. (2014). Spatio-temporally precise activation of engineered receptor tyrosine kinases by light. EMBO Journal, 33(15), 1713–1726. https://doi.org/10.15252/embj.201387695
View | Files available | 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 | Book | IST-REx-ID: 6853
Edelsbrunner, H. (2014). A Short Course in Computational Geometry and Topology. Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-05957-0
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7072
Lancaster, T., Goddard, P. A., Blundell, S. J., Foronda, F. R., Ghannadzadeh, S., Möller, J. S., … Manson, J. L. (2014). Controlling magnetic order and quantum disorder in molecule-based magnets. Physical Review Letters, 112(20). https://doi.org/10.1103/physrevlett.112.207201
View | DOI
 

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: 809
Bharata, T., Menendez, L., Hagena, W., Luxd, V., Igonete, S., Schorba, M., … Briggsa, J. (2014). Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly. PNAS, 111(22), 8233–8238. https://doi.org/10.1073/pnas.1401455111
View | DOI
 

2014 | Journal Article | IST-REx-ID: 892
Ivankov, D., Finkelstein, A., & Kondrashov, F. (2014). A structural perspective of compensatory evolution. Current Opinion in Structural Biology, 26(1), 104–112. https://doi.org/10.1016/j.sbi.2014.05.004
View | DOI
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed