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.

371 Publications


2015 | Conference Paper | IST-REx-ID: 1839 | OA
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2015). Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_12
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1840 | OA
Geiger, B., Petrov, T., Kubin, G., & Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control, 60(4), 1010–1022. https://doi.org/10.1109/TAC.2014.2364971
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1841 | OA
Kolmogorov, V. (2015). A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37(5), 919–930. https://doi.org/10.1109/TPAMI.2014.2363465
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1843
Bod’ová, K., Paydarfar, D., & Forger, D. (2015). Erratum to: Characterizing spiking in noisy type II neurons [J. Theor. Biol. 365 (2015) 40–54]. Journal of Theoretical Biology, 373. https://doi.org/10.1016/j.jtbi.2015.03.013
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1845 | OA
Vandael, D. H., Espinoza Martinez, C. M., & Jonas, P. M. (2015). Excitement about inhibitory presynaptic terminals. Neuron, 85(6), 1149–1151. https://doi.org/10.1016/j.neuron.2015.03.006
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1846 | OA
Beneš, N., Kretinsky, J., Larsen, K., Möller, M., Sickert, S., & Srba, J. (2015). Refinement checking on parametric modal transition systems. Acta Informatica, 52(2–3), 269–297. https://doi.org/10.1007/s00236-015-0215-4
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1847
Grones, P., & Friml, J. (2015). ABP1: Finally docking. Molecular Plant, 8(3), 356–358. https://doi.org/10.1016/j.molp.2014.12.013
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1848 | OA
Schwamb, B., Pick, R., Fernández, S., Völp, K., Heering, J., Dötsch, V., … Zörnig, M. (2015). FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer, 137(6), 1318–1329. https://doi.org/10.1002/ijc.29498
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1849
Himschoot, E., Beeckman, T., Friml, J., & Vanneste, S. (2015). Calcium is an organizer of cell polarity in plants. Biochimica et Biophysica Acta - Molecular Cell Research, 1853(9), 2168–2172. https://doi.org/10.1016/j.bbamcr.2015.02.017
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1850 | OA
Novak, S., & Cremer, S. (2015). Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology, 372(5), 54–64. https://doi.org/10.1016/j.jtbi.2015.02.018
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1851 | OA
Priklopil, T., Kisdi, E., & Gyllenberg, M. (2015). Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. Evolution, 69(4), 1015–1026. https://doi.org/10.1111/evo.12618
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1855 | OA
Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., & Paxton, R. (2015). A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. Journal of Animal Ecology, 84(3), 615–624. https://doi.org/10.1111/1365-2656.12345
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1856 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2015). Measuring and synthesizing systems in probabilistic environments. Journal of the ACM, 62(1). https://doi.org/10.1145/2699430
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1857 | OA
Pentina, A., Sharmanska, V., & Lampert, C. (2015). Curriculum learning of multiple tasks (pp. 5492–5500). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. https://doi.org/10.1109/CVPR.2015.7299188
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1858 | OA
Lampert, C. (2015). Predicting the future behavior of a time-varying probability distribution (pp. 942–950). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. https://doi.org/10.1109/CVPR.2015.7298696
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1859 | OA
Shah, N., Kolmogorov, V., & Lampert, C. (2015). A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle (pp. 2737–2745). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE. https://doi.org/10.1109/CVPR.2015.7298890
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1860 | OA
Royer, A., & Lampert, C. (2015). Classifier adaptation at prediction time (pp. 1401–1409). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. https://doi.org/10.1109/CVPR.2015.7298746
View | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1861
Ruess, J., & Lygeros, J. (2015). Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. ACM Transactions on Modeling and Computer Simulation, 25(2). https://doi.org/10.1145/2688906
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1864 | OA
Erdös, L., & Knowles, A. (2015). The Altshuler–Shklovskii formulas for random band matrices II: The general case. Annales Henri Poincare, 16(3), 709–799. https://doi.org/10.1007/s00023-014-0333-5
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1865
Robert, H., Grunewald, W., Sauer, M., Cannoot, B., Soriano, M., Swarup, R., … Friml, J. (2015). Plant embryogenesis requires AUX/LAX-mediated auxin influx. Development, 142(4), 702–711. https://doi.org/10.1242/dev.115832
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1866
Henzinger, T. A., & Raskin, J. (2015). The equivalence problem for finite automata: Technical perspective. Communications of the ACM, 58(2), 86–86. https://doi.org/10.1145/2701001
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1867
Hühner, J., Inglés Prieto, Á., Neusüß, C., Lämmerhofer, M., & Janovjak, H. L. (2015). Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. Electrophoresis, 36(4), 518–525. https://doi.org/10.1002/elps.201400451
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1868
Park, Y., Do, Y., Altmeyer, S., Lai, Y., & Lee, G. (2015). Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances. Physical Review E, 91(2). https://doi.org/10.1103/PhysRevE.91.022906
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1871 | OA
Grones, P., & Friml, J. (2015). Auxin transporters and binding proteins at a glance. Journal of Cell Science, 128(1), 1–7. https://doi.org/10.1242/jcs.159418
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1873 | OA
Chatterjee, K., & Chmelik, M. (2015). POMDPs under probabilistic semantics. Artificial Intelligence, 221, 46–72. https://doi.org/10.1016/j.artint.2014.12.009
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1874
Boccara, C., Kjønigsen, L., Hammer, I., Bjaalie, J., Leergaard, T., & Witter, M. (2015). A three-plane architectonic atlas of the rat hippocampal region. Hippocampus, 25(7), 838–857. https://doi.org/10.1002/hipo.22407
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1878
Cires Rodriguez, E., & Prieto, J. (2015). Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. Journal of Plant Research, 128(2), 223–238. https://doi.org/10.1007/s10265-014-0691-6
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1879 | OA
Kremer, A., Lippens, S., Bartunkova, S., Asselbergh, B., Blanpain, C., Fendrych, M., … Guérin, C. (2015). Developing 3D SEM in a broad biological context. Journal of Microscopy, 259(2), 80–96. https://doi.org/10.1111/jmi.12211
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1880 | OA
Könenberg, M., Moser, T., Seiringer, R., & Yngvason, J. (2015). Superfluid behavior of a Bose-Einstein condensate in a random potential. New Journal of Physics, 17. https://doi.org/10.1088/1367-2630/17/1/013022
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1882 | OA
Fahrenberg, U., Kretinsky, J., Legay, A., & Traonouez, L. (2015). Compositionality for quantitative specifications (Vol. 8997, pp. 306–324). Presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy: Springer. https://doi.org/10.1007/978-3-319-15317-9_19
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1883 | OA
Keller-Schmidt, S., Tugrul, M., Eguíluz, V., Hernandez Garcia, E., & Klemm, K. (2015). Anomalous scaling in an age-dependent branching model. Physical Review E Statistical Nonlinear and Soft Matter Physics, 91(2), 022803. https://doi.org/10.1103/PhysRevE.91.022803
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1885 | OA
Tkacik, G., Dubuis, J., Petkova, M., & Gregor, T. (2015). Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. Genetics, 199(1), 39–59. https://doi.org/10.1534/genetics.114.171850
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1938
Pausinger, F., & Steinerberger, S. (2015). On the distribution of local extrema in quantum chaos. Physics Letters, Section A, 379(6), 535–541. https://doi.org/10.1016/j.physleta.2014.12.010
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1939
Dereziński, J., & Napiórkowski, M. M. (2015). Erratum to: Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincare, 16(7), 1709–1711. https://doi.org/10.1007/s00023-014-0390-9
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1940 | OA
Sokolowski, T. R., & Tkacik, G. (2015). Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics, 91(6). https://doi.org/10.1103/PhysRevE.91.062710
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1944
Rakusová, H., Fendrych, M., & Friml, J. (2015). Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. Current Opinion in Plant Biology, 23(2), 116–123. https://doi.org/10.1016/j.pbi.2014.12.002
View | DOI
 

