Abstract
Biofouling is the major factor that limits long-term monitoring studies with automated optical instruments. Protection of the sensing areas, surfaces, and structural housing of the sensors must be considered to deliver reliable data without the need for cleaning or maintenance. In this work, we present the design and field validation of different techniques for biofouling protection based on different housing materials, biocides, and transparent coatings. Six optical turbidity probes were built using polylactic acid (PLA), acrylonitrile butadiene styrene (ABS), PLA with copper filament, ABS coated with PDMS, ABS coated with epoxy and ABS assembled with a system for in situ chlorine production. The probes were deployed in the sea for 48 days and their anti-biofouling efficiency was evaluated using the results of the field experiment, visual inspections, and calibration signal loss after the tests. The PLA and ABS were used as samplers without fouling protection. The probe with chlorine production outperformed the other techniques, providing reliable data during the in situ experiment. The copper probe had lower performance but still retarded the biological growth. The techniques based on transparent coatings, epoxy, and PDMS did not prevent biofilm formation and suffered mostly from micro-biofouling.

Abstract
In this article, the use of diffuse reflectance (R-d) spectroscopy is explored to evaluate the diffusion properties of water and sucrose in skeletal muscle during optical clearing treatments. Treating muscle samples with sucrose-water solutions with different osmolarities, collimated transmittance (T-c) and R-d measurements were performed to obtain the diffusion time (t) and the diffusion coefficient (D) values that characterize the unique water and sucrose fluxes in the muscle and also the optical clearing mechanisms designated as tissue dehydration and refractive index matching. Considering the R-d measurements, the estimated t and D values for water in the muscle were 63.1s and 1.72x10(-6) cm(2)/s, while the ones estimated for sucrose were 261s and 4.86x10(-7) cm(2)/s. Comparing these values with the ones estimated from the T-c measurements, the relative differences observed for t and D were 1.6% and 2.8% in the case of water and 0.3% and 0.4% in the case of sucrose.

Abstract
The development of more flexible and robust models for reasoning about systems in environments with potentially conflicting information is becoming more and more relevant in different contexts. In this direction, we recently introduced paraconsistent transition systems, i.e. transition systems whose transitions are tagged with a pair of weights, one standing for the degree of evidence that the transition exists, another weighting its potential non existence. Moreover, these structures were endowed with a modal logic [3] that was further formalised as an institution in [5]. This paper goes a step further, proposing an approach for the structured specification of paraconsistent transition processes, i.e. paraconsistent transition systems with initial states. The proposed approach is developed along the lines of [12], which introduced a complete methodology for (standard) reactive systems development building on the Sannella and Tarlecki stepwise implementation process. For this, we enrich the logic with dynamic modalities and hybrid features, and provide a pallet of constructors and abstractors to support the development process of paraconsistent processes along the entire design cycle.

Abstract
Immersive video applications impose unpractical bandwidth requirements for best-effort networks. With Multi-View(MV) streaming, these can be minimized by resorting to view prediction techniques. SmoothMV is a multi-view system that uses a non-intrusive head tracking mechanism to detect the viewer's interest and select appropriate views. By coupling Neural Networks (NNs) to anticipate the viewer's interest, a reduction of view-switching latency is likely to be obtained. The objective of this paper is twofold: 1) Present a solution for acquisition of gaze data from users when viewing MV content; 2) Describe a dataset, collected with a large-scale testbed, capable of being used to train NNs to predict the user's viewing interest. Tracking data from head movements was obtained from 45 participants using an Intel Realsense F200 camera, with 7 video playlists, each being viewed a minimum of 17 times. This dataset is publicly available to the research community and constitutes an important contribution to reducing the current scarcity of such data. Tools to obtain saliency/heat maps and generate complementary plots are also provided as an open-source software package.

Abstract
There are several educational software (ES) used in the classroom environment for the teaching and learning of geometric contents that are part of the Portuguese basic education mathematics program. There are studies that show that the use of this type of artifact has a fundamental role in the behavior of students, raising, among other aspects, a greater motivation for learning mathematics. The aim of this work is to explore and describe implications for the behavior and learning of students in the 7th grade of Portuguese basic education, in face of a pedagogical practice that involves carrying out tasks using ES Plickers, in the theme similarities of the domain geometry and measurement, throughout intervention carried out. The adopted methodology presents characteristics of a quasi-experimental study. The participants were 61 students from three classes of a school in the north of Portugal, followed during eight consecutive classes. A set of tasks using Plickers, tests and a questionnaire survey were used as instruments for data collection. The results point to positive increments, at a behavioral level, as well as in the evolution of learning, in view of the use of this methodology in the classroom.

Abstract