title: Workshop on formal methods in human computer interaction

authors: Weyers, Benjamin

abstract: This workshop aims to gather active researchers and practitioners in the field of formal methods for interactive systems. The mam objective is twofold: on one hand look at the evolutions of the definition and use of formal methods for interactive systems since the last book on the field nearly 20 years ago [1] following the seminal work reported in [2] On the other hand, to identify important themes for the next decade of research. Formal methods aid in the design, development and evaluation of interactive systems providing the unique opportunity for complete and unambiguous description amenable to formal verification. The HCI community has demonstrated that the next generation of user interfaces is moving off the desktop: These emerging interfaces exploit novel input techniques such as tangible, haptic, camera-based, bram-computer, interaction, present a large quantity of information possibly distributed to a wide range of devices. In this workshop, we will discuss common themes, conflicting approaches and techniques, and future directions for the next generation of formal methods that will support the development of large scale dependable and usable interactive systems.

text: Workshop on formal methods in human computer interaction This workshop aims to gather active researchers and practitioners in the field of formal methods for interactive systems. The mam objective is twofold: on one hand look at the evolutions of the definition and use of formal methods for interactive systems since the last book on the field nearly 20 years ago [1] following the seminal work reported in [2] On the other hand, to identify important themes for the next decade of research. Formal methods aid in the design, development and evaluation of interactive systems providing the unique opportunity for complete and unambiguous description amenable to formal verification. The HCI community has demonstrated that the next generation of user interfaces is moving off the desktop: These emerging interfaces exploit novel input techniques such as tangible, haptic, camera-based, bram-computer, interaction, present a large quantity of information possibly distributed to a wide range of devices. In this workshop, we will discuss common themes, conflicting approaches and techniques, and future directions for the next generation of formal methods that will support the development of large scale dependable and usable interactive systems.

year: 2015-06-23

title: Trophic state assessment of global inland waters using a MODIS-derived Forel-Ule index

authors: Wang, Shenglei

subjects: Science & Technology

abstract: Eutrophication of inland waters is considered a serious global environmental problem. Satellite remote sensing (RS) has been established as an important source of information to determine the trophic state of inland waters through the retrieval of optically active water quality parameters such as chlorophyll-a (Chl-a). However, the use of RS techniques for assessment of the trophic state of inland waters on a global scale is hindered by the performance of retrieval algorithms over highly dynamic and complex optical properties that characterize many of these systems. In this study, we developed a new RS approach to assess the trophic state of global inland water bodies based on Moderate Resolution Imaging Spectroradiometer (MODIS) imagery and the Forel-Ule index (FUI). First, the FUI was calculated from MODIS data by dividing natural water colour into 21 indices from dark blue to yellowish-brown. Then the relationship between FUI and the trophic state index (TSI) was established based on in-situ measurements and MODIS products. The water-leaving reflectance at 645 nm band was employed to distinguish coloured dissolved organic matter (CDOM)-dominated systems in the FUI-based trophic state assessment. Based on the analysis, the FUI-based trophic state assessment method was developed and applied to assess the trophic states of 2058 large inland water bodies (surface area >25 km2) distributed around the world using MODIS data from the austral and boreal summers of 2012. Our results showed that FUI can be retrieved from MODIS with a considerable accuracy (92.5%, R2 = 0.92) by comparing with concurrent in situ measurements over a wide range of lakes, and the overall accuracy of the FUI-based trophic state assessment method is 80.0% (R2 = 0.75) validated by an independent dataset. Of the global large water bodies considered, oligotrophic large lakes were found to be concentrated in plateau regions in central Asia and southern South America, while eutrophic large lakes were concentrated in central Africa, eastern Asia, and mid-northern and southeast North America.

text: Trophic state assessment of global inland waters using a MODIS-derived Forel-Ule index Eutrophication of inland waters is considered a serious global environmental problem. Satellite remote sensing (RS) has been established as an important source of information to determine the trophic state of inland waters through the retrieval of optically active water quality parameters such as chlorophyll-a (Chl-a). However, the use of RS techniques for assessment of the trophic state of inland waters on a global scale is hindered by the performance of retrieval algorithms over highly dynamic and complex optical properties that characterize many of these systems. In this study, we developed a new RS approach to assess the trophic state of global inland water bodies based on Moderate Resolution Imaging Spectroradiometer (MODIS) imagery and the Forel-Ule index (FUI). First, the FUI was calculated from MODIS data by dividing natural water colour into 21 indices from dark blue to yellowish-brown. Then the relationship between FUI and the trophic state index (TSI) was established based on in-situ measurements and MODIS products. The water-leaving reflectance at 645 nm band was employed to distinguish coloured dissolved organic matter (CDOM)-dominated systems in the FUI-based trophic state assessment. Based on the analysis, the FUI-based trophic state assessment method was developed and applied to assess the trophic states of 2058 large inland water bodies (surface area >25 km2) distributed around the world using MODIS data from the austral and boreal summers of 2012. Our results showed that FUI can be retrieved from MODIS with a considerable accuracy (92.5%, R2 = 0.92) by comparing with concurrent in situ measurements over a wide range of lakes, and the overall accuracy of the FUI-based trophic state assessment method is 80.0% (R2 = 0.75) validated by an independent dataset. Of the global large water bodies considered, oligotrophic large lakes were found to be concentrated in plateau regions in central Asia and southern South America, while eutrophic large lakes were concentrated in central Africa, eastern Asia, and mid-northern and southeast North America.

year: 2018

title: Akuhata Mokena: Eldest son of Mokena Hou

authors: Hart, Philip

abstract: Akuhata Mokena was recorded as being the first child of Mokena Hou and Rina. By the early 1860s he was living at the northern boundary of the Aroha Block as well as at Puriri, where he dug kauri gum. From 1857 to 1868 he also cultivated close to the southern edge of the future Thames township. Having run cattle on the Aroha block from 1867 onwards, he settled there in 1878, operating the first hotel to be erected at the hot springs. 
In the land court he tried to obtain interests in as many land blocks as possible, and obtained income by selling some of these. After a brief involvement in Te Aroha mining, when he was the only member of his family to delay ceding their land for mining, he returned to live at Puriri. He also invested, very modestly, in mining at Thames and Puriri. 
A rangatira who was steadfastly loyal to the Crownt, when he died without issue his estate became a cause of conflict between Maori and Pakeha perceptions of how it should be shared amongst his wife and his family.

text: Akuhata Mokena: Eldest son of Mokena Hou Akuhata Mokena was recorded as being the first child of Mokena Hou and Rina. By the early 1860s he was living at the northern boundary of the Aroha Block as well as at Puriri, where he dug kauri gum. From 1857 to 1868 he also cultivated close to the southern edge of the future Thames township. Having run cattle on the Aroha block from 1867 onwards, he settled there in 1878, operating the first hotel to be erected at the hot springs. 
In the land court he tried to obtain interests in as many land blocks as possible, and obtained income by selling some of these. After a brief involvement in Te Aroha mining, when he was the only member of his family to delay ceding their land for mining, he returned to live at Puriri. He also invested, very modestly, in mining at Thames and Puriri. 
A rangatira who was steadfastly loyal to the Crownt, when he died without issue his estate became a cause of conflict between Maori and Pakeha perceptions of how it should be shared amongst his wife and his family.

year: 2016