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.

3466 Publications


2014 | Conference Paper | IST-REx-ID: 2027 | OA
Brázdil, Tomáš, et al. “Verification of Markov Decision Processes Using Learning Algorithms.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, vol. 8837, Society of Industrial and Applied Mathematics, 2014, pp. 98–114, doi:10.1007/978-3-319-11936-6_8.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2028 | OA
Bod’ová, Katarína, et al. “Characterizing Spiking in Noisy Type II Neurons.” Journal of Theoretical Biology, vol. 365, Academic Press, 2014, pp. 40–54, doi:10.1016/j.jtbi.2014.09.041.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2029 | OA
Correggi, Michele, et al. “Validity of Spin-Wave Theory for the Quantum Heisenberg Model.” EPL, vol. 108, no. 2, 20003, IOP Publishing Ltd., 2014, doi:10.1209/0295-5075/108/20003.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2031 | OA
Arai, itaru, and Peter M. Jonas. “Nanodomain Coupling Explains Ca^2+ Independence of Transmitter Release Time Course at a Fast Central Synapse.” ELife, vol. 3, eLife Sciences Publications, 2014, doi:10.7554/eLife.04057.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2032 | OA
Inglés Prieto, Álvaro, et al. “The Optogenetic Promise for Oncology: Episode I.” Molecular and Cellular Oncology, vol. 1, no. 4, e964045, Taylor & Francis, 2014, doi:10.4161/23723548.2014.964045.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2033 | OA
Hernandez Lobato, Daniel, et al. “Mind the Nuisance: Gaussian Process Classification Using Privileged Noise.” Advances in Neural Information Processing Systems, vol. 1, no. January, Neural Information Processing Systems, 2014, pp. 837–45.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2038 | OA
Boker, Udi, et al. “Temporal Specifications with Accumulative Values.” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 4, 27, ACM, 2014, doi:10.1145/2629686.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2040 | OA
Kicheva, Anna, et al. “Coordination of Progenitor Specification and Growth in Mouse and Chick Spinal Cord.” Science, vol. 345, no. 6204, 1254927, American Association for the Advancement of Science, 2014, doi:10.1126/science.1254927.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2041 | OA
Jonas, Peter M., and John Lisman. “Structure, Function and Plasticity of Hippocampal Dentate Gyrus Microcircuits.” Frontiers in Neural Circuits, vol. 8, 2p, Frontiers Research Foundation, 2014, doi:10.3389/fncir.2014.00107.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2042 | OA
Kupczok, Anne, and Jonathan P. Bollback. “Motif Depletion in Bacteriophages Infecting Hosts with CRISPR Systems.” BMC Genomics, vol. 15, no. 1, 663, BioMed Central, 2014, doi:10.1186/1471-2164-15-663.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications