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.

2480 Publications


2014 | Journal Article | IST-REx-ID: 1876   OA
Dolbilin, N., Edelsbrunner, H., Glazyrin, A., & Musin, O. (2014). Functionals on triangulations of delaunay sets. Moscow Mathematical Journal, 14(3), 491–504.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890   OA
Körner, C., Braunstein, V., Stangl, M., Schlögl, A., Neuper, C., & Ischebeck, A. (2014). Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology, 51(4), 385–395. https://doi.org/10.1111/psyp.12062
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895   OA
Edamura, M., Murakami, G., Meng, H., Itakura, M., Shigemoto, R., Fukuda, A., & Nakahara, D. (2014). Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One, 9(9). https://doi.org/10.1371/journal.pone.0107099
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1908   OA
Weissman, D., & Hallatschek, O. (2014). The rate of adaptation in large sexual populations with linear chromosomes. Genetics, 196(4), 1167–1183. https://doi.org/10.1534/genetics.113.160705
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1852   OA
Sassi, M., Ali, O., Boudon, F., Cloarec, G., Abad, U., Cellier, C., … Traas, J. (2014). An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology, 24(19), 2335–2342. https://doi.org/10.1016/j.cub.2014.08.036
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1821   OA
Seiringer, R. (2014). Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics, 55(7). https://doi.org/10.1063/1.4881536
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1996   OA
Hazak, O., Obolski, U., Prat, T., Friml, J., Hadany, L., & Yalovsky, S. (2014). Bimodal regulation of ICR1 levels generates self-organizing auxin distribution. PNAS, 111(50), E5471–E5479. https://doi.org/10.1073/pnas.1413918111
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1927   OA
Fuchsbauer, G., Konstantinov, M., Pietrzak, K. Z., & Rao, V. (2014). Adaptive security of constrained PRFs (Vol. 8874, pp. 173–192). Presented at the Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer. https://doi.org/10.1145/2591796.2591825
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2021   OA
William, J., Hippenmeyer, S., & Luo, L. (2014). Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling. Science, 346(6209), 626–629. https://doi.org/10.1126/science.1258996
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2002   OA
Kim, S. (2014). Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus. PLoS One, 9(11). https://doi.org/10.1371/journal.pone.0113124
View | Files available | DOI
 

