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.
4166 Publications
2016 | Conference Paper | IST-REx-ID: 1386 | 
Chatterjee K, Fu H, Goharshady AK. 2016. Termination analysis of probabilistic programs through Positivstellensatz’s. CAV: Computer Aided Verification, LNCS, vol. 9779, 3–22.
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 10794 |
Parise F, Lygeros J, Ruess J. 2015. Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. 3, 42.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 10796
Chatterjee K, Ibsen-Jensen R. 2015. The value 1 problem under finite-memory strategies for concurrent mean-payoff games. Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2015, 1018–1029.
View
| DOI
| arXiv
2015 | Journal Article | IST-REx-ID: 1383 |
Yu L, Scholl S, Doering A, Yi Z, Irani N, Di Rubbo S, Neumetzler L, Krishnamoorthy P, Van Houtte I, Mylle E, Bischoff V, Vernhettes S, Winne J, Friml J, Stierhof Y, Schumacher K, Persson S, Russinova E. 2015. V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis. Nature Plants. 1(7), 15094.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Thesis | IST-REx-ID: 1401 |
Sharmanska V. 2015. Learning with attributes for object recognition: Parametric and non-parametrics views. IST Austria.
View
| Files available
| DOI
| Download Published Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1425 |
Pentina A, Lampert C. 2015. Lifelong learning with non-i.i.d. tasks. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 2015, 1540–1548.
View
| Download None (ext.)
2015 | Conference Paper | IST-REx-ID: 1424 |
Kwitt R, Huber S, Niethammer M, Lin W, Bauer U. 2015. Statistical topological data analysis-A kernel perspective. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 28, 3070–3078.
View
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1430 |
Paixao T, Sudholt D, Heredia J, Trubenova B. 2015. First steps towards a runtime comparison of natural and artificial evolution. Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. GECCO: Genetic and evolutionary computation conference, 1455–1462.
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1474 |
Ferrara A, Fuchsbauer G, Liu B, Warinschi B. 2015. Policy privacy in cryptographic access control. CSF: Computer Security Foundations, 46–60.
View
| DOI
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1483 |
Reininghaus J, Huber S, Bauer U, Kwitt R. 2015. A stable multi-scale kernel for topological machine learning. CVPR: Computer Vision and Pattern Recognition, 4741–4748.
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1498 |
Dragoi C, Henzinger TA, Zufferey D. 2015. The need for language support for fault-tolerant distributed systems. 32, 90–102.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1497 |
Andergassen D, Dotter C, Kulinski T, Guenzl P, Bammer P, Barlow D, Pauler F, Hudson Q. 2015. Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research. 43(21), e146.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1499 |
Kretinsky J, Larsen K, Laursen S, Srba J. 2015. Polynomial time decidability of weighted synchronization under partial observability. CONCUR: Concurrency Theory, LIPIcs, vol. 42, 142–154.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1495 |
Edelsbrunner H, Iglesias Ham M, Kurlin V. 2015. Relaxed disk packing. Proceedings of the 27th Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry vol. 2015–August, 128–135.
View
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1502 |
Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. 2015. Complete composition operators for IOCO-testing theory. CBSE: Component-Based Software Engineering , Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering , , 101–110.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1501 |
Chatterjee K, Chmelik M, Daca P. 2015. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 47(2), 230–264.
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1510 |
Franek P, Krcál M. 2015. On computability and triviality of well groups. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 842–856.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1509 |
Michalko J, Lukacisinova M, Bollenbach MT, Friml J. 2015. Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research . 4.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1505 |
Bao Z, Pan G, Zhou W. 2015. Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics. 43(1), 382–421.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1508 |
Erdös L, Yau H. 2015. Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. 17(8), 1927–2036.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1506 |
Bao Z, Pan G, Zhou W. 2015. The logarithmic law of random determinant. Bernoulli. 21(3), 1600–1628.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1513 |
Pal A, Vicoso B. 2015. The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution. 7(12), 3259–3268.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1517 |
Erbar M, Maas J, Renger M. 2015. From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. 20, 89.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1519 |
Barton NH, Servedio M. 2015. The interpretation of selection coefficients. Evolution. 69(5), 1101–1112.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1532
Yang H, Von Der Fecht Bartenbach J, Friml J, Lohmann J, Neuhäuser B, Ludewig U. 2015. Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source. Functional Plant Biology. 42(3), 239–251.
View
| DOI
| PubMed | Europe PMC
2015 | Book Chapter | IST-REx-ID: 1531
Zobel V, Reininghaus J, Hotz I. 2015.Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature. In: Visualization and Processing of Higher Order Descriptors for Multi-Valued Data. Mathematics and Visualization, vol. 40, 257–267.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1539 |
Ruess J. 2015. Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics. 143(24), 244103.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1534 |
Wang H, Yang K, Zou J, Zhu L, Xie Z, Morita M, Tasaka M, Friml J, Grotewold E, Beeckman T, Vanneste S, Sack F, Le J. 2015. Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications. 6, 8822.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1538 |
Ruess J, Parise F, Milias Argeitis A, Khammash M, Lygeros J. 2015. Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS. 112(26), 8148–8153.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1535 |
Vandael DH, Marcantoni A, Carbone E. 2015. Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology. 8(2), 149–161.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1542 |
Paixao T, Badkobeh G, Barton NH, Çörüş D, Dang D, Friedrich T, Lehre P, Sudholt D, Sutton A, Trubenova B. 2015. Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. 383, 28–43.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1546 |
Nakamura Y, Harada H, Kamasawa N, Matsui K, Rothman J, Shigemoto R, Silver RA, Digregorio D, Takahashi T. 2015. Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. 85(1), 145–158.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo Y, Van Bel M, Van Hautegem T, Fendrych M, Huysmans M, Šimášková M, Van Durme M, Buscaill P, Rivas S, Coll N, Coppens F, Maere S, Nowack M. 2015. A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants. Plant Physiology. 169(4), 2684–2699.
View
| DOI
2015 | Book Chapter | IST-REx-ID: 1544 |
Nguyen P, Field C, Groen A, Mitchison T, Loose M. 2015.Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins. In: Building a Cell from its Components Parts. vol. 128, 223–241.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1551 |
El Masri L, Branca A, Sheppard A, Papkou A, Laehnemann D, Guenther P, Prahl S, Saebelfeld M, Hollensteiner J, Liesegang H, Brzuszkiewicz E, Daniel R, Michiels N, Schulte R, Kurtz J, Rosenstiel P, Telschow A, Bornberg Bauer E, Schulenburg H. 2015. Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes. PLoS Biology. 13(6), 1–30.
View
| Files available
| DOI
2015 | Book Chapter | IST-REx-ID: 1549 |
Mckenzie C, Sanchez-Romero I, Janovjak HL. 2015.Flipping the photoswitch: Ion channels under light control. In: Novel chemical tools to study ion channel biology. vol. 869, 101–117.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1548 |
Milutinovic B, Höfling C, Futo M, Scharsack J, Kurtz J. 2015. 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. 81(23), 8135–8144.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1553
Maiuri P, Rupprecht J, Wieser S, Ruprecht V, Bénichou O, Carpi N, Coppey M, De Beco S, Gov N, Heisenberg C-PJ, Lage Crespo C, Lautenschlaeger F, Le Berre M, Lennon Duménil A, Raab M, Thiam H, Piel M, Sixt MK, Voituriez R. 2015. Actin flows mediate a universal coupling between cell speed and cell persistence. Cell. 161(2), 374–386.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1550 |
Mayer C, Jaglin X, Cobbs L, Bandler R, Streicher C, Cepko C, Hippenmeyer S, Fishell G. 2015. Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries. Neuron. 87(5), 989–998.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1547 |
Mohammadi F, Moradi S. 2015. Resolution of unmixed bipartite graphs. Bulletin of the Korean Mathematical Society. 52(3), 977–986.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1556 |
Jia Y, Tian H, Li H, Yu Q, Wang L, Friml J, Ding Z. 2015. The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development. Journal of Experimental Botany. 66(15), 4631–4642.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1555 |
Knipl D, Pilarczyk P, Röst G. 2015. Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems. 14(2), 980–1017.
View
| DOI
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko M, Zhu J, Wang B, Medvecka E, Du Y, Azzarello E, Mancuso S, Megraw M, Filichkin S, Dubrovsky J, Friml J, Geisler M. 2015. The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation. Development. 142(4), 712–721.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1557
Javdani F, Holló K, Hegedűs K, Kis G, Hegyi Z, Dócs K, Kasugai Y, Fukazawa Y, Shigemoto R, Antal M. 2015. Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats. Journal of Comparative Neurology. 523(13), 1967–1983.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1559 |
Ibsen-Jensen R, Chatterjee K, Nowak M. 2015. Computational complexity of ecological and evolutionary spatial dynamics. PNAS. 112(51), 15636–15641.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1561
Heger K, Kober M, Rieß D, Drees C, de Vries I, Bertossi A, Roers A, Sixt MK, Schmidt Supprian M. 2015. A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors. European Journal of Immunology. 45(6), 1614–1620.
View
| DOI
2015 | Journal Article | IST-REx-ID: 1554 |
Liao C, Smet W, Brunoud G, Yoshida S, Vernoux T, Weijers D. 2015. Reporters for sensitive and quantitative measurement of auxin response. Nature Methods. 12(3), 207–210.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1565 |
Gavello D, Vandael DH, Gosso S, Carbone E, Carabelli V. 2015. 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. 593(22), 4835–4853.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1564 |
Gilson M, Savin C, Zenke F. 2015. Editorial: Emergent neural computation from the interaction of different forms of plasticity. Frontiers in Computational Neuroscience. 9(11), 145.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva O, Edelsbrunner H, Lukyanov A, Machin M, Malkova D. 2015. The classification of endoscopy images with persistent homology. Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, 7034731.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1567
Edelsbrunner H. 2015. Shape, homology, persistence, and stability. 23rd International Symposium. GD: Graph Drawing and Network Visualization, LNCS, vol. 9411.
View
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, Vargas P, Maiuri P, Solanes P, Maurin M, Terriac E, Le Berre M, Lankar D, Piolot T, Adelstein R, Zhang Y, Sixt MK, Jacobelli J, Bénichou O, Voituriez R, Piel M, Lennon Duménil A. 2015. Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells. Nature Communications. 6, 7526.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1569 |
Doyle S, Haegera A, Vain T, Rigala A, Viotti C, Łangowskaa M, Maa Q, Friml J, Raikhel N, Hickse G, Robert S. 2015. An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana. PNAS. 112(7), E806–E815.
View
| DOI
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 1570 |
Der R, Martius GS. 2015. Novel plasticity rule can explain the development of sensorimotor intelligence. PNAS. 112(45), E6224–E6232.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1572 |
Correggi M, Giuliani A, Seiringer R. 2015. Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet. Communications in Mathematical Physics. 339(1), 279–307.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1573 |
Chen T, Hainzl C, Pavlović N, Seiringer R. 2015. Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti. Communications on Pure and Applied Mathematics. 68(10), 1845–1884.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1580 |
Brenes O, Vandael DH, Carbone E, Montarolo P, Ghirardi M. 2015. Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. Neuroscience. 311, 430–443.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1577 |
Carvalho A, Vicoso B, Russo C, Swenor B, Clark A. 2015. Birth of a new gene on the Y chromosome of Drosophila melanogaster. PNAS. 112(40), 12450–12455.
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. 2015. Galois groups of Schubert problems of lines are at least alternating. Transactions of the American Mathematical Society. 367(6), 4183–4206.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1589 |
Altmeyer S, Do Y, Lai Y. 2015. Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports. 5, 18589.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1584 |
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(5), 429–442.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1582 |
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(2), 120–133.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1583 |
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. 115(2), 243–247.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1587 |
Amaro P, Fratini F, Safari L, Antognini A, Indelicato P, Pohl R, Santos J. 2015. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. 92(6), 062506.
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 1593 |
Žádníková P, Smet D, Zhu Q, Van Der Straeten D, Benková E. 2015. Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. 6(4).
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1595 |
Fulek R, Pelsmajer M, Schaefer M. 2015. Hanani-Tutte for radial planarity. GD: Graph Drawing and Network Visualization, LNCS, vol. 9411, 99–110.
View
| Files available
| DOI
2015 | Book Chapter | IST-REx-ID: 1590 |
Aichholzer O, Biedl T, Hackl T, Held M, Huber S, Palfrader P, Vogtenhuber B. 2015.Representing directed trees as straight skeletons. In: Graph Drawing and Network Visualization. LNCS, vol. 9411, 335–347.
View
| DOI
| Download Preprint (ext.)
2015 | Book Chapter | IST-REx-ID: 1596 |
Fulek R, Radoičić R. 2015.Vertical visibility among parallel polygons in three dimensions. In: Graph Drawing and Network Visualization. LNCS, vol. 9411, 373–379.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1601 |
Babiak T, Blahoudek F, Duret Lutz A, Klein J, Kretinsky J, Mueller D, Parker D, Strejček J. 2015. The Hanoi omega-automata format. CAV: Computer Aided Verification, LNCS, vol. 9206, 479–486.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1605 |
Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. 2015. Abstraction-based parameter synthesis for multiaffine systems. HVC: Haifa Verification Conference, LNCS, vol. 9434, 19–35.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1609 |
Chatterjee K, Doyen L, Vardi M. 2015. The complexity of synthesis from probabilistic components. 42nd International Colloquium. ICALP: Automata, Languages and Programming, LNCS, vol. 9135, 108–120.
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1615 |
Hammer M, Krueger Burg D, Tuffy L, Cooper B, Taschenberger H, Goswami S, Ehrenreich H, Jonas PM, Varoqueaux F, Rhee J, Brose N. 2015. Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. 13(3), 516–523.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1614 |
Strüber M, Jonas PM, Bartos M. 2015. Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. 112(4), 1220–1225.
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1611 |
Whitfield J, Zhang W, Herde M, Clifton B, Radziejewski J, Janovjak HL, Henneberger C, Jackson C. 2015. Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. 24(9), 1412–1422.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1624 |
Pavlogiannis A, Chatterjee K, Adlam B, Nowak M. 2015. Cellular cooperation with shift updating and repulsion. Scientific Reports. 5, 17147.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1623 |
Hammar P, Angermayr A, Sjostrom S, Van Der Meer J, Hellingwerf K, Hudson E, Joensson H. 2015. Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. 8(1), 193.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1628 |
Schumacher C, Bickel B, Rys J, Marschner S, Daraio C, Gross M. 2015. Microstructures to control elasticity in 3D printing. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 136.
View
| DOI
| Download Published Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1634 |
Da F, Batty C, Wojtan C, Grinspun E. 2015. Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 149.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1636 |
Kolmogorov V, Rolinek M, Takhanov R. 2015. Effectiveness of structural restrictions for hybrid CSPs. 26th International Symposium. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 9472, 566–577.
View
| DOI
| Download Preprint (ext.)
| arXiv