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.

372 Publications


2015 | Journal Article | IST-REx-ID: 1508 | OA
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: 1509 | OA
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 | Conference Poster | IST-REx-ID: 1500
Nguyen L, Schilling C, Bogomolov S, Johnson T. Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata. Springer; 2015:289-290. doi:10.1145/2728606.2728650
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1510 | OA
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: 1501 | OA
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 | Journal Article | IST-REx-ID: 1513 | OA
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: 1514
Gómez Gonzalo M, Navarrete M, Perea G, et al. Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission. Cerebral Cortex. 2015;25(10):3699-3712. doi:10.1093/cercor/bhu231
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1515
Mansouri M, Kasugai Y, Fukazawa Y, et al. Distinct subsynaptic localization of type 1 metabotropic glutamate receptors at glutamatergic and GABAergic synapses in the rodent cerebellar cortex. European Journal of Neuroscience. 2015;41(2):157-167. doi:10.1111/ejn.12779
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1517 | OA
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 | OA
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: 1525 | OA
Bauer B, Blechl G, Bock C, et al. Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen. 2015;68(3):580-607. doi:10.5281/zenodo.33178
View | Files available | 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: 1531
Zobel V, Reininghaus J, Hotz I. Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature. Mathematics and Visualization. 2015;40:257-267. doi:10.1007/978-3-319-15090-1_13
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: 1534 | OA
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: 1535 | OA
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: 1538 | OA
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: 1539 | OA
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 | 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 | Journal Article | IST-REx-ID: 1569 | OA
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 | OA
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 | OA
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 | OA
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: 1574 | OA
Chen Q, Liu Y, Maere S, et al. A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications. 2015;6. doi:10.1038/ncomms9821
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1575 | OA
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: 1584 | OA
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: 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: 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: 1587 | OA
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: 1589 | OA
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 | Book Chapter | IST-REx-ID: 1590 | OA
Aichholzer O, Biedl T, Hackl T, et al. Representing directed trees as straight skeletons. In: Graph Drawing and Network Visualization. Vol 9411. Lecture Notes in Computer Science. Springer; 2015:335-347. doi:10.1007/978-3-319-27261-0_28
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1577 | OA
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: 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: 1579 | OA
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: 1580 | OA
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: 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: 1593 | OA
Žá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: 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 | Journal Article | IST-REx-ID: 1582 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 1601 | OA
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: 1595 | OA
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 | Conference Paper | IST-REx-ID: 1596 | OA
Fulek R, Radoičić R. Vertical visibility among parallel polygons in three dimensions. 2015;9411:373-379. doi:10.1007/978-3-319-27261-0_31
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
Chatterjee K, Doyen L, Vardi M. The complexity of synthesis from probabilistic components. 2015;9135:108-120. doi:10.1007/978-3-662-47666-6_9
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1605 | OA
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. 2015;9333:281-286. doi:10.1007/978-3-319-23820-3_19
View | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications