1 Department of Surgery, Universitätsmedizin Mannheim, Medical Faculty Mannheim, Heidelberg University, Mannheim, Germany 2 DKFZ Hector Cancer Institute at the University Medical Center Mannheim, ...

Resource derived types are unable to be defined as secure parameters. Before upgrading to 0.38.3 I was able to use @secure() with resource derived types.

Abstract: Seawater Activated Batteries (SABs) have been widely used for small power equipment, but high-power SABs are required for military applications. This paper presents a modelling approach for ...