Abstract
Multiparty session types (MPST) constitute a method to simplify construction and analysis of distributed systems. The idea is that well-typedness of processes at compile-time (statically) entails deadlock freedom and protocol compliance of their sessions of communications at execution-time (dynamically). In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. However, existing MPST tools support only unilingual programming (homogeneity), while many real-world distributed systems are engineered using multilingual programming (heterogeneity). In this paper, we present a blueprint of ST4MP: a tool to apply the MPST method in multilingual programming, based on API generation.

Abstract
Pushed by a number of advances, electromagnetic observatories have now reached the horizon scale of supermassive black holes. The existence and properties of horizons in our universe is one of the outstanding fundamental issues that can now be addressed. Here we investigate the ability to discriminate between black holes and compact, horizonless objects, focusing on the lensing of hot spots around compact objects. We work in particular with boson and Proca stars as central objects, and show that the absence of a horizon gives rise to a characteristic feature-photons that plow through the central object and produce an extra image. This feature should be universal for central objects made of matter weakly coupled to the standard model.

Abstract

Abstract
In the conventional robust optimization (RO) context, the uncertainty is regarded as residing in a predetermined and fixed uncertainty set. In many applications, however, uncertainties are affected by decisions, making the current RO framework inapplicable. This paper investigates a class of two-stage RO problems that involve decision-dependent uncertainties. We introduce a class of polyhedral uncertainty sets whose right-hand-side vector has a dependency on the here-and-now decisions and seek to derive the exact optimal wait-and-see decisions for the second-stage problem. A novel iterative algorithm based on the Benders dual decomposition is proposed where advanced optimality cuts and feasibility cuts are designed to incorporate the uncertainty-decision coupling. The computational tractability, robust feasibility and optimality, and convergence performance of the proposed algorithm are guaranteed with theoretical proof. Four motivating application examples that feature the decision-dependent uncertainties are provided. Finally, the proposed solution methodology is verified by conducting case studies on the pre-disaster highway investment problem.

Abstract
New paths to increase the sensing performance of plasmonic sensors have been reported in recent years. There are several methodologies to achieve such purpose, namely by optimizing the nanostructure, nanomaterial and even the sensing platform. Recently the use nanoparticles over plasmonic thin films have been reported and shown sensitivity enhancement, when compared to a bare thin film. Nevertheless, a nanomaterial combination between NP and thin film has not been studied. In this work it was studied such plasmonic materials in order to optimize not only refractometric sensitivity but also decrease the resultant plasmonic band width. It was found that for Au, Ag and Cu thin films, the deposition of plasmonic nanoparticles resulted in an overall refractometric sensitivity and figure of merit (FOM) increase. The larger FOM increase was obtained for the Ag thin film, from 42 to 162 when coupled to Si nanoparticles. The greater sensitivity increase was achieved for a Cu thin film coupled to a Si nanoparticle, with an increase from 1745 to 3230 nm/RIU. © Published under licence by IOP Publishing Ltd.

Abstract
This research aims to identify the information sources used by backpackers before and during the visit to an urban destination and its influence on the movements performed. It uses a questionnaire survey combined with a GPS app to track the movements of backpackers to identify backpackers' spatiotemporal behavior. A bivariate analysis using non-parametric tests was used to examine the relationships between variables. This study concludes that the consulting online information before the visit has a great deal of influence on the spatiotemporal behavior of the backpackers, namely on the linearity and intensity of the visit. If online information sources are very important due to the intense use of information by backpackers, word of mouth from other travelers should not be disregarded as an important information source. This research can contribute to the definition of more informed and differentiating tourism marketing strategy considering the information sources used and its influence on the movements performed during the visit.