- Full text PDF available (20)
- This year (0)
- Last five years (3)
Integrating microalgae systems (MAS) at municipal wastewater treatment plants (WWTPs) to produce of bioenergy offers many potential synergies. Improved energy balances provide a strong incentive for WWTPs to integrate MAS, but it is crucial that WWTPs maintain their barrier function to protect water resources. We perform a prospective analysis of energy and… (More)
This paper documents the design, procedures, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).
Spass is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent developments in Spass 3.0, including support for dynamic modal logics, relational logics and expressive description logics, additional renaming and selection strategies, and… (More)