2014 | Other Publication | IST-REx-ID: 2007   OA
Klimova, A., & Rudas, T. (2014). gIPFrm: Generalized iterative proportional fitting for relational models. The Comprehensive R Archive Network.
View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2033   OA
Hernandez Lobato, D., Sharmanska, V., Kersting, K., Lampert, C., & Quadrianto, N. (2014). Mind the nuisance: Gaussian process classification using privileged noise. In Advances in Neural Information Processing Systems (Vol. 1, pp. 837–845). Montreal, Canada: Neural Information Processing Systems.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2019   OA
Erdös, L., & Schröder, D. J. (2014). Phase transition in the density of states of quantum spin glasses. Mathematical Physics, Analysis and Geometry, 17(3–4), 441–464. https://doi.org/10.1007/s11040-014-9164-3
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2040   OA
Kicheva, A., Bollenbach, M. T., Ribeiro, A., Pérez Valle, H., Lovell Badge, R., Episkopou, V., & Briscoe, J. (2014). Coordination of progenitor specification and growth in mouse and chick spinal cord. Science, 345(6204). https://doi.org/10.1126/science.1254927
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2045   OA
Dachman Soled, D., Fuchsbauer, G., Mohassel, P., & O’Neill, A. (2014). Enhanced chosen-ciphertext security and applications. In H. Krawczyk (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383, pp. 329–344). Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-54631-0_19
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2064   OA
Rubio, M., Fukazawa, Y., Kamasawa, N., Clarkson, C., Molnár, E., & Shigemoto, R. (2014). Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology, 522(18), 4023–4042. https://doi.org/10.1002/cne.23654
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2057   OA
Morvant, E., Habrard, A., & Ayache, S. (2014). Majority vote of diverse classifiers for late fusion. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8621, pp. 153–162). Joensuu, Finland: Springer. https://doi.org/10.1007/978-3-662-44415-3_16
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2184   OA
Čadek, M., Krcál, M., Matoušek, J., Sergeraert, F., Vokřínek, L., & Wagner, U. (2014). Computing all maps into a sphere. Journal of the ACM, 61(3). https://doi.org/10.1145/2597629
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2153   OA
Bauer, U., & Lesnick, M. (2014). Induced matchings of barcodes and the algebraic stability of persistence. In Proceedings of the Annual Symposium on Computational Geometry (pp. 355–364). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582168
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2165   OA
Morvant, E. (2014). Domain Adaptation of Weighted Majority Votes via Perturbed Variation-Based Self-Labeling. Pattern Recognition Letters, 51, 37–43. https://doi.org/10.1016/j.patrec.2014.08.013
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2160   OA
Pentina, A., & Lampert, C. (2014). A PAC-Bayesian bound for Lifelong Learning. In E. Xing & T. Jebara (Eds.) (Vol. 32, pp. 991–999). Presented at the ICML: International Conference on Machine Learning, Beijing, China: Omnipress.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2158   OA
Majumdar, R., Sixt, M. K., & Parent, C. (2014). New paradigms in the establishment and maintenance of gradients during directed cell migration. Current Opinion in Cell Biology, 30(1), 33–40. https://doi.org/10.1016/j.ceb.2014.05.010
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2223   OA
Tanaka, H., Nodzyński, T., Kitakura, S., Feraru, M., Sasabe, M., Ishikawa, T., … Friml, J. (2014). BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology, 55(4), 737–749. https://doi.org/10.1093/pcp/pct196
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2230   OA
Guzmán, J., Schlögl, A., & Schmidt Hieber, C. (2014). Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics, 8(FEB). https://doi.org/10.3389/fninf.2014.00016
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2235   OA
Fürst, M., Mcmahon, D., Osborne, J., Paxton, R., & Brown, M. (2014). Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature, 506(7488), 364–366. https://doi.org/10.1038/nature12977
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2261   OA
Zhu, F., Gamboa, M., Farruggio, A., Hippenmeyer, S., Tasic, B., Schüle, B., … Calos, M. (2014). DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research, 42(5). https://doi.org/10.1093/nar/gkt1290
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2285   OA
Hosp, J., Strüber, M., Yanagawa, Y., Obata, K., Vida, I., Jonas, P. M., & Bartos, M. (2014). Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus, 23(2), 189–203. https://doi.org/10.1002/hipo.22214
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417   OA
Henzinger, T. A., & Otop, J. (2014). From model checking to model measuring. IST Austria. https://doi.org/10.15479/AT:IST-2014-172-v1-1
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6124   OA
Chen, C., Itakura, E., Weber, K. P., Hegde, R. S., & de Bono, M. (2014). An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics, 10(3). https://doi.org/10.1371/journal.pgen.1004082
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6319   OA
Bretèche, R. de la, & Browning, T. D. (2014). Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie Des Nombres de Bordeaux, 26(1), 25–44. https://doi.org/10.5802/jtnb.857
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7071   OA
Modic, K. A., Smidt, T. E., Kimchi, I., Breznay, N. P., Biffin, A., Choi, S., … Analytis, J. G. (2014). Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications, 5. https://doi.org/10.1038/ncomms5203
View | Files available | DOI
 

2014 | Working Paper | IST-REx-ID: 7038   OA
Huszár, K., & Rolinek, M. (n.d.). Playful Math - An introduction to mathematical games. IST Austria.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 978   OA
Zeljkovic, I., Okada, Y., Huang, C., Sankar, R., Walkup, D., Zhou, W., … Madhavan, V. (2014). Mapping the unconventional orbital texture in topological crystalline insulators. Nature Physics, 10(8), 572–577. https://doi.org/10.1038/nphys3012
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 98   OA
Higginbotham, A. P., Larsen, T., Yao, J., Yan, H., Lieber, C., Marcus, C., & Kuemmeth, F. (2014). Hole spin coherence in a Ge/Si heterostructure nanowire. Nano Letters, 14(6), 3582–3586. https://doi.org/10.1021/nl501242b
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 980   OA
Serbyn, M., Papić, Z., & Abanin, D. (2014). Quantum quenches in the many-body localized phase. Physical Review B - Condensed Matter and Materials Physics, 90(17). https://doi.org/10.1103/PhysRevB.90.174302
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2254   OA
Pernia-Andrade, A., & Jonas, P. M. (2014). Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron, 81(1), 140–152. https://doi.org/10.1016/j.neuron.2013.09.046
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2228   OA
Hu, H., & Jonas, P. M. (2014). A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. Nature Neuroscience, 17(5), 686–693. https://doi.org/10.1038/nn.3678
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2716   OA
Chatterjee, K., Randour, M., & Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica, 51(3–4), 129–163. https://doi.org/10.1007/s00236-013-0182-6
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2038   OA
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2014). Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL), 15(4), 27. https://doi.org/10.1145/2629686
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2189   OA
Morvant, E. (2014). Adaptation de domaine de vote de majorité par auto-étiquetage non itératif (Vol. 1, pp. 49–58). Presented at the CAP: Conférence Francophone sur l’Apprentissage Automatique (Machine Learning French Conference), Saint-Etienne, France: Elsevier.
View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1516   OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). On the BCS gap equation for superfluid fermionic gases. In Proceedings of the QMath12 Conference (pp. 127–137). Berlin, Germany: World Scientific Publishing. https://doi.org/10.1142/9789814618144_0007
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2083   OA
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Role of sex and migration in adaptation to sink environments. Evolution, 68(8), 2296–2305. https://doi.org/10.1111/evo.12440
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 119   OA
Waitukaitis, S. R., Lee, V., Pierson, J., Forman, S., & Jaeger, H. (2014). Size-dependent same-material tribocharging in insulating grains. APS Physics, Physical Review Letters, 112(21). https://doi.org/10.1103/PhysRevLett.112.218001
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 1702   OA
Gupta, A., Popeea, C., & Rybalchenko, A. (2014). Generalised interpolation by solving recursion free-horn clauses. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing. https://doi.org/10.4204/EPTCS.169.5
View | DOI | 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: 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: 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: 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 | 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: 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: 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 | Conference Paper | IST-REx-ID: 8044   OA
Seiringer, R. (2014). Structure of the excitation spectrum for many-body quantum systems. In Proceeding of the International Congress of Mathematicans, ICM 2014 (Vol. 3, pp. 1175–1194). Seoul, South Korea.
View | Download (ext.)
 

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.)
 

2014 | Journal Article | IST-REx-ID: 1854   OA
Guerrero, P., Auzinger, T., Wimmer, M., & Jeschke, S. (2014). Partial shape matching using transformation parameter similarity. Computer Graphics Forum, 34(1), 239–252. https://doi.org/10.1111/cgf.12509
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2059   OA
Dubas, E., Moravčíková, J., Libantová, J., Matušíková, I., Benková, E., Zur, I., & Krzewska, M. (2014). The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos. Protoplasma, 251(5), 1077–1087. https://doi.org/10.1007/s00709-014-0616-1
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2042   OA
Kupczok, A., & Bollback, J. P. (2014). Motif depletion in bacteriophages infecting hosts with CRISPR systems. BMC Genomics, 15(1). https://doi.org/10.1186/1471-2164-15-663
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2047   OA
Yu, F., Rybar, M., Uhler, C., & Fienberg, S. (2014). Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases. In J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8744, pp. 170–184). Ibiza, Spain: Springer. https://doi.org/10.1007/978-3-319-11257-2_14
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2004   OA
Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H., Dinnyés, A., & Kovács, K. (2014). Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One, 9(11). https://doi.org/10.1371/journal.pone.0111430
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2011   OA
Yu, F., Fienberg, S., Slaković, A., & Uhler, C. (2014). Scalable privacy-preserving data sharing methodology for genome-wide association studies. Journal of Biomedical Informatics, 50, 133–141. https://doi.org/10.1016/j.jbi.2014.01.008
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2028   OA
Bodova, K., Paydarfar, D., & Forger, D. (2014). Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology, 365, 40–54. https://doi.org/10.1016/j.jtbi.2014.09.041
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2023   OA
Novak, S. (2014). Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution, 4(24), 4589–4597. https://doi.org/10.1002/ece3.1289
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2131   OA
Hairer, M., Maas, J., & Weber, H. (2014). Approximating Rough Stochastic PDEs. Communications on Pure and Applied Mathematics, 67(5), 776–870. https://doi.org/10.1002/cpa.21495
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2155   OA
Bauer, U., & Edelsbrunner, H. (2014). The morse theory of Čech and Delaunay filtrations. In Proceedings of the Annual Symposium on Computational Geometry (pp. 484–490). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582167
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2174   OA
De Vladar, H., & Barton, N. H. (2014). Stability and response of polygenic traits to stabilizing selection and mutation. Genetics, 197(2), 749–767. https://doi.org/10.1534/genetics.113.159111
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2179   OA
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2014). Local semicircle law with imprimitive variance matrix. Electronic Communications in Probability, 19. https://doi.org/10.1214/ECP.v19-3121
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2186   OA
Chen, T., Hainzl, C., Pavlović, N., & Seiringer, R. (2014). On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti. Letters in Mathematical Physics, 104(7), 871–891. https://doi.org/10.1007/s11005-014-0693-2
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2220   OA
De Vos, M., & Bollenbach, M. T. (2014). Suppressive drug interactions between antifungals. Chemistry and Biology, 21(4), 439–440. https://doi.org/10.1016/j.chembiol.2014.04.004
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2225   OA
Bloemendal, A., Erdös, L., Knowles, A., Yau, H., & Yin, J. (2014). Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability, 19. https://doi.org/10.1214/EJP.v19-3054
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2232   OA
Song, B., & Hof, B. (2014). Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment, 2014(2). https://doi.org/10.1088/1742-5468/2014/02/P02001
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2249   OA
Chen, Y., Aung, K., Rolčík, J., Walicki, K., Friml, J., & Brandizzí, F. (2014). Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal, 77(1), 97–107. https://doi.org/10.1111/tpj.12373
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed