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.

376 Publications


2012 | Journal Article | IST-REx-ID: 3274
Rieckh G, Kreuzer W, Waubke H, Balazs P. 2012. A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil. Engineering Analysis with Boundary Elements. 36(6), 960–967.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124 | OA
Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization. ICML: International Conference on Machine Learning, Inferning 2012, .
[Submitted Version] View | Files available
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization, IST Austria, 13p.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 8466
Rennella E, Cutuil T, Schanda P, Ayala I, Forge V, Brutscher B. 2012. Real-time NMR characterization of structure and dynamics in a transiently populated protein folding intermediate. Journal of the American Chemical Society. 134(19), 8066–8069.
View | DOI
 

2012 | Research Data Reference | IST-REx-ID: 9758 | OA
Aeschbacher S, Futschik A, Beaumont M. 2012. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates, Dryad, 10.5061/dryad.274b1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3206
Osokin A, Vetrov D, Kolmogorov V. 2011. Submodular decomposition framework for inference in associative Markov networks with global constraints. CVPR: Computer Vision and Pattern Recognition, 1889–1896.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3205
Tarlow D, Batra D, Kohli P, Kolmogorov V. 2011. Dynamic tree block coordinate ascent. ICML: International Conference on Machine Learning, 113–120.
View | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3505 | OA
Sixt MK, Lämmermann T. 2011. In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. 769, 149–165.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Book Chapter | IST-REx-ID: 3271
Wagner H, Chen C, Vuçini E. 2011.Efficient computation of persistent homology for cubical data. In: Topological Methods in Data Analysis and Visualization II. Theory, Algorithms, and Applications, , 91–106.
View | DOI
 

2011 | Conference Poster | IST-REx-ID: 3312 | OA
Zheng Y, Gu S, Edelsbrunner H, Tomasi C, Benfey P. 2011. Detailed reconstruction of 3D plant root shape, IEEE,p.
[Submitted Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 8470
Huber M, Hiller S, Schanda P, Ernst M, Böckmann A, Verel R, Meier BH. 2011. A proton-detected 4D solid-state NMR experiment for protein structure determination. ChemPhysChem. 12(5), 915–918.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3320 | OA
Nowozin S, Lampert C. 2011. Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision. 6(3–4), 185–365.
[Published Version] View | Files available | DOI
 

2010 | Thesis | IST-REx-ID: 2075
Bickel B. 2010. Measurement-based modeling and fabrication of deformable materials for human faces. Unknown.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2095 | OA
Beeler T, Bickel B, Beardsley P, Sumner B, Groß M. 2010. High-quality single-shot capture of facial geometry. ACM Transactions on Graphics. 29(4).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2097
Bickel B, Bac̈Her M, Otaduy M, Lee H, Pfister H, Groß M, Matusik W. 2010. Design and fabrication of materials with desired deformation behavior. ACM Transactions on Graphics. 29(4).
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3686
Nowozin S, Lampert C. 2010. Global interactions in random field models: A potential function ensuring connectedness. SIAM Journal on Imaging Sciences. 3(4 (Special Section on Optimization in Imaging Sciences)), 1048–1074.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3960 | OA
Weber M, Sixt MK. 2010. MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. 29(17), 2861–2863.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Henzinger TA, Hottelier T, Kovács L, Voronkov A. 2010. Invariant and type inference for matrices. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 163–179.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 6142 | OA
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. 2010. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 5(11), e13922.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 2384 | OA
Giuliani A, Seiringer R. 2009. The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. 135(5–6), 915–934.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3203
Woodford O, Rother C, Kolmogorov V. 2009. A global perspective on MAP inference for low level vision. ICCV: International Conference on Computer Vision, 2319–2326.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3703
Blaschko M, Lampert C. 2009. Object localization with global and local context kernels. BMVC: British Machine Vision Conference, Proceedings of the BMVC, , 1–11.
View | DOI | Download (ext.)
 

2009 | Conference Poster | IST-REx-ID: 3717
Lampert C, Peters J. 2009. A high-speed object tracker from off-the-shelf components, IEEE,p.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3733
Kryazhimskiy S, Tkačik G, Plotkin J. 2009. The dynamics of adaptation on correlated fitness landscapes. PNAS. 106(44), 18638–18643.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3949
Quast T, Tappertzhofen B, Schild C, Grell J, Czeloth N, Förster R, Alon R, Fraemohs L, Dreck K, Weber C, Lämmermann T, Sixt MK, Kolanus W. 2009. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 113(23), 5801–5810.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4149
Soete G, Heisenberg C-PJ. 2009. The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. 126, S168–S168.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3696
Lampert C, Blaschko M. 2009. Structured prediction by joint kernel support estimation. Machine Learning. 77(2–3), 249–269.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3708
Nowozin S, Lampert C. 2009. Global connectivity potentials for random field models. CVPR: Computer Vision and Pattern Recognition, 818–825.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4375
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module Inference. CAV: Computer Aided Verification, LNCS 5643, , 493–508.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1749
Rastelli A, Stoffel M, Malachias Â, Merdzhanova T, Katsaros G, Kern K, Metzger T, Schmidt O. 2008. Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography. Nano Letters. 8(5), 1404–1409.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4366
Podelski A, Rybalchenko A, Wies T. 2008. Heap Assumptions on Demand. CAV: Computer Aided Verification, LNCS, vol. 5123, 314–327.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3903
Ugelvig LV, Drijfhout F, Kronauer D, Boomsma J, Pedersen J, Cremer S. 2008. The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. 6(11).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2092
Pietroni N, Otaduy M, Bickel B, Ganovelli F, Groß M. 2007. Texturing internal surfaces from a few cross-sections. Computer Graphics Forum. 26(3), 637–644.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov V, Boykov Y, Rother C. 2007. Applications of parametric maxflow in computer vision. ICCV: International Conference on Computer Vision.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 8484
Lescop E, Schanda P, Brutscher B. 2007. A set of BEST triple-resonance experiments for time-optimized protein resonance assignment. Journal of Magnetic Resonance. 187(1), 163–169.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2077
Bickel B, Wicke M, Gross M. 2006. Adaptive simulation of electrical discharges. VMV: Vision, Modeling, and Visualization.
View
 

2006 | Journal Article | IST-REx-ID: 2089
Weyrich T, Matusik W, Pfister H, Bickel B, Donner C, Tu C, Mcandless J, Lee J, Ngan A, Jensen H, Groß M. 2006. Analysis of human faces using a measurement-based skin reflectance model. ACM Transactions on Graphics. 25(3), 1013–1024.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2088
Weyrich T, Matusik W, Pfister H, Bickel B, Donner C, Tu C, Mcandless J, Lee J, Ngan A, Jensen H, Groß M. 2006. Analysis of human faces using a measurement-based skin reflectance model. ACM SIGGRAPH, 1013–1024.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3188
Rother C, Kolmogorov V, Minka T, Blake A. 2006. Cosegmentation of image pairs by histogram matching - Incorporating a global constraint into MRFs. CVPR: Computer Vision and Pattern Recognition, 993–1000.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3683
Lampert C, Breuel T. 2006. Objective quality measurement for geometric document image restoration. DAS: Document Analysis Systems.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3186
Boykov Y, Kolmogorov V, Cremers D, Delong A. 2006. An integral solution to surface evolution PDEs via geo cuts. ECCV: European Conference on Computer Vision, LNCS, vol. 3953, 409–422.
View | DOI
 

2006 | Patent | IST-REx-ID: 3512 | OA
Fletcher Y, Gloth T, Edelsbrunner H, Fu P. 2006. Method, apparatus and computer products that reconstruct surfaces from data points.
[Published Version] View | Download Published Version (ext.)
 

2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea M, Wessels J, Müller C, Essl M, Eble J, Tolosa E, Koch M, Reinhardt D, Sixt MK, Sorokin L, Stierhof Y, Schwarz H, Klein G. 2006. Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. 119(Pt 7), 1396–1405.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 579
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2006. Counterfactual quantum computation through quantum interrogation. Nature. 439(7079), 949–952.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
Nürnberger B, Barton NH, Kruuk L, Vines T. 2005. Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity. 94(2), 247–257.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3933
Sixt MK, Kanazawa N, Selg M, Samson T, Roos G, Reinhardt D, Pabst R, Lutz M, Sorokin L. 2005. The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity. 22(1), 19–29.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3688
Ulges A, Lampert C, Breuel T. 2004. Document capture using stereo vision. DocEng: ACM Symposium on Document Engineering, 198–200.
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. PLDI: Programming Languages Design and Implementation, 1–13.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
Panchenko A, Kondrashov F, Bryant S. 2004. Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. 13(4), 884–892.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2358 | OA
Lieb É, Seiringer R, Yngvason J. 2003. One-dimensional Bosons in three-dimensional traps. Physical Review Letters. 91(15), 1504011–1504014.
View | DOI | Download (ext.)
 

Filters and Search Terms

keyword%3D%22MAP-inference%22

Search

Filter Publications