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.




6586 Publications

2018 | Published | Conference Paper | IST-REx-ID: 34 | OA
Chatterjee K, Chemlík M, Topcu U. Sensor synthesis for POMDPs with reachability objectives. In: 28th International Conference on Automated Planning and Scheduling. Vol 2018. AAAI Press; 2018:47-55. doi:10.1609/icaps.v28i1.13875
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
earlier version | 2018 | Published | Conference Paper | IST-REx-ID: 35 | OA
Chatterjee K, Dvorák W, Henzinger M, Svozil A. Algorithms and conditional lower bounds for planning problems. In: 28th International Conference on Automated Planning and Scheduling. AAAI Press; 2018.
[Preprint] View | Files available | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 12 | OA
Nakashima K, Auzinger T, Iarussi E, Zhang R, Igarashi T, Bickel B. CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds. ACM Transactions on Graphics. 2018;37(4). doi:10.1145/3197517.3201341
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 4 | OA
Umetani N, Bickel B. Learning three-dimensional flow for interactive aerodynamic design. ACM Transactions on Graphics. 2018;37(4). doi:10.1145/3197517.3201325
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 13 | OA
Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. Metamolds: Computational design of silicone molds. ACM Transactions on Graphics. 2018;37(4). doi:10.1145/3197517.3201381
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 6589 | OA
Alistarh D-A, Hoefler T, Johansson M, Konstantinov NH, Khirirat S, Renggli C. The convergence of sparsified gradient methods. In: 32nd Conference on Neural Information Processing Systems. Neural Information Processing Systems Foundation; 2018:5973-5983.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 131 | OA
Picard MAL, Cosseau C, Ferré S, et al. Evolution of gene dosage on the Z-chromosome of schistosome parasites. eLife. 2018;7. doi:10.7554/eLife.35684
[Published Version] View | Files available | DOI | WoS
 
2018 | Research Data | IST-REx-ID: 5586 | OA
Vicoso B. Input files and scripts from “Evolution of gene dosage on the Z-chromosome of schistosome parasites” by Picard M.A.L., et al (2018). 2018. doi:10.15479/AT:ISTA:109
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 5996 | OA
Vasudevan M, Hof B. The critical point of the transition to turbulence in pipe flow. Journal of Fluid Mechanics. 2018;839:76-94. doi:10.1017/jfm.2017.923
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Thesis | PhD | IST-REx-ID: 197 | OA
Kolesnikov A. Weakly-supervised segmentation and unsupervised modeling of natural images. 2018. doi:10.15479/AT:ISTA:th_1021
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | PhD | IST-REx-ID: 201 | OA
Iglesias Ham M. Multiple covers with balls. 2018. doi:10.15479/AT:ISTA:th_1026
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | PhD | IST-REx-ID: 68 | OA
Zimin A. Learning from dependent data. 2018. doi:10.15479/AT:ISTA:TH1048
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | PhD | IST-REx-ID: 83 | OA
Abusalah HM. Proof systems for sustainable decentralized cryptocurrencies. 2018. doi:10.15479/AT:ISTA:TH_1046
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 1012 | OA
Erdös L, Schröder DJ. Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues. International Mathematics Research Notices. 2018;2018(10):3255-3298. doi:10.1093/imrn/rnw330
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Thesis | PhD | IST-REx-ID: 49 | OA
Watzinger H. Ge hut wires - from growth to hole spin resonance. 2018. doi:10.15479/AT:ISTA:th_1033
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 566 | OA
Alt J, Erdös L, Krüger TH. Local inhomogeneous circular law. Annals of Applied Probability. 2018;28(1):148-203. doi:10.1214/17-AAP1302
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 5858 | OA
Hross S, Theis FJ, Sixt MK, Hasenauer J. Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. 2018;15(149). doi:10.1098/rsif.2018.0600
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 5860 | OA
Corominas-Murtra B, Seoane LF, Solé R. Zipf’s Law, unbounded complexity and open-ended evolution. Journal of the Royal Society Interface. 2018;15(149). doi:10.1098/rsif.2018.0395
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 5980
Chatterjee S, Kamath Hosdurg C, Kumar V. Private set-intersection with common set-up. Advances in Mathematics of Communications. 2018;12(1):17-47. doi:10.3934/amc.2018002
View | DOI | WoS
 
2018 | Published | Thesis | PhD | IST-REx-ID: 418 | OA
Gschaider-Reichhart E. Optical and optogenetic control of proliferation and survival . 2018. doi:10.15479/AT:ISTA:th_913
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed