Assume-guarantee synthesis for concurrent reactive programs with partial information
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
LibreCat: https://research-explorer.ista.ac.at/record/1838
DOI: 10.1007/978-3-662-46681-0_50

Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
T. Brázdil, K. Chatterjee, V. Forejt, A. Kudera, 9035 (2015) 181–187.
LibreCat: https://research-explorer.ista.ac.at/record/1839
DOI: 10.1007/978-3-662-46681-0_12

Subcritical versus supercritical transition to turbulence in curved pipes
J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, B. Hof, Journal of Fluid Mechanics 770 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1837
DOI: 10.1017/jfm.2015.184
arXiv: 1508.06559

Refinement checking on parametric modal transition systems
N. Benes, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, J. Srba, Acta Informatica 52 (2015) 269–297.
LibreCat: https://research-explorer.ista.ac.at/record/1846
DOI: 10.1007/s00236-015-0215-4

Excitement about inhibitory presynaptic terminals
D.H. Vandael, C. Espinoza Martinez, P.M. Jonas, Neuron 85 (2015) 1149–1151.
LibreCat: https://research-explorer.ista.ac.at/record/1845
DOI: 10.1016/j.neuron.2015.03.006

Optimal Kullback-Leibler aggregation via information bottleneck
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.
LibreCat: https://research-explorer.ista.ac.at/record/1840
DOI: 10.1109/TAC.2014.2364971

A new look at reweighted message passing
V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (2015) 919–930.
LibreCat: https://research-explorer.ista.ac.at/record/1841
DOI: 10.1109/TPAMI.2014.2363465

Calcium is an organizer of cell polarity in plants
E. Himschoot, T. Beeckman, J. Friml, S. Vanneste, Biochimica et Biophysica Acta - Molecular Cell Research 1853 (2015) 2168–2172.
LibreCat: https://research-explorer.ista.ac.at/record/1849
DOI: 10.1016/j.bbamcr.2015.02.017

AB: Finally docking
P. Grones, J. Friml, Molecular Plant 8 (2015) 356–358.
LibreCat: https://research-explorer.ista.ac.at/record/1847
DOI: 10.1016/j.molp.2014.12.013

Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates
S. Novak, S. Cremer, Journal of Theoretical Biology 372 (2015) 54–64.
LibreCat: https://research-explorer.ista.ac.at/record/1850
DOI: 10.1016/j.jtbi.2015.02.018

Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating
T. Priklopil, E. Kisdi, M. Gyllenberg, Evolution 69 (2015) 1015–1026.
LibreCat: https://research-explorer.ista.ac.at/record/1851
DOI: 10.1111/evo.12618
PMID: 25662095

A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle
N. Shah, V. Kolmogorov, C. Lampert, in:, IEEE, 2015, pp. 2737–2745.
LibreCat: https://research-explorer.ista.ac.at/record/1859
DOI: 10.1109/CVPR.2015.7298890

Classifier adaptation at prediction time
A. Royer, C. Lampert, in:, IEEE, 2015, pp. 1401–1409.
LibreCat: https://research-explorer.ista.ac.at/record/1860
DOI: 10.1109/CVPR.2015.7298746

Predicting the future behavior of a time-varying probability distribution
C. Lampert, in:, IEEE, 2015, pp. 942–950.
LibreCat: https://research-explorer.ista.ac.at/record/1858
DOI: 10.1109/CVPR.2015.7298696
arXiv: 1406.5362

Curriculum learning of multiple tasks
A. Pentina, V. Sharmanska, C. Lampert, in:, IEEE, 2015, pp. 5492–5500.
LibreCat: https://research-explorer.ista.ac.at/record/1857
DOI: 10.1109/CVPR.2015.7299188

Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection
J. Hühner, Á. Inglés Prieto, C. Neusüß, M. Lämmerhofer, H.L. Janovjak, Electrophoresis 36 (2015) 518–525.
LibreCat: https://research-explorer.ista.ac.at/record/1867
DOI: 10.1002/elps.201400451

Plant embryogenesis requires AUX/LAX-mediated auxin influx
H. Robert, W. Grunewald, M. Sauer, B. Cannoot, M. Soriano, R. Swarup, D. Weijers, M. Bennett, K. Boutilier, J. Friml, Development 142 (2015) 702–711.
LibreCat: https://research-explorer.ista.ac.at/record/1865
DOI: 10.1242/dev.115832

Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances
Y. Park, Y. Do, S. Altmeyer, Y. Lai, G. Lee, Physical Review E 91 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1868
DOI: 10.1103/PhysRevE.91.022906

The Altshuler–Shklovskii formulas for random band matrices II: The general case
L. Erdös, A. Knowles, Annales Henri Poincare 16 (2015) 709–799.
LibreCat: https://research-explorer.ista.ac.at/record/1864
DOI: 10.1007/s00023-014-0333-5

Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks
J. Ruess, J. Lygeros, ACM Transactions on Modeling and Computer Simulation 25 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1861
DOI: 10.1145/2688906