Please note that ISTA 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.

7270 Publications


2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar MP, Kolmogorov V, Torr P. An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. 2009;10:71-106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
Vicente S, Kolmogorov V, Rother C. Joint optimization of segmentation and appearance models. In: IEEE; 2009:755-762. doi:10.1109/ICCV.2009.5459287
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
Kolmogorov V, Shioura A. New algorithms for convex cost tension problem with application to computer vision. Discrete Optimization. 2009;6(4):378-393. doi:10.1016/j.disopt.2009.04.006
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3203
Woodford O, Rother C, Kolmogorov V. A global perspective on MAP inference for low level vision. In: IEEE; 2009:2319-2326. doi:10.1109/ICCV.2009.5459434
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3230
Kiltz E, Pietrzak KZ, Stam M, Yung M. A new randomness extraction paradigm for hybrid encryption. In: Vol 5479. Springer; 2009:590-609. doi:10.1007/978-3-642-01001-9_34
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3231
Kiltz E, Pietrzak KZ. On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model. In: Vol 5479. Springer; 2009:389-406. doi:10.1007/978-3-642-01001-9_23
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3232
Pietrzak KZ. A leakage resilient mode of operation. In: Vol 5479. Springer; 2009:462-482. doi:10.1007/978-3-642-01001-9_27
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
Engel J, Schmalhorst PS, Dörk Bousset T, Ferrières V, Routier F. A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus. Journal of Biological Chemistry. 2009;284(49):33859-33868. doi:10.1074/jbc.M109.070219
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
Chakraborty Tuhin S, Goswami S, Siddiqi O. Sensory correlates of imaginal conditioning in Drosophila melanogaster. Journal of Neurogenetics. 2009;23(1-2):210-219. doi:10.1080/01677060802491559
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3304
Weissman D, Desai M, Fisher D, Feldman M. The rate at which asexual populations cross fitness valleys. Theoretical Population Biology. 2009;75(4):286-300. doi:10.1016/j.tpb.2009.02.006
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3309
Uhler C. Mastitis in dairy production: Estimation of sensitivity, specificity and disease prevalence in the absence of a gold standard. Journal of Agricultural Biological and Environmental Statistics. 2009;14(1):79-98. doi:10.1198/jabes.2009.0005
View | DOI
 

2009 | Journal Article | IST-REx-ID: 337
Cabot A, Ibáñez M, Guardia P, Alivisatos P. Reaction regimes on the synthesis of hollow particles by the Kirkendall effect. Journal of the American Chemical Society. 2009;131(32):11326-11328. doi:10.1021/ja903751p
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3398
Bollenbach MT, Kishony R. Quiet gene circuit more fragile than its noisy peer. Cell. 2009;139(3):460-461. doi:10.1016/j.cell.2009.10.005
View | DOI
 

2009 | Thesis | IST-REx-ID: 3400
Schmalhorst PS. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. 2009:1-72.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3408
Szymczak P, Janovjak HL. Periodic forces trigger a complex mechanical response in ubiquitin. Journal of Molecular Biology. 2009;390(3):443-456. doi:10.1016/j.jmb.2009.04.071
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
Vogels TP, Abbott LF. Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. 2009;12(4):483-491. doi:10.1038/nn.2276
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 8474
Schanda P, Huber M, Verel R, Ernst M, Meier B. Direct detection of 3hJN’ hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy. Angewandte Chemie International Edition. 2009;48(49):9322-9325. doi:10.1002/anie.200904411
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8475
Schanda P. Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy. Progress in Nuclear Magnetic Resonance Spectroscopy. 2009;55(3):238-265. doi:10.1016/j.pnmrs.2009.05.002
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8476
Farjon J, Boisbouvier J, Schanda P, Pardi A, Simorre J-P, Brutscher B. Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution. Journal of the American Chemical Society. 2009;131(24):8571-8577. doi:10.1021/ja901633y
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8477
Amero C, Schanda P, Durá MA, et al. Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies. Journal of the American Chemical Society. 2009;131(10):3448-3449. doi:10.1021/ja809880p
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8478
Brüschweiler S, Schanda P, Kloiber K, et al. Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. 2009;131(8):3063-3068. doi:10.1021/ja809947w
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8479
Gal M, Kern T, Schanda P, Frydman L, Brutscher B. An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates. Journal of Biomolecular NMR. 2009;43:1-10. doi:10.1007/s10858-008-9284-9
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8508
Gorodetski A, Kaloshin V. Conservative homoclinic bifurcations and some applications. Proceedings of the Steklov Institute of Mathematics. 2009;267(1):76-90. doi:10.1134/s0081543809040063
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. Approximation of event probabilities in noisy cellular processes. In: Vol 5688. Springer; 2009:173-188. doi:10.1007/978-3-642-03845-7_12
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. In: IEEE; 2009:199-208. doi:10.1109/LICS.2009.16
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee K, Henzinger TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi:10.1007/978-3-642-03816-7_4
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee K. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria; 2009. doi:10.15479/AT:IST-2009-0004
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A Solver for Probabilistic Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0003
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee K, Henzinger TA, Horn F. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0002
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee K, Doyen L, Henzinger TA. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria; 2009. doi:10.15479/AT:IST-2009-0001
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 599 | OA
Knuesel M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 2009;23(4):439-451. doi:10.1101/gad.1767009
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 7080
Yang X-D, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 2009;89(22-24):2083-2091. doi:10.1080/14786430902865518
View | DOI
 

2009 | Journal Article | IST-REx-ID: 7319
Reum M, Freunberger SA, Wokaun A, Büchi FN. Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. 2009;156(3). doi:10.1149/1.3043422
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 752
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and asynchrony: the many faces of set agreement. In: Vol 5878 LNCS. Springer; 2009:943-953. doi:10.1007/978-3-642-10631-6_95
View | DOI
 

2009 | Journal Article | IST-REx-ID: 7751
Robinson MR, Wilson AJ, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. 2009;181(4):1639-1648. doi:10.1534/genetics.108.086801
View | DOI
 

2009 | Journal Article | IST-REx-ID: 110
Des Jardins A, Canfield R, Longcope D, Fordyce C, Waitukaitis SR. Reconnection in three dimensions: The role of spines in three eruptive flares. The Astrophysical Journal. 2009;693(2):1628-1636. doi:10.1088/0004-637X/693/2/1628
View | DOI
 

2009 | Journal Article | IST-REx-ID: 111
Royer J, Evans D, Oyarte L, et al. High-speed tracking of rupture and clustering in freely falling granular streams. Nature. 2009;459(7250):1110-1113. doi:10.1038/nature08115
View | DOI
 

2009 | Journal Article | IST-REx-ID: 11103 | OA
HETZER MW, Wente SR. Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes. Developmental Cell. 2009;17(5):606-616. doi:10.1016/j.devcel.2009.10.007
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11105 | OA
Capelson M, HETZER MW. The role of nuclear pores in gene regulation, development and disease. EMBO reports. 2009;10(7):697-705. doi:10.1038/embor.2009.147
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11106 | OA
Anderson DJ, Vargas JD, Hsiao JP, HETZER MW. Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo. Journal of Cell Biology. 2009;186(2):183-191. doi:10.1083/jcb.200901106
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11107 | OA
Dawson TR, Lazarus MD, HETZER MW, Wente SR. ER membrane–bending proteins are necessary for de novo nuclear pore formation. Journal of Cell Biology. 2009;184(5):659-675. doi:10.1083/jcb.200806174
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11108 | OA
D’Angelo MA, Raices M, Panowski SH, HETZER MW. Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells. Cell. 2009;136(2):284-295. doi:10.1016/j.cell.2008.11.037
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
Browning TD, Heath Brown R. Integral points on cubic hypersurfaces. In: Analytic Number Theory: Essays in Honour of Klaus Roth. Cambridge University Press; 2009:75-90.
View | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 165
Browning TD. Resent progress on the quantitative arithmetic of del Pezzo surfaces. In: Aoki T, Kanemitsu S, Liu J, eds. Vol 6. World Scientific Publishing; 2009:1-18. doi:https://doi.org/10.1142/9789814289924_0001
View | DOI
 

Search

Filter Publications