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.

3381 Publications


2015 | Conference Paper | IST-REx-ID: 1498 | OA
C. Dragoi, T. A. Henzinger, and D. Zufferey, “The need for language support for fault-tolerant distributed systems,” vol. 32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 90–102, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1499 | OA
J. Kretinsky, K. Larsen, S. Laursen, and J. Srba, “Polynomial time decidability of weighted synchronization under partial observability,” presented at the CONCUR: Concurrency Theory, Madrid, Spain, 2015, vol. 42, pp. 142–154.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501 | OA
K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for compositional analysis of qualitative properties in Markov decision processes,” Formal Methods in System Design, vol. 47, no. 2. Springer, pp. 230–264, 2015.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1502 | OA
N. Beneš, P. Daca, T. A. Henzinger, J. Kretinsky, and D. Nickovic, “Complete composition operators for IOCO-testing theory,” presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada, 2015, pp. 101–110.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1503 | OA
C. Sadel, “A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles,” Ergodic Theory and Dynamical Systems, vol. 35, no. 5. Cambridge University Press, pp. 1582–1591, 2015.
View | DOI | Download Preprint (ext.)
 

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. Institute of Mathematical Statistics, pp. 2588–2623, 2015.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1505 | OA
Z. Bao, G. Pan, and W. Zhou, “Universality for the largest eigenvalue of sample covariance matrices with general population,” Annals of Statistics, vol. 43, no. 1. Institute of Mathematical Statistics, pp. 382–421, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506 | OA
Z. Bao, G. Pan, and W. Zhou, “The logarithmic law of random determinant,” Bernoulli, vol. 21, no. 3. Bernoulli Society for Mathematical Statistics and Probability, pp. 1600–1628, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1508 | OA
L. Erdös and H. Yau, “Gap universality of generalized Wigner and β ensembles,” Journal of the European Mathematical Society, vol. 17, no. 8. European Mathematical Society, pp. 1927–2036, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509 | OA
J. Michalko, M. Lukacisinova, M. 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. F1000 Research Ltd. , 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1510 | OA
P. Franek and M. Krcál, “On computability and triviality of well groups,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 842–856.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511 | OA
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 476–490.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512 | OA
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding Helly numbers via Betti numbers,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 507–521.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1513 | OA
A. Pal and B. Vicoso, “The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression,” Genome Biology and Evolution, vol. 7, no. 12. Oxford University Press, pp. 3259–3268, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1517 | OA
M. Erbar, J. Maas, and M. Renger, “From large deviations to Wasserstein gradient flows in multiple dimensions,” Electronic Communications in Probability, vol. 20. Institute of Mathematical Statistics, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1519 | OA
N. H. Barton and M. Servedio, “The interpretation of selection coefficients,” Evolution, vol. 69, no. 5. Wiley, pp. 1101–1112, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1525 | OA
B. Bauer et al., “Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA,” VÖB Mitteilungen, vol. 68, no. 3. Verein Österreichischer Bibliothekare, pp. 580–607, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1534 | OA
H. Wang et al., “Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism,” Nature Communications, vol. 6. Nature Publishing Group, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1535 | OA
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. Bentham Science Publishers, pp. 149–161, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
V. Ruprecht et al., “Cortical contractility triggers a stochastic switch to fast amoeboid cell motility,” Cell, vol. 160, no. 4. Cell Press, pp. 673–685, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1538 | OA
J. Ruess, F. Parise, A. Milias Argeitis, M. Khammash, and J. Lygeros, “Iterative experiment design guides the characterization of a light-inducible gene expression circuit,” PNAS, vol. 112, no. 26. National Academy of Sciences, pp. 8148–8153, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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. American Institute of Physics, 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. Elsevier, pp. 28–43, 2015.
View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1544 | OA
P. Nguyen, C. Field, A. Groen, T. Mitchison, and M. Loose, “Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins,” in Building a Cell from its Components Parts, vol. 128, Academic Press, 2015, pp. 223–241.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1546 | OA
Y. Nakamura et al., “Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development,” Neuron, vol. 85, no. 1. Elsevier, pp. 145–158, 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. Korean Mathematical Society, pp. 977–986, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1548 | OA
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, and J. Kurtz, “Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination,” Applied and Environmental Microbiology, vol. 81, no. 23. American Society for Microbiology, pp. 8135–8144, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549 | OA
C. Mckenzie, I. Sanchez-Romero, and H. L. Janovjak, “Flipping the photoswitch: Ion channels under light control,” in Novel chemical tools to study ion channel biology, vol. 869, Springer, 2015, pp. 101–117.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1550 | OA
C. Mayer et al., “Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries,” Neuron, vol. 87, no. 5. Elsevier, pp. 989–998, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1551 | OA
L. El Masri et al., “Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes,” PLoS Biology, vol. 13, no. 6. Public Library of Science, pp. 1–30, 2015.
View | Files available | DOI
 

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. Nature Publishing Group, pp. 207–210, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1555 | OA
D. Knipl, P. Pilarczyk, and G. Röst, “Rich bifurcation structure in a two patch vaccination model,” SIAM Journal on Applied Dynamical Systems, vol. 14, no. 2. Society for Industrial and Applied Mathematics , pp. 980–1017, 2015.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1556 | OA
Y. Jia et al., “The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development,” Journal of Experimental Botany, vol. 66, no. 15. Oxford University Press, pp. 4631–4642, 2015.
View | Files available | DOI
 

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. National Academy of Sciences, pp. 15636–15641, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1564 | OA
M. Gilson, C. Savin, and F. Zenke, “Editorial: Emergent neural computation from the interaction of different forms of plasticity,” Frontiers in Computational Neuroscience, vol. 9, no. 11. Frontiers Research Foundation, 2015.
View | Files available | 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. Wiley-Blackwell, pp. 4835–4853, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1569 | OA
S. Doyle et al., “An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana,” PNAS, vol. 112, no. 7. National Academy of Sciences, pp. E806–E815, 2015.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1570 | OA
R. Der and G. S. Martius, “Novel plasticity rule can explain the development of sensorimotor intelligence,” PNAS, vol. 112, no. 45. National Academy of Sciences, pp. E6224–E6232, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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. Springer, pp. 279–307, 2015.
View | DOI | Download Preprint (ext.)
 

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. Wiley, pp. 1845–1884, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1574 | OA
Chen Q, Liu Y, Maere S, Lee E, Van Isterdael G, Xie Z, Xuan W, Lucas J, Vassileva V, Kitakura S, Marhavý P, Wabnik KT, Geldner N, Benková E, Le J, Fukaki H, Grotewold E, Li C, Friml J, Sack F, Beeckman T, Vanneste S. 2015. A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications. 6, 8821.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1575 | OA
M. Chabaud et al., “Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells,” Nature Communications, vol. 6. Nature Publishing Group, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1576 | OA
S. A. Cepeda Humerez, G. Rieckh, and G. Tkačik, “Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation,” Physical Review Letters, vol. 115, no. 24. American Physical Society, 2015.
View | Files available | DOI | Download Preprint (ext.)
 

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. National Academy of Sciences, pp. 12450–12455, 2015.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1579 | OA
C. Brooks, A. Martin del Campo Sanchez, and F. Sottile, “Galois groups of Schubert problems of lines are at least alternating,” Transactions of the American Mathematical Society, vol. 367, no. 6. American Mathematical Society, pp. 4183–4206, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1580 | OA
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. Elsevier, pp. 430–443, 2015.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1583 | OA
T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “A simple algorithm for computing positively weighted straight skeletons of monotone polygons,” Information Processing Letters, vol. 115, no. 2. Elsevier, pp. 243–247, 2015.
View | Files available | DOI
 

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. Elsevier, pp. 429–442, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1587 | OA
P. Amaro et al., “Quantum interference shifts in laser spectroscopy with elliptical polarization,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 92, no. 6. American Physical Society, 2015.
View | DOI | Download Preprint (ext.) | arXiv
 

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. Nature Publishing Group, 2015.
View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590 | OA
O. Aichholzer et al., “Representing directed trees as straight skeletons,” in Graph Drawing and Network Visualization, vol. 9411, Springer, 2015, pp. 335–347.
View | DOI | Download Preprint (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1593 | OA
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, and E. Benková, “Strategies of seedlings to overcome their sessile nature: Auxin in mobility control,” Frontiers in Plant Science, vol. 6, no. 4. Frontiers Research Foundation, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA, 2015, vol. 9411, pp. 99–110.
View | Files available | DOI
 

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: 1598 | OA
K. Chatterjee, M. Joglekar, and N. Shah, “Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives,” Theoretical Computer Science, vol. 573, no. 3. Elsevier, pp. 71–89, 2015.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
T. Babiak et al., “The Hanoi omega-automata format,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 479–486.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, and P. Goyal, “Faster algorithms for algebraic path properties in recursive state machines with constant treewidth,” ACM SIGPLAN Notices, vol. 50, no. 1. ACM, pp. 97–109, 2015.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, and J. Kretinsky, “Counterexample explanation by learning small strategies in Markov decision processes,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 158–177.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1605 | OA
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 | Files available | DOI
 

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

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. Wiley, pp. 1412–1422, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1614 | OA
M. Strüber, P. M. Jonas, and M. Bartos, “Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells,” PNAS, vol. 112, no. 4. National Academy of Sciences, pp. 1220–1225, 2015.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1615 | OA
M. Hammer et al., “Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism,” Cell Reports, vol. 13, no. 3. Cell Press, pp. 516–523, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1618 | OA
Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
View | DOI | Download Submitted Version (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. BioMed Central, 2015.
View | Files available | 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. Nature Publishing Group, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628 | OA
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.
View | DOI | Download Published Version (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 | Conference Paper | IST-REx-ID: 1632 | OA
R. Ando, N. Thuerey, and C. J. Wojtan, “A stream function solver for liquid simulations,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 2015, vol. 34, no. 4.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
D. Hahn and C. J. Wojtan, “High-resolution brittle fracture simulation with boundary elements,” 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 | Conference Paper | IST-REx-ID: 1634 | OA
F. Da, C. Batty, C. J. Wojtan, and E. Grinspun, “Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams,” 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: 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. Univ. Paul Sabatier, pp. 781–800, 2015.
View | DOI | Download Preprint (ext.)
 

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

2015 | Conference Paper | IST-REx-ID: 1637 | OA
V. Kolmogorov, A. Krokhin, and M. Rolinek, “The complexity of general-valued CSPs,” presented at the FOCS: Foundations of Computer Science, Berkeley, CA, United States, 2015, pp. 1246–1258.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1639 | OA
J. Maas, M. Rumpf, C. Schönlieb, and S. Simon, “A generalized model for optimal transport of images including dissipation and density modulation,” ESAIM: Mathematical Modelling and Numerical Analysis, vol. 49, no. 6. EDP Sciences, pp. 1745–1769, 2015.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1640 | OA
M. Šimášková et al., “Cytokinin response factors regulate PIN-FORMED auxin transporters,” Nature Communications, vol. 6. Nature Publishing Group, 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. Electronic Journal of Combinatorics, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1644 | OA
G. Demay, P. Gazi, U. Maurer, and B. Tackmann, “Query-complexity amplification for random oracles,” presented at the ICITS: International Conference on Information Theoretic Security, Lugano, Switzerland, 2015, vol. 9063, pp. 159–180.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1646 | OA
A. Banerjee, G. Fuchsbauer, C. Peikert, K. Z. Pietrzak, and S. Stevens, “Key-homomorphic constrained pseudorandom functions,” vol. 9015. Springer, pp. 31–60, 2015.
View | Files available | DOI
 

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

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: 1649 | OA
F. Benhamouda, S. Krenn, V. Lyubashevsky, and K. Z. Pietrzak, “Efficient zero-knowledge proofs for commitments from learning with errors over rings,” vol. 9326. Springer, pp. 305–325, 2015.
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 | Conference Paper | IST-REx-ID: 1652 | OA
J. F. Alwen and V. Serbinenko, “High parallel complexity graphs and memory-hard functions,” in Proceedings of the 47th annual ACM symposium on Theory of computing, Portland, OR, United States, 2015, pp. 595–603.
View | DOI | Download Submitted Version (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: 1655 | OA
G. S. Martius and E. Olbrich, “Quantifying emergent behavior of autonomous robots,” Entropy, vol. 17, no. 10. Multidisciplinary Digital Publishing Institute, pp. 7266–7297, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1659 | OA
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 | Conference Paper | IST-REx-ID: 1660 | OA
T. Brázdil, S. Kiefer, A. Kučera, and P. Novotný, “Long-run average behaviour of probabilistic vector addition systems,” presented at the LICS: Logic in Computer Science, Kyoto, Japan, 2015, pp. 44–55.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1661 | OA
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.
View | Files available | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1664 | OA
D. Barkley, B. Song, M. Vasudevan, G. M. Lemoult, M. Avila, and B. Hof, “The rise of fully turbulent flow,” Nature, vol. 526, no. 7574. Nature Publishing Group, pp. 550–553, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1665 | OA
Landau D, Tausch E, Taylor Weiner A, Stewart C, Reiter J, Bahlo J, Kluth S, Božić I, Lawrence M, Böttcher S, Carter S, Cibulskis K, Mertens D, Sougnez C, Rosenberg M, Hess J, Edelmann J, Kless S, Kneba M, Ritgen M, Fink A, Fischer K, Gabriel S, Lander E, Nowak M, Döhner H, Hallek M, Neuberg D, Getz G, Stilgenbauer S, Wu C. 2015. Mutations driving CLL and their evolution in progression and relapse. Nature. 526(7574), 525–530.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

2015 | Conference Paper | IST-REx-ID: 1668 | OA
P. Gazi, J. Lee, Y. Seurin, J. Steinberger, and S. Tessaro, “Relaxing full-codebook security: A refined analysis of key-length extension schemes,” vol. 9054. Springer, pp. 319–341, 2015.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1669 | OA
K. Z. Pietrzak and M. Skórski, “The chain rule for HILL pseudoentropy, revisited,” vol. 9230. Springer, pp. 81–98, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1671 | OA
P. Gazi, K. Z. Pietrzak, and S. Tessaro, “The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States, 2015, vol. 9215, pp. 368–387.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1672 | OA
J. F. Alwen, R. Ostrovsky, H. Zhou, and V. Zikas, “Incoercible multi-party computation and universally composable receipt-free voting,” vol. 9216. Springer, pp. 763–780, 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. Royal Society of London, 2015.
View | Files available | DOI
 

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. World Scientific Publishing, 2015.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications