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.
5616 Publications
2016 | Published | Journal Article | IST-REx-ID: 1529 |

Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
2016 | Published | Conference Paper | IST-REx-ID: 1324
Indefinite-horizon reachability in Goal-DEC-POMDPs
K. Chatterjee, M. Chmelik, in:, Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, AAAI Press, 2016, pp. 88–96.
View
| Download None (ext.)
K. Chatterjee, M. Chmelik, in:, Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, AAAI Press, 2016, pp. 88–96.
2016 | Published | Conference Paper | IST-REx-ID: 1327 |

Stochastic shortest path with energy constraints in POMDPs
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, P. Novotný, in:, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–1466.
[Preprint]
View
| Download Preprint (ext.)
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, P. Novotný, in:, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–1466.
2016 | Published | Journal Article | IST-REx-ID: 1408 |

On computability and triviality of well groups
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
[Published Version]
View
| Files available
| DOI
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
2016 | Published | Thesis | IST-REx-ID: 1121 |

Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.
2016 | Published | Journal Article | IST-REx-ID: 1197 |

Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
[Published Version]
View
| Files available
| DOI
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1248 |

Information processing in living systems
G. Tkačik, W. Bialek, Annual Review of Condensed Matter Physics 7 (2016) 89–117.
[Preprint]
View
| DOI
| Download Preprint (ext.)
G. Tkačik, W. Bialek, Annual Review of Condensed Matter Physics 7 (2016) 89–117.
2016 | Published | Conference Paper | IST-REx-ID: 1097 |

Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
[Submitted Version]
View
| Files available
| DOI
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1364 |

Computational design of stable planar-rod structures
E. Miguel Villalba, M. Lepoutre, B. Bickel, in:, ACM, 2016.
[Preprint]
View
| Files available
| DOI
E. Miguel Villalba, M. Lepoutre, B. Bickel, in:, ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1099 |

FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
[Submitted Version]
View
| Files available
| DOI
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1349 |

When non-elitism outperforms elitism for crossing fitness valleys
P. Oliveto, T. Paixao, J. Heredia, D. Sudholt, B. Trubenova, in:, Proceedings of the Genetic and Evolutionary Computation Conference 2016 , ACM, 2016, pp. 1163–1170.
[Published Version]
View
| Files available
| DOI
P. Oliveto, T. Paixao, J. Heredia, D. Sudholt, B. Trubenova, in:, Proceedings of the Genetic and Evolutionary Computation Conference 2016 , ACM, 2016, pp. 1163–1170.
2016 | Published | Journal Article | IST-REx-ID: 1359 |

The effect of gene interactions on the long-term response to selection
T. Paixao, N.H. Barton, PNAS 113 (2016) 4422–4427.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T. Paixao, N.H. Barton, PNAS 113 (2016) 4422–4427.
2016 | Published | Journal Article | IST-REx-ID: 1599 |

Polysialylation controls dendritic cell trafficking by regulating chemokine recognition
E. Kiermaier, C. Moussion, C. Veldkamp, R. Gerardy Schahn, I. de Vries, L. Williams, G. Chaffee, A. Phillips, F. Freiberger, R. Imre, D. Taleski, R. Payne, A. Braun, R. Förster, K. Mechtler, M. Mühlenhoff, B. Volkman, M.K. Sixt, Science 351 (2016) 186–190.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Kiermaier, C. Moussion, C. Veldkamp, R. Gerardy Schahn, I. de Vries, L. Williams, G. Chaffee, A. Phillips, F. Freiberger, R. Imre, D. Taleski, R. Payne, A. Braun, R. Förster, K. Mechtler, M. Mühlenhoff, B. Volkman, M.K. Sixt, Science 351 (2016) 186–190.
2016 | Published | Conference Paper | IST-REx-ID: 1428 |

Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, in:, Journal of Physics: Conference Series, IOP Publishing, 2016.
[Published Version]
View
| Files available
| DOI
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, in:, Journal of Physics: Conference Series, IOP Publishing, 2016.
2016 | Published | Journal Article | IST-REx-ID: 1478 |

Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas
R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
[Published Version]
View
| Files available
| DOI
R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1259 |

Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).
[Published Version]
View
| Files available
| DOI
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1291 |

Periodic striped ground states in Ising models with competing interactions
A. Giuliani, R. Seiringer, Communications in Mathematical Physics 347 (2016) 983–1007.
[Published Version]
View
| Files available
| DOI
A. Giuliani, R. Seiringer, Communications in Mathematical Physics 347 (2016) 983–1007.
2016 | Published | Journal Article | IST-REx-ID: 1422 |

Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations
R. Frank, C. Hainzl, B. Schlein, R. Seiringer, Letters in Mathematical Physics 106 (2016) 913–923.
[Published Version]
View
| Files available
| DOI
R. Frank, C. Hainzl, B. Schlein, R. Seiringer, Letters in Mathematical Physics 106 (2016) 913–923.
2016 | Published | Journal Article | IST-REx-ID: 1545 |

Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations
P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368.
2016 | Published | Journal Article | IST-REx-ID: 1267 |

Nonexistence of large nuclei in the liquid drop model
R. Frank, R. Killip, P. Nam, Letters in Mathematical Physics 106 (2016) 1033–1036.
[Published Version]
View
| Files available
| DOI
R. Frank, R. Killip, P. Nam, Letters in Mathematical Physics 106 (2016) 1033–1036.