title: Holographic stability for non-$q\bar{q}$ candidates

abstract: In the context of bottom-up AdS/QCD models, we discuss how the configurational entropy can describe heavy non-$q\,\bar{q}$ states. Using the non-quadratic softwall model, introduced to describe non-linear Regge trajectories, we parametrize different multiquark and exotic meson structures to describe $Z_c$, $\psi$, and $Z_b$ states as non-$q\,\bar{q}$ hadrons in terms of stability. We found that $Z_c$ is better described as a hybrid meson with one gluon tube, $\psi$ as hadrocharmonium, and $Z_b$ as hadronic molecule.


title: Well-posedness and averaging principle for L\'evy-type McKean-Vlasov stochastic differential equations under local Lipschitz conditions

abstract: In this paper, we investigate a class of McKean-Vlasov stochastic differential equations under L\'evy-type perturbations. We first establish the existence and uniqueness theorem for solutions of the McKean-Vlasov stochastic differential equations by utilizing the Euler-like approximation. Then under some suitable conditions, we show that the solutions of McKean-Vlasov stochastic differential equations can be approximated by the solutions of the associated averaged McKean-Vlasov stochastic differential equations in the sense of mean square convergence. In contrast to the existing work, a novel feature is the use of a much weaker condition -- local Lipschitzian in the state variables, allowing for possibly super-linearly growing drift, but linearly growing diffusion and jump coefficients. Therefore, our results are suitable for a wider class of McKean-Vlasov stochastic differential equations.


title: Revised Constraints on the fast radio burst population from the first CHIME/FRB catalog

abstract: In this paper, we investigate the FRB population using the first CHIME/FRB catalog. We first reconstruct the extragalactic dispersion measure -- redshift relation ($\mathrm{DM_E} - z$ relation) from well-localized FRBs, then use it to infer redshift and isotropic energy of the first CHIME/FRB catalog. The intrinsic energy distribution is modeled by the power law with an exponential cutoff, and the selection effect of the CHIME telescope is modeled by a two-parametric function of specific fluence. For the intrinsic redshift distribution, the star formation history (SFH) model, as well as other five SFH-related models are considered. We construct the joint likelihood of fluence, energy and redshift, and all the free parameters are constrained simultaneously using Bayesian inference method. The Bayesian information criterion (BIC) is used to choose the model that best matches the observational data. For comparison, we fit our models with two data samples, i.e. the Full sample and the Gold sample. The power-law index and cutoff energy are tightly constrained to be $1.8 \lesssim \alpha \lesssim 1.9$ and $\mathrm{log}(E_c/{\rm erg}) \approx 42$, which are almost independent of the redshift distribution model and the data sample we choose. The parameters involving the selection effect strongly depends on the data sample, but are insensitive to the redshift distribution model. According to BIC, the pure SFH model is strongly disfavored by both the Full sample and Gold sample. For the rest five SFH-related redshift distribution models, most of them can match the data well if the parameters are properly chosen. Therefore, with the present data, it is still premature to draw a conclusive conclusion on the FRB population.


title: DECODE: Data-driven Energy Consumption Prediction leveraging Historical Data and Environmental Factors in Buildings

abstract: Energy prediction in buildings plays a crucial role in effective energy management. Precise predictions are essential for achieving optimal energy consumption and distribution within the grid. This paper introduces a Long Short-Term Memory (LSTM) model designed to forecast building energy consumption using historical energy data, occupancy patterns, and weather conditions. The LSTM model provides accurate short, medium, and long-term energy predictions for residential and commercial buildings compared to existing prediction models. We compare our LSTM model with established prediction methods, including linear regression, decision trees, and random forest. Encouragingly, the proposed LSTM model emerges as the superior performer across all metrics. It demonstrates exceptional prediction accuracy, boasting the highest R2 score of 0.97 and the most favorable mean absolute error (MAE) of 0.007. An additional advantage of our developed model is its capacity to achieve efficient energy consumption forecasts even when trained on a limited dataset. We address concerns about overfitting (variance) and underfitting (bias) through rigorous training and evaluation on real-world data. In summary, our research contributes to energy prediction by offering a robust LSTM model that outperforms alternative methods and operates with remarkable efficiency, generalizability, and reliability.


title: Atomistic insights into ultrafast SiGe nanoprocessing

abstract: Controlling ultrafast material transformations with atomic precision is essential for future nanotechnology. Pulsed laser annealing (LA), inducing extremely rapid and localized phase transitions, is a powerful way to achieve this, but it requires careful optimization together with the appropriate system design. We present a multiscale LA computational framework able to simulate atom-by-atom the highly out-of-equilibrium kinetics of a material as it interacts with the laser, including effects of structural disorder. By seamlessly coupling a macroscale continuum solver to a nanoscale super-lattice Kinetic Monte Carlo code, this method overcomes the limits of state-of-the-art continuum-based tools. We exploit it to investigate nontrivial changes in composition, morphology and quality of laser-annealed SiGe alloys. Validations against experiments and phase-field simulations, as well as advanced applications to strained, defected, nanostructured and confined SiGe are presented, highlighting the importance of a multiscale atomistic-continuum approach. Current applicability and potential generalization routes are finally discussed.

categories: physics.comp-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph


title: Solutions to the Balitsky-Kovchegov equation including the dipole orientation

abstract: Solutions of the target-rapidity Balitsky-Kovchegov (BK) equation are studied considering, for the first time, the complete impact-parameter dependence, including the orientation of the dipole with respect to the impact-parameter vector. In our previous work, it has been demonstrated that the spurious Coulomb tails could be tamed using the collinearly-improved kernel and an appropriate initial condition in the projectile-rapidity BK equation. Introducing a different interpretation of the evolution variable, the target-rapidity formulation of the BK equation brings non-locality in rapidity and a kernel modification, removing the term that previously helped to suppress the Coulomb tails. To address this newly emerged non-locality, three different prescriptions are explored here to take into account the rapidities preceding the initial condition. Two of these approaches induce mild Coulomb tails, while the other is free from this effect within the studied rapidity range. The range is chosen to correspond to that of interest for existing and future experiments. To demonstrate that this set up can be used for phenomenological studies, the obtained solutions are used to compute the F2 structure function of the proton and the diffractive photo- and electro-production of J/{\psi} off protons. The predictions agree well with HERA data, confirming that the target-rapidity Balitsky-Kovchegov equation with the full impact-parameter dependence is a viable tool to study the small Bjorken-x limit of perturbative QCD at current facilities like RHIC and LHC as well as in future colliders like the EIC.


title: A Multimodal Learning Framework for Comprehensive 3D Mineral Prospectivity Modeling with Jointly Learned Structure-Fluid Relationships

abstract: This study presents a novel multimodal fusion model for three-dimensional mineral prospectivity mapping (3D MPM), effectively integrating structural and fluid information through a deep network architecture. Leveraging Convolutional Neural Networks (CNN) and Multilayer Perceptrons (MLP), the model employs canonical correlation analysis (CCA) to align and fuse multimodal features. Rigorous evaluation on the Jiaojia gold deposit dataset demonstrates the model's superior performance in distinguishing ore-bearing instances and predicting mineral prospectivity, outperforming other models in result analyses. Ablation studies further reveal the benefits of joint feature utilization and CCA incorporation. This research not only advances mineral prospectivity modeling but also highlights the pivotal role of data integration and feature alignment for enhanced exploration decision-making.


title: On the Challenges of Building Datasets for Hate Speech Detection

abstract: Detection of hate speech has been formulated as a standalone application of NLP and different approaches have been adopted for identifying the target groups, obtaining raw data, defining the labeling process, choosing the detection algorithm, and evaluating the performance in the desired setting. However, unlike other downstream tasks, hate speech suffers from the lack of large-sized, carefully curated, generalizable datasets owing to the highly subjective nature of the task. In this paper, we first analyze the issues surrounding hate speech detection through a data-centric lens. We then outline a holistic framework to encapsulate the data creation pipeline across seven broad dimensions by taking the specific example of hate speech towards sexual minorities. We posit that practitioners would benefit from following this framework as a form of best practice when creating hate speech datasets in the future.


title: Ensemble DNN for Age-of-Information Minimization in UAV-assisted Networks

abstract: This paper addresses the problem of Age-of-Information (AoI) in UAV-assisted networks. Our objective is to minimize the expected AoI across devices by optimizing UAVs' stopping locations and device selection probabilities. To tackle this problem, we first derive a closed-form expression of the expected AoI that involves the probabilities of selection of devices. Then, we formulate the problem as a non-convex minimization subject to quality of service constraints. Since the problem is challenging to solve, we propose an Ensemble Deep Neural Network (EDNN) based approach which takes advantage of the dual formulation of the studied problem. Specifically, the Deep Neural Networks (DNNs) in the ensemble are trained in an unsupervised manner using the Lagrangian function of the studied problem. Our experiments show that the proposed EDNN method outperforms traditional DNNs in reducing the expected AoI, achieving a remarkable reduction of $29.5\%$.


title: Leave no Place Behind: Improved Geolocation in Humanitarian Documents

abstract: Geographical location is a crucial element of humanitarian response, outlining vulnerable populations, ongoing events, and available resources. Latest developments in Natural Language Processing may help in extracting vital information from the deluge of reports and documents produced by the humanitarian sector. However, the performance and biases of existing state-of-the-art information extraction tools are unknown. In this work, we develop annotated resources to fine-tune the popular Named Entity Recognition (NER) tools Spacy and roBERTa to perform geotagging of humanitarian texts. We then propose a geocoding method FeatureRank which links the candidate locations to the GeoNames database. We find that not only does the humanitarian-domain data improves the performance of the classifiers (up to F1 = 0.92), but it also alleviates some of the bias of the existing tools, which erroneously favor locations in the Western countries. Thus, we conclude that more resources from non-Western documents are necessary to ensure that off-the-shelf NER systems are suitable for the deployment in the humanitarian sector.


title: Persona-aware Generative Model for Code-mixed Language

abstract: Code-mixing and script-mixing are prevalent across online social networks and multilingual societies. However, a user's preference toward code-mixing depends on the socioeconomic status, demographics of the user, and the local context, which existing generative models mostly ignore while generating code-mixed texts. In this work, we make a pioneering attempt to develop a persona-aware generative model to generate texts resembling real-life code-mixed texts of individuals. We propose a Persona-aware Generative Model for Code-mixed Generation, PARADOX, a novel Transformer-based encoder-decoder model that encodes an utterance conditioned on a user's persona and generates code-mixed texts without monolingual reference data. We propose an alignment module that re-calibrates the generated sequence to resemble real-life code-mixed texts. PARADOX generates code-mixed texts that are semantically more meaningful and linguistically more valid. To evaluate the personification capabilities of PARADOX, we propose four new metrics -- CM BLEU, CM Rouge-1, CM Rouge-L and CM KS. On average, PARADOX achieves 1.6 points better CM BLEU, 47% better perplexity and 32% better semantic coherence than the non-persona-based counterparts.


title: Creation and dynamics of spin fluctuations in a noisy magnetic field

abstract: We theoretically and numerically investigate the spin fluctuations induced in a thermal atomic ensemble by an external fluctuating uniaxial magnetic field, in the context of a standard spin noise spectroscopy (SNS) experiment. We show that additional spin noise is excited, which dramatically depends on the magnetic noise variance and bandwidth, as well as on the power of the probe light and its polarization direction. We develop an analytical perturbative model proving that this spin noise first emerges from the residual optical pumping in the medium, which is then converted into spin fluctuations by the magnetic noise and eventually detected using SNS. The system studied is a spin-1 system, which thus shows both Faraday rotation and ellipticity noises induced by the random magnetic fluctuations. The analytical model gives results in perfect agreement with the numerical simulations, with potential applications in future experimental characterization of stray field properties and their influence on spin dynamics.


title: GroupEnc: encoder with group loss for global structure preservation

abstract: Recent advances in dimensionality reduction have achieved more accurate lower-dimensional embeddings of high-dimensional data. In addition to visualisation purposes, these embeddings can be used for downstream processing, including batch effect normalisation, clustering, community detection or trajectory inference. We use the notion of structure preservation at both local and global levels to create a deep learning model, based on a variational autoencoder (VAE) and the stochastic quartet loss from the SQuadMDS algorithm. Our encoder model, called GroupEnc, uses a 'group loss' function to create embeddings with less global structure distortion than VAEs do, while keeping the model parametric and the architecture flexible. We validate our approach using publicly available biological single-cell transcriptomic datasets, employing RNX curves for evaluation.


title: Topological spin texture and d-vector rotation in spin-triplet superconductors: A case of UTe2

abstract: A novel spin texture formed by Cooper pair spins is found theoretically with a phase string attached by half-quantized vortices at both ends in a unit cell and characterized by its topologically rich vortex structure in a spin-triplet pairing. It is stable at an intermediate field region sandwiched by two conventional singular vortex phases below and above it. The d-vector direction of this spin texture is tilted from the principal crystal axes, whose spin susceptibility is neither the normal Pauli one \c{hi}N nor zero, describing microscopically the process of the d-vector rotation phenomena observed recently in UTe2. We compare the spin texture and singular vortex state in relation to the quasi-particle structure with Majorana zero modes for STM, the nuclear spin resonance spectral line width for NMR and {\mu}SR, and the vortex form factors for SANS to facilitate the identification of the pairing symmetry in UTe2.


title: Extended Emission of Cosmic Gamma-Ray Bursts Detected in the SPI-ACS/INTEGRAL Experiment

abstract: We have carried out a systematic analysis of the gamma-ray bursts' (GRBs) light curves detected in the SPI-ACS experiment onboard the INTEGRAL observatory aimed to search extended emission. The emission occasionally recorded after the prompt active phase of a GRB in the form of an emission that is longer than the active phase and less intense is called the extended one. Out of the 739 brightest GRBs recorded from 2002 to 2017, extended emission has been detected in $\sim20\%$ of the individual light curves; its maximum duration reaches $\sim 10000$ s. Two different types of extended emission have been revealed. One of them is an additional component of the light curve and is described by a power law (PL) with an index $\alpha \sim -1$ close to the PL index of the afterglow in the optical and X-ray bands. The second type can be described by a steeper PL decay of the light curve typical of the active burst phase. Extended emission has also been found in the combined light curve of long GRBs in the individual curves of which no extended emission has been detected. The PL index of the extended emission in the combined light curve is $\alpha \sim -2.4$. It is most likely associated with the superposition of light curves at the active phase; its total duration is $\sim 800$ s.


title: Determining the Baryon Impact on the Matter Power Spectrum with Galaxy Clusters

abstract: The redistribution of baryonic matter in massive halos through processes like active galactic nuclei feedback and star formation leads to a suppression of the matter power spectrum on small scales. This redistribution can be measured empirically via the gas and stellar mass fractions in galaxy clusters, and leaves imprints on their electron density profiles. We constrain two semi-analytical baryon correction models with a compilation of recent Bayesian population studies of galaxy groups and clusters sampling a mass range above $\sim 3 \times 10^{13}$ $M_\odot$, and with cluster gas density profiles derived from deep, high-resolution X-ray observations. We are able to fit all the considered observational data, but highlight some anomalies in the observations. The constraints allow us to place precise, physically informed priors on the matter power spectrum suppression. At a scale of $k=1 h$ Mpc$^{-1}$ we find a suppression of $0.042^{+0.012}_{-0.014}$ ($0.049^{+0.016}_{-0.012}$), while at $k=3h$ Mpc$^{-1}$ we find $0.184^{+0.026}_{-0.031}$ ($0.179^{+0.018}_{-0.020}$), depending on the model used. In our fiducial setting, we also predict at 97.5 percent credibility, that at scales $k<0.37h$ Mpc$^{-1}$ baryon feedback impacts the matter power less than $1\%$. This puts into question if baryon feedback is the driving factor for the discrepancy between cosmic shear and primary CMB results. We independently confirm results on this suppression from small-scale cosmic shear studies, while we exclude some hydro-dynamical simulations with too strong and too weak baryonic feedback. Our empirical prediction of the power spectrum suppression shows that studies of galaxy groups and clusters will be instrumental in unlocking the cosmological constraining power of future cosmic shear experiments like \textit{Euclid} and Rubin-LSST, and invites further investigation of the baryon correction models.


title: Linking Integrals on Rank-1-Symmetric Spaces

abstract: In symmetric spaces of rank one we obtain a right inverse of the Cartan differential on exact differential forms as an integral operator. As a corollary we extend Gauss linking integral beyond space forms.


title: Effect of Backing on Neutron Spectra for Low Energy Quasi-Mono-energetic p+$^7$Li Reaction

abstract: $\underline{\textbf{MO}}$nte-carlo $\underline{\textbf{N}}$ucleon transport $\underline{\textbf{C}}$ode (MONC) for nucleon transport is extended for below 20MeV proton transport using ENDF and EXFOR data base. It is used to simulate p+$^7$Li reaction upto 20MeV proton energies and produced neutron spectra are reported here. The simulated results are compared with calculated values from other available codes like PINO, EPEN, SimLiT and experimental data. The spectra reported here can be used to get the neutron cross-section for the quasi-mono-energetic neutron reaction and will help to subtract the low energy contribution. The neutron spectra also useful as this reaction is used for accelerator based Boron Neutron Capture Therapy. The backing materials are used to fully stop the proton beam hence contribution from the neutrons from backing materials is estimated. It is found that Tantalum is good backing material below $\sim$8 MeV and Carbon is better at higher energies.


title: Patched Line Segment Learning for Vector Road Mapping

abstract: This paper presents a novel approach to computing vector road maps from satellite remotely sensed images, building upon a well-defined Patched Line Segment (PaLiS) representation for road graphs that holds geometric significance. Unlike prevailing methods that derive road vector representations from satellite images using binary masks or keypoints, our method employs line segments. These segments not only convey road locations but also capture their orientations, making them a robust choice for representation. More precisely, given an input image, we divide it into non-overlapping patches and predict a suitable line segment within each patch. This strategy enables us to capture spatial and structural cues from these patch-based line segments, simplifying the process of constructing the road network graph without the necessity of additional neural networks for connectivity. In our experiments, we demonstrate how an effective representation of a road graph significantly enhances the performance of vector road mapping on established benchmarks, without requiring extensive modifications to the neural network architecture. Furthermore, our method achieves state-of-the-art performance with just 6 GPU hours of training, leading to a substantial 32-fold reduction in training costs in terms of GPU hours.


title: On computing the jump condition of the dissipation rate in the two-equation turbulence models for two-phase flow and application to air-water waves

abstract: Traditional turbulence models are derived for single-phase flow. Extension of the family of two-equation turbulence models for two-phase flow is obtained via scaling the transport equations by the density. In the special case of two-phase flow with a sharp interface, jump conditions exist. Two types of jump conditions are found: (1) jump in the partial differential equation (PDE) physical quantities such as density and viscosity and (2) jump in the turbulence frequency. We first derive and clarify the jump in the equations. The jump in the turbulence frequency is proportional to the kinematic viscosity ratio, which is approximately $10$ in the case of air-water. Then a new field, the inverse turbulence area, is considered to model the turbulence effects instead of the turbulence frequency. For the system of air and water, the effect of the jump of the kinematic viscosity is always greater than the effect arising from the jump of velocity gradient. This approximation leads to the assumption of a continuous inverse turbulence area scale. Validation versus experimental measurements from the literature is then presented to demonstrate the improvement of the model. In particular, the wave breaking phenomenon is simulated in two conditions: spilling and plunging wave breakers. The proposed model shows its ability to predict the turbulence in the surf zone accurately. Finally, it explains the low values of the time-averaged turbulent kinetic energy in the surf zone which is caused by the increase of the turbulence frequency in the air.


title: Collisionless shock region of the KdV equation and an entry in Gradshteyn and Ryzhik

abstract: The long-time behavior of solutions to the initial value problem for the Korteweg-de Vries equation on the whole line, with general initial conditions has been described uniformly using five different asymptotic forms. Four of these asymptotic forms were expected: the quiescent behavior (for |x| very large), a soliton region (in which the solution behaves as a collection of isolated solitary waves), a self-similar region (in which the solution is described via a Painlev\'e transcendent), and a similarity region (where the solution behaves as a simple trigonometric function of the quantities t and x/t). A fifth asymptotic form, lying between the self-similar (Painlev\'e) and the similarity one, has been described in terms of classical elliptic functions. An integral of elliptic type, giving an explicit representation of the phase, has appeared in this context. The same integral has appeared in the table of integrals by Gradshteyn and Ryzhik. Our goal here is to confirm the validity of this entry.


title: Demystifying RCE Vulnerabilities in LLM-Integrated Apps

abstract: In recent years, Large Language Models (LLMs) have demonstrated remarkable potential across various downstream tasks. LLM-integrated frameworks, which serve as the essential infrastructure, have given rise to many LLM-integrated web apps. However, some of these frameworks suffer from Remote Code Execution (RCE) vulnerabilities, allowing attackers to execute arbitrary code on apps' servers remotely via prompt injections. Despite the severity of these vulnerabilities, no existing work has been conducted for a systematic investigation of them. This leaves a great challenge on how to detect vulnerabilities in frameworks as well as LLM-integrated apps in real-world scenarios. To fill this gap, we present two novel strategies, including 1) a static analysis-based tool called LLMSmith to scan the source code of the framework to detect potential RCE vulnerabilities and 2) a prompt-based automated testing approach to verify the vulnerability in LLM-integrated web apps. We discovered 13 vulnerabilities in 6 frameworks, including 12 RCE vulnerabilities and 1 arbitrary file read/write vulnerability. 11 of them are confirmed by the framework developers, resulting in the assignment of 7 CVE IDs. After testing 51 apps, we found vulnerabilities in 17 apps, 16 of which are vulnerable to RCE and 1 to SQL injection. We responsibly reported all 17 issues to the corresponding developers and received acknowledgments. Furthermore, we amplify the attack impact beyond achieving RCE by allowing attackers to exploit other app users (e.g. app responses hijacking, user API key leakage) without direct interaction between the attacker and the victim. Lastly, we propose some mitigating strategies for improving the security awareness of both framework and app developers, helping them to mitigate these risks effectively.


title: Wetting on a wall and wetting in a well: Overview of equilibrium properties

abstract: We study the wetting model, which considers a random walk constrained to remain above a hard wall, but with additional pinning potential for each contact with the wall. This model is known to exhibit a wetting phase transition, from a localized phase (with trajectories pinned to the wall) to a delocalized phase (with unpinned trajectories). As a preamble, we take the opportunity to present an overview of the model, collecting and complementing well-known and other folklore results. Then, we investigate a version with elevated boundary conditions, which has been studied in various contexts both in the physics and the mathematics literature; it can alternatively be seen as a wetting model in a square well. We complement here existing results, focusing on the equilibrium properties of the model, for a general underlying random walk (in the domain of attraction of a stable law). First, we compute the free energy and give some properties of the phase diagram; interestingly, we find that, in addition to the wetting transition, a so-called saturation phase transition may occur. Then, in the so-called Cram\'er's region, we find an exact asymptotic equivalent of the partition function, together with a (local) central limit theorem for the fluctuations of the left-most and right-most pinned points, jointly with the number of contacts at the bottom of the well.


title: Equivalence of Sobolev norms in Lebesgue spaces for Hardy operators in a half-space

abstract: We consider Hardy operators, i.e., homogeneous Schr\"odinger operators consisting of the ordinary or fractional Laplacian in a half-space plus a potential, which only depends on the appropriate power of the distance to the boundary of the half-space. We compare the scales of homogeneous $L^p$-Sobolev spaces generated by these Hardy operators with and without potential with each other. To that end, we prove and use new square function estimates for operators with slowly decaying heat kernels. Our results hold for all admissible coupling constants in the local case and for repulsive potentials in the fractional case, and extend those obtained recently in $L^2$. They also cover attractive potentials in the fractional case, once expected heat kernel estimates are available.


title: Reinforcement Learning Based Gasoline Blending Optimization: Achieving More Efficient Nonlinear Online Blending of Fuels

abstract: The online optimization of gasoline blending benefits refinery economies. However, the nonlinear blending mechanism, the oil property fluctuations, and the blending model mismatch bring difficulties to the optimization. To solve the above issues, this paper proposes a novel online optimization method based on deep reinforcement learning algorithm (DRL). The Markov decision process (MDP) expression are given considering a practical gasoline blending system. Then, the environment simulator of gasoline blending process is established based on the MDP expression and the one-year measurement data of a real-world refinery. The soft actor-critic (SAC) DRL algorithm is applied to improve the DRL agent policy by using the data obtained from the interaction between DRL agent and environment simulator. Compared with a traditional method, the proposed method has better economic performance. Meanwhile, it is more robust under property fluctuations and component oil switching. Furthermore, the proposed method maintains performance by automatically adapting to system drift.


title: FaultSSL: Seismic Fault Detection via Semi-supervised learning

abstract: The prevailing methodology in data-driven fault detection leverages synthetic data for training neural networks. However, it grapples with challenges when it comes to generalization in surveys exhibiting complex structures. To enhance the generalization of models trained on limited synthetic datasets to a broader range of real-world data, we introduce FaultSSL, a semi-supervised fault detection framework. This method is based on the classical mean teacher structure, with its supervised part employs synthetic data and a few 2D labels. The unsupervised component relying on two meticulously devised proxy tasks, allowing it to incorporate vast unlabeled field data into the training process. The two proxy tasks are PaNning Consistency (PNC) and PaTching Consistency (PTC). PNC emphasizes the feature consistency of the overlapping regions between two adjacent views in predicting the model. This allows for the extension of 2D slice labels to the global seismic volume. PTC emphasizes the spatially consistent nature of faults. It ensures that the predictions for the seismic, whether made on the entire volume or on individual patches, exhibit coherence without any noticeable artifacts at the patch boundaries. While the two proxy tasks serve different objectives, they uniformly contribute to the enhancement of performance. Experiments showcase the exceptional performance of FaultSSL. In surveys where other mainstream methods fail to deliver, we present reliable, continuous, and clear detection results. FaultSSL breaks the shackles of synthetic data, unveiling a promising route for incorporating copious amounts of field data into training and fostering model generalization across a broader spectrum of surveys.


title: Impact of dark energy on the equation of state in light of the latest cosmological data

abstract: We reconstruct the effective Equation of State (EoS) within the framework of General Relativity (GR) theory in a homogeneous and isotropic FLRW Universe, which is assumed to be composed of matter and Dark Energy (DE). Our analysis employs a dataset consisting of 31 Cosmic Chronometer (CC) data points, six data points of Baryon Acoustic Oscillations (BAO), and 1048 Type Ia Supernovae (SN) from the Pantheon sample, and we determine the best-fit values of the model parameters through Markov Chain Monte Carlo (MCMC) simulation. We then use these parameter values to calculate various cosmological parameters, such as the DE EoS parameter, the energy density, the deceleration parameter, the state finder parameters, and the $Om(z)$ diagnostic. All the analyzed cosmological parameters show behavior consistent with the accelerated Universe scenario.


title: Separable elements and splittings in Weyl groups of Type $B$

abstract: Separable elements in Weyl groups are generalizations of the well-known class of separable permutations in symmetric groups. Gaetz and Gao showed that for any pair $(X,Y)$ of subsets of the symmetric group $\mathfrak{S}_n$, the multiplication map $X\times Y\rightarrow \mathfrak{S}_n$ is a splitting (i.e., a length-additive bijection) of $\mathfrak{S}_n$ if and only if $X$ is the generalized quotient of $Y$ and $Y$ is a principal lower order ideal in the right weak order generated by a separable element. They conjectured this result can be extended to all finite Weyl groups. In this paper, we classify all separable and minimal non-separable signed permutations in terms of forbidden patterns and confirm the conjecture of Gaetz and Gao for Weyl groups of type $B$.


title: How I got to like graph polynomials

abstract: For Boris Zilber on his 75th birthday. I trace the roots of my collaboration with Boris Zilber, which combines categoricity theory, finite model theory, algorithmics, and combinatorics.


title: Universal convexity and range problems of shifted hypergeometric functions

abstract: In the present paper, we study the shifted hypergeometric function $f(z)=z\Gauss(a,b;c;z)$ for real parameters with $0<a\le b\le c$ and its variant $g(z)=z\Gauss(a,b;c;z^2).$ Our first purpose is to solve the range problems for $f$ and $g$ posed by Ponnusamy and Vuorinen in their 2001 paper. Ruscheweyh, Salinas and Sugawa developed in their 2009 paper the theory of universal prestarlike functions on the slit domain $\C\setminus[1,+\infty)$ and showed universal starlikeness of $f$ under some assumptions on the parameters. However, there has been no systematic study of universal convexity of the shifted hypergeometric functions except for the case $b=1.$ Our second purpose is to show universal convexity of $f$ under certain conditions on the parameters.


title: Estimating irregular water demands with physics-informed machine learning to inform leakage detection

abstract: Leakages in drinking water distribution networks pose significant challenges to water utilities, leading to infrastructure failure, operational disruptions, environmental hazards, property damage, and economic losses. The timely identification and accurate localisation of such leakages is paramount for utilities to mitigate these unwanted effects. However, implementation of algorithms for leakage detection is limited in practice by requirements of either hydraulic models or large amounts of training data. Physics-informed machine learning can utilise hydraulic information thereby circumventing both limitations. In this work, we present a physics-informed machine learning algorithm that analyses pressure data and therefrom estimates unknown irregular water demands via a fully connected neural network, ultimately leveraging the Bernoulli equation and effectively linearising the leakage detection problem. Our algorithm is tested on data from the L-Town benchmark network, and results indicate a good capability for estimating most irregular demands, with R2 larger than 0.8. Identification results for leakages under the presence of irregular demands could be improved by a factor of 5.3 for abrupt leaks and a factor of 3.0 for incipient leaks when compared the results disregarding irregular demands.


title: EdgeFL: A Lightweight Decentralized Federated Learning Framework

abstract: Federated Learning (FL) has emerged as a promising approach for collaborative machine learning, addressing data privacy concerns. However, existing FL platforms and frameworks often present challenges for software engineers in terms of complexity, limited customization options, and scalability limitations. In this paper, we introduce EdgeFL, an edge-only lightweight decentralized FL framework, designed to overcome the limitations of centralized aggregation and scalability in FL deployments. By adopting an edge-only model training and aggregation approach, EdgeFL eliminates the need for a central server, enabling seamless scalability across diverse use cases. With a straightforward integration process requiring just four lines of code (LOC), software engineers can easily incorporate FL functionalities into their AI products. Furthermore, EdgeFL offers the flexibility to customize aggregation functions, empowering engineers to adapt them to specific needs. Based on the results, we demonstrate that EdgeFL achieves superior performance compared to existing FL platforms/frameworks. Our results show that EdgeFL reduces weights update latency and enables faster model evolution, enhancing the efficiency of edge devices. Moreover, EdgeFL exhibits improved classification accuracy compared to traditional centralized FL approaches. By leveraging EdgeFL, software engineers can harness the benefits of federated learning while overcoming the challenges associated with existing FL platforms/frameworks.


title: Resilient source seeking with robot swarms

abstract: We present a solution for locating the source, or maximum, of an unknown scalar field using a swarm of mobile robots. Unlike relying on the traditional gradient information, the swarm determines an ascending direction to approach the source with arbitrary precision. The ascending direction is calculated from measurements of the field strength at the robot locations and their relative positions concerning the centroid. Rather than focusing on individual robots, we focus the analysis on the density of robots per unit area to guarantee a more resilient swarm, i.e., the functionality remains even if individuals go missing or are misplaced during the mission. We reinforce the robustness of the algorithm by providing sufficient conditions for the swarm shape so that the ascending direction is almost parallel to the gradient. The swarm can respond to an unexpected environment by morphing its shape and exploiting the existence of multiple ascending directions. Finally, we validate our approach numerically with hundreds of robots. The fact that a large number of robots always calculate an ascending direction compensates for the loss of individuals and mitigates issues arising from the actuator and sensor noises.


title: MCMC Sampling of Directed Flag Complexes with Fixed Undirected Graphs

abstract: Constructing null models to test the significance of extracted information is a crucial step in data analysis. In this work, we provide a uniformly sampleable null model of directed graphs with the same (or similar) number of simplices in the flag complex, with the restriction of retaining the underlying undirected graph. We describe an MCMC-based algorithm to sample from this null model and statistically investigate the mixing behaviour. This is paired with a high-performance, Rust-based, publicly available implementation. The motivation comes from topological data analysis of connectomes in neuroscience. In particular, we answer the fundamental question: are the high Betti numbers observed in the investigated graphs evidence of an interesting topology, or are they merely a byproduct of the high numbers of simplices? Indeed, by applying our new tool on the connectome of C. Elegans and parts of the statistical reconstructions of the Blue Brain Project, we find that the Betti numbers observed are considerable statistical outliers with respect to this new null model. We thus, for the first time, statistically confirm that topological data analysis in microscale connectome research is extracting statistically meaningful information.


title: Risk-Aware Navigation for Mobile Robots in Unknown 3D Environments

abstract: Autonomous navigation in unknown 3D environments is a key issue for intelligent transportation, while still being an open problem. Conventionally, navigation risk has been focused on mitigating collisions with obstacles, neglecting the varying degrees of harm that collisions can cause. In this context, we propose a new risk-aware navigation framework, whose purpose is to directly handle interactions with the environment, including those involving minor collisions. We introduce a physically interpretable risk function that quantifies the maximum potential energy that the robot wheels absorb as a result of a collision. By considering this physical risk in navigation, our approach significantly broadens the spectrum of situations that the robot can undertake, such as speed bumps or small road curbs. Using this framework, we are able to plan safe trajectories that not only ensure safety but also actively address the risks arising from interactions with the environment.


title: When Energy Goes Missing: New Physics in $b\to s\nu\nu$ with Sterile Neutrinos

abstract: Belle II recently reported the first measurement of $B^+\to K^++\mathrm{inv}$, which is $2.8\sigma$ above the Standard Model prediction. We explore the available parameter space of new physics within Standard Model effective field theory extended by sterile neutrinos ($\nu$SMEFT) and provide predictions for the other $B\to K^{(\star)}+\mathrm{inv}$ decay modes and invisible $B_s$ decays. We also briefly comment on charged current decays $B\to D^{(\star)}\ell\bar\nu$ and possible ultraviolet completions of the relevant $\nu$SMEFT operators.


title: Weyl operators, Tomita-Takesaki theory, and Bell-Clauser-Horne-Shimony-Holt inequality violations

abstract: The violation of the Bell-CHSH inequality in the vacuum state of a relativistic free real scalar field is established by means of the Tomita-Takesaki construction and of the direct computation of the correlation functions of Weyl operators.


title: Feeding the Coffee Habit: A Longitudinal Study of a Robo-Barista

abstract: Studying Human-Robot Interaction over time can provide insights into what really happens when a robot becomes part of people's everyday lives. "In the Wild" studies inform the design of social robots, such as for the service industry, to enable them to remain engaging and useful beyond the novelty effect and initial adoption. This paper presents an "In the Wild" experiment where we explored the evolution of interaction between users and a Robo-Barista. We show that perceived trust and prior attitudes are both important factors associated with the usefulness, adaptability and likeability of the Robo-Barista. A combination of interaction features and user attributes are used to predict user satisfaction. Qualitative insights illuminated users' Robo-Barista experience and contribute to a number of lessons learned for future long-term studies.


title: Drag-reduction strategies in wall-bounded turbulent flows using deep reinforcement learning

abstract: In this work we compare different drag-reduction strategies that compute their actuation based on the fluctuations at a given wall-normal location in turbulent open channel flow. In order to perform this study, we implement and describe in detail the reinforcement-learning interface to a computationally-efficient, parallelized, high-fidelity solver for fluid-flow simulations. We consider opposition control (Choi, Moin, and Kim, Journal of Fluid Mechanics 262, 1994) and the policies learnt using deep reinforcement learning (DRL) based on the state of the flow at two inner-scaled locations ($y^+ = 10$ and $y^+ = 15$). By using deep deterministic policy gradient (DDPG) algorithm, we are able to discover control strategies that outperform existing control methods. This represents a first step in the exploration of the capability of DRL algorithm to discover effective drag-reduction policies using information from different locations in the flow.


title: The Curse of Memory in Stochastic Approximation: Extended Version

abstract: Theory and application of stochastic approximation (SA) has grown within the control systems community since the earliest days of adaptive control. This paper takes a new look at the topic, motivated by recent results establishing remarkable performance of SA with (sufficiently small) constant step-size $\alpha>0$. If averaging is implemented to obtain the final parameter estimate, then the estimates are asymptotically unbiased with nearly optimal asymptotic covariance. These results have been obtained for random linear SA recursions with i.i.d. coefficients. This paper obtains very different conclusions in the more common case of geometrically ergodic Markovian disturbance: (i) The $\textit{target bias}$ is identified, even in the case of non-linear SA, and is in general non-zero. The remaining results are established for linear SA recursions: (ii) the bivariate parameter-disturbance process is geometrically ergodic in a topological sense; (iii) the representation for bias has a simpler form in this case, and cannot be expected to be zero if there is multiplicative noise; (iv) the asymptotic covariance of the averaged parameters is within $O(\alpha)$ of optimal. The error term is identified, and may be massive if mean dynamics are not well conditioned. The theory is illustrated with application to TD-learning.


title: Designing Situated Dashboards: Challenges and Opportunities

abstract: Situated Visualization is an emerging field that unites several areas - visualization, augmented reality, human-computer interaction, and internet-of-things, to support human data activities within the ubiquitous world. Likewise, dashboards are broadly used to simplify complex data through multiple views. However, dashboards are only adapted for desktop settings, and requires visual strategies to support situatedness. We propose the concept of AR-based situated dashboards and present design considerations and challenges developed over interviews with experts. These challenges aim to propose directions and opportunities for facilitating the effective designing and authoring of situated dashboards.


title: Numerical Construction of initial data sets for inhomogeneous cosmological space-times with spatial topology of $\mathbb{T}^3$

abstract: In this work, we numerically construct initial data sets for cosmological space-times with a spatial topology of $\mathbb{T}^3$, which are generally inhomogeneous. To do so, we implement a pseudo-spectral approach based on the discrete Fourier transform for numerically solving Einstein's constraint equations in an algebraic-hyperbolic form. We explore the advantages and disadvantages of this method by comparing the numerical solutions with known analytical initial data sets. Furthermore, we obtain new families of initial data sets numerically for different configurations of the boundary values of certain geometric variables.


title: MUSIC Algorithm for IRS-Assisted AOA Estimation

abstract: Based on the signals received across its antennas, a multi-antenna base station (BS) can apply the classic multiple signal classification (MUSIC) algorithm for estimating the angle of arrivals (AOAs) of its incident signals. This method can be leveraged to localize the users if their line-of-sight (LOS) paths to the BS are available. In this paper, we consider a more challenging AOA estimation setup in the intelligent reflecting surface (IRS) assisted integrated sensing and communication (ISAC) system, where LOS paths do not exist between the BS and the users, while the users' signals can be transmitted to the BS merely via their LOS paths to the IRS as well as the LOS path from the IRS to the BS. Specifically, we treat the IRS as the anchor and are interested in estimating the AOAs of the incident signals from the users to the IRS. Note that we have to achieve the above goal based on the signals received by the BS, because the passive IRS cannot process its received signals. However, the signals received across different antennas of the BS only contain AOA information of its incident signals via the LOS path from the IRS to the BS. To tackle this challenge arising from the spatial-domain received signals, we propose an innovative approach to create temporal-domain multi-dimension received signals for estimating the AOAs of the paths from the users to the IRS. Specifically, via a proper design of the user message pattern and the IRS reflecting pattern, we manage to show that our designed temporal-domain multi-dimension signals can be surprisingly expressed as a function of the virtual steering vectors of the IRS towards the users. This amazing result implies that the classic MUSIC algorithm can be applied to our designed temporal-domain multi-dimension signals for accurately estimating the AOAs of the signals from the users to the IRS.


title: Character sums over elements of extensions of finite fields with restricted coordinates

abstract: We obtain nontrivial bounds for character sums with multiplicative and additive characters over finite fields over elements with restricted coordinate expansion. In particular, we obtain a nontrivial estimate for such a sum over a finite field analogue of the Cantor set.


title: Evaluation of NR-Sidelink for Cooperative Industrial AGVs

abstract: Industry 4.0 has brought to attention the need for a connected, flexible, and autonomous production environment. The New Radio (NR)-sidelink, which was introduced by the third-generation partnership project (3GPP) in Release 16, can be particularly helpful for factories that need to facilitate cooperative and close-range communication. Automated Guided Vehicles (AGVs) are important for material handling and carriage within these environments, and using NR-sidelink communication can further enhance their performance. An efficient resource allocation mechanism is required to ensure reliable communication and avoid interference between AGVs and other wireless systems in the factory using NR-sidelink. This work evaluates the 3GPP standardized resource allocation algorithm for NR-sidelink for a use case of cooperative carrying AGVs. We suggest further improvements that are tailored to the quality of service (QoS) requirements of an indoor factory communication scenario with cooperative AGVs.The use of NR-sidelink communication has the potential to help meet the QoS requirements for different Industry 4.0 use cases. This work can be a foundation for further improvements in NR-sidelink in 3GPP Release 18 and beyond.


title: SPA$^\mathrm{H}$M(a,b): encoding the density information from guess Hamiltonian in quantum machine learning representations

abstract: Recently, we introduced a class of molecular representations for kernel-based regression methods -- the spectrum of approximated Hamiltonian matrices (SPA$^\mathrm{H}$M) -- that takes advantage of lightweight one-electron Hamiltonians traditionally used as an SCF initial guess. The original SPA$^\mathrm{H}$M variant is built from occupied-orbital energies (ie, eigenvalues) and naturally contains all the information about nuclear charges, atomic positions, and symmetry requirements. Its advantages were demonstrated on datasets featuring a wide variation of charge and spin, for which traditional structure-based representations commonly fail. SPA$^\mathrm{H}$M(a,b), as introduced here, expand the eigenvalue SPA$^\mathrm{H}$M into local and transferable representations. They rely upon one-electron density matrices to build fingerprints from atomic and bond density overlap contributions inspired from preceding state-of-the-art representations. The performance and efficiency of SPA$^\mathrm{H}$M(a,b) is assessed on the predictions for datasets of prototypical organic molecules (QM7) of different charges and azoheteroarene dyes in an excited state. Overall, both SPA$^\mathrm{H}$M(a) and SPA$^\mathrm{H}$M(b) outperform state-of-the-art representations on difficult prediction tasks such as the atomic properties of charged open-shell species and of $\pi$-conjugated systems.


title: Interface disorder as a cause for kinetic Rashba-Edelstein effect and interface Spin-Hall effect at the metal-insulator boundary

abstract: The spin phenomena observed at a clean metall-insulator interface are typically reduced to Rashba-Edelstein effect, that leads to spin accumulation over a few monolayers. We demonstrate that the presence of interface disorder significantly expands the range of potential phenomena. Specifically, the skew scattering at the metal - insulator boundary gives rise to the "kinetic Rashba-Edelstein effect", where spin accumulation occurs on a much larger length scale comparable to mean free path. Moreover, at higher orders of spin-orbit interaction, skew scattering is accompanied with spin relaxation resulting in the interface spin-Hall effect - a conversion of electrical current to spin current at the metal surface. Unlike the conventional spin-Hall effect, this phenomenon persists even within the Born approximation. These two predicted phenomena can dominate the spin density and spin current in devices of intermediate thickness.


title: SecureCyclon: Dependable Peer Sampling

abstract: Overlay management is the cornerstone of building robust and dependable Peer-to-Peer systems. A key component for building such overlays is the peer-sampling service, a mechanism that continuously supplies each node with a set of up-to-date peers randomly selected across all alive nodes. Arguably, the most pernicious malicious action against such mechanisms is the provision of arbitrarily created links that point at malicious nodes. This paper proposes SecureCyclon, a peer-sampling protocol that deterministically eliminates the ability of malicious nodes to overrepresent themselves in Peer-to-Peer overlays. To the best of our knowledge, this is the first protocol to offer this property, as previous works were able to only bound the proportion of excessive links to malicious nodes, without completely eliminating them. SecureCyclon redefines the concept of node descriptors from just being containers of information that enable communication with specific nodes, to being communication certificates that traverse the network and enable nodes to provably discover malicious nodes. We evaluate our solution with the conduction of extended simulations, and we demonstrate that it provides resilience even at the extreme condition of 40% malicious node participation.


title: Blended learning: A data-literate science teacher is a better teacher

abstract: The COVID-19 pandemic has underscored the importance of blended learning in contemporary physics and, more generally, STEM education. In this contribution, we summarize current pedagogical models of blended learning, such as rotational and flexible non-rotational models, and customizable configurations of physical and virtual learning spaces. With the inevitable integration of digital technology as one of the pillars of blended learning, teachers find themselves in an unprecedented position to not only obtain data more frequently but also analyze it and adjust instruction accordingly. Consequently, we discuss a crucial element of blended learning effectiveness: data management and usage. In this context, data literacy for teaching emerges as an essential skill for effective blended learning, encompassing the ability to transform various data types into actionable instructional knowledge and practices. In other words, current research in physics education shows that a data-literate science teacher is a more prosperous and effective teacher.


title: M3D-NCA: Robust 3D Segmentation with Built-in Quality Control

abstract: Medical image segmentation relies heavily on large-scale deep learning models, such as UNet-based architectures. However, the real-world utility of such models is limited by their high computational requirements, which makes them impractical for resource-constrained environments such as primary care facilities and conflict zones. Furthermore, shifts in the imaging domain can render these models ineffective and even compromise patient safety if such errors go undetected. To address these challenges, we propose M3D-NCA, a novel methodology that leverages Neural Cellular Automata (NCA) segmentation for 3D medical images using n-level patchification. Moreover, we exploit the variance in M3D-NCA to develop a novel quality metric which can automatically detect errors in the segmentation process of NCAs. M3D-NCA outperforms the two magnitudes larger UNet models in hippocampus and prostate segmentation by 2% Dice and can be run on a Raspberry Pi 4 Model B (2GB RAM). This highlights the potential of M3D-NCA as an effective and efficient alternative for medical image segmentation in resource-constrained environments.


title: More solutions for the Wheeler-DeWitt equation in a flat FLRW minisuperspace

abstract: This work proposes more solutions for the Wheeler-DeWitt equation in a flat FLRW minisuperspace. We study quantum cosmology in the framework of the de Broglie-Bohm interpretation and investigate the quantum cosmological effects throughout the evolution of the universe. In a particular solution, the tendency for a scalar field to roll down the potential is balanced by the quantum force, and a Minkowski spacetime is obtained.


title: Predicting the emergence of localised dihedral patterns in models for dryland vegetation

abstract: Localised patterns are often observed in models for dryland vegetation, both as peaks of vegetation in a desert state and as gaps within a vegetated state, known as `fairy circles'. Recent results from radial spatial dynamics show that approximations of localised patterns with dihedral symmetry emerge from a Turing instability in general reaction--diffusion systems, which we apply to several vegetation models. We present a systematic guide for finding such patterns in a given reaction--diffusion model, during which we obtain four key quantities that allow us to predict the qualitative properties of our solutions with minimal analysis. We consider four well-established vegetation models and compute their key predictive quantities, observing that models which possess similar values exhibit qualitatively similar localised patterns; we then complement our results with numerical simulations of various localised states in each model. Here, localised vegetation patches emerge generically from Turing instabilities and act as transient states between uniform and patterned environments, displaying complex dynamics as they evolve over time.


title: Identifying frequency decorrelated dust residuals in B-mode maps by exploiting the spectral capability of bolometric interferometry

abstract: Astrophysical polarized foregrounds represent the most critical challenge in Cosmic Microwave Background (CMB) B-mode experiments. Multi-frequency observations can be used to constrain astrophysical foregrounds to isolate the CMB contribution. However, recent observations indicate that foreground emission may be more complex than anticipated. We investigate how the increased spectral resolution provided by band splitting in Bolometric Interferometry (BI) through a technique called spectral imaging can help control the foreground contamination in the case of unaccounted Galactic dust frequency decorrelation along the line-of-sight. We focus on the next generation ground-based CMB experiment CMB-S4, and compare its anticipated sensitivities, frequency and sky coverage with a hypothetical version of the same experiment based on BI. We perform a Monte-Carlo analysis based on parametric component separation methods (FGBuster and Commander) and compute the likelihood on the recovered tensor-to-scalar ratio. The main result of this analysis is that spectral imaging allows us to detect systematic uncertainties on r from frequency decorrelation when this effect is not accounted for in component separation. Conversely, an imager would detect a biased value of r and would be unable to spot the presence of a systematic effect. We find a similar result in the reconstruction of the dust spectral index, where we show that with BI we can measure more precisely the dust spectral index also when frequency decorrelation is present. The in-band frequency resolution provided by BI allows us to identify dust LOS frequency decorrelation residuals where an imager of similar performance would fail. This opens the prospect to exploit this potential in the context of future CMB polarization experiments that will be challenged by complex foregrounds in their quest for B-modes detection.


title: Post-melting encapsulation of glass microwires for multipath light waveguiding within phosphate glasses

abstract: Glass waveguides remain the fundamental component of advanced photonic circuits and with a significant role in other applications such as quantum information processing, light generation, imaging, data storage, and sensing platforms. Up to date, the fabrication of glass waveguides relies mainly on demanding chemical processes or on the employment of expensive ultrafast laser equipment. In this work, we demonstrate the feasibility of a simple, low-temperature, post-melting encapsulation procedure for the development of advanced glass waveguides. Namely, silver iodide phosphate glass microwires (MWs) are drawn from typical splat-quenched samples. Following this, the MWs are incorporated in a controlled manner within previously prepared transparent silver phosphate glass rectangular prisms. The composition of the employed glasses is chosen so that the host phosphate glass has a lower refractive index than the embedded MWs. In such case, the waveguide mechanism relies on the propagation of light inside the encapsulated higher refractive index MWs. Moreover, the presence of silver nanoparticles within the MWs enhances the light transmission due to scattering effects. Waveguide devices with either one or two incorporated MWs were fabricated. Remarkably, in the latter case, the transmission of light of different colors and in multipath direction is possible, rendering the developed waveguides outstanding candidates for various photonic circuits, optoelectronic, and smart sign glass applications.


title: A Non-Invasive Interpretable NAFLD Diagnostic Method Combining TCM Tongue Features

abstract: Non-alcoholic fatty liver disease (NAFLD) is a clinicopathological syndrome characterized by hepatic steatosis resulting from the exclusion of alcohol and other identifiable liver-damaging factors. It has emerged as a leading cause of chronic liver disease worldwide. Currently, the conventional methods for NAFLD detection are expensive and not suitable for users to perform daily diagnostics. To address this issue, this study proposes a non-invasive and interpretable NAFLD diagnostic method, the required user-provided indicators are only Gender, Age, Height, Weight, Waist Circumference, Hip Circumference, and tongue image. This method involves merging patients' physiological indicators with tongue features, which are then input into a fusion network named SelectorNet. SelectorNet combines attention mechanisms with feature selection mechanisms, enabling it to autonomously learn the ability to select important features. The experimental results show that the proposed method achieves an accuracy of 77.22\% using only non-invasive data, and it also provides compelling interpretability matrices. This study contributes to the early diagnosis of NAFLD and the intelligent advancement of TCM tongue diagnosis. The project mentioned in this paper is currently publicly available.


title: Digital $k$-continuity, digital $k$-isomorphism, local $k$-isomorphism, radius $2$-local $k$-isomorphism, and digital $k$-homotopy

abstract: The present paper refers to the notions of digital continuity, digital $k$-isomorphism, local $k$-isomorphism, radius $2$-local $k$-isomorphism, and digital $k$-homotopy motivated by the Khalimsky's version. We discuss something incorrectly mentioned in Boxer's papers and suggest some accurate information.


title: LuViRA Dataset Validation and Discussion: Comparing Vision, Radio, and Audio Sensors for Indoor Localization

abstract: We present a unique comparative analysis, and evaluation of vision, radio, and audio based localization algorithms. We create the first baseline for the aforementioned sensors using the recently published Lund University Vision, Radio, and Audio (LuViRA) dataset, where all the sensors are synchronized and measured in the same environment. Some of the challenges of using each specific sensor for indoor localization tasks are highlighted. Each sensor is paired with a current state-of-the-art localization algorithm and evaluated for different aspects: localization accuracy, reliability and sensitivity to environment changes, calibration requirements, and potential system complexity. Specifically, the evaluation covers the ORB-SLAM3 algorithm for vision-based localization with an RGB-D camera, a machine-learning algorithm for radio-based localization with massive MIMO technology, and the SFS2 algorithm for audio-based localization with distributed microphones. The results can serve as a guideline and basis for further development of robust and high-precision multi-sensory localization systems, e.g., through sensor fusion, context, and environment-aware adaptation.


title: Prompt-based Effective Input Reformulation for Legal Case Retrieval

abstract: Legal case retrieval plays an important role for legal practitioners to effectively retrieve relevant cases given a query case. Most existing neural legal case retrieval models directly encode the whole legal text of a case to generate a case representation, which is then utilised to conduct a nearest neighbour search for retrieval. Although these straightforward methods have achieved improvement over conventional statistical methods in retrieval accuracy, two significant challenges are identified in this paper: (1) Legal feature alignment: the usage of the whole case text as the input will generally incorporate redundant and noisy information because, from the legal perspective, the determining factor of relevant cases is the alignment of key legal features instead of whole text matching; (2) Legal context preservation: furthermore, since the existing text encoding models usually have an input length limit shorter than the case, the whole case text needs to be truncated or divided into paragraphs, which leads to the loss of the global context of legal information. In this paper, a novel legal case retrieval framework, PromptCase, is proposed to tackle these challenges. Firstly, legal facts and legal issues are identified and formally defined as the key features facilitating legal case retrieval based on a thorough study of the definition of relevant cases from a legal perspective. Secondly, with the determining legal features, a prompt-based encoding scheme is designed to conduct an effective encoding with language models. Extensive zero-shot experiments have been conducted on two benchmark datasets in legal case retrieval, which demonstrate the superior retrieval effectiveness of the proposed PromptCase. The code has been released on https://github.com/yanran-tang/PromptCase.


title: Robust Sandwiched B/TM/B Structures by Metal Intercalating into Bilayer Borophene Leading to Excellent Hydrogen Evolution Reaction

abstract: Bilayer borophene, very recently synthesized on Ag and Cu, possesses extremely flat large surface and excellent conductivity. Besides, the van der Waals gap of bilayer borophene can be intercalated by metal atoms, thereby tailoring the properties of bilayer borophene. Herein, we propose that sandwiched B/TM/B (TM=Co, Ni, Cu, Pd) could be a new 2D formation by transiton metal atoms intercalated into bilayer borophene network, it is quiet robust with both energetic, structural and thermal stability, and exhibits heat resistance of at least 1300 K. Besides, it is novel platform for electrocatalytic hydrogen evolution reaction (HER). The interecalation metal atom serves as single-atomic catalyst, which acting the nonmetal boron layers. Beyond that, the transtion metal is protected by outside boron layers from being corroded by acidic/alkaline solution. B/Cux/B, B/Pdx/B and B/Alx/B with different metal coverage exhibit defect-independent extremely low HER free energy in the range of -0.162 ~ 0.179 eV, -0.134 ~ 0.183 eV and -0.082 ~ 0.086 eV which are comparable to noble metal Pt. Combining excellent conduction, high structural and thermal stability, low resistance to intercalated behaviour, effortless water splitting process, excellent defect-independent catalytic performance, cheapness and abundance of raw materials, free of corrodation, 2D sandwiched B/TM/B (TM=Co, Ni, Cu, Pd) is believed to promising for electrocatalytic HER applications.


title: Hierarchical-level rain image generative model based on GAN

abstract: Autonomous vehicles are exposed to various weather during operation, which is likely to trigger the performance limitations of the perception system, leading to the safety of the intended functionality (SOTIF) problems. To efficiently generate data for testing the performance of visual perception algorithms under various weather conditions, a hierarchical-level rain image generative model, rain conditional CycleGAN (RCCycleGAN), is constructed. RCCycleGAN is based on the generative adversarial network (GAN) and can generate images of light, medium, and heavy rain. Different rain intensities are introduced as labels in conditional GAN (CGAN). Meanwhile, the model structure is optimized and the training strategy is adjusted to alleviate the problem of mode collapse. In addition, natural rain images of different intensities are collected and processed for model training and validation. Compared with the two baseline models, CycleGAN and DerainCycleGAN, the peak signal-to-noise ratio (PSNR) of RCCycleGAN on the test dataset is improved by 2.58 dB and 0.74 dB, and the structural similarity (SSIM) is improved by 18% and 8%, respectively. The ablation experiments are also carried out to validate the effectiveness of the model tuning.


title: Dynamic Hyperbolic Attention Network for Fine Hand-object Reconstruction

abstract: Reconstructing both objects and hands in 3D from a single RGB image is complex. Existing methods rely on manually defined hand-object constraints in Euclidean space, leading to suboptimal feature learning. Compared with Euclidean space, hyperbolic space better preserves the geometric properties of meshes thanks to its exponentially-growing space distance, which amplifies the differences between the features based on similarity. In this work, we propose the first precise hand-object reconstruction method in hyperbolic space, namely Dynamic Hyperbolic Attention Network (DHANet), which leverages intrinsic properties of hyperbolic space to learn representative features. Our method that projects mesh and image features into a unified hyperbolic space includes two modules, ie. dynamic hyperbolic graph convolution and image-attention hyperbolic graph convolution. With these two modules, our method learns mesh features with rich geometry-image multi-modal information and models better hand-object interaction. Our method provides a promising alternative for fine hand-object reconstruction in hyperbolic space. Extensive experiments on three public datasets demonstrate that our method outperforms most state-of-the-art methods.


title: Analysis Methods for Gamma-ray Astronomy

abstract: The launch of the Fermi satellite in 2008, with its Large Area Telescope (LAT) on board, has opened a new era for the study of gamma-ray sources at GeV ($10^9$ eV) energies. Similarly, the commissioning of the third generation of imaging atmospheric Cherenkov telescopes (IACTs) - H.E.S.S., MAGIC, and VERITAS - in the mid-2000's has firmly established the field of TeV ($10^{12}$ eV) gamma-ray astronomy. Together, these instruments have revolutionised our understanding of the high-energy gamma-ray sky, and they continue to provide access to it over more than six decades in energy. In recent years, the ground-level particle detector arrays HAWC, Tibet, and LHAASO have opened a new window to gamma rays of the highest energies, beyond 100 TeV. Soon, next-generation facilities such as CTA and SWGO will provide even better sensitivity, thus promising a bright future for the field. In this chapter, we provide a brief overview of methods commonly employed for the analysis of gamma-ray data, focusing on those used for Fermi-LAT and IACT observations. We describe the standard data formats, explain event reconstruction and selection algorithms, and cover in detail high-level analysis approaches for imaging and extraction of spectra, including aperture photometry as well as advanced likelihood techniques.


title: Reviving Static Charts into Live Charts

abstract: Data charts are prevalent across various fields due to their efficacy in conveying complex data relationships. However, static charts may sometimes struggle to engage readers and efficiently present intricate information, potentially resulting in limited understanding. We introduce "Live Charts," a new format of presentation that decomposes complex information within a chart and explains the information pieces sequentially through rich animations and accompanying audio narration. We propose an automated approach to revive static charts into Live Charts. Our method integrates GNN-based techniques to analyze the chart components and extract data from charts. Then we adopt large natural language models to generate appropriate animated visuals along with a voice-over to produce Live Charts from static ones. We conducted a thorough evaluation of our approach, which involved the model performance, use cases, a crowd-sourced user study, and expert interviews. The results demonstrate Live Charts offer a multi-sensory experience where readers can follow the information and understand the data insights better. We analyze the benefits and drawbacks of Live Charts over static charts as a new information consumption experience.


title: CR-VAE: Contrastive Regularization on Variational Autoencoders for Preventing Posterior Collapse

abstract: The Variational Autoencoder (VAE) is known to suffer from the phenomenon of \textit{posterior collapse}, where the latent representations generated by the model become independent of the inputs. This leads to degenerated representations of the input, which is attributed to the limitations of the VAE's objective function. In this work, we propose a novel solution to this issue, the Contrastive Regularization for Variational Autoencoders (CR-VAE). The core of our approach is to augment the original VAE with a contrastive objective that maximizes the mutual information between the representations of similar visual inputs. This strategy ensures that the information flow between the input and its latent representation is maximized, effectively avoiding posterior collapse. We evaluate our method on a series of visual datasets and demonstrate, that CR-VAE outperforms state-of-the-art approaches in preventing posterior collapse.


title: The Case for Asymmetric Systolic Array Floorplanning

abstract: The widespread proliferation of deep learning applications has triggered the need to accelerate them directly in hardware. General Matrix Multiplication (GEMM) kernels are elemental deep-learning constructs and they inherently map onto Systolic Arrays (SAs). SAs are regular structures that are well-suited for accelerating matrix multiplications. Typical SAs use a pipelined array of Processing Elements (PEs), which communicate with local connections and pre-orchestrated data movements. In this work, we show that the physical layout of SAs should be asymmetric to minimize wirelength and improve energy efficiency. The floorplan of the SA adjusts better to the asymmetric widths of the horizontal and vertical data buses and their switching activity profiles. It is demonstrated that such physically asymmetric SAs reduce interconnect power by 9.1% when executing state-of-the-art Convolutional Neural Network (CNN) layers, as compared to SAs of the same size but with a square (i.e., symmetric) layout. The savings in interconnect power translate, in turn, to 2.1% overall power savings.


title: On the Impact of Feeding Cost Risk in Aquaculture Valuation and Decision Making

abstract: We study the effect of stochastic feeding costs on animal-based commodities with particular focus on aquaculture. More specifically, we use soybean futures to infer on the stochastic behaviour of salmon feed, which we assume to follow a Schwartz-2-factor model. We compare the decision of harvesting salmon using a decision rule assuming either deterministic or stochastic feeding costs, i.e. including feeding cost risk. We identify cases, where accounting for stochastic feeding costs leads to significant improvements as well as cases where deterministic feeding costs are a good enough proxy. Nevertheless, in all of these cases, the newly derived rules show superior performance, while the additional computational costs are negligible. From a methodological point of view, we demonstrate how to use Deep-Neural-Networks to infer on the decision boundary that determines harvesting or continuation, improving on more classical regression-based and curve-fitting methods. To achieve this we use a deep classifier, which not only improves on previous results but also scales well for higher dimensional problems, and in addition mitigates effects due to model uncertainty, which we identify in this article. effects due to model uncertainty, which we identify in this article.


title: Probing laser-driven structure formation at extreme scales in space and time

abstract: Irradiation of solid surfaces with high intensity, ultrashort laser pulses triggers a variety of secondary processes that can lead to the formation of transient and permanent structures over large range of length scales from mm down to the nano-range. One of the most prominent examples are LIPSS - Laser Induced Periodic Surface Structures. While LIPSS have been a scientific evergreen for of almost 60 years, experimental methods that combine ultrafast temporal with the required nm spatial resolution have become available only recently with the advent of short pulse, short wavelength free electron lasers. Here we discuss the current status and future perspectives in this field by exploiting the unique possibilities of these 4th-generation light sources to address by time-domain experimental techniques the fundamental LIPSS-question, namely why and how laser-irradiation can initiate the transition of a "chaotic" (rough) surface from an aperiodic into a periodic structure.


title: Low-degree solar rotational splitting from 45 years of BiSON observations

abstract: We present solar low-degree rotational splitting values based on a new analysis of Sun-as-a-star observations from the Birmingham Solar Oscillations Network, covering a 16,425-day period from 1976 December 31--2021 December 20 with a duty cycle of 57 per cent. The splitting values are estimated from the power spectrum using a Markov Chain Monte Carlo sampling method, and we also present for comparison the results from an analysis of 100 realizations of synthetic data with the same resolution and gap structure. Comparison of the scatter in the results from the synthetic realizations with their estimated uncertainties suggests that for this data set the formal uncertainty estimates are about 30 per cent too small. An upward bias in the splittings at frequencies above 2200 microHz, where the components are not fully resolved, is seen in both the observed and synthetic data. When this bias is taken into account our results are consistent with a frequency-independent synodic rotational splitting value of 400 nHz.


title: Excellent HER and OER Catalyzing Performance of Se-vacancies in Defects-engineering PtSe2: From Simulation to Experiment

abstract: Facing with grave climate change and enormous energy demand, catalyzer gets more and more important due to its significant effect on reducing fossil fuels consumption. Hydrogen evolution reaction (HER) and oxygen evolution reaction (OER) by water splitting are feasible ways to produce clean sustainable energy. Here we systematically explored atomic structures and related STM images of Se defects in PtSe2. The equilibrium fractions of vacancies under variable conditions were detailly predicted. Besides, we found the vacancies are highly kinetic stable, without recovering or aggregation. The Se vacancies in PtSe2 can dramatically enhance the HER performance, comparing with, even better than Pt(111). Beyond, we firstly revealed that PtSe2 monolayer with Se vacancies is also a good OER catalyst. The excellent bipolar catalysis of Se vacancies were further confirmed by experimental measurements. We produced defective PtSe2 by direct selenization of Pt foil at 773 K using a CVD process. Then we observed the HER and OER performance of defective PtSe2 is much highly efficient than Pt foils by a series of measurements. Our work with compelling theoretical and experimental studies indicates PtSe2 with Se defects is an ideal bipolar candidate for HER and OER.


title: Design principles for >90% efficiency and >99% indistinguishability broadband quantum dot cavities

abstract: Quantum dots have the potential to be the brightest deterministic single photon source with plausible high end applications in quantum computing and cluster state generation. In this work, we re-examine the design of simple micropillars by meticulously examining the structural effects of the decay into leaky channels beyond the atom-like cavity estimation. We show that precise control of the side losses with the diameter and avoidance of propagating Bloch modes in the DBR structure can result in easy to manufacture broadband (Q$\approx750-2500$) micropillars and demonstrate extremely high internal efficiency ($90.5\%-96.4\%$). We also demonstrate that such cavities naturally decouple from the phonon sideband, with the phonon sideband reducing by a factor of $5-33$ allowing us to predict that the photons should show $99.2\%-99.8\%$ indistinguishability.


title: FishMOT: A Simple and Effective Method for Fish Tracking Based on IoU Matching

abstract: Fish tracking plays a vital role in understanding fish behavior and ecology. However, existing tracking methods face challenges in accuracy and robustness dues to morphological change of fish, occlusion and complex environment. This paper proposes FishMOT(Multiple Object Tracking for Fish), a novel fish tracking approach combining object detection and IoU matching, including basic module, interaction module and refind module. Wherein, a basic module performs target association based on IoU of detection boxes between successive frames to deal with morphological change of fish; an interaction module combines IoU of detection boxes and IoU of fish entity to handle occlusions; a refind module use spatio-temporal information uses spatio-temporal information to overcome the tracking failure resulting from the missed detection by the detector under complex environment. FishMOT reduces the computational complexity and memory consumption since it does not require complex feature extraction or identity assignment per fish, and does not need Kalman filter to predict the detection boxes of successive frame. Experimental results demonstrate FishMOT outperforms state-of-the-art multi-object trackers and specialized fish tracking tools in terms of MOTA, accuracy, computation time, memory consumption, etc.. Furthermore, the method exhibits excellent robustness and generalizability for varying environments and fish numbers. The simplified workflow and strong performance make FishMOT as a highly effective fish tracking approach. The source codes and pre-trained models are available at: https://github.com/gakkistar/FishMOT


title: Natural and Robust Walking using Reinforcement Learning without Demonstrations in High-Dimensional Musculoskeletal Models

abstract: Humans excel at robust bipedal walking in complex natural environments. In each step, they adequately tune the interaction of biomechanical muscle dynamics and neuronal signals to be robust against uncertainties in ground conditions. However, it is still not fully understood how the nervous system resolves the musculoskeletal redundancy to solve the multi-objective control problem considering stability, robustness, and energy efficiency. In computer simulations, energy minimization has been shown to be a successful optimization target, reproducing natural walking with trajectory optimization or reflex-based control methods. However, these methods focus on particular motions at a time and the resulting controllers are limited when compensating for perturbations. In robotics, reinforcement learning~(RL) methods recently achieved highly stable (and efficient) locomotion on quadruped systems, but the generation of human-like walking with bipedal biomechanical models has required extensive use of expert data sets. This strong reliance on demonstrations often results in brittle policies and limits the application to new behaviors, especially considering the potential variety of movements for high-dimensional musculoskeletal models in 3D. Achieving natural locomotion with RL without sacrificing its incredible robustness might pave the way for a novel approach to studying human walking in complex natural environments. Videos: https://sites.google.com/view/naturalwalkingrl


title: Kemeny's constant and enumerating Braess edges in trees

abstract: We study the problem of enumerating Braess edges for Kemeny's constant in trees. We obtain bounds and asympotic results for the number of Braess edges in some families of trees.


title: Helper Recommendation with seniority control in Online Health Community

abstract: Online health communities (OHCs) are forums where patients with similar conditions communicate their experiences and provide moral support. Social support in OHCs plays a crucial role in easing and rehabilitating patients. However, many time-sensitive questions from patients often remain unanswered due to the multitude of threads and the random nature of patient visits in OHCs. To address this issue, it is imperative to propose a recommender system that assists solution seekers in finding appropriate problem helpers. Nevertheless, developing a recommendation algorithm to enhance social support in OHCs remains an under-explored area. Traditional recommender systems cannot be directly adapted due to the following obstacles. First, unlike user-item links in traditional recommender systems, it is hard to model the social support behind helper-seeker links in OHCs since they are formed based on various heterogeneous reasons. Second, it is difficult to distinguish the impact of historical activities in characterizing patients. Third, it is significantly challenging to ensure that the recommended helpers possess sufficient expertise to assist the seekers. To tackle the aforementioned challenges, we develop a Monotonically regularIzed diseNTangled Variational Autoencoders (MINT) model to strengthen social support in OHCs.


title: Come Closer: The Effects of Robot Personality on Human Proxemics Behaviours

abstract: Social Robots in human environments need to be able to reason about their physical surroundings while interacting with people. Furthermore, human proxemics behaviours around robots can indicate how people perceive the robots and can inform robot personality and interaction design. Here, we introduce Charlie, a situated robot receptionist that can interact with people using verbal and non-verbal communication in a dynamic environment, where users might enter or leave the scene at any time. The robot receptionist is stationary and cannot navigate. Therefore, people have full control over their personal space as they are the ones approaching the robot. We investigated the influence of different apparent robot personalities on the proxemics behaviours of the humans. The results indicate that different types of robot personalities, specifically introversion and extroversion, can influence human proxemics behaviours. Participants maintained shorter distances with the introvert robot receptionist, compared to the extrovert robot. Interestingly, we observed that human-robot proxemics were not the same as typical human-human interpersonal distances, as defined in the literature. We therefore propose new proxemics zones for human-robot interaction.


title: A High-Order Ultra-Weak Variational Formulation for Electromagnetic Waves Utilizing Curved Elements

abstract: The Ultra Weak Variational Formulation (UWVF) is a special Trefftz discontinuous Galerkin method, here applied to the time-harmonic Maxwell's equations. The method uses superpositions of plane waves to represent solutions element-wise on a finite element mesh. We focus on our parallel UWVF implementation, called ParMax, emphasizing high-order solutions in the presence of scatterers with piecewise smooth boundaries. We explain the incorporation of curved surface triangles into the UWVF, necessitating quadrature for system matrix assembly. We also show how to implement a total field and scattered field approach, together with the transmission conditions across an interface to handle resistive sheets. We note also that a wide variety of element shapes can be used, that the elements can be large compared to the wavelength of the radiation, and that a low memory version is easy to implement (although computationally costly). Our contributions are illustrated through numerical examples demonstrating the efficiency enhancement achieved by curved elements in the UWVF. The method accurately handles resistive screens, as well as perfect electric conductor and penetrable scatterers. By employing large curved elements and the low memory approach, we successfully simulated X-band frequency scattering from an aircraft. These innovations demonstrate the practicality of the UWVF for industrial applications.


title: Mid-infrared optical properties of non-magnetic-metal/CoFeB/MgO heterostructures

abstract: We report on the optical characterization of non-magnetic metal/ferromagnetic (Co$_{20}$Fe$_{60}$B$_{20}$)/MgO heterostructures and interfaces by using mid infrared spectroscopic ellipsometry at room temperature. We extracted for the mid-infrared range the dielectric function of Co$_{20}$Fe$_{60}$B$_{20}$, that is lacking in literature, from a multisample analysis. From the optical modelling of the heterostructures we detected and determined the dielectric tensor properties of a two-dimensional gas (2DEG) forming at the non-magnetic metal and the CoFeB interface. These properties comprise independent Drude parameters for the in-plane and out-of plane tensor components, with the latter having an epsilon-near-zero frequency within our working spectral range. A feature assigned to spin-orbit coupling (SOC) is identified. Furthermore, it is found that both, the interfacial properties, 2DEG Drude parameters and SOC strength, and the apparent dielectric function of the MgO layer depend on the type of the underlying nonmagnetic metal, namely, Pt, W, or Cu. The results reported here should be useful in tailoring novel phenomena in such types of heterostructures by assessing their optical response noninvasively, complementing existing characterization tools such as angle-resolved photoemission spectroscopy, and those related to electron/spin transport.


title: Deformations and Simulatenous Resolutions of Determinantal Surfaces

abstract: This paper uses reconstruction algebras to construct simultaneous resolution of determinantal surfaces. The main new difference to the classical case is that, in addition to the quiver of the reconstruction algebra, certain noncommutative relations, namely those of the canonical algebra of Ringel, are required. All the relations of the reconstruction algebra except the canonical relation are then deformed, and these deformed relations together with variation of the GIT quotient achieve the simultaneous resolution.


title: Reference Capabilities for Flexible Memory Management: Extended Version

abstract: Verona is a concurrent object-oriented programming language that organises all the objects in a program into a forest of isolated regions. Memory is managed locally for each region, so programmers can control a program's memory use by adjusting objects' partition into regions, and by setting each region's memory management strategy. A thread can only mutate (allocate, deallocate) objects within one active region -- its "window of mutability". Memory management costs are localised to the active region, ensuring overheads can be predicted and controlled. Moving the mutability window between regions is explicit, so code can be executed wherever it is required, yet programs remain in control of memory use. An ownership type system based on reference capabilities enforces region isolation, controlling aliasing within and between regions, yet supporting objects moving between regions and threads. Data accesses never need expensive atomic operations, and are always thread-safe.


title: Shaping magnetization dynamics in a planar square dot by adjusting its surface anisotropy

abstract: A planar square dot is one of the simplest structures confined to three dimensions. Despite its geometrical simplicity, the description of the spin wave modes in this structure is not trivial due to the competition of dipolar and exchange interactions. An additional factor that makes this description challenging are the boundary conditions depend both on non-local dipolar interactions and local surface parameters such as surface anisotropy. In the presented work, we showed how the surface anisotropy applied at the lateral faces of the dot can tune the frequency of fundamental mode in the planar CoFeB dot, magnetized in an out-of-plane direction. Moreover, we analyzed the spin wave profile of the fundamental mode and the corresponding dynamic stray field. We showed that the asymmetric application of surface anisotropy produces an asymmetric profile of dynamic stray field for square dot and can be used to tailor inter-dot coupling. The calculations were performed with the use of the finite-element method.


title: Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques

abstract: IoT systems complexity and susceptibility to failures pose significant challenges in ensuring their reliable operation Failures can be internally generated or caused by external factors impacting both the systems correctness and its surrounding environment To investigate these complexities various modeling approaches have been proposed to raise the level of abstraction facilitating automation and analysis FailureLogic Analysis FLA is a technique that helps predict potential failure scenarios by defining how a components failure logic behaves and spreads throughout the system However manually specifying FLA rules can be arduous and errorprone leading to incomplete or inaccurate specifications In this paper we propose adopting testing methodologies to improve the completeness and correctness of these rules How failures may propagate within an IoT system can be observed by systematically injecting failures while running test cases to collect evidence useful to add complete and refine FLA rules


title: Innovative approaches to high school physics competitions: Harnessing the power of AI and open science

abstract: High school physics competitions serve as a platform for talented students to showcase their skills, engage in challenging problems, and foster a passion for science. This paper explores innovative approaches to enhance these competitions by harnessing the power of open science and artificial intelligence (AI) tools. Particularly we delve into the capabilities of state-of-the-art AI chatbots, i.e. ChatGPT, Bard, Claude, related to problem solving in physics. Together with open science tools like SageMath and Jupyter AI, they have the potential to serve as intelligent, powerful co-pilots, tutors, and assistants in understanding and applying physics, as well as knowledge from connected STEM fields. Furthermore, these innovative approaches can revolutionize high school physics competitions, providing students and their tutors with powerful resources to excel in their scientific pursuits.