title: A Timing Yield Model for SRAM Cells in Sub/Near-threshold Voltages Based on A Compact Drain Current Model

abstract: Sub/Near-threshold static random-access memory (SRAM) design is crucial for addressing the memory bottleneck in energy-constrained applications. However, the high integration density and reliability under process variations demand an accurate estimation of extremely small failure probabilities. To capture such a rare event in memory circuits, the time and storage overhead of conventional Monte Carlo (MC) simulations cannot be tolerated. On the other hand, classic analytical methods predicting failure probabilities from a physical expression become inaccurate in the sub/near-threshold region due to the assumed distribution or the oversimplified drain current model for nanoscale devices. This work first proposes a simple but efficient drain current model to describe the drain-induced barrier lowering effect at low voltages. Based on that, the probability density functions of the interest metrics in SRAM are derived. Two analytical models are then put forward to evaluate SRAM dynamic stabilities including access and write-time failures. The proposed models can be extended easily to different types of SRAM with different read/write assist circuits. The models are validated against MC simulations across different operating voltages and temperatures. The average relative errors at 0.5V VDD are only 8.8% and 10.4% for the access-time and write failure models respectively. The size of required data samples is 43.6X smaller than that of the state-of-the-art method.


title: Explaining the UHECR spectrum, composition and large-scale anisotropies with radio galaxies

abstract: Radio galaxies are promising candidates as the sources of ultrahigh energy cosmic rays (UHECRs). In this work, we examine if the stringent constraints imposed by the dipole and quadropole anisotropies as well as the UHECR spectrum and composition allow that radio galaxies are the dominant extragalactic cosmic ray sources. In order to calculate the UHECR flux emitted by individual radio galaxies, we constrain their properties using information from the radio-CR correlation and a dynamical evolution model. In addition to the UHECR flux from individual, local sources, we include the diffuse flux emitted by the bulk of non-local radio galaxies based on their radio luminosity distribution. Analyzing the source parameters within a range around their expected properties, we finally determine the configurations of local sources describing well the UHECR spectrum, composition and large-scale anisotropies. We obtain a good description of all data even in the case that we include only a small number of local sources. In particular, we find that scenarios where few sources like Fornax A and Virgo A dominate the flux above the ankle, while low-luminosity radio galaxies contribute an isotropic background dominating below the ankle, provide a good fit to the data.


title: A unified approach towards the impossibility of finite time vanishing depth for incompressible free boundary flows

abstract: In this paper we study the motion of an internal water wave and an internal wave in a porous medium. For these problems we establish that, if the free boundary and, in the case of the Euler equations, also the tangential velocity at the interface are sufficiently smooth, the depth cannot vanish in finite time. This results holds regardless of gravity and surface tension effects or, if applicable, the stratification in multiphase flows.


title: Computer Aided Diagnosis and Out-of-Distribution Detection in Glaucoma Screening Using Color Fundus Photography

abstract: Artificial Intelligence for RObust Glaucoma Screening (AIROGS) Challenge is held for developing solutions for glaucoma screening from color fundus photography that are robust to real-world scenarios. This report describes our method submitted to the AIROGS challenge. Our method employs convolutional neural networks to classify input images to "referable glaucoma" or "no referable glaucoma". In addition, we introduce an inference-time out-of-distribution (OOD) detection method to identify ungradable images. Our OOD detection is based on an energy-based method combined with activation rectification.


title: Performance of an iterative wavelet reconstructor for the Multi-conjugate Adaptive Optics RelaY of ESO's ELT

abstract: The Multi-conjugate Adaptive Optics RelaY (MAORY) is one of the key Adaptive Optics (AO) systems on the European Southern Observatory's Extremely Large Telescope. MAORY aims to achieve a good wavefront correction over a large field of view, which involves a tomographic estimation of the 3D atmospheric wavefront disturbance. Mathematically, the reconstruction of turbulent layers in the atmosphere is severely ill-posed, hence, limits the achievable reconstruction accuracy. Moreover, the reconstruction has to be performed in real-time at a few hundred to one thousand Hertz frame rates. Huge amounts of data have to be processed and thousands of actuators of the deformable mirrors have to be controlled by elaborated algorithms. Even with extensive parallelization and pipelining, direct solvers, such as the Matrix Vector Multiplication (MVM) method, are extremely demanding. Thus, research in the last years shifted into the direction of iterative methods. In this paper we focus on the iterative Finite Element Wavelet Hybrid Algorithm (FEWHA). The key feature of FEWHA is a matrix-free representation of all operators involved, which makes the algorithm fast and enables on the fly system updates whenever parameters at the telescope or in the atmosphere change. We provide a performance analysis of the method regarding quality and run-time for the MAORY instrument using the AO software package COMPASS.


title: Temporal Efficient Training of Spiking Neural Network via Gradient Re-weighting

abstract: Recently, brain-inspired spiking neuron networks (SNNs) have attracted widespread research interest because of their event-driven and energy-efficient characteristics. Still, it is difficult to efficiently train deep SNNs due to the non-differentiability of its activation function, which disables the typically used gradient descent approaches for traditional artificial neural networks (ANNs). Although the adoption of surrogate gradient (SG) formally allows for the back-propagation of losses, the discrete spiking mechanism actually differentiates the loss landscape of SNNs from that of ANNs, failing the surrogate gradient methods to achieve comparable accuracy as for ANNs. In this paper, we first analyze why the current direct training approach with surrogate gradient results in SNNs with poor generalizability. Then we introduce the temporal efficient training (TET) approach to compensate for the loss of momentum in the gradient descent with SG so that the training process can converge into flatter minima with better generalizability. Meanwhile, we demonstrate that TET improves the temporal scalability of SNN and induces a temporal inheritable training for acceleration. Our method consistently outperforms the SOTA on all reported mainstream datasets, including CIFAR-10/100 and ImageNet. Remarkably on DVS-CIFAR10, we obtained 83$\%$ top-1 accuracy, over 10$\%$ improvement compared to existing state of the art. Codes are available at \url{https://github.com/Gus-Lab/temporal_efficient_training}.


title: Quantized and unquantized thermal Hall conductance of Kitaev spin-liquid candidate $\alpha$-RuCl$_3$

abstract: Despite extensive investigations, a topological state that hosts Majorana edge modes in the magnetic field-induced quantum disordered state of the Kitaev candidate material $\alpha$-RuCl$_3$ has been hotly debated. To gain more insight into this issue, we measured the thermal Hall conductivity $\kappa_{xy}$ of various samples grown by the Bridgman method. The results show that the half-integer quantum thermal Hall effect is intimately related to the magnitude of longitudinal thermal conductivity and the N\'{e}el temperature at zero field, both of which are sample dependent. Samples exhibiting the half-integer quantum thermal Hall effect have larger zero-field thermal conductivity values than a threshold value, implying that a long mean free path of heat carriers is an important prerequisite. In addition, we find that samples with a higher N\'{e}el temperature exhibit a higher magnetic field at which quantization starts to occur. These results indicate that the quantization phenomenon is significantly affected by the impurity scatterings and the non-Kitaev interactions.


title: Domain Disentangled Generative Adversarial Network for Zero-Shot Sketch-Based 3D Shape Retrieval

abstract: Sketch-based 3D shape retrieval is a challenging task due to the large domain discrepancy between sketches and 3D shapes. Since existing methods are trained and evaluated on the same categories, they cannot effectively recognize the categories that have not been used during training. In this paper, we propose a novel domain disentangled generative adversarial network (DD-GAN) for zero-shot sketch-based 3D retrieval, which can retrieve the unseen categories that are not accessed during training. Specifically, we first generate domain-invariant features and domain-specific features by disentangling the learned features of sketches and 3D shapes, where the domain-invariant features are used to align with the corresponding word embeddings. Then, we develop a generative adversarial network that combines the domain-specific features of the seen categories with the aligned domain-invariant features to synthesize samples, where the synthesized samples of the unseen categories are generated by using the corresponding word embeddings. Finally, we use the synthesized samples of the unseen categories combined with the real samples of the seen categories to train the network for retrieval, so that the unseen categories can be recognized. In order to reduce the domain shift problem, we utilized unlabeled unseen samples to enhance the discrimination ability of the discriminator. With the discriminator distinguishing the generated samples from the unlabeled unseen samples, the generator can generate more realistic unseen samples. Extensive experiments on the SHREC'13 and SHREC'14 datasets show that our method significantly improves the retrieval performance of the unseen categories.


title: SMILE: Sequence-to-Sequence Domain Adaption with Minimizing Latent Entropy for Text Image Recognition

abstract: Training recognition models with synthetic images have achieved remarkable results in text recognition. However, recognizing text from real-world images still faces challenges due to the domain shift between synthetic and real-world text images. One of the strategies to eliminate the domain difference without manual annotation is unsupervised domain adaptation (UDA). Due to the characteristic of sequential labeling tasks, most popular UDA methods cannot be directly applied to text recognition. To tackle this problem, we proposed a UDA method with minimizing latent entropy on sequence-to-sequence attention-based models with classbalanced self-paced learning. Our experiments show that our proposed framework achieves better recognition results than the existing methods on most UDA text recognition benchmarks. All codes are publicly available.


title: An efficient combined local and global search strategy for optimization of parallel kinematic mechanisms with joint limits and collision constraints

abstract: The optimization of parallel kinematic manipulators (PKM) involve several constraints that are difficult to formalize, thus making optimal synthesis problem highly challenging. The presence of passive joint limits as well as the singularities and self-collisions lead to a complicated relation between the input and output parameters. In this article, a novel optimization methodology is proposed by combining a local search, Nelder-Mead algorithm, with global search methodologies such as low discrepancy distribution for faster and more efficient exploration of the optimization space. The effect of the dimension of the optimization problem and the different constraints are discussed to highlight the complexities of closed-loop kinematic chain optimization. The work also presents the approaches used to consider constraints for passive joint boundaries as well as singularities to avoid internal collisions in such mechanisms. The proposed algorithm can also optimize the length of the prismatic actuators and the constraints can be added in modular fashion, allowing to understand the impact of given criteria on the final result. The application of the presented approach is used to optimize two PKMs of different degrees of freedom.


title: Structure Analysis using Time-of-Flight Momentum Microscopy with Hard X-rays: Status and Prospects

abstract: X-ray photoelectron diffraction (XPD) has developed into a powerful technique for the structural analysis of solids. Extension of the technique into the hard-X-ray range (hXPD) gives access to true bulk information. Here we give a status report on hXPD experiments using a novel full-field imaging technique: Time-of-flight momentum microscopy (ToF-MM). A special variant of ToF-MM is capable of recording high kinetic energies (up to >7keV) and enlarged k-fields-of-view. We present applications that are specific for high kinetic energies. The strong site specificity of hXPD is exemplified for NbSe2, the cubic-to-tetragonal transition in SrTiO3 and the zinc-blende structure in epitaxial GaAs films. Bloch-wave calculations show a very good agreement with experiment and reveal fingerprint-like signatures of emitter sites in host lattices. We show a dopant-site analysis in two semiconductors (Mn in GaAs and Te in Si). Hard-X-ray ARPES plus core-level hXPD enable eliminating the strong diffraction signature imprinted in HARPES maps.


title: Dissipative time crystal in an atom-cavity system: Influence of trap and competing interactions

abstract: While the recently realized dissipative time crystal in a laser-pumped atom-cavity system in the experiment of Ke{\ss}ler et al. [Phys. Rev. Lett. 127, 043602 (2021)] is qualitatively consistent with a theoretical description in an idealized limit, here, we investigate the stability of this dissipative time crystal in the presence of an inhomogeneous potential provided by a harmonic trap, and competing short- and infinite-range interactions. We note that these features are ubiquitous in any realization of atom-cavity systems. By mapping out the dynamical phase diagram and studying how it is modified by the harmonic trap and short-range interactions, we demonstrate the persistence of long-lived dissipative time crystals beyond the idealized limit. We show the emergence of metastable dissipative time crystals with and without prethermalization plateaus for tight harmonic confinement and strong contact interaction, respectively.


title: Scaling limits for the random walk penalized by its range in dimension one

abstract: In this article we study a one dimensional model for a polymer in a poor solvent: the random walk on $\mathbb{Z}$ penalized by its range. More precisely, we consider a Gibbs transformation of the law of the simple symmmetric random walk by a weight $\exp(-h_n|R_n|)$, with $|R_n|$ the number of visited sites and $h_n$ a size-dependent positive parameter. We use gambler's ruin estimates to obtain exact asymptotics for the partition function, that enables us to obtain a precise description of trajectories, in particular scaling limits for the center and the amplitude of the range. A phase transition for the fluctuations around an optimal amplitude is identified at $h_n \approx n^{1/4}$ , inherent to the underlying lattice structure.


title: XAutoML: A Visual Analytics Tool for Understanding and Validating Automated Machine Learning

abstract: In the last ten years, various automated machine learning (AutoM ) systems have been proposed to build end-to-end machine learning (ML) pipelines with minimal human interaction. Even though such automatically synthesized ML pipelines are able to achieve a competitive performance, recent studies have shown that users do not trust models constructed by AutoML due to missing transparency of AutoML systems and missing explanations for the constructed ML pipelines. In a requirements analysis study with 36 domain experts, data scientists, and AutoML researchers from different professions with vastly different expertise in ML, we collect detailed informational needs for AutoML. We propose XAutoML, an interactive visual analytics tool for explaining arbitrary AutoML optimization procedures and ML pipelines constructed by AutoML. XAutoML combines interactive visualizations with established techniques from explainable artificial intelligence (XAI) to make the complete AutoML procedure transparent and explainable. By integrating XAutoML with JupyterLab, experienced users can extend the visual analytics with ad-hoc visualizations based on information extracted from XAutoML. We validate our approach in a user study with the same diverse user group from the requirements analysis. All participants were able to extract useful information from XAutoML, leading to a significantly increased understanding of ML pipelines produced by AutoML and the AutoML optimization itself.


title: NP$^{\#P}$ = $\exists$PP and other remarks about maximized counting

abstract: We consider the following decision problem DMAX#SAT, and generalizations thereof: given a quantifier-free propositional formula $F(\mathbf{x},\mathbf{y})$, where $\mathbf{x},\mathbf{y}$ are tuples of variables, and a bound $B$, determine if there is $\vec{x}$ such that $\#\{\mathbf{y} \mid F(\mathbf{x},\mathbf{y})\} \geq B$. This is the decision version of the problem of MAX#SAT: finding $\mathbf{x}$ and $B$ for maximal $B$.


title: In-plane epitaxy strain tuning intralayer and interlayer magnetic couplings in CrSe2 and CrTe2 mono- and bi-layers

abstract: Mismatched lattice-constants at a van-der-Waals epitaxy interface often introduce in-plane strains to the lattice of the epitaxial layer, termed epitaxy-strain, where the strains do not follow the intra-layer Poisson's relation. Here, we presented the magnetic phase diagrams of the CrSe2 and CrTe2 mono- and bi-layers under epitaxy-strain up to 8 %, as predicted using density-functional-theory calculations. They show that the in-plane epitaxy-strain manipulates either the intra- or inter-layer magnetism of them. The in-plane strain varies the interlayer distance, defined using an inter-layer Poisson's ratio, which governs the inter-layer magnetism in two opposite ways depending on the in-plane magnetism. The tunability of the intra-layer magnetism is a result of competing intra-layer Cr-Cr super-exchange interactions. A graphene substrate was introduced to examine the validity of our diagrams in practice. Our work also gives a tentative explanation on the controversially reported magnetizations in CrSe2 and CrTe2 epitaxial mono- or bi-layers under epitaxy-strains.


title: Efficient frequency conversion with geometric phase control in optical metasurfaces

abstract: Metasurfaces have appeared as a versatile platform for miniaturized functional nonlinear optics due to their design freedom in tailoring wavefronts. The key factor that limits its application in functional devices is the low conversion efficiency. Recently, dielectric metasurfaces governed by either high-quality factor modes (quasi-bound states in the continuum) or Mie modes, enabling strong light-matter interaction, have become a prolific route to achieve high nonlinear efficiency. Here, we demonstrate both numerically and experimentally an effective way of spatial nonlinear phase control by using the Pancharatnam-Berry phase principle with a high third harmonic conversion efficiency of $10^{-4}$ $1/W^2$. We find that the magnetic Mie resonance appears to be the main contributor to the third harmonic response, while the contribution from the quasi-bound states in the continuum is negligible. This is confirmed by a phenomenological model based on coupled anharmonic oscillators. Besides, our metasurface provides experimentally a high diffraction efficiency (80-90%) in both polarization channels. We show a functional application of our approach by experimentally reconstructing an encoded polarization-multiplexed vortex beam array with different topological charges at the third harmonic frequency with high fidelity. Our approach has the potential viability for future on-chip nonlinear signal processing and wavefront control.


title: Cognitive Semantic Communication Systems Driven by Knowledge Graph

abstract: Semantic communication is envisioned as a promising technique to break through the Shannon limit. However, the existing semantic communication frameworks do not involve inference and error correction, which limits the achievable performance. In this paper, in order to tackle this issue, a cognitive semantic communication framework is proposed by exploiting knowledge graph. Moreover, a simple, general and interpretable solution for semantic information detection is developed by exploiting triples as semantic symbols. It also allows the receiver to correct errors occurring at the symbolic level. Furthermore, the pre-trained model is fine-tuned to recover semantic information, which overcomes the drawback that a fixed bit length coding is used to encode sentences of different lengths. Simulation results on the public WebNLG corpus show that our proposed system is superior to other benchmark systems in terms of the data compression rate and the reliability of communication.


title: Entropic trust region for densest crystallographic symmetry group packings

abstract: Molecular crystal structure prediction (CSP) seeks the most stable periodic structure given the chemical composition of a molecule and pressure-temperature conditions. Modern CSP solvers use global optimization methods to search for structures with minimal free energy within a complex energy landscape induced by intermolecular potentials. A major caveat of these methods is that initial configurations are random, making thus the search susceptible to convergence at local minima. Providing initial configurations that are densely packed with respect to the geometric representation of a molecule can significantly accelerate CSP. Motivated by these observations, we define a class of periodic packings restricted to crystallographic symmetry groups (CSG) and design a search method for the densest CSG packings in an information-geometric framework. Since the CSG induce a toroidal topology on the configuration space, a non-Euclidean trust region method is performed on a statistical manifold consisting of probability distributions defined on an $n$-dimensional flat unit torus by extending the multivariate von Mises distribution. Introducing an adaptive quantile reformulation of the fitness function into the optimization schedule provides the algorithm with a geometric characterization through local dual geodesic flows. Moreover, we examine the geometry of the adaptive selection-quantile defined trust region and show that the algorithm performs a maximization of stochastic dependence among elements of the extended multivariate von Mises distributed random vector. We experimentally evaluate the behavior and performance of the method on various densest packings of convex polygons in $2$-dimensional CSGs for which optimal solutions are known, and demonstrate its application in the pentacene thin-film CSP.

categories: math.OC cond-mat.mtrl-sci cs.IT cs.NE math.IT math.MG


title: All You Need Is Supervised Learning: From Imitation Learning to Meta-RL With Upside Down RL

abstract: Upside down reinforcement learning (UDRL) flips the conventional use of the return in the objective function in RL upside down, by taking returns as input and predicting actions. UDRL is based purely on supervised learning, and bypasses some prominent issues in RL: bootstrapping, off-policy corrections, and discount factors. While previous work with UDRL demonstrated it in a traditional online RL setting, here we show that this single algorithm can also work in the imitation learning and offline RL settings, be extended to the goal-conditioned RL setting, and even the meta-RL setting. With a general agent architecture, a single UDRL agent can learn across all paradigms.


title: "Is not the truth the truth?": Analyzing the Impact of User Validations for Bus In/Out Detection in Smartphone-based Surveys

abstract: Passenger flow allows the study of users' behavior through the public network and assists in designing new facilities and services. This flow is observed through interactions between passengers and infrastructure. For this task, Bluetooth technology and smartphones represent the ideal solution. The latter component allows users' identification, authentication, and billing, while the former allows short-range implicit interactions, device-to-device. To assess the potential of such a use case, we need to verify how robust Bluetooth signal and related machine learning (ML) classifiers are against the noise of realistic contexts. Therefore, we model binary passenger states with respect to a public vehicle, where one can either be-in or be-out (BIBO). The BIBO label identifies a fundamental building block of continuously-valued passenger flow. This paper describes the Human-Computer interaction experimental setting in a semi-controlled environment, which involves: two autonomous vehicles operating on two routes, serving three bus stops and eighteen users, as well as a proprietary smartphone-Bluetooth sensing platform. The resulting dataset includes multiple sensors' measurements of the same event and two ground-truth levels, the first being validation by participants, the second by three video-cameras surveilling buses and track. We performed a Monte-Carlo simulation of labels-flip to emulate human errors in the labeling process, as is known to happen in smartphone surveys; next we used such flipped labels for supervised training of ML classifiers. The impact of errors on model performance bias can be large. Results show ML tolerance to label flips caused by human or machine errors up to 30%.


title: Large Scale Passenger Detection with Smartphone/Bus Implicit Interaction and Multisensory Unsupervised Cause-effect Learning

abstract: Intelligent Transportation Systems (ITS) underpin the concept of Mobility as a Service (MaaS), which requires universal and seamless users' access across multiple public and private transportation systems while allowing operators' proportional revenue sharing. Current user sensing technologies such as Walk-in/Walk-out (WIWO) and Check-in/Check-out (CICO) have limited scalability for large-scale deployments. These limitations prevent ITS from supporting analysis, optimization, calculation of revenue sharing, and control of MaaS comfort, safety, and efficiency. We focus on the concept of implicit Be-in/Be-out (BIBO) smartphone-sensing and classification. To close the gap and enhance smartphones towards MaaS, we developed a proprietary smartphone-sensing platform collecting contemporary Bluetooth Low Energy (BLE) signals from BLE devices installed on buses and Global Positioning System (GPS) locations of both buses and smartphones. To enable the training of a model based on GPS features against the BLE pseudo-label, we propose the Cause-Effect Multitask Wasserstein Autoencoder (CEMWA). CEMWA combines and extends several frameworks around Wasserstein autoencoders and neural networks. As a dimensionality reduction tool, CEMWA obtains an auto-validated representation of a latent space describing users' smartphones within the transport system. This representation allows BIBO clustering via DBSCAN. We perform an ablation study of CEMWA's alternative architectures and benchmark against the best available supervised methods. We analyze performance's sensitivity to label quality. Under the na\"ive assumption of accurate ground truth, XGBoost outperforms CEMWA. Although XGBoost and Random Forest prove to be tolerant to label noise, CEMWA is agnostic to label noise by design and provides the best performance with an 88\% F1 score.


title: A general framework for adaptive two-index fusion attribute weighted naive Bayes

abstract: Naive Bayes(NB) is one of the essential algorithms in data mining. However, it is rarely used in reality because of the attribute independent assumption. Researchers have proposed many improved NB methods to alleviate this assumption. Among these methods, due to high efficiency and easy implementation, the filter attribute weighted NB methods receive great attentions. However, there still exists several challenges, such as the poor representation ability for single index and the fusion problem of two indexes. To overcome above challenges, we propose a general framework for Adaptive Two-index Fusion attribute weighted NB(ATFNB). Two types of data description category are used to represent the correlation between classes and attributes, intercorrelation between attributes and attributes, respectively. ATFNB can select any one index from each category. Then, we introduce a switching factor \{beta} to fuse two indexes, which can adaptively adjust the optimal ratio of the two index on various datasets. And a quick algorithm is proposed to infer the optimal interval of switching factor \{beta}. Finally, the weight of each attribute is calculated using the optimal value \{beta} and is integrated into NB classifier to improve the accuracy. The experimental results on 50 benchmark datasets and a Flavia dataset show that ATFNB outperforms the basic NB and state-of-the-art filter weighted NB models. In addition, the ATFNB framework can improve the existing two-index NB model by introducing the adaptive switching factor \{beta}. Auxiliary experimental results demonstrate the improved model significantly increases the accuracy compared to the original model without the adaptive switching factor \{beta}.


title: Simultaneous Dependence of Matter Clustering on Scale and Environment

abstract: In this work, we propose new statistical tools that are capable of characterizing the simultaneous dependence of dark matter and gas clustering on the scale and the density environment, and these are the environment-dependent wavelet power spectrum (env-WPS), the environment-dependent bias function (env-bias), and the environment-dependent wavelet cross-correlation function (env-WCC). These statistics are applied to the dark matter and baryonic gas density fields of the \texttt{TNG100-1} simulation at redshifts of $z=3.0$-$0.0$, and to \texttt{Illustris-1} and \texttt{SIMBA} at $z=0$. The measurements of the env-WPSs suggest that the clustering strengths of both the dark matter and the gas increase with increasing density, while that of a Gaussian field shows no density dependence. By measuring the env-bias and env-WCC, we find that they vary significantly with the environment, scale, and redshift. A noteworthy feature is that at $z=0.0$, the gas is less biased in denser environments of $\Delta \gtrsim 10$ around $3 \ h\mathrm{Mpc}^{-1}$, due to the gas reaccretion caused by the decreased AGN feedback strength at lower redshifts. We also find that the gas correlates more tightly with the dark matter in both the most dense and underdense environments than in other environments at all epochs. Even at $z=0$, the env-WCC is greater than $0.9$ in $\Delta \gtrsim 200$ and $\Delta \lesssim 0.1$ at scales of $k \lesssim 10 \ h\mathrm{Mpc}^{-1}$. In summary, our results support the local density environment having a non-negligible impact on the deviations between dark matter and gas distributions up to large scales.


title: A Holistic View on Data Protection for Sharing, Communicating, and Computing Environments: Taxonomy and Future Directions

abstract: The data is an important asset of an organization and it is essential to keep this asset secure. It requires security in whatever state is it i.e. data at rest, data in use, and data in transit. There is a need to pay more attention to it when the third party is included i.e. when the data is stored in the cloud then it requires more security. Since confidential data can reside on a variety of computing devices (physical servers, virtual servers, databases, file servers, PCs, point-of-sale devices, flash drives, and mobile devices) and move through a variety of network access points (wireline, wireless, VPNs, etc.), there is a need of solutions or mechanism that can tackle the problem of data loss, data recovery and data leaks. In this context, the paper presents a holistic view of data protection for sharing and communicating environments for any type of organization. A taxonomy of data leakage protection systems and major challenges faced while protecting confidential data are discussed. Data protection solutions, Data Leakage Protection System's analysis techniques, and, a thorough analysis of existing state-of-the-art contributions empowering machine learning-based approaches are entailed. Finally, the paper explores and concludes various critical emerging challenges and future research directions concerning data protection.


title: A Fair Empirical Risk Minimization with Generalized Entropy

abstract: This paper studies a parametric family of algorithmic fairness metrics, called generalized entropy, which originally has been used in public welfare and recently introduced to machine learning community. As a meaningful metric to evaluate algorithmic fairness, it requires that generalized entropy specify fairness requirements of a classification problem and the fairness requirements should be realized with small deviation by an algorithm. We investigate the role of generalized entropy as a design parameter for fair classification algorithm through a fair empirical risk minimization with a constraint specified in terms of generalized entropy. We theoretically and experimentally study learnability of the problem.


title: Coherence of ion cyclotron resonance for damping ion cyclotron waves in space plasmas

abstract: Ion cyclotron resonance is one of the fundamental energy conversion processes through field-particle interaction in collisionless plasmas. However, the key evidence for ion cyclotron resonance (i.e., the coherence between electromagnetic fields and the ion phase space density) and the resulting damping of ion cyclotron waves (ICWs) has not yet been directly observed. Investigating the high-quality measurements of space plasmas by the Magnetospheric Multiscale (MMS) satellites, we find that both the wave electromagnetic field vectors and the bulk velocity of the disturbed ion velocity distribution rotate around the background magnetic field. Moreover, we find that the absolute gyro-phase angle difference between the center of the fluctuations in the ion velocity distribution functions and the wave electric field vectors falls in the range of (0, 90) degrees, consistent with the ongoing energy conversion from wave-fields to particles. By invoking plasma kinetic theory, we demonstrate that the field-particle correlation for the damping ion cyclotron waves in our theoretical model matches well with our observations. Furthermore, the wave electric field vectors ($\delta \mathbf{E'}_{\mathrm {wave,\perp}}$), the ion current density ($\delta \mathbf{J}_\mathrm {i,\perp}$) and the energy transfer rate ($\delta \mathbf{J}_\mathrm {i,\perp}\cdot \delta \mathbf{E'}_{\mathrm {wave,\perp}}$) exhibit quasi-periodic oscillations, and the integrated work done by the electromagnetic field on the ions are positive, indicates that ions are mainly energized by the perpendicular component of the electric field via cyclotron resonance. Therefore, our combined analysis of MMS observations and kinetic theory provides direct, thorough, and comprehensive evidence for ICW damping in space plasmas.


title: Combining the target trial and estimand frameworks to define the causal estimand: an application using real-world data to contextualize a single-arm trial

abstract: Single-arm trials (SATs) may be used to support regulatory submissions in settings where there is a high unmet medical need and highly promising early efficacy data undermine the equipoise needed for randomization. In this context, patient-level real-world data (RWD) may be used to create an external control arm (ECA) to contextualize the SAT results. However, naive comparisons of the SAT with its ECA will yield biased estimates of causal effects if groups are imbalanced with regards to (un)measured prognostic factors. Several methods are available to adjust for measured confounding, but the interpretation of such analyses is challenging unless the causal question of interest is clearly defined, and the estimator is aligned with the estimand. Additional complications arise when patients in the ECA are eligible for the SAT at multiple timepoints. In this paper, we use a case-study of a pivotal SAT of a novel CAR-T therapy for heavily pre-treated patients with follicular lymphoma to illustrate how a combination of the target trial and the ICH E9(R1) estimand frameworks can be used to define the target estimand and avoid common methodological pitfalls related to the design of the ECA and comparisons with the SAT. We also propose an approach to address the challenge of how to define an appropriate time zero for external controls who meet the SAT inclusion/exclusion criteria at several timepoints. Use of the target trial and estimand frameworks facilitates discussions amongst internal and external stakeholders, as well as an early assessment of the adequacy of the available RWD.


title: Should I Get Involved? On the Privacy Perils of Mining Software Repositories for Research Participants

abstract: Mining Software Repositories (MSRs) is an evidence-based methodology that cross-links data to uncover actionable information about software systems. Empirical studies in software engineering often leverage MSR techniques as they allow researchers to unveil issues and flaws in software development so as to analyse the different factors contributing to them. Hence, counting on fine-grained information about the repositories and sources being mined (e.g., server names, and contributors' identities) is essential for the reproducibility and transparency of MSR studies. However, this can also introduce threats to participants' privacy as their identities may be linked to flawed/sub-optimal programming practices (e.g., code smells, improper documentation), or vice-versa. Moreover, this can be extensible to close collaborators and community members resulting "guilty by association". This position paper aims to start a discussion about indirect participation in MSRs investigations, the dichotomy of 'privacy vs. utility' regarding sharing non-aggregated data, and its effects on privacy restrictions and ethical considerations for participant involvement.


title: Lattice calculation of the pion mass difference $M_{\pi^{+}}-M_{\pi^{0}}$ at order $\mathcal{O}(\alpha_{em})$

abstract: We present a lattice calculation of the charged/neutral pion mass difference $M_{\pi^{+}}-M_{\pi^{0}}$ at order $\mathcal{O}(\alpha_{em})$ using the gauge configurations produced by the Extended Twisted Mass Collaboration with $N_{f}=2+1+1$ dynamical quark flavours at three values of the lattice spacing ($a \simeq 0.062, 0.082, 0.089~{\rm fm}$) and pion masses in the range $M_{\pi} \simeq 250-500~{\rm MeV}$. We employ the RM123 method and expand the path-integral around the isospin symmetric point at leading order in the electromagnetic coupling $\alpha_{em}$. Making use of the recently proposed RTM scheme, we evaluate the full $\mathcal{O}(\alpha_{em})$ contribution, with the inclusion of the disconnected diagram. At the physical point, after performing the continuum and infinite volume extrapolation, we obtain the value $M_{\pi^{+}}-M_{\pi^{0}}= 4.622~(95)~{\rm MeV}$ which is in good agreement with the experimental result $[ M_{\pi^{+}} - M_{\pi^{0}} ]^{exp.} = 4.5936(5)~{\rm MeV}$.


title: Orbital entangled antiferromagnetoc order and spin-orbit-distortion exciton in $\rm Sr_2VO_4$

abstract: With electron filling $n=1$ in the $\rm Sr_2VO_4$ compound, the octahedrally coordinated $t_{\rm 2g}$ orbitals are strongly active due to tetragonal distortion induced crystal field tuning by external agent such as pressure. Considering the full range of crystal field induced tetragonal splitting in a realistic three-orbital model, collective spin-orbital excitations are investigated using the generalized self consistent and fluctuation approach. The variety of self consistent states obtained including orbital entangled ferromagnetic and antiferromagnetic orders reflects the rich spin-orbital physics resulting from the interplay between the band, spin-orbit coupling, crystal field, and Coulomb interaction terms. The behavior of the calculated energy scales of collective excitations with crystal field is consistent with that of the transition temperatures with pressure as obtained from susceptibility and resistivity anomalies in high-pressure studies.


title: Frequency noise characterization of diode lasers for vapor cell clocks applications

abstract: The knowledge of the frequency noise spectrum of a diode laser is of interest in several high resolution experiments. Specifically, in laser-pumped vapor cell clocks, it is well established that the laser frequency noise plays a role in affecting the clock performances. It is then important to characterize the frequency noise of a diode laser, especially since such measurements are rarely found in the literature and hardly ever provided by vendors. In this paper, we describe a technique based on a frequency-to-voltage converter that transforms the laser frequency fluctuations into voltage fluctuations. In this way, it is possible to characterize the laser frequency noise power spectral density in a wide range of Fourier frequencies, as required in cell clock applications.


title: Looking for the exotic $X_0(2866)$ and its $J^P=1^+$ partner in the $\bar{B}^0 \to D^{(*)+} K^- K^{(*)0} $ reactions

abstract: We propose two reactions, $\bar{B}^0 \to K^0 D^{+} K^-$ and $\bar{B}^0 \to K^{*0} D^{*+} K^-$, already measured at Belle, to look into the $J^P=0^+$, $X_0(2866)$ state and a $1^+$ partner of molecular $D^*\bar{K}^*$ nature, by looking at the $D^+ K^-$ and $D^{*+} K^-$ invariant mass distributions, respectively. Very clear peaks over the background are predicted and the branching ratios for the production of these states are evaluated to facilitate the task of determining the needed statistics for their observation. The fact that the $K^{*0} K^-$ mass distribution from accumulation of events of different reactions is already available, indicates that one is not far away from having the needed statistics to see peaks in the $D^{(*)+} K^-$ mass distributions, so far not yet analyzed.


title: Influences of internal forcing on atmospheric circulations of irradiated giant planets

abstract: Close-in giant planets with strong stellar irradiation show atmospheric circulation patterns with strong equatorial jets and global-scale stationary waves. So far, almost all modeling works on atmospheric circulations of such giant planets have mainly considered external radiation alone, without taking into account the role of internal heat fluxes or just treating it in very simplified ways. Here, we study atmospheric circulations of strongly irradiated giant planets by considering the effect of internal forcing, which is characterized by small-scale stochastic interior thermal perturbations, using a three-dimensional atmospheric general circulation model. We show that the perturbation-excited waves can largely modify atmospheric circulation patterns in the presence of relatively strong internal forcing. Specifically, our simulations demonstrate three circulation regimes: superrotation regime, midlatitude-jet regime, and quasi-periodic oscillation regime, depending on the relative importance of external and internal forcings. It is also found that strong internal forcing can cause noticeable modifications of the thermal phase curves.


title: Spin-liquid signatures in the quantum critical regime of pressurized CePdAl

abstract: CePdAl is a prototypical frustrated Kondo lattice with partial long-range order (LRO) at $T_\mathrm{N}=2.7$ K. Previous bulk experiments under hydrostatic pressure found signatures for a quantum critical regime that extends from $p_\mathrm{c} \approx 0.9$ GPa, where LRO disappears, up to $\sim 1.7$ GPa. We employed extensive muon spin relaxation and rotation ($\mu$SR) experiments under pressure. The continuous and complete suppression of LRO at $p_\mathrm{c}$ is confirmed. Above $T_\mathrm{N}(p)$ and beyond $p_\mathrm{c}$, an additional crossover scale $T^\ast(p)$ characterizes the change from pure to stretched exponential relaxation in zero field. Remarkably $T^\ast(p)$ agrees with previously determined signatures of entropy accumulation above LRO. This coincidence microscopically evidences fluctuating frustrated spins at $T\leq T^\ast$ with spin-liquid behavior. Power-law divergences of the temperature and longitudinal field dependences of the relaxation rate, with time-field scaling, at pressures between $p_c$ and 1.7 GPa characterize this regime as quantum critical.


title: Hadronic effects in M{\o}ller scattering at NNLO

abstract: Two-loop electroweak corrections to polarized Moller scattering are studied in two different schemes at low energies. We find the finite $Q^2$ corrections to be well under control. The hadronic and perturbative QCD corrections to the $\gamma Z$ two-point function are incorporated through the weak mixing angle at low energies, which introduce an error of $0.08\times10^{-3}$ in the weak charge of the electron $Q^e_W$. Furthermore, by studying the scheme dependence, we obtain an estimate of the current perturbative electroweak uncertainty, $\delta Q^e_W\approx0.23\times10^{-3}$, which is five times smaller than the precision estimated for the MOLLER experiment $(\delta Q_W^e=1.1\times10^{-3})$. Future work is possible to reduce the theory error further.


title: A Cylindrical GEM Inner Tracker for the BESIII Experiment: from Construction to Electronic Noise Studies

abstract: This thesis reports the various phases of the life cycle of a cylindrical GEM detector, developed within the context of the CGEM-IT project. This represents the Italian proposal for the upgrade of the BESIII inner tracker, which has been suffering from aging phenomena due to the high luminosity. The construction of the detector at Frascati National Laboratories and the early phases of its commissioning at IHEP are described in detail. In the last two chapters, noise studies on data collected using a CGEM detector with a full readout chain near the BEPC-II interaction point will be presented, starting from the quality assurance tests of the on-detector electronics. The measurements are realized exploiting the different operative phases of the BEPC-II storage ring and aim to provide an estimate of the noise level variation due to the surrounding environment.


title: From Model Selection to Model Averaging: A Comparison for Nested Linear Models

abstract: Model selection (MS) and model averaging (MA) are two popular approaches when having many candidate models. Theoretically, the estimation risk of an oracle MA is not larger than that of an oracle MS because the former one is more flexible, but a foundational issue is: does MA offer a {\it substantial} improvement over MS? Recently, a seminal work: Peng and Yang (2021), has answered this question under nested models with linear orthonormal series expansion. In the current paper, we further reply this question under linear nested regression models. Especially, a more general nested framework, heteroscedastic and autocorrelated random errors, and sparse coefficients are allowed in the current paper, which is more common in practice. In addition, we further compare MAs with different weight sets. Simulation studies support the theoretical findings in a variety of settings.


title: From BeyondPlanck to Cosmoglobe: Preliminary $\mathit{WMAP}$ $\mathit Q$-band analysis

abstract: We present the first application of the Cosmoglobe analysis framework by analyzing 9-year $\mathit{WMAP}$ time-ordered observations using similar machinery as BeyondPlanck utilizes for $\mathit{Planck}$ LFI. We analyze only the $\mathit Q$-band (41 GHz) data and report on the low-level analysis process from uncalibrated time-ordered data to calibrated maps. Most of the existing BeyondPlanck pipeline may be reused for $\mathit{WMAP}$ analysis with minimal changes to the existing codebase. The main modification is the implementation of the same preconditioned biconjugate gradient mapmaker used by the $\mathit{WMAP}$ team. Producing a single $\mathit{WMAP}$ $\mathit Q$1-band sample requires 22 CPU-hrs, which is slightly more than the cost of a $\mathit{Planck}$ 44 GHz sample of 17 CPU-hrs; this demonstrates that full end-to-end Bayesian processing of the $\mathit{WMAP}$ data is computationally feasible. In general, our recovered maps are very similar to the maps released by the $\mathit{WMAP}$ team, although with two notable differences. In temperature we find a $\sim2\,\mathrm{\mu K}$ quadrupole difference that most likely is caused by different gain modeling, while in polarization we find a distinct $2.5\,\mathrm{\mu K}$ signal that has been previously called poorly-measured modes by the $\mathit{WMAP}$ team. In the Cosmoglobe processing, this pattern arises from temperature-to-polarization leakage from the coupling between the CMB Solar dipole, transmission imbalance, and sidelobes. No traces of this pattern are found in either the frequency map or TOD residual map, suggesting that the current processing has succeeded in modelling these poorly measured modes within the assumed parametric model by using $\mathit{Planck}$ information to break the sky-synchronous degeneracies inherent in the $\mathit{WMAP}$ scanning strategy.


title: Spin-Orbit Interaction of Light Enabled by Negative Coupling in High Quality Factor Optical Metasurfaces

abstract: We study the negative couplings amid local resonances of photonic metasurfaces. In our analysis, we discover pseudo-spin-orbit coupled bulk modes leading to lines of circularly polarized radiation eigenstates in two-dimensional momentum space which were considered to exist only in three-dimensions. Our theoretical model is exemplified via a guided resonance dielectric metasurface that possesses Type-II Non-Hermitian diabolical points, from where the circular polarization lines emanate. The designed metasurface carries circular polarized radiation eigenstates in both the 0th and the 1st diffraction orders, allowing spin-selective light deflections. The high quality factor nature and field enhancement of the designed metasurface could lead to applications for spin-selective sensing, beam control and nonlinear optics. Our findings open a gateway for the design of near-field couplings assisted metasurfaces.


title: Fully Self-Supervised Learning for Semantic Segmentation

abstract: In this work, we present a fully self-supervised framework for semantic segmentation(FS^4). A fully bootstrapped strategy for semantic segmentation, which saves efforts for the huge amount of annotation, is crucial for building customized models from end-to-end for open-world domains. This application is eagerly needed in realistic scenarios. Even though recent self-supervised semantic segmentation methods have gained great progress, these works however heavily depend on the fully-supervised pretrained model and make it impossible a fully self-supervised pipeline. To solve this problem, we proposed a bootstrapped training scheme for semantic segmentation, which fully leveraged the global semantic knowledge for self-supervision with our proposed PGG strategy and CAE module. In particular, we perform pixel clustering and assignments for segmentation supervision. Preventing it from clustering a mess, we proposed 1) a pyramid-global-guided (PGG) training strategy to supervise the learning with pyramid image/patch-level pseudo labels, which are generated by grouping the unsupervised features. The stable global and pyramid semantic pseudo labels can prevent the segmentation from learning too many clutter regions or degrading to one background region; 2) in addition, we proposed context-aware embedding (CAE) module to generate global feature embedding in view of its neighbors close both in space and appearance in a non-trivial way. We evaluate our method on the large-scale COCO-Stuff dataset and achieved 7.19 mIoU improvements on both things and stuff objects


title: N-QGN: Navigation Map from a Monocular Camera using Quadtree Generating Networks

abstract: Monocular depth estimation has been a popular area of research for several years, especially since self-supervised networks have shown increasingly good results in bridging the gap with supervised and stereo methods. However, these approaches focus their interest on dense 3D reconstruction and sometimes on tiny details that are superfluous for autonomous navigation. In this paper, we propose to address this issue by estimating the navigation map under a quadtree representation. The objective is to create an adaptive depth map prediction that only extract details that are essential for the obstacle avoidance. Other 3D space which leaves large room for navigation will be provided with approximate distance. Experiment on KITTI dataset shows that our method can significantly reduce the number of output information without major loss of accuracy.


title: GIAOTracker: A comprehensive framework for MCMOT with global information and optimizing strategies in VisDrone 2021

abstract: In recent years, algorithms for multiple object tracking tasks have benefited from great progresses in deep models and video quality. However, in challenging scenarios like drone videos, they still suffer from problems, such as small objects, camera movements and view changes. In this paper, we propose a new multiple object tracker, which employs Global Information And some Optimizing strategies, named GIAOTracker. It consists of three stages, i.e., online tracking, global link and post-processing. Given detections in every frame, the first stage generates reliable tracklets using information of camera motion, object motion and object appearance. Then they are associated into trajectories by exploiting global clues and refined through four post-processing methods. With the effectiveness of the three stages, GIAOTracker achieves state-of-the-art performance on the VisDrone MOT dataset and wins the 3rd place in the VisDrone2021 MOT Challenge.


title: Fine-grained TLS services classification with reject option

abstract: The recent success and proliferation of machine learning and deep learning have provided powerful tools, which are also utilized for encrypted traffic analysis, classification, and threat detection in computer networks. These methods, neural networks in particular, are often complex and require a huge corpus of training data. Therefore, this paper focuses on collecting a large up-to-date dataset with almost 200 fine-grained service labels and 140 million network flows extended with packet-level metadata. The number of flows is three orders of magnitude higher than in other existing public labeled datasets of encrypted traffic. The number of service labels, which is important to make the problem hard and realistic, is four times higher than in the public dataset with the most class labels. The published dataset is intended as a benchmark for identifying services in encrypted traffic. Service identification can be further extended with the task of "rejecting" unknown services, i.e., the traffic not seen during the training phase. Neural networks offer superior performance for tackling this more challenging problem. To showcase the dataset's usefulness, we implemented a neural network with a multi-modal architecture, which is the state-of-the-art approach, and achieved 97.04% classification accuracy and detected 91.94% of unknown services with 5% false positive rate.


title: Can deep neural networks learn process model structure? An assessment framework and analysis

abstract: Predictive process monitoring concerns itself with the prediction of ongoing cases in (business) processes. Prediction tasks typically focus on remaining time, outcome, next event or full case suffix prediction. Various methods using machine and deep learning havebeen proposed for these tasks in recent years. Especially recurrent neural networks (RNNs) such as long short-term memory nets (LSTMs) have gained in popularity. However, no research focuses on whether such neural network-based models can truly learn the structure of underlying process models. For instance, can such neural networks effectively learn parallel behaviour or loops? Therefore, in this work, we propose an evaluation scheme complemented with new fitness, precision, and generalisation metrics, specifically tailored towards measuring the capacity of deep learning models to learn process model structure. We apply this framework to several process models with simple control-flow behaviour, on the task of next-event prediction. Our results show that, even for such simplistic models, careful tuning of overfitting countermeasures is required to allow these models to learn process model structure.


title: Correlation between spin-phonon coupling and magneto-electric effects in CoFe2O4/PMN-PT nanocomposite: Raman Spectroscopy and XMCD study

abstract: We have investigated the coupling of lattice with spin via strain interactions in the CoFe2O4/PMN-PT composite system. X-ray diffraction and Raman spectroscopic studies illustrate a remarkable modification in CoFe2O4lattice across Curie temperature (450 K) of PMN-PT. Subsequently, CoFe2O4/PMN-PT composite reveals a sudden drop in magnetic moment across Tc of PMN-PT (450 K). However,theindependent CoFe2O4phasedisplaystypical ferromagnetic behaviour across this temperature. These findings establish spin-lattice coupling owing to th interfacial strain transfer between CoFe2O4 and PMN-PT in composite. The strain intractions leads to magneto-electric coupling, evidenced by measuring magentization and magneto-electric coefficient for the electric field poled and unploed CoFe2O4/PMN-PT composite samples. X-ray magnetic circular dichroism (XMCD) analysis establishes that the cation (Fe3+/Co2+) redistribution occurs on tetrahedral and octahedral site in the electrically poled CoFe2O4/PMN-PT composite, confirming the coupling between magnetic and electric ordering in the composite. The magneto-electric coupling coefficient alpha vs dc magnetic field curves revealed hysteretic behavior and enhanced {\alpha} values after electric poling, which originates from the strain induced modifications in the magnetic domains configuration of composite in the poled samples. These findings suggest that the existence of spin lattice coupling may leads to the mechanism of strong magneto-electric effects via strain interactions in CoFe2O4/PMN-PT composite.


title: Predicting the impact of treatments over time with uncertainty aware neural differential equations

abstract: Predicting the impact of treatments from observational data only still represents a majorchallenge despite recent significant advances in time series modeling. Treatment assignments are usually correlated with the predictors of the response, resulting in a lack of data support for counterfactual predictions and therefore in poor quality estimates. Developments in causal inference have lead to methods addressing this confounding by requiring a minimum level of overlap. However,overlap is difficult to assess and usually notsatisfied in practice. In this work, we propose Counterfactual ODE (CF-ODE), a novel method to predict the impact of treatments continuously over time using Neural Ordinary Differential Equations equipped with uncertainty estimates. This allows to specifically assess which treatment outcomes can be reliably predicted. We demonstrate over several longitudinal data sets that CF-ODE provides more accurate predictions and more reliable uncertainty estimates than previously available methods.


title: Exact Matching in Graphs of Bounded Independence Number

abstract: In the Exact Matching Problem (EM), we are given a graph equipped with a fixed coloring of its edges with two colors (red and blue), as well as a positive integer $k$. The task is then to decide whether the given graph contains a perfect matching exactly $k$ of whose edges have color red. EM generalizes several important algorithmic problems such as perfect matching and restricted minimum weight spanning tree problems. When introducing the problem in 1982, Papadimitriou and Yannakakis conjectured EM to be $\textbf{NP}$-complete. Later however, Mulmuley et al.~presented a randomized polynomial time algorithm for EM, which puts EM in $\textbf{RP}$. Given that to decide whether or not $\textbf{RP}=\textbf{P}$ represents a big open challenge in complexity theory, this makes it unlikely for EM to be $\textbf{NP}$-complete, and in fact indicates the possibility of a deterministic polynomial time algorithm. EM remains one of the few natural combinatorial problems in $\textbf{RP}$ which are not known to be contained in $\textbf{P}$, making it an interesting instance for testing the hypothesis $\textbf{RP}=\textbf{P}$. Despite EM being quite well-known, attempts to devise deterministic polynomial algorithms have remained illusive during the last 40 years and progress has been lacking even for very restrictive classes of input graphs. In this paper we finally push the frontier of positive results forward by proving that EM can be solved in deterministic polynomial time for input graphs of bounded independence number, and for bipartite input graphs of bounded bipartite independence number. This generalizes previous positive results for complete (bipartite) graphs which were the only known results for EM on dense graphs.


title: Analysis of Genotype-Phenotype Association using Genomic Informational Field Theory (GIFT)

abstract: We show how field- and information theory can be used to quantify the relationship between genotype and phenotype in cases where phenotype is a continuous variable. Given a sample population of phenotype measurements, from various known genotypes, we show how the ordering of phenotype data can lead to quantification of the effect of genotype. This method does not assume that the data has a Gaussian distribution, it is particularly effective at extracting weak and unusual dependencies of genotype on phenotype. However, in cases where data has a special form, (eg Gaussian), we observe that the effective phenotype field has a special form. We use asymptotic analysis to solve both the forward and reverse formulations of the problem. We show how $p$-values can be calculated so that the significance of correlation between phenotype and genotype can be quantified. This provides a significant generalisation of the traditional methods used in genome-wide association studies GWAS. We derive a field-strength which can be used to deduce how the correlations between genotype and phenotype, and their impact on the distribution of phenotypes.


title: Search for planets in hot Jupiter systems with multi-sector TESS photometry. II. Constraints on planetary companions in 12 systems

abstract: Uninterrupted observations from space-borne telescopes provide the photometric precision that is required to detect shallow transits of small planets missed by ground-based surveys. We used data from the Transiting Exoplanet Survey Satellite (TESS) to search for nearby planetary companions in 12 planetary systems with hot Jupiters: HD 2685, Qatar-10, WASP-4, WASP-48, WASP-58, WASP-91, WASP-120, WASP-121, WASP-122, WASP-140, XO-6, and XO-7. We also applied the transit timing method based on homogeneously determined mid-transit times in order to search for non-transiting companions that could gravitationally perturb the already known planets. We found no additional planets in those systems down to the regime of sub-Neptunian globes. This negative result is in line with statistical studies, supporting the high-eccentricity migration as a pathway of the investigated giant planets to the tight orbits observed today.


title: Spectral form factor in the Hadamard-Gutzwiller model: orbit pairs contributing in the third order

abstract: In this paper we consider orbit pairs contributing in the third order of the spectral form factor in the Hadamard-Gutzwiller model. We prove that periodic orbits including two 2-encounters in certain structures have partner orbits. The action differences are estimated at $\ln(1+u_1s_1)(1+u_2s_2)$ with explicit error bounds, where $(u_1,s_1)$ and $(u_2,s_2)$ are the coordinates of the piercing points. A new symbolic dynamics for orbit pairs via conjugacy classes is also provided.


title: Magnetic resonance probing of ferroelectricity and magnetism in metal-organic frameworks

abstract: We employ electron paramagnetic resonance (EPR) of the spin probe Mn2+ to study the paraelectric ferroelectric transition in DMAMnF and Mn2 doped DMZnF, which are considered to be model metal organic frameworks (MOF) with a Pb free perovskite architecture. In DMAMnF, we study the variation of the Mn2+ EPR line shape and intensity at the X-band (9.4 GHz) and over 80 to 300 K, and we show the absence of magnetoelectric coupling at the ferroelectric transition. At the antiferromagnetic transition in DMMnF, we detect a magnetoelectric coupling caused by weak ferromagnetism in the AFM phase. In DMZnF, the combination of EPR of the Mn2+ probe and DFT show that the crystal field is predominantly determined by the DMA+ cations.


title: Redundant apodization for direct imaging of exoplanets I: Robustness to primary mirror segmentation-induced errors outside the segment diffraction limit

abstract: Direct imaging and spectroscopy of Earth-like planets and young Jupiters require contrasts up to 10^6-10^10 at angular separations of a few dozen milliarcseconds. To achieve this goal, one of the most promising approaches consists of using large segmented primary mirror telescopes with coronagraphic instruments. However, coronagraphs are highly sensitive to wavefront errors. The segmentation itself is responsible for phasing errors and segment vibrations to be controlled at a subnanometric accuracy. We propose an innovative method for a coronagraph design that allows a consequent relaxation of the segment phasing constraints for low segment-count mirrors and generates an instrument that is more robust to segment-level wavefront errors. It is based on an optimization of the coronagraph that includes a segment-level apodization. This is repeated over the pupil to match the segmentation redundancy and improves the contrast stability beyond the minimum separation set by the single-segment diffraction limit. We validate this method on a GMT-like pupil for two coronagraph types: apodized pupil Lyot coronagraphs (APLC) and apodizing phase plate coronagraphs (APP). For the APLC, redundant apodization enables releasing the piston phasing constraints by a factor of 5 to 20 compared to classical designs. For the APP, the contrast remains almost constant up to 1 radian RMS of the phasing errors. We also show that redundant apodizations increase the robustness of the coronagraph to segment tip-tilt errors, as well as to missing segments. This method cannot be applied to higher-segment count mirrors such as the ELT or the TMT, but it is particularly suitable for low segment-count mirrors (fewer than 20 segments) such as the GMT aperture. These mirrors aim for high-contrast imaging of debris disks or exoplanets down to 100 mas.


title: Variable elimination, graph reduction and efficient g-formula

abstract: We study efficient estimation of an interventional mean associated with a point exposure treatment under a causal graphical model represented by a directed acyclic graph without hidden variables. Under such a model, it may happen that a subset of the variables are uninformative in that failure to measure them neither precludes identification of the interventional mean nor changes the semiparametric variance bound for regular estimators of it. We develop a set of graphical criteria that are sound and complete for eliminating all the uninformative variables so that the cost of measuring them can be saved without sacrificing estimation efficiency, which could be useful when designing a planned observational or randomized study. Further, we construct a reduced directed acyclic graph on the set of informative variables only. We show that the interventional mean is identified from the marginal law by the g-formula (Robins, 1986) associated with the reduced graph, and the semiparametric variance bounds for estimating the interventional mean under the original and the reduced graphical model agree. This g-formula is an irreducible, efficient identifying formula in the sense that the nonparametric estimator of the formula, under regularity conditions, is asymptotically efficient under the original causal graphical model, and no formula with such property exists that only depends on a strict subset of the variables.


title: A 6.4yr optical quasi-periodic oscillations in SDSS J075217.84+193542.2: a new candidate for central binary black hole system

abstract: In this manuscript, a 6.4yr optical quasi-periodic oscillations (QPOs) is detected in the quasar SDSS J075217.84+193542.2 (=\obj) at a redshift 0.117, of which 13.6yr-long light curve from CSS and ASAS-SN directly described by a sinusoidal function with a periodicity 6.4yr. The 6.4yr QPOs can be further confirmed through the Generalized Lomb-Scargle periodogram with confidence level higher than 99.99\%, and through the auto-correlation analysis results, and through the WWZ technique. The optical QPOs strongly indicate a central binary black hole (BBH) system in \obj. The determined two broad Gaussian components in the broad H$\alpha$ can lead to the BBH system with expected space separation about 0.02pc between the expected two central BHs with determined virial BH masses about $8.8\times10^7{\rm M_\odot}$ and $1.04\times10^9{\rm M_\odot}$. Meanwhile, we check the disk precessions applied to explain the optical QPOs. However, under the disk precession assumption, the determined optical emission regions from central BH have sizes about $40{\rm R_G}$ two times smaller than sizes of the expected NUV emission regions through the correlation between disk size and BH mass, indicating the disk precessions are not preferred. And due to the lower radio loudness around 0.28, jet precessions can be also totally ruled out. Furthermore, only 0.08\% probability can determined as the QPOs mis-detected through light curves randomly created by the CAR process, re-confirming the reported optical QPOs.


title: Supersolvable posets and fiber-type abelian arrangements

abstract: We present a combinatorial analysis of fiber bundles of generalized configuration spaces on connected abelian Lie groups. These bundles are akin to those of Fadell-Neuwirth for configuration spaces, and their existence is detected by a combinatorial property of an associated finite partially ordered set. This is consistent with Terao's fibration theorem connecting bundles of hyperplane arrangements to Stanley's lattice supersolvability. We obtain a combinatorially determined class of K($\pi$,1) toric and elliptic arrangements. Under a stronger combinatorial condition, we prove a factorization of the Poincar\'e polynomial when the Lie group is noncompact. In the case of toric arrangements, this provides an analogue of Falk-Randell's formula relating the Poincar\'e polynomial to the lower central series of the fundamental group.


title: Supervised Learning based Sparse Channel Estimation for RIS aided Communications

abstract: An reconfigurable intelligent surface (RIS) can be used to establish line-of-sight (LoS) communication when the direct path is compromised, which is a common occurrence in a millimeter wave (mmWave) network. In this paper, we focus on the uplink channel estimation of a such network. We formulate this as a sparse signal recovery problem, by discretizing the angle of arrivals (AoAs) at the base station (BS). On-grid and off-grid AoAs are considered separately. In the on-grid case, we propose an algorithm to estimate the direct and RIS channels. Neural networks trained based on supervised learning is used to estimate the residual angles in the off-grid case, and the AoAs in both cases. Numerical results show the performance gains of the proposed algorithms in both cases.


title: Effective Actor-centric Human-object Interaction Detection

abstract: While Human-Object Interaction(HOI) Detection has achieved tremendous advances in recent, it still remains challenging due to complex interactions with multiple humans and objects occurring in images, which would inevitably lead to ambiguities. Most existing methods either generate all human-object pair candidates and infer their relationships by cropped local features successively in a two-stage manner, or directly predict interaction points in a one-stage procedure. However, the lack of spatial configurations or reasoning steps of two- or one- stage methods respectively limits their performance in such complex scenes. To avoid this ambiguity, we propose a novel actor-centric framework. The main ideas are that when inferring interactions: 1) the non-local features of the entire image guided by actor position are obtained to model the relationship between the actor and context, and then 2) we use an object branch to generate pixel-wise interaction area prediction, where the interaction area denotes the object central area. Moreover, we also use an actor branch to get interaction prediction of the actor and propose a novel composition strategy based on center-point indexing to generate the final HOI prediction. Thanks to the usage of the non-local features and the partly-coupled property of the human-objects composition strategy, our proposed framework can detect HOI more accurately especially for complex images. Extensive experimental results show that our method achieves the state-of-the-art on the challenging V-COCO and HICO-DET benchmarks and is more robust especially in multiple persons and/or objects scenes.


title: Proactive Libraries: Enforcing Correct Behaviors in Android Apps

abstract: The Android framework provides a rich set of APIs that can be exploited by developers to build their apps. However, the rapid evolution of these APIs jointly with the specific characteristics of the lifecycle of the Android components challenge developers, who may release apps that use APIs incorrectly. In this demo, we present Proactive Libraries, a tool that can be used to decorate regular libraries with the capability of proactively detecting and healing API misuses at runtime. Proactive Libraries blend libraries with multiple proactive modules that collect data, check the compliance of API usages with correctness policies, and heal executions as soon as the possible violation of a policy is detected. The results of our evaluation with 27 possible API misuses show the effectiveness of Proactive Libraries in correcting API misuses with negligible runtime overhead.


title: The MURAVES experiment: study of the Vesuvius Great Cone with Muon Radiography

abstract: The MURAVES experiment aims at the muographic imaging of the internal structure of the summit of Mt. Vesuvius, exploiting muons produced by cosmic rays. Though presently quiescent, the volcano carries a dramatic hazard in its highly populated surroundings. The challenging measurement of the rock density distribution in its summit by muography, in conjunction with data from other geophysical techniques, can help the modeling of possible eruptive dynamics. The MURAVES apparatus consists of an array of three independent and identical muon trackers, with a total sensitive area of 3 square meters. In each tracker, a sequence of 4 XY tracking planes made of plastic scintillators is complemented by a 60 cm thick lead wall inserted between the two downstream planes to improve rejection of background from low energy muons. The apparatus is currently acquiring data. Preliminary results from the analysis of a first data sample are presented.


title: Approximations of the balanced triple product $p$-adic $L$-function

abstract: The main purpose of this note is to provide an algorithm for approximating the value of the balanced $p$-adic $L$-function, as constructed in [Hsi21], at the point $(2,1,1)$, which is lying outside of the interpolation region. The algorithmic procedure is obtained building on the work of [FM14] and considering finite length geodesics on the Bruhat--Tits tree for $GL_2(\mathbb{Q}_p)$. We are interested in the case where at least one of the Hida families is associated with an elliptic curve over the rationals and we further restrict ourselves to the case where only one finite local sign of the functional equation is $-1$.


title: Rare Gems: Finding Lottery Tickets at Initialization

abstract: Large neural networks can be pruned to a small fraction of their original size, with little loss in accuracy, by following a time-consuming "train, prune, re-train" approach. Frankle & Carbin conjecture that we can avoid this by training "lottery tickets", i.e., special sparse subnetworks found at initialization, that can be trained to high accuracy. However, a subsequent line of work by Frankle et al. and Su et al. presents concrete evidence that current algorithms for finding trainable networks at initialization, fail simple baseline comparisons, e.g., against training random sparse subnetworks. Finding lottery tickets that train to better accuracy compared to simple baselines remains an open problem. In this work, we resolve this open problem by proposing Gem-Miner which finds lottery tickets at initialization that beat current baselines. Gem-Miner finds lottery tickets trainable to accuracy competitive or better than Iterative Magnitude Pruning (IMP), and does so up to $19\times$ faster.


title: IBIA: Bayesian Inference via Incremental Build-Infer-Approximate operations on Clique Trees

abstract: Exact inference in Bayesian networks is intractable and has an exponential dependence on the size of the largest clique in the corresponding clique tree (CT), necessitating approximations. Factor based methods to bound clique sizes are more accurate than structure based methods, but expensive since they involve inference of beliefs in a large number of candidate structure or region graphs. We propose an alternative approach for approximate inference based on an incremental build-infer-approximate (IBIA) paradigm, which converts the Bayesian network into a data structure containing a sequence of linked clique tree forests (SLCTF), with clique sizes bounded by a user-specified value. In the incremental build stage of this approach, CTFs are constructed incrementally by adding variables to the CTFs as long as clique sizes are within the specified bound. Once the clique size constraint is reached, the CTs in the CTF are calibrated in the infer stage of IBIA. The resulting clique beliefs are used in the approximate phase to get an approximate CTF with reduced clique sizes. The approximate CTF forms the starting point for the next CTF in the sequence. These steps are repeated until all variables are added to a CTF in the sequence. We prove that our algorithm for incremental construction of clique trees always generates a valid CT and our approximation technique preserves the joint beliefs of the variables within a clique. Based on this, we show that the SLCTF data structure can be used for efficient approximate inference of partition function and prior and posterior marginals. More than 500 benchmarks were used to test the method and the results show a significant reduction in error when compared to other approximate methods, with competitive runtimes.


title: The multiphase Muskat problem with general viscosities in two dimensions

abstract: In this paper we study the two-dimensional multiphase Muskat problem describing the motion of three immiscible fluids with general viscosities in a vertical homogeneous porous medium under the influence of gravity. Employing Rellich type identities in the regime where the fluids are ordered according to their viscosities, respectively a Neumann series argument when the fluids are not ordered by viscosity, we may recast the governing equations as a strongly coupled nonlinear and nonlocal evolution problem for the functions that parameterize the sharp interfaces that separate the fluids. This problem is of parabolic type if the Rayleigh-Taylor condition is satisfied at each interface. Based on this property, we then show that the multiphase Muskat problem is well-posed in all $L_2$-subcritical Sobolev spaces and that it features some parabolic smoothing properties.


title: On isosupremic vectorial minimisation problems in $L^\infty$ with general nonlinear constraints

abstract: We study minimisation problems in $L^\infty$ for general quasiconvex first order functionals, where the class of admissible mappings is constrained by the sublevel sets of another supremal functional and by the zero set of a nonlinear operator. Examples of admissible operators include those expressing pointwise, unilateral, integral isoperimetric, elliptic quasilinear differential, jacobian and null Lagrangian constraints. Via the method of $L^p$ approximations as $p\to \infty$, we illustrate the existence of a special $L^\infty$ minimiser which solves a divergence PDE system involving certain auxiliary measures as coefficients. This system can be seen as a divergence form counterpart of the Aronsson PDE system which is associated with the constrained $L^\infty$ variational problem.


title: Parameterized Intractability for Multi-Winner Election under the Chamberlin-Courant Rule and the Monroe Rule

abstract: Answering an open question by Betzler et al. [Betzler et al., JAIR'13], we resolve the parameterized complexity of the multi-winner determination problem under two famous representation voting rules: the Chamberlin-Courant (in short CC) rule [Chamberlin and Courant, APSR'83] and the Monroe rule [Monroe, APSR'95]. We show that under both rules, the problem is W[1]-hard with respect to the sum $\beta$ of misrepresentations, thereby precluding the existence of any $f(\beta) \cdot |I|^{O(1)}$ -time algorithm, where $|I|$ denotes the size of the input instance.


title: Characterization of the effect of plastic gas pipes with the use of a Single Wire Proportional Chamber

abstract: Plastic gas pipes are widely used in experimental setups for gaseous detectors, due to their flexibility and easiness of use. This report describes the characterization studies realized on the use of plastic gas pipes, particularly in relation to the accumulation of impurities in gas systems that they may cause. A laboratory setup has been implemented to evaluate the possible effects caused by plastic pipes, in terms of their specific impact on O2 and H2O accumulation and the consequences on detectors performance. As Single Wire Proportional Chambers are very sensitive to the presence of pollutants and gas mixture variations, this type of detector was chosen to perform the study.


title: A Fair Pricing Model via Adversarial Learning

abstract: At the core of insurance business lies classification between risky and non-risky insureds, actuarial fairness meaning that risky insureds should contribute more and pay a higher premium than non-risky or less-risky ones. Actuaries, therefore, use econometric or machine learning techniques to classify, but the distinction between a fair actuarial classification and "discrimination" is subtle. For this reason, there is a growing interest about fairness and discrimination in the actuarial community Lindholm, Richman, Tsanakas, and Wuthrich (2022). Presumably, non-sensitive characteristics can serve as substitutes or proxies for protected attributes. For example, the color and model of a car, combined with the driver's occupation, may lead to an undesirable gender bias in the prediction of car insurance prices. Surprisingly, we will show that debiasing the predictor alone may be insufficient to maintain adequate accuracy (1). Indeed, the traditional pricing model is currently built in a two-stage structure that considers many potentially biased components such as car or geographic risks. We will show that this traditional structure has significant limitations in achieving fairness. For this reason, we have developed a novel pricing model approach. Recently some approaches have Blier-Wong, Cossette, Lamontagne, and Marceau (2021); Wuthrich and Merz (2021) shown the value of autoencoders in pricing. In this paper, we will show that (2) this can be generalized to multiple pricing factors (geographic, car type), (3) it perfectly adapted for a fairness context (since it allows to debias the set of pricing components): We extend this main idea to a general framework in which a single whole pricing model is trained by generating the geographic and car pricing components needed to predict the pure premium while mitigating the unwanted bias according to the desired metric.


title: First implementation of full-workflow automation in radiotherapy: the All-in-One solution on rectal cancer

abstract: The aim of this work is to describe the technical characteristics of an AI-powered radiotherapy workflow that enables full-process automation (All-in-One), evaluate its performance implemented for on-couch initial treatment of rectal cancer, and provide insight into the behavior of full-workflow automation in the specialty of radiotherapy. The All-in-One workflow was developed based on a CT-integrated linear accelerator. It incorporates routine radiotherapy procedures from simulation, autosegmentation, autoplanning, image guidance, beam delivery, and in vivo quality assurance (QA) into one scheme, with critical decision points involved, while the patient is on the treatment couch during the whole process. For the enrolled ten patients with rectal cancer, minor modifications of the autosegmented target volumes were required, and the Dice similarity coefficient and 95% Hausdorff distance before and after modifications were 0.892{\pm}0.061 and 18.2{\pm}13.0 mm, respectively. The autosegmented normal tissues and automatic plans were clinically acceptable without any modifications or reoptimization. The pretreatment IGRT corrections were within 2 mm in all directions, and the EPID-based in vivo QA showed a {\gamma} passing rate better than 97{\%} (3{\%}/3 mm/10{\%} threshold). The duration of the whole process was 23.2{\pm}3.5 minutes, depending mostly on the time required for manual modification and plan evaluation. The All-in-One workflow enables full automation of the entire radiotherapy process by seamlessly integrating multiple routine procedures. The one-stop solution shortens the time scale it takes to ready the first treatment from days to minutes, significantly improving the patient experience and the efficiency of the workflow, and shows potential to facilitate the clinical application of online adaptive replanning.


title: Theoretical methods for excitonic physics in two-dimensional materials

abstract: In this tutorial we introduce the reader to several theoretical methods of determining the exciton wave functions and the corresponding eigenenergies. The methods covered are either analytical, semi-analytical, or numeric. We make explicit all the details associated with the different methods, thus allowing newcomers to do research on their own, without experiencing a steep learning curve. The tutorial starts with a variational method and ends with a simple semi-analytical approach to solve the Bethe-Salpeter equation in two-dimensional (2D) gapped materials. For the first methods addressed in this tutorial, we focus on a single layer of hexagonal Boron Nitride (hBN) and of transition metal dichalcogenide (TMD), as these are exemplary materials in the field of 2D excitons. For explaining the Bethe- Salpeter method we choose the biased bilayer graphene, which presents a tunnable band gap. The system has the right amount of complexity (without being excessive). This allows the presentation of the solution of the Bethe-Salpeter equation in a context that can be easily generalized to more complex systems or to apply it to simpler models.


title: Three-dimensional imaging of convective cells in the photosphere of Betelgeuse

abstract: Understanding convection in red supergiants and the mechanisms that trigger the mass loss from these evolved stars are the general goals of most observations of Betelgeuse and its inner circumstellar environment. Linear spectropolarimetry of the atomic lines of the spectrum of Betelgeuse reveals information about the three-dimensional (3D) distribution of brightness in its atmosphere. We model the distribution of plasma and its velocities and use inversion algorithms to fit the observed linear polarization. We obtain the first 3D images of the photosphere of Betelgeuse. Within the limits of the used approximations, we recover vertical convective flows and measure the velocity of the rising plasma at different heights in the photosphere. In several cases, we find this velocity to be constant with height, indicating the presence of forces other than gravity acting on the plasma and counteracting it. In some cases, these forces are sufficient to maintain plasma rising at 60\,\kms to heights where this velocity is comparable to the escape velocity. Forces are present in the photosphere of Betelgeuse that allow plasma to reach velocities close to the escape velocity. These mechanisms may suffice to trigger mass loss and sustain the observed large stellar winds of these evolved stars.


title: Strict universes for Grothendieck topoi

abstract: Hofmann and Streicher famously showed how to lift Grothendieck universes into presheaf topoi, and Streicher has extended their result to the case of sheaf topoi by sheafification. In parallel, van den Berg and Moerdijk have shown in the context of algebraic set theory that similar constructions continue to apply even in weaker metatheories. Unfortunately, sheafification seems not to preserve an important realignment property enjoyed by the presheaf universes that plays a critical role in models of univalent type theory as well as synthetic Tait computability, a recent technique to establish syntactic properties of type theories and programming languages. In the context of multiple universes, the realignment property also implies a coherent choice of codes for connectives at each universe level, thereby interpreting the cumulativity laws present in popular formulations of Martin-L\"of type theory. We observe that a slight adjustment to an argument of Shulman constructs a cumulative universe hierarchy satisfying the realignment property at every level in any Grothendieck topos. Hence one has direct-style interpretations of Martin-L\"of type theory with cumulative universes into all Grothendieck topoi. A further implication is to extend the reach of recent synthetic methods in the semantics of cubical type theory and the syntactic metatheory of type theory and programming languages to all Grothendieck topoi.


title: Art of Unlocking

abstract: We describe our recent results concerning the rigidity/unlockability properties of clusters of rigid bodies sliding over the unit sphere.


title: TriggerCit: Early Flood Alerting using Twitter and Geolocation -- a comparison with alternative sources

abstract: Rapid impact assessment in the immediate aftermath of a natural disaster is essential to provide adequate information to international organisations, local authorities, and first responders. Social media can support emergency response with evidence-based content posted by citizens and organisations during ongoing events. In the paper, we propose TriggerCit: an early flood alerting tool with a multilanguage approach focused on timeliness and geolocation. The paper focuses on assessing the reliability of the approach as a triggering system, comparing it with alternative sources for alerts, and evaluating the quality and amount of complementary information gathered. Geolocated visual evidence extracted from Twitter by TriggerCit was analysed in two case studies on floods in Thailand and Nepal in 2021.


title: Learning to Merge Tokens in Vision Transformers

abstract: Transformers are widely applied to solve natural language understanding and computer vision tasks. While scaling up these architectures leads to improved performance, it often comes at the expense of much higher computational costs. In order for large-scale models to remain practical in real-world systems, there is a need for reducing their computational overhead. In this work, we present the PatchMerger, a simple module that reduces the number of patches or tokens the network has to process by merging them between two consecutive intermediate layers. We show that the PatchMerger achieves a significant speedup across various model sizes while matching the original performance both upstream and downstream after fine-tuning.


title: Practical Abstraction for Model Checking of Multi-Agent Systems

abstract: Model checking of multi-agent systems (MAS) is known to be hard, both theoretically and in practice. A smart abstraction of the state space may significantly reduce the model, and facilitate the verification. In this paper, we propose and study an intuitive agent-based abstraction scheme, based on the removal of variables in the representation of a MAS. This allows to do the reduction without generating the global model of the system. Moreover, the process is easy to understand and control even for domain experts with little knowledge of computer science. We formally prove the correctness of the approach, and evaluate the gains experimentally on models of a postal voting procedure.


title: Support singulier et homologie des fibres de Springer affines

abstract: We develop a theory of singular support for various infinite dimensional stacks and establish several functoriality properties. Then we apply this theory to compute the singular support of the Grothendieck-Springer affine Springer sheaf and rely it to the local constancy conjecture of Goresky-Kottwitz-McPherson on the homology of affine Springer fibers along the root valuation stratification.


title: Counterfactual Explanations for Predictive Business Process Monitoring

abstract: Predictive business process monitoring increasingly leverages sophisticated prediction models. Although sophisticated models achieve consistently higher prediction accuracy than simple models, one major drawback is their lack of interpretability, which limits their adoption in practice. We thus see growing interest in explainable predictive business process monitoring, which aims to increase the interpretability of prediction models. Existing solutions focus on giving factual explanations.While factual explanations can be helpful, humans typically do not ask why a particular prediction was made, but rather why it was made instead of another prediction, i.e., humans are interested in counterfactual explanations. While research in explainable AI produced several promising techniques to generate counterfactual explanations, directly applying them to predictive process monitoring may deliver unrealistic explanations, because they ignore the underlying process constraints. We propose LORELEY, a counterfactual explanation technique for predictive process monitoring, which extends LORE, a recent explainable AI technique. We impose control flow constraints to the explanation generation process to ensure realistic counterfactual explanations. Moreover, we extend LORE to enable explaining multi-class classification models. Experimental results using a real, public dataset indicate that LORELEY can approximate the prediction models with an average fidelity of 97.69\% and generate realistic counterfactual explanations.


title: Functional Classification of Bitcoin Addresses

abstract: This paper proposes a classification model for predicting the main activity of bitcoin addresses based on their balances. Since the balances are functions of time, we apply methods from functional data analysis; more specifically, the features of the proposed classification model are the functional principal components of the data. Classifying bitcoin addresses is a relevant problem for two main reasons: to understand the composition of the bitcoin market, and to identify addresses used for illicit activities. Although other bitcoin classifiers have been proposed, they focus primarily on network analysis rather than curve behavior. Our approach, on the other hand, does not require any network information for prediction. Furthermore, functional features have the advantage of being straightforward to build, unlike expert-built features. Results show improvement when combining functional features with scalar features, and similar accuracy for the models using those features separately, which points to the functional model being a good alternative when domain-specific knowledge is not available.


title: Point Containment Queries on Ray Tracing Cores for AMR Flow Visualization

abstract: Modern GPUs come with dedicated hardware to perform ray/triangle intersections and bounding volume hierarchy (BVH) traversal. While the primary use case for this hardware is photorealistic 3D computer graphics, with careful algorithm design scientists can also use this special-purpose hardware to accelerate general-purpose computations such as point containment queries. This article explains the principles behind these techniques and their application to vector field visualization of large simulation data using particle tracing.