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.

3289 Publications


2014 | Journal Article | IST-REx-ID: 2716 | OA
K. Chatterjee, M. Randour, and J. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” Acta Informatica, vol. 51, no. 3–4. Springer, pp. 129–163, 2014.
View | DOI | Download Preprint (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2905 | OA
H. Edelsbrunner and D. Morozovy, “Persistent homology: Theory and practice,” presented at the ECM: European Congress of Mathematics, Kraków, Poland, 2014, pp. 31–50.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 8021 | OA
R. Araya, T. P. Vogels, and R. Yuste, “Activity-dependent dendritic spine neck changes are correlated with synaptic strength,” Proceedings of the National Academy of Sciences, vol. 111, no. 28. Proceedings of the National Academy of Sciences, pp. E2895–E2904, 2014.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 8022 | OA
G. Hennequin, T. P. Vogels, and W. Gerstner, “Optimal control of transient dynamics in balanced networks supports generation of complex movements,” Neuron, vol. 82, no. 6. Elsevier, pp. 1394–1406, 2014.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 8023 | OA
C. Tomm, M. Avermann, C. Petersen, W. Gerstner, and T. P. Vogels, “Connection-type-specific biases make uniform random network models consistent with cortical recordings,” Journal of Neurophysiology, vol. 112, no. 8. American Physiological Society, pp. 1801–1814, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 8044 | OA
R. Seiringer, “Structure of the excitation spectrum for many-body quantum systems,” in Proceeding of the International Congress of Mathematicans, Seoul, South Korea, 2014, vol. 3, pp. 1175–1194.
View | Download Published Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.
View | DOI | Download Submitted Version (ext.)
 

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

2014 | Journal Article | IST-REx-ID: 1761 | OA
M. Mongillo et al., “PtSi clustering in silicon probed by transport spectroscopy,” Physical Review X, vol. 3, no. 4. American Physical Society, 2014.
View | DOI | Download (ext.)
 

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. World Scientific Publishing, pp. 61–86, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1821 | OA
R. Seiringer, “Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation,” Journal of Mathematical Physics, vol. 55, no. 7. American Institute of Physics, 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. Springer, pp. 64–79, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1844 | OA
V. Risso et al., “Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history,” Molecular Biology and Evolution, vol. 32, no. 2. Oxford University Press, pp. 440–455, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1852 | OA
M. Sassi et al., “An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis,” Current Biology, vol. 24, no. 19. Cell Press, pp. 2335–2342, 2014.
View | DOI | Download Submitted Version (ext.)
 

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. Wiley, pp. 239–252, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1862 | OA
X. Chen et al., “Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules,” Nature, vol. 516, no. 729. Nature Publishing Group, pp. 90–93, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of finite-state transducers,” in Leibniz International Proceedings in Informatics, LIPIcs, Delhi, India, 2014, vol. 29, pp. 431–443.
View | Files available | DOI
 

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: 1875 | OA
R. Samanta, O. Olivo, and E. Allen, “Cost-aware automatic program repair,” presented at the SAS: Static Analysis Symposium, Munich, Germany, 2014, vol. 8723, pp. 268–284.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, and O. Musin, “Functionals on triangulations of delaunay sets,” Moscow Mathematical Journal, vol. 14, no. 3. Independent University of Moscow, pp. 491–504, 2014.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, and G. Tkačik, “Variance predicts salience in central sensory processing,” eLife, no. November. eLife Sciences Publications, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1889 | OA
G. Bräunlich, C. Hainzl, and R. Seiringer, “Translation-invariant quasi-free states for fermionic systems and the BCS approximation,” Reviews in Mathematical Physics, vol. 26, no. 7. World Scientific Publishing, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890 | OA
C. Körner, V. Braunstein, M. Stangl, A. Schlögl, C. Neuper, and A. Ischebeck, “Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection,” Psychophysiology, vol. 51, no. 4. Wiley-Blackwell, pp. 385–395, 2014.
View | Files available | DOI
 

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. Royal Society, The, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893 | OA
P. Marhavá et al., “SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis,” PNAS, vol. 111, no. 7. National Academy of Sciences, pp. 2818–2823, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1894 | OA
A. Grabowska et al., “Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA,” PLoS One, vol. 9, no. 9. Public Library of Science, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895 | OA
M. Edamura et al., “Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice,” PLoS One, vol. 9, no. 9. Public Library of Science, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1896 | OA
R. Kollár, K. Bod’ová, J. Nosek, and Ľ. Tomáška, “Mathematical model of alternative mechanism of telomere length maintenance,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 3. American Institute of Physics, 2014.
View | DOI | Download Submitted Version (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. American Society of Plant Biologists, pp. 3062–3076, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1899 | OA
S. Williams, L. Ratliff, M. P. Postiglione, J. Knoblich, and E. Fuchs, “Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN,” Nature Cell Biology, vol. 16, no. 8. Nature Publishing Group, pp. 758–769, 2014.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1904 | OA
R. Frank, M. Lewin, É. Lieb, and R. Seiringer, “Strichartz inequality for orthonormal functions,” Journal of the European Mathematical Society, vol. 16, no. 7. European Mathematical Society, pp. 1507–1526, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1906 | OA
M. Arikan, R. Preiner, C. Scheiblauer, S. Jeschke, and M. Wimmer, “Large-scale point-cloud visualization through localized textured surface reconstruction,” IEEE Transactions on Visualization and Computer Graphics, vol. 20, no. 9. IEEE, pp. 1280–1292, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1907 | OA
G. Demay, P. Gazi, U. Maurer, and B. Tackmann, “Optimality of non-adaptive strategies: The case of parallel games,” in IEEE International Symposium on Information Theory, Honolulu, USA, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1908 | OA
D. Weissman and O. Hallatschek, “The rate of adaptation in large sexual populations with linear chromosomes,” Genetics, vol. 196, no. 4. Genetics Society of America, pp. 1167–1183, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1909 | OA
T. Ezard, R. Prizak, and R. Hoyle, “The fitness costs of adaptation via phenotypic plasticity and maternal effects,” Functional Ecology, vol. 28, no. 3. Wiley-Blackwell, pp. 693–701, 2014.
View | Files available | DOI
 

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

2014 | Journal Article | IST-REx-ID: 1916 | OA
Novarino G, Fenstermaker A, Zaki M, Hofree M, Silhavy J, Heiberg A, Abdellateef M, Rosti B, Scott E, Mansour L, Masri A, Kayserili H, Al Aama J, Abdel Salam G, Karminejad A, Kara M, Kara B, Bozorgmehri B, Ben Omran T, Mojahedi F, Mahmoud I, Bouslam N, Bouhouche A, Benomar A, Hanein S, Raymond L, Forlani S, Mascaro M, Selim L, Shehata N, Al Allawi N, Bindu P, Azam M, Günel M, Caglayan A, Bilgüvar K, Tolun A, Issa M, Schroth J, Spencer E, Rosti R, Akizu N, Vaux K, Johansen A, Koh A, Megahed H, Dürr A, Brice A, Stévanin G, Gabriel S, Ideker T, Gleeson J. 2014. Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. 343(6170), 506–511.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1917 | OA
T. Xu et al., “Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling,” Science, vol. 343, no. 6174. American Association for the Advancement of Science, pp. 1025–1028, 2014.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1918 | OA
J. Bellazzini, R. Frank, É. Lieb, and R. Seiringer, “Existence of ground states for negative ions at the binding threshold,” Reviews in Mathematical Physics, vol. 26, no. 1. World Scientific Publishing, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1919 | OA
W. Aziz, W. Wang, S. Kesaf, A. Mohamed, Y. Fukazawa, and R. Shigemoto, “Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning,” PNAS, vol. 111, no. 1. National Academy of Sciences, pp. E194–E202, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920 | OA
W. Wang et al., “Distinct cerebellar engrams in short-term and long-term motor learning,” PNAS, vol. 111, no. 1. National Academy of Sciences, pp. E188–E193, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1921 | OA
R. Tejos et al., “Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis,” Plant Cell, vol. 26, no. 5. American Society of Plant Biologists, pp. 2114–2128, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1923 | OA
H. Berthoumieux, J.-L. Maître, C.-P. J. Heisenberg, E. Paluch, F. Julicher, and G. Salbreux, “Active elastic thin shell theory for cellular deformations,” New Journal of Physics, vol. 16. IOP Publishing Ltd., 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1925 | OA
C. Lamprecht et al., “A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes,” Nanotechnology, vol. 25, no. 12. IOP Publishing, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1926 | OA
C. Sadel, “Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips,” Mathematical Physics, Analysis and Geometry, vol. 17, no. 3–4. Springer, pp. 409–440, 2014.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 1927 | OA
G. Fuchsbauer, M. Konstantinov, K. Z. Pietrzak, and V. Rao, “Adaptive security of constrained PRFs,” presented at the Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, vol. 8874, pp. 173–192.
View | DOI | Download (ext.)
 

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. Frontiers Research Foundation, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1932 | OA
M. Trotter, D. Weissman, G. Peterson, K. Peck, and J. Masel, “Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations,” Evolution, vol. 68, no. 12. Wiley-Blackwell, pp. 3357–3367, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1935 | OA
A. Giuliani, É. Lieb, and R. Seiringer, “Formation of stripes and slabs near the ferromagnetic transition,” Communications in Mathematical Physics, vol. 331, no. 1. Springer, pp. 333–350, 2014.
View | DOI | Download Submitted Version (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. Oxford University Press, pp. 487–495, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937 | OA
P. Bourgade, L. Erdös, and H. Yau, “Edge universality of beta ensembles,” Communications in Mathematical Physics, vol. 332, no. 1. Springer, pp. 261–353, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1995 | OA
F. Fratini et al., “Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification,” Physical Review Letters, vol. 113, no. 24. American Physical Society, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1996 | OA
O. Hazak, U. Obolski, T. Prat, J. Friml, L. Hadany, and S. Yalovsky, “Bimodal regulation of ICR1 levels generates self-organizing auxin distribution,” PNAS, vol. 111, no. 50. National Academy of Sciences, pp. E5471–E5479, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2002 | OA
S. Kim, “Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus,” PLoS One, vol. 9, no. 11. Public Library of Science, 2014.
View | Files available | DOI
 

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. Public Library of Science, 2014.
View | Files available | DOI
 

2014 | Other Publication | IST-REx-ID: 2007 | OA
A. Klimova and T. Rudas, gIPFrm: Generalized iterative proportional fitting for relational models. The Comprehensive R Archive Network, 2014.
View | Download (ext.)
 

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. Elsevier, pp. 133–141, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2012 | OA
M. Iglesias Ham, M. Kerber, and C. Uhler, “Sphere packing with limited overlap,” presented at the CCCG: Canadian Conference on Computational Geometry, Halifax, Canada, 2014, pp. 155–161.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2013 | OA
S. Lin, C. Uhler, B. Sturmfels, and P. Bühlmann, “Hypersurfaces and their singularities in partial correlation testing,” Foundations of Computational Mathematics, vol. 14, no. 5. Springer, pp. 1079–1116, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Preprint | IST-REx-ID: 2017 | OA
C. Uhler, A. Lenkoski, and D. Richards, “ Exact formulas for the normalizing constants of Wishart distributions for graphical models,” ArXiv. ArXiv, 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2019 | OA
L. Erdös and D. J. Schröder, “Phase transition in the density of states of quantum spin glasses,” Mathematical Physics, Analysis and Geometry, vol. 17, no. 3–4. Springer, pp. 441–464, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2021 | OA
J. William, S. Hippenmeyer, and L. Luo, “Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling,” Science, vol. 346, no. 6209. American Association for the Advancement of Science, pp. 626–629, 2014.
View | DOI | Download Submitted Version (ext.)
 

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. Cell Press, pp. 775–788, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2024 | OA
J. Toshima et al., “Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole,” Nature Communications, vol. 5. Nature Publishing Group, 2014.
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 Submitted Version (ext.)
 

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

2014 | Journal Article | IST-REx-ID: 2029 | OA
M. Correggi, A. Giuliani, and R. Seiringer, “Validity of spin-wave theory for the quantum Heisenberg model,” EPL, vol. 108, no. 2. IOP Publishing Ltd., 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2031 | OA
itaru Arai and P. M. Jonas, “Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse,” eLife, vol. 3. eLife Sciences Publications, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2032 | OA
Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H. L. Janovjak, and M. Grusch, “The optogenetic promise for oncology: Episode I,” Molecular and Cellular Oncology, vol. 1, no. 4. Taylor & Francis, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2033 | OA
D. Hernandez Lobato, V. Sharmanska, K. Kersting, C. Lampert, and N. Quadrianto, “Mind the nuisance: Gaussian process classification using privileged noise,” in Advances in Neural Information Processing Systems, Montreal, Canada, 2014, vol. 1, no. January, pp. 837–845.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2036 | OA
M. Lagator, N. Colegrave, and P. Neve, “Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794. Royal Society, The, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2038 | OA
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 4. ACM, 2014.
View | Files available | DOI
 

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. Public Library of Science, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2040 | OA
A. Kicheva et al., “Coordination of progenitor specification and growth in mouse and chick spinal cord,” Science, vol. 345, no. 6204. American Association for the Advancement of Science, 2014.
View | DOI | Download Submitted Version (ext.)
 

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. Frontiers Research Foundation, 2014.
View | Files available | 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. BioMed Central, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2043 | OA
U. Bauer, M. Kerber, and J. Reininghaus, “Distributed computation of persistent homology,” in Proceedings of the Workshop on Algorithm Engineering and Experiments, Portland, USA, 2014, pp. 31–38.
View | DOI | Download Submitted Version (ext.)
 

2014 | Book Chapter | IST-REx-ID: 2044 | OA
U. Bauer, M. Kerber, and J. Reininghaus, “Clear and Compress: Computing Persistent Homology in Chunks,” in Topological Methods in Data Analysis and Visualization III, P.-T. Bremer, I. Hotz, V. Pascucci, and R. Peikert, Eds. Springer, 2014, pp. 103–117.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2045 | OA
D. Dachman Soled, G. Fuchsbauer, P. Mohassel, and A. O’Neill, “Enhanced chosen-ciphertext security and applications,” 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. 329–344.
View | DOI | Download Submitted Version (ext.)
 

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 Submitted Version (ext.)
 

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 Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2050 | OA
J. Kühnen, M. Holzner, B. Hof, and H. Kuhlmann, “Experimental investigation of transitional flow in a toroidal pipe,” Journal of Fluid Mechanics, vol. 738. Cambridge University Press, pp. 463–491, 2014.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2051 | OA
M. Marchand, S. Hongyu, E. Morvant, J. Rousu, and J. Shawe Taylor, “Multilabel structured output learning with random spanning trees of max-margin Markov networks,” presented at the NIPS: Neural Information Processing Systems, 2014.
View | Download (ext.)
 

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 Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2056 | OA
A. Ganguly, T. Petrov, and H. Koeppl, “Markov chain aggregation and its applications to combinatorial reaction networks,” Journal of Mathematical Biology, vol. 69, no. 3. Springer, pp. 767–797, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2057 | OA
E. Morvant, A. Habrard, and S. Ayache, “Majority vote of diverse classifiers for late fusion,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Joensuu, Finland, 2014, vol. 8621, pp. 153–162.
View | DOI | Download Preprint (ext.) | arXiv
 

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: 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. Springer, pp. 1077–1087, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2062 | OA
H. Hu, J. Gan, and P. M. Jonas, “Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function,” Science, vol. 345, no. 6196. American Association for the Advancement of Science, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2064 | OA
M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, and R. Shigemoto, “Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus,” Journal of Comparative Neurology, vol. 522, no. 18. Wiley-Blackwell, pp. 4023–4042, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2082 | OA
P. Gazi, K. Z. Pietrzak, and M. Rybar, “The exact PRF-security of NMAC and HMAC,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, USA, 2014, vol. 8616, no. 1, pp. 113–130.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2083 | OA
M. Lagator, A. Morgan, P. Neve, and N. Colegrave, “Role of sex and migration in adaptation to sink environments,” Evolution, vol. 68, no. 8. Wiley, pp. 2296–2305, 2014.
View | Files available | DOI
 

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

2014 | Journal Article | IST-REx-ID: 2086 | OA
S. Wolf et al., “So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees,” PLoS One, vol. 9, no. 8. Public Library of Science, 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. Wiley-Blackwell, pp. 776–870, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2132 | OA
M. Erbar and J. Maas, “Gradient flow structures for discrete porous medium equations,” Discrete and Continuous Dynamical Systems- Series A, vol. 34, no. 4. Southwest Missouri State University, pp. 1355–1374, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2133 | OA
E. Carlen and J. Maas, “An analog of the 2-Wasserstein metric in non-commutative probability under which the fermionic Fokker-Planck equation is gradient flow for the entropy,” Communications in Mathematical Physics, vol. 331, no. 3. Springer, pp. 887–926, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2140 | OA
J. Otterbach and M. Lemeshko, “Dissipative preparation of spatial order in Rydberg-dressed Bose-Einstein condensates,” Physical Review Letters, vol. 113, no. 7. American Physical Society, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2141 | OA
K. Chatterjee and M. Henzinger, “Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition,” Journal of the ACM, vol. 61, no. 3. ACM, 2014.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2153 | OA
U. Bauer and M. Lesnick, “Induced matchings of barcodes and the algebraic stability of persistence,” in Proceedings of the Annual Symposium on Computational Geometry, Kyoto, Japan, 2014, pp. 355–364.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications