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.

6285 Publications


2015 | Journal Article | IST-REx-ID: 1856 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2015. Measuring and synthesizing systems in probabilistic environments. Journal of the ACM. 62(1), 9.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1857 | OA
Pentina A, Sharmanska V, Lampert C. 2015. Curriculum learning of multiple tasks. CVPR: Computer Vision and Pattern Recognition, 5492–5500.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1858 | OA
Lampert C. 2015. Predicting the future behavior of a time-varying probability distribution. CVPR: Computer Vision and Pattern Recognition, 942–950.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1859 | OA
Shah N, Kolmogorov V, Lampert C. 2015. A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle. CVPR: Computer Vision and Pattern Recognition, 2737–2745.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1860 | OA
Royer A, Lampert C. 2015. Classifier adaptation at prediction time. CVPR: Computer Vision and Pattern Recognition, 1401–1409.
View | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1861
Ruess J, Lygeros J. 2015. Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. ACM Transactions on Modeling and Computer Simulation. 25(2), 8.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1865
Robert H, Grunewald W, Sauer M, Cannoot B, Soriano M, Swarup R, Weijers D, Bennett M, Boutilier K, Friml J. 2015. Plant embryogenesis requires AUX/LAX-mediated auxin influx. Development. 142(4), 702–711.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1866
Henzinger TA, Raskin J. 2015. The equivalence problem for finite automata: Technical perspective. Communications of the ACM. 58(2), 86–86.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1867
Hühner J, Inglés Prieto Á, Neusüß C, Lämmerhofer M, Janovjak HL. 2015. Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. Electrophoresis. 36(4), 518–525.
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1873 | OA
Chatterjee K, Chmelik M. 2015. POMDPs under probabilistic semantics. Artificial Intelligence. 221, 46–72.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1874
Boccara CN, Kjønigsen L, Hammer I, Bjaalie J, Leergaard T, Witter M. 2015. A three-plane architectonic atlas of the rat hippocampal region. Hippocampus. 25(7), 838–857.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1878
Cires Rodriguez E, Prieto J. 2015. Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. Journal of Plant Research. 128(2), 223–238.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1879 | OA
Kremer A, Lippens S, Bartunkova S, Asselbergh B, Blanpain C, Fendrych M, Goossens A, Holt M, Janssens S, Krols M, Larsimont J, Mc Guire C, Nowack M, Saelens X, Schertel A, Schepens B, Slezak M, Timmerman V, Theunis C, Van Brempt R, Visser Y, Guérin C. 2015. Developing 3D SEM in a broad biological context. Journal of Microscopy. 259(2), 80–96.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1880 | OA
Könenberg M, Moser T, Seiringer R, Yngvason J. 2015. Superfluid behavior of a Bose-Einstein condensate in a random potential. New Journal of Physics. 17, 013022.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1882 | OA
Fahrenberg U, Kretinsky J, Legay A, Traonouez L. 2015. Compositionality for quantitative specifications. FACS: Formal Aspects of Component Software, LNCS, vol. 8997, 306–324.
View | DOI | Download Preprint (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1885 | OA
Tkačik G, Dubuis J, Petkova M, Gregor T. 2015. Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. Genetics. 199(1), 39–59.
View | DOI | Download Preprint (ext.)
 

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

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

2015 | Journal Article | IST-REx-ID: 1940 | OA
Sokolowski TR, Tkačik G. 2015. Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics. 91(6), 062710.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1944
Rakusová H, Fendrych M, Friml J. 2015. Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. Current Opinion in Plant Biology. 23(2), 116–123.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1992 | OA
Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. 2015. Succinct representation of concurrent trace sets. POPL: Principles of Programming Languages, 433–444.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1993 | OA
Konrad M, Grasse AV, Tragust S, Cremer S. 2015. Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal Society of London Series B Biological Sciences. 282(1799).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1997 | OA
Noren P. 2015. The three-state toric homogeneous Markov chain model has Markov degree two. Journal of Symbolic Computation. 68/Part 2(May-June), 285–296.
View | DOI | Download Preprint (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 2008 | OA
Klimova A, Rudas T. 2015. Iterative scaling in curved exponential families. Scandinavian Journal of Statistics. 42(3), 832–847.
View | DOI | Download Preprint (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 2025 | OA
Kawada D, Kobayashi H, Tomita T, Nakata E, Nagano M, Siekhaus DE, Toshima J, Toshimaa J. 2015. The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins. Biochimica et Biophysica Acta - Molecular Cell Research. 1853(1), 144–156.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2030 | OA
Shi L, Rampp M, Hof B, Avila M. 2015. A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow. Computers and Fluids. 106(1), 1–11.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2034 | OA
Bérard B, Chatterjee K, Sznajder N. 2015. Probabilistic opacity for Markov decision processes. Information Processing Letters. 115(1), 52–59.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2035 | OA
Edelsbrunner H, Jablonski G, Mrozek M. 2015. The persistent homology of a self-map. Foundations of Computational Mathematics. 15(5), 1213–1244.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2085 | OA
Nam P, Seiringer R. 2015. Collective excitations of Bose gases in the mean-field regime. Archive for Rational Mechanics and Analysis. 215(2), 381–417.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2166 | OA
Erdös L, Knowles A. 2015. The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case. Communications in Mathematical Physics. 333(3), 1365–1416.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 7456
Caruntu D, Rostamzadeh T, Costanzo T, Salemizadeh Parizi S, Caruntu G. 2015. Solvothermal synthesis and controlled self-assembly of monodisperse titanium-based perovskite colloidal nanocrystals. Nanoscale. 7(30), 12955–12969.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7457
Parizi SS, Conley G, Costanzo T, Howell B, Mellinger A, Caruntu G. 2015. Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors. RSC Advances. 5(93), 76356–76362.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7739 | OA
Santure AW, Poissant J, De Cauwer I, van Oers K, Robinson MR, Quinn JL, Groenen MAM, Visser ME, Sheldon BC, Slate J. 2015. Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations. Molecular Ecology. 24, 6148–6162.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 7741 | OA
Adams MJ, Robinson MR, Mannarelli M-E, Hatchwell BJ. 2015. Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird. Proceedings of the Royal Society B: Biological Sciences. 282(1810), 20150689.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7742
Robinson MR, Hemani G, Medina-Gomez C, Mezzavilla M, Esko T, Shakhbazov K, Powell JE, Vinkhuyzen A, Berndt SI, Gustafsson S, Justice AE, Kahali B, Locke AE, Pers TH, Vedantam S, Wood AR, van Rheenen W, Andreassen OA, Gasparini P, Metspalu A, Berg LH van den, Veldink JH, Rivadeneira F, Werge TM, Abecasis GR, Boomsma DI, Chasman DI, de Geus EJC, Frayling TM, Hirschhorn JN, Hottenga JJ, Ingelsson E, Loos RJF, Magnusson PKE, Martin NG, Montgomery GW, North KE, Pedersen NL, Spector TD, Speliotes EK, Goddard ME, Yang J, Visscher PM. 2015. Population genetic differentiation of height and body mass index across Europe. Nature Genetics. 47(11), 1357–1362.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 7765
Goodrich CP, Liu AJ, Nagel SR. 2015. The principle of independent bond-level response: Tuning by pruning to exploit disorder for global behavior. Physical Review Letters. 114(22), 225501.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7766
Sussman DM, Goodrich CP, Liu AJ, Nagel SR. 2015. Disordered surface vibrations in jammed sphere packings. Soft Matter. 11(14), 2745–2751.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7767
van Drongelen R, Pal A, Goodrich CP, Idema T. 2015. Collective dynamics of soft active particles. Physical Review E. 91(3), 032706.
View | DOI
 

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

2015 | Preprint | IST-REx-ID: 7779 | OA
Goodrich CP. 2015. Unearthing the anticrystal: Criticality in the linear response of  disordered solids. arXiv:1510.08820, .
View | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 778 | OA
Alistarh D-A, Kopinsky J, Kuznetsov P, Ravi S, Shavit N. 2015. Inherent limitations of hybrid transactional memory. DISC: Distributed Computing, LNCS, vol. 9363, 185–199.
View | DOI | Download None (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 779
Alistarh D-A, Matveev A, Leiserson W, Shavit N. 2015. ThreadScan: Automatic and scalable memory reclamation. SPAA: Symposium on Parallelism in Algorithms and Architectures vol. 2015–June, 123–132.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 780 | OA
Alistarh D-A, Gelashvili R. 2015. Polylogarithmic-time leader election in population protocols. ICALP: International Colloquium on Automota, Languages and Programming vol. 9135, 479–491.
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications