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

11815 Publications


2014 | Published | Journal Article | IST-REx-ID: 2180 | OA
Learning a priori constrained weighted majority votes
A. Bellet, A. Habrard, E. Morvant, M. Sebban, Machine Learning 97 (2014) 129–154.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2183 | OA
Hierarchy and polysynchrony in an adaptive network
V. Botella Soler, P. Glendinning, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 2184 | OA
Computing all maps into a sphere
M. Čadek, M. Krcál, J. Matoušek, F. Sergeraert, L. Vokřínek, U. Wagner, Journal of the ACM 61 (2014).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 2185 | OA
Key derivation without entropy waste
Y. Dodis, K.Z. Pietrzak, D. Wichs, in:, P. Nguyen, E. Oswald (Eds.), Springer, 2014, pp. 93–110.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2186 | OA
On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 2187 | OA
Synthesizing robust systems
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, G. Hofferek, B. Jobstmann, B. Könighofer, R. Könighofer, Acta Informatica 51 (2014) 193–220.
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2188 | OA
Polar delivery in plants; commonalities and differences to animal epithelial cells
U. Kania, M. Fendrych, J. Friml, Open Biology 4 (2014).
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Conference Paper | IST-REx-ID: 2189 | OA
Adaptation de domaine de vote de majorité par auto-étiquetage non itératif
E. Morvant, in:, Elsevier, 2014, pp. 49–58.
[Preprint] View | Download Preprint (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2190 | OA
From LTL to deterministic automata: A safraless compositional approach
J. Esparza, J. Kretinsky, in:, Springer, 2014, pp. 192–208.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 13399
Watching single molecules move in response to light
P.K. Kundu, R. Klajn, ACS Nano 8 (2014) 11913–11916.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13400
Self-assembly of magnetite nanocubes into helical superstructures
G. Singh, H. Chan, A. Baskin, E. Gelman, N. Repnin, P. Král, R. Klajn, Science 345 (2014) 1149–1153.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13401
Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran
P.K. Kundu, A. Lerner, K. Kučanda, G. Leitus, R. Klajn, Journal of the American Chemical Society 136 (2014) 11276–11279.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13402 | OA
Nanoporous frameworks exhibiting multiple stimuli responsiveness
P.K. Kundu, G.L. Olsen, V. Kiss, R. Klajn, Nature Communications 5 (2014).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13403
Support curvature and conformational freedom control chemical reactivity of immobilized species
T. Zdobinsky, P. Sankar Maiti, R. Klajn, Journal of the American Chemical Society 136 (2014) 2711–2714.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13404 | OA
Spiropyran-based dynamic materials
R. Klajn, Chemical Society Reviews 43 (2014) 148–184.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 1375 | OA
Approximating the minimum cycle mean
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 1392 | OA
A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1393 | OA
Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1395
Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, Institute of Science and Technology Austria, 2014.
View
 

2014 | Published | Journal Article | IST-REx-ID: 14018
The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics
D.R. Baykusheva, P.M. Kraus, S.B. Zhang, N. Rohringer, H.J. Wörner, Faraday Discussions 171 (2014) 113–132.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed