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.




6293 Publications

2016 | Published | Conference Paper | IST-REx-ID: 1324 | OA
K. Chatterjee and M. Chmelik, “Indefinite-horizon reachability in Goal-DEC-POMDPs,” in Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, London, United Kingdom, 2016, vol. 2016, pp. 88–96.
View | DOI | Download None (ext.)
 
2016 | Published | Conference Paper | IST-REx-ID: 1325 | OA
T. Brázdil, V. Forejt, A. Kučera, and P. Novotný, “Stability in graphs and games,” presented at the CONCUR: Concurrency Theory, Quebec City, Canada, 2016, vol. 59.
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1326 | OA
T. Brázdil, A. Kučera, and P. Novotný, “Optimizing the expected mean payoff in Energy Markov Decision Processes,” presented at the ATVA: Automated Technology for Verification and Analysis, Chiba, Japan, 2016, vol. 9938, pp. 32–49.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1327 | OA
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, and P. Novotný, “Stochastic shortest path with energy constraints in POMDPs,” in Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, Singapore, 2016, pp. 1465–1466.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1328 | OA
H. Watzinger et al., “Heavy-hole states in germanium hut wires,” Nano Letters, vol. 16, no. 11. American Chemical Society, pp. 6879–6885, 2016.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1329 | OA
A. K. Huylmans, A. López Ezquerra, J. Parsch, and M. Cordellier, “De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata,” Genome Biology and Evolution, vol. 8, no. 10. Oxford University Press, pp. 3120–3139, 2016.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1330 | OA
A. Akopyan and A. Balitskiy, “Billiards in convex bodies with acute angles,” Israel Journal of Mathematics, vol. 216, no. 2. Springer, pp. 833–845, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1331 | OA
P. Zwack et al., “Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress,” Plant Physiology, vol. 172, no. 2. American Society of Plant Biologists, pp. 1249–1258, 2016.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1332 | OA
R. P. Chait, A. Palmer, I. Yelin, and R. Kishony, “Pervasive selection for and against antibiotic resistance in inhomogeneous multistress environments,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1333 | OA
M. Milinski, C. Hilbe, D. Semmann, R. Sommerfeld, and J. Marotzke, “Humans choose representatives who enforce cooperation in social dilemmas through extortion,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1334 | OA
P. Schönenberger, J. O’Neill, and J. L. Csicsvari, “Activity dependent plasticity of hippocampal place maps,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1335 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Quantitative monitor automata,” presented at the SAS: Static Analysis Symposium, Edinburgh, United Kingdom, 2016, vol. 9837, pp. 23–38.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Book Chapter | IST-REx-ID: 19990
H. Harada and R. Shigemoto, “High-Resolution Localization of Membrane Proteins by SDS-Digested Freeze-Fracture Replica Labeling (SDS-FRL),” in Receptor and Ion Channel Detection in the Brain, Springer Nature, 2016, pp. 233–245.
View | DOI
 
2016 | Published | Book Chapter | IST-REx-ID: 19991
V. Sharmanska and N. Quadrianto, “Learning Using Privileged Information,” in Encyclopedia of Machine Learning and Data Mining, Springer Nature, 2016, pp. 1–4.
View | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1881 | OA
J. Lee and K. Schnelli, “Extremal eigenvalues and eigenvectors of deformed Wigner matrices,” Probability Theory and Related Fields, vol. 164, no. 1–2. Springer, pp. 165–241, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1475 | OA
J. Toshima et al., “Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton,” eLife, vol. 5, no. February 2016. eLife Sciences Publications, 2016.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1476 | OA
J. Toshima et al., “Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis,” Journal of Cell Science, vol. 129, no. 2. Company of Biologists, pp. 367–379, 2016.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1477 | OA
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with ω-regular objectives,” Journal of Computer and System Sciences, vol. 82, no. 5. Elsevier, pp. 878–911, 2016.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1478 | OA
R. Seiringer and S. Warzel, “Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas,” New Journal of Physics, vol. 18, no. 3. IOP Publishing, 2016.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1479 | OA
S. Krenn, K. Z. Pietrzak, A. Wadia, and D. Wichs, “A counterexample to the chain rule for conditional HILL entropy,” Computational Complexity, vol. 25, no. 3. Springer, pp. 567–605, 2016.
[Submitted Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed