Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4151 Publications
2015 | Journal Article | IST-REx-ID: 1501 |

Chatterjee K, Chmelik M, Daca P. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 2015;47(2):230-264. doi:10.1007/s10703-015-0235-2
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1510 |

Franek P, Krcál M. On computability and triviality of well groups. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:842-856. doi:10.4230/LIPIcs.SOCG.2015.842
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1509 |

Michalko J, Lukacisinova M, Bollenbach MT, Friml J. Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research . 2015;4. doi:10.12688/f1000research.7143.1
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1505 |

Bao Z, Pan G, Zhou W. Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics. 2015;43(1):382-421. doi:10.1214/14-AOS1281
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1508 |

Erdös L, Yau H. Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. 2015;17(8):1927-2036. doi:10.4171/JEMS/548
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1506 |

Bao Z, Pan G, Zhou W. The logarithmic law of random determinant. Bernoulli. 2015;21(3):1600-1628. doi:10.3150/14-BEJ615
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1513 |

Pal A, Vicoso B. The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution. 2015;7(12):3259-3268. doi:10.1093/gbe/evv215
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1517 |

Erbar M, Maas J, Renger M. From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. 2015;20. doi:10.1214/ECP.v20-4315
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1519 |

Barton NH, Servedio M. The interpretation of selection coefficients. Evolution. 2015;69(5):1101-1112. doi:10.1111/evo.12641
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1520
Bharaj G, Coros S, Thomaszewski B, Tompkin J, Bickel B, Pfister H. Computational design of walking automata. In: ACM; 2015:93-100. doi:10.1145/2786784.2786803
View
| DOI
2015 | Journal Article | IST-REx-ID: 1532
Yang H, Von Der Fecht Bartenbach J, Friml J, Lohmann J, Neuhäuser B, Ludewig U. Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source. Functional Plant Biology. 2015;42(3):239-251. doi:10.1071/FP14171
View
| DOI
| PubMed | Europe PMC
2015 | Book Chapter | IST-REx-ID: 1531
Zobel V, Reininghaus J, Hotz I. Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature. In: Hotz I, Schultz T, eds. Visualization and Processing of Higher Order Descriptors for Multi-Valued Data. Vol 40. 1st ed. Springer; 2015:257-267. doi:10.1007/978-3-319-15090-1_13
View
| DOI
2015 | Journal Article | IST-REx-ID: 1530
Bierbaum V, Klumpp S. Impact of the cell division cycle on gene circuits. Physical Biology. 2015;12(6). doi:10.1088/1478-3975/12/6/066003
View
| DOI
2015 | Journal Article | IST-REx-ID: 1539 |

Ruess J. Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics. 2015;143(24). doi:10.1063/1.4937937
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1534 |

Wang H, Yang K, Zou J, et al. Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications. 2015;6. doi:10.1038/ncomms9822
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1538 |

Ruess J, Parise F, Milias Argeitis A, Khammash M, Lygeros J. Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS. 2015;112(26):8148-8153. doi:10.1073/pnas.1423947112
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1535 |

Vandael DH, Marcantoni A, Carbone E. Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology. 2015;8(2):149-161. doi:10.2174/1874467208666150507105443
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1536
Sasse J, Simon S, Gübeli C, et al. Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport. Current Biology. 2015;25(5):647-655. doi:10.1016/j.cub.2015.01.015
View
| DOI
2015 | Journal Article | IST-REx-ID: 1533
Xia W, Domokos C, Xiong J, Cheong L, Yan S. Segmentation over detection via optimal sparse reconstructions. IEEE Transactions on Circuits and Systems for Video Technology. 2015;25(8):1295-1308. doi:10.1109/TCSVT.2014.2379972
View
| DOI
2015 | Journal Article | IST-REx-ID: 1542 |

Paixao T, Badkobeh G, Barton NH, et al. Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. 2015;383:28-43. doi:10.1016/j.jtbi.2015.07.011
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1546 |

Nakamura Y, Harada H, Kamasawa N, et al. Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. 2015;85(1):145-158. doi:10.1016/j.neuron.2014.11.019
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1541
Ray R, Gurung A, Das B, Bartocci E, Bogomolov S, Grosu R. XSpeed: Accelerating reachability analysis on multi-core processors. 2015;9434:3-18. doi:10.1007/978-3-319-26287-1_1
View
| DOI
2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo Y, Van Bel M, Van Hautegem T, et al. A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants. Plant Physiology. 2015;169(4):2684-2699. doi:10.1104/pp.15.00769
View
| DOI
2015 | Book Chapter | IST-REx-ID: 1544 |

Nguyen P, Field C, Groen A, Mitchison T, Loose M. Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins. In: Building a Cell from Its Components Parts. Vol 128. Academic Press; 2015:223-241. doi:10.1016/bs.mcb.2015.01.007
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1540
Robert H, Crhák Khaitová L, Mroue S, Benková E. The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis. Journal of Experimental Botany. 2015;66(16):5029-5042. doi:10.1093/jxb/erv256
View
| DOI
2015 | Journal Article | IST-REx-ID: 1551 |

El Masri L, Branca A, Sheppard A, et al. Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes. PLoS Biology. 2015;13(6):1-30. doi:10.1371/journal.pbio.1002169
View
| Files available
| DOI
2015 | Book Chapter | IST-REx-ID: 1549 |

Mckenzie C, Sanchez-Romero I, Janovjak HL. Flipping the photoswitch: Ion channels under light control. In: Novel Chemical Tools to Study Ion Channel Biology. Vol 869. Advances in Experimental Medicine and Biology. Springer; 2015:101-117. doi:10.1007/978-1-4939-2845-3_6
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1548 |

Milutinovic B, Höfling C, Futo M, Scharsack J, Kurtz J. Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination. Applied and Environmental Microbiology. 2015;81(23):8135-8144. doi:10.1128/AEM.02051-15
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1553
Maiuri P, Rupprecht J, Wieser S, et al. Actin flows mediate a universal coupling between cell speed and cell persistence. Cell. 2015;161(2):374-386. doi:10.1016/j.cell.2015.01.056
View
| DOI
2015 | Journal Article | IST-REx-ID: 1550 |

Mayer C, Jaglin X, Cobbs L, et al. Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries. Neuron. 2015;87(5):989-998. doi:10.1016/j.neuron.2015.07.011
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1547 |

Mohammadi F, Moradi S. Resolution of unmixed bipartite graphs. Bulletin of the Korean Mathematical Society. 2015;52(3):977-986. doi:10.4134/BKMS.2015.52.3.977
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1556 |

Jia Y, Tian H, Li H, et al. The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development. Journal of Experimental Botany. 2015;66(15):4631-4642. doi:10.1093/jxb/erv230
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1555 |

Knipl D, Pilarczyk P, Röst G. Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems. 2015;14(2):980-1017. doi:10.1137/140993934
View
| DOI
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko M, Zhu J, Wang B, et al. The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation. Development. 2015;142(4):712-721. doi:10.1242/dev.113225
View
| DOI
2015 | Journal Article | IST-REx-ID: 1557
Javdani F, Holló K, Hegedűs K, et al. Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats. Journal of Comparative Neurology. 2015;523(13):1967-1983. doi:10.1002/cne.23774
View
| DOI
2015 | Journal Article | IST-REx-ID: 1559 |

Ibsen-Jensen R, Chatterjee K, Nowak M. Computational complexity of ecological and evolutionary spatial dynamics. PNAS. 2015;112(51):15636-15641. doi:10.1073/pnas.1511366112
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1561
Heger K, Kober M, Rieß D, et al. A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors. European Journal of Immunology. 2015;45(6):1614-1620. doi:10.1002/eji.201545457
View
| DOI
2015 | Journal Article | IST-REx-ID: 1554 |

Liao C, Smet W, Brunoud G, Yoshida S, Vernoux T, Weijers D. Reporters for sensitive and quantitative measurement of auxin response. Nature Methods. 2015;12(3):207-210. doi:10.1038/nmeth.3279
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1560
Hons M, Sixt MK. The lymph node filter revealed. Nature Immunology. 2015;16(4):338-340. doi:10.1038/ni.3126
View
| DOI
2015 | Journal Article | IST-REx-ID: 1565 |

Gavello D, Vandael DH, Gosso S, Carbone E, Carabelli V. Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells. Journal of Physiology. 2015;593(22):4835-4853. doi:10.1113/JP271078
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1562
Grones P, Chen X, Simon S, et al. Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles. Journal of Experimental Botany. 2015;66(16):5055-5065. doi:10.1093/jxb/erv177
View
| DOI
2015 | Journal Article | IST-REx-ID: 1564 |

Gilson M, Savin C, Zenke F. Editorial: Emergent neural computation from the interaction of different forms of plasticity. Frontiers in Computational Neuroscience. 2015;9(11). doi:10.3389/fncom.2015.00145
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva O, Edelsbrunner H, Lukyanov A, Machin M, Malkova D. The classification of endoscopy images with persistent homology. In: Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE; 2015:7034731. doi:10.1109/SYNASC.2014.81
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1567
Edelsbrunner H. Shape, homology, persistence, and stability. In: 23rd International Symposium. Vol 9411. Springer Nature; 2015.
View
2015 | Journal Article | IST-REx-ID: 1563
Graff G, Pilarczyk P. An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds. Topological Methods in Nonlinear Analysis. 2015;45(1):273-286. doi:10.12775/TMNA.2015.014
View
| DOI
2015 | Journal Article | IST-REx-ID: 1574 |

Chen Q, Liu Y, Maere S, Lee E, Van Isterdael G, Xie Z, Xuan W, Lucas J, Vassileva V, Kitakura S, Marhavý P, Wabnik KT, Geldner N, Benková E, Le J, Fukaki H, Grotewold E, Li C, Friml J, Sack F, Beeckman T, Vanneste S. 2015. A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications. 6, 8821.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1575 |

Chabaud M, Heuzé M, Bretou M, et al. Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells. Nature Communications. 2015;6. doi:10.1038/ncomms8526
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1569 |

Doyle S, Haegera A, Vain T, et al. An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana. PNAS. 2015;112(7):E806-E815. doi:10.1073/pnas.1424856112
View
| DOI
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 1570 |

Der R, Martius GS. Novel plasticity rule can explain the development of sensorimotor intelligence. PNAS. 2015;112(45):E6224-E6232. doi:10.1073/pnas.1508400112
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1571
de Vos M, Dawid A, Šunderlíková V, Tans S. Breaking evolutionary constraint with a tradeoff ratchet. PNAS. 2015;112(48):14906-14911. doi:10.1073/pnas.1510282112
View
| DOI
2015 | Journal Article | IST-REx-ID: 1572 |

Correggi M, Giuliani A, Seiringer R. Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet. Communications in Mathematical Physics. 2015;339(1):279-307. doi:10.1007/s00220-015-2402-0
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1573 |

Chen T, Hainzl C, Pavlović N, Seiringer R. Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti. Communications on Pure and Applied Mathematics. 2015;68(10):1845-1884. doi:10.1002/cpa.21552
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1580 |

Brenes O, Vandael DH, Carbone E, Montarolo P, Ghirardi M. Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. Neuroscience. 2015;311:430-443. doi:10.1016/j.neuroscience.2015.10.046
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1577 |

Carvalho A, Vicoso B, Russo C, Swenor B, Clark A. Birth of a new gene on the Y chromosome of Drosophila melanogaster. PNAS. 2015;112(40):12450-12455. doi:10.1073/pnas.1516543112
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1579 |

Brooks C, Martin del Campo Sanchez A, Sottile F. Galois groups of Schubert problems of lines are at least alternating. Transactions of the American Mathematical Society. 2015;367(6):4183-4206. doi:10.1090/S0002-9947-2014-06192-8
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1578
Cao T, Edelsbrunner H, Tan T. Triangulations from topologically correct digital Voronoi diagrams. Computational Geometry. 2015;48(7):507-519. doi:10.1016/j.comgeo.2015.04.001
View
| DOI
2015 | Journal Article | IST-REx-ID: 1581
Bollenbach MT, Heisenberg C-PJ. Gradients are shaping up. Cell. 2015;161(3):431-432. doi:10.1016/j.cell.2015.04.009
View
| DOI
2015 | Journal Article | IST-REx-ID: 1589 |

Altmeyer S, Do Y, Lai Y. Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports. 2015;5. doi:10.1038/srep18589
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1584 |

Biedl T, Held M, Huber S, Kaaser D, Palfrader P. Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 2015;48(5):429-442. doi:10.1016/j.comgeo.2015.01.004
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1582 |

Biedl T, Held M, Huber S, Kaaser D, Palfrader P. Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 2015;48(2):120-133. doi:10.1016/j.comgeo.2014.08.006
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1583 |

Biedl T, Held M, Huber S, Kaaser D, Palfrader P. A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. 2015;115(2):243-247. doi:10.1016/j.ipl.2014.09.021
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1587 |

Amaro P, Fratini F, Safari L, et al. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. 2015;92(6). doi:10.1103/PhysRevA.92.062506
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 1588
Altmeyer S, Do Y, Lai Y. Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows. Physical Review E. 2015;92(5). doi:10.1103/PhysRevE.92.053018
View
| DOI
2015 | Journal Article | IST-REx-ID: 1586
Angermayr A, Gorchs A, Hellingwerf K. Metabolic engineering of cyanobacteria for the synthesis of commodity products. Trends in Biotechnology. 2015;33(6):352-361. doi:10.1016/j.tibtech.2015.03.009
View
| DOI
2015 | Journal Article | IST-REx-ID: 1585
Bao Z, Pan G, Zhou W. Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices. IEEE Transactions on Information Theory. 2015;61(6):3413-3426. doi:10.1109/TIT.2015.2421894
View
| DOI
2015 | Journal Article | IST-REx-ID: 1593 |

Žádníková P, Smet D, Zhu Q, Van Der Straeten D, Benková E. Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. 2015;6(4). doi:10.3389/fpls.2015.00218
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1595 |

Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity. In: Vol 9411. Springer; 2015:99-110. doi:10.1007/978-3-319-27261-0_9
View
| Files available
| DOI
2015 | Book Chapter | IST-REx-ID: 1590 |

Aichholzer O, Biedl T, Hackl T, et al. Representing directed trees as straight skeletons. In: Graph Drawing and Network Visualization. Vol 9411. Springer Nature; 2015:335-347. doi:10.1007/978-3-319-27261-0_28
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1594
Forejt V, Krčál J, Kretinsky J. Controller synthesis for MDPs and frequency LTL\GU. In: Vol 9450. Springer; 2015:162-177. doi:10.1007/978-3-662-48899-7_12
View
| DOI
2015 | Book Chapter | IST-REx-ID: 1596 |

Fulek R, Radoičić R. Vertical visibility among parallel polygons in three dimensions. In: Graph Drawing and Network Visualization. Vol 9411. Springer Nature; 2015:373-379. doi:10.1007/978-3-319-27261-0_31
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1601 |

Babiak T, Blahoudek F, Duret Lutz A, et al. The Hanoi omega-automata format. In: Vol 9206. Springer; 2015:479-486. doi:10.1007/978-3-319-21690-4_31
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1605 |

Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. Abstraction-based parameter synthesis for multiaffine systems. In: Vol 9434. Springer; 2015:19-35. doi:10.1007/978-3-319-26287-1_2
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1606
Nguyen L, Schilling C, Bogomolov S, Johnson T. Runtime verification for hybrid analysis tools. In: 6th International Conference. Vol 9333. Springer Nature; 2015:281-286. doi:10.1007/978-3-319-23820-3_19
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1609 |

Chatterjee K, Doyen L, Vardi M. The complexity of synthesis from probabilistic components. In: 42nd International Colloquium. Vol 9135. Springer Nature; 2015:108-120. doi:10.1007/978-3-662-47666-6_9
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1615 |

Hammer M, Krueger Burg D, Tuffy L, et al. Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. 2015;13(3):516-523. doi:10.1016/j.celrep.2015.09.011
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1614 |

Strüber M, Jonas PM, Bartos M. Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. 2015;112(4):1220-1225. doi:10.1073/pnas.1412996112
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1611 |

Whitfield J, Zhang W, Herde M, et al. Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. 2015;24(9):1412-1422. doi:10.1002/pro.2721
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1618 |

Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1624 |

Pavlogiannis A, Chatterjee K, Adlam B, Nowak M. Cellular cooperation with shift updating and repulsion. Scientific Reports. 2015;5. doi:10.1038/srep17147
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1623 |

Hammar P, Angermayr A, Sjostrom S, et al. Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. 2015;8(1). doi:10.1186/s13068-015-0380-2
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1625
Bermano A, Beeler T, Kozlov Y, Bradley D, Bickel B, Gross M. Detailed spatio-temporal reconstruction of eyelids. In: Vol 34. ACM; 2015. doi:10.1145/2766924
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1626
Martin T, Umetani N, Bickel B. OmniAD: Data-driven omni-directional aerodynamics. In: Vol 34. ACM; 2015. doi:10.1145/2766919
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1628 |

Schumacher C, Bickel B, Rys J, Marschner S, Daraio C, Gross M. Microstructures to control elasticity in 3D printing. In: Vol 34. ACM; 2015. doi:10.1145/2766926
View
| DOI
| Download Published Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1627
Pérez J, Thomaszewski B, Coros S, et al. Design and fabrication of flexible rod meshes. In: Vol 34. ACM; 2015. doi:10.1145/2766998
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1634 |

Da F, Batty C, Wojtan C, Grinspun E. Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams. In: Vol 34. ACM; 2015. doi:10.1145/2767003
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1636 |

Kolmogorov V, Rolinek M, Takhanov R. Effectiveness of structural restrictions for hybrid CSPs. In: 26th International Symposium. Vol 9472. Springer Nature; 2015:566-577. doi:10.1007/978-3-662-48971-0_48
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Conference Paper | IST-REx-ID: 1632 |

Ando R, Thuerey N, Wojtan C. A stream function solver for liquid simulations. In: Vol 34. ACM; 2015. doi:10.1145/2766935
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1630 |

Guerrero P, Jeschke S, Wimmer M, Wonka P. Learning shape placements by example. In: Vol 34. ACM; 2015. doi:10.1145/2766933
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1635 |

Erbar M, Maas J, Tetali P. Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de la faculté des sciences de Toulouse. 2015;24(4):781-800. doi:10.5802/afst.1464
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1640 |

Šimášková M, O’Brien J, Khan-Djamei M, et al. Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications. 2015;6. doi:10.1038/ncomms9717
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1642 |

Fulek R, Kynčl J, Malinovič I, Pálvölgyi D. Clustered planarity testing revisited. Electronic Journal of Combinatorics. 2015;22(4). doi:10.37236/5002
View
| Files available
| DOI
| arXiv
2015 | Journal Article | IST-REx-ID: 1639 |

Maas J, Rumpf M, Schönlieb C, Simon S. A generalized model for optimal transport of images including dissipation and density modulation. ESAIM: Mathematical Modelling and Numerical Analysis. 2015;49(6):1745-1769. doi:10.1051/m2an/2015043
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 1638
Sazanov LA. A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology. 2015;16(6):375-388. doi:10.1038/nrm3997
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1646 |

Banerjee A, Fuchsbauer G, Peikert C, Pietrzak KZ, Stevens S. Key-homomorphic constrained pseudorandom functions. In: 12th Theory of Cryptography Conference. Vol 9015. Springer Nature; 2015:31-60. doi:10.1007/978-3-662-46497-7_2
View
| Files available
| DOI
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1648 |

Fuchsbauer G, Jafargholi Z, Pietrzak KZ. A quasipolynomial reduction for generalized selective decryption on trees. In: Vol 9215. Springer; 2015:601-620. doi:10.1007/978-3-662-47989-6_29
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1649 |

Benhamouda F, Krenn S, Lyubashevsky V, Pietrzak KZ. Efficient zero-knowledge proofs for commitments from learning with errors over rings. 2015;9326:305-325. doi:10.1007/978-3-319-24174-6_16
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1644 |

Demay G, Gazi P, Maurer U, Tackmann B. Query-complexity amplification for random oracles. In: Vol 9063. Springer; 2015:159-180. doi:10.1007/978-3-319-17470-9_10
View
| DOI
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1647 |

Fuchsbauer G, Hanser C, Slamanig D. Practical round-optimal blind signatures in the standard model. In: Vol 9216. Springer; 2015:233-253. doi:10.1007/978-3-662-48000-7_12
View
| Files available
| DOI
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1645
Gazi P, Tessaro S. Secret-key cryptography from ideal primitives: A systematic verview. In: 2015 IEEE Information Theory Workshop. IEEE; 2015. doi:10.1109/ITW.2015.7133163
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1654 |

Gazi P, Pietrzak KZ, Tessaro S. Generic security of NMAC and HMAC with input whitening. 2015;9453:85-109. doi:10.1007/978-3-662-48800-3_4
View
| Files available
| DOI