Abstract

Abstract
As the digital revolution continues to take hold in contemporary society, new technology and communications networks have provided football with new possibilities and prospects for expansion. This study provides an assessment of the published research regarding innovative digital tools designed to increase the interactivity of fans when watching a football match, regardless of whether they do it at home or at the stadium. A systematic review of the literature was performed, following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) guideline. The search was conducted in the PubMed, Web of Science, and Scopus databases. The final sample included eleven studies for analysis. Overall, the investigations that structure this review seem to be in the early stages of their development, with eight of them making tests with the target audience and the other three still in protocol development processes. Six studies concluded that fans had positive and exciting experiences using mobile applications or interactive systems. Two studies showed promising results in the area of football fans' health, and only one study showed some difficulties for fans using an ad hoc network in the stadium. Adding personal information, fan interaction systems, specific information about the players and the teams' tactical strategies, and interactive fan voting seem to be important elements for designing a successful interactive tool that contributes to increasing fans' enthusiasm during football matches.

Abstract

Abstract
Developing safe, concurrent (and parallel) software systems is a hard task in multiple aspects, particularly the sharing of information and the synchronization among multiple participants of the system. In the message passing paradigm, this is achieved by sending and receiving messages among different participants, raising a number of verification problems. For instance, exchanging messages in a wrong order may prevent the system from progressing, causing a deadlock.MPI is the most commonly used protocol for high-performance, message-based parallel programs, and the need for formal verification approaches is well acknowledged by much recent work (e.g., see [1]). © 2012 Springer-Verlag.

Abstract
This paper describes the layered control architecture and its software implementation developed and used at the Underwater Systems and Technology Laboratory. The architecture is implemented as a toolchain which consists on three main entities: DUNE onboard software, Neptus command and control software and a common IMC message-based communication protocol. The LSTS software toolchain has been tested throughout various field deployments where it was used to control heterogeneous autonomous vehicles like AUVs, ASVs, UAVs and ROVs in both single and multi-vehicle operations.

Abstract
A viability algorithm is developed to compute the constrained minimum time function for general dynamical systems. The algorithm is instantiated for a specific dynamics (Dubin's vehicle forced by a flow field) in order to numerically solve the minimum time problem. With the specific dynamics considered, the framework of hybrid systems enables us to solve the problem efficiently. The algorithm is implemented in C using epigraphical techniques to reduce the dimension of the problem. The feasibility of this optimal trajectory algorithm is tested in an experiment with a Light Autonomous Underwater Vehicle (LAUV) system. The hydrodynamics of the LAUV are analyzed in order to develop a low-dimension vehicle model. Deployment results from experiments performed in the Sacramento River in California are presented, which show good performance of the algorithm.