title: Interaction modelling for IoT

authors: Turner, Jessica Dawn

subjects: software engineering

abstract: Informal design artefacts allow end-users and nonexperts to contribute to software design ideas and development. In contrast, software engineering techniques such as modeldriven development support experts in ensuring quality properties of the software they propose and build. Each of these approaches have benefits which contribute to the development of robust, reliable and usable software, however it is not always obvious how best to combine these two. In this paper we describe a novel technique which allows us to use informal design artefacts, in the form of ideation card designs, to generate formal models of IoT applications. To implement this technique, we created the Cards-to-Model (C2M) tool which allows us to automate the model generation process. We demonstrate this technique with a case study for a safety-critical IoT application called “Medication Reminders”. By generating formal models directly from the design we reduce the complexity of the modelling process. In addition, by incorporating easy-to-use informal design artefacts in the process we allow non-experts to engage in the design and modelling process of IoT applications

text: Interaction modelling for IoT Informal design artefacts allow end-users and nonexperts to contribute to software design ideas and development. In contrast, software engineering techniques such as modeldriven development support experts in ensuring quality properties of the software they propose and build. Each of these approaches have benefits which contribute to the development of robust, reliable and usable software, however it is not always obvious how best to combine these two. In this paper we describe a novel technique which allows us to use informal design artefacts, in the form of ideation card designs, to generate formal models of IoT applications. To implement this technique, we created the Cards-to-Model (C2M) tool which allows us to automate the model generation process. We demonstrate this technique with a case study for a safety-critical IoT application called “Medication Reminders”. By generating formal models directly from the design we reduce the complexity of the modelling process. In addition, by incorporating easy-to-use informal design artefacts in the process we allow non-experts to engage in the design and modelling process of IoT applications

year: 2021

title: Environmental influences on Adelie penguin breeding schedules, endocrinology, and chick survival

authors: Ninnes, Calum Edward

subjects: Adelie penguin

abstract: To understand how the social and physical environment influences behaviour, reproduction and survival, studies of underlying hormonal processes are crucial; in particular, interactions between stress and reproductive responses may have critical influences on breeding schedules. Several authors have examined the timing of breeding in relation to environmental stimuli, while others have independently described endocrine profiles. However, few studies have simultaneously measured endocrine profiles, breeding behaviour, and offspring survival across seasons. We measured sex and stress hormone concentrations (oestrogens, testosterone, and corticosterone), timing of breeding, and chick survival, in Adelie penguins (Pygoscelis adeliae) at two colonies in two different years. Clutch initiation at Cape Bird South (CBS; year 1, 14,000 pairs) occurred later than at Cape Crozier East (CCE; year 2, 25,000 pairs); however, breeding was more synchronous at CBS. This pattern was probably generated by the persistence of extensive sea ice at CBS (year 1). Higher corticosterone metabolite and lower sex hormone concentrations at CBS correlated with later breeding and lower chick survival compared to at CCE – again, a likely consequence of sea ice conditions. Within colonies, sub-colony size (S, 50–100; M, 200–300; L, 500–600; XL, >1000 pairs) did not influence the onset or synchrony of breeding, chick survival, or hormone concentrations. We showed that the endocrine profiles of breeding Adelie penguins can differ markedly between years and/or colonies, and that combining measures of endocrinology, behaviour, and offspring survival can reveal the mechanisms and consequences that different environmental conditions can have on breeding ecology.

text: Environmental influences on Adelie penguin breeding schedules, endocrinology, and chick survival To understand how the social and physical environment influences behaviour, reproduction and survival, studies of underlying hormonal processes are crucial; in particular, interactions between stress and reproductive responses may have critical influences on breeding schedules. Several authors have examined the timing of breeding in relation to environmental stimuli, while others have independently described endocrine profiles. However, few studies have simultaneously measured endocrine profiles, breeding behaviour, and offspring survival across seasons. We measured sex and stress hormone concentrations (oestrogens, testosterone, and corticosterone), timing of breeding, and chick survival, in Adelie penguins (Pygoscelis adeliae) at two colonies in two different years. Clutch initiation at Cape Bird South (CBS; year 1, 14,000 pairs) occurred later than at Cape Crozier East (CCE; year 2, 25,000 pairs); however, breeding was more synchronous at CBS. This pattern was probably generated by the persistence of extensive sea ice at CBS (year 1). Higher corticosterone metabolite and lower sex hormone concentrations at CBS correlated with later breeding and lower chick survival compared to at CCE – again, a likely consequence of sea ice conditions. Within colonies, sub-colony size (S, 50–100; M, 200–300; L, 500–600; XL, >1000 pairs) did not influence the onset or synchrony of breeding, chick survival, or hormone concentrations. We showed that the endocrine profiles of breeding Adelie penguins can differ markedly between years and/or colonies, and that combining measures of endocrinology, behaviour, and offspring survival can reveal the mechanisms and consequences that different environmental conditions can have on breeding ecology.

year: 2011

title: Paremias xeocosmolóxicas de predición do tempo en galego e maorí (Geocosmologic paroemias of weather prediction in Galician and Maori)

authors: Lopez-Fernandez, Laura

abstract: This comparative study collects phraseological units -dictons- (Rodegem 1984 e Sevilla Muñoz 1988; 1992) related to the semantic field of weather forecast from two cultures, which have not been in contact, and which are located in the antipodes of the planet: Galician and Maori. The methodology used utilizes a diachronic analysis (although not diastratic), of geocosmological proverbs, that can be or not in use nowadays, which include dictons about atmospheric phenomena, observation of the stars and star lore, and weather forecast through observation of animals, especially birds. The dictons collected in Maori do not come from informants but from the few books and digital sources available at the moment and this represents only a fragment of their traditional oral culture, thought and legacy of the different iwis. The collected dictons in Galician have been collected from a variety of digital corpus and resources.

text: Paremias xeocosmolóxicas de predición do tempo en galego e maorí (Geocosmologic paroemias of weather prediction in Galician and Maori) This comparative study collects phraseological units -dictons- (Rodegem 1984 e Sevilla Muñoz 1988; 1992) related to the semantic field of weather forecast from two cultures, which have not been in contact, and which are located in the antipodes of the planet: Galician and Maori. The methodology used utilizes a diachronic analysis (although not diastratic), of geocosmological proverbs, that can be or not in use nowadays, which include dictons about atmospheric phenomena, observation of the stars and star lore, and weather forecast through observation of animals, especially birds. The dictons collected in Maori do not come from informants but from the few books and digital sources available at the moment and this represents only a fragment of their traditional oral culture, thought and legacy of the different iwis. The collected dictons in Galician have been collected from a variety of digital corpus and resources.

year: 2015