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.

3135 Publications


2014 | Conference Paper | IST-REx-ID: 2157 | OA
Matoušek J, Sedgwick E, Tancer M, Wagner U. Embeddability in the 3 sphere is decidable. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:78-84. doi:10.1145/2582112.2582137
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2158 | OA
Majumdar R, Sixt MK, Parent C. New paradigms in the establishment and maintenance of gradients during directed cell migration. Current Opinion in Cell Biology. 2014;30(1):33-40. doi:10.1016/j.ceb.2014.05.010
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2160 | OA
Pentina A, Lampert C. A PAC-Bayesian bound for Lifelong Learning. In: Xing E, Jebara T, eds. Vol 32. Omnipress; 2014:991-999.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2161
Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Behavioral Ecology and Sociobiology. 2014;68(10):1701-1710. doi:10.1007/s00265-014-1778-8
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2162 | OA
Chatterjee K, Ibsen-Jensen R. The complexity of ergodic mean payoff games. In: Vol 8573. Springer; 2014:122-133. doi:10.1007/978-3-662-43951-7_11
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2163 | OA
Chatterjee K, Doyen L. Games with a weak adversary. In: Lecture Notes in Computer Science. Vol 8573. Springer; 2014:110-121. doi:10.1007/978-3-662-43951-7_10
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2164
Chai X, Münzner G, Zhao S, et al. Epilepsy-induced motility of differentiated neurons. Cerebral Cortex. 2014;24(8):2130-2140. doi:10.1093/cercor/bht067
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2167 | OA
Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional specifications for IOCO testing. In: IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE; 2014. doi:10.1109/ICST.2014.50
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2168 | OA
Kelleher J, Etheridge A, Barton NH. Coalescent simulation in continuous space: Algorithms for large neighbourhood size. Theoretical Population Biology. 2014;95:13-23. doi:10.1016/j.tpb.2014.05.001
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2169 | OA
Barton NH, Novak S, Paixao T. Diverse forms of selection in evolution and computer science. PNAS. 2014;111(29):10398-10399. doi:10.1073/pnas.1410107111
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2170 | OA
Hearn J, Stone G, Bunnefeld L, Nicholls J, Barton NH, Lohse K. Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology. 2014;23(1):198-211. doi:10.1111/mec.12578
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2171 | OA
Kolesnikov A, Guillaumin M, Ferrari V, Lampert C. Closed-form approximate CRF training for scalable image segmentation. In: Fleet D, Pajdla T, Schiele B, Tuytelaars T, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8691. Springer; 2014:550-565. doi:10.1007/978-3-319-10578-9_36
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2172
Sydorov V, Sakurada M, Lampert C. Deep Fisher Kernels – End to end learning of the Fisher Kernel GMM parameters. In: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. IEEE; 2014:1402-1409. doi:10.1109/CVPR.2014.182
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2173 | OA
Khamis S, Lampert C. CoConut: Co-classification with output space regularization. In: Proceedings of the British Machine Vision Conference 2014. BMVA Press; 2014.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2174 | OA
De Vladar H, Barton NH. Stability and response of polygenic traits to stabilizing selection and mutation. Genetics. 2014;197(2):749-767. doi:10.1534/genetics.113.159111
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2175 | OA
Postiglione MP, Hippenmeyer S. Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology. 2014;9(3):323-340. doi:10.2217/fnl.14.18
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2176
Studer D, Zhao S, Chai X, et al. Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue. Nature Protocols. 2014;9(6):1480-1495. doi:10.1038/nprot.2014.099
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2177
Edelsbrunner H, Parsa S. On the computational complexity of betti numbers reductions from matrix rank. In: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM; 2014:152-160. doi:10.1137/1.9781611973402.11
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2178 | OA
Haws D, Martin del Campo Sanchez A, Takemura A, Yoshida R. Markov degree of the three-state toric homogeneous Markov chain model. Beitrage zur Algebra und Geometrie. 2014;55(1):161-188. doi:10.1007/s13366-013-0178-y
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2179 | OA
Ajanki OH, Erdös L, Krüger TH. Local semicircle law with imprimitive variance matrix. Electronic Communications in Probability. 2014;19. doi:10.1214/ECP.v19-3121
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications