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.

3219 Publications


2014 | Journal Article | IST-REx-ID: 5813 | OA
Dereziński J, Napiórkowski MM. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 2014;15(12):2409-2439. doi:10.1007/s00023-013-0302-4
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 589 | OA
Lee J, Vrijsen G, Teper I, Hosten O, Kasevich M. Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. 2014;39(13):4005-4008. doi:10.1364/OL.39.004005
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122 | OA
Linneweber GA, Jacobson J, Busch KE, et al. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 2014;156(1-2):69-83. doi:10.1016/j.cell.2013.12.008
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6124 | OA
Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 2014;10(3). doi:10.1371/journal.pgen.1004082
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6126 | OA
Gross E, Soltesz Z, Oda S, Zelmanovich V, Abergel Z, de Bono M. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 2014;34(50):16726-16738. doi:10.1523/jneurosci.5368-13.2014
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6319 | OA
Bretèche R de la, Browning TD. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 2014;26(1):25-44. doi:10.5802/jtnb.857
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6739 | OA
Mondelli M, Hassani H, Urbanke R. From polar to Reed-Muller codes: A technique to improve the finite-length performance. IEEE Transactions on Communications. 2014;62(9):3084-3091. doi:10.1109/tcomm.2014.2345069
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 6740 | OA
Mondelli M, Urbanke R, Hassani H. How to achieve the capacity of asymmetric channels. In: 52nd Annual Allerton Conference on Communication, Control, and Computing. IEEE; 2014:789-796. doi:10.1109/allerton.2014.7028535
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
View | Files available
 

2014 | Journal Article | IST-REx-ID: 7071 | OA
Modic KA, Smidt TE, Kimchi I, et al. Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. 2014;5. doi:10.1038/ncomms5203
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: Proceedings of the on Future of Software Engineering. ACM; 2014:167-181. doi:10.1145/2593882.2593900
View | DOI | Download Published Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1507 | OA
Erdös L. Random matrices, log-gases and Hölder regularity. In: Vol 3. Kyung Moon SA Co. Ltd.; 2014:214-236.
View | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich G, Hainzl C, Seiringer R. On the BCS gap equation for superfluid fermionic gases. In: Proceedings of the QMath12 Conference. World Scientific Publishing; 2014:127-137. doi:10.1142/9789814618144_0007
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1629 | OA
Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 2014;33(2). doi:10.1145/2591010
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De Prisco R, eds. SCN 2014. Vol 8642. Springer; 2014:95-114. doi:10.1007/978-3-319-10879-7_7
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 119 | OA
Waitukaitis SR, Lee V, Pierson J, Forman S, Jaeger H. Size-dependent same-material tribocharging in insulating grains. APS Physics, Physical Review Letters. 2014;112(21). doi:10.1103/PhysRevLett.112.218001
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 9050 | OA
Takagi D, Palacci JA, Braunschweig AB, Shelley MJ, Zhang J. Hydrodynamic capture of microswimmers into sphere-bound orbits. Soft Matter. 2014;10(11). doi:10.1039/c3sm52815d
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 96 | OA
Higginbotham AP, Kuemmeth F, Hanson M, Gossard A, Marcus C. Coherent operations and screening in multielectron spin qubits. APS Physics, Physical Review Letters. 2014;112(2). doi:10.1103/PhysRevLett.112.026801
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 97 | OA
Higginbotham AP, Kuemmeth F, Larsen T, et al. Antilocalization of coulomb blockade in a Ge/Si nanowire. APS Physics, Physical Review Letters. 2014;112(21). doi:10.1103/PhysRevLett.112.216806
View | DOI | Download None (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 977 | OA
Serbyn M, Knap M, Gopalakrishnan S, et al. Interferometric probes of many-body localization. Physical Review Letters. 2014;113(14). doi:10.1103/PhysRevLett.113.147204
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 978 | OA
Zeljkovic I, Okada Y, Huang C, et al. Mapping the unconventional orbital texture in topological crystalline insulators. Nature Physics. 2014;10(8):572-577. doi:10.1038/nphys3012
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 979 | OA
Serbyn M, Fu L. Symmetry breaking and Landau quantization in topological crystalline insulators. Physical Review B - Condensed Matter and Materials Physics. 2014;90(3). doi:10.1103/PhysRevB.90.035402
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 98 | OA
Higginbotham AP, Larsen T, Yao J, et al. Hole spin coherence in a Ge/Si heterostructure nanowire. Nano Letters. 2014;14(6):3582-3586. doi:10.1021/nl501242b
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 980 | OA
Serbyn M, Papić Z, Abanin D. Quantum quenches in the many-body localized phase. Physical Review B - Condensed Matter and Materials Physics. 2014;90(17). doi:10.1103/PhysRevB.90.174302
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 451 | OA
Pilarczyk P, Real P. Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics. 2014;41(1):253-275. doi:10.1007/s10444-014-9356-1
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085841
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 350 | OA
Li W, Ibáñez M, Cadavid D, et al. Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4. Journal of Nanoparticle Research. 2014;16(3). doi:10.1007/s11051-014-2297-2
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 9166 | OA
Palacci JA, Sacanna S, Kim S-H, Yi G-R, Pine DJ, Chaikin PM. Light-activated self-propelled colloids. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2014;372(2029). doi:10.1098/rsta.2013.0372
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2218 | OA
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Regression-free synthesis for concurrency. In: Vol 8559. Springer; 2014:568-584. doi:10.1007/978-3-319-08867-9_38
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2159 | OA
Mabillard I, Wagner U. Eliminating Tverberg points, I. An analogue of the Whitney trick. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:171-180. doi:10.1145/2582112.2582134
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2023 | OA
Novak S. Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution. 2014;4(24):4589-4597. doi:10.1002/ece3.1289
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1913 | OA
Milenković I, Petrov T, Kovács G. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 2014;38(5-6):375-388. doi:10.1159/000365548
View | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2260 | OA
Bernhard D, Fuchsbauer G, Ghadafi E. Efficient signatures of knowledge and DAA in the standard model. 2013;7954:518-533. doi:10.1007/978-3-642-38980-1_33
View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2264 | OA
Liang H, Xiao G, Yin H, Hippenmeyer S, Horowitz J, Ghashghaei T. Neural development is dependent on the function of specificity protein 2 in cell cycle progression. Development. 2013;140(3):552-561. doi:10.1242/dev.085621
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2270 | OA
Bachrach Y, Kohli P, Kolmogorov V, Zadimoghaddam M. Optimal Coalition Structures in Cooperative Graph Games. In: AAAI Press; 2013:81-87.
View | Download None (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2272 | OA
Takhanov R, Kolmogorov V. Inference algorithms for pattern-based CRFs on sequence data. In: ICML’13 Proceedings of the 30th International Conference on International. Vol 28. International Machine Learning Society; 2013:145-153.
View | Files available | Download Submitted Version (ext.)
 

2013 | Report | IST-REx-ID: 2273 | OA
Kolmogorov V. Reweighted Message Passing Revisited. IST Austria; 2013.
View | Download (ext.)
 

2013 | Report | IST-REx-ID: 2274 | OA
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of Space. IST Austria; 2013.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2276 | OA
Gridchyn I, Kolmogorov V. Potts model, parametric maxflow and k-submodular functions. In: IEEE; 2013:2320-2327. doi:10.1109/ICCV.2013.288
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2277 | OA
Simmons K, Prentice J, Tkačik G, et al. Transformation of stimulus correlations by the retina. PLoS Computational Biology. 2013;9(12). doi:10.1371/journal.pcbi.1003344
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279 | OA
Chatterjee K, Doyen L, Randour M, Raskin J. Looking at mean-payoff and total-payoff through windows. 2013;8172:118-132. doi:10.1007/978-3-319-02444-8_10
View | Files available | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 2280 | OA
Uhler C, Wright S. Packing ellipsoids with overlap. SIAM Review. 2013;55(4):671-706. doi:10.1137/120872309
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2282 | OA
Campinho P, Behrndt M, Ranft J, Risler T, Minc N, Heisenberg C-PJ. Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly. Nature Cell Biology. 2013;15:1405-1414. doi:10.1038/ncb2869
View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2284 | OA
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. 2013;13(1). doi:10.1186/1471-2148-13-225
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2286 | OA
Campinho P, Heisenberg C-PJ. The force and effect of cell proliferation. EMBO Journal. 2013;32(21):2783-2784. doi:10.1038/emboj.2013.225
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2287 | OA
Pickup M, Barrett S. The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution. 2013;3(3):629-639. doi:10.1002/ece3.465
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2289 | OA
Henzinger TA. Quantitative reactive modeling and verification. Computer Science Research and Development. 2013;28(4):331-344. doi:10.1007/s00450-013-0251-7
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2290 | OA
Boutté Y, Jonsson K, Mcfarlane H, et al. ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation. PNAS. 2013;110(40):16259-16264. doi:10.1073/pnas.1309057110
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications