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.

2702 Publications


2016 | Journal Article | IST-REx-ID: 1323 | OA View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1325 | OA
Stability in graphs and games
T. Brázdil, V. Forejt, A. Kučera, P. Novotný, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1326 | OA
Optimizing the expected mean payoff in Energy Markov Decision Processes
T. Brázdil, A. Kučera, P. Novotný, in:, Springer, 2016, pp. 32–49.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1327 | OA
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.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1328 | OA
Heavy-hole states in germanium hut wires
H. Watzinger, C. Kloeffel, L. Vukušić, M. Rossell, V. Sessi, J. Kukucka, R. Kirchschlager, E. Lausecker, A. Truhlar, M. Glaser, A. Rastelli, A. Fuhrer, D. Loss, G. Katsaros, Nano Letters 16 (2016) 6879–6885.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1329 | OA
De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata
A.K. Huylmans, A. López Ezquerra, J. Parsch, M. Cordellier, Genome Biology and Evolution 8 (2016) 3120–3139.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1330 | OA
Billiards in convex bodies with acute angles
A. Akopyan, A. Balitskiy, Israel Journal of Mathematics 216 (2016) 833–845.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1332 | OA
Pervasive selection for and against antibiotic resistance in inhomogeneous multistress environments
R.P. Chait, A. Palmer, I. Yelin, R. Kishony, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1333 | OA
Humans choose representatives who enforce cooperation in social dilemmas through extortion
M. Milinski, C. Hilbe, D. Semmann, R. Sommerfeld, J. Marotzke, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1334 | OA
Activity dependent plasticity of hippocampal place maps
P. Schönenberger, J. O’Neill, J.L. Csicsvari, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1335 | OA
Quantitative monitor automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Springer, 2016, pp. 23–38.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1339 | OA
Tunable mechanical coupling between driven microelectromechanical resonators
G. Verbiest, D. Xu, M. Goldsche, T. Khodkov, S. Barzanjeh, N. Von Den Driesch, D. Buca, C. Stampfer, Applied  Physics Letter 109 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1340 | OA
The big match in small space
K. Hansen, R. Ibsen-Jensen, M. Koucký, in:, Springer, 2016, pp. 64–76.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1341 | OA
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1342 | OA
Spatiotemporal microbial evolution on antibiotic landscapes
M. Baym, T. Lieberman, E. Kelsic, R.P. Chait, R. Gross, I. Yelin, R. Kishony, Science 353 (2016) 1147–1151.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1343 | OA
Dissipative preparation of antiferromagnetic order in the Fermi-Hubbard model
J. Kaczmarczyk, H. Weimer, M. Lemeshko, New Journal of Physics 18 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1344 | OA View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1345 | OA
Plasma membrane: Negative attraction
G. Molnar, M. Fendrych, J. Friml, Nature Plants 2 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1346 | OA
Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification
Dejonghe W, Kuenen S, Mylle E, Vasileva MK, Keech O, Viotti C, Swerts J, Fendrych M, Ortiz Morea F, Mishev K, Delang S, Scholl S, Zarza X, Heilmann M, Kourelis J, Kasprowicz J, Nguyen L, Drozdzecki A, Van Houtte I, Szatmári A, Majda M, Baisa G, Bednarek S, Robert S, Audenaert D, Testerink C, Munnik T, Van Damme D, Heilmann I, Schumacher K, Winne J, Friml J, Verstreken P, Russinova E. 2016. Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification. Nature Communications. 7, 11710.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1347 | OA
Deformation of a quantum many-particle system by a rotating impurity
R. Schmidt, M. Lemeshko, Physical Review X 6 (2016).
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1348 | OA
Bounded embeddings of graphs in the plane
R. Fulek, in:, Springer, 2016, pp. 31–42.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1349 | OA
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.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1350 | OA
Synaptic mechanisms of pattern completion in the hippocampal CA3 network
J. Guzmán, A. Schlögl, M. Frotscher, P.M. Jonas, Science 353 (2016) 1117–1123.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1352 | OA
Coexistence of nematic order and superconductivity in the Hubbard model
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1353 | OA
Deciding absorption
L. Barto, A. Kazda, International Journal of Algebra and Computation 26 (2016) 1033–1060.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1354 | OA
Superconducting cavity electromechanics on a silicon-on-insulator platform
P. Dieterle, M. Kalaee, J.M. Fink, O. Painter, Physical Review Applied 6 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1355 | OA
Quantum electromechanics on silicon nitride nanomembranes
J.M. Fink, M. Kalaee, A. Pitanti, R. Norte, L. Heinzle, M. Davanço, K. Srinivasan, O. Painter, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1356 | OA View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1357 | OA
Richard Hudson and Norman Kaplan on the coalescent process
N.H. Barton, Genetics 202 (2016) 865–866.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1358 | OA
Intrinsic limits to gene regulation by global crosstalk
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkačik, Nature Communications 7 (2016).
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1360 | OA
Elementary approach to closed billiard trajectories in asymmetric normed spaces
A. Akopyan, A. Balitskiy, R. Karasev, A. Sharipova, Proceedings of the American Mathematical Society 144 (2016) 4501–4513.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1361 | OA
Surface only liquids
F. Da, D. Hahn, C. Batty, C.J. Wojtan, E. Grinspun, in:, ACM, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1362 | OA View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1363 | OA
Generalized non-reflecting boundaries for fluid re-simulation
M. Bojsen-Hansen, C.J. Wojtan, in:, ACM, 2016.
View | Files available | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 1365 | OA
Efficiently computing data-independent memory-hard functions
J.F. Alwen, J. Blocki, in:, Springer, 2016, pp. 241–271.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1366 | OA
Provably robust sponge-based PRNGs and KDFs
P. Gazi, S. Tessaro, in:, Springer, 2016, pp. 87–116.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1368 | OA
Correlation driven d wave superconductivity in Anderson lattice model: Two gaps
M. Wysokiński, J. Kaczmarczyk, J. Spałek, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1369 | OA
Seed, expand and constrain: Three principles for weakly-supervised image segmentation
A. Kolesnikov, C. Lampert, in:, Springer, 2016, pp. 695–711.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1370 | OA
Phonon Josephson junction with nanomechanical resonators
S. Barzanjeh, D. Vitali, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1372 | OA
Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis
M. Pernisová, T. Prat, P. Grones, D. Haruštiaková, M. Matonohova, L. Spíchal, T. Nodzyński, J. Friml, J. Hejátko, New Phytologist 212 (2016) 497–509.
View | Files available | DOI
 
 

2016 | Journal Article | IST-REx-ID: 1377 | OA
Total variation on a tree
V. Kolmogorov, T. Pock, M. Rolinek, SIAM Journal on Imaging Sciences 9 (2016) 605–636.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1378 | OA
On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1380 | OA
On the complexity of the orbit problem
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1381 | OA
Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range
I. Mabillard, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1389 | OA
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
View | Files available | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications