Abstract Large-eddy simulations with size-resolved microphysics are used to model persistent aircraft contrails and contrail-induced cirrus from a few wing spans behind the aircraft until their demise after many hours. Schemes for dynamic local ice binning and updating ...

Biomass gasification is a technology that has attracted great interest in synthesis of biofuels and oxo alcohols. However, this gas contains several contaminants, including tar, which need to be removed. Removal of tar is particularly critical because it can lead to ope...

maxsat is an optimization version of satisfiability. Since many practical problems involve optimization, there are a wide range of potential applications for effective maxsat solvers. In this paper we present an extensive empirical evaluation of a number of maxsat solve...

Abstract Background Transtracheal jet ventilation (TTJV) is recommended in several airway guidelines as a potentially life-saving procedure during the ‘Can't Intubate Can't Oxygenate' (CICO) emergency. Some studies have questioned its effectiveness. Methods Our goal was...