The generalized Poisson distribution is well known to be a compound Poisson distribution with Borel summands. As a generalization we present closed formulas for compound Bartlett and Delaporte distributions with Borel summands and a recursive structure for certain compound shifted Delaporte mixtures with Borel summands. Our models are introduced in an actuarial context as claim number distributions and are derived only with probabilistic arguments and elementary combinatorial identities. In the actuarial context related compound distributions are of importance as models for the total size of insurance claims for which we present simple recursion formulas of Panjer type.

Helmut Finner Peter Kern Marsel Scheer

Data fusion algorithms that employ LiDAR measurements, such as Visual-LiDAR, LiDAR-Inertial, or Multiple LiDAR Odometry and simultaneous localization and mapping (SLAM) rely on precise timestamping schemes that grant synchronicity to data from LiDAR and other sensors. Poor synchronization performance, due to incorrect timestamping procedure, may negatively affect the algorithms' state estimation results. To provide highly accurate and precise synchronization between the sensors, we introduce an open-source hardware-software LiDAR to other sensors time synchronization system that exploits a dedicated hardware LiDAR time synchronization interface by providing emulated GNSS-clock to this interface, no physical GNSS-receiver is needed. The emulator is based on a general-purpose microcontroller and, due to concise hardware and software architecture, can be easily modified or extended for synchronization of sets of different sensors such as cameras, inertial measurement units (IMUs), wheel encoders, other LiDARs, etc. In the paper, we provide an example of such a system with synchronized LiDAR and IMU sensors. We conducted an evaluation of the sensors synchronization accuracy and precision, and state 1 microsecond performance. We compared our results with timestamping provided by ROS software and by a LiDAR inner clocking scheme to underline clear advantages over these two baseline methods.

Marsel Faizullin Anastasiia Kornilova Gonzalo Ferrer

We review recent developments in the Casimir effect which arises in quantization volumes restricted by material boundaries and in spaces with non-Euclidean topology. The starting point of our discussion is the novel exact solution for the electromagnetic Casimir force in the configuration of a cylinder above a plate. The related work for the scalar Casimir effect in sphere-plate configuration is also considered, and the application region of the proximity force theorem is discussed. Next we consider new experiments on the measurement of the Casimir force between metals and between metal and semiconductor. The complicated problem connected with the theory of the thermal Casimir force between real metals is analyzed in detail. The present situation regarding different theoretical approaches to the resolution of this problem is summarized. We conclude with new constraints on non-Newtonian gravity obtained using the results of latest Casimir force measurements and compare them with constraints following from the most recent gravitational experiments.

V. M. Mostepanenko

The UDP (User Defined Program) system is a scripting framework for controlling and extending instrumentation software. It has been specially designed for air- and space-borne instruments with flexibility, error control, reuse, automation, traceability and ease of development as its main objectives. All the system applications are connected through a database containing the valid script commands including descriptive information and source code. The system can be adapted to different projects without changes in the framework tools, thus achieving great level of flexibility and reusability. The UDP system comprises: an embedded system for the execution of scripts by the instrument software; automatic tools for aiding in the creation, modification, documentation and tracing of new scripting language commands; and interfaces for the creation of scripts and execution control.

R. Morales Munoz P. Mellado J. Marco de la Rosa IMaX Team

We realized a laboratory experiment to study the scattering polarization of the Na I D-doublet at 589.0 and 589.6 nm in the presence of a magnetic field. This work was stimulated by solar observations of that doublet, which have proven particularly challenging to explain through available models of polarized line formation, even to the point of casting doubts on our very understanding of the underlying physics. The purpose of the experiment was to test a quantum theory for the polarized scattering of spectrally flat incident radiation, on which much of the current magnetic diagnostics of stellar atmospheres is based. The experiment has confirmed the predictions of that theory, and its adequacy for the modeling of scattering polarization under flat-spectrum illumination.

W. Li R. Casini S. Tomczyk E. Landi Degl'Innocenti B. Marsell

Simultaneous EEG/fMRI acquisition allows to measure brain activity at high spatial-temporal resolution. The localisation of EEG sources depends on several parameters including the position of the electrodes on the scalp. The position of the MR electrodes during its acquisitions is obtained with the use of the UTE sequence allowing their visualisation. The retrieval of the electrodes consists in obtaining the volume where the electrodes are located by applying a sphere detection algorithm. We detect around 90% of electrodes for each subject, and our UTE-based electrode detection showed an average position error of 3.7mm for all subjects.

Mathis Fleury Pierre Maurel Marsel Mano Elise Bannier Christian Barillot

This paper addresses the problem of building an affordable easy-to-setup synchronized multi-view camera system, which is in demand for many Computer Vision and Robotics applications in high-dynamic environments. In our work, we propose a solution for this problem -- a publicly-available Android application for synchronized video recording on multiple smartphones with sub-millisecond accuracy. We present a generalized mathematical model of timestamping for Android smartphones and prove its applicability on 47 different physical devices. Also, we estimate the time drift parameter for those smartphones, which is less than 1.2 msec per minute for most of the considered devices, that makes smartphones' camera system a worthy analog for professional multi-view systems. Finally, we demonstrate Android-app performance on the camera system built from Android smartphones quantitatively on setup with lights and qualitatively -- on panorama stitching task.

Azat Akhmetyanov Anastasiia Kornilova Marsel Faizullin David Pozo Gonzalo Ferrer

Safety is the primary concern when it comes to air traffic. In-flight safety between Unmanned Aircraft Vehicles (UAVs) is ensured through pairwise separation minima, utilizing conflict detection and resolution methods. Existing methods mainly deal with pairwise conflicts, however due to an expected increase in traffic density, encounters with more than two UAVs are likely to happen. In this paper, we model multi-UAV conflict resolution as a multi-agent reinforcement learning problem. We implement an algorithm based on graph neural networks where cooperative agents can communicate to jointly generate resolution maneuvers. The model is evaluated in scenarios with 3 and 4 present agents. Results show that agents are able to successfully solve the multi-UAV conflicts through a cooperative strategy.

Ralvi Isufaj Marsel Omeri Miquel Angel Piera

We present a dataset of 1000 video sequences of human portraits recorded in real and uncontrolled conditions by using a handheld smartphone accompanied by an external high-quality depth camera. The collected dataset contains 200 people captured in different poses and locations and its main purpose is to bridge the gap between raw measurements obtained from a smartphone and downstream applications, such as state estimation, 3D reconstruction, view synthesis, etc. The sensors employed in data collection are the smartphone's camera and Inertial Measurement Unit (IMU), and an external Azure Kinect DK depth camera software synchronized with sub-millisecond precision to the smartphone system. During the recording, the smartphone flash is used to provide a periodic secondary source of lightning. Accurate mask of the foremost person is provided as well as its impact on the camera alignment accuracy. For evaluation purposes, we compare multiple state-of-the-art camera alignment methods by using a Motion Capture system. We provide a smartphone visual-inertial benchmark for portrait capturing, where we report results for multiple methods and motivate further use of the provided trajectories, available in the dataset, in view synthesis and 3D reconstruction tasks.

Anastasiia Kornilova Marsel Faizullin Konstantin Pakulev Andrey Sadkov Denis Kukushkin Azat Akhmetyanov Timur Akhtyamov Hekmat Taherinejad Gonzalo Ferrer

Present air traffic complexity metrics are defined considering the interests of different management layers of ATM. These layers have different objectives which in practice compete to maximize their own goals, which leads to fragmented decision making. This fragmentation together with competing KPAs requires transparent and neutral air traffic information to pave the way for an explainable set of actions. In this paper, we introduce the concept of single aircraft complexity, to determine the contribution of each aircraft to the overall complexity of air traffic. Furthermore, we describe a methodology extending this concept to define complex communities, which are groups of interdependent aircraft that contribute the majority of the complexity in a certain airspace. In order to showcase the methodology, a tool that visualizes different outputs of the algorithm is developed. Through use-cases based on synthetic and real historical traffic, we first show that the algorithm can serve to formalize controller decisions as well as guide controllers to better decisions. Further, we investigate how the provided information can be used to increase transparency of the decision makers towards different airspace users, which serves also to increase fairness and equity. Lastly, a sensitivity analysis is conducted in order to systematically analyse how each input affects the methodology.

Ralvi Isufaj Marsel Omeri Miquel Angel Piera Jaume Saez Valls Christian Eduardo Verdonk Gallego