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.

365 Publications


2015 | Journal Article | IST-REx-ID: 1635 | OA
Erbar, Matthias, et al. “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, 2015, pp. 781–800, doi:10.5802/afst.1464.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1680
Michaliszyn, Jakub, et al. “On the Decidability of Elementary Modal Logics.” ACM Transactions on Computational Logic, vol. 17, no. 1, 2, ACM, 2015, doi:10.1145/2817825.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1684 | OA
Vicoso, Beatriz, and Doris Bachtrog. “Numerous Transitions of Sex Chromosomes in Diptera.” PLoS Biology, vol. 13, no. 4, e1002078, Public Library of Science, 2015, doi:10.1371/journal.pbio.1002078.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1690
Bak, Stanley, et al. HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models. Springer, 2015, pp. 128–33, doi:10.1145/2728606.2728630.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1728
Cohen, Michael, et al. “Ptch1 and Gli Regulate Shh Signalling Dynamics via Multiple Mechanisms.” Nature Communications, vol. 6, Nature Publishing Group, 2015, doi:10.1038/ncomms7709.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1788
Pitanti, Alessandro, et al. “Strong Opto-Electro-Mechanical Coupling in a Silicon Photonic Crystal Cavity.” Optics Express, vol. 23, no. 3, Optical Society of America, 2015, pp. 3196–208, doi:10.1364/OE.23.003196.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1789 | OA
Kuechler, Alma, et al. “Loss-of-Function Variants of SETD5 Cause Intellectual Disability and the Core Phenotype of Microdeletion 3p25.3 Syndrome.” European Journal of Human Genetics, vol. 23, no. 6, Nature Publishing Group, 2015, pp. 753–60, doi:10.1038/ejhg.2014.165.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1802
Siegert, Sandra, et al. “The Schizophrenia Risk Gene Product MiR-137 Alters Presynaptic Plasticity.” Nature Neuroscience, vol. 18, Nature Publishing Group, 2015, pp. 1008–16, doi:10.1038/nn.4023.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1803
Rei, Damien, et al. “Basolateral Amygdala Bidirectionally Modulates Stress Induced Hippocampal Learning and Memory Deficits through a P25/Cdk5-Dependent Pathway.” PNAS, vol. 112, no. 23, National Academy of Sciences, 2015, pp. 7291–96, doi:10.1073/pnas.1415845112.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1808
Gupta, Ashutosh, and Thomas A. Henzinger. “Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology.” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2, 7, ACM, 2015, doi:10.1145/2745799.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1839 | OA
Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, doi:10.1007/978-3-662-46681-0_12.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 256 | OA
Browning, Timothy D., and Sean Prendiville. “Improvements in Birch’s Theorem on Forms in Many Variables.” Journal Fur Die Reine Und Angewandte Mathematik, vol. 2017, no. 731, Walter de Gruyter, 2015, doi:10.1515/crelle-2014-0122.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 257 | OA
Browning, Timothy D., and Ritabrata Munshi. “Pairs of Diagonal Quadratic Forms and Linear Correlations among Sums of Two Squares.” Forum Mathematicum, vol. 27, no. 4, Walter de Gruyter GmbH, 2015, pp. 2025–50, doi:10.1515/forum-2013-6024.
View | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 258
Browning, Timothy D. “A Survey of Applications of the Circle Method to Rational Points.” Arithmetic and Geometry, Cambridge University Press, 2015, pp. 89–113, doi:10.1017/CBO9781316106877.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 259
Browning, Timothy D., and Pankaj Vishe. “Rational Points on Cubic Hypersurfaces over F_q(T) .” Geometric and Functional Analysis, vol. 25, no. 3, Birkhäuser, 2015, pp. 671–732, doi:10.1007/s00039-015-0328-5.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 260
Browning, Timothy D., et al. “Erratum Rational Points on Intersections of Cubic and Quadric Hypersurfaces.” Journal of the Institute of Mathematics of Jussieu, vol. 14, no. 4, Cambridge University Press, 2015, doi:10.1017/S1474748014000279.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5431 | OA
Chatterjee, Krishnendu, et al. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015, doi:10.15479/AT:IST-2015-322-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434 | OA
Anonymous, 1, and 2 Anonymous. Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs. IST Austria, 2015.
View | Files available
 

2015 | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v2-2.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5443 | OA
Chatterjee, Krishnendu, et al. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015, doi:10.15479/AT:IST-2015-325-v2-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444 | OA
Reiter, Johannes, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015, doi:10.15479/AT:IST-2015-399-v1-1.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5804
Biswas, Ranita, and Partha Bhowmick. “From Prima Quadraginta Octant to Lattice Sphere through Primitive Integer Operations.” Theoretical Computer Science, vol. 624, no. 4, Elsevier, 2015, pp. 56–72, doi:10.1016/j.tcs.2015.11.018.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5807
Biswas, Ranita, and Partha Bhowmick. “On Different Topological Classes of Spherical Geodesic Paths and Circles InZ3.” Theoretical Computer Science, vol. 605, no. 11, Elsevier, 2015, pp. 146–63, doi:10.1016/j.tcs.2015.09.003.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5808
Biswas, Ranita, and Partha Bhowmick. “Layer the Sphere.” The Visual Computer, vol. 31, no. 6–8, Springer Nature, 2015, pp. 787–97, doi:10.1007/s00371-015-1101-3.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6118 | OA
Fenk, Lorenz A., and Mario de Bono. “Environmental CO2 Inhibits Caenorhabditis Elegans Egg-Laying by Modulating Olfactory Neurons and Evokes Widespread Changes in Neural Activity.” Proceedings of the National Academy of Sciences, vol. 112, no. 27, National Academy of Sciences, 2015, pp. E3525–34, doi:10.1073/pnas.1423808112.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6120 | OA
Laurent, Patrick, et al. “Decoding a Neural Circuit Controlling Global Animal State in C. Elegans.” ELife, vol. 4, e04241, eLife Sciences Publications, 2015, doi:10.7554/elife.04241.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6507
Zhou, Long, et al. “Structural Basis for Collagen Recognition by the Immune Receptor OSCAR.” Blood, vol. 127, no. 5, American Society of Hematology, 2015, pp. 529–37, doi:10.1182/blood-2015-08-667055.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6736 | OA
Mondelli, Marco, et al. “Scaling Exponent of List Decoders with Applications to Polar Codes.” IEEE Transactions on Information Theory, vol. 61, no. 9, IEEE, 2015, pp. 4838–51, doi:10.1109/tit.2015.2453315.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 6737 | OA
Mondelli, Marco, et al. “Achieving Marton’s Region for Broadcast Channels Using Polar Codes.” IEEE Transactions on Information Theory, vol. 61, no. 2, IEEE, 2015, pp. 783–800, doi:10.1109/tit.2014.2368555.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 333
Walter, Marc, et al. “Efficient and Inexpensive Sodium Magnesium Hybrid Battery.” Chemistry of Materials, vol. 27, no. 21, ACS, 2015, pp. 7452–58, doi:10.1021/acs.chemmater.5b03531.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 334
Yu, Xuelian, et al. “Cu2ZnSnS4–Ag2S Nanoscale p–n Heterostructures as Sensitizers for Photoelectrochemical Water Splitting.” Langmuir, vol. 31, no. 38, American Chemical Society, 2015, pp. 10555–61, doi:10.1021/acs.langmuir.5b02490.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 354
Ibanez, Maria, et al. “Electron Doping in Bottom up Engineered Thermoelectric Nanomaterials through HCl Mediated Ligand Displacement.” Journal of the American Chemical Society, vol. 137, no. 12, American Chemical Society, 2015, pp. 4046–49, doi:10.1021/jacs.5b00091.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 360
Yu, Xuelian, et al. “Cu2ZnSnS4-Ag2S Nanoscale p-n Heterostructures as Sensitizers for Photoelectrochemical Water Splitting.” Langmuir, vol. 31, no. 38, American Chemical Society, 2015, pp. 10555–61, doi:10.1021/acs.langmuir.5b02490.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 361
Yu, Xuelian, et al. “Cu2ZnSnS4–PtM (M = Co, Ni) Nanoheterostructures for Photocatalytic Hydrogen Evolution.” Journal of Physical Chemistry C, vol. 119, no. 38, American Chemical Society, 2015, pp. 21882–88, doi:10.1021/acs.jpcc.5b06199.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 362
Lu, Zhishan, et al. “Size and Aspect Ratio Control of Pd Inf 2 Inf Sn Nanorods and Their Water Denitration Properties.” Langmuir, vol. 31, no. 13, American Chemical Society, 2015, pp. 3952–57, doi:10.1021/la504906q.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 388 | OA
Alpichshe, Zhanybek, et al. “Confinement Deconfinement Transition as an Indication of Spin Liquid Type Behavior in Na2IrO3.” Physical Review Letters, vol. 114, no. 1, American Physical Society, 2015, doi:10.1103/PhysRevLett.114.017203.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 7070
Yu, Jing Fei, et al. “Magnetization of Underdoped YBa2Cu3Oy above the Irreversibility Field.” Physical Review B, vol. 92, no. 18, 180509, APS, 2015, doi:10.1103/physrevb.92.180509.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7456
Caruntu, Daniela, et al. “Solvothermal Synthesis and Controlled Self-Assembly of Monodisperse Titanium-Based Perovskite Colloidal Nanocrystals.” Nanoscale, vol. 7, no. 30, RSC, 2015, pp. 12955–69, doi:10.1039/c5nr00737b.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7457
Parizi, Saman Salemizadeh, et al. “Fabrication of Barium Titanate/Acrylonitrile-Butadiene Styrene/Poly(Methyl Methacrylate) Nanocomposite Films for Hybrid Ferroelectric Capacitors.” RSC Advances, vol. 5, no. 93, RSC, 2015, pp. 76356–62, doi:10.1039/c5ra11347d.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7739 | OA
Santure, Anna W., et al. “Replicated Analysis of the Genetic Architecture of Quantitative Traits in Two Wild Great Tit Populations.” Molecular Ecology, vol. 24, Wiley, 2015, pp. 6148–62, doi:10.1111/mec.13452.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 7741 | OA
Adams, Mark James, et al. “Social Genetic and Social Environment Effects on Parental and Helper Care in a Cooperatively Breeding Bird.” Proceedings of the Royal Society B: Biological Sciences, vol. 282, no. 1810, The Royal Society, 2015, p. 20150689, doi:10.1098/rspb.2015.0689.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7742
Robinson, Matthew Richard, et al. “Population Genetic Differentiation of Height and Body Mass Index across Europe.” Nature Genetics, vol. 47, no. 11, Springer Nature, 2015, pp. 1357–62, doi:10.1038/ng.3401.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 776
Alistarh, Dan, et al. The SprayList: A Scalable Relaxed Priority Queue. Vol. 2015–January, ACM, 2015, pp. 11–20, doi:10.1145/2688500.2688523.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7765
Goodrich, Carl Peter, et al. “The Principle of Independent Bond-Level Response: Tuning by Pruning to Exploit Disorder for Global Behavior.” Physical Review Letters, vol. 114, no. 22, American Physical Society, 2015, p. 225501, doi:10.1103/physrevlett.114.225501.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7766
Sussman, Daniel M., et al. “Disordered Surface Vibrations in Jammed Sphere Packings.” Soft Matter, vol. 11, no. 14, Royal Society of Chemistry, 2015, pp. 2745–51, doi:10.1039/c4sm02905d.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7767
van Drongelen, Ruben, et al. “Collective Dynamics of Soft Active Particles.” Physical Review E, vol. 91, no. 3, American Physical Society, 2015, p. 032706, doi:10.1103/physreve.91.032706.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 777
Alistarh, Dan, et al. Streaming Min-Max Hypergraph Partitioning. Vol. 2015–January, Neural Information Processing Systems, 2015, pp. 1900–08.
View | Download (ext.)
 

2015 | Preprint | IST-REx-ID: 7779 | OA
Goodrich, Carl Peter. “Unearthing the Anticrystal: Criticality in the Linear Response of  Disordered Solids.” ArXiv:1510.08820, 2015.
View | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 778 | OA
Alistarh, Dan-Adrian, et al. Inherent Limitations of Hybrid Transactional Memory. Vol. 9363, Springer, 2015, pp. 185–99, doi:10.1007/978-3-662-48653-5_13.
View | DOI | Download None (ext.) | arXiv
 

Filters and Search Terms

year=2015

Search

Filter Publications