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.

3156 Publications


2014 | Journal Article | IST-REx-ID: 8500
Kaloshin, Vadim, et al. “Arnol′d Diffusion in a Pendulum Lattice.” Communications on Pure and Applied Mathematics, vol. 67, no. 5, Wiley, 2014, pp. 748–75, doi:10.1002/cpa.21509.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
Gupta, Ashutosh, et al. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.” Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 169, Open Publishing, 2014, pp. 31–38, doi:10.4204/EPTCS.169.5.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1708
Savin, Cristina, and Sophie Denève. Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks. Vol. 3, no. January, Neural Information Processing Systems, 2014, pp. 2024–32.
View | Download None (ext.)
 

2014 | Journal Article | IST-REx-ID: 1733 | OA
Cerny, Pavol, et al. “Interface Simulation Distances.” Theoretical Computer Science, vol. 560, no. 3, Elsevier, 2014, pp. 348–63, doi:10.1016/j.tcs.2014.08.019.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1806
Baster, Pawel, and Jiří Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.” Auxin and Its Role in Plant Development, edited by Eva Zažímalová et al., Springer, 2014, pp. 143–70, doi:10.1007/978-3-7091-1526-8_8.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications