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 | Conference Paper | IST-REx-ID: 1648   OA
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: 1650   OA
Skórski M, Golovnev A, Pietrzak KZ. Condensed unpredictability . In: Vol 9134. Springer; 2015:1046-1057. doi:10.1007/978-3-662-47672-7_85
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655   OA
Martius GS, Olbrich E. Quantifying emergent behavior of autonomous robots. Entropy. 2015;17(10):7266-7297. doi:10.3390/e17107266
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1636   OA
Kolmogorov V, Rolinek M, Takhanov R. Effectiveness of structural restrictions for hybrid CSPs. 2015;9472:566-577. doi:10.1007/978-3-662-48971-0_48
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1693   OA
Amaro P, Franke B, Krauth J, et al. Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. 2015;92(2). doi:10.1103/PhysRevA.92.022514
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1698   OA
Velner Y, Chatterjee K, Doyen L, Henzinger TA, Rabinovich A, Raskin J. The complexity of multi-mean-payoff and multi-energy games. Information and Computation. 2015;241(4):177-196. doi:10.1016/j.ic.2015.03.001
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701   OA
Tkacik G, Mora T, Marre O, et al. Thermodynamics and signatures of criticality in a network of neurons. PNAS. 2015;112(37):11508-11513. doi:10.1073/pnas.1514188112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1706   OA
Pentina A, Ben David S. Multi-task and lifelong learning of kernels. In: Vol 9355. Springer; 2015:194-208. doi:10.1007/978-3-319-24486-0_13
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1679   OA
Lemoult GM, Maier P, Hof B. Taylor’s Forest. Physics of Fluids. 2015;27(9). doi:10.1063/1.4930850
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681   OA
Priklopil T, Chatterjee K. Evolution of decisions in population games with sequentially searching individuals. Games. 2015;6(4):413-437. doi:10.3390/g6040413
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1686
Kiermaier E, Sixt MK. Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection. Science. 2015;349(6252):1055-1056. doi:10.1126/science.aad0867
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1667   OA
Brázdil T, Korenčiak L, Krčál J, Novotny P, Řehák V. Optimizing performance of continuous-time stochastic systems using timeout synthesis. 2015;9259:141-159. doi:10.1007/978-3-319-22264-6_10
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1674   OA
Lee J, Schnelli K. Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics. 2015;27(8). doi:10.1142/S0129055X1550018X
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1807   OA
Goldman M, Royo-Letelier J. Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations. 2015;21(3):603-624. doi:10.1051/cocv/2014040
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1814   OA
Jeschke S, Wojtan CJ. Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. 2015;34(3). doi:10.1145/2714572
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1819
Zwiewka M, Nodzyński T, Robert S, Vanneste S, Friml J. Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. 2015;8(8):1175-1187. doi:10.1016/j.molp.2015.03.007
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1838   OA
Bloem R, Chatterjee K, Jacobs S, Könighofer R. Assume-guarantee synthesis for concurrent reactive programs with partial information. In: Vol 9035. Springer; 2015:517-532. doi:10.1007/978-3-662-46681-0_50
View | DOI | Download (ext.)
 

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

2015 | Conference Paper | IST-REx-ID: 1857   OA
Pentina A, Sharmanska V, Lampert C. Curriculum learning of multiple tasks. In: IEEE; 2015:5492-5500. doi:10.1109/CVPR.2015.7299188
View | DOI | Download (ext.)
 

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

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

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

2015 | Journal Article | IST-REx-ID: 1845   OA
Vandael DH, Espinoza Martinez CM, Jonas PM. Excitement about inhibitory presynaptic terminals. Neuron. 2015;85(6):1149-1151. doi:10.1016/j.neuron.2015.03.006
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2014   OA
Klimova A, Uhler C, Rudas T. Faithfulness and learning hypergraphs from discrete distributions. Computational Statistics & Data Analysis. 2015;87(7):57-72. doi:10.1016/j.csda.2015.01.017
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1713
Dhonukshe P, Huang F, Galván Ampudia C, et al. Correction: Plasma membrane bound AGC3 kinases phosphorylate PIN auxin carriers at TPRXS N S motifs to direct apical PIN recycling. Development. 2015;142(13):2386-2387. doi:10.1242/dev.127415
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 473   OA
Lewin M, Phan Thanh N, Rougerie N. Derivation of nonlinear gibbs measures from many-body quantum mechanics. Journal de l’Ecole Polytechnique - Mathematiques. 2015;2:65-115. doi:10.5802/jep.18
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 524
Chatterjee K, Ibsen-Jensen R. Qualitative analysis of concurrent mean payoff games. Information and Computation. 2015;242(6):2-24. doi:10.1016/j.ic.2015.03.009
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1732
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. In: IEEE; 2015:325-330. doi:10.1109/ICRA.2015.7139019
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5429
Chatterjee K, Komarkova Z, Kretinsky J. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:IST-2015-318-v1-1
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5443   OA
Chatterjee K, Chmelik M, Davies J. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria; 2015. doi:10.15479/AT:IST-2015-325-v2-1
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5431   OA
Chatterjee K, Ibsen-Jensen R, Hansen K. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria; 2015. doi:10.15479/AT:IST-2015-322-v1-1
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436   OA
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549   OA
Fellner A. Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:ISTA:28
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5804
Biswas R, Bhowmick P. From prima quadraginta octant to lattice sphere through primitive integer operations. Theoretical Computer Science. 2015;624(4):56-72. doi:10.1016/j.tcs.2015.11.018
View | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1511
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:476-490. doi:10.4230/LIPIcs.SOCG.2015.476
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 6737   OA
Mondelli M, Hassani H, Sason I, Urbanke R. Achieving Marton’s region for broadcast channels using polar codes. IEEE Transactions on Information Theory. 2015;61(2):783-800. doi:10.1109/tit.2014.2368555
View | DOI | Download (ext.) | arXiv
 

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

2015 | Journal Article | IST-REx-ID: 928   OA
Sehring I, Recho P, Denker E, et al. Assembly and positioning of actomyosin rings by contractility and planar cell polarity. eLife. 2015;4. doi:10.7554/eLife.09206
View | Files available | DOI
 

2015 | Book Review | IST-REx-ID: 1473   OA
Hausel T, Rodríguez Villegas F. Cohomology of large semiprojective hyperkähler varieties. Asterisque. 2015;2015(370):113-156.
View | Download (ext.)
 

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 | 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: 1788
Pitanti A, Fink JM, Safavi Naeini A, et al. Strong opto-electro-mechanical coupling in a silicon photonic crystal cavity. Optics Express. 2015;23(3):3196-3208. doi:10.1364/OE.23.003196
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1803
Rei D, Mason X, Seo J, et al. Basolateral amygdala bidirectionally modulates stress induced hippocampal learning and memory deficits through a p25/Cdk5-dependent pathway. PNAS. 2015;112(23):7291-7296. doi:10.1073/pnas.1415845112
View | DOI
 

2015 | Journal Article | IST-REx-ID: 260
Browning TD, Dietmann R, Heath Brown R. Erratum Rational points on intersections of cubic and quadric hypersurfaces. Journal of the Institute of Mathematics of Jussieu. 2015;14(4). doi:10.1017/S1474748014000279
View | DOI
 

2015 | Journal Article | IST-REx-ID: 354
Ibanez M, Korkosz R, Luo Z, et al. Electron doping in bottom up engineered thermoelectric nanomaterials through HCl mediated ligand displacement. Journal of the American Chemical Society. 2015;137(12):4046-4049. doi:10.1021/jacs.5b00091
View | DOI
 

2015 | Journal Article | IST-REx-ID: 361
Yu X, An X, Genç A, et al. Cu2ZnSnS4–PtM (M = Co, Ni) nanoheterostructures for photocatalytic hydrogen evolution. Journal of Physical Chemistry C. 2015;119(38):21882-21888. doi:10.1021/acs.jpcc.5b06199
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 777
Alistarh D, Iglesias J, Vojnović M. Streaming min-max hypergraph partitioning. In: Vol 2015-January. Neural Information Processing Systems; 2015:1900-1908.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 866
Kretz C, Dai M, Soylemez O, et al. Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13. PNAS. 2015;112(30):9328-9333. doi:10.1073/pnas.1511328112
View | DOI
 

2015 | Journal Article | IST-REx-ID: 924
Boubaker R, Platel V, Bergès A, Bancelin M, Hannezo E. Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop. Applied Thermal Engineering. 2015;76:1-8. doi:10.1016/j.applthermaleng.2014.10.009
View | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed