Resource-driven Substructural Defeasible Logic

Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework

New strategies to study organizations working with people experiencing homelessness: the service providers’ study

info:eu-repo/semantics/publishedVersio

Deciphering the Interplay between Binders and Electrolytes on the Performance of Li4Ti5O12 Electrodes for Li-Ion Batteries

Lithium titanium oxide (Li4Ti5O12, LTO) is an attractive negative electrode for the development of safe-next-generation-lithium-ion batteries (LIBs). LTO can find specific applications complementary to existing alternatives for LIBs thanks to its good rate capability at high C-rates, fast lithium intercalation, and high cycling stability. Furthermore, LIBs featuring LTO electrodes are inherently safer owing to the LTO's operating potential of 1.55 V vs. Li+/Li where the commonly used organic-based electrolytes are thermodynamically stable. Herein, we report the combined use of water-soluble sodium alginate (SA) binder and lithium bis(trifluoromethanesulfonyl)imide (LiTFSI)-tetraglyme (1m-T) electrolyte and we demonstrate the improvement of the electrochemical performance of LTO-based electrodes with respect to those operating in conventional electrolyte 1M LiPF6-ethylene carbonate: dimethyl carbonate (LP30). We also tackle the analysis of the impact of combining the binder/electrolyte on the long-term cycling performance of LTO electrodes featuring SA or conventional polyvinylidene fluoride (PVdF) as binders. Therefore, to assess the impact of the combination of binder/electrolyte on performance, we performed post-mortem characterization by ex situ synchrotron diffraction experiments of LTO electrodes after cycling in LP30 and 1m-T electrolytes