title: The Influence of Audio on Video Memorability with an Audio Gestalt Regulated Video Memorability System

abstract: Memories are the tethering threads that tie us to the world, and memorability is the measure of their tensile strength. The threads of memory are spun from fibres of many modalities, obscuring the contribution of a single fibre to a thread's overall tensile strength. Unfurling these fibres is the key to understanding the nature of their interaction, and how we can ultimately create more meaningful media content. In this paper, we examine the influence of audio on video recognition memorability, finding evidence to suggest that it can facilitate overall video recognition memorability rich in high-level (gestalt) audio features. We introduce a novel multimodal deep learning-based late-fusion system that uses audio gestalt to estimate the influence of a given video's audio on its overall short-term recognition memorability, and selectively leverages audio features to make a prediction accordingly. We benchmark our audio gestalt based system on the Memento10k short-term video memorability dataset, achieving top-2 state-of-the-art results.


title: Propagation of radical ideas in societies with memory: competition between radical strength and social cohesion

abstract: Based on a dynamical model with fractional derivatives we show that the evolution of radical groups in a society with a memory depends mainly on the active proselytism of radical groups and the level of cohesion in social networks. We find the conditions that determine that the radical group either disappears or, on the contrary, achieves a permanent significant expression. We also discuss the possible intervention strategies on the susceptible population and show the conditions that lead to the disappearance of radical groups. We see that the higher the level of memory, the maximum proportion of radicals decreases, but those groups manage to maintain their presence in society during a larger period of time.


title: Well-posedness of a nonlinear shallow water model for an oscillating water column with time-dependent air pressure

abstract: We propose in this paper a new nonlinear mathematical model of an oscillating water column (OWC). The one-dimensional shallow water equations in the presence of this device is reformulated as a transmission problem related to the interaction between waves and a fixed partially-immersed structure. By imposing the conservation of the total fluid-OWC energy in the non-damped scenario, we are able to derive a transmission condition that involves a time-dependent air pressure inside the chamber of the device, instead of a constant atmospheric pressure as in \cite{bocchihevergara2021}. We then show that the transmission problem can be reduced to a quasilinear hyperbolic initial boundary value problem with a semi-linear boundary condition determined by an ODE depending on the trace of the solution to the PDE at the boundary. Local well-posedness for general problems of this type is established via an iterative scheme by using linear estimates for the PDE and nonlinear estimates for the ODE.


title: AttWalk: Attentive Cross-Walks for Deep Mesh Analysis

abstract: Mesh representation by random walks has been shown to benefit deep learning. Randomness is indeed a powerful concept. However, it comes with a price: some walks might wander around non-characteristic regions of the mesh, which might be harmful to shape analysis, especially when only a few walks are utilized. We propose a novel walk-attention mechanism that leverages the fact that multiple walks are used. The key idea is that the walks may provide each other with information regarding the meaningful (attentive) features of the mesh. We utilize this mutual information to extract a single descriptor of the mesh. This differs from common attention mechanisms that use attention to improve the representation of each individual descriptor. Our approach achieves SOTA results for two basic 3D shape analysis tasks: classification and retrieval. Even a handful of walks along a mesh suffice for learning.


title: QMUL-SDS at SCIVER: Step-by-Step Binary Classification for Scientific Claim Verification

abstract: Scientific claim verification is a unique challenge that is attracting increasing interest. The SCIVER shared task offers a benchmark scenario to test and compare claim verification approaches by participating teams and consists in three steps: relevant abstract selection, rationale selection and label prediction. In this paper, we present team QMUL-SDS's participation in the shared task. We propose an approach that performs scientific claim verification by doing binary classifications step-by-step. We trained a BioBERT-large classifier to select abstracts based on pairwise relevance assessments for each <claim, title of the abstract> and continued to train it to select rationales out of each retrieved abstract based on <claim, sentence>. We then propose a two-step setting for label prediction, i.e. first predicting "NOT_ENOUGH_INFO" or "ENOUGH_INFO", then label those marked as "ENOUGH_INFO" as either "SUPPORT" or "CONTRADICT". Compared to the baseline system, we achieve substantial improvements on the dev set. As a result, our team is the No. 4 team on the leaderboard.


title: Intensional Artificial Intelligence: From Symbol Emergence to Explainable and Empathetic AI

abstract: We argue that an explainable artificial intelligence must possess a rationale for its decisions, be able to infer the purpose of observed behaviour, and be able to explain its decisions in the context of what its audience understands and intends. To address these issues we present four novel contributions. Firstly, we define an arbitrary task in terms of perceptual states, and discuss two extremes of a domain of possible solutions. Secondly, we define the intensional solution. Optimal by some definitions of intelligence, it describes the purpose of a task. An agent possessed of it has a rationale for its decisions in terms of that purpose, expressed in a perceptual symbol system grounded in hardware. Thirdly, to communicate that rationale requires natural language, a means of encoding and decoding perceptual states. We propose a theory of meaning in which, to acquire language, an agent should model the world a language describes rather than the language itself. If the utterances of humans are of predictive value to the agent's goals, then the agent will imbue those utterances with meaning in terms of its own goals and perceptual states. In the context of Peircean semiotics, a community of agents must share rough approximations of signs, referents and interpretants in order to communicate. Meaning exists only in the context of intent, so to communicate with humans an agent must have comparable experiences and goals. An agent that learns intensional solutions, compelled by objective functions somewhat analogous to human motivators such as hunger and pain, may be capable of explaining its rationale not just in terms of its own intent, but in terms of what its audience understands and intends. It forms some approximation of the perceptual states of humans.


title: CapillaryNet: An Automated System to Quantify Skin Capillary Density and Red Blood Cell Velocity from Handheld Vital Microscopy

abstract: Capillaries are the smallest vessels in the body responsible for delivering oxygen and nutrients to surrounding cells. Various life-threatening diseases are known to alter the density of healthy capillaries and the flow velocity of erythrocytes within the capillaries. In previous studies, capillary density and flow velocity were manually assessed by trained specialists. However, manual analysis of a standard 20-second microvascular video requires 20 minutes on average and necessitates extensive training. Thus, manual analysis has been reported to hinder the application of microvascular microscopy in a clinical environment. To address this problem, this paper presents a fully automated state-of-the-art system to quantify skin nutritive capillary density and red blood cell velocity captured by handheld-based microscopy videos. The proposed method combines the speed of traditional computer vision algorithms with the accuracy of convolutional neural networks to enable clinical capillary analysis. The results show that the proposed system fully automates capillary detection with an accuracy exceeding that of trained analysts and measures several novel microvascular parameters that had eluded quantification thus far, namely, capillary hematocrit and intracapillary flow velocity heterogeneity. The proposed end-to-end system, named CapillaryNet, can detect capillaries at $\sim$0.9 seconds per frame with $\sim$93\% accuracy. The system is currently being used as a clinical research product in a larger e-health application to analyse capillary data captured from patients suffering from COVID-19, pancreatitis, and acute heart diseases. CapillaryNet narrows the gap between the analysis of microcirculation images in a clinical environment and state-of-the-art systems.


title: Relativistic Equations for Fractional-Spin particles

abstract: This paper generalizes the method of deducing Dirac's equation to constructing a family of equations that represent the $N$-th root of the basic Energy-Momentum relation for a free particle \cite{Dattoli1, Dattoli2, Dattoli3, Dattoli4}. Then these equations are recast in a form that allows one to interpret them as the fundamental dynamical equations for particles with fractional spin, which we study in detail for the case of $N=4$ and $N=3$. We explicitly prove that the equation is invariant to rotations and boosts and indeed represents spin-$\frac{3}{8}$ and spin-$\frac{1}{8}$ particles for $N=4$ and spin-$\frac{1}{6}$ and $0$ for $N=3$.


title: Automating Cyber Threat Hunting Using NLP, Automated Query Generation, and Genetic Perturbation

abstract: Scaling the cyber hunt problem poses several key technical challenges. Detecting and characterizing cyber threats at scale in large enterprise networks is hard because of the vast quantity and complexity of the data that must be analyzed as adversaries deploy varied and evolving tactics to accomplish their goals. There is a great need to automate all aspects, and, indeed, the workflow of cyber hunting. AI offers many ways to support this. We have developed the WILEE system that automates cyber threat hunting by translating high-level threat descriptions into many possible concrete implementations. Both the (high-level) abstract and (low-level) concrete implementations are represented using a custom domain specific language (DSL). WILEE uses the implementations along with other logic, also written in the DSL, to automatically generate queries to confirm (or refute) any hypotheses tied to the potential adversarial workflows represented at various layers of abstraction.


title: Towards probing for hypercomplex quantum mechanics in a waveguide interferometer

abstract: We experimentally investigate the suitability of a multi-path waveguide interferometer with mechanical shutters for performing a test for hypercomplex quantum mechanics. Probing the interferometer with coherent light we systematically analyse the influence of experimental imperfections that could lead to a false-positive test result. In particular, we analyse the effects of detector nonlinearity, input-power and phase fluctuations on different timescales, closed-state transmissivity of shutters and crosstalk between different interferometer paths. In our experiment, a seemingly small shutter transmissivity in the order of about $2 \times 10^{-4}$ is the main source of systematic error, which suggests that this is a key imperfection to monitor and mitigate in future experiments.


title: Consistent and symmetry preserving data-driven interface reconstruction for the level-set method

abstract: Recently, machine learning has been used to substitute parts of conventional computational fluid dynamics, e.g. the cell-face reconstruction in finite-volume solvers or the curvature computation in the Volume-of-Fluid (VOF) method. The latter showed improvements in terms of accuracy for coarsely resolved interfaces, however at the expense of convergence and symmetry. In this work, a combined approach is proposed, adressing the aforementioned shortcomings. We focus on interface reconstruction (IR) in the level-set method, i.e. the computation of the volume fraction and apertures. The combined model consists of a classification neural network, that chooses between the conventional (linear) IR and the neural network IR depending on the local interface resolution. The proposed approach improves accuracy for coarsely resolved interfaces and recovers the conventional IR for high resolutions, yielding first order overall convergence. Symmetry is preserved by mirroring and rotating the input level-set grid and subsequently averaging the predictions. The combined model is implemented into a CFD solver and demonstrated for two-phase flows. Furthermore, we provide details of floating point symmetric implementation and computational efficiency.


title: Tuning magnetic and transport properties in quasi-2D (Mn$_{1-x}$Ni$_x$)$_2$P$_2$S$_6$ single crystals

abstract: We report an optimized chemical vapor transport method to grow single crystals of (Mn$_{1-x}$Ni$_x$)$_2$P$_2$S$_6$ where x = 0, 0.3, 0.5, 0.7 & 1. Single crystals up to 4\,mm\,$\times$\,3\,mm\,$\times$\,200\,$\mu$m were obtained by this method. As-grown crystals characterized by means of scanning electron microscopy, and powder x-ray diffraction measurements. The structural characterization shows that all crystals crystallize in monoclinic symmetry with the space group $C2/m$ (No. 12). We have further investigated the magnetic properties of this series of single crystals. The magnetic measurements of the all as-grown single crystals show long-range antiferromagnetic order along all crystallographic principal axes. Overall, the N\'eel temperature TN is non-monotonous, with increasing $Ni^{2+}$ doping the temperature of the antiferromagnetic phase transition first decreases from 80 K for pristine Mn$_2$P$_2$S$_6$ (x = 0) up to x = 0.5, and then increases again to 155 K for pure Ni$_2$P$_2$S$_6$ (x = 1). The magnetic anisotropy switches from out-of-plane to in-plane as a function of composition in (Mn$_{1-x}$Ni$_x$)$_2$P$_2$S$_6$ series. Transport studies under hydrostatic pressure on the parent compound Mn$_2$P$_2$S$_6$ evidence an insulator-metal transition at an applied critical pressure of ~22 GPa


title: Identifying and Modeling Security Threats for IoMT Edge Network using Markov Chain and Common Vulnerability Scoring System (CVSS)

abstract: In this work, we defined an attack vector for networks utilizing the Internet of Medical Things (IoMT) devices and compute the probability distribution of IoMT security threats based on Markov chain and Common Vulnerability Scoring System (CVSS). IoMT is an emerging technology that improves patients' quality of life by permitting personalized e-health services without restrictions on time and site. The IoMT consists of embedded objects, sensors, and actuators that transmit and receive medical data. These Medical devices are vulnerable to different types of security threats, and thus, they pose a significant risk to patient's privacy and safety. Because security is a critical factor for successfully merging IoMT into pervasive healthcare systems, there is an urgent need for new security mechanisms to prevent threats on the IoMT edge network. Toward this direction, the first step is defining an attack vector that an attacker or unauthorized user can take advantage of to penetrate and tamper with medical data. In this article, we specify a threat model for the IoMT edge network. We identify any vulnerabilities or weaknesses within the IoMT network that allow unauthorized privileges and threats that can utilize these weaknesses to compromise the IoMT edge network. Finally, we compute the probability distribution of IoMT threats based on the Markov transition probability matrix.


title: Entanglement of Free Fermions on Johnson Graphs

abstract: Free fermions on Johnson graphs $J(n,k)$ are considered and the entanglement entropy of sets of neighborhoods is computed. For a subsystem composed of a single neighborhood, an analytical expression is provided by the decomposition in irreducible submodules of the Terwilliger algebra of $J(n,k)$ embedded in two copies of $\mathfrak{su}(2)$. For a subsytem composed of multiple neighborhoods, the construction of a block-tridiagonal operator which commutes with the entanglement Hamiltonian is presented, its usefulness in computing the entropy is stressed and the area law pre-factor is discussed.


title: A self-consistent model of the plasma staircase and nonlinear Schr\"odinger equation with subquadratic power nonlinearity

abstract: A new basis has been found for the theory of self-organization of transport avalanches and jet zonal flows in L-mode tokamak plasma, the so-called "plasma staircase." The jet zonal flows are considered as a wave packet of coupled nonlinear oscillators characterized by a complex time- and wave-number dependent wave function; in a mean-field approximation this function is argued to obey a discrete nonlinear Schr\"odinger equation with subquadratic power nonlinearity. It is shown that the subquadratic power leads directly to a white L\'evy noise, and to a L\'evy-fractional Fokker-Planck equation for radial transport of test particles (via wave-particle interactions). In a self-consistent description the avalanches, which are driven by the white L\'evy noise, interact with the jet zonal flows, which form a system of semi-permeable barriers to radial transport. We argue that the plasma staircase saturates at a state of marginal stability, in whose vicinity the avalanches undergo an ever-pursuing localization-delocalization transition. At the transition point, the event-size distribution of the avalanches is found to be a power-law $w_\tau (\Delta n) \sim \Delta n^{-\tau}$, with the drop-off exponent $\tau = ({\sqrt{17}} + 1)/{2} \simeq 2.56$. This value is an exact result of the self-consistent model. The edge behavior bears signatures enabling to associate it with the dynamics of a self-organized critical (SOC) state. At the same time the critical exponents, pertaining to this state, are found to be inconsistent with classic models of avalanche transport based on sand-piles and their generalizations, suggesting that the coupled avalanche-jet zonal flow system operates on different organizing principles. The results obtained have been validated in a numerical simulation of the plasma staircase using flux-driven gyrokinetic code for L-mode Tore-Supra plasma.


title: Quantum speedup for track reconstruction in particle accelerators

abstract: To investigate the fundamental nature of matter and its interactions, particles are accelerated to very high energies and collided inside detectors, producing a multitude of other particles that are scattered in all directions. As charged particles traverse the detector, they leave signals of their passage. The problem of track reconstruction is to recover the original trajectories from these signals. This challenging data analysis task will become even more demanding as the luminosity of future accelerators increases, leading to collision events with a more complex structure. We identify four fundamental routines present in every local tracking method and analyse how they scale in the context of a standard tracking algorithm. We show that for some of these routines we can reach a lower computational complexity with quantum search algorithms. Although the found quantum speedups are mild, this constitutes, to the best of our knowledge, the first rigorous evidence of a quantum advantage for a high-energy physics data processing task.


title: A quasi-molecular mechanism of formation of hydrogen in the early Universe -- a scheme of calculation

abstract: In our recent papers (Kereslidze et all 2019a, 2021) a non-standard quasi-molecular mechanism was suggested and applied to treat the cosmological recombination. It was assumed that in the pre-recombination stage of evolution of the Universe an electron combined with two neighbouring protons and created the hydrogen molecular ion, $H_2^+$ in highly excited states, which then descended into the lower-lying states or dissociated. In this work, we elaborate the scheme of calculation for free-bound radiative transitions into attractive states of $H_2^+$ as functions of redshift $z$. Together with the earlier developed treatment of bound-bound radiative transitions in $H_2^+$, the elaborated scheme of calculation can be used for the design of a fast and complete cosmological recombination code.


title: DeepMix: Online Auto Data Augmentation for Robust Visual Object Tracking

abstract: Online updating of the object model via samples from historical frames is of great importance for accurate visual object tracking. Recent works mainly focus on constructing effective and efficient updating methods while neglecting the training samples for learning discriminative object models, which is also a key part of a learning problem. In this paper, we propose the DeepMix that takes historical samples' embeddings as input and generates augmented embeddings online, enhancing the state-of-the-art online learning methods for visual object tracking. More specifically, we first propose the online data augmentation for tracking that online augments the historical samples through object-aware filtering. Then, we propose MixNet which is an offline trained network for performing online data augmentation within one-step, enhancing the tracking accuracy while preserving high speeds of the state-of-the-art online learning methods. The extensive experiments on three different tracking frameworks, i.e., DiMP, DSiam, and SiamRPN++, and three large-scale and challenging datasets, \ie, OTB-2015, LaSOT, and VOT, demonstrate the effectiveness and advantages of the proposed method.


title: Transverse Confinement of Electron Beams in a 2D Optical Lattice for Compact Coherent X-Ray Sources

abstract: Compact coherent x-ray sources have been the focus of extensive research efforts over the past decades. As a result, several novel schemes like optical and nano-undulators for generating x-ray emissions in "table-top" setups are proposed, developed, and assessed. Despite the extensive efforts in the past decades, there exists no operational FEL based on optical or electromagnetic undulators. By combining the particle confinement capability of optical cavities with wiggling motion inside an optical undulator, this paper proposes a new concept for making a compact coherent x-ray source. The full-wave solution of first-principle equations based on finite-difference time-domain and particle-in-cell (FDTD/PIC) is performed to simulate inverse-Compton scattering (ICS) off both free and confined electrons. It is shown that the strong space-charge effect in a low-energy electron beam (5 MeV) is the main obstacle in acquiring coherent gain through the ICS mechanism with a 10-micrometer laser. Subsequently, it is shown that by confining the electron beam at the field nodes of an optical cavity, the space-charge effect is compensated, and additionally, the ultrahigh charge density enables high FEL-gain at confinement spots. The full-wave numerical simulations predict enhancement of about three orders of magnitude in the radiation efficiency when ICS is carried out with confined electrons compared to free electrons. These theoretical results show promising potential as a new scheme for implementing a compact coherent x-ray source.


title: ESResNe(X)t-fbsp: Learning Robust Time-Frequency Transformation of Audio

abstract: Environmental Sound Classification (ESC) is a rapidly evolving field that recently demonstrated the advantages of application of visual domain techniques to the audio-related tasks. Previous studies indicate that the domain-specific modification of cross-domain approaches show a promise in pushing the whole area of ESC forward. In this paper, we present a new time-frequency transformation layer that is based on complex frequency B-spline (fbsp) wavelets. Being used with a high-performance audio classification model, the proposed fbsp-layer provides an accuracy improvement over the previously used Short-Time Fourier Transform (STFT) on standard datasets. We also investigate the influence of different pre-training strategies, including the joint use of two large-scale datasets for weight initialization: ImageNet and AudioSet. Our proposed model out-performs other approaches by achieving accuracies of 95.20 % on the ESC-50 and 89.14 % on the UrbanSound8K datasets. Additionally, we assess the increase of model robustness against additive white Gaussian noise and reduction of an effective sample rate introduced by the proposed layer and demonstrate that the fbsp-layer improves the model's ability to withstand signal perturbations, in comparison to STFT-based training. For the sake of reproducibility, our code is made available.


title: Coefficients of the inverse of functions for the subclass of $\mathcal U (\lambda)$

abstract: Let ${\mathcal A}$ be the class of functions $f$ that are analytic in the unit disk ${\mathbb D}$ and normalized such that $f(z)=z+a_2z^2+a_3z^3+\cdots$. Let $0<\lambda\le1$ and \[ {\mathcal U}(\lambda) = \left\{ f\in{\mathcal A}: \left |\left (\frac{z}{f(z)} \right )^{2}f'(z)-1\right | < \lambda,\, z\in{\mathbb D} \right\}. \] In this paper sharp upper bounds of the first three coefficients of the inverse function $f^{-1}$ are given in the case when \[\frac{f(z)}{z}\prec \frac{1}{(1-z)(1-\lambda z)}.\]


title: SBNet: Segmentation-based Network for Natural Language-based Vehicle Search

abstract: Natural language-based vehicle retrieval is a task to find a target vehicle within a given image based on a natural language description as a query. This technology can be applied to various areas including police searching for a suspect vehicle. However, it is challenging due to the ambiguity of language descriptions and the difficulty of processing multi-modal data. To tackle this problem, we propose a deep neural network called SBNet that performs natural language-based segmentation for vehicle retrieval. We also propose two task-specific modules to improve performance: a substitution module that helps features from different domains to be embedded in the same space and a future prediction module that learns temporal information. SBnet has been trained using the CityFlow-NL dataset that contains 2,498 tracks of vehicles with three unique natural language descriptions each and tested 530 unique vehicle tracks and their corresponding query sets. SBNet achieved a significant improvement over the baseline in the natural language-based vehicle tracking track in the AI City Challenge 2021.


title: A Prioritized Trajectory Planning Algorithm for Connected and Automated Vehicle Mandatory Lane Changes

abstract: We introduce a prioritized system-optimal algorithm for mandatory lane change (MLC) behavior of connected and automated vehicles (CAV) from a dedicated lane. Our approach applies a cooperative lane change that prioritizes the decisions of lane changing vehicles which are closer to the end of the diverging zone (DZ), and optimizes the predicted total system travel time. Our experiments on synthetic data show that the proposed algorithm improves the traffic network efficiency by attaining higher speeds in the dedicated lane and earlier MLC positions while ensuring a low computational time. Our approach outperforms the traditional gap acceptance model.


title: Do Robots powered by a Quantum Processor have the Freedom to swerve?

abstract: Any scientific attempt to explain consciousness is tasked with reconciling the third person objective perspective of science with our first person subjective experience of the world. A good point of departure is to consider situations in which these two perspectives are correlated. We note that behaviors conducive to our well-being, i.e. conducive to maintaining homeostasis, tend to be associated with feelings of pleasure while actions that threaten our homeostasis tend to coincide with unpleasant feelings. We choose a materialist/physicalist approach and find the simplest explanation for this correlation arises from the assumption that we possess agency. If a system has the agency to choose an outcome then presumably it would choose a pleasant over an unpleasant one. Agency implementing preferences manifests itself as a force in a third person theory. If a preference is strong it gives rise to a force causing a deterministic evolution, while weak preferences give rise to non-deterministic evolutions. Quantum physics assigns a high degree of non-determinism to large systems of qubits, a Knightian uncertainty, in which one can not even assign probabilities to observed outcomes. This can give engineered systems the freedom to act on their preferences in ways not always predictable by an outside observer. Our considerations lead us to propose a three part design for an engineered animat for which one may provocatively argue that it is conscious and possesses agency and feelings.


title: A note on the exact solution for the magnetic field in a solenoid

abstract: We comment on a recent paper regarding the derivation of the magnetic field components of a solenoid in analytical form by proposing a different and simpler method


title: Assessing Validity of Static Analysis Warnings using Ensemble Learning

abstract: Static Analysis (SA) tools are used to identify potential weaknesses in code and fix them in advance, while the code is being developed. In legacy codebases with high complexity, these rules-based static analysis tools generally report a lot of false warnings along with the actual ones. Though the SA tools uncover many hidden bugs, they are lost in the volume of fake warnings reported. The developers expend large hours of time and effort in identifying the true warnings. Other than impacting the developer productivity, true bugs are also missed out due to this challenge. To address this problem, we propose a Machine Learning (ML)-based learning process that uses source codes, historic commit data, and classifier-ensembles to prioritize the True warnings from the given list of warnings. This tool is integrated into the development workflow to filter out the false warnings and prioritize actual bugs. We evaluated our approach on the networking C codes, from a large data pool of static analysis warnings reported by the tools. Time-to-time these warnings are addressed by the developers, labelling them as authentic bugs or fake alerts. The ML model is trained with full supervision over the code features. Our results confirm that applying deep learning over the traditional static analysis reports is an assuring approach for drastically reducing the false positive rates.


title: Dynamic investment portfolio optimization using a Multivariate Merton Model with Correlated Jump Risk

abstract: In this paper, we are concerned with the optimization of a dynamic investment portfolio when the securities which follow a multivariate Merton model with dependent jumps are periodically invested and proceed by approximating the Condition-Value-at-Risk (CVaR) by comonotonic bounds and maximize the expected terminal wealth. Numerical studies as well as applications of our results to real datasets are also provided.


title: Does home advantage without crowd exist in American football?

abstract: It is well-known that home team has an inherent advantage against visiting teams when playing team sports. One of the most obvious underlying reasons, the presence of supporting fans has mostly disappeared in major leagues with the emergence of COVID-19 pandemic. This paper investigates with the help of historical National Football League (NFL) data, how much effect spectators have on the game outcome. Our findings reveal that under no allowance of spectators the home teams' performance is substantially lower than under normal circumstances, even performing slightly worse than the visiting teams. On the other hand, when a limited amount of spectators are allowed to the game, the home teams' performance is no longer significantly different than what we observe with full stadiums. This suggests that from a psychological point of view the effect of crowd support is already induced by a fraction of regular fans.


title: STRUDEL: Self-Training with Uncertainty Dependent Label Refinement across Domains

abstract: We propose an unsupervised domain adaptation (UDA) approach for white matter hyperintensity (WMH) segmentation, which uses Self-Training with Uncertainty DEpendent Label refinement (STRUDEL). Self-training has recently been introduced as a highly effective method for UDA, which is based on self-generated pseudo labels. However, pseudo labels can be very noisy and therefore deteriorate model performance. We propose to predict the uncertainty of pseudo labels and integrate it in the training process with an uncertainty-guided loss function to highlight labels with high certainty. STRUDEL is further improved by incorporating the segmentation output of an existing method in the pseudo label generation that showed high robustness for WMH segmentation. In our experiments, we evaluate STRUDEL with a standard U-Net and a modified network with a higher receptive field. Our results on WMH segmentation across datasets demonstrate the significant improvement of STRUDEL with respect to standard self-training.


title: Generalized-TODIM Method for Multi-criteria Decision Making with Basic Uncertain Information and its Application

abstract: Due to the fact that basic uncertain information provides a simple form for decision information with certainty degree, it has been developed to reflect the quality of observed or subjective assessments. In order to study the algebra structure and preference relation of basic uncertain information, we develop some algebra operations for basic uncertain information. The order relation of such type of information has also been considered. Finally, to apply the developed algebra operations and order relations, a generalized TODIM method for multi-attribute decision making with basic uncertain information is given. The numerical example shows that the developed decision procedure is valid.


title: Reconstructing Speech from Real-Time Articulatory MRI Using Neural Vocoders

abstract: Several approaches exist for the recording of articulatory movements, such as eletromagnetic and permanent magnetic articulagraphy, ultrasound tongue imaging and surface electromyography. Although magnetic resonance imaging (MRI) is more costly than the above approaches, the recent developments in this area now allow the recording of real-time MRI videos of the articulators with an acceptable resolution. Here, we experiment with the reconstruction of the speech signal from a real-time MRI recording using deep neural networks. Instead of estimating speech directly, our networks are trained to output a spectral vector, from which we reconstruct the speech signal using the WaveGlow neural vocoder. We compare the performance of three deep neural architectures for the estimation task, combining convolutional (CNN) and recurrence-based (LSTM) neural layers. Besides the mean absolute error (MAE) of our networks, we also evaluate our models by comparing the speech signals obtained using several objective speech quality metrics like the mean cepstral distortion (MCD), Short-Time Objective Intelligibility (STOI), Perceptual Evaluation of Speech Quality (PESQ) and Signal-to-Distortion Ratio (SDR). The results indicate that our approach can successfully reconstruct the gross spectral shape, but more improvements are needed to reproduce the fine spectral details.


title: Region-Adaptive Deformable Network for Image Quality Assessment

abstract: Image quality assessment (IQA) aims to assess the perceptual quality of images. The outputs of the IQA algorithms are expected to be consistent with human subjective perception. In image restoration and enhancement tasks, images generated by generative adversarial networks (GAN) can achieve better visual performance than traditional CNN-generated images, although they have spatial shift and texture noise. Unfortunately, the existing IQA methods have unsatisfactory performance on the GAN-based distortion partially because of their low tolerance to spatial misalignment. To this end, we propose the reference-oriented deformable convolution, which can improve the performance of an IQA network on GAN-based distortion by adaptively considering this misalignment. We further propose a patch-level attention module to enhance the interaction among different patch regions, which are processed independently in previous patch-based methods. The modified residual block is also proposed by applying modifications to the classic residual block to construct a patch-region-based baseline called WResNet. Equipping this baseline with the two proposed modules, we further propose Region-Adaptive Deformable Network (RADN). The experiment results on the NTIRE 2021 Perceptual Image Quality Assessment Challenge dataset show the superior performance of RADN, and the ensemble approach won fourth place in the final testing phase of the challenge. Code is available at https://github.com/IIGROUP/RADN.


title: A Picture is Worth a Collaboration: Accumulating Design Knowledge for Computer-Vision-based Hybrid Intelligence Systems

abstract: Computer vision (CV) techniques try to mimic human capabilities of visual perception to support labor-intensive and time-consuming tasks like the recognition and localization of critical objects. Nowadays, CV increasingly relies on artificial intelligence (AI) to automatically extract useful information from images that can be utilized for decision support and business process automation. However, the focus of extant research is often exclusively on technical aspects when designing AI-based CV systems while neglecting socio-technical facets, such as trust, control, and autonomy. For this purpose, we consider the design of such systems from a hybrid intelligence (HI) perspective and aim to derive prescriptive design knowledge for CV-based HI systems. We apply a reflective, practice-inspired design science approach and accumulate design knowledge from six comprehensive CV projects. As a result, we identify four design-related mechanisms (i.e., automation, signaling, modification, and collaboration) that inform our derived meta-requirements and design principles. This can serve as a basis for further socio-technical research on CV-based HI systems.


title: Improving Neural Silent Speech Interface Models by Adversarial Training

abstract: Besides the well-known classification task, these days neural networks are frequently being applied to generate or transform data, such as images and audio signals. In such tasks, the conventional loss functions like the mean squared error (MSE) may not give satisfactory results. To improve the perceptual quality of the generated signals, one possibility is to increase their similarity to real signals, where the similarity is evaluated via a discriminator network. The combination of the generator and discriminator nets is called a Generative Adversarial Network (GAN). Here, we evaluate this adversarial training framework in the articulatory-to-acoustic mapping task, where the goal is to reconstruct the speech signal from a recording of the movement of articulatory organs. As the generator, we apply a 3D convolutional network that gave us good results in an earlier study. To turn it into a GAN, we extend the conventional MSE training loss with an adversarial loss component provided by a discriminator network. As for the evaluation, we report various objective speech quality metrics such as the Perceptual Evaluation of Speech Quality (PESQ), and the Mel-Cepstral Distortion (MCD). Our results indicate that the application of the adversarial training loss brings about a slight, but consistent improvement in all these metrics.


title: A new topological perspective of expanding space-times with applications to cosmology

abstract: We discuss the possible role of the Tietze extension theorem in providing a rigorous topological base to the expanding space-time in cosmology. A simple toy model has been introduced to show the analogy between the topological extension from a circle $S$ to the whole space $M$ and the cosmic expansion from a non-zero volume to the whole space-time in non-singular cosmological models. A topological analogy to the cosmic scale factor function has been suggested, the paper refers to the possible applications of the topological extension in mathematical physics.


title: On the possibility of resonant acceleration of charged particles by the field of a transverse electromagnetic wave in vacuum

abstract: The analytical and numerical analysis of the dynamics of charged particles in the field of an intensive transverse electromagnetic wave in a vacuum presented in the article. Identifies the conditions for resonant acceleration of particles. These conditions are formulated. The features and the mechanism of this acceleration are discussed.


title: Learning in Deep Neural Networks Using a Biologically Inspired Optimizer

abstract: Plasticity circuits in the brain are known to be influenced by the distribution of the synaptic weights through the mechanisms of synaptic integration and local regulation of synaptic strength. However, the complex interplay of stimulation-dependent plasticity with local learning signals is disregarded by most of the artificial neural network training algorithms devised so far. Here, we propose a novel biologically inspired optimizer for artificial (ANNs) and spiking neural networks (SNNs) that incorporates key principles of synaptic integration observed in dendrites of cortical neurons: GRAPES (Group Responsibility for Adjusting the Propagation of Error Signals). GRAPES implements a weight-distribution dependent modulation of the error signal at each node of the neural network. We show that this biologically inspired mechanism leads to a systematic improvement of the convergence rate of the network, and substantially improves classification accuracy of ANNs and SNNs with both feedforward and recurrent architectures. Furthermore, we demonstrate that GRAPES supports performance scalability for models of increasing complexity and mitigates catastrophic forgetting by enabling networks to generalize to unseen tasks based on previously acquired knowledge. The local characteristics of GRAPES minimize the required memory resources, making it optimally suited for dedicated hardware implementations. Overall, our work indicates that reconciling neurophysiology insights with machine intelligence is key to boosting the performance of neural networks.


title: A new look at the Hardy-Littlewood-P\'{o}lya inequality of majorization

abstract: The Hardy-Littlewood-P\'{o}lya inequality of majorization is extended to the framework of ordered Banach spaces. Several applications illustrating our main results are also included.


title: On the complexity of Putinar-Vasilescu's Positivstellensatz

abstract: We provide a new degree bound on the weighted sum-of-squares (SOS) polynomials for Putinar-Vasilescu's Positivstellensatz. This leads to another Positivstellensatz saying that if $f$ is a polynomial of degree at most $2 d_f$ nonnegative on a semialgebraic set having nonempty interior defined by finitely many polynomial inequalities $g_j(x)\ge 0$, $j=1,\dots,m$ with $g_1:=L-\|x\|_2^2$ for some $L>0$, then there exist positive constants $\bar c$ and $c$ depending on $f,g_j$ such that for any $\varepsilon>0$, for all $k\ge \bar c \varepsilon^{-c}$, $f$ has the decomposition \begin{equation} \begin{array}{l} (1+\|x\|_2^2)^k(f+\varepsilon)=\sigma_0+\sum_{j=1}^m \sigma_jg_j \,, \end{array} \end{equation} for some SOS polynomials $\sigma_j$ being such that the degrees of $\sigma_0,\sigma_jg_j$ are at most $2(d_f+k)$. Here $\|\cdot\|_2$ denotes the $\ell_2$ vector norm. As a consequence, we obtain a converging hierarchy of semidefinite relaxations for lower bounds in polynomial optimization on basic compact semialgebraic sets. The complexity of this hierarchy is $\mathcal{O}(\varepsilon^{-c})$ for prescribed accuracy $\varepsilon>0$. In particular, if $m=L=1$ then $c=65$, yielding the complexity $\mathcal{O}(\varepsilon^{-65})$ for the minimization of a polynomial on the unit ball. Our result improves the complexity bound $\mathcal{O}(\exp(\varepsilon^{-c}))$ due to Nie and Schweighofer in [Journal of Complexity 23.1 (2007): 135-150].


title: Cross section for Bhabha and Compton scattering beyond quantum field theory

abstract: We consider the theory of spinor fields written in polar form, that is the form in which the spinor components are given in terms of a module times a complex unitary phase respecting Lorentz covariance. In this formalism, spinors can be treated in their most general mathematical form, without the need to restrict them to plane waves. As a consequence, calculations of scattering amplitudes can be performed by employing the most general fermion propagator, and not only the free propagator usually employed in QFT. In this article, we use these quantities to perform calculations in two notable processes, the electron-positron and Compton scatterings. We show that although the methodology differs from the one used in QFT, the final results in the two examples turn out to give no correction as predicted by QFT.


title: On Critical Kirchhoff problems driven by the fractional Laplacian

abstract: We study a nonlocal parametric problem driven by the fractional Laplacian operator combined with a Kirchhoff-type coefficient and involving a critical nonlinearity term in the sense of Sobolev embeddings. Our approach is of variational and topological nature. The obtained results can be viewed as a nontrivial extension to the nonlocal setting of some recent contributions already present in the literature.


title: An inexact-penalty method for GNE seeking in games with dynamic agents

abstract: We consider a network of autonomous agents whose outputs are actions in a game with coupled constraints. In such network scenarios, agents seeking to minimize coupled cost functions using distributed information while satisfying the coupled constraints. Current methods consider the small class of multi-integrator agents using primal-dual methods. These methods can only ensure constraint satisfaction in steady-state. In contrast, we propose an inexact penalty method using a barrier function for nonlinear agents with equilibrium-independent passive dynamics. We show that these dynamics converge to an epsilon-GNE while satisfying the constraints for all time, not only in steady-state. We develop these dynamics in both the full-information and partial-information settings. In the partial-information setting, dynamic estimates of the others' actions are used to make decisions and are updated through local communication. Applications to optical networks and velocity synchronization of flexible robots are provided.


title: Eccentric Regularization: Minimizing Hyperspherical Energy without explicit projection

abstract: Several regularization methods have recently been introduced which force the latent activations of an autoencoder or deep neural network to conform to either a Gaussian or hyperspherical distribution, or to minimize the implicit rank of the distribution in latent space. In the present work, we introduce a novel regularizing loss function which simulates a pairwise repulsive force between items and an attractive force of each item toward the origin. We show that minimizing this loss function in isolation achieves a hyperspherical distribution. Moreover, when used as a regularizing term, the scaling factor can be adjusted to allow greater flexibility and tolerance of eccentricity, thus allowing the latent variables to be stratified according to their relative importance, while still promoting diversity. We apply this method of Eccentric Regularization to an autoencoder, and demonstrate its effectiveness in image generation, representation learning and downstream classification tasks.


title: Inclination-type resonance in two-planet systems

abstract: We investigate the inclination-growth mechanisms for two-planet systems during the late protoplanetary disc phase. In previous works, much attention has been directed to the inclination-type resonance, and it has been shown that it asks for high eccentricities to be acquired during the migration of the giant planets. By adopting eccentricity and inclination damping formulae based on hydrodynamical simulations (instead of the K-prescription), we have carried out 20 000 numerical simulations, where we vary the initial planetary eccentricities, the migration rate, and the dispersal time of the gas disc. Our results confirm that highly mutually inclined systems are unlikely to be produced by an inclination-type resonance of two migrating giant planets. However, in ~1 per cent of the simulations, inclination-type resonance is observed, and a dynamical study of the evolutions reveals that the inclination-type resonance mechanism operates in three cases: (i) when the inner planet reaches the inner cavity of the disc, (ii) at moderate to high eccentricities for faster migration rates, and (iii) at low to moderate eccentricities after a phase of orbital destabilization and re-arrangement.


title: Understanding who uses Reddit: Profiling individuals with a self-reported bipolar disorder diagnosis

abstract: Recently, research on mental health conditions using public online data, including Reddit, has surged in NLP and health research but has not reported user characteristics, which are important to judge generalisability of findings. This paper shows how existing NLP methods can yield information on clinical, demographic, and identity characteristics of almost 20K Reddit users who self-report a bipolar disorder diagnosis. This population consists of slightly more feminine- than masculine-gendered mainly young or middle-aged US-based adults who often report additional mental health diagnoses, which is compared with general Reddit statistics and epidemiological studies. Additionally, this paper carefully evaluates all methods and discusses ethical issues.


title: A Formalised Theorem in the Partition Calculus

abstract: A paper on ordinal partitions by Erd\H{o}s and Milner (1972) has been formalised using the proof assistant Isabelle/HOL, augmented with a library for Zermelo-Fraenkel set theory. The work is part of a project on formalising the partition calculus. The chosen material is particularly appropriate in view of the substantial corrections later published by its authors, illustrating the potential value of formal verification.


title: High-speed hyperspectral four-wave-mixing microscopy with frequency combs

abstract: A four-wave-mixing, frequency-comb-based, hyperspectral imaging technique that is spectrally precise, potentially rapid, and can in principle be applied to any material, is demonstrated in a near-diffraction-limited microscopy application.


title: Zeros, chaotic ratios and the computational complexity of approximating the independence polynomial

abstract: The independence polynomial originates in statistical physics as the partition function of the hard-core model. The location of the complex zeros of the polynomial is related to phase transitions, and plays an important role in the design of efficient algorithms to approximately compute evaluations of the polynomial. In this paper we directly relate the location of the complex zeros of the independence polynomial to computational hardness of approximating evaluations of the independence polynomial. We do this by moreover relating the location of zeros to chaotic behaviour of a naturally associated family of rational functions; the occupation ratios.


title: An integer factorization algorithm which uses diffusion as a computational engine

abstract: In this article we develop an algorithm which computes a divisor of an integer $N$, which is assumed to be neither prime nor the power of a prime. The algorithm uses discrete time heat diffusion on a finite graph. If $N$ has $m$ distinct prime factors, then the probability that our algorithm runs successfully is at least $p(m) = 1-(m+1)/2^{m}$. We compute the computational complexity of the algorithm in terms of classical, or digital, steps and in terms of diffusion steps, which is a concept that we define here. As we will discuss below, we assert that a diffusion step can and should be considered as being comparable to a quantum step for an algorithm which runs on a quantum computer. With this, we prove that our factorization algorithm uses at most $O((\log N)^{2})$ deterministic steps and at most $O((\log N)^{2})$ diffusion steps with an implied constant which is effective. By comparison, Shor's algorithm is known to use at most $O((\log N)^{2}\log (\log N) \log (\log \log N))$ quantum steps on a quantum computer. As an example of our algorithm, we simulate the diffusion computer algorithm on a desktop computer and obtain factorizations of $N=33$ and $N=1363$.


title: Statistical properties of fast radio bursts elucidate their origins: magnetars are favoured over gamma-ray bursts

abstract: Fast radio bursts (FRBs) are extremely strong radio flares lasting several milliseconds, most of which come from unidentified objects at a cosmological distance. They can be apparently repeating or not. In this paper, we analyzed 18 repeaters and 12 non-repeating FRBs observed in the frequency bands of 400-800 MHz from CHIME. We investigated the distributions of FRB isotropic-equivalent radio luminosity, considering the K correction. Statistically, the luminosity distribution can be better fitted by Gaussian form than by power-law. Based on the above results, together with the observed FRB event rate, pulse duration, and radio luminosity, FRB origin models are evaluated and constrained such that the gamma-ray bursts (GRBs) may be excluded for the non-repeaters while magnetars or neutron stars (NSs) emitting the supergiant pulses are preferred for the repeaters. We also found the necessity of a small FRB emission beaming solid angle (about 0.1 sr) from magnetars that should be considered, and/or the FRB association with soft gamma-ray repeaters (SGRs) may lie at a low probability of about 10%. Finally, we discussed the uncertainty of FRB luminosity caused by the estimation of the distance that is inferred by the simple relation between the redshift and dispersion measure (DM).


title: Efficiency and Stability in Euclidean Network Design

abstract: Network Design problems typically ask for a minimum cost sub-network from a given host network. This classical point-of-view assumes a central authority enforcing the optimum solution. But how should networks be designed to cope with selfish agents that own parts of the network? In this setting, agents will deviate from a minimum cost network if this decreases their individual cost. Hence, designed networks should be both efficient in terms of total cost and stable in terms of the agents' willingness to accept the network. We study this novel type of Network Design problem by investigating the creation of $(\beta,\gamma)$-networks, that are in $\beta$-approximate Nash equilibrium and have a total cost of at most $\gamma$ times the optimal cost, for the recently proposed Euclidean Generalized Network Creation Game by Bil\`o et al. [SPAA 2019]. There, $n$ agents corresponding to points in Euclidean space create costly edges among themselves to optimize their centrality in the created network. Our main result is a simple $\mathcal{O}(n^2)$-time algorithm that computes a $(\beta,\beta)$-network with low $\beta$ for any given set of points. Moreover, on integer grid point sets or random point sets our algorithm achieves a low constant $\beta$. Besides these results, we discuss a generalization of our algorithm to instances with arbitrary, even non-metric, edge lengths. Moreover, we show that no such positive results are possible when focusing on either optimal networks or perfectly stable networks as in both cases NP-hard problems arise, there exist instances with very unstable optimal networks, and there are instances for perfectly stable networks with high total cost. Along the way, we significantly improve several results from Bil\`o et al. and we asymptotically resolve their conjecture about the Price of Anarchy by providing a tight bound.


title: Co-training for Deep Object Detection: Comparing Single-modal and Multi-modal Approaches

abstract: Top-performing computer vision models are powered by convolutional neural networks (CNNs). Training an accurate CNN highly depends on both the raw sensor data and their associated ground truth (GT). Collecting such GT is usually done through human labeling, which is time-consuming and does not scale as we wish. This data labeling bottleneck may be intensified due to domain shifts among image sensors, which could force per-sensor data labeling. In this paper, we focus on the use of co-training, a semi-supervised learning (SSL) method, for obtaining self-labeled object bounding boxes (BBs), i.e., the GT to train deep object detectors. In particular, we assess the goodness of multi-modal co-training by relying on two different views of an image, namely, appearance (RGB) and estimated depth (D). Moreover, we compare appearance-based single-modal co-training with multi-modal. Our results suggest that in a standard SSL setting (no domain shift, a few human-labeled data) and under virtual-to-real domain shift (many virtual-world labeled data, no human-labeled data) multi-modal co-training outperforms single-modal. In the latter case, by performing GAN-based domain translation both co-training modalities are on pair; at least, when using an off-the-shelf depth estimation model not specifically trained on the translated images.


title: GuideBP: Guiding Backpropagation Through Weaker Pathways of Parallel Logits

abstract: Convolutional neural networks often generate multiple logits and use simple techniques like addition or averaging for loss computation. But this allows gradients to be distributed equally among all paths. The proposed approach guides the gradients of backpropagation along weakest concept representations. A weakness scores defines the class specific performance of individual pathways which is then used to create a logit that would guide gradients along the weakest pathways. The proposed approach has been shown to perform better than traditional column merging techniques and can be used in several application scenarios. Not only can the proposed model be used as an efficient technique for training multiple instances of a model parallely, but also CNNs with multiple output branches have been shown to perform better with the proposed upgrade. Various experiments establish the flexibility of the learning technique which is simple yet effective in various multi-objective scenarios both empirically and statistically.


title: Power sum polynomials in a discrete tomography perspective

abstract: For a point of the projective space $\PG(n,q)$, its R\'edei factor is the linear polynomial in $n+1$ variables, whose coefficients are the point coordinates. The power sum polynomial of a subset $S$ of $\PG(n,q)$ is the sum of the $(q-1)$-th powers of the R\'edei factors of the points of $S$. The fact that many subsets may share the same power sum polynomial offers a natural connection to discrete tomography. In this paper we deal with the two-dimensional case and show that the notion of ghost, whose employment enables to find all solutions of the tomographic problem, can be rephrased in the finite geometry context, where subsets with null power sum polynomial are called ghosts as well. In the latter case, one can add ghosts still preserving the power sum polynomial by means of the multiset sum (modulo the field characteristic). We prove some general results on ghosts in $\PG(2,q)$ and compute their number in case $q$ is a prime.


title: Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL

abstract: Many facts possess symmetrical counterparts that often require a separate formal proof, depending on the nature of the involved symmetry. We introduce a method in Isabelle/HOL which produces such a symmetrical fact for the list datatype and the symmetry induced by the list reversal mapping. The method is implemented as an attribute and its result is based on user-declared symmetry rules. Besides general rules, we provide rules that are aimed to be applied in the domain of Combinatorics on Words.


title: Bright betatron radiation from direct-laser-accelerated electrons at moderate relativistic laser intensity

abstract: Direct laser acceleration (DLA) of electrons in a plasma of near critical electron density (NCD) and associated synchrotron-like radiation are discussed for moderate relativistic laser intensity (the normalized laser amplitude $a_0$ $\leq$ 4.3) and ps-long pulse. This regime is typical for kJ PW-class laser facilities designed for high energy density research. Currently, in experiments at the PHELX laser it was demonstrated that interaction of 10$^{19}$ W/cm$^{2}$ sub-ps laser pulse with sub-mm long NCD plasma results in generation of high-current well-directed super-ponderomotive electrons with effective temperature that is 10$\times$ higher than the ponderomotive potential [O. Rosmej et al., PPCF 62, 115024 (2020)]. Three-dimensional Particle-In-Cell simulations provided a good agreement with the measured electron energy distribution and were used in the current work to study synchrotron radiation of the DLA accelerated electrons. The resulting x-ray spectrum with a critical energy of 5 keV reveals an ultra-high photon number of 7$\times$10$^{11}$ in the 1-30 keV photon energy range at the focused laser energy of 20 J. Numerical simulations of a betatron x-ray phasecontrast imaging based on the DLA process for the parameters of a PHELIX laser is presented. The results are of interest for applications in high energy density (HED) experiments, which require a picosecond x-ray pulse and a high photon flux.


title: Towards rational glyco-engineering in CHO: from data to predictive models

abstract: Metabolic modeling strives to develop modeling approaches that are robust and highly predictive. To achieve this, various modeling designs, including hybrid models, and parameter estimation methods that define the type and number of parameters used in the model, are adapted. Accurate input data play an important role so that the selection of experimental methods that provide input data of the required precision with low measurement errors is crucial. For the biopharmaceutically relevant protein glycosylation, the most prominent available models are kinetic models which are able to capture the dynamic nature of protein N-glycosylation. In this review we focus on how to choose the most suitable model for a specific research question, as well as on parameters and considerations to take into account before planning relevant experiments.


title: Smooth Generalized Interval Exchange Transformations with Wandering Intervals, from explicit Derived from pseudo-Anosov maps

abstract: Starting from any pseudo-Anosov map $\varphi$ on a surface of genus $g \geqslant 2$, we construct explicitly a family of Derived from pseudo-Anosov maps $f$ by adapting the construction of Smale's Derived from Anosov maps on the two-torus. This is done by perturbing $\varphi$ at some fixed points. We first consider perturbations at every conical fixed point and then at regular fixed points. We establish the existence of a measure $\mu$, supported by the non-trivial unique minimal component of the stable foliation of $f$, with respect to which $f$ is mixing. In the process, we construct a uniquely ergodic Generalized Interval Exchange Transformation with a wandering interval that is semi-conjugated to a self-similar Interval Exchange Transformation. This Generalized Interval Exchange Transformation is obtained as the Poincar\'e map of a flow renormalized by $f$ which parametrizes stable foliation. When $f$ is $\mathcal{C}^2$, the flow and the Generalized Interval Exchange Transformation are~$\mathcal{C}^1$.


title: Removal lemmas and approximate homomorphisms

abstract: We study quantitative relationships between the triangle removal lemma and several of its variants. One such variant, which we call the triangle-free lemma, states that for each $\epsilon>0$ there exists $M$ such that every triangle-free graph $G$ has an $\epsilon$-approximate homomorphism to a triangle-free graph $F$ on at most $M$ vertices (here an $\epsilon$-approximate homomorphism is a map $V(G) \to V(F)$ where all but at most $\epsilon |V(G)|^2$ edges of $G$ are mapped to edges of $F$). One consequence of our results is that the least possible $M$ in the triangle-free lemma grows faster than exponential in any polynomial in $\epsilon^{-1}$. We also prove more general results for arbitrary graphs, as well as arithmetic analogues over finite fields, where the bounds are close to optimal.


title: NOMAD version 4: Nonlinear optimization with the MADS algorithm

abstract: NOMAD is software for optimizing blackbox problems. In continuous development since 2001, it constantly evolved with the integration of new algorithmic features published in scientific publications. These features are motivated by real applications encountered by industrial partners. The latest major release of NOMAD, version 3, dates from 2008. Minor releases are produced as new features are incorporated. The present work describes NOMAD 4, a complete redesign of the previous version, with a new architecture providing more flexible code, added functionalities and reusable code. We introduce algorithmic components, which are building blocks for more complex algorithms, and can initiate other components, launch nested algorithms, or perform specialized tasks. They facilitate the implementation of new ideas, including the MegaSearchPoll component, warm and hot restarts, and a revised version of the PSD-MADS algorithm. Another main improvement of NOMAD 4 is the usage of parallelism, to simultaneously compute multiple blackbox evaluations, and to maximize usage of available cores. Running different algorithms, tuning their parameters, and comparing their performance for optimization is simpler than before, while overall optimization performance is maintained between versions 3 and 4. NOMAD is freely available at www.gerad.ca/nomad and the whole project is visible at github.com/bbopt/nomad.


title: Formation of Earth-sized planets within the Kepler-1647 System Habitable Zone

abstract: The Kepler-1647 is a binary system with two Sun-type stars (approximately 1.22 and 0.97 Solar mass). It has the most massive circumbinary planet (1.52 Jupiter mass) with the longest orbital period (1,107.6 days) detected by the Kepler probe and is located within the habitable zone (HZ) of the system. In this work, we investigated the ability to form and house an Earth-sized planet within its HZ. First, we computed the limits of its HZ and performed numerical stability tests within that region. We found that HZ has three sub-regions that show stability, one internal, one co-orbital, and external to the host planet Kepler-1647b. Within the limits of these three regions, we performed numerical simulations of planetary formation. In the regions inner and outer to the planet, we used two different density profiles to explore different conditions of formation. In the co-orbital region, we used eight different values of total disc mass. We showed that many resonances are located within regions causing much of the disc material to be ejected before a planet is formed. Thus, the system might have two asteroid belts with Kirkwood gaps, similar to the Solar System\'s main belt of asteroids. The co-orbital region proved to be extremely sensitive, not allowing the planet formation, but showing that this binary system has the capacity to have Trojan bodies. Finally, we looked for regions of stability for an Earth-sized moon. We found that there is stability for a moon with this mass up to 0.4 Hill\'s radius from the host planet.


title: DeepSpectrumLite: A Power-Efficient Transfer Learning Framework for Embedded Speech and Audio Processing from Decentralised Data

abstract: Deep neural speech and audio processing systems have a large number of trainable parameters, a relatively complex architecture, and require a vast amount of training data and computational power. These constraints make it more challenging to integrate such systems into embedded devices and utilise them for real-time, real-world applications. We tackle these limitations by introducing DeepSpectrumLite, an open-source, lightweight transfer learning framework for on-device speech and audio recognition using pre-trained image convolutional neural networks (CNNs). The framework creates and augments Mel-spectrogram plots on-the-fly from raw audio signals which are then used to finetune specific pre-trained CNNs for the target classification task. Subsequently, the whole pipeline can be run in real-time with a mean inference lag of 242.0 ms when a DenseNet121 model is used on a consumer-grade Motorola moto e7 plus smartphone. DeepSpectrumLite operates decentralised, eliminating the need for data upload for further processing. By obtaining state-of-the-art results on a set of paralinguistics tasks, we demonstrate the suitability of the proposed transfer learning approach for embedded audio signal processing, even when data is scarce. We provide an extensive command-line interface for users and developers which is comprehensively documented and publicly available at https://github.com/DeepSpectrum/DeepSpectrumLite.


title: Sharp double inequality for complete elliptic integral of the first kind

abstract: For $r\in(0,1)$, the function $\K(r)=\int_0^{\pi/2}(1-r^2\sin^2t)^{-1/2}dt$ is known as the complete elliptic integral of the first kind. In this paper, we prove the absolute monotonicity of two functions involving $\K(r)$. As a consequence, we improve Alzer and Richards' result.


title: Dry or water world? How the water contents of inner sub-Neptunes constrain giant planet formation and the location of the water ice line

abstract: In the pebble accretion scenario, the pebbles that form planets drift inward from the outer disk regions, carrying water ice with them. At the water ice line, the water ice on the inward drifting pebbles evaporates and is released into the gas phase, resulting in water-rich gas and dry pebbles that move into the inner disk regions. Large planetary cores can block the inward drifting pebbles by forming a pressure bump outside their orbit in the protoplanetary disk. Depending on the relative position of a growing planetary core relative to the water ice line, water-rich pebbles might be blocked outside or inside the water ice line. Pebbles blocked outside the water ice line do not evaporate and thus do not release their water vapor into the gas phase, resulting in a dry inner disk, while pebbles blocked inside the water ice line release their water vapor into the gas phase, resulting in water vapor diffusing into the inner disk. As a consequence, close-in sub-Neptunes that accrete some gas from the disk should be dry or wet, respectively, if outer gas giants are outside or inside the water ice line, assuming that giant planets form fast, as has been suggested for Jupiter in our Solar System. Alternatively, a sub-Neptune could form outside the water ice line, accreting a large amount of icy pebbles and then migrating inward as a very wet sub-Neptune. We suggest that the water content of inner sub-Neptunes in systems with giant planets that can efficiently block the inward drifting pebbles could constrain the formation conditions of these systems, thus making these sub-Neptunes exciting targets for detailed characterization (e.g., with JWST, ELT, or ARIEL). In addition, the search for giant planets in systems with already characterized sub-Neptunes can be used to constrain the formation conditions of giant planets as well.


title: Encrypted Distributed Lasso for Sparse Data Predictive Control

abstract: The least squares problem with L1-regularized regressors, called Lasso, is a widely used approach in optimization problems where sparsity of the regressors is desired. This formulation is fundamental for many applications in signal processing, machine learning and control. As a motivating problem, we investigate a sparse data predictive control problem, run at a cloud service to control a system with unknown model, using L1-regularization to limit the behavior complexity. The input-output data collected for the system is privacy-sensitive, hence, we design a privacy-preserving solution using homomorphically encrypted data. The main challenges are the non-smoothness of the L1-norm, which is difficult to evaluate on encrypted data, as well as the iterative nature of the Lasso problem. We use a distributed ADMM formulation that enables us to exchange substantial local computation for little communication between multiple servers. We first give an encrypted multi-party protocol for solving the distributed Lasso problem, by approximating the non-smooth part with a Chebyshev polynomial, evaluating it on encrypted data, and using a more cost effective distributed bootstrapping operation. For the example of data predictive control, we prefer a non-homogeneous splitting of the data for better convergence. We give an encrypted multi-party protocol for this non-homogeneous splitting of the Lasso problem to a non-homogeneous set of servers: one powerful server and a few less powerful devices, added for security reasons. Finally, we provide numerical results for our proposed solutions.


title: Estimating the Number of HIV+ Latino MSM Using RDS, SS-PSE, and the Census

abstract: This paper presents a method for estimating the overall size of a hidden population using results from a respondent driven sampling (RDS) survey. We use data from the Latino MSM Community Involvement survey (LMSM-CI), an RDS dataset that contains information collected regarding the Latino MSM communities in Chicago and San Francisco. A novel model is developed in which data collected in the LMSM-CI survey serves as a bridge for use of data from other sources. In particular, American Community Survey Same-Sex Householder data along with UCLA's Williams Institute data on LGBT population by county are combined with current living situation data taken from the LMSM-CI dataset. Results obtained from these sources are used as the prior distribution for Successive-Sampling Population Size Estimation (SS-PSE) - a method used to create a probability distribution over population sizes. The strength of our model is that it does not rely on estimates of community size taken during an RDS survey, which are prone to inaccuracies and not useful in other contexts. It allows unambiguous, useful data (such as living situation), to be used to estimate population sizes.


title: Equilibrium States for the Random $\beta$-Transformation through $g$-Measures

abstract: We consider the random $\beta$-transformation $K_{\beta}$, defined on $\{0,1\}^{\mathbb N}\times[0, \frac{\lfloor\beta\rfloor}{\beta-1}]$, that generates all possible expansions of the form $x=\sum_{i=0}^{\infty}\frac{a_i}{\beta^i}$, where $a_i\in \{0,1,\cdots,\lfloor\beta\rfloor\}$. This transformation was first introduced by Dajani and Kraaikamp, and later studied by Dajani and de Vries, where two natural invariant ergodic measures were found. The first is the unique measure of maximal entropy, and the second is a measure of the form $m_p\times \mu_{\beta}$, with $m_p$ the Bernoulli $(p,1-p)$ product measure and $\mu_{\beta}$ is a measure equivalent to Lebesgue measure. In this paper, we give an uncountable family of $K_{\beta}$-invariant exact $g$-measures for a certain collection of algebraic $\beta$'s.


title: Exploring Electron Beam Induced Atomic Assembly via Reinforcement Learning in a Molecular Dynamics Environment

abstract: Atom-by-atom assembly of functional materials and devices is perceived as one of the ultimate targets of nanoscience and nanotechnology. While traditionally implemented via scanning probe microscopy techniques, recently it has been shown that the beam of a scanning transmission electron microscope can be used for targeted manipulation of individual atoms. However, the process is highly dynamic in nature and proceeds via a large number of weakly-understood individual steps. Hence, harnessing an electron beam towards atomic assembly requires automated methods to control the parameters and positioning of the beam in such a way as to fabricate atomic-scale structures reliably. Here, we create a molecular dynamics environment wherein individual atom velocities can be modified, effectively simulating a beam-induced interaction, and apply reinforcement learning to model construction of specific atomic units consisting of Si dopant atoms on a graphene lattice. We find that it is possible to engineer the reward function of the agent in such a way as to encourage formation of local clusters of dopants, whilst at the same time minimizing the amplitude of momentum changes. Inspection of the learned policies indicates that of fundamental importance is the component of velocity perpendicular to the material plane, and further, that the high stochasticity of the environment leads to conservative policies. This study shows the potential for reinforcement learning agents trained in simulated environments for potential use as atomic scale fabricators, and further, that the dynamics learned by agents encode specific elements of important physics that can be learned.


title: Collaborative Information Sharing for ML-Based Threat Detection

abstract: Recently, coordinated attack campaigns started to become more widespread on the Internet. In May 2017, WannaCry infected more than 300,000 machines in 150 countries in a few days and had a large impact on critical infrastructure. Existing threat sharing platforms cannot easily adapt to emerging attack patterns. At the same time, enterprises started to adopt machine learning-based threat detection tools in their local networks. In this paper, we pose the question: \emph{What information can defenders share across multiple networks to help machine learning-based threat detection adapt to new coordinated attacks?} We propose three information sharing methods across two networks, and show how the shared information can be used in a machine-learning network-traffic model to significantly improve its ability of detecting evasive self-propagating malware.


title: Online recognition of unsegmented actions with hierarchical SOM architecture

abstract: Automatic recognition of an online series of unsegmented actions requires a method for segmentation that determines when an action starts and when it ends. In this paper, a novel approach for recognizing unsegmented actions in online test experiments is proposed. The method uses self-organizing neural networks to build a three-layer cognitive architecture. The unique features of an action sequence are represented as a series of elicited key activations by the first-layer self-organizing map. An average length of a key activation vector is calculated for all action sequences in a training set and adjusted in learning trials to generate input patterns to the second-layer self-organizing map. The pattern vectors are clustered in the second layer, and the clusters are then labeled by an action identity in the third layer neural network. The experiment results show that although the performance drops slightly in online experiments compared to the offline tests, the ability of the proposed architecture to deal with the unsegmented action sequences as well as the online performance makes the system more plausible and practical in real-case scenarios.


title: Variational principle for nonhyperbolic ergodic measures: Skew products and elliptic cocycles

abstract: For a large class of transitive non-hyperbolic systems, we construct nonhyperbolic ergodic measures with entropy arbitrarily close to its maximal possible value. The systems we consider are partially hyperbolic with one-dimension central direction for which there are positive entropy ergodic measures whose central Lyapunov exponent is negative, zero, or positive. We construct ergodic measures with zero central Lyapunov exponent whose entropy is positive and arbitrarily close to the topological entropy of the set of points with central Lyapunov exponent zero. This provides a restricted variational principle for nonhyperbolic (zero exponent) ergodic measures. The result is applied to the setting of $\mathrm{SL}(2,\mathbb R)$ matrix cocycles and provides a counterpart to Furstenberg's classical result: for an open and dense subset of elliptic $\mathrm{SL}(2,\mathbb R)$ cocycles we construct ergodic measures with upper Lyapunov exponent zero and with metric entropy arbitrarily close to the topological entropy of the set of infinite matrix products with subexponential growth of the norm.


title: Claim Detection in Biomedical Twitter Posts

abstract: Social media contains unfiltered and unique information, which is potentially of great value, but, in the case of misinformation, can also do great harm. With regards to biomedical topics, false information can be particularly dangerous. Methods of automatic fact-checking and fake news detection address this problem, but have not been applied to the biomedical domain in social media yet. We aim to fill this research gap and annotate a corpus of 1200 tweets for implicit and explicit biomedical claims (the latter also with span annotations for the claim phrase). With this corpus, which we sample to be related to COVID-19, measles, cystic fibrosis, and depression, we develop baseline models which detect tweets that contain a claim automatically. Our analyses reveal that biomedical tweets are densely populated with claims (45 % in a corpus sampled to contain 1200 tweets focused on the domains mentioned above). Baseline classification experiments with embedding-based classifiers and BERT-based transfer learning demonstrate that the detection is challenging, however, shows acceptable performance for the identification of explicit expressions of claims. Implicit claim tweets are more challenging to detect.


title: The crossing number of the generalized Petersen graph $P(3k,k)$ in the projective plane

abstract: The crossing number of a graph $G$ in a surface $\Sigma$, denoted by $cr_{\Sigma}(G)$, is the minimum number of pairwise intersections of edges in a drawing of $G$ in $\Sigma$. Let $k$ be an integer satisfying $k\geq 3$, the generalized Petersen graph $P(3k,k)$ is the graph with vertex set $V(P(3k,k))=\{u_i, v_i| i=1,2,\cdots,3k\}$ and edge set $E(P(3k,k))=\{u_iu_{i+1}, u_iv_i, v_iv_{k+i}| i=1,2,\cdots,3k\},$ the subscripts are read modulo $3k.$ This paper investigates the crossing number of $P(3k,k)$ in the projective plane. We determine the exact value of $cr_{N_1}(P(3k,k))$ is $k-2$ when $3\le k\le 7,$ moreover, for $k\ge 8,$ we get that $k-2\le cr_{N_1}(P(3k,k))\le k-1.$


title: Social Influence Prediction with Train and Test Time Augmentation for Graph Neural Networks

abstract: Data augmentation has been widely used in machine learning for natural language processing and computer vision tasks to improve model performance. However, little research has studied data augmentation on graph neural networks, particularly using augmentation at both train- and test-time. Inspired by the success of augmentation in other domains, we have designed a method for social influence prediction using graph neural networks with train- and test-time augmentation, which can effectively generate multiple augmented graphs for social networks by utilising a variational graph autoencoder in both scenarios. We have evaluated the performance of our method on predicting user influence on multiple social network datasets. Our experimental results show that our end-to-end approach, which jointly trains a graph autoencoder and social influence behaviour classification network, can outperform state-of-the-art approaches, demonstrating the effectiveness of train- and test-time augmentation on graph neural networks for social influence prediction. We observe that this is particularly effective on smaller graphs.


title: Turkish Text Classification: From Lexicon Analysis to Bidirectional Transformer

abstract: Text classification has seen an increased use in both academic and industry settings. Though rule based methods have been fairly successful, supervised machine learning has been shown to be most successful for most languages, where most research was done on English. In this article, the success of lexicon analysis, support vector machines, and extreme gradient boosting for the task of text classification and sentiment analysis are evaluated in Turkish and a pretrained transformer based classifier is proposed, outperforming previous methods for Turkish text classification. In the context of text classification, all machine learning models proposed in the article are domain-independent and do not require any task-specific modifications.


title: Bayesian predictive inference without a prior

abstract: Let $(X_n:n\ge 1)$ be a sequence of random observations. Let $\sigma_n(\cdot)=P\bigl(X_{n+1}\in\cdot\mid X_1,\ldots,X_n\bigr)$ be the $n$-th predictive distribution and $\sigma_0(\cdot)=P(X_1\in\cdot)$ the marginal distribution of $X_1$. In a Bayesian framework, to make predictions on $(X_n)$, one only needs the collection $\sigma=(\sigma_n:n\ge 0)$. Because of the Ionescu-Tulcea theorem, $\sigma$ can be assigned directly, without passing through the usual prior/posterior scheme. One main advantage is that no prior probability has to be selected. In this paper, $\sigma$ is subjected to two requirements: (i) The resulting sequence $(X_n)$ is conditionally identically distributed, in the sense of Berti, Pratelli and Rigo (2004); (ii) Each $\sigma_{n+1}$ is a simple recursive update of $\sigma_n$. Various new $\sigma$ satisfying (i)-(ii) are introduced and investigated. For such $\sigma$, the asymptotics of $\sigma_n$, as $n\rightarrow\infty$, is determined. In some cases, the probability distribution of $(X_n)$ is also evaluated.


title: Quantitative mapping of the brain's structural connectivity using diffusion MRI tractography: a review

abstract: Diffusion magnetic resonance imaging (dMRI) tractography is an advanced imaging technique that enables in vivo mapping of the brain's white matter connections at macro scale. Over the last two decades, the study of brain connectivity using dMRI tractography has played a prominent role in the neuroimaging research landscape. In this paper, we provide a high-level overview of how tractography is used to enable quantitative analysis of the brain's structural connectivity in health and disease. We first provide a review of methodology involved in three main processing steps that are common across most approaches for quantitative analysis of tractography, including methods for tractography correction, segmentation and quantification. For each step, we aim to describe methodological choices, their popularity, and potential pros and cons. We then review studies that have used quantitative tractography approaches to study the brain's white matter, focusing on applications in neurodevelopment, aging, neurological disorders, mental disorders, and neurosurgery. We conclude that, while there have been considerable advancements in methodological technologies and breadth of applications, there nevertheless remains no consensus about the "best" methodology in quantitative analysis of tractography, and researchers should remain cautious when interpreting results in research and clinical applications.


title: Software-Defined Edge Computing: A New Architecture Paradigm to Support IoT Data Analysis

abstract: The rapid deployment of Internet of Things (IoT) applications leads to massive data that need to be processed. These IoT applications have specific communication requirements on latency and bandwidth, and present new features on their generated data such as time-dependency. Therefore, it is desirable to reshape the current IoT architectures by exploring their inherent nature of communication and computing to support smart IoT data process and analysis. We introduce in this paper features of IoT data, trends of IoT network architectures, some problems in IoT data analysis, and their solutions. Specifically, we view that software-defined edge computing is a promising architecture to support the unique needs of IoT data analysis. We further present an experiment on data anomaly detection in this architecture, and the comparison between two architectures for ECG diagnosis. Results show that our method is effective and feasible.


title: The generalized 3-connectivity of the folded hypercube $FQ_n$

abstract: The generalized $k$-connectivity of a graph $G$, denoted by $\kappa_k(G)$, is a generalization of the traditional connectivity. It is well known that the generalized $k$-connectivity is an important indicator for measuring the fault tolerance and reliability of interconnection networks. The $n$-dimensional folded hypercube $FQ_n$ is obtained from the $n$-dimensional hypercube $Q_n$ by adding an edge between any pair of vertices with complementary addresses. In this paper, we show that $\kappa_3(FQ_n)=n$ for $n\ge 2$, that is, for any three vertices in $FQ_n$, there exist $n$ internally disjoint trees connecting them.


title: Approximation of mean curvature flow with generic singularities by smooth flows with surgery

abstract: We construct smooth mean curvature flows with surgery that approximate weak mean curvature flows with only spherical and neck-pinch singularities. This is achieved by combining the recent work of Choi-Haslhofer-Hershkovits, and Choi-Haslhofer-Hershkovits-White, establishing canonical neighbourhoods of such singularities, with suitable barriers to flows with surgery. A limiting argument is then used to control these approximating flows. We conclude by improving the entropy bound on the low-entropy Schoenflies conjecture.


title: Laser cooling of a Planck mass object close to the quantum ground state

abstract: Quantum mechanics has so far not been tested for mechanical objects at the scale of the Planck mass $\sqrt{\hbar c/ G} \simeq 22\,\mu\mathrm{g}$. We present an experiment where a 1 mm quartz micropillar resonating at 3.6 MHz with an effective mass of 30 $\mu$g is cooled to 500 mK with a dilution refrigerator, and further optomechanically sideband-cooled to an effective temperature of 3 mK, corresponding to a mode thermal occupancy of 20 phonons. This nearly 1000-fold increase in the mass of an optomechanical system with respect to previous experiments near the quantum ground state opens new perspectives in the exploration of the quantum/classical border.


title: A python package for ultrashort optical pulse propagation in terms of forward models for the analytic signal

abstract: We present a flexible, open-source Python package for the accurate simulation of the $z$-propagation dynamics of ultrashort optical pulses in nonlinear waveguides, especially valid for few-cycle pulses and their interaction. The simulation approach is based on unidirectional propagation equations for the analytic signal. The provided software allows to account for dispersion, attenuation, four-wave mixing processes including, e.g., third-harmonic generation, and features various models for the Raman response. The propagation equations are solved on a periodic temporal domain. For $z$-propagation, a selection of pseudospectral methods is available. Propagation scenarios for a custom propagation constant and initial field pulses can either be specified in terms of a HDF5 based input file format or by direct implementation using a python script. We demonstrate the functionality for a test-case for which an exact solution is available, by reproducing exemplary results documented in the scientific literature, and a complex propagation scenario involving multiple pulses. The py-fmas code, its reference manual, an extended user guide, and further usage examples are available online at https://github.com/omelchert/py-fmas.


title: Mass-Zero constrained dynamics and statistics for the shell model in magnetic field

abstract: In several domains of physics, including first principle simulations and classical models for polarizable systems, the minimization of an energy function with respect to a set of auxiliary variables must be performed to define the dynamics of physical degrees of freedom. In this paper, we discuss a recent algorithm proposed to efficiently and rigorously simulate this type of systems: the Mass-Zero (MaZe) Constrained Dynamics. In MaZe the minimum condition is imposed as a constraint on the auxiliary variables treated as degrees of freedom of zero inertia driven by the physical system. The method is formulated in the Lagrangian framework, enabling the properties of the approach to emerge naturally from a fully consistent dynamical and statistical viewpoint. We begin by presenting MaZe for typical minimization problems where the imposed constraints are holonomic and summarizing its key formal properties, notably the exact Born-Oppenheimer dynamics followed by the physical variables and the exact sampling of the corresponding physical probability density. We then generalize the approach to the case of conditions on the auxiliary variables that linearly involve their velocities. Such conditions occur, for example, when describing systems in external magnetic field and they require to adapt MaZe to integrate semiholonomic constraints. The new development is presented in the second part of this paper and illustrated via a proof-of-principle calculation of the charge transport properties of a simple classical polarizable model of NaCl.


title: Inferring medication adherence from time-varying health measures

abstract: Medication adherence is a problem of widespread concern in clinical care. Poor adherence is a particular problem for patients with chronic diseases requiring long-term medication because poor adherence can result in less successful treatment outcomes and even preventable deaths. Existing methods to collect information about patient adherence are resource-intensive or do not successfully detect low-adherers with high accuracy. Acknowledging that health measures recorded at clinic visits are more reliably recorded than a patient's adherence, we have developed an approach to infer medication adherence rates based on longitudinally recorded health measures that are likely impacted by time-varying adherence behaviors. Our framework permits the inclusion of baseline health characteristics and socio-demographic data. We employ a modular inferential approach. First, we fit a two-component model on a training set of patients who have detailed adherence data obtained from electronic medication monitoring. One model component predicts adherence behaviors only from baseline health and socio-demographic information, and the other predicts longitudinal health measures given the adherence and baseline health measures. Posterior draws of relevant model parameters are simulated from this model using Markov chain Monte Carlo methods. Second, we develop an approach to infer medication adherence from the time-varying health measures using a Sequential Monte Carlo algorithm applied to a new set of patients for whom no adherence data are available. We apply and evaluate the method on a cohort of hypertensive patients, using baseline health comorbidities, socio-demographic measures, and blood pressure measured over time to infer patients' adherence to antihypertensive medication.


title: If it Looks like a Human and Speaks like a Human ... Dialogue and cooperation in human-robot interactions

abstract: The paper presents the results of a behavioral experiment conducted between February 2020 and March 2021 at Universit\`a Cattolica del Sacro Cuore, Milan Campus in which students were matched to either a human or a humanoid robotic partner to play an iterated Prisoner's Dilemma. The results of a Logit estimation procedure show that subjects are more likely to cooperate with human rather robotic partners; that are more likely to cooperate after receiving a dialogic verbal reaction following the realization of a sub-obtimal social outcome; that the effect of the verbal reaction is independent on the nature of the partner. Our findings provide new evidence on the effect of verbal communication in strategic frameworks. Results are robust to the exclusion of students of Economics related subjects, to the inclusion of a set of psychological and behavioral controls, to the way subjects perceive robots' behavior and to potential gender biases in human-human interactions.


title: MULTICAST: MULTI Confirmation-level Alarm SysTem based on CNN and LSTM to mitigate false alarms for handgun detection in video-surveillance

abstract: Despite the constant advances in computer vision, integrating modern single-image detectors in real-time handgun alarm systems in video-surveillance is still debatable. Using such detectors still implies a high number of false alarms and false negatives. In this context, most existent studies select one of the latest single-image detectors and train it on a better dataset or use some pre-processing, post-processing or data-fusion approach to further reduce false alarms. However, none of these works tried to exploit the temporal information present in the videos to mitigate false detections. This paper presents a new system, called MULTI Confirmation-level Alarm SysTem based on Convolutional Neural Networks (CNN) and Long Short Term Memory networks (LSTM) (MULTICAST), that leverages not only the spacial information but also the temporal information existent in the videos for a more reliable handgun detection. MULTICAST consists of three stages, i) a handgun detection stage, ii) a CNN-based spacial confirmation stage and iii) LSTM-based temporal confirmation stage. The temporal confirmation stage uses the positions of the detected handgun in previous instants to predict its trajectory in the next frame. Our experiments show that MULTICAST reduces by 80% the number of false alarms with respect to Faster R-CNN based-single-image detector, which makes it more useful in providing more effective and rapid security responses.