In this paper we show how to de ne and prove di erent properties of a software architecture description based on the CHAM. We consider both structural properties, that is properties of the system which are connected with its structure either static and dynamic, and functional properties, that is properties on how the system manipulates its data. We will use a logic approach to describe the prop...

Abstract Pulmonary artery pulsatility index (PAPi) is an indicator of right ventricular (RV) function and independent predictor failure (RVF) following left assist device (LVAD) implantation. Administration vasodilator challenge during heart catheterization (RHC) could reduce RV workload allowing a better assessment its functional reserve. Patients undergoing LVAD implantation at our Institutio...

Giulio Magli, Heavens and Earth in Ancient China: Sacred Landscapes of Imperial China Cham, Switzerland: Springer Nature, 2020. Hardback, i–vii, 179 pp., illus. ISBN 978-3-030-49323-3. £27.99.

Md Nazrul Islam y Saidul Islam. 2020. and Democracy in South Asia. The Case of Bangladesh. Cham: Springer. 331 pp. ISBN 9783030429089. Ebook 9783030429096. https://doi.org/10.1007/978-3-030-42909-6