DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-46669-8_5,1836,ToHe,Segment abstraction for worst-case execution time analysis
10.1017/jfm.2015.184,1837,BjHo,Subcritical versus supercritical transition to turbulence in curved pipes
10.1007/978-3-662-46681-0_50,1838,KrCh,Assume-guarantee synthesis for concurrent reactive programs with partial information
10.1007/978-3-662-46681-0_12,1839,KrCh,Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
10.1109/TAC.2014.2364971,1840,"CaGu,ToHe",Optimal Kullback-Leibler aggregation via information bottleneck
10.1109/TPAMI.2014.2363465,1841,VlKo,A new look at reweighted message passing
10.1016/j.neuron.2015.03.006,1845,PeJo,Excitement about inhibitory presynaptic terminals
10.1007/s00236-015-0215-4,1846,"ToHe,KrCh",Refinement checking on parametric modal transition systems
10.1016/j.molp.2014.12.013,1847,JiFr,ABP1: Finally docking
10.1002/ijc.29498,1848,LifeSc,FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors
10.1016/j.bbamcr.2015.02.017,1849,JiFr,Calcium is an organizer of cell polarity in plants
10.1016/j.jtbi.2015.02.018,1850,"NiBa,SyCr",Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates
10.1111/evo.12618,1851,"NiBa,KrCh",Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating
10.1111/1365-2656.12345,1855,SyCr,A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees
10.1145/2699430,1856,"KrCh,ToHe",Measuring and synthesizing systems in probabilistic environments
10.1109/CVPR.2015.7299188,1857,ChLa,Curriculum learning of multiple tasks
10.1109/CVPR.2015.7298696,1858,ChLa,Predicting the future behavior of a time-varying probability distribution
10.1109/CVPR.2015.7298890,1859,"VlKo,ChLa",A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle
10.1109/CVPR.2015.7298746,1860,ChLa,Classifier adaptation at prediction time
10.1145/2688906,1861,"ToHe,GaTk",Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks