A strong environmental change has been recognized in China with the impacts of climate change and intensive human activities on land use. In this paper, first environmental changes in China, such as those caused by human activities, land use, climate change, and social and economic development, are presented. Secondly, the hydrological prediction models and systems and their application in Chin...

This article explores pupils’ responses to addressed questions in two third-year primary school classes, organized as plenary interaction and based on the next-speaker selection. In this context, unaddressed pupils often produce of various kinds spontaneously, showing that selection per se does not exclude from participating. Analysis design position these show their orderly nature mainly depen...

Over the past decade, great progress has been made in the static modular verification of C code by means of separation logic-based program logics. However, the runtime guarantees offered by such verification are relatively limited when the verified modules are part of a whole program that also contains unverified modules. In particular, a memory safety error in an unverified module can corrupt ...

Patient malnutrition in hospitals is common and impedes recovery. Part of the problem is that hospitals are organised around diagnosis and treatment, not for good nutrition. This paper describes a Norwegian hospital’s nutrition innovation that enhanced collaboration across and within the hospital hierarchy. The Bergen Model of Collaborative Functioning was the analysis framework for the study r...