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.

9087 Publications


2008 | Conference Paper | IST-REx-ID: 3600
Yang E, Barton NH, Arslan T, Erdogan A. 2008. Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network. IECS: International Conference on Evolvable Systems, LNCS, vol. 5216, 249–260.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3606
Barton NH. 2008. The effect of a barrier to gene flow on patterns of geographic variation. Genetical Research. 90(1), 139–149.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3605
De Cara M, Barton NH, Kirkpatrick M. 2008. A model for the evolution of assortative mating. American Naturalist. 171(5), 580–596.
View | DOI
 

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

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

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

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

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

2008 | Journal Article | IST-REx-ID: 3751 | OA
Kinkhabwala A, Guet CC. 2008. Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. 3(4), e2030.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3754
Guet CC, Bruneaux L, Min T, Siegal Gaskins D, Figueroa I, Emonet T, Cluzel P. 2008. Minimally invasive determination of mRNA concentration in single living bacteria. Nucleic Acids Research. 36(12).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3769
Kupczok A, Von Haeseler A, Klaere S. 2008. An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees. Journal of Computational Biology. 15(6), 577–591.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3826
Doischer D, Hosp J, Yanagawa Y, Obata K, Jonas PM, Vida I, Bartos M. 2008. Postnatal differentiation of basket cells from slow to fast signaling devices. Journal of Neuroscience. 28(48), 12956–68.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3827
Kerr A, Reisinger E, Jonas PM. 2008. Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. PNAS. 105(40), 15581–6.
View | DOI
 

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

2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. 2008. Model-checking omega-regular properties of interval Markov chains. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4962, 302–317.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. 2008. Controller synthesis with budget constraints. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 72–86.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. 2008. Timed parity games: complexity and robustness. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 5215, 124–140.
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. 2008. Environment assumptions for synthesis. CONCUR: Concurrency Theory, LNCS, vol. 5201, 147–161.
View | DOI
 

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

2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. 2008. Trading infinite memory for uniform randomness in timed games. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 87–100.
View | DOI
 

Search

Filter Publications