Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5652 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1256 | 
Y. Jiang et al., “From stateflow simulation to verified implementation: A verification approach and a real-time train controller design,” presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, Vienna, Austria, 2016.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1260 |
D. De Martino, “The dual of the space of interactions in neural network models,” International Journal of Modern Physics C, vol. 27, no. 6. World Scientific Publishing, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1262 |
D. Mcmahon et al., “Elevated virulence of an emerging viral genotype as a driver of honeybee loss,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1833. Royal Society, The, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1263 |
A. Rueda et al., “Efficient microwave to optical photon conversion: An electro-optical realization,” Optica, vol. 3, no. 6. Optica Publishing Group, pp. 597–604, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1266 |
M. J. Chalk, B. Gutkin, and S. Denève, “Neural oscillations as a signature of efficient coding in the presence of synaptic delays,” eLife, vol. 5, no. 2016JULY. eLife Sciences Publications, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1269 |
E. Benková, “Plant hormones in interactions with the environment,” Plant Molecular Biology, vol. 91, no. 6. Springer, p. 597, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1272 |
M. Held, S. Huber, and P. Palfrader, “Generalized offsetting of planar structures using skeletons,” Computer-Aided Design and Applications, vol. 13, no. 5. Taylor and Francis, pp. 712–721, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1273 |
S. Porco et al., “Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3,” Development, vol. 143, no. 18. Company of Biologists, pp. 3340–3349, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1276 |
P. Postila et al., “Atomistic determinants of co-enzyme Q reduction at the Qi-site of the cytochrome bc1 complex,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1277 |
F. Ortiz Morea et al., “Danger-associated peptide signaling in Arabidopsis requires clathrin,” PNAS, vol. 113, no. 39. National Academy of Sciences, pp. 11028–11033, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1278 |
H. Matsuno, M. Kudoh, A. Watakabe, T. Yamamori, R. Shigemoto, and S. Nagao, “Distribution and structure of synapses on medial vestibular nuclear neurons targeted by cerebellar flocculus purkinje cells and vestibular nerve in mice: Light and electron microscopy studies,” PLoS One, vol. 11, no. 10. Public Library of Science, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1281 |
E. Bouguyon et al., “Nitrate controls root development through posttranscriptional regulation of the NRT1.1/NPF6.3 transporter sensor,” Plant Physiology, vol. 172, no. 2. American Society of Plant Biologists, pp. 1237–1248, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1282 |
A. Gundert and U. Wagner, “On eigenvalues of random complexes,” Israel Journal of Mathematics, vol. 216, no. 2. Springer, pp. 545–582, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1289 |
O. Dunaeva et al., “The classification of endoscopy images with persistent homology,” Pattern Recognition Letters, vol. 83, no. 1. Elsevier, pp. 13–22, 2016.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1290 |
L. Stone, M. Baym, T. Lieberman, R. P. Chait, J. Clardy, and R. Kishony, “Compounds that select against the tetracycline-resistance efflux pump,” Nature Chemical Biology, vol. 12, no. 11. Nature Publishing Group, pp. 902–904, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)