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.

6069 Publications


2014 | Journal Article | IST-REx-ID: 2281 | OA
Guo, Yujin, and Robert Seiringer. “On the Mass Concentration for Bose-Einstein Condensates with Attractive Interactions.” Letters in Mathematical Physics, vol. 104, no. 2, Springer, 2014, pp. 141–56, doi:10.1007/s11005-013-0667-9.
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2285 | OA
Hosp, Jonas, et al. “Morpho-Physiological Criteria Divide Dentate Gyrus Interneurons into Classes.” Hippocampus, vol. 23, no. 2, Wiley-Blackwell, 2014, pp. 189–203, doi:10.1002/hipo.22214.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2407 | OA
Lieb, Élliott, and Robert Seiringer. “Equivalence of Two Definitions of the Effective Mass of a Polaron.” Journal of Statistical Physics, vol. 154, no. 1–2, Springer, 2014, pp. 51–57, doi:10.1007/s10955-013-0791-z.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 248 | OA
Browning, Timothy D., et al. “Rational Points on Pencils of Conics and Quadrics with Many Degenerate Fibres.” Annals of Mathematics, vol. 180, no. 1, John Hopkins University Press, 2014, pp. 381–402, doi:https://doi.org/10.4007/annals.2014.180.1.8.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 249
Browning, Timothy D., and Pankaj Vishe. “Cubic Hypersurfaces and a Version of the Circle Method for Number Fields.” Duke Mathematical Journal, vol. 163, no. 10, Duke University Press, 2014, pp. 1825–83, doi:10.1215/00127094-2738530.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 252
Browning, Timothy D., and Michael Jones. “Counting Rational Points on Del Pezzo Surfaces with a Conic Bundle Structure.” Acta Arithmetica, vol. 163, no. 3, Instytut Matematyczny, 2014, pp. 271–98, doi:10.4064/aa163-3-6.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 254
Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.” International Mathematics Research Notices, vol. 2015, no. 7, Oxford University Press, 2014, pp. 1987–2019, doi:10.1093/imrn/rnt350.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 255
Browning, Timothy D., et al. “Rational Points on Intersections of Cubic and Quadric Hypersurfaces.” Journal of the Institute of Mathematics of Jussieu, vol. 14, no. 4, Cambridge University Press, 2014, pp. 703–49, doi:10.1017/S1474748014000127.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7300
Aigner, Daniel, et al. “Enhancing Photoinduced Electron Transfer Efficiency of Fluorescent PH-Probes with Halogenated Phenols.” Analytical Chemistry, vol. 86, no. 18, ACS, 2014, pp. 9293–300, doi:10.1021/ac502513g.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7301
Li, Chunmei, et al. “Aprotic Li–O2 Battery: Influence of Complexing Agents on Oxygen Reduction in an Aprotic Solvent.” The Journal of Physical Chemistry C, vol. 118, no. 7, ACS, 2014, pp. 3393–401, doi:10.1021/jp4093805.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
Dunst, A., et al. “Short-Range Li Diffusion vs. Long-Range Ionic Conduction in Nanocrystalline Lithium Peroxide Li2O2—the Discharge Product in Lithium-Air Batteries.” Energy & Environmental Science, vol. 7, no. 8, RSC, 2014, pp. 2739–52, doi:10.1039/c4ee00496e.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 7303
Freunberger, Stefan Alexander, et al. “Nonaqueous Electrolytes.” The Lithium Air Battery: Fundamentals, edited by Nobuyuki Imanishi et al., Springer Nature, 2014, pp. 23–58, doi:10.1007/978-1-4899-8062-5_2.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7304
Kwabi, D. G., et al. “Materials Challenges in Rechargeable Lithium-Air Batteries.” MRS Bulletin, vol. 39, no. 5, CUP, 2014, pp. 443–52, doi:10.1557/mrs.2014.87.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7305
Johnson, Lee, et al. “The Role of LiO2 Solubility in O2 Reduction in Aprotic Solvents and Its Consequences for Li–O2 Batteries.” Nature Chemistry, vol. 6, no. 12, Springer Nature, 2014, pp. 1091–99, doi:10.1038/nchem.2101.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7361
Lebar, Tina, et al. “A Bistable Genetic Switch Based on Designable DNA-Binding Domains.” Nature Communications, vol. 5, no. 1, Springer Nature, 2014, p. 5007, doi:10.1038/ncomms6007.
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7455
Costanzo, Tommaso, et al. “Studying the Surface Reaction between NiO and Al2O3viatotal Reflection EXAFS (ReflEXAFS).” Journal of Synchrotron Radiation, vol. 21, no. 2, International Union of Crystallography, 2014, pp. 395–400, doi:10.1107/s1600577513031299.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7598 | OA
Tan, Shutang, and Hong-Wei Xue. “Casein Kinase 1 Regulates Ethylene Synthesis by Phosphorylating and Promoting the Turnover of ACS5.” Cell Reports, vol. 9, no. 5, Elsevier, 2014, pp. 1692–702, doi:10.1016/j.celrep.2014.10.047.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7699
Sweeney, Lora Beatrice Jaeger, and Darcy B. Kelley. “Harnessing Vocal Patterns for Social Communication.” Current Opinion in Neurobiology, vol. 28, no. 10, Elsevier, 2014, pp. 34–41, doi:10.1016/j.conb.2014.06.006.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 7743
Robinson, Matthew Richard, and Anna Qvarnström. “Influence of the Environment on the Genetic Architecture of Traits Involved in Sexual Selection within Wild Populations.” Genotype-by-Environment Interactions and Sexual Selection, edited by John Hunt and David Hosken, Wiley, 2014, pp. 137–68, doi:10.1002/9781118912591.ch6.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7744
Robinson, Matthew Richard, et al. “Explaining Additional Genetic Variation in Complex Traits.” Trends in Genetics, vol. 30, no. 4, Elsevier, 2014, pp. 124–32, doi:10.1016/j.tig.2014.02.003.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7768
Lohr, Matthew A., et al. “Vibrational and Structural Signatures of the Crossover between Dense Glassy and Sparse Gel-like Attractive Colloidal Packings.” Physical Review E, vol. 90, no. 6, American Physical Society, 2014, p. 062305, doi:10.1103/physreve.90.062305.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7769
Goodrich, Carl Peter, et al. “Jamming in Finite Systems: Stability, Anisotropy, Fluctuations, and Scaling.” Physical Review E, vol. 90, no. 2, American Physical Society, 2014, p. 022138, doi:10.1103/physreve.90.022138.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7770
Goodrich, Carl Peter, et al. “Contact Nonlinearities and Linear Response in Jammed Particulate Packings.” Physical Review E, vol. 90, no. 2, American Physical Society, 2014, p. 022201, doi:10.1103/physreve.90.022201.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7771 | OA
Goodrich, Carl Peter, et al. “Comment on ‘Repulsive Contact Interactions Make Jammed Particulate Systems Inherently Nonharmonic.’” Physical Review Letters, vol. 112, no. 4, American Physical Society, 2014, p. 049801, doi:10.1103/physrevlett.112.049801.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7772
Still, Tim, et al. “Phonon Dispersion and Elastic Moduli of Two-Dimensional Disordered Colloidal Packings of Soft Particles with Frictional Interactions.” Physical Review E, vol. 89, no. 1, American Physical Society, 2014, p. 012301, doi:10.1103/physreve.89.012301.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7773
Goodrich, Carl Peter, et al. “Solids between the Mechanical Extremes of Order and Disorder.” Nature Physics, vol. 10, no. 8, Springer Nature, 2014, pp. 578–81, doi:10.1038/nphys3006.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 451 | OA
Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology, and (Co)Homological Operations via Chain Contraction.” Advances in Computational Mathematics, vol. 41, no. 1, Kluwer, 2014, pp. 253–75, doi:10.1007/s10444-014-9356-1.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 468 | OA
Cimadom, Arno, et al. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.” PLoS One, vol. 9, no. 9, 0107518, Public Library of Science, 2014, doi:10.1371/journal.pone.0107518.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 475 | OA
Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 146, Open Publishing Association, 2014, pp. 83–90, doi:10.4204/EPTCS.146.11.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, Krishnendu, et al. “Polynomial Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak, Roshan, et al. “Fitness Consequences of Maternal and Grandmaternal Effects.” Ecology and Evolution, vol. 4, no. 15, Wiley-Blackwell, 2014, pp. 3139–45, doi:10.1002/ece3.1150.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v2-2.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014, doi:10.15479/AT:IST-2014-172-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014, doi:10.15479/AT:IST-2014-176-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee, Krishnendu, et al. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-187-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-191-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.
View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422 | OA
Porsche, Jana. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5423 | OA
Chatterjee, Krishnendu, et al. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014, doi:10.15479/AT:IST-2014-300-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425 | OA
Anonymous, 1, et al. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 5810
Biswas, Ranita, and Partha Bhowmick. On Finding Spherical Geodesic Paths and Circles in ℤ3. Vol. 8668, Springer, 2014, pp. 396–409, doi:10.1007/978-3-319-09955-2_33.
View | DOI
 

Search

Filter Publications