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.

3494 Publications


2014 | Conference Paper | IST-REx-ID: 2027 | OA
Verification of markov decision processes using learning algorithms
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Society of Industrial and Applied Mathematics, 2014, pp. 98–114.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2028 | OA
Characterizing spiking in noisy type II neurons
K. Bod’ová, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014) 40–54.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2029 | OA
Validity of spin-wave theory for the quantum Heisenberg model
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2031 | OA
Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse
itaru Arai, P.M. Jonas, ELife 3 (2014).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2032 | OA
The optogenetic promise for oncology: Episode I
Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H.L. Janovjak, M. Grusch, Molecular and Cellular Oncology 1 (2014).
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications