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.

3061 Publications


2009 | Preprint | IST-REx-ID: 3732 | OA
Tkačik, G., Schneidman, E., Berry, M., & Bialek, W. (2009). Spin glass models for a network of real neurons. ArXiv. ArXiv.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton, N. H., & Coe, J. (2009). On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2009.03.019
View | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison, A., Barton, N. H., & Clarke, B. (2009). The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails. Journal of Evolutionary Biology. Wiley. https://doi.org/10.1111/j.1420-9101.2009.01770.x
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/10.1007/978-3-642-04420-5_2
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer, S., & Sixt, M. K. (2009). Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2008.0166
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1614431.1614432
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, H., & Harer, J. (2009). The persistent Morse complex segmentation of a 3-manifold (Vol. 5903, pp. 36–50). Presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland: Springer. https://doi.org/10.1007/978-3-642-10470-1_4
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, J., Barton, N. H., & Marion, G. (2009). Species’ range: Adaptation in space and time. American Naturalist. University of Chicago Press. https://doi.org/10.1086/605958
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.2009.00622.x
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, R., Henzinger, T. A., & Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_26
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur, R., Cerny, P., & Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer. https://doi.org/10.1007/978-3-642-04027-6_9
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0002
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2009-0001
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 599 | OA
Knuesel, M., Meyer, K., Bernecky, C., & Taatjes, D. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1767009
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 88 | OA
Higginbotham, A. P., Semonin, O., Bruce, S., Chan, C., Maindi, M., Donnelly, T., … Ditmire, T. (2009). Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. American Institute of Physics. https://doi.org/10.1063/1.3155302
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
Vogels, T. P., & Abbott, L. F. (2009). Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/nn.2276
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson, M., Haller, E., Mark, M., Danzl, J. G., Rojas Kopeinig, G., & Nägerl, H. (2008). Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.100.080404
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
Knoop, S., Mark, M., Ferlaino, F., Danzl, J. G., Kraemer, T., Nägerl, H., & Grimm, R. (2008). Metastable feshbach molecules in high rotational states. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.100.083002
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
Danzl, J. G., Haller, E., Gustavsson, M., Mark, M., Hart, R., Bouloufa, N., … Nägerl, H. (2008). Quantum gas of deeply bound ground state molecules. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1159909
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
Hausel, T., & Rodríguez Villegas, F. (2008). Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-008-0142-x
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1763 | OA
Fink, J. M., Göppl, M., Baur, M., Bianchetti, R., Leek, P., Blais, A., & Wallraff, A. (2008). Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. Nature Publishing Group. https://doi.org/10.1038/nature07112
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1765 | OA
Göppl, M., Fragner, A., Baur, M., Bianchetti, R., Filipp, S., Fink, J. M., … Wallraff, A. (2008). Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. American Institute of Physics. https://doi.org/10.1063/1.3010859
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2120 | OA
Maas, J., & Van Neerven, J. (2008). On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. World Scientific Publishing. https://doi.org/10.1142/S0219025708003245
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121 | OA
Van Neerven, J., & Maas, J. (2008). A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. Institute of Mathematical Statistics.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146 | OA
Lemeshko, M., & Friedrich, B. (2008). An analytic model of rotationally inelastic collisions of polar molecules in electric fields. Journal of Chemical Physics. American Institute of Physics. https://doi.org/10.1063/1.2948392
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2331 | OA
Hainzl, C., & Seiringer, R. (2008). Spectral properties of the BCS gap equation of superfluidity (pp. 117–136). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1142/9789812832382_0009
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2332 | OA
Seiringer, R. (2008). Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases (pp. 241–254). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1142/9789812832382_0017
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374 | OA
Seiringer, R. (2008). Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-008-0428-2
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2376 | OA
Hainzl, C., & Seiringer, R. (2008). Critical temperature and energy gap for the BCS equation. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.77.184517
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2377 | OA
Hainzl, C., & Seiringer, R. (2008). The BCS critical temperature for potentials with negative scattering length. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-008-0242-y
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378 | OA
Seiringer, R., & Yin, J. (2008). Ground state energy of the low density hubbard model. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-008-9527-x
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379 | OA
Frank, R., Lieb, É., & Seiringer, R. (2008). Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators. Journal of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/S0894-0347-07-00582-6
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2380 | OA
Hainzl, C., Hamza, E., Seiringer, R., & Solovej, J. (2008). The BCS functional for general pair interactions. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-008-0489-2
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2381 | OA
Frank, R., & Seiringer, R. (2008). Non-linear ground state representations and sharp Hardy inequalities. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2008.05.015
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2382 | OA
Seiringer, R., & Yin, J. (2008). The Lieb-Liniger model as a limit of dilute bosons in three dimensions. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-008-0521-6
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2383 | OA
Hainzl, C., Lewin, M., & Seiringer, R. (2008). A nonlinear model for relativistic electrons at positive temperature. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X08003547
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2702 | OA
Erdös, L., Salmhofer, M., & Yau, H. (2008). Feynman graphs and renormalization in quantum diffusion (pp. 167–182). Presented at the Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday, World Scientific Publishing. https://doi.org/10.1142/9789812833556_0011
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru, E., & Friml, J. (2008). PIN polar targeting. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.108.121756
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3307 | OA
Green, R., Malaspinas, A., Krause, J., Briggs, A., Johnson, P., Uhler, C., … Pääbo, S. (2008). A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. Cell Press. https://doi.org/10.1016/j.cell.2008.06.021
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3435 | OA
Bollback, J. P., York, T., & Nielsen, R. (2008). Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.107.085019
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. Public Library of Science. https://doi.org/10.1371/journal.pone.0002774
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3740 | OA
Tkačik, G., Callan, C., & Bialek, W. (2008). Information flow and optimization in transcriptional regulation. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0806077105
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744 | OA
Tkačik, G., & Magnasco, M. (2008). Decoding spike timing: The differential reverse-correlation method. Biosystems. Elsevier. https://doi.org/10.1016/j.biosystems.2008.04.011
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications