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.

357 Publications


2015 | Journal Article | IST-REx-ID: 1553
P. Maiuri et al., “Actin flows mediate a universal coupling between cell speed and cell persistence,” Cell, vol. 161, no. 2, pp. 374–386, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1558
M. Ivanchenko et al., “The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation,” Development, vol. 142, no. 4, pp. 712–721, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1560
M. Hons and M. K. Sixt, “The lymph node filter revealed,” Nature Immunology, vol. 16, no. 4, pp. 338–340, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1565   OA
D. Gavello, D. H. Vandael, S. Gosso, E. Carbone, and V. Carabelli, “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, vol. 593, no. 22, pp. 4835–4853, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1584   OA
T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “Reprint of: Weighted straight skeletons in the plane,” Computational Geometry: Theory and Applications, vol. 48, no. 5, pp. 429–442, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1589   OA
S. Altmeyer, Y. Do, and Y. Lai, “Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system,” Scientific Reports, vol. 5, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1539   OA
J. Ruess, “Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space,” Journal of Chemical Physics, vol. 143, no. 24, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1572   OA
M. Correggi, A. Giuliani, and R. Seiringer, “Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet,” Communications in Mathematical Physics, vol. 339, no. 1, pp. 279–307, 2015.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1596   OA
R. Fulek and R. Radoičić, “Vertical visibility among parallel polygons in three dimensions,” vol. 9411. Springer, pp. 373–379, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1577   OA
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, and A. Clark, “Birth of a new gene on the Y chromosome of Drosophila melanogaster,” PNAS, vol. 112, no. 40, pp. 12450–12455, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1623   OA
P. Hammar et al., “Single-cell screening of photosynthetic growth and lactate production by cyanobacteria,” Biotechnology for Biofuels, vol. 8, no. 1, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, and M. Gross, “Microstructures to control elasticity in 3D printing,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 2015, vol. 34, no. 4, p. 136.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1630   OA
P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Learning shape placements by example,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611   OA
J. Whitfield et al., “Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction,” Protein Science, vol. 24, no. 9, pp. 1412–1422, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1609   OA
K. Chatterjee, L. Doyen, and M. Vardi, “The complexity of synthesis from probabilistic components,” vol. 9135. Springer, pp. 108–120, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1635   OA
M. Erbar, J. Maas, and P. Tetali, “Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models,” Annales de la faculté des sciences de Toulouse, vol. 24, no. 4, pp. 781–800, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1680
J. Michaliszyn, J. Otop, and E. Kieroňski, “On the decidability of elementary modal logics,” ACM Transactions on Computational Logic, vol. 17, no. 1, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1685   OA
V. Cohen Addad and A. N. De Mesmay, “A fixed parameter tractable approximation scheme for the optimal cut graph of a surface,” presented at the ESA: European Symposium on Algorithms, Patras, Greece, 2015, vol. 9294, pp. 386–398.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1647   OA
G. Fuchsbauer, C. Hanser, and D. Slamanig, “Practical round-optimal blind signatures in the standard model,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States, 2015, vol. 9216, pp. 233–253.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1654   OA
P. Gazi, K. Z. Pietrzak, and S. Tessaro, “Generic security of NMAC and HMAC with input whitening,” vol. 9453. Springer, pp. 85–109, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1666   OA
M. Tugrul, T. Paixao, N. H. Barton, and G. Tkacik, “Dynamics of transcription factor binding site evolution,” PLoS Genetics, vol. 11, no. 11, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1673   OA
B. Adlam, K. Chatterjee, and M. Nowak, “Amplifiers of selection,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 471, no. 2181, p. 20150114, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1642   OA
R. Fulek, J. Kynčl, I. Malinovič, and D. Pálvölgyi, “Clustered planarity testing revisited,” Electronic Journal of Combinatorics, vol. 22, no. 4, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1692
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, and A. Podelski, “Eliminating spurious transitions in reachability with support functions,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 149–158.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1697   OA
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkacik, and M. Berry, “High accuracy decoding of dynamical motion from a large retinal population,” PLoS Computational Biology, vol. 11, no. 7, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1700   OA
E. Van Loon, M. Katsnelson, and M. Lemeshko, “Ultralong-range order in the Fermi-Hubbard model with long-range interactions,” Physical Review B, vol. 92, no. 8, 2015.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1729
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” vol. 9207. Springer, pp. 180–197, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1712   OA
A. Ratheesh, V. Belyaeva, and D. E. Siekhaus, “Drosophila immune cell migration and adhesion during embryonic development and larval immune responses,” Current Opinion in Cell Biology, vol. 36, no. 10, pp. 71–79, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1813   OA
R. Schmidt and M. Lemeshko, “Rotation of quantum impurities in the presence of a many-body environment,” Physical Review Letters, vol. 114, no. 20, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1818   OA
J. Polechova and N. H. Barton, “Limits to adaptation along environmental gradients,” PNAS, vol. 112, no. 20, pp. 6401–6406, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1849
E. Himschoot, T. Beeckman, J. Friml, and S. Vanneste, “Calcium is an organizer of cell polarity in plants,” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 9, pp. 2168–2172, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1851
T. Priklopil, E. Kisdi, and M. Gyllenberg, “Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating,” Evolution, vol. 69, no. 4, pp. 1015–1026, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1820   OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” in Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , Austin, TX, USA, 2015, vol. 5, pp. 3496–3502.
View | Files available | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1832   OA
S. Chakraborty, T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented linearizability proofs,” Logical Methods in Computer Science, vol. 11, no. 1, p. 20, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1837
J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, and B. Hof, “Subcritical versus supercritical transition to turbulence in curved pipes,” Journal of Fluid Mechanics, vol. 770, no. 5, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1793   OA
O. Symonova, C. Topp, and H. Edelsbrunner, “DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots,” PLoS One, vol. 10, no. 6, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1868
Y. Park, Y. Do, S. Altmeyer, Y. Lai, and G. Lee, “Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances,” Physical Review E, vol. 91, no. 2, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1882   OA
U. Fahrenberg, J. Kretinsky, A. Legay, and L. Traonouez, “Compositionality for quantitative specifications,” presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy, 2015, vol. 8997, pp. 306–324.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1938
F. Pausinger and S. Steinerberger, “On the distribution of local extrema in quantum chaos,” Physics Letters, Section A, vol. 379, no. 6, pp. 535–541, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2006   OA
N. Hein, C. Hillar, A. Martin Del Campo Sanchez, F. Sottile, and Z. Teitler, “ The monotone secant conjecture in the real Schubert calculus,” Experimental Mathematics, vol. 24, no. 3, pp. 261–269, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1940   OA
T. R. Sokolowski and G. Tkacik, “Optimizing information flow in small genetic networks. IV. Spatial coupling,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 91, no. 6, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2025   OA
D. Kawada et al., “The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins,” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 1, pp. 144–156, 2015.
View | Files available | DOI
 

2015 | Thesis | IST-REx-ID: 1399
F. Pausinger, On the approximation of intrinsic volumes. IST Austria, 2015.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 3585
T. Cao, H. Edelsbrunner, and T. Tan, “Proof of correctness of the digital Delaunay triangulation algorithm,” Computational Geometry: Theory and Applications, vol. 48, no. 7, pp. 507–519, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1856
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” Journal of the ACM, vol. 62, no. 1, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1731
K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” Information and Computation, vol. 245, no. 12, pp. 3–16, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1678
Á. Inglés Prieto et al., “Light-assisted small-molecule screening against protein kinases,” Nature Chemical Biology, vol. 11, no. 12, pp. 952–954, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1661
K. Chatterjee, M. Henzinger, and V. Loitzenbauer, “Improved algorithms for one-pair and k-pair Streett objectives,” in Proceedings - Symposium on Logic in Computer Science, Kyoto, Japan, 2015, vol. 2015–July, p. 7174888.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 477
K. Holst et al., “The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells,” Journal of Cell Science, vol. 128, no. 15, pp. 2866–2880, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 523   OA
K. Chatterjee, L. Doyen, M. Randour, and J. Raskin, “Looking at mean-payoff and total-payoff through windows,” Information and Computation, vol. 242, no. 6, pp. 25–52, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5430
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5435   OA
K. Chatterjee, Z. Komarkova, and J. Kretinsky, Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1659
U. Boker, T. A. Henzinger, and J. Otop, “The target discounted-sum problem,” in LICS, Kyoto, Japan, 2015, pp. 750–761.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442   OA
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 5808
R. Biswas and P. Bhowmick, “Layer the sphere,” The Visual Computer, vol. 31, no. 6–8, pp. 787–797, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6736   OA
M. Mondelli, H. Hassani, and R. Urbanke, “Scaling exponent of list decoders with applications to polar codes,” IEEE Transactions on Information Theory, vol. 61, no. 9, pp. 4838–4851, 2015.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 802
J. Engel, P. S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, and F. Routier, “Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis,” Glycobiology, vol. 25, no. 12, pp. 1423–1430, 2015.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1604
K. Chatterjee, A. Pavlogiannis, and Y. Velner, “Quantitative interprocedural analysis,” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1, pp. 539–551, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1591
M. Adamowski and J. Friml, “PIN-dependent auxin transport: Action, regulation, and evolution,” Plant Cell, vol. 27, no. 1, pp. 20–32, 2015.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1802
S. Siegert et al., “The schizophrenia risk gene product miR-137 alters presynaptic plasticity,” Nature Neuroscience, vol. 18, pp. 1008–1016, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 257   OA
T. D. Browning and R. Munshi, “Pairs of diagonal quadratic forms and linear correlations among sums of two squares,” Forum Mathematicum, vol. 27, no. 4, pp. 2025–2050, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 334
X. Yu et al., “Cu2ZnSnS4–Ag2S Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting,” Langmuir, vol. 31, no. 38, pp. 10555–10561, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 360
X. Yu et al., “Cu2ZnSnS4-Ag2S nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting,” Langmuir, vol. 31, no. 38, pp. 10555–10561, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 365
M. Walte, K. Kravchyk, M. Ibanez, and M. Kovalenko, “Efficient and inexpensive sodium magnesium hybrid battery,” Chemistry of Materials, vol. 27, no. 21, pp. 7452–7458, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 776
D. Alistarh, J. Kopinsky, J. Li, and N. Shavit, “The SprayList: A scalable relaxed priority queue,” presented at the PPoPP: Principles and Practice of Parallel Pogramming, 2015, vol. 2015–January, pp. 11–20.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 783   OA
D. Alistarh, R. Gelashvili, and A. Vladu, “How to elect a leader faster than a tournament,” presented at the PODC: Principles of Distributed Computing, 2015, vol. 2015–July, pp. 365–374.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 120
V. Lee, S. R. Waitukaitis, M. Miskin, and H. Jaeger, “Direct observation of particle interactions and clustering in charged granular streams,” Nature Physics, vol. 11, no. 9, pp. 733–737, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1314
J. L. Fischer, “A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation,” SIAM Journal on Numerical Analysis, vol. 53, no. 5, pp. 2178–2205, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1383
L. Yu et al., “V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis,” Nature Plants, vol. 1, no. 7, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1504   OA
Z. Bao, L. Lin, G. Pan, and W. Zhou, “Spectral statistics of large dimensional spearman s rank correlation matrix and its application,” Annals of Statistics, vol. 43, no. 6, pp. 2588–2623, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509   OA
J. Michalko, M. Dravecka, T. Bollenbach, and J. Friml, “Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene,” F1000 Research , vol. 4, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1542   OA
T. Paixao et al., “Toward a unifying framework for evolutionary processes,” Journal of Theoretical Biology, vol. 383, pp. 28–43, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1547   OA
F. Mohammadi and S. Moradi, “Resolution of unmixed bipartite graphs,” Bulletin of the Korean Mathematical Society, vol. 52, no. 3, pp. 977–986, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1554   OA
C. Liao, W. Smet, G. Brunoud, S. Yoshida, T. Vernoux, and D. Weijers, “Reporters for sensitive and quantitative measurement of auxin response,” Nature Methods, vol. 12, no. 3, pp. 207–210, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1559   OA
R. Ibsen-Jensen, K. Chatterjee, and M. Nowak, “Computational complexity of ecological and evolutionary spatial dynamics,” PNAS, vol. 112, no. 51, pp. 15636–15641, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1561
K. Heger 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, vol. 45, no. 6, pp. 1614–1620, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1566   OA
À. Gómez Sicilia, M. K. Sikora, M. Cieplak, and M. Carrión Vázquez, “An exploration of the universe of polyglutamine structures,” PLoS Computational Biology, vol. 11, no. 10, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1530
V. Bierbaum and S. Klumpp, “Impact of the cell division cycle on gene circuits,” Physical Biology, vol. 12, no. 6, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1535
D. H. Vandael, A. Marcantoni, and E. Carbone, “Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells,” Current Molecular Pharmacology, vol. 8, no. 2, pp. 149–161, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1578
T. Cao, H. Edelsbrunner, and T. Tan, “Triangulations from topologically correct digital Voronoi diagrams,” Computational Geometry, vol. 48, no. 7, pp. 507–519, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1580
O. Brenes, D. H. Vandael, E. Carbone, P. Montarolo, and M. Ghirardi, “Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons,” Neuroscience, vol. 311, pp. 430–443, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1573   OA
T. Chen, C. Hainzl, N. Pavlović, and R. Seiringer, “Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti,” Communications on Pure and Applied Mathematics, vol. 68, no. 10, pp. 1845–1884, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1585
Z. Bao, G. Pan, and W. Zhou, “Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices,” IEEE Transactions on Information Theory, vol. 61, no. 6, pp. 3413–3426, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1624   OA
A. Pavlogiannis, K. Chatterjee, B. Adlam, and M. Nowak, “Cellular cooperation with shift updating and repulsion,” Scientific Reports, vol. 5, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1605
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1648   OA
G. Fuchsbauer, Z. Jafargholi, and K. Z. Pietrzak, “A quasipolynomial reduction for generalized selective decryption on trees,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA, 2015, vol. 9215, pp. 601–620.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650   OA
M. Skórski, A. Golovnev, and K. Z. Pietrzak, “Condensed unpredictability ,” presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan, 2015, vol. 9134, pp. 1046–1057.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655   OA
G. S. Martius and E. Olbrich, “Quantifying emergent behavior of autonomous robots,” Entropy, vol. 17, no. 10, pp. 7266–7297, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1636   OA
V. Kolmogorov, M. Rolinek, and R. Takhanov, “Effectiveness of structural restrictions for hybrid CSPs,” vol. 9472. Springer, pp. 566–577, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1693   OA
P. Amaro et al., “Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3,” Physical Review A, vol. 92, no. 2, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1698   OA
Y. Velner, K. Chatterjee, L. Doyen, T. A. Henzinger, A. Rabinovich, and J. Raskin, “The complexity of multi-mean-payoff and multi-energy games,” Information and Computation, vol. 241, no. 4, pp. 177–196, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701   OA
G. Tkacik et al., “Thermodynamics and signatures of criticality in a network of neurons,” PNAS, vol. 112, no. 37, pp. 11508–11513, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1706   OA
A. Pentina and S. Ben David, “Multi-task and lifelong learning of kernels,” presented at the ALT: Algorithmic Learning Theory, Banff, AB, Canada, 2015, vol. 9355, pp. 194–208.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1679   OA
G. M. Lemoult, P. Maier, and B. Hof, “Taylor’s Forest,” Physics of Fluids, vol. 27, no. 9, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681   OA
T. Priklopil and K. Chatterjee, “Evolution of decisions in population games with sequentially searching individuals,” Games, vol. 6, no. 4, pp. 413–437, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1686
E. Kiermaier and M. K. Sixt, “Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection,” Science, vol. 349, no. 6252, pp. 1055–1056, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1667   OA
T. Brázdil, L. Korenčiak, J. Krčál, P. Novotny, and V. Řehák, “Optimizing performance of continuous-time stochastic systems using timeout synthesis,” vol. 9259. Springer, pp. 141–159, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1674   OA
J. Lee and K. Schnelli, “Edge universality for deformed Wigner matrices,” Reviews in Mathematical Physics, vol. 27, no. 8, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1807   OA
M. Goldman and J. Royo-Letelier, “Sharp interface limit for two components Bose-Einstein condensates,” ESAIM - Control, Optimisation and Calculus of Variations, vol. 21, no. 3, pp. 603–624, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1814   OA
S. Jeschke and C. J. Wojtan, “Water wave animation via wavefront parameter interpolation,” ACM Transactions on Graphics, vol. 34, no. 3, 2015.
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed