DOI,IST REx ID,Research Group,Title of publication
null,1820,KrCh,Optimal cost almost-sure reachability in POMDPs
10.15252/msb.20156098,1823,ToBo,Systematic discovery of drug interaction mechanisms
10.1038/ncomms7977,1824,LaEr,Evolutionary games of condensates in coupled birth-death processes
10.1371/journal.pcbi.1004055,1827,GaTk,Evolution of bow-tie architectures in biology
10.1007/s10955-015-1238-5,1828,HeEd,Invariant measures of genetic recombination process
10.1098/rstb.2014.0108,1830,SyCr,Opposing effects of allogrooming on disease transmission in ant societies
10.1098/rstb.2014.0116,1831,SyCr,Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies
10.2168/LMCS-11(1:20)2015,1832,ToHe,Aspect-oriented linearizability proofs
10.1177/1759091415575845,1834,PeJo,Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
10.1007/978-3-662-46681-0_47,1835,"ToHe,CaGu,NiBa",Model checking gene regulatory networks
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