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.

2981 Publications


2016 | 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.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1326 | OA
T. Brázdil, A. Kučera, and P. Novotny, “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.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1327 | OA
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, and P. Novotny, “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.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1328 | OA
H. Watzinger et al., “Heavy-hole states in germanium hut wires,” Nano Letters, vol. 16, no. 11, pp. 6879–6885, 2016.
View | Files available | DOI
 

2016 | 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, pp. 3120–3139, 2016.
View | Files available | DOI
 

2016 | 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, pp. 833–845, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | 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, 2016.
View | Files available | DOI
 

2016 | 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, 2016.
View | Files available | DOI
 

2016 | 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, 2016.
View | Files available | DOI
 

2016 | 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.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1339 | OA
G. Verbiest et al., “Tunable mechanical coupling between driven microelectromechanical resonators,” Applied  Physics Letter, vol. 109, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1340 | OA
K. Hansen, R. Ibsen-Jensen, and M. Koucký, “The big match in small space,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 64–76.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1342 | OA
M. Baym et al., “Spatiotemporal microbial evolution on antibiotic landscapes,” Science, vol. 353, no. 6304, pp. 1147–1151, 2016.
View | DOI | Download Preprint (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1344 | OA
M. Fendrych, J. Leung, and J. Friml, “TIR1 AFB Aux IAA auxin perception mediates rapid cell wall acidification and growth of Arabidopsis hypocotyls,” eLife, vol. 5, 2016.
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1346 | OA
W. Dejonghe et al., “Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification,” Nature Communications, vol. 7, 2016.
View | Files available | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 1348 | OA
R. Fulek, “Bounded embeddings of graphs in the plane,” presented at the IWOCA: International Workshop on Combinatorial Algorithms, Helsinki, Finland, 2016, vol. 9843, pp. 31–42.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1349 | OA
P. Oliveto, T. Paixao, J. Heredia, D. Sudholt, and B. Trubenova, “When non-elitism outperforms elitism for crossing fitness valleys,” in Proceedings of the Genetic and Evolutionary Computation Conference 2016 , Denver, CO, USA, 2016, pp. 1163–1170.
View | Files available | DOI
 

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

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

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

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

2016 | Journal Article | IST-REx-ID: 1355 | OA
J. M. Fink et al., “Quantum electromechanics on silicon nitride nanomembranes,” Nature Communications, vol. 7, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1356 | OA
N. H. Barton, “Sewall Wright on evolution in Mendelian populations and the ‘Shifting Balance,’” Genetics, vol. 202, no. 1, pp. 3–4, 2016.
View | Files available | DOI
 

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

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

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

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

2016 | Conference Paper | IST-REx-ID: 1361 | OA
F. Da, D. Hahn, C. Batty, C. J. Wojtan, and E. Grinspun, “Surface only liquids,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1362 | OA
D. Hahn and C. J. Wojtan, “Fast approximations for boundary element based brittle fracture simulation,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1363 | OA
M. Bojsen-Hansen and C. J. Wojtan, “Generalized non-reflecting boundaries for fluid re-simulation,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1364 | OA
E. Miguel Villalba, M. Lepoutre, and B. Bickel, “Computational design of stable planar-rod structures,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1365 | OA
J. F. Alwen and J. Blocki, “Efficiently computing data-independent memory-hard functions,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA, 2016, vol. 9815, pp. 241–271.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1366 | OA
P. Gazi and S. Tessaro, “Provably robust sponge-based PRNGs and KDFs,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria, 2016, vol. 9665, pp. 87–116.
View | DOI | Download Preprint (ext.)
 

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

2016 | Conference Paper | IST-REx-ID: 1369 | OA
A. Kolesnikov and C. Lampert, “Seed, expand and constrain: Three principles for weakly-supervised image segmentation,” presented at the ECCV: European Conference on Computer Vision, Amsterdam, The Netherlands, 2016, vol. 9908, pp. 695–711.
View | DOI | Download Preprint (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1372 | OA
M. Pernisová et al., “Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis,” New Phytologist, vol. 212, no. 2, pp. 497–509, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1373 | OA
O. Martin and M. P. Zagórski, “Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function",” Physics of Life Reviews, vol. 17, pp. 168–171, 2016.
View | DOI | Download Preprint (ext.)
 

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

2016 | Conference Paper | IST-REx-ID: 1378 | OA
D. Dotterrer, T. Kaufman, and U. Wagner, “On expansion and topological overlap,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 35.1-35.10.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
View | Files available | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 1381 | OA
I. Mabillard and U. Wagner, “Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 51.1-51.12.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
K. Chatterjee, H. Fu, and A. Goharshady, “Termination analysis of probabilistic programs through Positivstellensatz’s,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9779, pp. 3–22.
View | DOI | Download Preprint (ext.)
 

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

2016 | Conference Paper | IST-REx-ID: 1391 | OA
P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 230–248.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1394 | OA
D. De Martino, F. Capuani, and A. De Martino, “Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli,” Physical Biology, vol. 13, no. 3, 2016.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications