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.

8978 Publications


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 [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
 

Search

Filter Publications