title: State of the art on formal methods for interactive systems

authors: Oliveira, Raquel

subjects: Computer science

abstract: This chapter provides an overview of several formal approaches for the design, specification, and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification activities. We also exemplify their use on a simple example in order to provide the reader with a better understanding of their basic concepts. It is important to note that this chapter is not self-contained and that the interested reader should get more details looking at the references provided. The chapter is organized to provide a historical perspective of the main contributions in the area of formal methods in the field of human–computer interaction. The approaches are presented in a semi-structured way identifying their contributions alongside a set of criteria. The chapter is concluded by a summary section organizing the various approaches in two summary tables reusing the criteria previously derived.

text: State of the art on formal methods for interactive systems This chapter provides an overview of several formal approaches for the design, specification, and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification activities. We also exemplify their use on a simple example in order to provide the reader with a better understanding of their basic concepts. It is important to note that this chapter is not self-contained and that the interested reader should get more details looking at the references provided. The chapter is organized to provide a historical perspective of the main contributions in the area of formal methods in the field of human–computer interaction. The approaches are presented in a semi-structured way identifying their contributions alongside a set of criteria. The chapter is concluded by a summary section organizing the various approaches in two summary tables reusing the criteria previously derived.

year: 2017

title: Noosphere rising: Internet-based collective intelligence, creative labour, and social production

authors: Peters, Michael A.

abstract: Our article relocates the debate about creative labour to the terrain of peer-to-peer interneting as the paradigmatic form of nonmarket - social - production. From Yann Moulier Boutang we take the point that creative labour is immaterial; it is expressed through people connected by the internet. Drawing on two social systems thinkers, Francis Heylighen and Wolfgang Hofkirchner, we transpose this connectedness up to a conception of creative labour as a supra-individual collective intelligence. This intelligence, we argue, is one of the internets emergent properties. We then present a model of internet development that flags the potential of digitally-evoked collective intelligence to facilitate what the Marxist philosopher George Caffentzis calls postcapitalist commoning. Yoking together systems theorizing about the internet and socialist envisioning of social transformation, we identify two sets of internet tools for coordination that can assist with the convivial reconstruction of society along the lines of peer-based production.

text: Noosphere rising: Internet-based collective intelligence, creative labour, and social production Our article relocates the debate about creative labour to the terrain of peer-to-peer interneting as the paradigmatic form of nonmarket - social - production. From Yann Moulier Boutang we take the point that creative labour is immaterial; it is expressed through people connected by the internet. Drawing on two social systems thinkers, Francis Heylighen and Wolfgang Hofkirchner, we transpose this connectedness up to a conception of creative labour as a supra-individual collective intelligence. This intelligence, we argue, is one of the internets emergent properties. We then present a model of internet development that flags the potential of digitally-evoked collective intelligence to facilitate what the Marxist philosopher George Caffentzis calls postcapitalist commoning. Yoking together systems theorizing about the internet and socialist envisioning of social transformation, we identify two sets of internet tools for coordination that can assist with the convivial reconstruction of society along the lines of peer-based production.

year: 2015

title: eDNA-based detection of New Zealand freshwater mussel (kākahi) populations using digital PCR

authors: Ferris, Kelsey

subjects: eDNA

abstract: Globally, freshwater mussels are one of the most endangered taxa due to pollution, nutrient loading, habitat fragmentation, and species introduction attributable to anthropogenic activities. New Zealand freshwater mussels (kākahi) are ecological engineers and integral species in freshwater ecosystems. However, kākahi populations are expected to decline 70% by 2024 in part due to their unique reproductive cycle involving an obligatory phoretic relationship with declining native fish. Kākahi distribution and abundance throughout New Zealand is poorly understood due to time-consuming surveying techniques of concealed and morphologically cryptic species. A rapid and reliable method is required for the detection and identification of these ‘Threatened’ kākahi populations for conservation and management. Therefore, this study aimed to i) validate an environmental DNA (eDNA) based detection method for New Zealand freshwater mussels using digital PCR (dPCR); ii) determine the most appropriate sampling season for kākahi eDNA; and iii) determine whether eDNA could be used to detect effects of fish barriers on kākahi distribution.
In vivo trials determined that filtration of field samples within 24 hours of collection minimised eDNA degradation and that prefiltration effectively removed inhibitory detritus and glochidia. The lowest concentration of eDNA which could accurately be detected to infer abundance (≥3.2 copies/µL) or presence (0.32-3.19 copies/µL) of kākahi eDNA was determined.  Duplicate field samples were collected from the Waingaro River and Kahuhuru Stream at sites downstream of fish barriers and upstream of low-flow or all-flow barriers in December, May, and August to investigate spatial and temporal variation in eDNA concentrations. As hypothesised, December was the most effective month to sample, yielding the highest eDNA concentrations due to reduced dilution and heightened water temperatures. Based on eDNA, kākahi species distribution did not appear correlated with fish barriers, but all-flow barriers likely impeded fish host movement to significantly reduce the total kākahi eDNA concentrations found upstream. 
eDNA detection can be used by regional councils to effectively infer presence/absence of kākahi populations and direct further conventional surveying efforts to the most impactful locations. This method allows rapid determination of distribution and densities at a national scale to aid conservation management of this taonga (treasured) species.

text: eDNA-based detection of New Zealand freshwater mussel (kākahi) populations using digital PCR Globally, freshwater mussels are one of the most endangered taxa due to pollution, nutrient loading, habitat fragmentation, and species introduction attributable to anthropogenic activities. New Zealand freshwater mussels (kākahi) are ecological engineers and integral species in freshwater ecosystems. However, kākahi populations are expected to decline 70% by 2024 in part due to their unique reproductive cycle involving an obligatory phoretic relationship with declining native fish. Kākahi distribution and abundance throughout New Zealand is poorly understood due to time-consuming surveying techniques of concealed and morphologically cryptic species. A rapid and reliable method is required for the detection and identification of these ‘Threatened’ kākahi populations for conservation and management. Therefore, this study aimed to i) validate an environmental DNA (eDNA) based detection method for New Zealand freshwater mussels using digital PCR (dPCR); ii) determine the most appropriate sampling season for kākahi eDNA; and iii) determine whether eDNA could be used to detect effects of fish barriers on kākahi distribution.
In vivo trials determined that filtration of field samples within 24 hours of collection minimised eDNA degradation and that prefiltration effectively removed inhibitory detritus and glochidia. The lowest concentration of eDNA which could accurately be detected to infer abundance (≥3.2 copies/µL) or presence (0.32-3.19 copies/µL) of kākahi eDNA was determined.  Duplicate field samples were collected from the Waingaro River and Kahuhuru Stream at sites downstream of fish barriers and upstream of low-flow or all-flow barriers in December, May, and August to investigate spatial and temporal variation in eDNA concentrations. As hypothesised, December was the most effective month to sample, yielding the highest eDNA concentrations due to reduced dilution and heightened water temperatures. Based on eDNA, kākahi species distribution did not appear correlated with fish barriers, but all-flow barriers likely impeded fish host movement to significantly reduce the total kākahi eDNA concentrations found upstream. 
eDNA detection can be used by regional councils to effectively infer presence/absence of kākahi populations and direct further conventional surveying efforts to the most impactful locations. This method allows rapid determination of distribution and densities at a national scale to aid conservation management of this taonga (treasured) species.

year: 2020