PHYSICS is said to be an empirical science, based upon observation and experiment. It is supposed to be verifiable, i.e. capable of calculating beforehand results subsequently confirmed by observation and experiment. What can we learn by observation and experiment ? Nothing, so far as physics is concerned, except immediate data of sense: certain patches of colour, sounds, tastes, smells, etc., ...

Recently, linearity has been proposed as a mechanism for memory management, alias control, and typestate tracking. While linear type systems have been extensively studied in functional programming, their use in object-oriented systems has been limited to useful but ad-hoc annotation systems that track unique pointers. In this paper, we study object-oriented linearity at level of foundational ob...

Thermoelectric devices are widely used as solid-state refrigerators and have potential energy generation applications. Their characterization is key to develop more efficient monitor their performance. Electrical impedance spectroscopy has been proved be a useful method for the of thermoelectric modules. However, deviations from current models still exist in experimental results, especially hig...