Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5954 Publications
2016 | Published | Conference Paper | IST-REx-ID: 948 | 
Monk, Travis, et al. Neurons Equipped with Intrinsic Plasticity Learn Stimulus Intensity Statistics. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 4285–93.
View
| Download None (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1069 |
Chonev, Ventsislav K., et al. On the Skolem Problem for Continuous Linear Dynamical Systems. Vol. 55, 100, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.100.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1071 |
Chatterjee, Krishnendu, et al. Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs. Vol. 57, 28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.ESA.2016.28.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1098 |
Pentina, Anastasia, and Ruth Urner. Lifelong Learning with Weighted Majority Votes. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 3619–27.
[Published Version]
View
| Files available
2016 | Published | Conference Paper | IST-REx-ID: 1082 |
Chalk, Matthew J., et al. Relevant Sparse Codes with Variational Information Bottleneck. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 1965–73.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1381 |
Mabillard, Isaac, and Uli Wagner. Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the r-Metastable Range. Vol. 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 51.1-51.12, doi:10.4230/LIPIcs.SoCG.2016.51.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1378 |
Dotterrer, Dominic, et al. On Expansion and Topological Overlap. Vol. 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 35.1-35.10, doi:10.4230/LIPIcs.SoCG.2016.35.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1105 |
Savin, Cristina, and Gašper Tkačik. Estimating Nonlinear Neural Response Functions Using GP Priors and Kronecker Methods. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 3610–18.
View
| Download None (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1103 |
Gurung, Amit, et al. Parallel Reachability Analysis for Hybrid Systems. 7797741, IEEE, 2016, doi:10.1109/MEMCOD.2016.7797741.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1524 |
Beica, Andreea, et al. Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. Vol. 9271, Springer, 2016, pp. 173–91, doi:10.1007/978-3-319-26916-0_10.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1327 |
Brázdil, Tomáš, et al. “Stochastic Shortest Path with Energy Constraints in POMDPs.” Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–66.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1166 |
Chatterjee, Krishnendu, et al. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in POMDPs.” Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, vol. 2016, AAAI Press, 2016, pp. 3225–32, doi:10.1609/aaai.v30i1.10422.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1320 |
Lang, Moritz, and Eduardo Sontag. Scale-Invariant Systems Realize Nonlinear Differential Operators. Vol. 2016–July, 7526722, IEEE, 2016, doi:10.1109/ACC.2016.7526722.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1398 |
Ellis, Thomas. The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:TH_526 .
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5553 |
Field, David, and Thomas Ellis. Inference of Mating Patterns among Wild Snapdragons in a Natural Hybrid Zone in 2012. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:37.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5551 |
Ellis, Thomas. Data on Pollinator Observations and Offpsring Phenotypes. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:35.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5552 |
Ellis, Thomas. Pollinator Visitation Data for Wild Antirrhinum Majus Plants, with Phenotypic and Frequency Data. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:36.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5556 |
Lukacisin, Martin, et al. MATLAB Analysis Code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:45.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1068 |
Chatterjee, Krishnendu, et al. Conditionally Optimal Algorithms for Generalized Büchi Games. Vol. 58, 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.25.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9864 |
Fernandes Redondo, Rodrigo A., et al. Data from Evolutionary Interplay between Structure, Energy and Epistasis in the Coat Protein of the ΦX174 Phage Family. The Royal Society, 2016, doi:10.6084/m9.figshare.4315652.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)