Abstract
This paper introduces Yet Another Programming Exercises Interoperability Language (YAPExIL), a JSON format that aims to: (1) support several kinds of programming exercises behind traditional blank sheet activities; (2) capitalize on expressiveness and interoperability to constitute a strong candidate to standard open programming exercises format. To this end, it builds upon an existing open format named PExIL, by mitigating its weaknesses and extending its support for a handful of exercise types. YAPExIL is published as an open format, independent from any commercial vendor, and supported with dedicated open-source software.

Abstract
This paper introduces a synthesis procedure for the satisfiability problem of RMTL-integral formulas as SAT solving modulo theories. RMTL-integral is a real-time version of metric temporal logic (MTL) extended by a duration quantifier allowing to measure time durations. For any given formula, a SAT instance modulo the theory of arrays, uninterpreted functions with equality and non-linear real-arithmetic is synthesized and may then be further investigated using appropriate SMT solvers. We show the benefits of using RMTL-integral with the given SMT encoding on a diversified set of examples that include in particular its application in the area of schedulability analysis. Therefore, we introduce a simple language for formalizing schedulability problems and show how to formulate timing constraints as RMTL-integral formulas. Our practical evaluation based on our synthesis and Z3 as back-end SMT solver also shows the feasibility of the overall approach.

Abstract
Currently, climate change poses a global threat, which may compromise the sustainability of agriculture, forestry and other land surface systems. In a changing world scenario, the economic importance of Remote Sensing (RS) to monitor forests and agricultural resources is imperative to the development of agroforestry systems. Traditional RS technologies encompass satellite and manned aircraft platforms. These platforms are continuously improving in terms of spatial, spectral, and temporal resolutions. The high spatial and temporal resolutions, flexibility and lower operational costs make Unmanned Aerial Vehicles (UAVs) a good alternative to traditional RS platforms. In the management process of forests resources, UAVs are one of the most suitable options to consider, mainly due to: (1) low operational costs and high-intensity data collection; (2) its capacity to host a wide range of sensors that could be adapted to be task-oriented; (3) its ability to plan data acquisition campaigns, avoiding inadequate weather conditions and providing data availability on-demand; and (4) the possibility to be used in real-time operations. This review aims to present the most significant UAV applications in forestry, identifying the appropriate sensors to be used in each situation as well as the data processing techniques commonly implemented.

Abstract
Delivering information timely across the logistics network is a challenge considering the diversity of entities, technologies, IT maturity and legislation. A way to overcome those challenges is to bring all the parties to a common level by providing technology able to fast and easily connect every system and a common language to allow efficient communication between logistics stakeholders. When we apply the Synchromodality and the Digital twin concepts to logistics, significant improvements can be achieved. Shippers and Integrators can act more precisely, deciding in any step of the global operation by what mode should be selected or combined and following the strict regulations and issuing the mandatory documents timely to avoid bottlenecks. This work produced one real business scenario where the 4-corner model technology-based solution enables synchromodality across the logistics network of one industry unit and its providers and the Digital twin for the process and the VGM (Verified Gross Mass) formality documents. As a solution to this scenario we propose collaboration networks between logistics stakeholders that provide interoperable, low-cost, reliable and secure data exchange, without requiring significant IT developments. To this purpose we studied and developed a demonstrator and tested our solution that consists of the adoption of the 4-corner model as described by Connecting Europe Facility (CEF) eDelivery using access points and the adoption of the standard e-Freight to exchange data over the collaboration network. The widespread use of this solution will increase global efficiency, make the inclusion of every client and provider regardless of resources available, and avoid imponderables in the logistics network. © 2020 IEEE.

Abstract
Multiple factors can affect presence in virtual environments, such as the number of human senses engaged in a given experience or the extent to which the virtual experience is credible. The purpose of the present work is to study how the inclusion of credible multisensory stimuli affects the sense of presence, namely, through the use of wind, passive haptics, vibration, and scent. Our sample consisted of 37 participants (27 men and 10 women) whose ages ranged from 17 to 44 years old and were mostly students. The participants were divided randomly into 3 groups: Control Scenario (visual and auditory - N = 12), Passive Haptic Scenario (visual, auditory, and passive haptic - N = 13) and Multisensory Scenario (visual, auditory, wind, passive haptic, vibration, and scent - N = 12). The results indicated a significant increase in the involvement subscale when all multisensory stimuli were delivered. We found a trend where the use of passive haptics by itself has a positive impact on presence, which should be the subject of further work.

Abstract
Cloud Computing services for data analytics are increasingly being sought by companies to extract value from large quantities of information. However, processing data from individuals and companies in third-party infrastructures raises several privacy concerns. To this end, different secure analytics techniques and systems have recently emerged. These initial proposals leverage specific cryptographic primitives lacking generality and thus having their application restricted to particular application scenarios. In this work, we contribute to this thriving body of knowledge by combining two complementary approaches to process sensitive data. We present SafeSpark, a secure data analytics framework that enables the combination of different cryptographic processing techniques with hardware-based protected environments for privacy-preserving data storage and processing. SafeSpark is modular and extensible therefore adapting to data analytics applications with different performance, security and functionality requirements. We have implemented a SafeSpark’s prototype based on Spark SQL and Intel SGX hardware. It has been evaluated with the TPC-DS Benchmark under three scenarios using different cryptographic primitives and secure hardware configurations. These scenarios provide a particular set of security guarantees and yield distinct performance impact, with overheads ranging from as low as 10% to an acceptable 300% when compared to an insecure vanilla deployment of Apache Spark. © IFIP International Federation for Information Processing 2020.