Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2833 Publications

2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal, K., Koskinen, E., Wies, T., & Zufferey, D. (2013). Structural Counter Abstraction. (N. Piterman & S. Smolka, Eds.). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy: Springer. https://doi.org/10.1007/978-3-642-36742-7_5
View | Files available | DOI | Download Submitted Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2850 | OA
Tkacik, G., Marre, O., Mora, T., Amodei, D., Berry, M., & Bialek, W. (2013). The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment, 2013(3), P03011. https://doi.org/10.1088/1742-5468/2013/03/P03011
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2851
Berry, M., Tkacik, G., Dubuis, J., Marre, O., & Da Silveira, R. (2013). A simple method for estimating the entropy of neural activity. Journal of Statistical Mechanics Theory and Experiment, 2013(3). https://doi.org/10.1088/1742-5468/2013/03/P03015
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences, 280(1759). https://doi.org/10.1098/rspb.2012.3035
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2854 | OA
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2013). Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences, 79(5), 640–657. https://doi.org/10.1016/j.jcss.2012.12.001
View | Files available | DOI
 

Search

Display / Sort

Citation Style: APA

Export / Embed