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.

5491 Publications


2014 | Journal Article | IST-REx-ID: 1911
A. Engström and P. Noren, “Tverberg’s Theorem and Graph Coloring,” Discrete & Computational Geometry, vol. 51, no. 1, pp. 207–220, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2041   OA
P. M. Jonas and J. Lisman, “Structure, function and plasticity of hippocampal dentate gyrus microcircuits,” Frontiers in Neural Circuits, vol. 8, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2046   OA
M. Bellare and G. Fuchsbauer, “Policy-based signatures,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Buenos Aires, Argentina, 2014, vol. 8383, pp. 520–537.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2003
J. O’Neill and J. L. Csicsvari, “Learning by example in the hippocampus,” Neuron, vol. 83, no. 1, pp. 8–10, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2058   OA
K. Raveendran, C. J. Wojtan, N. Thuerey, and G. Türk, “Blending liquids,” in ACM Transactions on Graphics, Vancouver, Canada, 2014, vol. 33, no. 4.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2022   OA
P. Gao et al., “Deterministic progenitor behavior and unitary production of neurons in the neocortex,” Cell, vol. 159, no. 4, pp. 775–788, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2173   OA
S. Khamis and C. Lampert, “CoConut: Co-classification with output space regularization,” in Proceedings of the British Machine Vision Conference 2014, Nottingham, UK, 2014.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2178   OA
D. Haws, A. Martin Del Campo Sanchez, A. Takemura, and R. Yoshida, “Markov degree of the three-state toric homogeneous Markov chain model,” Beitrage zur Algebra und Geometrie, vol. 55, no. 1, pp. 161–188, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2180   OA
A. Bellet, A. Habrard, E. Morvant, and M. Sebban, “Learning a priori constrained weighted majority votes,” Machine Learning, vol. 97, no. 1–2, pp. 129–154, 2014.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2185   OA
Y. Dodis, K. Z. Pietrzak, and D. Wichs, “Key derivation without entropy waste,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, 2014, vol. 8441, pp. 93–110.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2154   OA
J. Matoušek and U. Wagner, “On Gromov’s method of selecting heavily covered points,” Discrete & Computational Geometry, vol. 52, no. 1, pp. 1–33, 2014.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2159   OA
I. Mabillard and U. Wagner, “Eliminating Tverberg points, I. An analogue of the Whitney trick,” in Proceedings of the Annual Symposium on Computational Geometry, Kyoto, Japan, 2014, pp. 171–180.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2161
C. Westhus, L. V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, and S. Cremer, “Increased grooming after repeated brood care provides sanitary benefits in a clonal ant,” Behavioral Ecology and Sociobiology, vol. 68, no. 10, pp. 1701–1710, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2224
S. Altmeyer, “On secondary instabilities generating footbridges between spiral vortex flow,” Fluid Dynamics Research, vol. 46, no. 2, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2231   OA
G. Rieckh and G. Tkacik, “Noise and information transmission in promoters with multiple internal states,” Biophysical Journal, vol. 106, no. 5, pp. 1194–1204, 2014.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2236   OA
D. Jetchev and K. Z. Pietrzak, “How to fake auxiliary input,” presented at the TCC: Theory of Cryptography Conference, San Diego, USA, 2014, vol. 8349, pp. 566–590.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2248
D. Capek, B. Metscher, and G. Müller, “Thumbs down: A molecular-morphogenetic approach to avian digit homology,” Journal of Experimental Zoology Part B: Molecular and Developmental Evolution, vol. 322, no. 1, pp. 1–12, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2250   OA
D. Kuchibhatla et al., “Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently ‘orphan’ viral proteins,” Journal of Virology, vol. 88, no. 1, pp. 10–20, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2407   OA
É. Lieb and R. Seiringer, “Equivalence of two definitions of the effective mass of a polaron,” Journal of Statistical Physics, vol. 154, no. 1–2, pp. 51–57, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2281   OA
Y. Guo and R. Seiringer, “On the mass concentration for Bose-Einstein condensates with attractive interactions,” Letters in Mathematical Physics, vol. 104, no. 2, pp. 141–156, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2255
H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,” Journal of Mathematical Imaging and Vision, vol. 50, no. 1, pp. 164–177, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 359
R. Zamani et al., “Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures,” ACS Nano, vol. 8, no. 3, pp. 2290–2301, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2084
M. Grusch et al., “Spatio-temporally precise activation of engineered receptor tyrosine kinases by light,” EMBO Journal, vol. 33, no. 15, pp. 1713–1726, 2014.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 537   OA
R. Prizak, T. Ezard, and R. Hoyle, “Fitness consequences of maternal and grandmaternal effects,” Ecology and Evolution, vol. 4, no. 15, pp. 3139–3145, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420   OA
K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 6740   OA
M. Mondelli, R. Urbanke, and H. Hassani, “How to achieve the capacity of asymmetric channels,” in 52nd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, United States, 2014, pp. 789–796.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Book | IST-REx-ID: 6853
H. Edelsbrunner, A Short Course in Computational Geometry and Topology. Cham: Springer International Publishing, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7072
T. Lancaster et al., “Controlling magnetic order and quantum disorder in molecule-based magnets,” Physical Review Letters, vol. 112, no. 20, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 772   OA
D. Alistarh, K. Censor Hillel, and N. Shavit, “Are lock-free concurrent algorithms practically wait-free?,” presented at the STOC: Symposium on Theory of Computing, 2014, pp. 714–723.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 809
T. Bharata et al., “Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly,” PNAS, vol. 111, no. 22, pp. 8233–8238, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 892
D. Ivankov, A. Finkelstein, and F. Kondrashov, “A structural perspective of compensatory evolution,” Current Opinion in Structural Biology, vol. 26, no. 1, pp. 104–112, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 979   OA
M. Serbyn and L. Fu, “Symmetry breaking and Landau quantization in topological crystalline insulators,” Physical Review B - Condensed Matter and Materials Physics, vol. 90, no. 3, 2014.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1872   OA
A. Gupta, L. Kovács, B. Kragl, and A. Voronkov, “Extensional crisis and proving identity,” in ATVA 2014, Sydney, Australia, 2014, vol. 8837, pp. 185–200.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2027   OA
T. Brázdil et al., “Verification of markov decision processes using learning algorithms,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Sydney, Australia, 2014, vol. 8837, pp. 98–114.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2229   OA
N. Vyleta and P. M. Jonas, “Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse,” Science, vol. 343, no. 6171, pp. 665–670, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2039   OA
K. Chatterjee, A. Pavlogiannis, B. Adlam, and M. Nowak, “The time scale of evolutionary innovation,” PLoS Computational Biology, vol. 10, no. 9, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2053   OA
H. Hermanns, J. Krčál, and J. Kretinsky, “Probabilistic bisimulation: Naturally on distributions,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Rome, Italy, 2014, vol. 8704, pp. 249–265.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2212
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, “Perfect-information stochastic mean-payoff parity games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 210–225.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5413
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418
K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1733
P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface simulation distances,” Theoretical Computer Science, vol. 560, no. 3, pp. 348–363, 2014.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 7301
C. Li et al., “Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent,” The Journal of Physical Chemistry C, vol. 118, no. 7, pp. 3393–3401, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2217
T. A. Henzinger and J. Otop, “Model measuring for hybrid systems,” in Proceedings of the 17th international conference on Hybrid systems: computation and control, Berlin, Germany, 2014, pp. 213–222.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Optimal cost almost-sure reachability in POMDPs. IST Austria, 2014.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 1309
J. L. Fischer, “Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models,” Nonlinear Differential Equations and Applications, vol. 21, no. 1, pp. 27–50, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1532
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, and U. Ludewig, “Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source,” Functional Plant Biology, vol. 42, no. 3, pp. 239–251, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1708
C. Savin and S. Denève, “Spatio-temporal representations of uncertainty in spiking neural networks,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2014, vol. 3, no. January, pp. 2024–2032.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1791
S. Baek et al., “Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation,” Neuron, vol. 82, no. 6, pp. 1255–1262, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1816   OA
S. Huber, M. Held, P. Meerwald, and R. Kwitt, “Topology-preserving watermarking of vector graphics,” International Journal of Computational Geometry and Applications, vol. 24, no. 1, pp. 61–86, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842   OA
J. Cibulka, P. Gao, M. Krcál, T. Valla, and P. Valtr, “On the geometric ramsey number of outerplanar graphs,” Discrete & Computational Geometry, vol. 53, no. 1, pp. 64–79, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1892   OA
S. Ocana, P. Meidl, D. Bonfils, and M. Taborsky, “Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897   OA
S. Naramoto et al., “Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis,” Plant Cell, vol. 26, no. 7, pp. 3062–3076, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1900
M. Behrndt and C.-P. J. Heisenberg, “Lateral junction dynamics lead the way out,” Nature Cell Biology, vol. 16, no. 2, pp. 127–129, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1979
L. A. Sazanov, “The mechanism of coupling between electron transfer and proton translocation in respiratory complex I,” Journal of Bioenergetics and Biomembranes, vol. 46, no. 4, pp. 247–253, 2014.
View | DOI
 

2014 | Book Review | IST-REx-ID: 1981
M. Garvin, J. Bielawski, L. A. Sazanov, and A. Gharrett, “Review and meta-analysis of natural selection in mitochondrial complex I in metazoans,” Journal of Zoological Systematics and Evolutionary Research, vol. 53, no. 1. Wiley-Blackwell, pp. 1–17, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1998
L. El Masri and S. Cremer, “Individual and social immunisation in insects,” Trends in Immunology, vol. 35, no. 10, pp. 471–482, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1917
T. Xu et al., “Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling,” Science, vol. 343, no. 6174, pp. 1025–1028, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1924
J. Le et al., “Auxin transport and activity regulate stomatal patterning and development,” Nature Communications, vol. 5, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1929
V. V. Alexeev, V. G. Bogaevskaya, M. M. Preobrazhenskaya, A. Y. Ukhalov, H. Edelsbrunner, and O. Yakimova, “An algorithm for cartographic generalization that preserves global topology,” Journal of Mathematical Sciences (United States), vol. 203, no. 6, pp. 754–760, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1931   OA
C. Savin and J. Triesch, “Emergence of task-dependent representations in working memory circuits,” Frontiers in Computational Neuroscience, vol. 8, no. MAY, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1936   OA
M. Arbilly, D. Weissman, M. Feldman, and U. Grodzinski, “An arms race between producers and scroungers can drive the evolution of social cognition,” Behavioral Ecology, vol. 25, no. 3, pp. 487–495, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1905
M. Tobler et al., “Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations,” Journal of Evolutionary Biology, vol. 27, no. 5, pp. 960–974, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1854   OA
P. Guerrero, T. Auzinger, M. Wimmer, and S. Jeschke, “Partial shape matching using transformation parameter similarity,” Computer Graphics Forum, vol. 34, no. 1, pp. 239–252, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2059   OA
E. Dubas et al., “The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos,” Protoplasma, vol. 251, no. 5, pp. 1077–1087, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2061
E. Mazur, E. Kurczyñska, and J. Friml, “Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis,” Protoplasma, vol. 251, no. 5, pp. 1125–1139, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2042   OA
A. Kupczok and J. P. Bollback, “Motif depletion in bacteriophages infecting hosts with CRISPR systems,” BMC Genomics, vol. 15, no. 1, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2047   OA
F. Yu, M. Rybar, C. Uhler, and S. Fienberg, “Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Ibiza, Spain, 2014, vol. 8744, pp. 170–184.
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2004   OA
A. Lovrics et al., “Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord,” PLoS One, vol. 9, no. 11, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2011   OA
F. Yu, S. Fienberg, A. Slaković, and C. Uhler, “Scalable privacy-preserving data sharing methodology for genome-wide association studies,” Journal of Biomedical Informatics, vol. 50, pp. 133–141, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2028   OA
K. Bodova, D. Paydarfar, and D. Forger, “Characterizing spiking in noisy type II neurons,” Journal of Theoretical Biology, vol. 365, pp. 40–54, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2023   OA
S. Novak, “Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution,” Ecology and Evolution, vol. 4, no. 24, pp. 4589–4597, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2131   OA
M. Hairer, J. Maas, and H. Weber, “Approximating Rough Stochastic PDEs,” Communications on Pure and Applied Mathematics, vol. 67, no. 5, pp. 776–870, 2014.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2080
M. Bac̈Her, E. Whiting, B. Bickel, and O. Sorkine Hornung, “Spin-It: Optimizing moment of inertia for spinnable objects,” presented at the SIGGRAPH: 41st International Conference and Exhibition on Computer Graphics and Interactive Techniques, 2014, vol. 33, no. 4.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2155   OA
U. Bauer and H. Edelsbrunner, “The morse theory of Čech and Delaunay filtrations,” in Proceedings of the Annual Symposium on Computational Geometry, Kyoto, Japan, 2014, pp. 484–490.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2174   OA
H. De Vladar and N. H. Barton, “Stability and response of polygenic traits to stabilizing selection and mutation,” Genetics, vol. 197, no. 2, pp. 749–767, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2179   OA
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Local semicircle law with imprimitive variance matrix,” Electronic Communications in Probability, vol. 19, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2186   OA
T. Chen, C. Hainzl, N. Pavlović, and R. Seiringer, “On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti,” Letters in Mathematical Physics, vol. 104, no. 7, pp. 871–891, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2220   OA
M. De Vos and M. T. Bollenbach, “Suppressive drug interactions between antifungals,” Chemistry and Biology, vol. 21, no. 4, pp. 439–440, 2014.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2225   OA
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, and J. Yin, “Isotropic local laws for sample covariance and generalized Wigner matrices,” Electronic Journal of Probability, vol. 19, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2232   OA
B. Song and B. Hof, “Deterministic and stochastic aspects of the transition to turbulence,” Journal of Statistical Mechanics Theory and Experiment, vol. 2014, no. 2, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2249   OA
Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, and F. Brandizzí, “Inter-regulation of the unfolded protein response and auxin signaling,” Plant Journal, vol. 77, no. 1, pp. 97–107, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 254
T. D. Browning, “The polynomial sieve and equal sums of like polynomials,” International Mathematics Research Notices, vol. 2015, no. 7, pp. 1987–2019, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2275   OA
C. Olsson, J. Ulen, Y. Boykov, and V. Kolmogorov, “Partial enumeration and curvature regularization,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2014, pp. 2936–2943.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2852
M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi-property combiners for hash functions,” Journal of Cryptology, vol. 27, no. 3, pp. 397–428, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 355
X. Yu, X. An, A. Shavel, M. Ibanez, and A. Cabot, “The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals,” Journal of Materials Chemistry A, vol. 2, no. 31, pp. 12317–12322, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 348
D. Cadavid, M. Ibanez, U. Anselmi Tamburini, O. Durá, M. De La Torre, and A. Cabot, “Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites,” International Journal of Nanotechnology, vol. 11, no. 9–11, pp. 773–784, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 350   OA
W. Li et al., “Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4,” Journal of Nanoparticle Research, vol. 16, no. 3, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 451   OA
P. Pilarczyk and P. Real, “Computation of cubical homology, cohomology, and (co)homological operations via chain contraction,” Advances in Computational Mathematics, vol. 41, no. 1, pp. 253–275, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 468   OA
A. Cimadom et al., “Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches,” PLoS One, vol. 9, no. 9, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419   OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 5813   OA
J. Dereziński and M. M. Napiórkowski, “Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit,” Annales Henri Poincaré, vol. 15, no. 12, pp. 2409–2439, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6126   OA
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and M. de Bono, “GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings,” Journal of Neuroscience, vol. 34, no. 50, pp. 16726–16738, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6739   OA
M. Mondelli, H. Hassani, and R. Urbanke, “From polar to Reed-Muller codes: A technique to improve the finite-length performance,” IEEE Transactions on Communications, vol. 62, no. 9, pp. 3084–3091, 2014.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 773
D. Alistarh, J. Aspnes, V. King, and J. Saia, “Communication-efficient randomized consensus,” presented at the DISC: Distributed Computing, Austin, USA, 2014, vol. 8784, pp. 61–75.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 925
B. Dong, E. Hannezo, and S. Hayashi, “Balance between apical membrane growth and luminal matrix resistance determines epithelial tubule shape,” Cell Reports, vol. 7, no. 4, pp. 941–950, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1912
J. Compagnon et al., “The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ,” Developmental Cell, vol. 31, no. 6, pp. 774–783, 2014.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 1392   OA
C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5426
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2218   OA
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Regression-free synthesis for concurrency,” presented at the CAV: Computer Aided Verification, Vienna, Austria, 2014, vol. 8559, pp. 568–584.
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed