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.

3381 Publications


2010 | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman, P. A., & MULLER, C. J. (2010). How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/5/2/025207
View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret, J., Henzinger, T. A., Koeppl, H., & Petrov, T. (2010). Lumpability abstractions of rule-based systems (Vol. 40, pp. 142–161). Presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany: Open Publishing Association.
View | Files available | arXiv
 

2010 | Preprint | IST-REx-ID: 3743 | OA
Tkačik, G. (2010). From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv. ArXiv.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3748 | OA
Park, H., Pontius, W., Guet, C. C., Marko, J., Emonet, T., & Cluzel, P. (2010). Interdependence of behavioural variability and response to small stimuli in bacteria. Nature. Nature Publishing Group. https://doi.org/10.1038/nature09551
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3749 | OA
Park, H., Guet, C. C., Emonet, T., & Cluzel, P. (2010). Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay. Current Microbiology. Springer. https://doi.org/10.1007/s00284-010-9778-z
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton, N. H. (2010). Understanding adaptation in large populations. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1000987
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773 | OA
Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2010.0001
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3776 | OA
Barton, N. H. (2010). Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2010.0106
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3777 | OA
Barton, N. H. (2010). Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2009.0320
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3787 | OA
Palero, F., Hall, S., Clark, P., Johnston, D., Mackenzie Dodds, J., & Thatje, S. (2010). DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. Consejo Superior de Investigaciones Científicas. https://doi.org/10.3989/scimar.2010.74n3465
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3790 | OA
Diz Muñoz, A., Krieg, M., Bergert, M., Ibarlucea Benitez, I., Müller, D., Paluch, E., & Heisenberg, C.-P. J. (2010). Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000544
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793 | OA
Nowozin, S., Gehler, P., & Lampert, C. (2010). On parameter learning in CRF-based approaches to object class image segmentation (Vol. 6316, pp. 98–111). Presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece: Springer. https://doi.org/10.1007/978-3-642-15567-3_8
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 3795 | OA
Edelsbrunner, H., Morozov, D., & Patel, A. (2010). The stability of the apparent contour of an orientable 2-manifold. In Topological Data Analysis and Visualization: Theory, Algorithms and Applications (pp. 27–42). Springer. https://doi.org/10.1007/978-3-642-15014-2_3
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3831 | OA
Norenberg, A., Hu, H., Vida, I., Bartos, M., & Jonas, P. M. (2010). Distinct nonuniform cable properties optimize rapid and efficient activation of fast-spiking GABAergic interneurons. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0910716107
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3832 | OA
Guzmán, J., & Jonas, P. M. (2010). Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2010.04.003
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3834 | OA
Wolf, V., Goel, R., Mateescu, M., & Henzinger, T. A. (2010). Solving the chemical master equation using sliding windows. BMC Systems Biology. BioMed Central. https://doi.org/10.1186/1752-0509-4-42
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
Henzinger, T. A., Mateescu, M., Mikeev, L., & Wolf, V. (2010). Hybrid numerical solution of the chemical master equation (pp. 55–65). Presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy: Springer. https://doi.org/10.1145/1839764.1839772
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Henzinger, T. A., Hottelier, T., Kovács, L., & Voronkov, A. (2010). Invariant and type inference for matrices (Vol. 5944, pp. 163–179). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_14
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3842 | OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2010). Fast adaptive uniformization of the chemical master equation. IET Systems Biology. Institution of Engineering and Technology. https://doi.org/10.1049/iet-syb.2010.0005
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845 | OA
Henzinger, T. A., Hottelier, T., Kovács, L., & Rybalchenko, A. (2010). Aligators for arrays (Vol. 6397, pp. 348–356). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer. https://doi.org/10.1007/978-3-642-16242-8_25
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications