Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, (2012).
LibreCat: https://research-explorer.ista.ac.at/record/9755
DOI: 10.5061/dryad.sv37s

Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates
S. Aeschbacher, A. Futschik, M. Beaumont, (2012).
LibreCat: https://research-explorer.ista.ac.at/record/9758
DOI: 10.5061/dryad.274b1

Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).
LibreCat: https://research-explorer.ista.ac.at/record/9757
DOI: 10.5061/dryad.61649

A Cr unimodal map with an arbitrary fast growth of the number of periodic points
V. Kaloshin, O.S. KOZLOVSKI, Ergodic Theory and Dynamical Systems 32 (2012) 159–165.
LibreCat: https://research-explorer.ista.ac.at/record/8504
DOI: 10.1017/s0143385710000817

Finiteness of central configurations of five bodies in the plane
A. Albouy, V. Kaloshin, Annals of Mathematics 176 (2012) 535–588.
LibreCat: https://research-explorer.ista.ac.at/record/8503
DOI: 10.4007/annals.2012.176.1.10

Gene duplication as a mechanism of genomic adaptation to a changing environment
F. Kondrashov, Proceedings of the Royal Society of London Series B Biological Sciences 279 (2012) 5048–5057.
LibreCat: https://research-explorer.ista.ac.at/record/887
DOI: 10.1098/rspb.2012.1108

Osmotic traps for colloids and macromolecules based on logarithmic sensing in salt taxis
J.A. Palacci, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Soft Matter 8 (2012) 980–994.
LibreCat: https://research-explorer.ista.ac.at/record/9049
DOI: 10.1039/c1sm06395b

Mechanical instabilities of biological tubes
E.B. Hannezo, J. Prost, J. Joanny, Physical Review Letters 109 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/922
DOI: 10.1103/PhysRevLett.109.018101
arXiv: 1207.1516

EM and PR cooperate to repress key regulators of Arabidopsis development
S.Y. Kim, J. Lee, L. Eshed-Williams, D. Zilberman, Z.R. Sung, PLoS Genetics 8 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/9499
DOI: 10.1371/journal.pgen.1002512
PMID: 22457632

Deposition of histone variant A.Z within gene bodies regulates responsive genes
D. Coleman-Derr, D. Zilberman, PLoS Genetics 8 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/9497
DOI: 10.1371/journal.pgen.1002988
PMID: 23071449

Regulation of biological accuracy, precision, and memory by plant chromatin organization
J.T. Huff, D. Zilberman, Current Opinion in Genetics and Development 22 (2012) 132–138.
LibreCat: https://research-explorer.ista.ac.at/record/9528
DOI: 10.1016/j.gde.2012.01.007
PMID: 22336527

Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice
S. Bieri, M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 86 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/966
DOI: 10.1103/PhysRevB.86.224409

A likelihood based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
LibreCat: https://research-explorer.ista.ac.at/record/2968
DOI: 10.1111/j.1365-294X.2012.05700.x

Data from: A likelihood-based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).
LibreCat: https://research-explorer.ista.ac.at/record/13075
DOI: 10.5061/DRYAD.0G0FS

Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets
O. Chovnik, R. Balgley, J.R. Goldman, R. Klajn, Journal of the American Chemical Society 134 (2012) 19564–19567.
LibreCat: https://research-explorer.ista.ac.at/record/13407
DOI: 10.1021/ja309633v
PMID: 23181449

Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles
Y. Ridelman, G. Singh, R. Popovitz-Biro, S.G. Wolf, S. Das, R. Klajn, Small 8 (2012) 654–660.
LibreCat: https://research-explorer.ista.ac.at/record/13408
DOI: 10.1002/smll.201101882
PMID: 22392681

Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
LibreCat: https://research-explorer.ista.ac.at/record/10903
DOI: 10.1007/978-3-642-33386-6_14

Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
LibreCat: https://research-explorer.ista.ac.at/record/10905
DOI: 10.1007/978-3-642-33090-2_27
arXiv: 1604.08234

HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
LibreCat: https://research-explorer.ista.ac.at/record/10906
DOI: 10.1007/978-3-642-28756-5_46

Improved Single Pass Algorithms for Resolution Proof Reduction
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
LibreCat: https://research-explorer.ista.ac.at/record/5745
DOI: 10.1007/978-3-642-33386-6_10