Profilometry, Raman, and Secondary Ion Mass Spectrometry (SIMS), as well as nanohardness, micro-scratch, scratch, and VDI 3198 indentation tests were used to evaluate the characteristics of the films ...
Tools and Algorithms for the Construction and Analysis of Systems. Vol. 14571, Issue. , p. 279. String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in ...