title: Modeling Big Data-based Systems through Ontological Trading

abstract: One of the great challenges the information society faces is dealing with the huge amount of information generated and handled daily on the Internet. Today, progress in Big data proposals attempts to solve this problem, but there are certain limitations to information search and retrieval due basically to the large volumes handled the heterogeneity of the information, and its dispersion among a multitude of sources. In this article, a formal framework is defined to facilitate the design and development of an environmental management information system, which works with a heterogeneous and large amount of data. Nevertheless, this framework can be applied to other information systems that work with Big data, because it does not depend on the type of data and can be utilized in other domains. The framework is based on an ontological web-trading model (OntoTrader), which follows model-driven engineering and ontology-driven engineering guidelines to separate the system architecture from its implementation. The proposal is accompanied by a case study, SOLERES-KRS, an environmental knowledge representation system designed and developed using software agents and multi-agent systems.


title: Marginal Tail-Adaptive Normalizing Flows

abstract: Learning the tail behavior of a distribution is a notoriously difficult problem. By definition, the number of samples from the tail is small, and deep generative models, such as normalizing flows, tend to concentrate on learning the body of the distribution. In this paper, we focus on improving the ability of normalizing flows to correctly capture the tail behavior and, thus, form more accurate models. We prove that the marginal tailedness of an autoregressive flow can be controlled via the tailedness of the marginals of its base distribution. This theoretical insight leads us to a novel type of flows based on flexible base distributions and data-driven linear layers. An empirical analysis shows that the proposed method improves on the accuracy -- especially on the tails of the distribution -- and is able to generate heavy-tailed data. We demonstrate its application on a weather and climate example, in which capturing the tail behavior is essential.


title: SAMPLE-HD: Simultaneous Action and Motion Planning Learning Environment

abstract: Humans exhibit incredibly high levels of multi-modal understanding - combining visual cues with read, or heard knowledge comes easy to us and allows for very accurate interaction with the surrounding environment. Various simulation environments focus on providing data for tasks related to scene understanding, question answering, space exploration, visual navigation. In this work, we are providing a solution to encompass both, visual and behavioural aspects of simulation in a new environment for learning interactive reasoning in manipulation setup. SAMPLE-HD environment allows to generate various scenes composed of small household objects, to procedurally generate language instructions for manipulation, and to generate ground truth paths serving as training data.


title: Active Inference for Robotic Manipulation

abstract: Robotic manipulation stands as a largely unsolved problem despite significant advances in robotics and machine learning in the last decades. One of the central challenges of manipulation is partial observability, as the agent usually does not know all physical properties of the environment and the objects it is manipulating in advance. A recently emerging theory that deals with partial observability in an explicit manner is Active Inference. It does so by driving the agent to act in a way that is not only goal-directed but also informative about the environment. In this work, we apply Active Inference to a hard-to-explore simulated robotic manipulation tasks, in which the agent has to balance a ball into a target zone. Since the reward of this task is sparse, in order to explore this environment, the agent has to learn to balance the ball without any extrinsic feedback, purely driven by its own curiosity. We show that the information-seeking behavior induced by Active Inference allows the agent to explore these challenging, sparse environments systematically. Finally, we conclude that using an information-seeking objective is beneficial in sparse environments and allows the agent to solve tasks in which methods that do not exhibit directed exploration fail.


title: Goal-Oriented Adaptive Finite Element Multilevel Monte Carlo with Convergence Rates

abstract: We present an adaptive multilevel Monte Carlo (AMLMC) algorithm for approximating deterministic, real-valued, bounded linear functionals that depend on the solution of a linear elliptic PDE with a lognormal diffusivity coefficient and geometric singularities in bounded domains of $\mathbb{R}^d$. Our AMLMC algorithm is built on the results of the weak convergence rates in the work [Moon et al., BIT Numer. Math., 46 (2006), 367-407] for an adaptive algorithm using isoparametric d-linear quadrilateral finite element approximations and the dual weighted residual error representation in a deterministic setting. Designed to suit the geometric nature of the singularities in the solution, our AMLMC algorithm uses a sequence of deterministic, non-uniform auxiliary meshes as a building block. The deterministic adaptive algorithm generates these meshes, corresponding to a geometrically decreasing sequence of tolerances. For a given realization of the diffusivity coefficient and accuracy level, AMLMC constructs its approximate sample using the first mesh in the hierarchy that satisfies the corresponding bias accuracy constraint. This adaptive approach is particularly useful for the lognormal case treated here, which lacks uniform coercivity and thus produces functional outputs that vary over orders of magnitude when sampled. We discuss iterative solvers and compare their efficiency with direct ones. To reduce computational work, we propose a stopping criterion for the iterative solver with respect to the quantity of interest, the realization of the diffusivity coefficient, and the desired level of AMLMC approximation. From the numerical experiments, based on a Fourier expansion of the coefficient field, we observe improvements in efficiency compared with both standard Monte Carlo and standard MLMC for a problem with a singularity similar to that at the tip of a slit modeling a crack.


title: Critical drift in a neuro-inspired adaptive network

abstract: It has been postulated that the brain operates in a self-organized critical state that brings multiple benefits, such as optimal sensitivity to input. Thus far, self-organized criticality has typically been depicted as a one-dimensional process, where one parameter is tuned to a critical value. However, the number of adjustable parameters in the brain is vast, and hence critical states can be expected to occupy a high-dimensional manifold inside a high-dimensional parameter space. Here, we show that adaptation rules inspired by homeostatic plasticity drive a neuro-inspired network to drift on a critical manifold, where the system is poised between inactivity and persistent activity. During the drift, global network parameters continue to change while the system remains at criticality.


title: Frustrated run and tumble of swimming E-coli bacteria in nematic liquid crystals

abstract: In many situations bacteria move in complex environments, as for example in soils, oceans or the human gut-track microbiome. In these natural environments, carrier fluids such as mucus or reproductive fluids show complex structure associated with non-Newtonian rheology. Many fundamental questions concerning the the ability to navigate in such environments remain unsolved due to the inherent complexity of the natural surroundings. Recently, the interaction of swimming bacteria with nematic liquid crystals has attracted lot of attention. In these structured fluids, the kinetics of bacterial motion is constrained by the orientational molecular order of the liquid crystal (or director field) and novel spatio-temporal patterns arise from this orientational constraint, as well as from the interactions with topological defects. A question unaddressed so far is how bacteria are able to change swimming direction in such an environment. In this work, we study the swimming mechanism of a single bacterium, E. coli, constrained to move along the director field of a lyotropic chromonic liquid crystal (LCLC) that is confined to a planar cell. In such an environment, the spontaneous run and tumble motion of the bacterium gets frustrated: the elasticity of the liquid crystal prevents flagella from unbundling. Interestingly, in order to change direction, bacteria execute a reversal motion along the director field, driven by the relocation of a single flagellum to the other side of the bacterial body, coined as a frustrated tumble. We present a detailed experimental characterization of this phenomenon, exploiting exceptional spatial and temporal resolution of bacteria and flagella dynamics during swimming, obtained using a two color Lagrangian tracking technique. We suggest a possible mechanism behind the frustrated run and tumble motion, accounting for these observations.


title: Study of Efficient Photonic Chromatic Dispersion Equalization Using MZI-Based Coherent Optical Matrix Multiplication

abstract: We propose and study an efficient photonic CDE method using MZI-based coherent optical matrix multiplication. It improves the compensation performance by about 60% when the tap-length is limited, and only 50% taps of the theoretical value is needed for photonic CDE with 1-dB penalty.


title: FabKG: A Knowledge graph of Manufacturing Science domain utilizing structured and unconventional unstructured knowledge source

abstract: As the demands for large-scale information processing have grown, knowledge graph-based approaches have gained prominence for representing general and domain knowledge. The development of such general representations is essential, particularly in domains such as manufacturing which intelligent processes and adaptive education can enhance. Despite the continuous accumulation of text in these domains, the lack of structured data has created information extraction and knowledge transfer barriers. In this paper, we report on work towards developing robust knowledge graphs based upon entity and relation data for both commercial and educational uses. To create the FabKG (Manufacturing knowledge graph), we have utilized textbook index words, research paper keywords, FabNER (manufacturing NER), to extract a sub knowledge base contained within Wikidata. Moreover, we propose a novel crowdsourcing method for KG creation by leveraging student notes, which contain invaluable information but are not captured as meaningful information, excluding their use in personal preparation for learning and written exams. We have created a knowledge graph containing 65000+ triples using all data sources. We have also shown the use case of domain-specific question answering and expression/formula-based question answering for educational purposes.


title: Structure and form of the solutions of the Erdos-Straus conjecture

abstract: In this paper we classify certain values of p that satisfy the Erdos-Straus conjecture, concerning the decomposition of fractions of the form 4/n as sum of three fractions with numerator identically equal to 1, not according to their modular similarity but to the fact that they share solutions with identical structure. We classify all solutions that satisfy that they are of the form (du,dv,duv) and find characterizations for values of p that were initially difficult to classify, such as p=1009. We also study the solutions (x,y,z) that satisfy that gcd(x,y,z)=x and, finally, we classify all the cases in which any of these two variables coincide with each other.


title: Extracting the best physics sensitivity from T2HKK: A study on optimal detector volume

abstract: T2HK is an upcoming long-baseline experiment in Japan which will have two water Cherenkov detector tanks of 187 kt volume each at distance of 295 km from the source. An alternative project, T2HKK is also under consideration where one of the water tanks will be moved to Korea at a distance of 1100 km. The flux at 295 km will cover the first oscillation maximum and the flux at 1100 km will mainly cover the second oscillation maximum. As physics sensitivity at the dual baseline rely on variation in statistics, dependence of systematic uncertainty, effect of second oscillation maximum and matter density, 187 kt detector volume at 295 km and 187 kt detector volume at 1100 km may not be the optimal configuration of T2HKK. Therefore, we have tried to optimize the ratio of the detector volume at both the locations by studying the interplay between the above mentioned parameters. For the analysis of neutrino mass hierarchy, octant of $\theta_{23}$ and CP precision, we have considered two values of $\delta_{\rm{CP}}$ as 270$^\circ$ and $0^\circ$ and for CP violation we have considered the value of $\delta_{\rm CP}= 270^\circ$. These values are motivated by the current best-fit values of this parameter as obtained from the experiments T2K and NO$\nu$A. Interestingly we find that if the systematic uncertainty is negligible then the T2HK setup i.e., when both the detector tanks are placed at 295 km gives the best results in terms of hierarchy sensitivity at $\delta_{\rm CP}= 270^\circ$, octant sensitivity, CP violation sensitivity and CP precision sensitivity at $\delta_{\rm CP}= 0^\circ$. For current values of systematic errors, we find that neither T2HK, nor T2HKK setup is giving better results for hierarchy, CP violation and CP precision sensitivity. The optimal detector volume which is of the range between 255 kt to 345 kt at 1100 km gives better results in those above mentioned parameters.


title: Oddomorphisms and homomorphism indistinguishability over graphs of bounded degree

abstract: We introduce (weak) oddomorphisms of graphs which are homomorphisms with additional constraints based on parity. These maps turn out to have interesting properties (e.g., they preserve planarity), particularly in relation to homomorphism indistinguishability. Graphs $G$ and $H$ are *homomorphism indistinguishable* over a family $\mathcal{F}$ if $\hom(F,G) = \hom(F,H)$ for all $F \in \mathcal{F}$, where $\hom(F,G)$ is the number of homomorphisms from $F$ to $G$. A classical result of Lov\'{a}sz says that isomorphism is equivalent to homomorphism indistinguishability over the class of all graphs. In recent years it has been shown that many homomorphism indistinguishability relations have natural algebraic and/or logical formulations. Currently, much research in this area is focused on finding such reformulations. We aim to broaden the scope of current research on homomorphism indistinguishability by introducing new concepts/constructions and proposing several conjectures/questions. In particular, we conjecture that every family closed under disjoint unions and minors gives rise to a distinct homomorphism indistinguishability relation. We also show that if $\mathcal{F}$ is a family of graphs closed under disjoint unions, restrictions to connected components, and weak oddomorphisms, then $\mathcal{F}$ satisfies a certain maximality or closure property: homomorphism indistinguishability over $\mathcal{F}$ of $G$ and $H$ does not imply $\hom(F,G) = \hom(F,H)$ for any $F \notin \mathcal{F}$. This allows us to answer a question raised over ten years ago, showing that homomorphism indistinguishability over graphs of bounded degree is not equivalent to isomorphism.


title: Rainbow bases in matroids

abstract: Recently, it was proved by B\'erczi and Schwarcz that the problem of factorizing a matroid into rainbow bases with respect to a given partition of its ground set is algorithmically intractable. On the other hand, many special cases were left open. We first show that the problem remains hard if the matroid is graphic, answering a question of B\'erczi and Schwarcz. As another special case, we consider the problem of deciding whether a given digraph can be factorized into subgraphs which are spanning trees in the underlying sense and respect upper bounds on the indegree of every vertex. We prove that this problem is also hard. This answers a question of Frank. In the second part of the article, we deal with the relaxed problem of covering the ground set of a matroid by rainbow bases. Among other results, we show that there is a linear function $f$ such that every matroid that can be factorized into $k$ bases for some $k \geq 3$ can be covered by $f(k)$ rainbow bases if every partition class contains at most 2 elements.


title: What Makes Forest-Based Heterogeneous Treatment Effect Estimators Work?

abstract: Estimation of heterogeneous treatment effects (HTE) is of prime importance in many disciplines, ranging from personalized medicine to economics among many others. Random forests have been shown to be a flexible and powerful approach to HTE estimation in both randomized trials and observational studies. In particular "causal forests", introduced by Athey, Tibshirani and Wager (2019), along with the R implementation in package grf were rapidly adopted. A related approach, called "model-based forests", that is geared towards randomized trials and simultaneously captures effects of both prognostic and predictive variables, was introduced by Seibold, Zeileis and Hothorn (2018) along with a modular implementation in the R package model4you. Here, we present a unifying view that goes beyond the theoretical motivations and investigates which computational elements make causal forests so successful and how these can be blended with the strengths of model-based forests. To do so, we show that both methods can be understood in terms of the same parameters and model assumptions for an additive model under L2 loss. This theoretical insight allows us to implement several flavors of "model-based causal forests" and dissect their different elements in silico. The original causal forests and model-based forests are compared with the new blended versions in a benchmark study exploring both randomized trials and observational settings. In the randomized setting, both approaches performed akin. If confounding was present in the data generating process, we found local centering of the treatment indicator with the corresponding propensities to be the main driver for good performance. Local centering of the outcome was less important, and might be replaced or enhanced by simultaneous split selection with respect to both prognostic and predictive effects.


title: Online progressive instance-balanced sampling for weakly supervised object detection

abstract: Based on multiple instance detection networks (MIDN), plenty of works have contributed tremendous efforts to weakly supervised object detection (WSOD). However, most methods neglect the fact that the overwhelming negative instances exist in each image during the training phase, which would mislead the training and make the network fall into local minima. To tackle this problem, an online progressive instance-balanced sampling (OPIS) algorithm based on hard sampling and soft sampling is proposed in this paper. The algorithm includes two modules: a progressive instance balance (PIB) module and a progressive instance reweighting (PIR) module. The PIB module combining random sampling and IoU-balanced sampling progressively mines hard negative instances while balancing positive instances and negative instances. The PIR module further utilizes classifier scores and IoUs of adjacent refinements to reweight the weights of positive instances for making the network focus on positive instances. Extensive experimental results on the PASCAL VOC 2007 and 2012 datasets demonstrate the proposed method can significantly improve the baseline, which is also comparable to many existing state-of-the-art results. In addition, compared to the baseline, the proposed method requires no extra network parameters and the supplementary training overheads are small, which could be easily integrated into other methods based on the instance classifier refinement paradigm.


title: A single liquid chromatography procedure to concentrate, separate and collect size-selected polyynes produced by pulsed laser ablation in water

abstract: Polyynes are linear carbon chains characterized by alternated single and triple bonds and terminated by hydrogen or other terminal substituents. They can be synthesized by pulsed laser ablation in liquid (PLAL) as a scalable, cost-effective, and fast physical technique. Water can be employed as a solvent for PLAL to avoid toxicity problems and to reduce costs compared to organic solvents. However, in this case, the production yield of polyynes reached is extremely low and prevents further characterization and implementation in new functional materials. In this work, we synthesized polyynes by pulsed laser ablation in water and we optimized the process parameters to improve the yield of polyynes by PLAL. Then, we developed a procedure entirely based on reversed-phase high-performance liquid chromatography (RP-HPLC) which effectively enables the concentration, separation and collection of polyynes according to their length. Since the polyynes sample is an aqueous solution, we could inject it directly into the RP-HPLC column without the dilution step required in the case of a sample in an organic solvent. Thanks to our single RP-HPLC procedure, it is possible to highly increase the concentration and separately characterize different size-selected polyynes for further use in functional materials.


title: The Metaverse Data Deluge: What Can We Do About It?

abstract: In the Metaverse, the physical space and the virtual space co-exist, and interact simultaneously. While the physical space is virtually enhanced with information, the virtual space is continuously refreshed with real-time, real-world information. To allow users to process and manipulate information seamlessly between the real and digital spaces, novel technologies must be developed. These include smart interfaces, new augmented realities, efficient storage and data management and dissemination techniques. In this paper, we first discuss some promising co-space applications. These applications offer opportunities that neither of the spaces can realize on its own. We then discuss challenges. Finally, we discuss and envision what are likely to be required from the database and system perspectives.


title: A provably quasi-polynomial algorithm for the discrete logarithm problem in finite fields of small characteristic

abstract: We describe a provably quasi-polynomial algorithm to compute discrete logarithms in the multiplicative groups of finite fields of small characteristic, that is finite fields whose characteristic is logarithmic in the order. We partially follow the heuristically quasi-polynomial algorithm presented by Barbulescu, Gaudry, Joux and Thome'. The main difference is to use a presentation of the finite field based on elliptic curves: the abundance of elliptic curves ensures the existence of such a presentation.


title: Ultrasound sensing at thermomechanical limits with optomechanical buckled-dome microcavities

abstract: We describe the use of monolithic, buckled-dome cavities as ultrasound sensors. Patterned delamination within a compressively stressed thin film stack produces high-finesse plano-concave optical resonators with sealed and empty cavity regions. The buckled mirror also functions as a flexible membrane, highly responsive to changes in external pressure. Owing to their efficient opto-acousto-mechanical coupling, thermal-displacement-noise limited sensitivity is achieved at low optical interrogation powers and for modest optical (Q ~ 10^3) and mechanical (Q ~ 10^2) quality factors. We predict and verify broadband (up to ~ 5 MHz), air-coupled ultrasound detection with noise-equivalent pressure (NEP) as low as ~ 30-100 $\mu$Pa/Hz^1/2. This corresponds to an ultrasonic force sensitivity ~ 2 x 10^-13 N/Hz^1/2 and enables the detection of MHz-range signals propagated over distances as large as ~ 20 cm in air. In water, thermal-noise-limited sensitivity is demonstrated over a wide frequency range (up to ~ 30 MHz), with NEP as low as ~ 100-800 $\mu$Pa/Hz^1/2. These cavities exhibit a nearly omnidirectional response, while being ~ 3-4 orders of magnitude more sensitive than piezoelectric devices of similar size. Easily realized as large arrays and naturally suited to direct coupling by free-space beams or optical fibers, they offer significant practical advantages over competing optical devices, and thus could be of interest for several emerging applications in medical and industrial ultrasound imaging.


title: SVG Vector Font Generation for Chinese Characters with Transformer

abstract: Designing fonts for Chinese characters is highly labor-intensive and time-consuming. While the latest methods successfully generate the English alphabet vector font, despite the high demand for automatic font generation, Chinese vector font generation has been an unsolved problem owing to its complex shape and numerous characters. This study addressed the problem of automatically generating Chinese vector fonts from only a single style and content reference. We proposed a novel network architecture with Transformer and loss functions to capture structural features without differentiable rendering. Although the dataset range was still limited to the sans-serif family, we successfully generated the Chinese vector font for the first time using the proposed method.


title: On Finding the Community with Maximum Persistence Probability

abstract: The persistence probability is a statistical index that has been proposed to detect one or more communities embedded in a network. Even though its definition is straightforward, e.g, the probability that a random walker remains in a group of nodes, it has been seldom applied possibly for the difficulty of developing an efficient algorithm to calculate it. Here, we propose a new mathematical programming model to find the community with the largest persistence probability. The model is integer fractional programming, but it can be reduced to mixed-integer linear programming with an appropriate variable substitution. Nevertheless, the problem can be solved in a reasonable time for networks of small size only, therefore we developed some heuristic procedures to approximate the optimal solution. First, we elaborated a randomized greedy-ascent method, taking advantage of a peculiar data structure to generate feasible solutions fast. After analyzing the greedy output and determining where the optimal solution is eventually located, we implemented improving procedures based on a local exchange, but applying different long term diversification principles, that are based on variable neighborhood search and random restart. Next, we applied the algorithms on simulated graphs that reproduce accurately the clustering characteristics found in real networks to determine the reliability and the effectiveness of our methodology. Finally, we applied our method to two real networks, comparing our findings to what found by two well-known alternative community detection procedures.


title: A free boundary problem for the p-Laplacian with nonlinear boundary conditions

abstract: We study a nonlinear generalization of a free boundary problem that arises in the context of thermal insulation. We consider two open sets $\Omega\subseteq A$, and we search for an optimal $A$ in order to minimize a non-linear energy functional, whose minimizers $u$ satisfy the following conditions: $\Delta_p u=0$ inside $A\setminus\Omega$, $u=1$ in $\Omega$, and a nonlinear Robin-like boundary $(p,q)$-condition on the free boundary $\partial A$. We study the variational formulation of the problem in SBV, and we prove that, under suitable conditions on the exponents $p$ and $q$, a minimizer exists and its jump set satisfies uniform density estimates.


title: Height distributions in interface growth: The role of the averaging process

abstract: To quantitatively characterize height distributions (HDs), one uses adimensional ratios of their first central moments ($m_n$) or cumulants ($\kappa_n$), especially the skewness $S$ and kurtosis $K$, whose accurate estimate demands an averaging over all $L^d$ points of the height profile at a given time, in translation-invariant interfaces, and over $N$ independent samples. One way of doing this is by calculating $m_n(t)$ [or $\kappa_n(t)$] for each sample and then carrying out an average of them for the $N$ interfaces, with $S$ and $K$ being calculated only at the end. Another approach consists in directly calculating the ratios for each interface and, then, averaging the $N$ values. It turns out, however, that $S$ and $K$ for the growth regime HDs display strong finite-size and -time effects when estimated from these "interface statistics", as already observed in some previous works and clearly shown here, through extensive simulations of several discrete growth models belonging to the EW and KPZ classes on 1D and 2D substrates of sizes $L=const.$ and $L \sim t$. Importantly, I demonstrate that with "1-point statistics'', i.e., by calculating $m_n(t)$ [or $\kappa_n(t)$] once for all $N L^d$ heights together, these corrections become very weak. However, I find that this "1-point'' approach fails in uncovering the universality of the HDs in the steady state regime (SSR) of systems whose average height, $\bar{h}$, is a fluctuating variable. In fact, as demonstrated here, in this regime the 1-pt height evolves as $h(t) = \bar{h}(t) + s_{\lambda} A^{1/2} L^{\alpha} \zeta + \cdots$ -- where $P(\zeta)$ is the underlying SSR HD -- and the fluctuations in $\bar{h}$ yield $S_{1pt} \sim t^{-1/2}$ and $K_{1pt} \sim t^{-1}$. Nonetheless, by analyzing $P(h-\bar{h})$, the cumulants of $P(\zeta)$ can be accurately determined.


title: Machine Learning Prescriptive Canvas for Optimizing Business Outcomes

abstract: Data science has the potential to improve business in a variety of verticals. While the lion's share of data science projects uses a predictive approach, to drive improvements these predictions should become decisions. However, such a two-step approach is not only sub-optimal but might even degrade performance and fail the project. The alternative is to follow a prescriptive framing, where actions are "first citizens" so that the model produces a policy that prescribes an action to take, rather than predicting an outcome. In this paper, we explain why the prescriptive approach is important and provide a step-by-step methodology: the Prescriptive Canvas. The latter aims to improve framing and communication across the project stakeholders including project and data science managers towards a successful business impact.


title: Defending Adversarial Examples by Negative Correlation Ensemble

abstract: The security issues in DNNs, such as adversarial examples, have attracted much attention. Adversarial examples refer to the examples which are capable to induce the DNNs return completely predictions by introducing carefully designed perturbations. Obviously, adversarial examples bring great security risks to the development of deep learning. Recently, Some defense approaches against adversarial examples have been proposed, however, in our opinion, the performance of these approaches are still limited. In this paper, we propose a new ensemble defense approach named the Negative Correlation Ensemble (NCEn), which achieves compelling results by introducing gradient directions and gradient magnitudes of each member in the ensemble negatively correlated and at the same time, reducing the transferability of adversarial examples among them. Extensive experiments have been conducted, and the results demonstrate that NCEn can improve the adversarial robustness of ensembles effectively.


title: Linear peridynamics Fourier multipliers and eigenvalues

abstract: A characterization for the Fourier multipliers and eigenvalues of linear peridynamic operators is provided. The analysis is presented for state-based peridynamic operators for isotropic homogeneous media in any spatial dimension. We provide explicit formulas for the eigenvalues in terms of the space dimension, the nonlocal parameters, and the material properties. The approach we follow is based on the Fourier multiplier analysis developed for the nonlocal Laplacian. The Fourier multipliers of linear peridynamic operators are second-order tensor fields, which are given through integral representations. It is shown that the eigenvalues of the peridynamic operators can be derived directly from the eigenvalues of the Fourier multiplier tensors. We reveal a simple structure for the Fourier multipliers in terms of hypergeometric functions, which allows for providing integral representations as well as hypergeometric representations of the eigenvalues. These representations are utilized to show the convergence of the eigenvalues of linear peridynamics to the eigenvalues of the Navier operator of linear elasticity in the limit of vanishing nonlocality. Moreover, the hypergeometric representation of the eigenvalues is utilized to compute the spectrum of linear peridynamic operators.


title: Generalized Chaplygin gas and accelerating universe in $f(Q,T)$ gravity

abstract: The generalized Chaplygin gas (GCG), which has an unusual perfect fluid equation of state, is another promising candidate for dark energy. We investigate the GCG scenario coupled with a baryonic matter in a newly suggested $f(Q,T)$ gravity, an arbitrary function of non-metricity $Q$ and the trace of energy-momentum tensor $T$. We consider the functional form of $f(Q, T)$ as a linear combination of $Q$ and an arbitrary function of $T$, denoted by $h(T)$. Furthermore, we obtain two different functional forms of the $f(Q,T)$ model under high pressure and high-density scenarios of GCG. We also test each model with the recent Pantheon supernovae data set of 1048 data points, Hubble data set of 31 points, and baryon acoustic oscillations. The deceleration parameter is constructed using $OHD+SNeIa+BAO$, predicting a transition from decelerated to accelerated phases of the universe expansion. Also, the equation of state parameter acquires a negative behavior depicting acceleration. Finally, we analyze the statefinder diagnostic to discriminate between the GCG and other dark energy models.


title: Multifunctions admitting a measurable by seminorm selector in Frechet spaces

abstract: In this paper we present full characterizations of multifunctions admitting a measurable by seminorm selector in Frechet spaces.


title: Comparative Analysis of Dynamic Data Race Detection Techniques

abstract: The consequences of data races can be potentially very problematic [1], and it is important to determine what tools and methods are best at detecting them. The following conditions must be met for a data race to occur: two or more threads in a single process access the same memory location concurrently, at least one of the accesses is for writing, and the threads are not using any exclusive locks to control their accesses to that memory. This paper reveals the techniques and implementations of the two main methods for dynamic data race detection techniques; the happens-before and lockset methods, and produces an analysis for several tools that employ either ({\S}4, {\S}5) or of both these methods ({\S}7.1) for detecting data races. This paper also reveals the extent to which dynamic data race detection (also called dynamic analysis) can identify harmful data races, how it can be implemented, and how it compares to other forms of data detection in terms of performance and accuracy.


title: Unitary Constraints on Semiclassical Schwarzschild Black Holes in the Presence of Island

abstract: We reconsider $D\geq4$ dimensional asymptotically flat eternal Schwarzschild black hole, and focus on the situation where the inner boundary of the radiation region is chosen to be near the horizon (i.e. $\beta \ll1$). The tension between the near-horizon condition and the short-distance approximation emerges in large dimensions in $[JHEP 06 (2020) 085]$. We remove this tension by introducing a more proper near horizon condition, thus the resulting island solution is well-behaved in any $D\geq4$ dimensional spacetime. Interestingly, a novel constraint is obtained in this situation as required by the existence of the island solution, which directly leads to the constraints on the size of the Schwarzschild black hole, the position of the inner boundary for the radiation region, or the value of $c\cdot\tilde{G}_{N}$ in any $D\geq4$ dimension. When considering the large $D$ limit, the constraint on the size of the Schwarzschild black hole obtained in this situation is in agreement with the result given in $[Phys.Rev.D 102 (2020) 2, 026016]$. We interpret these as the unitary constraints implied by the presence of island in semiclassical gravity.


title: Vehicle Teleoperation: Successive Reference-Pose Tracking

abstract: Vehicle teleoperation is an interesting feature in many fields. A typical problem of teleoperation is communication time delay which, together with actuator saturation and environmental disturbance, can cause a vehicle deviation from the target trajectory imposed by the human operator who imposes to the vehicle a steering wheel angle reference and a speed/acceleration reference. With predictive techniques, time-delay can be accounted at sufficient extent. But, in presence of disturbances, due to the absence of instantaneous haptic and visual feedback, human-operator steering command transmitted to the the vehicle is unaccounted with disturbances observed by the vehicle. To improve reference tracking without losing promptness in driving control, reference trajectory in the form of successive reference poses can be transmitted instead of steering commands to the vehicle. We introduce this new concept, namely, the 'successive reference-pose tracking (SRPT)' to improve path tracking in vehicle teleoperation. This paper discusses feasibility and advantages of this new method, compare to the smith predictor control approach. Simulations are performed in SIMULINK environment, where a 14-dof vehicle model is being controlled with Smith and SRPT controllers in presence of variable network delay. Scenarios for performance comparison are low adhesion ground, strong lateral wind and steer-rate demanding maneuvers. Simulation result shows significant improvement in reference tracking with SRPT approach.


title: Neurotoxin: Durable Backdoors in Federated Learning

abstract: Due to their decentralized nature, federated learning (FL) systems have an inherent vulnerability during their training to adversarial backdoor attacks. In this type of attack, the goal of the attacker is to use poisoned updates to implant so-called backdoors into the learned model such that, at test time, the model's outputs can be fixed to a given target for certain inputs. (As a simple toy example, if a user types "people from New York" into a mobile keyboard app that uses a backdoored next word prediction model, then the model could autocomplete the sentence to "people from New York are rude"). Prior work has shown that backdoors can be inserted into FL models, but these backdoors are often not durable, i.e., they do not remain in the model after the attacker stops uploading poisoned updates. Thus, since training typically continues progressively in production FL systems, an inserted backdoor may not survive until deployment. Here, we propose Neurotoxin, a simple one-line modification to existing backdoor attacks that acts by attacking parameters that are changed less in magnitude during training. We conduct an exhaustive evaluation across ten natural language processing and computer vision tasks, and we find that we can double the durability of state of the art backdoors.


title: Phase effect and symmetry on pair production in spatially inhomogeneous frequency chirping electric fields

abstract: Effect of the carrier envelop phase on the electron-positron pair production is studied in spatially inhomogeneous electric field with symmetrical frequency chirping. In high or low original frequency field without chirping as well as one with chirping, we find that the strength of interference effect of the momentum spectrum and the reduced particle number are all changeable periodically with phase, in particular, these periodical changes are more sensitive to the applied parameters in case of low frequency field. At the small spatial scale, the reduced particle number change is over one order magnitude by phase in small chirping. For the reduced particle number, the different optimal phases are obtained at different spatial scales, however, the larger the chirping is applied, the higher the created pair number is got. Interestingly, some different types of symmetries, i.e., the mutual symmetry of mirror/coincidence for two correlated phases and the individual self symmetry for single phase, are unfolded on the momentum spectrum. The physical reason of the mutual symmetry between two correlated phases and also the individual symmetry for two fixed specific phases are examined and discussed analytically in detail. The combined roles by phase and chirping on the periodic and symmetrical behaviors of the momentum spectrum and the reduced particle number are expected to have the potential extension to more fields such as that with multidimensional spatial coordinate.


title: Building an Endangered Language Resource in the Classroom: Universal Dependencies for Kakataibo

abstract: In this paper, we launch a new Universal Dependencies treebank for an endangered language from Amazonia: Kakataibo, a Panoan language spoken in Peru. We first discuss the collaborative methodology implemented, which proved effective to create a treebank in the context of a Computational Linguistic course for undergraduates. Then, we describe the general details of the treebank and the language-specific considerations implemented for the proposed annotation. We finally conduct some experiments on part-of-speech tagging and syntactic dependency parsing. We focus on monolingual and transfer learning settings, where we study the impact of a Shipibo-Konibo treebank, another Panoan language resource.


title: Static Analysis of Infrastructure as Code: a Survey

abstract: The increasing use of Infrastructure as Code (IaC) in DevOps leads to benefits in speed and reliability of deployment operation, but extends to infrastructure challenges typical of software systems. IaC scripts can contain defects that result in security and reliability issues in the deployed infrastructure: techniques for detecting and preventing them are needed. We analyze and survey the current state of research in this respect by conducting a literature review on static analysis techniques for IaC. We describe analysis techniques, defect categories and platforms targeted by tools in the literature.


title: Nonlinear Compton scattering and nonlinear Breit-Wheeler pair production including the damping of particle states

abstract: In the presence of an electromagnetic background plane-wave field, electron, positron, and photon states are not stable, because electrons and positrons emit photons and photons decay into electron-positron pairs. This decay of the particle states leads to an exponential damping term in the probabilities of single nonlinear Compton scattering and nonlinear Breit-Wheeler pair production. In this paper we investigate analytically and numerically the probabilities of nonlinear Compton scattering and nonlinear Breit-Wheeler pair production including the particle states' decay. For this we first compute spin- and polarization-resolved expressions of the probabilities, provide some of their asymptotic behaviors and show that the results of the total probabilities are independent of the spin and polarization bases. Then, we present several plots of the total and differential probabilities for different pulse lengths and for different spin and polarization quantum numbers. We observe that it is crucial to take into account the damping of the states in order for the probabilities to stay always below unity and we show that the damping factors also scale with the intensity and pulse duration of the background field. In the case of nonlinear Compton scattering we show numerically that the total probability behaves like a Poissonian distribution in the regime where the photon recoil is negligible. In all considered cases, the kinematic conditions are such that the final particles momenta transverse to the propagation direction of the plane wave are always much smaller than the particles longitudinal momenta and the main spread of the momentum distribution on the transverse plane is along the direction of the plane-wave electric field.


title: A new stable and avoiding inversion iteration for computing matrix square root

abstract: The objective of this research was to compute the principal matrix square root with sparse approximation. A new stable iterative scheme avoiding fully matrix inversion (SIAI) is provided. The analysis on the sparsity and error of the matrices involved during the iterative process is given. Based on the bandwidth and error analysis, a more efficient algorithm combining the SIAI with the filtering technique is proposed. The high computational efficiency and accuracy of the proposed method are demonstrated by computing the principal square roots of different matrices to reveal its applicability over the existing methods.


title: Radius Theorems for Subregularity in Infinite Dimensions

abstract: The paper continues our previous work [7] on the radius of subregularity that was initiated by Asen Dontchev. We extend the results of [7] to general Banach/Asplund spaces and to other classes of perturbations, and sharpen the coderivative tools used in the analysis of the robustness of well-posedness of mathematical problems and related regularity properties of mappings involved in the statements. We also expand the selection of classes of perturbations, for which the formula for the radius of strong subregularity is valid.


title: Supervised learning of random quantum circuits via scalable neural networks

abstract: Predicting the output of quantum circuits is a hard computational task that plays a pivotal role in the development of universal quantum computers. Here we investigate the supervised learning of output expectation values of random quantum circuits. Deep convolutional neural networks (CNNs) are trained to predict single-qubit and two-qubit expectation values using databases of classically simulated circuits. These circuits are represented via an appropriately designed one-hot encoding of the constituent gates. The prediction accuracy for previously unseen circuits is analyzed, also making comparisons with small-scale quantum computers available from the free IBM Quantum program. The CNNs often outperform the quantum devices, depending on the circuit depth, on the network depth, and on the training set size. Notably, our CNNs are designed to be scalable. This allows us exploiting transfer learning and performing extrapolations to circuits larger than those included in the training set. These CNNs also demonstrate remarkable resilience against noise, namely, they remain accurate even when trained on (simulated) expectation values averaged over very few measurements.


title: Joint Analysis of Acoustic Scenes and Sound Events Based on Multitask Learning with Dynamic Weight Adaptation

abstract: Acoustic scene classification (ASC) and sound event detection (SED) are major topics in environmental sound analysis. Considering that acoustic scenes and sound events are closely related to each other, the joint analysis of acoustic scenes and sound events using multitask learning (MTL)-based neural networks was proposed in some previous works. Conventional methods train MTL-based models using a linear combination of ASC and SED loss functions with constant weights. However, the performance of conventional MTL-based methods depends strongly on the weights of the ASC and SED losses, and it is difficult to determine the appropriate balance between the constant weights of the losses of MTL of ASC and SED. In this paper, we thus propose dynamic weight adaptation methods for MTL of ASC and SED based on dynamic weight average and multi--focal loss to adjust the learning weights automatically. Evaluation experiments using parts of the TUT Acoustic Scenes 2016/2017 and TUT Sound Events 2016/2017 are conducted, and we show that the proposed methods improve the scene classification and event detection performance characteristics compared with the conventional MTL-based method. We then investigate how the learning weights of ASC and SED tasks dynamically adapt as the model training progresses.


title: Long-term regularity of 2D gravity water waves

abstract: The two dimensional gravity water wave problem concerns the motion of an incompressible fluid occupying half the 2D space and flowing under its own gravity. In this paper we study long-term regularity of solutions evolving from small but non-localized initial data. Our main result is that if the $H^s$ norm of the initial data is $\epsilon$, where $s \gg 1$ and $\epsilon \ll 1$, then the equation is wellposed at least for a time proportional to $\epsilon^{-4}$, improving on the $\epsilon^{-3}$ lifespan obtained in \cite{BeFePu,Wu2DL}. We also study period water waves and show a lifespan bridging the gap between non-periodic waves and waves with a period of 1.


title: Novel total hip surgery robotic system based on self-localization and optical measurement

abstract: This paper presents the development and experimental evaluation of a surgical robotic system for total hip arthroplasty (THA). Although existing robotic systems used in joint replacement surgery have achieved some progresses, the robot arm must be situated accurately at the target position during operation, which depends significantly on the experience of the surgeon. In addition, handheld acetabulum reamers typically exhibit uneven strength and grinding file. Moreover, the lack of techniques to real-time measure femoral neck length may lead to poor outcomes. To tackle these challenges, we propose a real-time traceable optical positioning strategy to reduce unnecessary manual adjustments to the robotic arm during surgery, an end-effector system to stabilise grinding, and an optical probe to provide real-time measurement of the femoral neck length and other parameters used to choose the proper prosthesis. The lengths of the lower limbs are measured as the prosthesis is installed. The experimental evaluation results show that, based on its accuracy, execution ability, and robustness, the proposed surgical robotic system is feasible for THA.


title: Psychologically-Inspired, Unsupervised Inference of Perceptual Groups of GUI Widgets from GUI Images

abstract: Graphical User Interface (GUI) is not merely a collection of individual and unrelated widgets, but rather partitions discrete widgets into groups by various visual cues, thus forming higher-order perceptual units such as tab, menu, card or list. The ability to automatically segment a GUI into perceptual groups of widgets constitutes a fundamental component of visual intelligence to automate GUI design, implementation and automation tasks. Although humans can partition a GUI into meaningful perceptual groups of widgets in a highly reliable way, perceptual grouping is still an open challenge for computational approaches. Existing methods rely on ad-hoc heuristics or supervised machine learning that is dependent on specific GUI implementations and runtime information. Research in psychology and biological vision has formulated a set of principles (i.e., Gestalt theory of perception) that describe how humans group elements in visual scenes based on visual cues like connectivity, similarity, proximity and continuity. These principles are domain-independent and have been widely adopted by practitioners to structure content on GUIs to improve aesthetic pleasant and usability. Inspired by these principles, we present a novel unsupervised image-based method for inferring perceptual groups of GUI widgets. Our method requires only GUI pixel images, is independent of GUI implementation, and does not require any training data. The evaluation on a dataset of 1,091 GUIs collected from 772 mobile apps and 20 UI design mockups shows that our method significantly outperforms the state-of-the-art ad-hoc heuristics-based baseline. Our perceptual grouping method creates the opportunities for improving UI-related software engineering tasks.


title: On near-perfect numbers of special forms

abstract: In this paper we discuss near-perfect numbers of various forms. In particular, we study the existence of near-perfect numbers in the Fibonacci and Lucas sequences, near-perfect values taken by integer polynomials and repdigit near-perfect numbers.


title: Remark on a paper by Wu

abstract: In this short note, we give an affirmative answer to Wu's conjecture on practical numbers, which was posed in [X.-H. Wu, {\it Special forms and the distribution of practical numbers}, Acta Math. Hungar., {\bf 160}(2020), 405-411].


title: On a conjecture of Deaconescu

abstract: In 2000 Deaconescu raised a question whether there exists a composite $n$ for which $S_2(n)|\phi(n)-1$, where $\phi(n)$ is Euler's function and $S_2(n)$ is Schemmel's totient function. In this paper we prove that any such $n$ is odd, squarefree and has at least seven distinct prime factors. We also prove that any such $n$ with exactly $K$ distinct prime divisors is necessarily less than $2^{2^{K+1}}$.


title: Sums of Fibonacci numbers close to a power of 2

abstract: In this paper, we find all sums of two Fibonacci numbers which are close to a power of 2. As a corollary, we also determine all Lucas numbers close to a power of 2. The main tools used in this work are lower bounds for linear forms in logarithms due to Matveev and Dujella-Peth\"{o} version of the Baker-Davenport reduction method in diophantine approximation. This paper continues and extends the previous work of Chern and Cui.


title: Confidence-Guided Unsupervised Domain Adaptation for Cerebellum Segmentation

abstract: The lack of a comprehensive high-resolution atlas of the cerebellum has hampered studies of cerebellar involvement in normal brain function and disease. A good representation of the tightly foliated aspect of the cerebellar cortex is difficult to achieve because of the highly convoluted surface and the time it would take for manual delineation. The quality of manual segmentation is influenced by human expert judgment, and automatic labelling is constrained by the limited robustness of existing segmentation algorithms. The 20umisotropic BigBrain dataset provides an unprecedented high resolution framework for semantic segmentation compared to the 1000um(1mm) resolution afforded by magnetic resonance imaging. To dispense with the manual annotation requirement, we propose to train a model to adaptively transfer the annotation from the cerebellum on the Allen Brain Human Brain Atlas to the BigBrain in an unsupervised manner, taking into account the different staining and spacing between sections. The distinct visual discrepancy between the Allen Brain and BigBrain prevents existing approaches to provide meaningful segmentation masks, and artifacts caused by sectioning and histological slice preparation in the BigBrain data pose an extra challenge. To address these problems, we propose a two-stage framework where we first transfer the Allen Brain cerebellum to a space sharing visual similarity with the BigBrain. We then introduce a self-training strategy with a confidence map to guide the model learning from the noisy pseudo labels iteratively. Qualitative results validate the effectiveness of our approach, and quantitative experiments reveal that our method can achieve over 2.6% loss reduction compared with other approaches.


title: Open Source Software: An Approach to Controlling Usage and Risk in Application Ecosystems

abstract: The Open Source Software movement has been growing exponentially for a number of years with no signs of slowing. Driving this growth is the widespread availability of libraries and frameworks that provide many functionalities. Developers are saving time and money incorporating this functionality into their applications resulting in faster more feature-rich releases. Despite the growing success and the advantages that open source software provides, there is a dark side. Due to its community construction and largely unregulated distribution, the majority of open source software contains bugs, vulnerabilities and other issues making it highly susceptible to exploits. The lack of oversight, in general, hinders the quality of this software resulting in a trickle-down effect in the applications that use it. Additionally, developers who use open source tend to arbitrarily download the software into their build systems but rarely keep track of what they have downloaded resulting in an excessive amount of open source software in their applications and in their ecosystem. This paper discusses processes and practices that users of open source software can implement into their environments that can safely track and control the introduction and usage of open source software into their applications, and report on some preliminary results obtained in an industrial context. We conclude by discussing governance issues related to the disciplined use and reuse of open source and areas for further improvements.


title: Bisimulations of potentialist systems

abstract: A potentialist system is a first-order Kripke model based on embeddings. I define the notion of bisimulation for these systems, and provide a number of examples. Given a first-order theory $T$, the system $\mathrm{Mod}(T)$ consists of all models of $T$. We can then take either all embeddings, or all substructure inclusions, between these models. I show that these two ways of defining $\mathrm{Mod}(T)$ are bitotally bisimilar. Next, I relate the notion of bisimulation to a generalisation of the Ehrenfeucht-Fra\"is\'e game, and use this to show the equivalence of the existence of a bisimulation with elementary equivalence with respect to an infinitary language. Finally, I consider the question of when a potentialist system is bitotally bisimilar to a system containing set-many models, providing too different sufficient conditions.


title: Enhancing Multi-view Stereo with Contrastive Matching and Weighted Focal Loss

abstract: Learning-based multi-view stereo (MVS) methods have made impressive progress and surpassed traditional methods in recent years. However, their accuracy and completeness are still struggling. In this paper, we propose a new method to enhance the performance of existing networks inspired by contrastive learning and feature matching. First, we propose a Contrast Matching Loss (CML), which treats the correct matching points in depth-dimension as positive sample and other points as negative samples, and computes the contrastive loss based on the similarity of features. We further propose a Weighted Focal Loss (WFL) for better classification capability, which weakens the contribution of low-confidence pixels in unimportant areas to the loss according to predicted confidence. Extensive experiments performed on DTU, Tanks and Temples and BlendedMVS datasets show our method achieves state-of-the-art performance and significant improvement over baseline network.


title: Flux-flow instability across Berezinskii Kosterlitz Thouless phase transition in KTaO$_3$ (111) based superconductor

abstract: The nature of energy dissipation in 2D superconductors under perpendicular magnetic field at small current excitations has been extensively studied over the past two decades. However, dissipation mechanisms at high current drives remain largely unexplored. Here we report on the distinct behavior of energy dissipation in the AlOx/KTaO$_3$ (111) system hosting 2D superconductivity in the intermediate disorder regime. The results show that below the Berezinskii Kosterlitz Thouless (BKT) phase transition temperature ($T_\mathrm{BKT}$), hot-spots and Larkin Ovchinnikov type flux-flow instability (FFI) are the major channels of dissipation, leading to pronounced voltage instability at large currents. Furthermore, such FFI leads to a rare observation of clockwise hysteresis in current-voltage characteristics within the temperature range $T_\mathrm{BKT} < T < T_\mathrm{C}$ ($T_\mathrm{C}$ is superconducting transition temperature). These findings deepen our understanding of how a BKT system ultimately transforms to a normal state under increasing current.


title: Semianalytical solutions of Ising-like and Potts-like magnetic polymers on the Bethe lattice

