Abstract
A cost-effective optical instrument for continuous in-situ monitoring applications is presented. With a production cost in raw materials of 38 Euro, a power consumption of 300 mu A in sleep mode and 100 mA in active mode (5 ms reading), and a capacity to monitor turbidity and sedimentary displacement at eight different depths in the water column, the sensor was developed for sediment monitoring in coastal areas. Due to the extent and dynamics of the processes involved in these areas, observations require a wide spatial and temporal resolution. Each of the eight monitoring nodes uses one infrared backscatter channel, to estimate turbidity and sediment concentration, and one ultraviolet with one infrared transmitted light channels to distinguish organic/inorganic composition of the suspended material load. An in-lab calibration was conducted, using formazine to correlate turbidity with the electronic outputs of the instrument. An analysis of the influence of external light sources and correction techniques were performed. Moreover, an in-lab experiment was conducted to study the behaviour of the sensor-to-sediment transport, wash load and sediment accumulation. The device was deployed, with a water level sensor, in an estuarine area with high sediment dynamics. The monitoring data were analysed, showing the potential of the device to continuously monitor turbidity, sediment processes, and distinguish between organic and inorganic matter, at the different depths in the water column.

Abstract
<p>Although the Earth system is described to react relatively abruptly to present anthropogenic forcings, the notion of abruptness remains questionable as it refers to a time scale that is difficult to constrain properly. Recognizing this issue, the tipping elements as listed in Lenton et al. (2008) rely on long-term observations under controlled conditions, which enabled the associated tipping points to be identified. For example, there is evidence nowadays that if the rate of deforestation from forest fires and the climate change does not decrease, the Amazonian forest will reach a tipping point towards savanna (Nobre, 2019), which would impact the regional and global climate systems as well as various other ecosystems, directly or indirectly (Magalhães et al., 2020). However, if the present tipping elements, which are now evidenced, are mostly related to the present climate change and thus directly or indirectly related to anthropogenic forcing, their interpretation must still rely on former cases detected in the past, and especially from studies of abrupt climatic transitions evidenced in paleoclimate proxy records. Moreover, recent studies of past changes have shown that addressing abrupt transitions in the past raises the issue of data quality of individual records, including the precision of the time scale and the quantification of associated uncertainties. Investigating past abrupt transitions and the mechanisms involved requires the best data quality possible. This can be a serious limitation when considering the sparse spatial coverage of high resolution paleo-records where dating is critical and corresponding errors often challenging to control. In theory, this would therefore almost limit our investigations to ice-core records of the last climate cycle, because they offer the best possible time resolution. However, evidence shows that abrupt transitions can also be identified in deeper time with lower resolution records, but still revealing changes or transitions that have impacted the dynamics of the Earth system globally. TiPES Work Package 1 will address these issues and collect paleorecords permitting to evidence the temporal behavior of tipping elements in past climates, including several examples.</p> <p>Lenton T. et al. (2008). PNAS 105, 1786-1793.</p> <p>Nobre C. (2019). Nature 574, 455.</p> <p>Magalhães N.d. et al. (2020). Sci. Rep. 16914 (2019) doi:10.1038/s41598-019-53284-1</p> <p>This work is performed under the TiPES project funded by the European Union’s Horizon 2020 research and innovation program under grant agreement # 820970 <https://tipes.sites.ku.dk/></p>

Abstract

Abstract
Notwithstanding its disruptive potential, which has been the object of considerable debate, Industry4.0 (I4.0) operationalisation still needs significant study. Specifically, scheduling is a key process that should be explored from this perspective. The purpose of this study is to shed light on the issues regarding scheduling that need to be considered in the new I4.0 framework. To achieve this, a two-stage cascade literature review is performed. The review begins with an analysis regarding the opportunities and challenges brought by I4.0 to the scheduling field, outputting a set of critical scheduling areas (CSA) in which development is essential. The second-stage literature review is performed to understand which steps have been taken so far by previous research in the scheduling field to address those challenges. Thus, a first contribution of this work is to provide insight on the influence and expected changes brought by I4.0 to scheduling, while showcasing relevant research. Another contribution is to identify the most promising future lines of research in this field, in which relevant challenges such as holistic scheduling, or increased flexibility requirements are highlighted. Concurrently, CSA such as decentralised decision-making, and human-robot collaboration display large gaps between current practice and the required technological level of development.

Abstract
We define a dynamic logic for QASM (Quantum Assembly) programming language, a language that requires the handling of quantum and probabilistic information. We provide a syntax and a model to this logic, providing a probabilistic semantics to the classical part. We exercise it with the quantum coin toss program.

Abstract
We study a simple inductive data type for representing correct-by-construction matrices. Despite its simplicity, it can be used to implement matrix-manipulation algorithms efficiently and safely, performing in some cases faster than existing alternatives even though the algorithms are written in a direct and purely functional style. A rich collection of laws makes it possible to derive and optimise these algorithms using equational reasoning, avoiding the notorious off-by-one indexing errors when fiddling with matrix dimensions. We demonstrate the usefulness of the data type on several examples, and highlight connections to related topics in category theory. © 2020 ACM.