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.




4170 Publications

2016 | Conference Paper | IST-REx-ID: 1364 | OA
Miguel Villalba E, Lepoutre M, Bickel B. Computational design of stable planar-rod structures. In: Vol 35. ACM; 2016. doi:10.1145/2897824.2925978
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1365 | OA
Alwen JF, Blocki J. Efficiently computing data-independent memory-hard functions. In: Vol 9815. Springer; 2016:241-271. doi:10.1007/978-3-662-53008-5_9
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1366 | OA
Gazi P, Tessaro S. Provably robust sponge-based PRNGs and KDFs. In: Vol 9665. Springer; 2016:87-116. doi:10.1007/978-3-662-49890-3_4
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1368 | OA
Wysokiński M, Kaczmarczyk J, Spałek J. Correlation driven d wave superconductivity in Anderson lattice model: Two gaps. Physical Review B - Condensed Matter and Materials Physics. 2016;94(2). doi:10.1103/PhysRevB.94.024517
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1369 | OA
Kolesnikov A, Lampert C. Seed, expand and constrain: Three principles for weakly-supervised image segmentation. In: Vol 9908. Springer; 2016:695-711. doi:10.1007/978-3-319-46493-0_42
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1370 | OA
Barzanjeh S, Vitali D. Phonon Josephson junction with nanomechanical resonators. Physical Review A - Atomic, Molecular, and Optical Physics. 2016;93(3). doi:10.1103/PhysRevA.93.033846
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1371
Martin O, Krzywicki A, Zagórski MP. Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function. Physics of Life Reviews. 2016;17:124-158. doi:10.1016/j.plrev.2016.06.002
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1372 | OA
Pernisová M, Prat T, Grones P, et al. Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis. New Phytologist. 2016;212(2):497-509. doi:10.1111/nph.14049
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1377 | OA
Kolmogorov V, Pock T, Rolinek M. Total variation on a tree. SIAM Journal on Imaging Sciences. 2016;9(2):605-636. doi:10.1137/15M1010257
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1378 | OA
Dotterrer D, Kaufman T, Wagner U. On expansion and topological overlap. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing; 2016:35.1-35.10. doi:10.4230/LIPIcs.SoCG.2016.35
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1379 | OA
Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-manifolds. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing; 2016:24.1-24.15. doi:10.4230/LIPIcs.SoCG.2016.24
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1380 | OA
Chonev VK, Ouaknine J, Worrell J. On the complexity of the orbit problem. Journal of the ACM. 2016;63(3). doi:10.1145/2857050
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1381 | OA
Mabillard I, Wagner U. Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH; 2016:51.1-51.12. doi:10.4230/LIPIcs.SoCG.2016.51
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1382
Ellis T, Field D. Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae. Annals of Botany. 2016;117(7):1133-1140. doi:10.1093/aob/mcw043
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1389 | OA
Chonev VK, Ouaknine J, Worrell J. On recurrent reachability for continuous linear dynamical systems. In: LICS ’16. IEEE; 2016:515-524. doi:10.1145/2933575.2934548
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1390
D’Antoni L, Samanta R, Singh R. QLOSE: Program repair with quantitative objectives. In: Vol 9780. Springer; 2016:383-401. doi:10.1007/978-3-319-41540-6_21
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1391 | OA
Daca P, Henzinger TA, Kupriyanov A. Array folds logic. In: Vol 9780. Springer; 2016:230-248. doi:10.1007/978-3-319-41540-6_13
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1394 | OA
De Martino D, Capuani F, De Martino A. Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. 2016;13(3). doi:10.1088/1478-3975/13/3/036005
View | DOI | Download Preprint (ext.)
 
2016 | Thesis | IST-REx-ID: 1396 | OA
Mishra RK. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1397
Chmelik M. Algorithms for partially observable markov decision processes. 2016.
View
 

Search

Filter Publications