abstract: We study magnetic polymers, defined as self-avoiding walks where each monomer $i$ carries a "spin'' $s_i$ and interacts with its first neighbor monomers, let us say $j$, via a coupling constant $J(s_i,s_j)$. Ising-like [$s_i = \pm 1$, with $J(s_i,s_j) = \varepsilon s_i s_j$] and Potts-like [$s_i = 1,\ldots,q$, with $J(s_i,s_j)=\varepsilon_{s_i} \delta(s_i,s_j)$] models are investigated. Some particular cases of these systems have recently been studied in the continuum and on regular lattices, and are related to interesting applications. Here, we solve these models on Bethe lattices of ramification $\sigma$, focusing on the ferromagnetic case in zero external magnetic field. In most cases, the phase diagrams present a non-polymerized (NP) and two polymerized phases: a paramagnetic (PP) and a ferromagnetic (FP) one. However, quite different thermodynamic properties are found depending on $q$ in the Potts-like polymers and on whether one uses the Ising or Potts coupling in the two-state systems. Importantly, these results indicate that when $q\le 6$ the spin ordering transition is preceded by the polymer collapse transition, whereas for $q\ge 7$ and in the Ising case these transitions happen together at critical-end-points. Some interesting non-standard Potts models are also studied, such as the lattice version of the model for epigenetic marks in the chromatin introduced in [PRX {\bf 6}, 041047 (2016)]. In addition, the solution of the dilute Ising and dilute Potts models on the Bethe lattice are also presented here, once they are important to understand the PP-FP transitions.


title: Parameter estimation for a linear parabolic SPDE model in two space dimensions with a small noise

abstract: We study parameter estimation for a linear parabolic second-order stochastic partial differential equation (SPDE) in two space dimensions with a small dispersion parameter using high frequency data with respect to time and space. We set two types of $Q$-Wiener processes as a driving noise. We provide minimum contrast estimators of the coefficient parameters of the SPDE appearing in the coordinate process of the SPDE based on the thinned data in space, and approximate the coordinate process based on the thinned data in time. Moreover, we propose an estimator of the drift parameter using the fact that the coordinate process is the Ornstein-Uhlenbeck process and statistical inference for diffusion processes with a small noise.


title: Nonparametric identification of causal effects in clustered observational studies with differential selection

abstract: The clustered observational study (COS) design is the observational study counterpart to the clustered randomized trial. In a COS, a treatment is assigned to intact groups, and all units within the group are exposed to the treatment. However, the treatment is non-randomly assigned. COSs are common in both education and health services research. In education, treatments may be given to all students within some schools but withheld from all students in other schools. In health studies, treatments may be applied to clusters such as hospitals or groups of patients treated by the same physician. In this manuscript, we study the identification of causal effects in clustered observational study designs. We focus on the prospect of differential selection of units to clusters, which occurs when the units' cluster selections depend on the clusters' treatment assignments. Extant work on COSs has made an implicit assumption that rules out the presence of differential selection. We derive the identification results for designs with differential selection and that contexts with differential cluster selection require different adjustment sets than standard designs. We outline estimators for designs with and without differential selection. Using a series of simulations, we outline the magnitude of the bias that can occur with differential selection. We then present two empirical applications focusing on the likelihood of differential selection.


title: A Flexible Diffusion Model

abstract: Diffusion (score-based) generative models have been widely used for modeling various types of complex data, including images, audios, and point clouds. Recently, the deep connection between forward-backward stochastic differential equations (SDEs) and diffusion-based models has been revealed, and several new variants of SDEs are proposed (e.g., sub-VP, critically-damped Langevin) along this line. Despite the empirical success of the hand-crafted fixed forward SDEs, a great quantity of proper forward SDEs remain unexplored. In this work, we propose a general framework for parameterizing the diffusion model, especially the spatial part of the forward SDE. An abstract formalism is introduced with theoretical guarantees, and its connection with previous diffusion models is leveraged. We demonstrate the theoretical advantage of our method from an optimization perspective. Numerical experiments on synthetic datasets, MINIST and CIFAR10 are also presented to validate the effectiveness of our framework.


title: Structure and Stability of the Indian Power Transmission Network

abstract: We present the study on the Indian power transmission network using the framework of a complex network and quantify its structural properties. For this, we build the network structure underlying the Indian power grid, using two of its most prevalent power lines. We construct an equivalent model of an exponential network and study its structural changes with changes in two parameters related to redundancy and dead-ends. Then we analyze its stability against cascading failures by varying these two parameters using the link failure model. This helps to gain insight into the relation of network topology to its stability, and indicates how the optimum choice of these parameters can result in a power grid structure with minimum failed links. We apply the same model to study the robustness of the Indian power grid against such failures. In this case, we find that when a link connected to a generator fails, it results in a cascade that spreads in the grid until it is split into two separate stable clusters of generators and consumers, with over one-third of its nodes nonfunctiona


title: Compressible two-dimensional turbulence: cascade reversal and sensitivity to imposed magnetic field

abstract: We study the impact of compressibility on two-dimensional turbulent flows, such as those modeling astrophysical disks. We demonstrate that the direction of cascade undergoes continuous transition as the Mach number Ma increases, from inverse at zero Ma, to direct at infinite Ma. Thus, at Ma of order one comparable amounts of energy flow from the scale of the pumping to large and small scales, in accord with previous data. For supersonic turbulence with large Ma, the cascade is direct, as in three dimensions, which results in multifractal density field. For compressible flows of conducting fluids, imposing external magnetic field allows to manipulate the flow producing possibly large changes even at small Mach number. Thus Zeldovich antidynamo theorem, by which at zero Ma the magnetic field is zero in the steady state, must be used with caution. Real flows have finite Ma and, however small it is, for large magnetic flux through the disk, the magnetic field changes the flow appreciably, or rearranges it completely. For large Ma, relevant for astrophysical disks, the magnetic field energy is enhanced by a large factor as compared to estimates based on the mean field. We propose to use two-dimensional Burgers turbulence, whose three-dimensional counterpart is used for studies of the large-scale structure of the Universe, as a model for supersonic thin accretion disks.


title: Real-Time Waveform Matching with a Digitizer at 10 GS/s

abstract: Side-Channel Analysis (SCA) requires the detection of the specific time frame Cryptographic Operations (COs) takeplace in the side-channel signal. In laboratory conditions with full control over the Device under Test (DuT), dedicated trigger signals can be implemented to indicate the start and end of COs. For real-world scenarios, waveform-matching techniques have been established which compare the side-channel signal with a template of the CO's pattern in real time to detect the CO in the side channel. State-of-the-art approaches are implemented on Field-Programmable Gate Arrays (FPGAs). However, current waveform-matching designs are processing the samples from Analog-to-Digital Converters (ADCs) sequentially and can only work with low sampling rates due to the limited clock speed of FPGAs. This makes it increasingly difficult to apply existing techniques on modern DuTs that are operating with clock speeds in the GHz range. In this paper, we present a parallel waveform-matching architecture that is capable of performing waveform matching at the speed of fast ADCs. We implement the proposed architecture in a high-end FPGA-based digitizer and apply it to detect AES COs from the side channel of a single-board computer operating at 1 GHz. Our implementation allows for waveform matching at 10 GS/s with high accuracy, thus offering a speedup of 50x compared to the fastest state-of-the-art implementation known to us.


title: The State of Sparse Training in Deep Reinforcement Learning

abstract: The use of sparse neural networks has seen rapid growth in recent years, particularly in computer vision. Their appeal stems largely from the reduced number of parameters required to train and store, as well as in an increase in learning efficiency. Somewhat surprisingly, there have been very few efforts exploring their use in Deep Reinforcement Learning (DRL). In this work we perform a systematic investigation into applying a number of existing sparse training techniques on a variety of DRL agents and environments. Our results corroborate the findings from sparse training in the computer vision domain - sparse networks perform better than dense networks for the same parameter count - in the DRL domain. We provide detailed analyses on how the various components in DRL are affected by the use of sparse networks and conclude by suggesting promising avenues for improving the effectiveness of sparse training methods, as well as for advancing their use in DRL.


title: A new generation of reduction methods for networks of neurons with complex dynamic phenotypes

abstract: Collective dynamics of spiking networks of neurons has been of central interest to both computation neuroscience and network science. Over the past years a new generation of neural population models based on exact reductions (ER) of spiking networks have been developed. However, most of these efforts have been limited to networks of neurons with simple dynamics (e.g. the quadratic integrate and fire models). Here, we present an extension of ER to conductance-based networks of two-dimensional Izhikevich neuron models. We employ an adiabatic approximation, which allows us to analytically solve the continuity equation describing the evolution of the state of the neural population and thus to reduce model dimensionality. We validate our results by showing that the reduced mean-field description we derived can qualitatively and quantitatively describe the macroscopic behaviour of populations of two-dimensional QIF neurons with different electrophysiological profiles (regular firing, adapting, resonator and type III excitable). Most notably, we apply this technique to develop an ER for networks of neurons with bursting dynamics.


title: The Mass-Radius relation for Quark Stars in Energy-Momentum Squared Gravity

abstract: We study the structure of quark stars (QSs) adopting homogeneously confined matter inside the star with a 3-flavor neutral charge and a fixed strange quark mass $m_s$. We explore the internal structure, and the physical properties of specific classes of QSs in the recently proposed energy-momentum squared gravity (EMSG). Also, we obtain the mass-radius $(M-R)$ and mass-central energy density $(M-\rho_c)$ relations for QS using the QCD motivated EoS. The maximum mass for QSs in EMSG is investigated depending on the presence and absence of the free parameter $\alpha$. Furthermore, the stability of stars is determined by the condition $\frac{d M}{d \rho_c}>0$. We observe that consideration of the EMSG has specific contributions to the structure of QSs.


title: Financial Trading Decisions based on Deep Fuzzy Self-Organizing Map

abstract: The volatility features of financial data would considerably change in different periods, that is one of the main factors affecting the applications of machine learning in quantitative trading. Therefore, to effectively distinguish fluctuation patterns of financial markets can provide meaningful information for the trading decision. In this article, a novel intelligent trading system based on deep fuzzy self-organizing map (DFSOM) companied with GRU networks is proposed, where DFSOM is utilized for the clustering of financial data to acquire multiple fluctuation patterns in an unsupervised way. Firstly, in order to capture the trend features and evade the effect of high noises in financial data, the images of extended candlestick charts instead of raw data are processed and the obtained features are applied for the following unsupervised learning, where candlestick charts are produced with both price and volume information. Secondly, by using the candlestick features, a two-layer deep fuzzy self-organizing map is constructed to carry out the clustering, where two-layer models carry out the clustering in multiple time scales to improve the processing of time-dependent information. Thirdly, GRU networks are used to implement the prediction task, based on which an intelligent trading model is constructed. The feasibility and effectiveness of the proposed method are verified by using various real financial data sets.


title: Optimal incompatible Korn-Maxwell-Sobolev inequalities in all dimensions

abstract: We characterise all linear maps $\mathcal{A}\colon\mathbb{R}^{n\times n}\to\mathbb{R}^{n\times n}$ such that, for $1\leq p<n$, \begin{align*} \|P\|_{L^{p^{*}}(\mathbb{R}^{n})}\leq c\,\Big(\|\mathcal{A}[P]\|_{L^{p^{*}}(\mathbb{R}^{n})}+\|\mathrm{Curl} P\|_{L^{p}(\mathbb{R}^{n})} \Big) \end{align*} holds for all compactly supported $P\in C_{c}^{\infty}(\mathbb{R}^{n};\mathbb{R}^{n\times n})$, where $\mathrm{Curl} P$ displays the matrix curl. Being applicable to incompatible, that is, non-gradient matrix fields as well, such inequalities generalise the usual Korn-type inequalities used e.g. in linear elasticity. Different from previous contributions, the results gathered in this paper are applicable to all dimensions and optimal. This particularly necessitates the distinction of different constellations between the ellipticities of $\mathcal{A}$, the integrability $p$ and the underlying space dimensions $n$, especially requiring a finer analysis in the two-dimensional situation.


title: Two Regular Polygons with a Shared Vertex

abstract: For two non-congruent regular polygons of the same type, the method of finding the points in the plane at the equal distances to the vertices, is established. The existence of two points with this property is proved for two polygons with a shared vertex. For one of them, it is proved that it satisfies the Bottema theorem conditions and based on this, the generalized Bottema theorem for any two regular polygons is given.


title: MEStereo-Du2CNN: A Novel Dual Channel CNN for Learning Robust Depth Estimates from Multi-exposure Stereo Images for HDR 3D Applications

abstract: Display technologies have evolved over the years. It is critical to develop practical HDR capturing, processing, and display solutions to bring 3D technologies to the next level. Depth estimation of multi-exposure stereo image sequences is an essential task in the development of cost-effective 3D HDR video content. In this paper, we develop a novel deep architecture for multi-exposure stereo depth estimation. The proposed architecture has two novel components. First, the stereo matching technique used in traditional stereo depth estimation is revamped. For the stereo depth estimation component of our architecture, a mono-to-stereo transfer learning approach is deployed. The proposed formulation circumvents the cost volume construction requirement, which is replaced by a ResNet based dual-encoder single-decoder CNN with different weights for feature fusion. EfficientNet based blocks are used to learn the disparity. Secondly, we combine disparity maps obtained from the stereo images at different exposure levels using a robust disparity feature fusion approach. The disparity maps obtained at different exposures are merged using weight maps calculated for different quality measures. The final predicted disparity map obtained is more robust and retains best features that preserve the depth discontinuities. The proposed CNN offers flexibility to train using standard dynamic range stereo data or with multi-exposure low dynamic range stereo sequences. In terms of performance, the proposed model surpasses state-of-the-art monocular and stereo depth estimation methods, both quantitatively and qualitatively, on challenging Scene flow and differently exposed Middlebury stereo datasets. The architecture performs exceedingly well on complex natural scenes, demonstrating its usefulness for diverse 3D HDR applications.


title: Deuteron yields from LHC: Continuum correlations and in-medium effects

abstract: To explain the production of light nuclei in heavy-ion collisions at extreme energies, we focus on the deuteron case. A Gibbs ensemble at chemical freeze-out is a prerequisite to investigate the non-equilibrium evolution of the expanding fireball. Quantum statistical approaches allow to describe correlations including bound state formation in the strongly interacting and hot system. We consider the virial approach to evaluate proton-neutron correlations. In generalization of the treatment of protons in pionic matter (pion-proton puzzle), the influence of the pion environment on deuteron-like correlations is evaluated using data for the pion-deuteron scattering phase shifts. Calculated yields for deuteron production are compared with the ones observed at the LHC.


title: Can we trust our energy measurements? A study on the Odroid-XU4

abstract: IoT devices, edge devices and embedded devices, in general, are ubiquitous. The energy consumption of such devices is important both due to the total number of devices deployed and because such devices are often battery-powered. Hence, improving the energy efficiency of such high-performance embedded systems is crucial. The first step to decreasing energy consumption is to accurately measure it, as we base our conclusions and decisions on the measurements. Given the importance of the measurements, it surprised us that most publications dedicate little space and effort to the description of their experimental setup. One variable of importance of the measurement system is the sampling frequency, e.g. how often the continuous signal's voltage and current are measured per second. In this paper, we systematically explore the impact of the sampling frequency on the accuracy of the measurement system. We measure the energy consumption of a Hardkernel Odroid-XU4 board executing nine Rodinia benchmarks with a wide range of runtimes and options at 4kHz, which is the standard sampling frequency of our measurement system. We show that one needs to measure at least at 350Hz to achieve equivalent results in comparison to the original power traces. Sampling at 1Hz (e.g. Hardkernel SmartPower2) results in a maximum error of 80%.


title: Markov property of the Super-MAG Auroral Electrojet Indices

abstract: The dynamics of the Earth's magnetosphere exhibits strongly fluctuating patterns as well as non-stationary and non-linear interactions, more pronounced during magnetospheric substorms and magnetic storms. This complex dynamics comprises both stochastic and deterministic features occurring at different time scales. Here we investigate the stochastic nature of the magnetospheric substorm dynamics by analysing the Markovian character of SuperMAG SME and SML geomagnetic indices. By performing the Chapman-Kolmogorov test, the SME/SML dynamics appears to satisfy the Markov condition at scales below 60 minutes. The Kramers-Moyal analysis instead highlights that a purely diffusive process is not representative of the magnetospheric dynamics, thus a model that includes both diffusion and Poisson-jump processes is used to reproduce the SME dynamical features at small scales. A discussion of the similarities and differences between this model and the SME properties is provided with a special emphasis on the metastability of the Earth's magnetospheric dynamics. Finally, the relevance of our results in the framework of Space Weather is also addressed.


title: Can process mining help in anomaly-based intrusion detection?

abstract: In this paper, we consider the naive applications of process mining in network traffic comprehension, traffic anomaly detection, and intrusion detection. We standardise the procedure of transforming packet data into an event log. We mine multiple process models and analyse the process models mined with the inductive miner using ProM and the fuzzy miner using Disco. We compare the two types of process models extracted from event logs of differing sizes. We contrast the process models with the RFC TCP state transition diagram and the diagram by Bishop et al. We analyse the issues and challenges associated with process mining in intrusion detection and explain why naive process mining with network data is ineffective.


title: An Energy and Carbon Footprint Analysis of Distributed and Federated Learning

abstract: Classical and centralized Artificial Intelligence (AI) methods require moving data from producers (sensors, machines) to energy hungry data centers, raising environmental concerns due to computational and communication resource demands, while violating privacy. Emerging alternatives to mitigate such high energy costs propose to efficiently distribute, or federate, the learning tasks across devices, which are typically low-power. This paper proposes a novel framework for the analysis of energy and carbon footprints in distributed and federated learning (FL). The proposed framework quantifies both the energy footprints and the carbon equivalent emissions for vanilla FL methods and consensus-based fully decentralized approaches. We discuss optimal bounds and operational points that support green FL designs and underpin their sustainability assessment. Two case studies from emerging 5G industry verticals are analyzed: these quantify the environmental footprints of continual and reinforcement learning setups, where the training process is repeated periodically for continuous improvements. For all cases, sustainability of distributed learning relies on the fulfillment of specific requirements on communication efficiency and learner population size. Energy and test accuracy should be also traded off considering the model and the data footprints for the targeted industrial applications.


title: TabText: A Flexible and Contextual Approach to Tabular Data Representation

abstract: Tabular data is essential for applying machine learning tasks across various industries. However, traditional data processing methods do not fully utilize all the information available in the tables, ignoring important contextual information such as column header descriptions. In addition, pre-processing data into a tabular format can remain a labor-intensive bottleneck in model development. This work introduces TabText, a processing and feature extraction framework that extracts contextual information from tabular data structures. TabText addresses processing difficulties by converting the content into language and utilizing pre-trained large language models (LLMs). We evaluate our framework on nine healthcare prediction tasks ranging from patient discharge, ICU admission, and mortality. We show that 1) applying our TabText framework enables the generation of high-performing and simple machine learning baseline models with minimal data pre-processing, and 2) augmenting pre-processed tabular data with TabText representations improves the average and worst-case AUC performance of standard machine learning models by as much as 6%.


title: Long-time asymptotic behavior of the nonlocal nonlinear Schr\"{o}dinger equation with finite density type initial data

abstract: In this work, we employ the $\bar{\partial}$-steepest descent method to investigate the Cauchy problem of the nonlocal nonlinear Schr\"{o}dinger (NNLS) equation with finite density type initial conditions in weighted Sobolev space $\mathcal{H}(\mathbb{R})$. Based on the Lax spectrum problem, a Riemann-Hilbert problem corresponding to the original problem is constructed to give the solution of the NNLS equation with the finite density type initial boundary value condition. By developing the $\bar{\partial}$-generalization of Deift-Zhou nonlinear steepest descent method, we derive the leading order approximation to the solution $q(x,t)$ in soliton region of space-time, $\left(\frac{x}{2t}\right)=\xi$ for any fixed $\xi=\in (1,K)$($K$ is a sufficiently large real constant), and give bounds for the error decaying as $|t|\rightarrow\infty$. Based on the resulting asymptotic behavior, the asymptotic approximation of the NNLS equation is characterized with the soliton term confirmed by $N(\Lambda)$-soliton on discrete spectrum and the $t^{-\frac{1}{2}}$ order term on continuous spectrum with residual error up to $O(t^{-\frac{3}{4}})$.


title: The Complexity of the Co-Occurrence Problem

abstract: Let $S$ be a string of length $n$ over an alphabet $\Sigma$ and let $Q$ be a subset of $\Sigma$ of size $q \geq 2$. The 'co-occurrence problem' is to construct a compact data structure that supports the following query: given an integer $w$ return the number of length-$w$ substrings of $S$ that contain each character of $Q$ at least once. This is a natural string problem with applications to, e.g., data mining, natural language processing, and DNA analysis. The state of the art is an $O(\sqrt{nq})$ space data structure that -- with some minor additions -- supports queries in $O(\log\log n)$ time [CPM 2021]. Our contributions are as follows. Firstly, we analyze the problem in terms of a new, natural parameter $d$, giving a simple data structure that uses $O(d)$ space and supports queries in $O(\log\log n)$ time. The preprocessing algorithm does a single pass over $S$, runs in expected $O(n)$ time, and uses $O(d)$ space in addition to the input. Furthermore, we show that $O(d)$ space is optimal and that $O(\log\log n)$-time queries are optimal given optimal space. Secondly, we bound $d = O(\sqrt{nq})$, giving clean bounds in terms of $n$ and $q$ that match the state of the art. Furthermore, we prove that $\Omega(\sqrt{nq})$ bits of space is necessary in the worst case, meaning that the $O(\sqrt{nq})$ upper bound is tight to within polylogarithmic factors. All of our results are based on simple and intuitive combinatorial ideas that simplify the state of the art.


title: In-situ study of the impact of temperature and architecture on the interfacial structure of microgels

abstract: The structural characterization of microgels at interfaces is fundamental to understand both their 2D phase behavior and their role as stabilizers that enable emulsions to be broken on demand. However, this characterization is usually limited by available experimental techniques, which do not allow a direct investigation at interfaces. To overcome this difficulty, here we employ neutron reflectometry, which allows us to probe the structure and responsiveness of the microgels in-situ at the air-water interface. We investigate two types of microgels with different cross-link density, thus having different softness and deformability, both below and above their volume phase transition temperature, combining experiments with computer simulations of realistic in silico synthesized microgels. We find that temperature only affects the portion of microgels in water, while the strongest effect of the microgels softness is observed in their ability to protrude into the air. In particular, standard microgels have an apparent contact angle of few degrees, while ultra-low cross-linked microgels form a flat polymeric layer with zero contact angle. Altogether, this study provides an in-depth microscopic description of how different microgel architectures affect their arrangements at interfaces, and will be the foundation for a better understanding of their phase behavior and assembly. This manuscript has been accepted for publication in Nature Communications (open access). The final version of the manuscript including the Supplementary Information will be available in the future.


title: Approximate Equivariance SO(3) Needlet Convolution

abstract: This paper develops a rotation-invariant needlet convolution for rotation group SO(3) to distill multiscale information of spherical signals. The spherical needlet transform is generalized from $\mathbb{S}^2$ onto the SO(3) group, which decomposes a spherical signal to approximate and detailed spectral coefficients by a set of tight framelet operators. The spherical signal during the decomposition and reconstruction achieves rotation invariance. Based on needlet transforms, we form a Needlet approximate Equivariance Spherical CNN (NES) with multiple SO(3) needlet convolutional layers. The network establishes a powerful tool to extract geometric-invariant features of spherical signals. The model allows sufficient network scalability with multi-resolution representation. A robust signal embedding is learned with wavelet shrinkage activation function, which filters out redundant high-pass representation while maintaining approximate rotation invariance. The NES achieves state-of-the-art performance for quantum chemistry regression and Cosmic Microwave Background (CMB) delensing reconstruction, which shows great potential for solving scientific challenges with high-resolution and multi-scale spherical signal representation.


title: Idempotents in integral ring of dihedral quandle

abstract: We provide the structure of some idempotents in the integral ring of a dihedral quandles, for odd case. The solution is complete in case $n=5$. This produces an example of a connected quandle $X$ such that $Aut (X)\not\cong Aut (\mathbb{Z}[X])$.


title: Quantum time in near-horizon region of a black hole

abstract: The understanding of time and dynamics can be elucidated by examining the concept of entanglement in quantum theory. This particular perspective on time is referred to as the timeless approach, which posits that the universe exists in a fixed state where two separate subsystems, namely the "clock" and the "rest," are entangled. By selecting an appropriate observable for the clock, the state of the rest of the universe evolves unitarily in relation to the variable that labels the clock observable's eigenstates, which is then interpreted as time. This intriguing model, initially introduced by Page and Wootters, has also been applied to the context of curved spacetime. In this study, we explore various uncertainties pertaining to the dynamics of the rest of the universe within a curved spacetime, including ambiguities related to the clock, the system's time evolution, the flow of time, and the recording of its history. Our investigation is primarily focused on the near horizon region of a black hole, as the peculiar behavior of quantum effects in this area allows for a thorough examination of the timeless depiction proposed by Page and Wootters in describing the system's dynamics within curved spacetime. This analysis may be valuable for quantum gravity projects that align with the approach put forth by Page and Wootters. It is worth noting that the application of the Page and Wootters approach in this particular region results in a distinct clock without any ambiguity. However, the other aforementioned issues, unlike those resolved in the realm of quantum mechanics, persist in this region.


title: Time evolution of the inside of the black hole's horizon

abstract: We consider the Wheeler-DeWitt equation near the horizon of the black hole where the entangled vacuum state is chosen as the static universe state. Then, using the entangled property of the vacuum state, we investigate the dynamical evolution of the subsystems, namely inside and outside of the horizon.


title: Parameterized-NL Completeness of Combinatorial Problems by Short Logarithmic-Space Reductions and Immediate Consequences of the Linear Space Hypothesis

abstract: The concept of space-bounded computability has become significantly important in handling vast data sets on memory-limited computing devices. To replenish the existing short list of NL-complete problems whose instance sizes are dictated by log-space size parameters, we propose new additions obtained directly from natural parameterizations of three typical NP-complete problems -- the vertex cover problem, the exact cover by 3-sets problem, and the 3-dimensional matching problem. With appropriate restrictions imposed on their instances, the proposed decision problems parameterized by appropriate size parameters are proven to be equivalent in computational complexity to either the parameterized $3$-bounded 2CNF Boolean formula satisfiability problem or the parameterized degree-$3$ directed $s$-$t$ connectivity problem by ``short'' logarithmic-space reductions. Under the assumption of the linear space hypothesis, furthermore, none of the proposed problems can be solved in polynomial time if the memory usage is limited to sub-linear space.


title: The SPACE THEA Project

abstract: In some situations, no professional human contact can be available. Accordingly, one remains alone with one's problems and fears. A manned Mars flight is certainly such a situation. A voice assistant that shows empathy and assists the astronauts could be a solution. In the SPACE THEA project, a prototype with such capabilities was developed using Google Assistant and Dialogflow Essentials. The voice assistant has a personality based on characteristics such as functional intelligence, sincerity, creativity, and emotional intelligence. It proves itself in seven different scenarios designed to represent the daily lives of astronauts, addressing operational crises and human problems. The paper describes the seven scenarios in detail, and lists technical and conceptual foundations of the voice assistant. Finally, the most important results are stated and the chapters are summarized.


title: Vectorial probing of electric and magnetic transitions in variable optical environments and vice-versa

abstract: We use europium doped single crystalline NaYF$_4$ nanorods for probing the electric and magnetic contributions to the local density of optical states (LDOS). Reciprocically, we determine intrinsic properties of the emitters (oscillator strength, quantum yield) by comparing their measured and simulated optical responses in front of a mirror. We first experimentally determine the specifications of the nanoprobe (orientation and oscillator strength of the electric and magnetic dipoles moments) and show significant orientation sensitivity of the branching ratios associated with electric and magnetic transitions. In a second part, we measure the modification of the LDOS in front of a gold mirror in a Drexhage's experiment. We discuss the role of the electric and magnetic LDOS on the basis of numerical simulations, taking into account the orientation of the dipolar emitters. We demonstrate that they behave like degenerated dipoles sensitive to polarized partial LDOS.


title: Bogomolov-Gieseker type inequalities on ruled threefolds

abstract: We strengthen a conjecture by the author. This conjecture is a Bogomolov-Gieseker type inequality involving the third Chern character of mixed tilt-stable complexes on fibred threefolds. We extend it from complexes of mixed tilt-slope zero to arbitrary relative tilt-slope. We show that this stronger conjecture implies the support property of Bridgeland stability conditions, and the existence of explicit stability conditions. We prove our conjecture for ruled threefolds, hence improving a previous result by the author.