2015 | Journal Article | IST-REx-ID: 802
Engel, J., Schmalhorst, P. S., Kruger, A., Muller, C., Buettner, F., & Routier, F. (2015). Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis. Glycobiology, 25(12), 1423–1430. https://doi.org/10.1093/glycob/cwv059
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 814
Schur, F., Hagen, W., Rumlová, M., Ruml, T., Müller, B., Kraüsslich, H., & Briggs, J. (2015). Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution. Nature, 517(7535), 505–508. https://doi.org/10.1038/nature13838
View | DOI
 

2015 | Journal Article | IST-REx-ID: 815
Schur, F., Dick, R., Hagen, W., Vogt, V., & Briggs, J. (2015). The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly. Journal of Virology, 89(20), 10294–10302. https://doi.org/10.1128/JVI.01502-15
View | DOI | PubMed | Europe PMC
 

2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, S., Mabillard, I., Skopenkov, A., & Wagner, U. (n.d.). Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 8242
Einhorn, L., Singer, J., Muhr, M., Schoos, A., Oida, K., Singer, J., … Jensen-Jarolim, E. (2015). Generation of recombinant FcεRIα of dog, cat and horse for component-resolved allergy diagnosis in veterinary patients. Journal of Allergy and Clinical Immunology, 135(2). https://doi.org/10.1016/j.jaci.2014.12.1263
View | DOI
 

2015 | Journal Article | IST-REx-ID: 832
Marhavy, P., & Benková, E. (2015). Real time analysis of lateral root organogenesis in arabidopsis. Bio-Protocol, 5(8). https://doi.org/10.21769/BioProtoc.1446
View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
Usmanova, D., Ferretti, L., Povolotskaya, I., Vlasov, P., & Kondrashov, F. (2015). A model of substitution trajectories in sequence space and long-term protein evolution. Molecular Biology and Evolution, 32(2), 542–554. https://doi.org/10.1093/molbev/msu318
View | DOI
 

2015 | Journal Article | IST-REx-ID: 866
Kretz, C., Dai, M., Soylemez, O., Yee, A., Desch, K., Siemieniak, D., … Ginsburg, D. (2015). Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13. PNAS, 112(30), 9328–9333. https://doi.org/10.1073/pnas.1511328112
View | DOI
 

2015 | Journal Article | IST-REx-ID: 886
Kondrashov, D., & Kondrashov, F. (2015). Topological features of rugged fitness landscapes in sequence space. Trends in Genetics, 31(1), 24–33. https://doi.org/10.1016/j.tig.2014.09.009
View | DOI
 

2015 | Journal Article | IST-REx-ID: 906
Arkhipova, O., Meer, M., Mikoulinskaia, G., Zakharova, M., Galushko, A., Akimenko, V., & Kondrashov, F. (2015). Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer. PLoS One, 10(5). https://doi.org/10.1371/journal.pone.0125888
View | DOI
 

2015 | Journal Article | IST-REx-ID: 928 | OA
Sehring, I., Recho, P., Denker, E., Kourakis, M., Mathiesen, B., Hannezo, E. B., … Jiang, D. (2015). Assembly and positioning of actomyosin rings by contractility and planar cell polarity. ELife, 4. https://doi.org/10.7554/eLife.09206
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 933 | OA
García, S., Hannezo, E. B., Elgeti, J., Joanny, J., Silberzan, P., & Gov, N. (2015). Physics of active jamming during collective cellular motion in a monolayer. PNAS, 112(50), 15314–15319. https://doi.org/10.1073/pnas.1510973112
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 981 | OA
Zeljkovic, I., Okada, Y., Serbyn, M., Sankar, R., Walkup, D., Zhou, W., … Madhavan, V. (2015). Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators. Nature Materials, 14(3), 318–324. https://doi.org/10.1038/nmat4215
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 982 | OA
Serbyn, M., Papić, Z., & Abanin, D. (2015). Criterion for many-body localization-delocalization phase transition. Physical Review X, 5(4). https://doi.org/10.1103/PhysRevX.5.041047
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications