Early deciding synchronous renaming in O(log f) rounds or less
D.-A. Alistarh, H. Attiya, R. Guerraoui, C. Travers, in:, Springer, 2012, pp. 195–206.
LibreCat: https://research-explorer.ista.ac.at/record/763
DOI: 10.1007/978-3-642-31104-8_17

Of choices, failures and asynchrony: the many faces of set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Algorithmica (New York) 62 (2012) 595–629.
LibreCat: https://research-explorer.ista.ac.at/record/764
DOI: 10.1007/s00453-011-9581-7

How to allocate tasks asynchronously
D.-A. Alistarh, M. Bender, S. Gilbert, R. Guerraoui, in:, IEEE, 2012, pp. 331–340.
LibreCat: https://research-explorer.ista.ac.at/record/766
DOI: 10.1109/FOCS.2012.41

Generating Fast Indulgent Algorithms
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Theory of Computing Systems 51 (2012) 404–424.
LibreCat: https://research-explorer.ista.ac.at/record/767
DOI: 10.1007/s00224-012-9407-2

Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants
M.R. Robinson, K.U. Mar, V. Lummaa, Ecology Letters 15 (2012) 260–266.
LibreCat: https://research-explorer.ista.ac.at/record/7749
DOI: 10.1111/j.1461-0248.2011.01735.x

Environment-dependent selection on mate choice in a natural population of birds
M.R. Robinson, G. Sander van Doorn, L. Gustafsson, A. Qvarnström, Ecology Letters 15 (2012) 611–618.
LibreCat: https://research-explorer.ista.ac.at/record/7748
DOI: 10.1111/j.1461-0248.2012.01780.x

Finite-size scaling at the jamming transition
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 109 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/7776
DOI: 10.1103/physrevlett.109.095704

Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose
J. Engel, P.S. Schmalhorst, F. Routier, Journal of Biological Chemistry 287 (2012) 44418–44424.
LibreCat: https://research-explorer.ista.ac.at/record/801
DOI: 10.1074/jbc.M112.398321
PMID: 23139423

Non-normal amplification in random balanced neuronal networks
G. Hennequin, T.P. Vogels, W. Gerstner, Physical Review E 86 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/8024
DOI: 10.1103/physreve.86.011909
PMID: 23005454

Actin branching in the initiation and maintenance of lamellipodia
M. Vinzenz, M. Nemethova, F.K. Schur, J. Mueller, A. Narita, E. Urban, C. Winkler, C. Schmeiser, S. Koestler, K. Rottner, G. Resch, Y. Maéda, J. Small, Journal of Cell Science 125 (2012) 2775–2785.
LibreCat: https://research-explorer.ista.ac.at/record/808
DOI: 10.1242/jcs.107623

Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response
V. Dengler, P.S. Meier, R. Heusser, P. Kupferschmied, J. Singer, S. Friebe, S.B. Staufer, P.A. Majcherczyk, P. Moreillon, B. Berger-Bächi, N. McCallum, FEMS Microbiology Letters 333 (2012) 109–120.
LibreCat: https://research-explorer.ista.ac.at/record/8246
DOI: 10.1111/j.1574-6968.2012.02603.x
PMID: 22640011

Hormonal interactions in the regulation of plant development
M. Vanstraelen, E. Benková, Annual Review of Cell and Developmental Biology 28 (2012) 463–487.
LibreCat: https://research-explorer.ista.ac.at/record/826
DOI: 10.1146/annurev-cellbio-101011-155741

Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin
A. Bielach, K. Podlesakova, P. Marhavý, J. Duclercq, C. Cuesta, B. Muller, W. Grunewald, P. Tarkowski, E. Benková, The Plant Cell 24 (2012) 3967–3981.
LibreCat: https://research-explorer.ista.ac.at/record/829
DOI: 10.1105/tpc.112.103044

Estimating the rate of irreversibility in protein evolution
O. Soylemez, F. Kondrashov, Genome Biology and Evolution 4 (2012) 1213–1222.
LibreCat: https://research-explorer.ista.ac.at/record/846
DOI: 10.1093/gbe/evs096

Optimal degree of protonation for 1H detection of aliphatic sites in randomly deuterated proteins as a function of the MAS frequency
S. Asami, K. Szekely, P. Schanda, B.H. Meier, B. Reif, Journal of Biomolecular NMR 54 (2012) 155–168.
LibreCat: https://research-explorer.ista.ac.at/record/8463
DOI: 10.1007/s10858-012-9659-9

Site-resolved measurement of microsecond-to-millisecond conformational-exchange processes in proteins by solid-state NMR spectroscopy
M. Tollinger, A.C. Sivertsen, B.H. Meier, M. Ernst, P. Schanda, Journal of the American Chemical Society 134 (2012) 14800–14807.
LibreCat: https://research-explorer.ista.ac.at/record/8465
DOI: 10.1021/ja303591y

Real-time NMR characterization of structure and dynamics in a transiently populated protein folding intermediate
E. Rennella, T. Cutuil, P. Schanda, I. Ayala, V. Forge, B. Brutscher, Journal of the American Chemical Society 134 (2012) 8066–8069.
LibreCat: https://research-explorer.ista.ac.at/record/8466
DOI: 10.1021/ja302598j

A supplementary coil for 2H decoupling with commercial HCN MAS probes
M. Huber, O. With, P. Schanda, R. Verel, M. Ernst, B.H. Meier, Journal of Magnetic Resonance 214 (2012) 76–80.
LibreCat: https://research-explorer.ista.ac.at/record/8467
DOI: 10.1016/j.jmr.2011.10.010

An example of a nearly integrable Hamiltonian system with a trajectory dense in a set of maximal Hausdorff dimension
V. Kaloshin, M. Saprykina, Communications in Mathematical Physics 315 (2012) 643–697.
LibreCat: https://research-explorer.ista.ac.at/record/8502
DOI: 10.1007/s00220-012-1532-x

Stop codons in bacteria are not selectively equivalent
I. Povolotskaya, F. Kondrashov, A. Ledda, P. Vlasov, Biology Direct 7 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/858
DOI: 10.1186/1745-6150-7-30

Epistasis as the primary factor in molecular evolution
M. Breen, C. Kemena, P. Vlasov, C. Notredame, F. Kondrashov, Nature 490 (2012) 535–538.
LibreCat: https://research-explorer.ista.ac.at/record/900
DOI: 10.1038/nature11510

Dynamic clustering in active colloidal suspensions with chemical signaling
I. Theurkauff, C. Cottin-Bizonne, J.A. Palacci, C. Ybert, L. Bocquet, Physical Review Letters 108 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/9014
DOI: 10.1103/physrevlett.108.268303
PMID: 23005020
arXiv: 1202.6264

Identifying and evaluating organic nonlinear optical materials via molecular moments
A.P. Higginbotham, J. Cole, M. Blood Forsythe, D. Hickstein, Journal of Applied Physics 111 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/91
DOI: 10.1063/1.3678593

Detailed investigation of the self-aggregation of convection in cloud-resolving simulations
C.J. Muller, I.M. Held, Journal of the Atmospheric Sciences 69 (2012) 2551–2565.
LibreCat: https://research-explorer.ista.ac.at/record/9142
DOI: 10.1175/jas-d-11-0257.1

Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
C.A. Ibarra, X. Feng, V.K. Schoft, T.-F. Hsieh, R. Uzawa, J.A. Rodrigues, A. Zemach, N. Chumak, A. Machlicova, T. Nishimura, D. Rojas, R.L. Fischer, H. Tamaru, D. Zilberman, Science 337 (2012) 1360–1364.
LibreCat: https://research-explorer.ista.ac.at/record/9451
DOI: 10.1126/science.1224839
PMID: 22984074

DNA methylation, A.Z, and the regulation of constitutive expression
D. Coleman-Derr, D. Zilberman, Cold Spring Harbor Symposia on Quantitative Biology 77 (2012) 147–154.
LibreCat: https://research-explorer.ista.ac.at/record/9535
DOI: 10.1101/sqb.2012.77.014944
PMID: 23250988

Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, S. Tragust, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, PLoS Biology 10 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3242
DOI: 10.1371/journal.pbio.1001300

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

Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
LibreCat: https://research-explorer.ista.ac.at/record/3251
DOI: 10.1007/978-3-642-27940-9_29

The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Boei, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.
LibreCat: https://research-explorer.ista.ac.at/record/3157
DOI: 10.1038/nature11219
PMID: 22722843

Evolutionary dynamics of biological auctions
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
LibreCat: https://research-explorer.ista.ac.at/record/3260
DOI: 10.1016/j.tpb.2011.11.003
PMID: 22120126