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

5484 Publications


2016 | Conference Paper | IST-REx-ID: 1389   OA
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
View | DOI | Download (ext.)
 

2016 | Thesis | IST-REx-ID: 1396
Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, IST Austria, 2016.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1391   OA
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1428   OA
Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, in:, Journal of Physics: Conference Series, IOP Publishing Ltd., 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1478   OA
Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas
R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1358
Intrinsic limits to gene regulation by global crosstalk
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkacik, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1341
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7279
Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors
E. Mourad, L. Coustan, P. Lannelongue, D. Zigah, A. Mehdi, A. Vioux, S.A. Freunberger, F. Favier, O. Fontaine, Nature Materials 16 (2016) 446–453.
View | DOI | arXiv
 

2016 | Journal Article | IST-REx-ID: 1101
Rangefinder: A semisynthetic FRET sensor design algorithm
J. Mitchell, J. Whitfield, W. Zhang, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, ACS SENSORS 1 (2016) 1286–1290.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7293
Proton conducting hollow graphene oxide cylinder as molecular fuel barrier for tubular H2-air fuel cell
R. Thimmappa, M. Chattanahalli Devendrachari, S. Shafi, S.A. Freunberger, M. Ottakam Thotiyl, International Journal of Hydrogen Energy 41 (2016) 22305–22315.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7298
Evaluating the trade-off between mechanical and electrochemical performance of separators for lithium-ion batteries: Methodology and application
M. Plaimer, C. Breitfuß, W. Sinz, S.F. Heindl, C. Ellersdorfer, H. Steffan, M. Wilkening, V. Hennige, R. Tatschl, A. Geier, C. Schramm, S.A. Freunberger, Journal of Power Sources 306 (2016) 702–710.
View | DOI
 

2016 | Technical Report | IST-REx-ID: 5449
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1529   OA
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1082   OA
Relevant sparse codes with variational information bottleneck
M.J. Chalk, O. Marre, G. Tkacik, in:, Neural Information Processing Systems, 2016, pp. 1965–1973.
View | Files available | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1099   OA
FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1121
Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, IST Austria, 2016.
View | Files available | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1102   OA
Improving weakly-supervised object localization by micro-annotation
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.
View | DOI | Download (ext.)
 

2016 | Book Chapter | IST-REx-ID: 1094
Immunogold protein localization on grid-glued freeze-fracture replicas
H. Harada, R. Shigemoto, in:, High-Resolution Imaging of Cellular Proteins, Springer, 2016, pp. 203–216.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1145   OA
Enquiry into the topology of plasma membrane localized PIN auxin transport components
T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, J. Friml, Molecular Plant 9 (2016) 1504–1519.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1126   OA
Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, IST Austria, 2016.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed