_id,title
1820,Optimal cost almost-sure reachability in POMDPs
1823,Systematic discovery of drug interaction mechanisms
1824,Evolutionary games of condensates in coupled birth-death processes
1827,Evolution of bow-tie architectures in biology
1828,Invariant measures of genetic recombination process
1830,Opposing effects of allogrooming on disease transmission in ant societies
1831,Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies
1832,Aspect-oriented linearizability proofs
1834,Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
1835,Model checking gene regulatory networks
1836,Segment abstraction for worst-case execution time analysis
1837,Subcritical versus supercritical transition to turbulence in curved pipes
1838,Assume-guarantee synthesis for concurrent reactive programs with partial information
1839,Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
1840,Optimal Kullback-Leibler aggregation via information bottleneck
1841,A new look at reweighted message passing
1845,Excitement about inhibitory presynaptic terminals
1846,Refinement checking on parametric modal transition systems
1847,ABP1: Finally docking
1848,FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors