Abstract
When directional data fall in the positive orthant of the unit hypersphere, a folded directional distribution is preferred over a simple directional distribution for modeling the data. Since directional data, especially axial data, can be modeled using a Watson distribution, this paper considers a folded Watson distribution for such cases. We first address the parameter estimation of this distribution using maximum likelihood, which requires a numerical algorithm to solve the likelihood equations. We use the Expectation-Maximization (EM) algorithm to obtain these estimates and to analyze the properties of the concentration estimator through simulation. Next, we propose the Bayes rule for a folded Watson distribution and evaluate its performance through simulation in various scenarios, comparing it with the Bayes rule for the Watson distribution. Finally, we present examples using both simulated and real data available in the literature.

Abstract
This paper presents a semantic characterization of leakage-freeness through timing side-channels for Jasmin programs. Our characterization covers probabilistic Jasmin programs that are not constant-time. In addition, we provide a characterization in terms of probabilistic relational Hoare logic and prove the equivalence between both definitions. We also prove that our new characterizations are compositional and relate our new definitions to existing ones from prior work, which could only be applied to deterministic programs. To provide practical evidence, we use the Jasmin framework to develop a rejection sampling algorithm and provide an EasyCrypt proof that ensures the algorithm's implementation is leakage-free while not being constant-time.

Abstract
By connecting maritime and land transport, container terminals play a critical role in global logistics systems, as part of broader intermodal networks. The evolution of containerisation and technological advances, along with increased demand and volumes, led to significant adaptations in these terminals, as a way to improve productivity, reduce costs and increase competitiveness, while coping with spatial and operational constraints. For strategic decision-making, managing these complex systems can be enhanced by simulation models allowing the analysis of different scenarios in dynamic, uncertain environments. This work, presents a simulation-based decision support tool developed in the FlexSim software, to analyse different container terminal configurations, with a particular focus on automation and on sustainable practices to reduce the energy consumption of terminals. A discrete event simulation model was developed to study multiple scenarios impacting productivity, resource utilisation, and waiting times. The proposed approach allows the test and evaluation of management strategies for port operations, with preliminary results showing that sizing and planning of the fleets of automated guided vehicles (AGV) can significantly affect the total operating time, the energy consumed, and the costs associated with battery charging operations. Future research should explore additional factors affecting container terminal operations, such as the reorganisation of the storage area, while incorporating optimisation elements for work planning and resource allocation. Moreover, the simulation model will be tested and validated in a real case study, designed for the Port of Sines in Portugal. © 2024 The Authors.

Abstract
The development of safety-critical systems is heavily governed by domain-specific standards. In the aerospace industry, the DO-178C - Software Considerations in Airborne Systems and Equipment Certification - serves as the primary certification standard used by agencies such as the FAA and EASA to review and approve software-based systems. Although DO-178C aims to ensure system safety while providing evidence for certification, it does not prescribe a specific software development process, allowing flexibility for traditional Waterfall, Agile, or hybrid methods with appropriate adaptations for the aerospace context. This study proposes Scrum4DO178C, an Agile process based on Scrum, to meet the demanding requirements of aerospace software, including safety, robustness, reliability, and integrity. Scrum4DO178C introduces novel process enhancements specifically tailored to meet these criticality needs, while aligning with the standard. Unlike previous proposals that lack detail, this research presents a comprehensive, validated process applied in a real-world industry project at the highest criticality level (Level A - Catastrophic), offering insights beyond theoretical scenarios. The findings demonstrated that the Scrum4DO178C process improves project performance, allows frequent and manageable requirement changes, reduces Verification & Validation (V&V) effort, and increases efficiency while maintaining full compliance with DO-178C. The study also identifies areas for further improvement and suggests exploring the process in additional case studies, both within the aerospace industry and other domains with similarly stringent safety-critical requirements. Finally, it confirms that appropriate automation, namely for documentation production, is a central element to further improve the process. © 2013 IEEE.

Abstract

Abstract
This research addresses the Frequency Setting Problem (FSP) together with vehicle technology selection for bus fleet sizing and management. A decision support tool was developed that combines a multi-criteria decision analysis, using the Analytic Hierarchy Process (AHP), and an enumeration procedure. The tool assists transportation operators in selecting optimal frequencies and vehicle technologies, considering economic, social, and environmental criteria. Computational experiments performed in the city of Niterói, Brazil, demonstrate the effectiveness of the tool. Scenarios with different criteria prioritizations highlight the flexibility of the approach and emphasize the need for a balance between all the sustainability dimensions. This approach positively impacts public transportation system performance, favouring higher-capacity vehicles while considering demand, and contributing to sustainable urban mobility. © 2024 The Authors.