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.

9084 Publications


2008 | Conference Paper | IST-REx-ID: 3705
M. Blaschko and C. Lampert, “Learning to localize objects with structured output regression,” presented at the ECCV: European Conference on Computer Vision, 2008, vol. 5302, pp. 2–15.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3700
C. Lampert, “Partitioning of image datasets using discriminative context information,” presented at the CVPR: Computer Vision and Pattern Recognition, 2008, pp. 1–8.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3716
C. Lampert and M. Blaschko, “A multiple kernel learning approach to joint multi-class object detection,” presented at the DAGM: German Association For Pattern Recognition, 2008, vol. 5096, pp. 31–40.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3714
C. Lampert, M. Blaschko, and T. Hofmann, “Beyond sliding windows: Object localization by efficient subwindow search,” presented at the CVPR: Computer Vision and Pattern Recognition, 2008, pp. 1–8.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3734 | OA
G. Tkačik, T. Gregor, and W. Bialek, “The role of input noise in transcriptional regulation,” PLoS One, vol. 3, no. 7. Public Library of Science, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
A. Kinkhabwala and C. C. Guet, “Uncovering cis regulatory codes using synthetic promoter shuffling,” PLoS One, vol. 3, no. 4. Public Library of Science, 2008.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3754
C. C. Guet et al., “Minimally invasive determination of mRNA concentration in single living bacteria,” Nucleic Acids Research, vol. 36, no. 12. Oxford University Press, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3769
A. Kupczok, A. Von Haeseler, and S. Klaere, “An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees.,” Journal of Computational Biology, vol. 15, no. 6. Mary Ann Liebert, pp. 577–591, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3826
D. Doischer et al., “Postnatal differentiation of basket cells from slow to fast signaling devices,” Journal of Neuroscience, vol. 28, no. 48. Society for Neuroscience, pp. 12956–68, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3827
A. Kerr, E. Reisinger, and P. M. Jonas, “Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses,” PNAS, vol. 105, no. 40. National Academy of Sciences, pp. 15581–6, 2008.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2008, vol. 2, pp. 107–118.
[Published Version] View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3875
K. Chatterjee, T. A. Henzinger, and K. Sen, “Model-checking omega-regular properties of interval Markov chains,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, 2008, vol. 4962, pp. 302–317.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3873
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Controller synthesis with budget constraints,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 72–86.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3876
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: complexity and robustness,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2008, vol. 5215, pp. 124–140.
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3877
K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Environment assumptions for synthesis,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 147–161.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, 2008, vol. 5356, pp. 91–106.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3874
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Trading infinite memory for uniform randomness in timed games,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 87–100.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3879
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” presented at the CSL: Computer Science Logic, 2008, vol. 5213, pp. 385–400.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3872
K. Chatterjee and T. A. Henzinger, “Value iteration,” in 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–138.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3945
C. Tripp et al., “The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1,” Immunobiology, vol. 213, no. 9–10. Elsevier, pp. 715–28, 2008.
View | DOI
 

Search

Filter Publications