Please note that ISTA 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.

9078 Publications


2014 | Technical Report | IST-REx-ID: 5413 | OA
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5414 | OA
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5412 | OA
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2163 | OA
Games with a weak adversary
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5419 | OA
Improved algorithms for reachability and shortest path on low tree-width graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2217
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417 | OA
From model checking to model measuring
T.A. Henzinger, J. Otop, From Model Checking to Model Measuring, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5416 | OA
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418 | OA
Games with a weak adversary
K. Chatterjee, L. Doyen, Games with a Weak Adversary, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420 | OA
The value 1 problem for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, The Value 1 Problem for Concurrent Mean-Payoff Games, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422 | OA
Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none, 2014.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5424 | OA
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5426 | OA
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5423 | OA
A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Kössler, A. Pavlogiannis, U. Schmid, A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427 | OA
Optimal tree-decomposition balancing and reachability on low treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425 | OA
Optimal cost almost-sure reachability in POMDPs
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Optimal Cost Almost-Sure Reachability in POMDPs, IST Austria, 2014.
[Published Version] View | Files available
 

2014 | Technical Report | IST-REx-ID: 5415 | OA
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421 | OA
The complexity of evolution on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolution on Graphs, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 5813 | OA
Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit
J. Dereziński, M.M. Napiórkowski, Annales Henri Poincaré 15 (2014) 2409–2439.
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 5810
On Finding Spherical Geodesic Paths and Circles in ℤ3
R. Biswas, P. Bhowmick, 8668 (2014) 396–409.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 589 | OA
Many-atom-cavity QED system with homogeneous atom-cavity coupling
J. Lee, G. Vrijsen, I. Teper, O. Hosten, M. Kasevich, Optics Letters 39 (2014) 4005–4008.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6126 | OA
GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, M. de Bono, Journal of Neuroscience 34 (2014) 16726–16738.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6124 | OA
An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism
C. Chen, E. Itakura, K.P. Weber, R.S. Hegde, M. de Bono, PLoS Genetics 10 (2014).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6122 | OA
Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching
G.A. Linneweber, J. Jacobson, K.E. Busch, B. Hudry, C.P. Christov, D. Dormann, M. Yuan, T. Otani, E. Knust, M. de Bono, I. Miguel-Aliaga, Cell 156 (2014) 69–83.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6319 | OA
Contre-exemples au principe de Hasse pour certains tores coflasques
R. de la Bretèche, T.D. Browning, Journal de Théorie Des Nombres de Bordeaux 26 (2014) 25–44.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 6740 | OA
How to achieve the capacity of asymmetric channels
M. Mondelli, R. Urbanke, H. Hassani, in:, 52nd Annual Allerton Conference on Communication, Control, and Computing, IEEE, 2014, pp. 789–796.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6739 | OA
From polar to Reed-Muller codes: A technique to improve the finite-length performance
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Communications 62 (2014) 3084–3091.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6744
Joint power allocation and path selection for multi-hop noncoherent decode and forward UWB communications
M. Mondelli, Q. Zhou, V. Lottici, X. Ma, IEEE Transactions on Wireless Communications 13 (2014) 1397–1409.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 10885
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
[Preprint] View | Files available | DOI | arXiv
 

2014 | Book | IST-REx-ID: 6853
A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
View | Files available | DOI
 

2014 | Working Paper | IST-REx-ID: 7038 | OA
Playful Math - An introduction to mathematical games
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.
[Published Version] View | Files available
 

2014 | Journal Article | IST-REx-ID: 7071 | OA
Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate
K.A. Modic, T.E. Smidt, I. Kimchi, N.P. Breznay, A. Biffin, S. Choi, R.D. Johnson, R. Coldea, P. Watkins-Curry, G.T. McCandless, J.Y. Chan, F. Gandara, Z. Islam, A. Vishwanath, A. Shekhter, R.D. McDonald, J.G. Analytis, Nature Communications 5 (2014).
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7072
Controlling magnetic order and quantum disorder in molecule-based magnets
Lancaster T, Goddard PA, Blundell SJ, Foronda FR, Ghannadzadeh S, Möller JS, Baker PJ, Pratt FL, Baines C, Huang L, Wosnitza J, McDonald RD, Modic KA, Singleton J, Topping CV, Beale TAW, Xiao F, Schlueter JA, Barton AM, Cabrera RD, Carreiro KE, Tran HE, Manson JL. 2014. Controlling magnetic order and quantum disorder in molecule-based magnets. Physical Review Letters. 112(20), 207201.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 7303
Nonaqueous Electrolytes
S.A. Freunberger, Y. Chen, F. Bardé, K. Takechi, F. Mizuno, P.G. Bruce, in:, N. Imanishi, A.C. Luntz, P. Bruce (Eds.), The Lithium Air Battery: Fundamentals, Springer Nature, New York, NY, 2014, pp. 23–58.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries
A. Dunst, V. Epp, I. Hanzu, S.A. Freunberger, M. Wilkening, Energy & Environmental Science 7 (2014) 2739–2752.
[Published Version] View | DOI
 

2014 | Journal Article | IST-REx-ID: 7305
The role of LiO2 solubility in O2 reduction in aprotic solvents and its consequences for Li–O2 batteries
L. Johnson, C. Li, Z. Liu, Y. Chen, S.A. Freunberger, P.C. Ashok, B.B. Praveen, K. Dholakia, J.-M. Tarascon, P.G. Bruce, Nature Chemistry 6 (2014) 1091–1099.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7304
Materials challenges in rechargeable lithium-air batteries
D.G. Kwabi, N. Ortiz-Vitoriano, S.A. Freunberger, Y. Chen, N. Imanishi, P.G. Bruce, Y. Shao-Horn, MRS Bulletin 39 (2014) 443–452.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7301
Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent
C. Li, O. Fontaine, S.A. Freunberger, L. Johnson, S. Grugeon, S. Laruelle, P.G. Bruce, M. Armand, The Journal of Physical Chemistry C 118 (2014) 3393–3401.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7300
Enhancing photoinduced electron transfer efficiency of fluorescent pH-probes with halogenated phenols
D. Aigner, S.A. Freunberger, M. Wilkening, R. Saf, S.M. Borisov, I. Klimant, Analytical Chemistry 86 (2014) 9293–9300.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7361
A bistable genetic switch based on designable DNA-binding domains
T. Lebar, U. Bezeljak, A. Golob, M. Jerala, L. Kadunc, B. Pirš, M. Stražar, D. Vučko, U. Zupančič, M. Benčina, V. Forstnerič, R. Gaber, J. Lonzarić, A. Majerle, A. Oblak, A. Smole, R. Jerala, Nature Communications 5 (2014).
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7455
Studying the surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS)
T. Costanzo, F. Benzi, P. Ghigna, S. Pin, G. Spinolo, F. d’Acapito, Journal of Synchrotron Radiation 21 (2014) 395–400.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7598 | OA
Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5
S. Tan, H.-W. Xue, Cell Reports 9 (2014) 1692–1702.
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 768
Dynamic task allocation in asynchronous shared memory
D.-A. Alistarh, J. Aspnes, M. Bender, R. Gelashvili, S. Gilbert, in:, SIAM, 2014, pp. 416–435.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 769
Tight bounds for asynchronous renaming
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, R. Guerraoui, Journal of the ACM 61 (2014).
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 770
StackTrack: An automated transactional approach to concurrent memory reclamation
D.-A. Alistarh, P. Eugster, M. Herlihy, A. Matveev, N. Shavit, in:, ACM, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 771
Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems
D.-A. Alistarh, O. Denysyuk, L. Rodrígues, N. Shavit, in:, ACM, 2014, pp. 232–241.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 772 | OA
Are lock-free concurrent algorithms practically wait-free?
D.-A. Alistarh, K. Censor Hillel, N. Shavit, in:, ACM, 2014, pp. 714–723.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 773
Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, in:, F. Kuhn (Ed.), Springer, 2014, pp. 61–75.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 774
Brief announcement: Are lock-free concurrent algorithms practically wait-free?
D.-A. Alistarh, K. Censor Hille, N. Shavit, in:, ACM, 2014, pp. 50–52.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 775 | OA
The levelarray: A fast, practical long-lived renaming algorithm
D.-A. Alistarh, J. Kopinsky, A. Matveev, N. Shavit, in:, IEEE, 2014, pp. 348–357.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Book Chapter | IST-REx-ID: 7743
Influence of the environment on the genetic architecture of traits involved in sexual selection within wild populations
M.R. Robinson, A. Qvarnström, in:, J. Hunt, D. Hosken (Eds.), Genotype-by-Environment Interactions and Sexual Selection, Wiley, Chichester, UK, 2014, pp. 137–168.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7744
Explaining additional genetic variation in complex traits
M.R. Robinson, N.R. Wray, P.M. Visscher, Trends in Genetics 30 (2014) 124–132.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7768
Vibrational and structural signatures of the crossover between dense glassy and sparse gel-like attractive colloidal packings
M.A. Lohr, T. Still, R. Ganti, M.D. Gratale, Z.S. Davidson, K.B. Aptowicz, C.P. Goodrich, D.M. Sussman, A.G. Yodh, Physical Review E 90 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7771 | OA
Comment on “Repulsive contact interactions make jammed particulate systems inherently nonharmonic”
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 112 (2014).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7772
Phonon dispersion and elastic moduli of two-dimensional disordered colloidal packings of soft particles with frictional interactions
T. Still, C.P. Goodrich, K. Chen, P.J. Yunker, S. Schoenholz, A.J. Liu, A.G. Yodh, Physical Review E 89 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7773
Solids between the mechanical extremes of order and disorder
C.P. Goodrich, A.J. Liu, S.R. Nagel, Nature Physics 10 (2014) 578–581.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7769
Jamming in finite systems: Stability, anisotropy, fluctuations, and scaling
C.P. Goodrich, S. Dagois-Bohy, B.P. Tighe, M. van Hecke, A.J. Liu, S.R. Nagel, Physical Review E 90 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7770
Contact nonlinearities and linear response in jammed particulate packings
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review E 90 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8021 | OA
Activity-dependent dendritic spine neck changes are correlated with synaptic strength
R. Araya, T.P. Vogels, R. Yuste, Proceedings of the National Academy of Sciences 111 (2014) E2895–E2904.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 8023 | OA
Connection-type-specific biases make uniform random network models consistent with cortical recordings
C. Tomm, M. Avermann, C. Petersen, W. Gerstner, T.P. Vogels, Journal of Neurophysiology 112 (2014) 1801–1814.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 8022 | OA
Optimal control of transient dynamics in balanced networks supports generation of complex movements
G. Hennequin, T.P. Vogels, W. Gerstner, Neuron 82 (2014) 1394–1406.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 809
Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly
T. Bharata, L. Menendez, W. Hagena, V. Luxd, S. Igonete, M. Schorba, F.K. Schur, H. Kraüsslich, J. Briggsa, PNAS 111 (2014) 8233–8238.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8244
Generation of a canine anti-EGFR (ErbB-1) antibody for passive immunotherapy in dog cancer patients
J. Singer, J. Singer, W. Wang, M. Weichselbaumer, M. Matz, A. Mader, W. Steinfellner, S. Meitz, D. Mechtcheriakova, Y. Sobanov, M. Willmann, T. Stockner, E. Spillner, R. Kunert, E. Jensen-Jarolim, Molecular Cancer Therapeutics 13 (2014) 1777–1790.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8459
Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data
S. Morin, T.E. Linnet, M. Lescanne, P. Schanda, G.S. Thompson, M. Tollinger, K. Teilum, S. Gagné, D. Marion, C. Griesinger, M. Blackledge, E.J. d’Auvergne, Bioinformatics 30 (2014) 2219–2220.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 8458
Atomic model of a cell-wall cross-linking enzyme in complex with an intact bacterial peptidoglycan
P. Schanda, S. Triboulet, C. Laguri, C.M. Bougault, I. Ayala, M. Callon, M. Arthur, J.-P. Simorre, Journal of the American Chemical Society 136 (2014) 17852–17860.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8460
Probing transient conformational states of proteins by solid-state R1ρ relaxation-dispersion NMR spectroscopy
P. Ma, J.D. Haller, J. Zajakala, P. Macek, A.C. Sivertsen, D. Willbold, J. Boisbouvier, P. Schanda, Angewandte Chemie International Edition 53 (2014) 4312–4317.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8501
Generic fast diffusion for a class of non-convex Hamiltonians with two degrees of freedom
A. Bounemoura, V. Kaloshin, Moscow Mathematical Journal 14 (2014) 181–203.
[Preprint] View | DOI | arXiv
 

2014 | Journal Article | IST-REx-ID: 8500
Arnol′d diffusion in a pendulum lattice
V. Kaloshin, M. Levi, M. Saprykina, Communications on Pure and Applied Mathematics 67 (2014) 748–775.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 852
Long-Term asymmetrical acceleration of protein evolution after gene duplication
O. Rosello, F. Kondrashov, Genome Biology and Evolution 6 (2014) 1949–1955.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 856
Duplication of a promiscuous transcription factor drives the emergence of a new regulatory network
K. Pougach, A. Voet, F. Kondrashov, K. Voordeckers, J. Christiaens, B. Baying, V. Bénès, R. Sakai, J. Aerts, B. Zhu, P. Van Dijck, K. Verstrepen, Nature Communications 5 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 863
The ctenophore genome and the evolutionary origins of neural systems
Moroz L, Kocot K, Citarella M, Dosung S, Norekian T, Povolotskaya I, Grigorenko A, Dailey C, Berezikov E, Buckley K, Ptitsyn A, Reshetov D, Mukherjee K, Moroz T, Bobkova Y, Yu F, Kapitonov V, Jurka J, Bobkov Y, Swore J, Girardo D, Fodor A, Gusev F, Sanford R, Bruders R, Kittler E, Mills C, Rast J, Derelle R, Solovyev V, Kondrashov F, Swalla B, Sweedler J, Rogaev E, Halanych K, Kohn A. 2014. The ctenophore genome and the evolutionary origins of neural systems. Nature. 510(7503), 109–114.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 865
Anti leprosy drug clofazimine inhibits growth of triple-negative breast cancer cells via inhibition of canonical Wnt signaling
A. Koval, P. Vlasov, P. Shichkova, S. Khunderyakova, Y. Markov, J. Panchenko, A. Volodina, F. Kondrashov, V. Katanaev, Biochemical Pharmacology 87 (2014) 571–578.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 925
Balance between apical membrane growth and luminal matrix resistance determines epithelial tubule shape
B. Dong, E.B. Hannezo, S. Hayashi, Cell Reports 7 (2014) 941–950.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 927
Theory of epithelial sheet morphology in three dimensions
E.B. Hannezo, J. Prost, J. Joanny, PNAS 111 (2014) 27–32.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 9519
DNA methylation as a system of plant genomic immunity
M.Y. Kim, D. Zilberman, Trends in Plant Science 19 (2014) 320–326.
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 96 | OA
Coherent operations and screening in multielectron spin qubits
A.P. Higginbotham, F. Kuemmeth, M. Hanson, A. Gossard, C. Marcus, APS Physics, Physical Review Letters 112 (2014).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 9594 | OA
On the number of spanning trees in random regular graphs
C. Greenhill, M.A. Kwan, D. Wind, The Electronic Journal of Combinatorics 21 (2014).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 9655 | OA
Correlative light- and electron microscopy with chemical tags
M. Perkovic, M. Kunz, U. Endesfelder, S. Bunse, C. Wigge, Z. Yu, V.-V. Hodirnau, M.P. Scheffer, A. Seybert, S. Malkusch, E.M. Schuman, M. Heilemann, A.S. Frangakis, Journal of Structural Biology 186 (2014) 205–213.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 9686
Strength of metals under vibrations – dislocation-density-function dynamics simulations
B. Cheng, H.S. Leung, A.H.W. Ngan, Philosophical Magazine 95 (2014) 1845–1865.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2083 | OA
Role of sex and migration in adaptation to sink environments
M. Lagator, A. Morgan, P. Neve, N. Colegrave, Evolution 68 (2014) 2296–2305.
[Published Version] View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9747 | OA
Data from: Role of sex and migration in adaptation to sink environments
M. Lagator, A. Morgan, P. Neve, N. Colegrave, (2014).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 977 | OA
Interferometric probes of many-body localization
M. Serbyn, M. Knap, S. Gopalakrishnan, Z. Papić, N. Yao, C. Laumann, D. Abanin, M. Lukin, E. Demler, Physical Review Letters 113 (2014).
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 980 | OA
Quantum quenches in the many-body localized phase
M. Serbyn, Z. Papić, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 90 (2014).
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 98 | OA
Hole spin coherence in a Ge/Si heterostructure nanowire
A.P. Higginbotham, T. Larsen, J. Yao, H. Yan, C. Lieber, C. Marcus, F. Kuemmeth, Nano Letters 14 (2014) 3582–3586.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2086 | OA
So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).
[Published Version] View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9888
Supporting information
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, (2014).
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 845
Crossing-over in a hypervariable species preferentially occurs in regions of high local similarity
V. Seplyarskiy, M. Logacheva, A. Penin, M. Baranová, E. Leushkin, N. Demidenko, A. Klepikova, F. Kondrashov, A. Kondrashov, T. James, Molecular Biology and Evolution 31 (2014) 3016–3025.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 892
A structural perspective of compensatory evolution
D. Ivankov, A. Finkelstein, F. Kondrashov, Current Opinion in Structural Biology 26 (2014) 104–112.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 9050 | OA
Hydrodynamic capture of microswimmers into sphere-bound orbits
D. Takagi, J.A. Palacci, A.B. Braunschweig, M.J. Shelley, J. Zhang, Soft Matter 10 (2014).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 9166 | OA
Light-activated self-propelled colloids
J.A. Palacci, S. Sacanna, S.-H. Kim, G.-R. Yi, D.J. Pine, P.M. Chaikin, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 372 (2014).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 926
Growth homeostatic regulation and stem cell dynamics in tissues
E.B. Hannezo, J. Prost, J. Joanny, Journal of the Royal Society Interface 11 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 9458 | OA
Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse eukaryotes
J.T. Huff, D. Zilberman, Cell 156 (2014) 1286–1297.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 9479 | OA
The AAA-ATPase molecular chaperone Cdc48/p97 disassembles sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA genes
Z. Mérai, N. Chumak, M. García-Aguilar, T.-F. Hsieh, T. Nishimura, V.K. Schoft, J. Bindics, L. Ślusarz, S. Arnoux, S. Opravil, K. Mechtler, D. Zilberman, R.L. Fischer, H. Tamaru, Proceedings of the National Academy of Sciences 111 (2014) 16166–16171.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 9662 | OA
Direct path integral estimators for isotope fractionation ratios
B. Cheng, M. Ceriotti, The Journal of Chemical Physics 141 (2014).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 97 | OA
Antilocalization of coulomb blockade in a Ge/Si nanowire
A.P. Higginbotham, F. Kuemmeth, T. Larsen, M. Fitzpatrick, J. Yao, H. Yan, C. Lieber, C. Marcus, APS Physics, Physical Review Letters 112 (2014).
View | DOI | Download None (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2004 | OA
Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H. Byrne, A. Dinnyés, K. Kovács, PLoS One 9 (2014).
[Published Version] View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9722
Transition probability between TF expression states when Dbx2 inhibits Nkx2.2
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H.M. Byrne, A. Dinnyés, K. Kovács, (2014).
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2039 | OA
The time scale of evolutionary innovation
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2161
Increased grooming after repeated brood care provides sanitary benefits in a clonal ant
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, Behavioral Ecology and Sociobiology 68 (2014) 1701–1710.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2036 | OA
Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications