Please note that ISTA 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.

5757 Publications


2014 | Journal Article | IST-REx-ID: 2257 | OA
Tkačik, Gašper, et al. “Searching for Collective Behavior in a Large Network of Sensory Neurons.” PLoS Computational Biology, vol. 10, no. 1, e1003408, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003408.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 15161 | OA
Guan, Weiye, et al. “Stereoselective Formation of Trisubstituted Vinyl Boronate Esters by the Acid-Mediated Elimination of α-Hydroxyboronate Esters.” The Journal of Organic Chemistry, vol. 79, no. 15, American Chemical Society, 2014, pp. 7199–204, doi:10.1021/jo500773t.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 10384 | OA
Mognetti, B. M., et al. “Living Clusters and Crystals from Low-Density Suspensions of Active Colloids.” Physical Review Letters, vol. 111, no. 24, 245702, American Physical Society, 2013, doi:10.1103/physrevlett.111.245702.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Journal Article | IST-REx-ID: 10396 | OA
Schlögl, Alois, et al. “Stimfit: A Fast Visualization and Analysis Environment for Cellular Neurophysiology.” Biomedical Engineering / Biomedizinische Technik, vol. 58, no. SI-1-Track-G, 000010151520134181, De Gruyter, 2013, doi:10.1515/bmt-2013-4181.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 10749 | OA
Polshyn, Hryhoriy, et al. “Cantilever Micro-Susceptometry of Mesoscopic Bi2212 Samples.” APS March Meeting 2013, vol. 58, no. 1, N36.00001, American Physical Society, 2013.
[Published Version] View | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 10895 | OA
Vanneste, Steffen, and Jiří Friml. “Calcium: The Missing Link in Auxin Action.” Plants, vol. 2, no. 4, MDPI, 2013, pp. 650–75, doi:10.3390/plants2040650.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 11086 | OA
Liang, Yun, et al. “Dynamic Association of NUP98 with the Human Genome.” PLoS Genetics, vol. 9, no. 2, e1003308, Public Library of Science, 2013, doi:10.1371/journal.pgen.1003308.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 11087 | OA
Toyama, Brandon H., et al. “Identification of Long-Lived Proteins Reveals Exceptional Stability of Essential Cellular Structures.” Cell, vol. 154, no. 5, Elsevier, 2013, pp. 971–82, doi:10.1016/j.cell.2013.07.037.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 11085 | OA
Hatch, Emily M., et al. “Catastrophic Nuclear Envelope Collapse in Cancer Cell Micronuclei.” Cell, vol. 154, no. 1, Elsevier, 2013, pp. 47–60, doi:10.1016/j.cell.2013.06.007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 11088 | OA
Regner, Benjamin M., et al. “Anomalous Diffusion of Single Particles in Cytoplasm.” Biophysical Journal, vol. 104, no. 8, Elsevier, 2013, pp. 1652–60, doi:10.1016/j.bpj.2013.01.049.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 11520 | OA
Sobral, D., et al. “The Dynamics of Z=0.8 H-Alpha-Selected Star-Forming Galaxies from KMOS/CF-HiZELS.” The Astrophysical Journal, vol. 779, no. 2, 139, IOP Publishing, 2013, doi:10.1088/0004-637x/779/2/139.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 11759 | OA
Dütting, Paul, et al. “Sponsored Search, Market Equilibria, and the Hungarian Method.” Information Processing Letters, vol. 113, no. 3, Elsevier, 2013, pp. 67–73, doi:10.1016/j.ipl.2012.11.006.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 11793 | OA
Henzinger, Monika H., et al. “Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks.” 40th International Colloquium on Automata, Languages, and Programming, vol. 7966, Springer Nature, 2013, pp. 607–619, doi:10.1007/978-3-642-39212-2_53.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 11791 | OA
Dütting, Paul, et al. “Valuation Compressions in VCG-Based Combinatorial Auctions.” 9th International Conference on Web and Internet Economics, vol. 8289, Springer Nature, 2013, pp. 146–159, doi:10.1007/978-3-642-45046-4_13.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 11792 | OA
Dvořák, Wolfgang, et al. “Maximizing a Submodular Function with Viability Constraints.” 21st Annual European Symposium on Algorithms, vol. 8125, Springer Nature, 2013, pp. 409–20, doi:10.1007/978-3-642-40450-4_35.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 11856 | OA
Henzinger, Monika H., et al. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–47, doi:10.1109/focs.2013.64.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 12642 | OA
Petersen, Lene, et al. “Suitability of a Constant Air Temperature Lapse Rate over an Alpine Glacier: Testing the Greuell and Böhm Model as an Alternative.” Annals of Glaciology, vol. 54, no. 63, International Glaciological Society, 2013, pp. 120–30, doi:10.3189/2013aog63a477.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12643 | OA
Juszak, I., and Francesca Pellicciotti. “A Comparison of Parameterizations of Incoming Longwave Radiation over Melting Glaciers: Model Robustness and Seasonal Variability.” Journal of Geophysical Research: Atmospheres, vol. 118, no. 8, American Geophysical Union, 2013, pp. 3066–84, doi:10.1002/jgrd.50277.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12641 | OA
Heynen, Martin, et al. “Parameter Sensitivity of a Distributed Enhanced Temperature-Index Melt Model.” Annals of Glaciology, vol. 54, no. 63, International Glaciological Society, 2013, pp. 311–21, doi:10.3189/2013aog63a537.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 1387 | OA
Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 1442 | OA
Hausel, Tamás, et al. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics, vol. 177, no. 3, Princeton University Press, 2013, pp. 1147–68, doi:10.4007/annals.2013.177.3.8.
View | DOI | Download (ext.)
 

2013 | Book Chapter | IST-REx-ID: 1443 | OA
Hausel, Tamás. “Global Topology of the Hitchin System.” Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1470 | OA
De Cataldo, Mark, et al. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities, vol. 7, Worldwide Center of Mathematics, 2013, pp. 23–38, doi:10.5427/jsing.2013.7c.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1760 | OA
Ares, Natalia, et al. “SiGe Quantum Dots for Fast Hole Spin Rabi Oscillations.” Applied Physics Letters, vol. 103, no. 26, American Institute of Physics, 2013, doi:10.1063/1.4858959.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1759 | OA
Ares, Natalia, et al. “Nature of Tunable Hole g Factors in Quantum Dots.” Physical Review Letters, vol. 110, no. 4, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.046602.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1786 | OA
Nissen, Felix, et al. “Collective Suppression of Linewidths in Circuit QED.” Physical Review Letters, vol. 110, no. 20, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.203602.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2010 | OA
Uhler, Caroline, et al. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics, vol. 41, no. 2, Institute of Mathematical Statistics, 2013, pp. 436–63, doi:10.1214/12-AOS1080.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2009 | OA
Uhler, Caroline, et al. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality , vol. 5, no. 1, Carnegie Mellon University, 2013, pp. 137–66, doi:10.29012/jpc.v5i1.629.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2117 | OA
Dirksen, Sjoerd, et al. “Poisson Stochastic Integration in Banach Spaces.” Electronic Journal of Probability, vol. 18, Institute of Mathematical Statistics, 2013, doi:10.1214/EJP.v18-2945 .
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2129 | OA
Gigli, Nicola, and Jan Maas. “Gromov-Hausdorff Convergence of Discrete Transportation Metrics.” SIAM Journal on Mathematical Analysis, vol. 45, no. 2, Society for Industrial and Applied Mathematics , 2013, pp. 879–99, doi:10.1137/120886315 .
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2139 | OA
Lemeshko, Mikhail. “Manipulating Scattering of Ultracold Atoms with Light-Induced Dissipation.” Frontiers Physics, vol. 1, no. 17, Frontiers Media, 2013, doi:10.3389/fphy.2013.00017.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2204 | OA
Bhongale, Satyan, et al. “Quantum Phases of Quadrupolar Fermi Gases in Optical Lattices.” Physical Review Letters, vol. 110, no. 15, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.155301.
View | Files available | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 2206 | OA
Lemeshko, Mikhail, et al. “Controllable Quantum Spin Glasses with Magnetic Impurities Embedded in Quantum Solids.” Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 1, American Physical Society, 2013, doi:10.1103/PhysRevB.88.014426.
View | DOI | Download (ext.)
 

2013 | Book Review | IST-REx-ID: 2205 | OA
Lemeshko, Mikhail, et al. “Manipulation of Molecules with Electromagnetic Fields.” Molecular Physics, vol. 111, no. 12–13, Taylor & Francis, 2013, pp. 1648–82, doi:10.1080/00268976.2013.813595.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2207 | OA
Lemeshko, Mikhail, and Hendrik Weimer. “Dissipative Binding of Atoms by Non-Conservative Forces.” Nature Communications, vol. 4, Nature Publishing Group, 2013, doi:10.1038/ncomms3230.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2210 | OA
Biedl, Therese, et al. “Reconstructing Polygons from Embedded Straight Skeletons.” 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
[Submitted Version] View | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2237 | OA
Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi:10.1007/978-3-642-45221-5_13.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243 | OA
Michaliszyn, Jakub, and Jan Otop. Elementary Modal Logics over Transitive Structures. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 563–77, doi:10.4230/LIPIcs.CSL.2013.563.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek, Jiří, et al. Untangling Two Systems of Noncrossing Curves. Vol. 8242, Springer, 2013, pp. 472–83, doi:10.1007/978-3-319-03841-4_41.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2259 | OA
Alwen, Joel F., et al. Learning with Rounding, Revisited: New Reduction Properties and Applications. Vol. 8042, no. 1, Springer, 2013, pp. 57–74, doi:10.1007/978-3-642-40041-4_4.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2258 | OA
Kiltz, Eike, et al. Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions. Vol. 8042, Springer, 2013, pp. 571–88, doi:10.1007/978-3-642-40041-4_31.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2256 | OA
Danowski, Patrick, et al. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen, vol. 66, no. 3/4, Verein Österreichischer Bibliothekarinnen und Bibliothekare, 2013, pp. 559–87.
[Published Version] View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2260 | OA
Bernhard, David, et al. Efficient Signatures of Knowledge and DAA in the Standard Model. Vol. 7954, Springer, 2013, pp. 518–33, doi:10.1007/978-3-642-38980-1_33.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2264 | OA
Liang, Huixuan, et al. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.” Development, vol. 140, no. 3, Company of Biologists, 2013, pp. 552–61, doi:10.1242/dev.085621.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2270 | OA
Bachrach, Yoram, et al. Optimal Coalition Structures in Cooperative Graph Games. AAAI Press, 2013, pp. 81–87.
View | Download None (ext.) | arXiv
 

2013 | Report | IST-REx-ID: 2273 | OA
Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.
View | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2276 | OA
Gridchyn, Igor, and Vladimir Kolmogorov. Potts Model, Parametric Maxflow and k-Submodular Functions. IEEE, 2013, pp. 2320–27, doi:10.1109/ICCV.2013.288.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2280 | OA
Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.” SIAM Review, vol. 55, no. 4, Society for Industrial and Applied Mathematics , 2013, pp. 671–706, doi:10.1137/120872309.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2287 | OA
Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.” Ecology and Evolution, vol. 3, no. 3, Wiley-Blackwell, 2013, pp. 629–39, doi:10.1002/ece3.465.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2282 | OA
Campinho, Pedro, et al. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell Biology, vol. 15, Nature Publishing Group, 2013, pp. 1405–14, doi:10.1038/ncb2869.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2286 | OA
Campinho, Pedro, and Carl-Philipp J. Heisenberg. “The Force and Effect of Cell Proliferation.” EMBO Journal, vol. 32, no. 21, Wiley-Blackwell, 2013, pp. 2783–84, doi:10.1038/emboj.2013.225.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2289 | OA
Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development, vol. 28, no. 4, Springer, 2013, pp. 331–44, doi:10.1007/s00450-013-0251-7.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2290 | OA
Boutté, Yohann, et al. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.” PNAS, vol. 110, no. 40, National Academy of Sciences, 2013, pp. 16259–64, doi:10.1073/pnas.1309057110.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2294 | OA
Kazmar, Tomas, et al. Drosophila Embryo Stage Annotation Using Label Propagation. IEEE, 2013, doi:10.1109/ICCV.2013.139.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2293 | OA
Sharmanska, Viktoriia, et al. Learning to Rank Using Privileged Information. IEEE, 2013, pp. 825–32, doi:10.1109/ICCV.2013.107.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2291 | OA
Ferrara, Anna, et al. Cryptographically Enforced RBAC. IEEE, 2013, pp. 115–29, doi:10.1109/CSF.2013.15.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2298 | OA
Dragoi, Cezara, et al. Local Shape Analysis for Overlaid Data Structures. Vol. 7935, Springer, 2013, pp. 150–71, doi:10.1007/978-3-642-38856-9_10.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2299 | OA
Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2297 | OA
Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.” Japanese Journal of Mathematics, vol. 8, no. 2, Springer, 2013, pp. 185–232, doi:10.1007/s11537-013-1264-5.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Book | IST-REx-ID: 2306 | OA
Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50, De Gruyter, 2013, doi:10.1515/9783110278736.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2300 | OA
Giuliani, Alessandro, et al. “Realization of Stripes and Slabs in Two and Three Dimensions.” Physical Review B, vol. 88, no. 6, 064401, American Physical Society, 2013, doi:10.1103/PhysRevB.88.064401.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2315 | OA
Seiringer, Robert, et al. Disordered Bose-Einstein Condensates with Interaction. World Scientific Publishing, 2013, pp. 610–19, doi:10.1142/9789814449243_0063.
View | DOI | Download None (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2319 | OA
Frank, Rupert, et al. Derivation of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction. Springer, 2013, pp. 57–88, doi:10.1007/978-3-0348-0531-5_3.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2328 | OA
Henzinger, Thomas A., et al. Aspect-Oriented Linearizability Proofs. Vol. 8052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 242–56, doi:10.1007/978-3-642-40184-8_18.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2404 | OA
Frank, Rupert, et al. “A Positive Density Analogue of the Lieb-Thirring Inequality.” Duke Mathematical Journal, vol. 162, no. 3, Duke University Press, 2013, pp. 435–95, doi:10.1215/00127094-2019477.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2405 | OA
Frank, Rupert, et al. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.” Communications in Mathematical Physics, vol. 319, no. 2, Springer, 2013, pp. 557–73, doi:10.1007/s00220-012-1604-y.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2408 | OA
Grech, Philip, and Robert Seiringer. “The Excitation Spectrum for Weakly Interacting Bosons in a Trap.” Communications in Mathematical Physics, vol. 322, no. 2, Springer, 2013, pp. 559–91, doi:10.1007/s00220-013-1736-8.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2412 | OA
Kupczok, Anne, and Jonathan P. Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .” BMC Evolutionary Biology, vol. 13, no. 1, BioMed Central, 2013, pp. 54–54, doi:10.1186/1471-2148-13-54.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2410 | OA
Fernandes Redondo, Rodrigo A., et al. “Complete Genome Sequence of the Novel Phage MG-B1 Infecting Bacillus Weihenstephanensis.” Genome Announcements, vol. 1, no. 3, American Society for Microbiology, 2013, doi:10.1128/genomeA.00216-13.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2447 | OA
Piskac, Ruzica, et al. Automating Separation Logic Using SMT. Vol. 8044, Springer, 2013, pp. 773–89, doi:10.1007/978-3-642-39799-8_54.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2443 | OA
Simon, Sibu, et al. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.” New Phytologist, vol. 200, no. 4, Wiley, 2013, pp. 1034–48, doi:10.1111/nph.12437.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2446 | OA
Chatterjee, Krishnendu, et al. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. Vol. 8044, Springer, 2013, pp. 559–75, doi:10.1007/978-3-642-39799-8_37.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2444 | OA
Chatterjee, Krishnendu, and Jakub Ła̧Cki. Faster Algorithms for Markov Decision Processes with Low Treewidth. Vol. 8044, Springer, 2013, pp. 543–58, doi:10.1007/978-3-642-39799-8_36.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 245 | OA
Baier, Stephan, and Timothy D. Browning. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik, no. 680, Walter de Gruyter, 2013, pp. 69–151, doi:10.1515/crelle.2012.039.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2471 | OA
Sanchez-Romero, Inmaculada, et al. “Mechanism of Protein Kinetic Stabilization by Engineered Disulfide Crosslinks.” PLoS One, vol. 8, no. 7, e70013, Public Library of Science, 2013, doi:10.1371/journal.pone.0070013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2472 | OA
Cazzonelli, Christopher, et al. “Role of the Arabidopsis PIN6 Auxin Transporter in Auxin Homeostasis and Auxin-Mediated Development.” PLoS One, vol. 8, no. 7, e70069, Public Library of Science, 2013, doi:10.1371/journal.pone.0070069.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2470 | OA
Čovanová, Milada, et al. “Overexpression of the Auxin Binding PROTEIN1 Modulates PIN-Dependent Auxin Transport in Tobacco Cells.” PLoS One, vol. 8, no. 7, e70050, Public Library of Science, 2013, doi:10.1371/journal.pone.0070050.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2466 | OA
Ando, Ryoichi, et al. “Highly Adaptive Liquid Simulations on Tetrahedral Meshes.” ACM Transactions on Graphics, vol. 32, no. 4, 103, ACM, 2013, doi:10.1145/2461912.2461982.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2467 | OA
Bernstein, Gilbert, and Chris Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.” ACM Transactions on Graphics, vol. 32, no. 4, 34, ACM, 2013, doi:10.1145/2461912.2462027.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2468 | OA
Bojsen-Hansen, Morten, and Chris Wojtan. “Liquid Surface Tracking with Error Compensation.” ACM Transactions on Graphics, vol. 32, no. 4, 68, ACM, 2013, doi:10.1145/2461912.2461991.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2469 | OA
Maître, Jean-Léon, and Carl-Philipp J. Heisenberg. “Three Functions of Cadherins in Cell Adhesion.” Current Biology, vol. 23, no. 14, Cell Press, 2013, pp. R626–33, doi:10.1016/j.cub.2013.06.019.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2473 | OA
Barton, Nicholas H., et al. “Genetic Hitch-Hiking in Spatially Extended Populations.” Theoretical Population Biology, vol. 87, no. 8, Elsevier, 2013, pp. 75–89, doi:10.1016/j.tpb.2012.12.001.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 250 | OA
De La Bretèche, Régis, and Timothy D. Browning. “Density of Châtelet Surfaces Failing the Hasse Principle.” Proceedings of the London Mathematical Society, vol. 108, no. 4, Oxford University Press, 2013, pp. 1030–78, doi:10.1112/plms/pdt060.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2517 | OA
Almagor, Shaull, et al. Formalizing and Reasoning about Quality. Vol. 7966, no. Part 2, Springer, 2013, pp. 15–27, doi:10.1007/978-3-642-39212-2_3.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2518 | OA
Kolmogorov, Vladimir. The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization. Vol. 7965, no. 1, Springer, 2013, pp. 625–36, doi:10.1007/978-3-642-39206-1_53.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2520 | OA
Quadrianto, Novi, et al. “The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models.” Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–36.
[Submitted Version] View | Files available
 

2013 | Journal Article | IST-REx-ID: 2698 | OA
Erdös, László, et al. “Stability and Semiclassics in Self-Generated Fields.” Journal of the European Mathematical Society, vol. 15, no. 6, European Mathematical Society, 2013, pp. 2093–113, doi:10.4171/JEMS/416.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2697 | OA
Erdös, László, et al. “Delocalization and Diffusion Profile for Random Band Matrices.” Communications in Mathematical Physics, vol. 323, no. 1, Springer, 2013, pp. 367–416, doi:10.1007/s00220-013-1773-3.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2718 | OA
Barton, Nicholas H., and Tiago Paixao. “Can Quantitative and Population Genetics Help Us Understand Evolutionary Computation?” Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–80, doi:10.1145/2463372.2463568.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2720 | OA
Long, Hongan, et al. “Accumulation of Spontaneous Mutations in the Ciliate Tetrahymena Thermophila.” Genetics, vol. 195, no. 2, Genetics Society of America, 2013, pp. 527–40, doi:10.1534/genetics.113.153536.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2782 | OA
Erdös, László, and Brendan Farrell. “Local Eigenvalue Density for General MANOVA Matrices.” Journal of Statistical Physics, vol. 152, no. 6, Springer, 2013, pp. 1003–32, doi:10.1007/s10955-013-0807-8.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2781 | OA
Erdös, László, et al. “Spectral Statistics of Erdős-Rényi Graphs I: Local Semicircle Law.” Annals of Probability, vol. 41, no. 3 B, Institute of Mathematical Statistics, 2013, pp. 2279–375, doi:10.1214/11-AOP734.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2780 | OA
Erdös, László, et al. “Averaging Fluctuations in Resolvents of Random Band Matrices.” Annales Henri Poincare, vol. 14, no. 8, Birkhäuser, 2013, pp. 1837–926, doi:10.1007/s00023-013-0235-y.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2807 | OA
Čadek, Martin, et al. “Extending Continuous Maps: Polynomiality and Undecidability.” 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604, doi:10.1145/2488608.2488683.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2808 | OA
Landberg, Katarina, et al. “The Moss Physcomitrella Patens Reproductive Organ Development Is Highly Organized, Affected by the Two SHI/STY Genes and by the Level of Active Auxin in the SHI/STY Expression Domain.” Plant Physiology, vol. 162, no. 3, American Society of Plant Biologists, 2013, pp. 1406–19, doi:10.1104/pp.113.214023.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2810 | OA
de Vos, Marjon, et al. “Environmental Dependence of Genetic Constraint.” PLoS Genetics, vol. 9, no. 6, e1003580, Public Library of Science, 2013, doi:10.1371/journal.pgen.1003580.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2814 | OA
Chatterjee, Krishnendu, et al. “The Complexity of Coverage.” International Journal of Foundations of Computer Science, vol. 24, no. 2, World Scientific Publishing, 2013, pp. 165–85, doi:10.1142/S0129054113400066.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications