BACKGROUND Decision aids based on the philosophy of shared decision making are designed to help patients make informed choices among diagnostic or treatment options by delivering evidence-based information on options and outcomes. A patient decision aid can be regarded as a complex intervention because it consists of several presumably relevant components. Decision aids have rarely been field t...

Abstract Lithium ion battery (LIB) technology is the state-of-the-art rechargeable energy storage for electric vehicles, stationary and personal electronics. However, a wide variety of degradation effects still contribute to performance limitations. The metallic copper aluminium current collectors in an LIB can be subject dissolution or other reactions with electrolytes. Corrosion these metal f...

Zusammenfassung Mit anhaltender Verkehrswende nimmt die Bedeutung von Lithium-Ionen-Batterien (LIB) in Zukunft stark zu. Im Sinne der Kreislaufwirtschaft sind einerseits optimale und nachhaltige Nutzung vorhandener Ressourcen, andererseits das Schließen Material-Kreisläufen durch geeignete effiziente Recyclingverfahren unabdingbar. Der Artikel behandelt aktuellen Problemfelder Herausforderungen...

Battery Cell design and control have been widely explored through modeling simulation. On the one hand, Doyle’s pseudo-two-dimensional (P2D) model Single Particle Models are among most popular electrochemical models capable of predicting battery performance therefore guiding cell characterization. other empirical obtained, for example, by Machine Learning (ML) methods represent a simpler comput...

• Development of a 2-step LCA framework for LIB repurposing in circular economy. Application to case study on real-world battery storage project at industrial scale. Integrating energy flow modelling enables assessment different use cases. Climate change benefits multi-use are 10-22% lower than single-use Results compared alternative business model options LIB. In their efforts implement econom...

The SC project arose out of the recognition that the Symbolic Computation and Satisfiability Checking communities mutually benefit from the sharing of results and techniques. An SMT solver can profit from the inclusion of computer algebra techniques in its theory solver, while a computer algebra system can profit from dispatching SAT or SMT queries which arise as sub-problems during computation...