_id,title
2326,The Stability of Matter in Quantum Mechanics
2330,"A linear criterion for solutions of non-linear equations, with application to the BCS gap equation"
2384,The ground state energy of the weakly interacting Bose gas at high density
2385,Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime
2386,Rigorous upper bound on the critical temperature of dilute Bose gases
2387,Strongly correlated phases in rapidly rotating Bose gases
2388,Probabilistic coherence and proper scoring rules
2433,"Hardness of embedding simplicial complexes in ℝd"
2434,Transforming spanning trees: A lower bound
7080,Influence of magnetic fields on structural martensitic transitions
7319,Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters
752,"Of choices, failures and asynchrony: the many faces of set agreement"
7751,The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep
4569,Better quality in synthesis through quantitative objectives
4580,Alpaga: A tool for solving parity games with imperfect information
5392,Probabilistic automata on infinite words: Decidability and undecidability results
5393,Gist: A solver for probabilistic games
5394,Improved lower bounds for request-response and finitary Streett games
5395,Qualitative analysis of partially-observable Markov decision processes
599,The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function