title: Estimation of forest height and biomass from open-access multi-sensor satellite imagery and GEDI Lidar data: high-resolution maps of metropolitan France

abstract: Mapping forest resources and carbon is important for improving forest management and meeting the objectives of storing carbon and preserving the environment. Spaceborne remote sensing approaches have considerable potential to support forest height monitoring by providing repeated observations at high spatial resolution over large areas. This study uses a machine learning approach that was previously developed to produce local maps of forest parameters (basal area, height, diameter, etc.). The aim of this paper is to present the extension of the approach to much larger scales such as the French national coverage. We used the GEDI Lidar mission as reference height data, and the satellite images from Sentinel-1, Sentinel-2 and ALOS-2 PALSA-2 to estimate forest height and produce a map of France for the year 2020. The height map is then derived into volume and aboveground biomass (AGB) using allometric equations. The validation of the height map with local maps from ALS data shows an accuracy close to the state of the art, with a mean absolute error (MAE) of 4.3 m. Validation on inventory plots representative of French forests shows an MAE of 3.7 m for the height. Estimates are slightly better for coniferous than for broadleaved forests. Volume and AGB maps derived from height shows MAEs of 75 tons/ha and 93 m${}^3$/ha respectively. The results aggregated by sylvo-ecoregion and forest types (owner and species) are further improved, with MAEs of 23 tons/ha and 30 m${}^3$/ha. The precision of these maps allows to monitor forests locally, as well as helping to analyze forest resources and carbon on a territorial scale or on specific types of forests by combining the maps with geolocated information (administrative area, species, type of owner, protected areas, environmental conditions, etc.). Height, volume and AGB maps produced in this study are made freely available.


title: DPP-TTS: Diversifying prosodic features of speech via determinantal point processes

abstract: With the rapid advancement in deep generative models, recent neural Text-To-Speech(TTS) models have succeeded in synthesizing human-like speech. There have been some efforts to generate speech with various prosody beyond monotonous prosody patterns. However, previous works have several limitations. First, typical TTS models depend on the scaled sampling temperature for boosting the diversity of prosody. Speech samples generated at high sampling temperatures often lack perceptual prosodic diversity, which can adversely affect the naturalness of the speech. Second, the diversity among samples is neglected since the sampling procedure often focuses on a single speech sample rather than multiple ones. In this paper, we propose DPP-TTS: a text-to-speech model based on Determinantal Point Processes (DPPs) with a prosody diversifying module. Our TTS model is capable of generating speech samples that simultaneously consider perceptual diversity in each sample and among multiple samples. We demonstrate that DPP-TTS generates speech samples with more diversified prosody than baselines in the side-by-side comparison test considering the naturalness of speech at the same time.


title: Data Pruning via Moving-one-Sample-out

abstract: In this paper, we propose a novel data-pruning approach called moving-one-sample-out (MoSo), which aims to identify and remove the least informative samples from the training set. The core insight behind MoSo is to determine the importance of each sample by assessing its impact on the optimal empirical risk. This is achieved by measuring the extent to which the empirical risk changes when a particular sample is excluded from the training set. Instead of using the computationally expensive leaving-one-out-retraining procedure, we propose an efficient first-order approximator that only requires gradient information from different training stages. The key idea behind our approximation is that samples with gradients that are consistently aligned with the average gradient of the training set are more informative and should receive higher scores, which could be intuitively understood as follows: if the gradient from a specific sample is consistent with the average gradient vector, it implies that optimizing the network using the sample will yield a similar effect on all remaining samples. Experimental results demonstrate that MoSo effectively mitigates severe performance degradation at high pruning ratios and achieves satisfactory performance across various settings.


title: Read Disturbance in High Bandwidth Memory: A Detailed Experimental Study on HBM2 DRAM Chips

abstract: We experimentally demonstrate the effects of read disturbance (RowHammer and RowPress) and uncover the inner workings of undocumented read disturbance defense mechanisms in High Bandwidth Memory (HBM). Detailed characterization of six real HBM2 DRAM chips in two different FPGA boards shows that (1) the read disturbance vulnerability significantly varies between different HBM2 chips and between different components (e.g., 3D-stacked channels) inside a chip, (2) DRAM rows at the end and in the middle of a bank are more resilient to read disturbance, (3) fewer additional activations are sufficient to induce more read disturbance bitflips in a DRAM row if the row exhibits the first bitflip at a relatively high activation count, (4) a modern HBM2 chip implements undocumented read disturbance defenses that track potential aggressor rows based on how many times they are activated. We describe how our findings could be leveraged to develop more powerful read disturbance attacks and more efficient defense mechanisms. We open source all our code and data to facilitate future research at https://github.com/CMU-SAFARI/HBM-Read-Disturbance.


title: SeLeP: Learning Based Semantic Prefetching for Exploratory Database Workloads

abstract: Prefetching is a crucial technique employed in traditional databases to enhance interactivity, particularly in the context of data exploitation. Data exploration is a query processing paradigm in which users search for insights buried in the data, often not knowing what exactly they are looking for. Data exploratory tools deal with multiple challenges such as the need for interactivity with no a priori knowledge being present to help with the system tuning. The state-of-the-art prefetchers are specifically designed for navigational workloads only, where the number of possible actions is limited. The prefetchers that work with SQL-based workloads, on the other hand, mainly rely on data logical addresses rather than the data semantics. They fail to predict complex access patterns in cases where the database size is substantial, resulting in an extensive address space, or when there is frequent co-accessing of data. In this paper, we propose SeLeP, a semantic prefetcher that makes prefetching decisions for both types of workloads, based on the encoding of the data values contained inside the accessed blocks. Following the popular path of using machine learning approaches to automatically learn the hidden patterns, we formulate the prefetching task as a time-series forecasting problem and use an encoder-decoder LSTM architecture to learn the data access pattern. Our extensive experiments, across real-life exploratory workloads, demonstrate that SeLeP improves the hit ratio up to 40% and reduces I/O time up to 45% compared to the state-of-the-art, attaining impressive 95% hit ratio and 80% I/O reduction on average.


title: Molecular integral equations theory in the near critical region of CO2

abstract: Environmental concerns are driving the search for greener yet efficient solvents. Supercritical CO2 (scCO2) is a promising candidate due to its non-toxicity and the potential for reusing CO2 emissions. It also offers a versatile range of properties that can be finely tuned by pressure adjustments. This adaptability is exploited in chemical industry processes such as separation or extraction. The development of new green processes using scCO2 requires an efficient tool for predicting the solvation properties under different conditions. Existing parametric equations for solubility prediction depend on known experimental data, while molecular dynamics (MD) simulations remain expensive for studying different conditions. Both methods are unsuitable for advancing new technologies. The molecular density functional theory (MDFT) offers a promising alternative, combining an accurate microscopic modeling with fast calculations. MDFT necessitates the bulk direct correlation functions, which can be calculated from expensive MD simulations or from approximate yet rapid molecular integral equations. The development of MDFT as a powerful tool to study the solvation in scCO2 will require the construction of an accurate molecular integral equations for scCO2.This paper presents the exact direct correlation functions of scCO2 obtained from MD and compares them with the results of the simplest molecular integral equations, the hypernetted chain approximation (HNC). If HNC fails to provide correct long-range correlations and thermodynamics, it succeeds in reproducing the short-range structure. By using the direct correlation functions obtained from MD and HNC, we demonstrate the efficacy of MDFT in calculating the chemical potential of CO2 in scCO2. The results open the door to the application of MDFT to a wider range of solutes dissolved in scCO2 with different thermodynamic conditions.


title: Heterogeneity in tribologically transformed structure (TTS) of Ti-6Al-4V under fretting

abstract: Fretting wear is a surface degradation process caused by oscillatory motion and contact slipping. During gross slip, high local stresses and plastic deformation in the surface and subsurface can lead to the creation of a nanosized grained structure called Tribologically Transformed Structure (TTS). The current paper studies the formation of TTS in an alpha-beta Ti-6Al-4V alloy under fretting loading while changing the contact pressure and the number of fretting cycles.Cross-sections of wear scars are observed after polishing and chemical etching. Above a threshold pressure of 300 MPa, TTS appears early in the contact (before 1000 cycles) along with two other structures: a Third Body Layer (TBL) made of compacted debris and a General Deformed Layer (GDL) which is the plastic zone under the TTS. TTS first appears as islands and merges in the middle of the contact after enough cycles. Below 200 MPa, only TBL and GDL are formed. At 200 MPa, only small, localized TTS is found. All structures have the same chemical compositions as the initial bulk material except for the nitrided TBL. TTS has a very high hardness compared to the bulk. TTS was carefully extracted using a Focused Ion Beam (FIB) and its microstructure was observed with a Transmission Electron Microscope (TEM). It shows extreme grain refinement and is composed of two alternated zones. The first zone I is composed of $\alpha$ grains with a size of 20 to 50 nm with crystallographic texture. Zone II comprises nanosized equiaxed grains whose sizes range from 5 to 20 nm without texture. The results made it possible to establish a scenario of the appearance of the TTS according to the conditions of contact pressure and number of fretting cycles.


title: B^2SFL: A Bi-level Blockchained Architecture for Secure Federated Learning-based Traffic Prediction

abstract: Federated Learning (FL) is a privacy-preserving machine learning (ML) technology that enables collaborative training and learning of a global ML model based on aggregating distributed local model updates. However, security and privacy guarantees could be compromised due to malicious participants and the centralized FL server. This article proposed a bi-level blockchained architecture for secure federated learning-based traffic prediction. The bottom and top layer blockchain store the local model and global aggregated parameters accordingly, and the distributed homomorphic-encrypted federated averaging (DHFA) scheme addresses the secure computation problems. We propose the partial private key distribution protocol and a partially homomorphic encryption/decryption scheme to achieve the distributed privacy-preserving federated averaging model. We conduct extensive experiments to measure the running time of DHFA operations, quantify the read and write performance of the blockchain network, and elucidate the impacts of varying regional group sizes and model complexities on the resulting prediction accuracy for the online traffic flow prediction task. The results indicate that the proposed system can facilitate secure and decentralized federated learning for real-world traffic prediction tasks.


title: Dataset Bias Mitigation in Multiple-Choice Visual Question Answering and Beyond

abstract: Vision-language (VL) understanding tasks evaluate models' comprehension of complex visual scenes through multiple-choice questions. However, we have identified two dataset biases that models can exploit as shortcuts to resolve various VL tasks correctly without proper understanding. The first type of dataset bias is \emph{Unbalanced Matching} bias, where the correct answer overlaps the question and image more than the incorrect answers. The second type of dataset bias is \emph{Distractor Similarity} bias, where incorrect answers are overly dissimilar to the correct answer but significantly similar to other incorrect answers within the same sample. To address these dataset biases, we first propose Adversarial Data Synthesis (ADS) to generate synthetic training and debiased evaluation data. We then introduce Intra-sample Counterfactual Training (ICT) to assist models in utilizing the synthesized training data, particularly the counterfactual data, via focusing on intra-sample differentiation. Extensive experiments demonstrate the effectiveness of ADS and ICT in consistently improving model performance across different benchmarks, even in domain-shifted scenarios.


title: Scrap Your Schedules with PopDescent

abstract: In contemporary machine learning workloads, numerous hyper-parameter search algorithms are frequently utilized to efficiently discover high-performing hyper-parameter values, such as learning and regularization rates. As a result, a range of parameter schedules have been designed to leverage the capability of adjusting hyper-parameters during training to enhance loss performance. These schedules, however, introduce new hyper-parameters to be searched and do not account for the current loss values of the models being trained. To address these issues, we propose Population Descent (PopDescent), a progress-aware hyper-parameter tuning technique that employs a memetic, population-based search. By merging evolutionary and local search processes, PopDescent proactively explores hyper-parameter options during training based on their performance. Our trials on standard machine learning vision tasks show that PopDescent converges faster than existing search methods, finding model parameters with test-loss values up to 18% lower, even when considering the use of schedules. Moreover, we highlight the robustness of PopDescent to its initial training parameters, a crucial characteristic for hyper-parameter search techniques.


title: Integration of Independent Heat Transfer Mechanisms for Non-Contact Cold Sensation Presentation With Low Residual Heat

abstract: Thermal sensation is crucial to enhancing our comprehension of the world and enhancing our ability to interact with it. Therefore, the development of thermal sensation presentation technologies holds significant potential, providing a novel method of interaction. Traditional technologies often leave residual heat in the system or the skin, affecting subsequent presentations. Our study focuses on presenting thermal sensations with low residual heat, especially cold sensations. To mitigate the impact of residual heat in the presentation system, we opted for a non-contact method, and to address the influence of residual heat on the skin, we present thermal sensations without significantly altering skin temperature. Specifically, we integrated two highly responsive and independent heat transfer mechanisms: convection via cold air and radiation via visible light, providing non-contact thermal stimuli. By rapidly alternating between perceptible decreases and imperceptible increases in temperature on the same skin area, we maintained near-constant skin temperature while presenting continuous cold sensations. In our experiments involving 15 participants, we observed that when the cooling rate was -0.2 to -0.24 degree celsius per second and the cooling time ratio was 30 to 50 %, more than 86.67 % of the participants perceived only persistent cold without any warmth.


title: Non-contact Cold Thermal Display by Controlling Low-temperature Air Flow Generated with Vortex Tube

abstract: In recent years, thermal display has been studied intensively in order to represent a more realistic tactile quality of the object. Since human feels the temperature of the air without touching other objects, it is necessary to present thermal sensation in a non-contact manner. Studies on non-contact heat display have been explored; however, few studies have reported on a device that can display cold in a non-contact manner. In this study, we propose a non-contact cold thermal display using a low-temperature heat source-vortex tube, which can generate ultra-low air temperature when supplied with compressed air. We developed a cooling model that relates the flow velocity of cold air with the absorbed heat from skin; we implemented a prototype system that can control the flow velocity of the generated air; and we conducted an experiment to examine the cold sensation that the system can present. Our results revealed that various cold sensations can be generated so that the faster the flow velocity, the colder a user would feel.


title: Gyromagnetic effects in dynamics of magnetic microparticles

abstract: We derive equations of motion for paramagnetic and ferromagnetic particles fully accounting for gyromagnetic effects. Considering the Einstein-de Haas effect for an ellipsoidal paramagnetic particle we find that starting from a quiescent non-magnetized state, after the field is switched on a rotation along the short axis is established. This is confirmed by the stability analysis of the fixed points of the corresponding ordinary differential equations. In the case of a ferromagnetic particle we integrate the equations of motion in the dissipationless case by finding the integrals of motion. We also reformulate the equations in a Hamiltonian framework in this case and find a period of small nutation oscillations.


title: Online Out-of-Domain Detection for Automated Driving

abstract: Ensuring safety in automated driving is a major challenge for the automotive industry. Special attention is paid to artificial intelligence, in particular to Deep Neural Networks (DNNs), which is considered a key technology in the realization of highly automated driving. DNNs learn from training data, which means that they only achieve good accuracy within the underlying data distribution of the training data. When leaving the training domain, a distributional shift is caused, which can lead to a drastic reduction of accuracy. In this work, we present a proof of concept for a safety mechanism that can detect the leaving of the domain online, i.e. at runtime. In our experiments with the Synthia data set we can show that a 100 % correct detection of whether the input data is inside or outside the domain is achieved. The ability to detect when the vehicle leaves the domain can be an important requirement for certification.


title: Pre-Trained Language Models Augmented with Synthetic Scanpaths for Natural Language Understanding

abstract: Human gaze data offer cognitive information that reflects natural language comprehension. Indeed, augmenting language models with human scanpaths has proven beneficial for a range of NLP tasks, including language understanding. However, the applicability of this approach is hampered because the abundance of text corpora is contrasted by a scarcity of gaze data. Although models for the generation of human-like scanpaths during reading have been developed, the potential of synthetic gaze data across NLP tasks remains largely unexplored. We develop a model that integrates synthetic scanpath generation with a scanpath-augmented language model, eliminating the need for human gaze data. Since the model's error gradient can be propagated throughout all parts of the model, the scanpath generator can be fine-tuned to downstream tasks. We find that the proposed model not only outperforms the underlying language model, but achieves a performance that is comparable to a language model augmented with real human gaze data. Our code is publicly available.


title: CLEAR Space Weather Center of Excellence: All-Clear Solar Energetic Particle Prediction

abstract: The CLEAR Space Weather Center of Excellence (CLEAR center) is a five year project that is funded by the NASA Space Weather Center of Excellence program. The CLEAR center will build a comprehensive prediction framework for solar energetic particles (SEPs) focusing on the timely and accurate prediction of low radiation periods (``all clear forecast") and the occurrence and characteristics of elevated periods. This will be accomplished by integrating empirical, first-principles based and machine learning (ML)-trained prediction models. In this paper, the motivation, overview, and tools of the CLEAR center will be discussed.


title: Transmission eigenvalue-free regions near the real axis in the anisotropic case

abstract: We consider the anisotropic interior transmission problem with one complex-valued refraction index. Under the condition that all geodesics reach the boundary in a finite time, we obtain large regions near the real axis free of transmission eigenvalues.


title: Deviation results for Mandelbrot's multiplicative cascades with exponential tails

abstract: Let $W$ be a nonnegative random variable with expectation $1$. For all $r \geqslant 2$, we consider the total mass $Z_r^\infty$ of the associated Mandelbrot multiplicative cascade in the $r$-ary tree. For all $n \geqslant 1$, we also consider the total mass $Z_r^n$ of the measure at height $n$ in the $r$-ary tree. Liu, Rio, Rouault \cite{lrr,liu2000limit,Rouault04} established large deviation results for $(Z_r^n)_{r \geqslant 2}$ for all $n \in [[1,\infty[[$ (resp., for $n = \infty$) in case $W$ has an everywhere finite cumulant generating function $\Lambda_W$ (resp., $W$ is bounded). Here, we extend these results to the case where $\Lambda_W$ is only finite on a neighborhood of zero. And we establish all deviation results (moderate, large, and very large deviations). It is noticeable that we obtain nonconvex rate functions. Moreover, our proof of upper bounds of deviations for $(Z_r^\infty)_{r \geqslant 2}$ rely on the moment bound instead of the standard Chernoff bound.


title: How Tuning Interfaces Impacts the Dynamics and Structure of Polymer Nanocomposites Simultaneously

abstract: Fundamental understanding of macroscopic properties of polymer nanocomposites (PNCs) remains difficult due to the complex interplay of microscopic dynamics and structure, namely interfacial layer relaxations and three-dimensional nanoparticle arrangements. The effect of surface modification by alkyl methoxysilanes at different grafting densities has been studied in PNCs made of poly(2-vinylpyridine) and spherical 20 nm silica nanoparticles (NPs). The segmental dynamics has been probed by broadband dielectric spectroscopy, and the filler structure by small-angle X-ray scattering and reverse Monte Carlo simulations. By combining the particle configurations with the interfacial layer properties, it is shown how surface modification tunes the attractive polymer-particle interactions: bare NPs slow down the polymer interfacial layer dynamics over a thickness of ca. 5 nm, while grafting screens these interactions. Our analysis of interparticle spacing and segmental dynamics provides unprecedented insight into the effect of surface modification on the main characteristics of PNCs: particle interactions and polymer interfacial layers.


title: Latency and Power Consumption in 2.4 GHz IoT Wireless Mesh Nodes: An Experimental Evaluation of Bluetooth Mesh and Wirepas Mesh

abstract: The rapid growth of the Internet of Things paradigm is pushing the need to connect billions of batteryoperated devices to the internet and among them. To address this need, the introduction of energy-efficient wireless mesh networks based on Bluetooth provides an effective solution. This paper proposes a testbed setup to accurately evaluate and compare the standard Bluetooth Mesh 5.0 and the emerging energy-efficient Wirepas protocol that promises better performance. The paper presents the evaluation in terms of power consumption, energy efficiency, and transmission latency which are the most crucial features, in a controlled and reproducible test setup consisting of 10 nodes. Experimental results demonstrated that Wirepas has a median latency of 2.83 ms in Low-Latency mode respectively around 2 s in the Low-Energy mode. The corresponding power consumption is 6.2 mA in Low-Latency mode and 38.9 uA in Low-Energy mode. For Bluetooth Mesh the median latency is 4.54 ms with a power consumption of 6.2 mA at 3.3 V. Based on this comparison, conclusions about the advantages and disadvantages of both technologies can be drawn.


title: On the absence of structure factors in concentrated colloidal suspensions and nanocomposites

abstract: Small-angle scattering is a commonly used tool to analyze the dispersion of nanoparticles in all kinds of matrices. Besides some obvious cases, the associated structure factor is often complex and cannot be reduced to a simple interparticle interaction, like excluded volume only. In recent experiments, we have encountered a surprising absence of structure factors (S(q) = 1) in scattering from rather concentrated polymer nanocomposites [A.-C. Genix et al, ACS Appl. Mater. Interfaces 11 (2019) 17863]. In this case, quite pure form factor scattering is observed. This somewhat ``ideal'' structure is further investigated here making use of reverse Monte Carlo simulations in order to shed light on the corresponding nanoparticle structure in space. By fixing the target ``experimental'' apparent structure factor to one over a given q-range in these simulations, we show that it is possible to find dispersions with this property. The influence of nanoparticle volume fraction and polydispersity has been investigated, and it was found that for high concentrations only a high polydispersity allows reaching a state of S = 1. The underlying structure in real space is discussed in terms of the pair-correlation function, which evidences the importance of attractive interactions between polydisperse nanoparticles. The calculation of partial structure factors shows that there is no specific ordering of large or small particles, but that the presence of attractive interactions together with polydispersity allows reaching an almost ``structureless'' state.


title: A sampling construction of graphon 1-norm convergence

abstract: In the short note, we describe a sampling construction that yields a sequence of graphons converging to a prescribed limit graphon in 1-norm. This convergence is stronger than the convergence in the cut norm, usually used to study graphon sequences. The note also contains errata of the previous version of the note.


title: SpEL: Structured Prediction for Entity Linking

abstract: Entity linking is a prominent thread of research focused on structured data creation by linking spans of text to an ontology or knowledge source. We revisit the use of structured prediction for entity linking which classifies each individual input token as an entity, and aggregates the token predictions. Our system, called SpEL (Structured prediction for Entity Linking) is a state-of-the-art entity linking system that uses some new ideas to apply structured prediction to the task of entity linking including: two refined fine-tuning steps; a context sensitive prediction aggregation strategy; reduction of the size of the model's output vocabulary, and; we address a common problem in entity-linking systems where there is a training vs. inference tokenization mismatch. Our experiments show that we can outperform the state-of-the-art on the commonly used AIDA benchmark dataset for entity linking to Wikipedia. Our method is also very compute efficient in terms of number of parameters and speed of inference.


title: Multi-Agent Learning in Contextual Games under Unknown Constraints

abstract: We consider the problem of learning to play a repeated contextual game with unknown reward and unknown constraints functions. Such games arise in applications where each agent's action needs to belong to a feasible set, but the feasible set is a priori unknown. For example, in constrained multi-agent reinforcement learning, the constraints on the agents' policies are a function of the unknown dynamics and hence, are themselves unknown. Under kernel-based regularity assumptions on the unknown functions, we develop a no-regret, no-violation approach which exploits similarities among different reward and constraint outcomes. The no-violation property ensures that the time-averaged sum of constraint violations converges to zero as the game is repeated. We show that our algorithm, referred to as c.z.AdaNormalGP, obtains kernel-dependent regret bounds and that the cumulative constraint violations have sublinear kernel-dependent upper bounds. In addition we introduce the notion of constrained contextual coarse correlated equilibria (c.z.CCE) and show that $\epsilon$-c.z.CCEs can be approached whenever players' follow a no-regret no-violation strategy. Finally, we experimentally demonstrate the effectiveness of c.z.AdaNormalGP on an instance of multi-agent reinforcement learning.


title: Kato's theorem and ultralong-range Rydberg molecules

abstract: We consider non-adiabatic coupling in the "trilobite"-like long-range Rydberg molecules created by perturbing degenerate high-$\ell$ Rydberg states with a ground-state atom. Due to the flexibility granted by the high Rydberg level density, the avoided crossings between relevant potential energy curves can become extremely narrow, leading to highly singular non-adiabatic coupling. We find that the gap between the trilobite potential curve and neighboring "butterfly" or "dragonfly" potential curves can even vanish, as in a conical intersection, if the gap closes at an internuclear distance which matches a node of the $s$-wave radial wave function. This is an unanticipated outcome of Kato's theorem.


title: API-Assisted Code Generation for Question Answering on Varied Table Structures

abstract: A persistent challenge to table question answering (TableQA) by generating executable programs has been adapting to varied table structures, typically requiring domain-specific logical forms. In response, this paper introduces a unified TableQA framework that: (1) provides a unified representation for structured tables as multi-index Pandas data frames, (2) uses Python as a powerful querying language, and (3) uses few-shot prompting to translate NL questions into Python programs, which are executable on Pandas data frames. Furthermore, to answer complex relational questions with extended program functionality and external knowledge, our framework allows customized APIs that Python programs can call. We experiment with four TableQA datasets that involve tables of different structures -- relational, multi-table, and hierarchical matrix shapes -- and achieve prominent improvements over past state-of-the-art systems. In ablation studies, we (1) show benefits from our multi-index representation and APIs over baselines that use only an LLM, and (2) demonstrate that our approach is modular and can incorporate additional APIs.


title: Scattering for defocusing mass sub-critical NLS

abstract: In this paper, we consider the $L_x^2$-scattering of defocusing mass sub-critical nonlinear Schr\"odinger equations with low weighted initial condition. It is known that the scattering holds with $\mathcal{F} H^1$-data, while the continuity of inverse wave operator breaks down with $L^2$-data. Moreover, for large $\mathcal{F} H^s$-data with $s<1$, there only exists the wave operator result, but scattering results are lacking. Our subject is to study the scattering in low weights space. Our results are divided into two parts. Our first result presents a systematic study on the scattering on $\mathcal{F} H^s$ for certain $s<1$, without any restrictions on smallness or radial symmetry. This extends the previous results to spaces with lower weights. Our second result is the almost sure scattering on $L^2$ by introducing a ``narrowed'' Wiener randomization in physical space. For mass subcritical NLS when $d\ge 2$, this result represents the first scattering result without imposing any conditions related to smallness, radial symmetry, or weighted properties on the initial data.


title: Feasibility of extracting the proton weak charge from quantum-control measurements of atomic parity violation on the $2s-3s$ or $2s-4s$ transition in hydrogen

abstract: We explore the feasibility of extracting electroweak observables from a measurement of atomic parity violation in hydrogen. Our proposed quantum-control scheme focuses on the $2s-3s$ or $2s-4s$ transitions in hydrogen. This work is motivated by the recently observed anomaly in the W-boson mass, which may substantially modify the Standard Model value of the proton weak charge. We also study the accuracy of the previously employed approximations in computing parity-violating effects in hydrogen.


title: Entanglement entropy and the boundary action of edge modes

abstract: We consider an antisymmetric gauge field in the Minkowski space of $d$-dimension and decompose it in terms of the antisymmetric tensor harmonics and fix the gauge. The Gauss law implies that the normal component of the field strength on the spherical entangling surface will label the superselection sectors. From the two-point function of the field strength on the sphere, we evaluate the logarithmic divergent term of the entanglement entropy of edge modes of $p$-form field. We observe that the logarithmic divergent term in entanglement entropy of edge modes coincides with the edge partition function of co-exact $p$-form on the sphere when expressed in terms of the Harish-Chandra characters. We also develop a boundary path integral of the antisymmetric $p$-form gauge field. From the boundary path integral, we show that the edge mode partition function corresponds to the co-exact $(p-1)$-forms on the boundary. This boundary path integral agrees with the direct evaluation of the entanglement entropy of edge modes extracted from the two-point function of the normal component of the field strength on the entangling surface.


title: Identifiability of total effects from abstractions of time series causal graphs

abstract: We study the problem of identifiability of the total effect of an intervention from observational time series in the situation, common in practice, where one only has access to abstractions of the true causal graph. We consider here two abstractions: the extended summary causal graph, which conflates all lagged causal relations but distinguishes between lagged and instantaneous relations, and the summary causal graph which does not give any indication about the lag between causal relations. We show that the total effect is always identifiable in extended summary causal graphs and provide sufficient conditions for identifiability in summary causal graphs. We furthermore provide adjustment sets allowing to estimate the total effect whenever it is identifiable.


title: On Partial Shape Correspondence and Functional Maps

abstract: While dealing with matching shapes to their parts, we often apply a tool known as functional maps. The idea is to translate the shape matching problem into ``convenient'' spaces by which matching is performed algebraically by solving a least squares problem. Here, we argue that such formulations, though popular in this field, introduce errors in the estimated match when partiality is invoked. Such errors are unavoidable even for advanced feature extraction networks, and they can be shown to escalate with increasing degrees of shape partiality, adversely affecting the learning capability of such systems. To circumvent these limitations, we propose a novel approach for partial shape matching. Our study of functional maps led us to a novel method that establishes direct correspondence between partial and full shapes through feature matching bypassing the need for functional map intermediate spaces. The Gromov distance between metric spaces leads to the construction of the first part of our loss functions. For regularization we use two options: a term based on the area preserving property of the mapping, and a relaxed version that avoids the need to resort to functional maps. The proposed approach shows superior performance on the SHREC'16 dataset, outperforming existing unsupervised methods for partial shape matching. Notably, it achieves state-of-the-art results on the SHREC'16 HOLES benchmark, superior also compared to supervised methods. We demonstrate the benefits of the proposed unsupervised method when applied to a new dataset PFAUST for part-to-full shape correspondence


title: Federated learning compression designed for lightweight communications

abstract: Federated Learning (FL) is a promising distributed method for edge-level machine learning, particularly for privacysensitive applications such as those in military and medical domains, where client data cannot be shared or transferred to a cloud computing server. In many use-cases, communication cost is a major challenge in FL due to its natural intensive network usage. Client devices, such as smartphones or Internet of Things (IoT) nodes, have limited resources in terms of energy, computation, and memory. To address these hardware constraints, lightweight models and compression techniques such as pruning and quantization are commonly adopted in centralised paradigms. In this paper, we investigate the impact of compression techniques on FL for a typical image classification task. Going further, we demonstrate that a straightforward method can compresses messages up to 50% while having less than 1% of accuracy loss, competing with state-of-the-art techniques.


title: General mean-field BSDEs with diagonally quadratic generators in multi-dimension

abstract: The purpose of this paper is to investigate general mean-field backward stochastic differential equations (MFBSDEs) in multi-dimension with diagonally quadratic generators $f(\omega,t,y,z,\mu)$, that is, the coefficients depend not only on the solution processes $(Y,Z)$, but also on their law $\mathbb{P}_{(Y,Z)}$, as well as have a diagonally quadratic growth in $Z$ and super-linear growth (or even a quadratic growth) in the law of $Z$ which is totally new. We start by establishing through a fixed point theorem the existence and the uniqueness of local solutions in the ``Markovian case'' $f(t,Y_{t},Z_{t},\mathbb{P}_{(Y_{t},Z_{t})})$ when the terminal value is bounded. Afterwards, global solutions are constructed by stitching local solutions. Finally, employing the $\theta$-method, we explore the existence and the uniqueness of global solutions for diagonally quadratic mean-field BSDEs with convex generators, even in the case of unbounded terminal values that have exponential moments of all orders. These results are extended to a Volterra-type case where the coefficients can even be of quadratic growth with respect to the law of $Z$.


title: CAwa-NeRF: Instant Learning of Compression-Aware NeRF Features

abstract: Modeling 3D scenes by volumetric feature grids is one of the promising directions of neural approximations to improve Neural Radiance Fields (NeRF). Instant-NGP (INGP) introduced multi-resolution hash encoding from a lookup table of trainable feature grids which enabled learning high-quality neural graphics primitives in a matter of seconds. However, this improvement came at the cost of higher storage size. In this paper, we address this challenge by introducing instant learning of compression-aware NeRF features (CAwa-NeRF), that allows exporting the zip compressed feature grids at the end of the model training with a negligible extra time overhead without changing neither the storage architecture nor the parameters used in the original INGP paper. Nonetheless, the proposed method is not limited to INGP but could also be adapted to any model. By means of extensive simulations, our proposed instant learning pipeline can achieve impressive results on different kinds of static scenes such as single object masked background scenes and real-life scenes captured in our studio. In particular, for single object masked background scenes CAwa-NeRF compresses the feature grids down to 6% (1.2 MB) of the original size without any loss in the PSNR (33 dB) or down to 2.4% (0.53 MB) with a slight virtual loss (32.31 dB).


title: Tree of Clarifications: Answering Ambiguous Questions with Retrieval-Augmented Large Language Models

abstract: Questions in open-domain question answering are often ambiguous, allowing multiple interpretations. One approach to handling them is to identify all possible interpretations of the ambiguous question (AQ) and to generate a long-form answer addressing them all, as suggested by Stelmakh et al., (2022). While it provides a comprehensive response without bothering the user for clarification, considering multiple dimensions of ambiguity and gathering corresponding knowledge remains a challenge. To cope with the challenge, we propose a novel framework, Tree of Clarifications (ToC): It recursively constructs a tree of disambiguations for the AQ -- via few-shot prompting leveraging external knowledge -- and uses it to generate a long-form answer. ToC outperforms existing baselines on ASQA in a few-shot setup across the metrics, while surpassing fully-supervised baselines trained on the whole training set in terms of Disambig-F1 and Disambig-ROUGE. Code is available at https://github.com/gankim/tree-of-clarifications.


title: Human Reliability Assessment method applied to investigate human factors in NDT -- The case of the interpretation of radiograms in the French nuclear sector

abstract: This communication reports on a study carried out in the context of the collaborative FOEHN project (Human and Organizational Factors in Non-Destructive Evaluation) supported by the French National Research Agency. The motivation of this project comes from the observation that human and Organizational factors (HOF) are not sufficiently considered by the NDT community. Its goal is to analyse and model the influence of the HOF on selected cases of study in the perspective of a better evaluation of the performance of inspections. The communication is focused on a radiographic test (RT) case of study in which it appeared that several successive inspections had failed to detect an existing in-service defect. The analysis and modelling of HOF related to interpretation of films has been achieved in the framework of the CREAM (Cognitive and Reliability and Error Analysis Method). A survey has been conducted during the training and the maintaining of the proficiency of NDT (Non Destructive Testing) operators. This was followed by a non-participant observation of operators on site and several individual interviews including a sample of people covering the main organizational and hierarchical roles (eg. project management, management, operations, invigilation). The exchange with the HOF experts resulted in a hierarchical analysis of ''radiogram interpretation'' tasks (31 sub-tasks) and a list of contextual and organizational factors that may affect the performance of interpretation of films by the operator. From such a description the CREAM method allows to determine critical tasks and probability of ``errors'' linked to a limited set of ``Common Performance Conditions'' (CPC). The first conclusions of this study are that the model CREAM seems well-adapted to the estimation of the impact of HOF on NDT performances. The next phases should be to apply it to other tasks (here only radiograph interpretation) and techniques. The expected benefit of this study is to provide tools for the evaluation and optimisation of NDT implementation.


title: Degree $6$ hyperbolic polynomials and orders of moduli

abstract: We consider real univariate degree $d$ real-rooted polynomials with non-vanishing coefficients. Descartes' rule of signs implies that such a polynomial has $\tilde{c}$ positive and $\tilde{p}$ negative roots counted with multiplicity, where $\tilde{c}$ and $\tilde{p}$ are the numbers of sign changes and sign preservations in the sequence of its coefficients, $\tilde{c}+\tilde{p}=d$. For $d=6$, we give the exhaustive answer to the question: When the moduli of all $6$ roots are distinct and arranged on the real positive half-axis, in which positions can the moduli of the negative roots be depending on the signs of the coefficients?


title: Gaia Focused Product Release: Asteroid orbital solution. Properties and assessment

abstract: Context. We report the exploitation of a sample of epoch astrometry for 157 000 asteroids, the same object in the Gaia Data Release 3, extended over the time coverage planned for the Gaia DR4, which is not expected before the end of 2025. This data set covers more than one full orbital period for the vast majority of these asteroids. The orbital solutions are derived from the Gaia data alone over a relatively short arc compared to the observation history of many of these asteroids. Aims. The work aims to produce orbital elements for a large set of asteroids based on 66 months of accurate astrometry provided by Gaia and to assess the accuracy of these orbital solutions with a comparison to the best available orbits derived from independent observations. A second validation is performed with accurate occultation timings. Methods. We processed the raw astrometric measurements of Gaia to obtain astrometric positions of moving objects with 1D sub-mas accuracy at the bright end. For each asteroid that we matched to the data, an orbit fitting was attempted in the form of the best fit of the initial conditions at the median epoch. Results. Orbits are provided in the form of state vectors in the International Celestial Reference Frame for 156 764 asteroids, including near-Earth objects, main-belt asteroids, and Trojans. For the asteroids with the best observations, the (formal) relative uncertainty is better than 1E10. Results are compared to orbits available from the Jet Propulsion Laboratory and MPC. Their orbits are based on much longer data arcs, but from positions of lower quality. The relative differences in semi-major axes have a mean of 5E10 and a scatter of 5E9.


title: Interaction-Driven Active 3D Reconstruction with Object Interiors

abstract: We introduce an active 3D reconstruction method which integrates visual perception, robot-object interaction, and 3D scanning to recover both the exterior and interior, i.e., unexposed, geometries of a target 3D object. Unlike other works in active vision which focus on optimizing camera viewpoints to better investigate the environment, the primary feature of our reconstruction is an analysis of the interactability of various parts of the target object and the ensuing part manipulation by a robot to enable scanning of occluded regions. As a result, an understanding of part articulations of the target object is obtained on top of complete geometry acquisition. Our method operates fully automatically by a Fetch robot with built-in RGBD sensors. It iterates between interaction analysis and interaction-driven reconstruction, scanning and reconstructing detected moveable parts one at a time, where both the articulated part detection and mesh reconstruction are carried out by neural networks. In the final step, all the remaining, non-articulated parts, including all the interior structures that had been exposed by prior part manipulations and subsequently scanned, are reconstructed to complete the acquisition. We demonstrate the performance of our method via qualitative and quantitative evaluation, ablation studies, comparisons to alternatives, as well as experiments in a real environment.


title: Lightning graph matching

abstract: Graph matching aims to find correspondences between two graphs. It is a fundamental task in pattern recognition. The classical spectral matching algorithm has time complexity $\mathcal{O}(n^4)$ and space complexity $\mathcal{O}(n^4)$, where $n$ is the number of nodes. Such a complexity limits the applicability to large-scale graph matching tasks. This paper proposes an efficient redesign of spectral matching by transforming the graph matching problem into a 1D linear assignment problem, which can be solved efficiently by sorting two $n \times 1$ vectors. The resulting algorithm is named the lightning spectral assignment method (LiSA), which enjoys a complexity of $\mathcal{O}(n^2)$. Numerical experiments demonstrate the efficiency and the theoretical analysis of the strategy.


title: BM2CP: Efficient Collaborative Perception with LiDAR-Camera Modalities

abstract: Collaborative perception enables agents to share complementary perceptual information with nearby agents. This would improve the perception performance and alleviate the issues of single-view perception, such as occlusion and sparsity. Most existing approaches mainly focus on single modality (especially LiDAR), and not fully exploit the superiority of multi-modal perception. We propose a collaborative perception paradigm, BM2CP, which employs LiDAR and camera to achieve efficient multi-modal perception. It utilizes LiDAR-guided modal fusion, cooperative depth generation and modality-guided intermediate fusion to acquire deep interactions among modalities of different agents, Moreover, it is capable to cope with the special case where one of the sensors, same or different type, of any agent is missing. Extensive experiments validate that our approach outperforms the state-of-the-art methods with 50X lower communication volumes in both simulated and real-world autonomous driving scenarios. Our code is available at https://github.com/byzhaoAI/BM2CP.


title: Establishing Vocabulary Tests as a Benchmark for Evaluating Large Language Models

abstract: Vocabulary tests, once a cornerstone of language modeling evaluation, have been largely overlooked in the current landscape of Large Language Models (LLMs) like Llama, Mistral, and GPT. While most LLM evaluation benchmarks focus on specific tasks or domain-specific knowledge, they often neglect the fundamental linguistic aspects of language understanding and production. In this paper, we advocate for the revival of vocabulary tests as a valuable tool for assessing LLM performance. We evaluate seven LLMs using two vocabulary test formats across two languages and uncover surprising gaps in their lexical knowledge. These findings shed light on the intricacies of LLM word representations, their learning mechanisms, and performance variations across models and languages. Moreover, the ability to automatically generate and perform vocabulary tests offers new opportunities to expand the approach and provide a more complete picture of LLMs' language skills.


title: Design and Implementation of an RSSI-Based Bluetooth Low Energy Indoor Localization System

abstract: Indoor Positioning System (IPS) is a crucial technology that enables medical staff and hospital managements to accurately locate and track persons or assets inside the medical buildings. Among other technologies, Bluetooth Low Energy (BLE) can be exploited for achieving an energy-efficient and low-cost solution. This work presents the design and implementation of an received signal strength indicator (RSSI)-based indoor localization system. The paper shows the implementation of a low complex weighted k-Nearest Neighbors algorithm that processes raw RSSI data from connection-less iBeacon's. The designed hardware and firmware are implemented around the low-power and low-cost nRF52832 from Nordic Semiconductor. Experimental evaluation with the real-time data processing has been evaluated and presented in a 7.2 m by 7.2 m room with furniture and 5 beacon nodes. The experimental results show an average error of only 0.72 m in realistic conditions. Finally, the overall power consumption of the fixed beacon with a periodic advertisement of 100 ms is only 50 uA at 3 V, which leads to a long-lasting solution of over one year with a 500 mAh coin battery.


title: Robot-Assisted Navigation for Visually Impaired through Adaptive Impedance and Path Planning

abstract: This paper presents a framework to navigate visually impaired people through unfamiliar environments by means of a mobile manipulator. The Human-Robot system consists of three key components: a mobile base, a robotic arm, and the human subject who gets guided by the robotic arm via physically coupling their hand with the cobot's end-effector. These components, receiving a goal from the user, traverse a collision-free set of waypoints in a coordinated manner, while avoiding static and dynamic obstacles through an obstacle avoidance unit and a novel human guidance planner. With this aim, we also present a legs tracking algorithm that utilizes 2D LiDAR sensors integrated into the mobile base to monitor the human pose. Additionally, we introduce an adaptive pulling planner responsible for guiding the individual back to the intended path if they veer off course. This is achieved by establishing a target arm end-effector position and dynamically adjusting the impedance parameters in real-time through a impedance tuning unit. To validate the framework we present a set of experiments both in laboratory settings with 12 healthy blindfolded subjects and a proof-of-concept demonstration in a real-world scenario.


title: Characterization of iLGADs using soft X-rays

abstract: Experiments at synchrotron radiation sources and X-ray Free-Electron Lasers in the soft X-ray energy range ($250$eV--$2$keV) stand to benefit from the adaptation of the hybrid silicon detector technology for low energy photons. Inverse Low Gain Avalanche Diode (iLGAD) sensors provide an internal gain, enhancing the signal-to-noise ratio and allowing single photon detection below $1$keV using hybrid detectors. In addition, an optimization of the entrance window of these sensors enhances their quantum efficiency (QE). In this work, the QE and the gain of a batch of different iLGAD diodes with optimized entrance windows were characterized using soft X-rays at the Surface/Interface:Microscopy beamline of the Swiss Light Source synchrotron. Above $250$eV, the QE is larger than $55\%$ for all sensor variations, while the charge collection efficiency is close to $100\%$. The average gain depends on the gain layer design of the iLGADs and increases with photon energy. A fitting procedure is introduced to extract the multiplication factor as a function of the absorption depth of X-ray photons inside the sensors. In particular, the multiplication factors for electron- and hole-triggered avalanches are estimated, corresponding to photon absorption beyond or before the gain layer, respectively.


title: A Hybrid GNN approach for predicting node data for 3D meshes

abstract: Metal forging is used to manufacture dies. We require the best set of input parameters for the process to be efficient. Currently, we predict the best parameters using the finite element method by generating simulations for the different initial conditions, which is a time-consuming process. In this paper, introduce a hybrid approach that helps in processing and generating new data simulations using a surrogate graph neural network model based on graph convolutions, having a cheaper time cost. We also introduce a hybrid approach that helps in processing and generating new data simulations using the model. Given a dataset representing meshes, our focus is on the conversion of the available information into a graph or point cloud structure. This new representation enables deep learning. The predicted result is similar, with a low error when compared to that produced using the finite element method. The new models have outperformed existing PointNet and simple graph neural network models when applied to produce the simulations.


title: Strong and Efficient Baselines for Open Domain Conversational Question Answering

abstract: Unlike the Open Domain Question Answering (ODQA) setting, the conversational (ODConvQA) domain has received limited attention when it comes to reevaluating baselines for both efficiency and effectiveness. In this paper, we study the State-of-the-Art (SotA) Dense Passage Retrieval (DPR) retriever and Fusion-in-Decoder (FiD) reader pipeline, and show that it significantly underperforms when applied to ODConvQA tasks due to various limitations. We then propose and evaluate strong yet simple and efficient baselines, by introducing a fast reranking component between the retriever and the reader, and by performing targeted finetuning steps. Experiments on two ODConvQA tasks, namely TopiOCQA and OR-QuAC, show that our method improves the SotA results, while reducing reader's latency by 60%. Finally, we provide new and valuable insights into the development of challenging baselines that serve as a reference for future, more intricate approaches, including those that leverage Large Language Models (LLMs).


title: Once Upon a $\textit{Time}$ in $\textit{Graph}$: Relative-Time Pretraining for Complex Temporal Reasoning

abstract: Our physical world is constantly evolving over time, rendering challenges for pre-trained language models to understand and reason over the temporal contexts of texts. Existing work focuses on strengthening the direct association between a piece of text and its time-stamp. However, the knowledge-time association is usually insufficient for the downstream tasks that require reasoning over temporal dependencies between knowledge. In this work, we make use of the underlying nature of time, all temporally-scoped sentences are strung together through a one-dimensional time axis, and suggest creating a graph structure based on the relative placements of events along the time axis. Inspired by the graph view, we propose RemeMo ($\underline{Re}$lative Ti$\underline{me}$ $\underline{Mo}$deling), which explicitly connects all temporally-scoped facts by modeling the time relations between any two sentences. Experimental results show that RemeMo outperforms the baseline T5 on multiple temporal question answering datasets under various settings. Further analysis suggests that RemeMo is especially good at modeling long-range complex temporal dependencies. We release our code and pre-trained checkpoints at $\href{https://github.com/DAMO-NLP-SG/RemeMo}{\text{this url}}$.


title: Random Forest Kernel for High-Dimension Low Sample Size Classification

abstract: High dimension, low sample size (HDLSS) problems are numerous among real-world applications of machine learning. From medical images to text processing, traditional machine learning algorithms are usually unsuccessful in learning the best possible concept from such data. In a previous work, we proposed a dissimilarity-based approach for multi-view classification, the Random Forest Dissimilarity (RFD), that perfoms state-of-the-art results for such problems. In this work, we transpose the core principle of this approach to solving HDLSS classification problems, by using the RF similarity measure as a learned precomputed SVM kernel (RFSVM). We show that such a learned similarity measure is particularly suited and accurate for this classification context. Experiments conducted on 40 public HDLSS classification datasets, supported by rigorous statistical analyses, show that the RFSVM method outperforms existing methods for the majority of HDLSS problems and remains at the same time very competitive for low or non-HDLSS problems.


title: Quasi-Maximum Likelihood Estimation of long-memory linear processes

abstract: The purpose of this paper is to study the convergence of the quasi-maximum likelihood (QML) estimator for long memory linear processes. We first establish a correspondence between the long-memory linear process representation and the long-memory AR$(\infty)$ process representation. We then establish the almost sure consistency and asymptotic normality of the QML estimator. Numerical simulations illustrate the theoretical results and confirm the good performance of the estimator.


title: Implicit-Explicit Time Integration for the Immersed Wave Equation

abstract: Immersed boundary methods simplify mesh generation by embedding the domain of interest into an extended domain that is easy to mesh, introducing the challenge of dealing with cells that intersect the domain boundary. Combined with explicit time integration schemes, the finite cell method introduces a lower bound for the critical time step size. Explicit transient analyses commonly use the spectral element method due to its natural way of obtaining diagonal mass matrices through nodal lumping. Its combination with the finite cell method is called the spectral cell method. Unfortunately, a direct application of nodal lumping in the spectral cell method is impossible due to the special quadrature necessary to treat the discontinuous integrand inside the cut cells. We analyze an implicit-explicit (IMEX) time integration method to exploit the advantages of the nodal lumping scheme for uncut cells on one side and the unconditional stability of implicit time integration schemes for cut cells on the other. In this hybrid, immersed Newmark IMEX approach, we use explicit second-order central differences to integrate the uncut degrees of freedom that lead to a diagonal block in the mass matrix and an implicit trapezoidal Newmark method to integrate the remaining degrees of freedom (those supported by at least one cut cell). The immersed Newmark IMEX approach preserves the high-order convergence rates and the geometric flexibility of the finite cell method. We analyze a simple system of spring-coupled masses to highlight some of the essential characteristics of Newmark IMEX time integration. We then solve the scalar wave equation on two- and three-dimensional examples with significant geometric complexity to show that our approach is more efficient than state-of-the-art time integration schemes when comparing accuracy and runtime.


title: A self-adaptive genetic algorithm for the flying sidekick travelling salesman problem

abstract: This paper presents a novel approach to solving the Flying Sidekick Travelling Salesman Problem (FSTSP) using a state-of-the-art self-adaptive genetic algorithm. The Flying Sidekick Travelling Salesman Problem is a combinatorial optimisation problem that extends the Travelling Salesman Problem (TSP) by introducing the use of drones. In FSTSP, the objective is to minimise the total time to visit all locations while strategically deploying a drone to serve hard-to-reach customer locations. Also, to the best of my knowledge, this is the first time a self-adaptive genetic algorithm (GA) has been used to solve the FSTSP problem. Experimental results on smaller-sized problem instances demonstrate that this algorithm can find a higher quantity of optimal solutions and a lower percentage gap to the optimal solution compared to rival algorithms. Moreover, on larger-sized problem instances, this algorithm outperforms all rival algorithms on each problem size while maintaining a reasonably low computation time.


title: BatteryML:An Open-source platform for Machine Learning on Battery Degradation

abstract: Battery degradation remains a pivotal concern in the energy storage domain, with machine learning emerging as a potent tool to drive forward insights and solutions. However, this intersection of electrochemical science and machine learning poses complex challenges. Machine learning experts often grapple with the intricacies of battery science, while battery researchers face hurdles in adapting intricate models tailored to specific datasets. Beyond this, a cohesive standard for battery degradation modeling, inclusive of data formats and evaluative benchmarks, is conspicuously absent. Recognizing these impediments, we present BatteryML - a one-step, all-encompass, and open-source platform designed to unify data preprocessing, feature extraction, and the implementation of both traditional and state-of-the-art models. This streamlined approach promises to enhance the practicality and efficiency of research applications. BatteryML seeks to fill this void, fostering an environment where experts from diverse specializations can collaboratively contribute, thus elevating the collective understanding and advancement of battery research.The code for our project is publicly available on GitHub at https://github.com/microsoft/BatteryML.


title: The CARMENES search for exoplanets around M dwarfs. Telluric absorption corrected high S/N optical and near-infrared template spectra of 382 M dwarf stars

abstract: Light from celestial objects interacts with the molecules of the Earth's atmosphere, resulting in the production of telluric absorption lines in ground-based spectral data. Correcting for these lines, which strongly affect red and infrared wavelengths, is often needed in a wide variety of scientific applications. Here, we present the template division telluric modeling (TDTM) technique, a method for accurately removing telluric absorption lines in stars that exhibit numerous intrinsic features. Based on the Earth's barycentric motion throughout the year, our approach is suited for disentangling telluric and stellar spectral components. By fitting a synthetic transmission model, telluric-free spectra are derived. We demonstrate the performance of the TDTM technique in correcting telluric contamination using a high-resolution optical spectral time series of the feature-rich M3.0 dwarf star Wolf 294 that was obtained with the CARMENES spectrograph. We apply the TDTM approach to the CARMENES survey sample, which consists of 382 targets encompassing 22357 optical and 20314 near-infrared spectra, to correct for telluric absorption. The corrected spectra are coadded to construct template spectra for each of our targets. This library of telluric-free, high signal-to-noise ratio, high-resolution (R>80000) templates comprises the most comprehensive collection of spectral M-dwarf data available to date, both in terms of quantity and quality, and is available at the project website (http://carmenes.cab.inta-csic.es).


title: Euclid preparation. XXXI. The effect of the variations in photometric passbands on photometric-redshift accuracy

abstract: The technique of photometric redshifts has become essential for the exploitation of multi-band extragalactic surveys. While the requirements on photo-zs for the study of galaxy evolution mostly pertain to the precision and to the fraction of outliers, the most stringent requirement in their use in cosmology is on the accuracy, with a level of bias at the sub-percent level for the Euclid cosmology mission. A separate, and challenging, calibration process is needed to control the bias at this level of accuracy. The bias in photo-zs has several distinct origins that may not always be easily overcome. We identify here one source of bias linked to the spatial or time variability of the passbands used to determine the photometric colours of galaxies. We first quantified the effect as observed on several well-known photometric cameras, and found in particular that, due to the properties of optical filters, the redshifts of off-axis sources are usually overestimated. We show using simple simulations that the detailed and complex changes in the shape can be mostly ignored and that it is sufficient to know the mean wavelength of the passbands of each photometric observation to correct almost exactly for this bias; the key point is that this mean wavelength is independent of the spectral energy distribution of the source}. We use this property to propose a correction that can be computationally efficiently implemented in some photo-z algorithms, in particular template-fitting. We verified that our algorithm, implemented in the new photo-z code Phosphoros, can effectively reduce the bias in photo-zs on real data using the CFHTLS T007 survey, with an average measured bias Delta z over the redshift range 0.4<z<0.7 decreasing by about 0.02, specifically from Delta z~0.04 to Delta z~0.02 around z=0.5. Our algorithm is also able to produce corrected photometry for other applications.


title: Quectonewton local force sensor

abstract: We report on the realization of a quantum sensor based on trapped atom interferometry in an optical lattice for the measurement of atom-surface interactions, with sub-micrometer-level control of the mean atom-surface separation distance. The force sensor reaches a short-term sensitivity of 3.4 x 10 --28 N at 1 s and a long-term stability of 4 qN (4 x 10 --30 N). We perform force measurements in the 0-300 $\mu$m range, and despite significant stray forces caused by adsorbed atoms on the surface, we obtain evidence of the Casimir-Polder force. Short-range forces are one of the many frontiers of modern physics [1, 2]. In the submillimeter scales, quantum electrodynamics (QED) interactions are dominant, and give rise in the case of atom-surface interactions to the Casimir-Polder force [3]. Since the first highlight of this force [4], several different methods [5] have been able to bring out Casimir-Polder forces, notably by measuring the transmission of an atomic beam through a micronsized cavity [6], diffracting matter waves on a surface [7] or performing spectroscopy in vapor cells [8, 9]. However these approaches have struggled to achieve the high measurement sensitivity required to detect the very weak forces involved all while maintaining a good understanding of the setup geometry, particularly the distance separating atoms from the surface. Few experiments have achieved measuring Casimir-Polder forces while controlling directly the atom-surface distance. In the range from tens to hundreds of nanometers, the Casimir-Polder potential was measured directly by reflecting the atoms on an evanescent field [10, 11]. In


title: Rethinking Scale Imbalance in Semi-supervised Object Detection for Aerial Images

abstract: This paper focuses on the scale imbalance problem of semi-supervised object detection(SSOD) in aerial images. Compared to natural images, objects in aerial images show smaller sizes and larger quantities per image, increasing the difficulty of manual annotation. Meanwhile, the advanced SSOD technique can train superior detectors by leveraging limited labeled data and massive unlabeled data, saving annotation costs. However, as an understudied task in aerial images, SSOD suffers from a drastic performance drop when facing a large proportion of small objects. By analyzing the predictions between small and large objects, we identify three imbalance issues caused by the scale bias, i.e., pseudo-label imbalance, label assignment imbalance, and negative learning imbalance. To tackle these issues, we propose a novel Scale-discriminative Semi-Supervised Object Detection (S^3OD) learning pipeline for aerial images. In our S^3OD, three key components, Size-aware Adaptive Thresholding (SAT), Size-rebalanced Label Assignment (SLA), and Teacher-guided Negative Learning (TNL), are proposed to warrant scale unbiased learning. Specifically, SAT adaptively selects appropriate thresholds to filter pseudo-labels for objects at different scales. SLA balances positive samples of objects at different scales through resampling and reweighting. TNL alleviates the imbalance in negative samples by leveraging information generated by a teacher model. Extensive experiments conducted on the DOTA-v1.5 benchmark demonstrate the superiority of our proposed methods over state-of-the-art competitors. Codes will be released soon.


title: A Reusable Machine-Calculus for Automated Resource Analyses

abstract: An automated resource analysis technique is introduced, targeting a Call-By-Push-Value abstract machine, with memory prediction as a practical goal. The machine has a polymorphic and linear type system enhanced with a first-order logical fragment, which encodes both low-level operational semantics of resource manipulations and high-level synthesis of algorithmic complexity. Resource analysis must involve a diversity of static analysis, for escape, aliasing, algorithmic invariants, and more. Knowing this, we implement the Automated Amortized Resource Analysis framework (AARA) from scratch in our generic system. In this setting, access to resources is a state-passing effect which produces a compile-time approximation of runtime resource usage. We implemented type inference constraint generation for our calculus, accompanied with an elaboration of bounds for iterators on algebraic datatypes, for minimal ML-style programming languages with Call-by-Value and Call-By-Push-Value semantics. The closed-formed bounds are derived as multivariate polynomials over the integers. This now serves as a base for the development of an experimental toolkit for automated memory analysis of functional languages.


title: Extended Deep Adaptive Input Normalization for Preprocessing Time Series Data for Neural Networks

abstract: Data preprocessing is a crucial part of any machine learning pipeline, and it can have a significant impact on both performance and training efficiency. This is especially evident when using deep neural networks for time series prediction and classification: real-world time series data often exhibit irregularities such as multi-modality, skewness and outliers, and the model performance can degrade rapidly if these characteristics are not adequately addressed. In this work, we propose the EDAIN (Extended Deep Adaptive Input Normalization) layer, a novel adaptive neural layer that learns how to appropriately normalize irregular time series data for a given task in an end-to-end fashion, instead of using a fixed normalization scheme. This is achieved by optimizing its unknown parameters simultaneously with the deep neural network using back-propagation. Our experiments, conducted using synthetic data, a credit default prediction dataset, and a large-scale limit order book benchmark dataset, demonstrate the superior performance of the EDAIN layer when compared to conventional normalization methods and existing adaptive time series preprocessing layers.


title: On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control

abstract: The Turing completeness of continuous Chemical Reaction Networks (CRNs) states that any computable real function can be computed by a continuous CRN on a finite set of molecular species, possibly restricted to elementary reactions, i.e. with at most two reactants and mass action law kinetics. In this paper, we introduce a more stringent notion of robust online analog computation, and Absolute Functional Robustness (AFR), for the CRNs that stabilize the concentration values of some output species to the result of one function of the input species concentrations, in a perfectly robust manner with respect to perturbations of both intermediate and output species. We prove that the set of real functions stabilized by a CRN with mass action law kinetics is precisely the set of real algebraic functions. Based on this result, we present a compiler which takes as input any algebraic function (defined by one polynomial and one point for selecting one branch of the algebraic curve defined by the polynomial) and generates an abstract CRN to stabilize it. Furthermore, we provide error bounds to estimate and control the error of an unperturbed system, under the assumption that the environment inputs are driven by k-Lipschitz functions.


title: An updated State-of-the-Art Overview of transcriptomic Deconvolution Methods

abstract: Although bulk transcriptomic analyses have significantly contributed to an enhanced comprehension of multifaceted diseases, their exploration capacity is impeded by the heterogeneous compositions of biological samples. Indeed, by averaging expression of multiple cell types, RNA-Seq analysis is oblivious to variations in cellular changes, hindering the identification of the internal constituents of tissues, involved in disease progression. On the other hand, single-cell techniques are still time, manpower and resource-consuming analyses.To address the intrinsic limitations of both bulk and single-cell methodologies, computational deconvolution techniques have been developed to estimate the frequencies of cell subtypes within complex tissues. These methods are especially valuable for dissecting intricate tissue niches, with a particular focus on tumour microenvironments (TME).In this paper, we offer a comprehensive overview of deconvolution techniques, classifying them based on their methodological characteristics, the type of prior knowledge required for the algorithm, and the statistical constraints they address. Within each category identified, we delve into the theoretical aspects for implementing the underlying method, while providing an in-depth discussion of their main advantages and disadvantages in supplementary materials.Notably, we emphasise the advantages of cutting-edge deconvolution tools based on probabilistic models, as they offer robust statistical frameworks that closely align with biological realities. We anticipate that this review will provide valuable guidelines for computational bioinformaticians in order to select the appropriate method in alignment with their statistical and biological objectives.We ultimately end this review by discussing open challenges that must be addressed to accurately quantify closely related cell types from RNA sequencing data, and the complementary role of single-cell RNA-Seq to that purpose.


title: Testing the spatial geometry of the universe with TianQin: the prospect of using supermassive black hole binaries

abstract: The determination of the spatial geometry of the universe plays an important role in modern cosmology. Any deviation from the cosmic curvature $\Omega_K=0$ would have a profound impact on the primordial inflation paradigm and fundamental physics. In this paper, we carry out a systematic study of the prospect of measuring cosmic curvature with the inspiral signal of supermassive black hole binaries (SMBHBs) that could be detected with TianQin. The study is based on a cosmological-model-independent method that extended the application of gravitational wave (GW) standard sirens in cosmology. By comparing the distances from future simulated GW events and simulated $H(z)$ data, we evaluate if TianQin would produce robust constraints on the cosmic curvature parameter $\Omega_{k}$. More specifically, we consider 3-yr to 10-yr observations of supermassive black hole binaries with total masses ranging from $10^{3}M_\odot$ to $10^{7}M_\odot$. Our results show that in the future, with the synergy of 10-yr high-quality observations, we can tightly constrain the curvature parameter at the level of $1\sigma$ $\Omega_k=-0.002\pm0.061$. Moreover, our findings indicate that the total mass of SMBHB does influence the estimation of cosmic curvature, implied by the analysis performed on different subsamples of gravitational wave data. Therefore, TianQin is expected to provide a powerful and competitive probe of the spatial geometry of the universe, compared to future spaced-based detectors such as DECIGO.


title: A Survey on LLM-Generated Text Detection: Necessity, Methods, and Future Directions

abstract: The powerful ability to understand, follow, and generate complex language emerging from large language models (LLMs) makes LLM-generated text flood many areas of our daily lives at an incredible speed and is widely accepted by humans. As LLMs continue to expand, there is an imperative need to develop detectors that can detect LLM-generated text. This is crucial to mitigate potential misuse of LLMs and safeguard realms like artistic expression and social networks from harmful influence of LLM-generated content. The LLM-generated text detection aims to discern if a piece of text was produced by an LLM, which is essentially a binary classification task. The detector techniques have witnessed notable advancements recently, propelled by innovations in watermarking techniques, statistics-based detectors, neural-base detectors, and human-assisted methods. In this survey, we collate recent research breakthroughs in this area and underscore the pressing need to bolster detector research. We also delve into prevalent datasets, elucidating their limitations and developmental requirements. Furthermore, we analyze various LLM-generated text detection paradigms, shedding light on challenges like out-of-distribution problems, potential attacks, real-world data issues and the lack of effective evaluation framework. Conclusively, we highlight interesting directions for future research in LLM-generated text detection to advance the implementation of responsible artificial intelligence (AI). Our aim with this survey is to provide a clear and comprehensive introduction for newcomers while also offering seasoned researchers a valuable update in the field of LLM-generated text detection. The useful resources are publicly available at: https://github.com/NLP2CT/LLM-generated-Text-Detection.


title: On Learning Polynomial Recursive Programs

abstract: We introduce the class of P-finite automata. These are a generalisation of weighted automata, in which the weights of transitions can depend polynomially on the length of the input word. P-finite automata can also be viewed as simple tail-recursive programs in which the arguments of recursive calls can non-linearly refer to a variable that counts the number of recursive calls. The nomenclature is motivated by the fact that over a unary alphabet P-finite automata compute so-called P-finite sequences, that is, sequences that satisfy a linear recurrence with polynomial coefficients. Our main result shows that P-finite automata can be learned in polynomial time in Angluin's MAT exact learning model. This generalises the classical results that deterministic finite automata and weighted automata over a field are respectively polynomial-time learnable in the MAT model.


title: Unraveling the Skillsets of Data Scientists: Text Mining Analysis of Dutch University Master Programs in Data Science and Artificial Intelligence

abstract: The growing demand for data scientists in the global labor market and the Netherlands has led to a rise in data science and artificial intelligence (AI) master programs offered by universities. However, there is still a lack of clarity regarding the specific skillsets of data scientists. This study aims to address this issue by employing Correlated Topic Modeling (CTM) to analyse the content of 41 master programs offered by seven Dutch universities. We assess the differences and similarities in the core skills taught by these programs, determine the subject-specific and general nature of the skills, and provide a comparison between the different types of universities offering these programs. Our findings reveal that research, data processing, statistics and ethics are the predominant skills taught in Dutch data science and AI master programs, with general universities emphasizing research skills and technical universities focusing more on IT and electronic skills. This study contributes to a better understanding of the diverse skillsets of data scientists, which is essential for employers, universities, and prospective students.


title: Aqueous self-assembly of a wide range of sophorolipid and glucolipid microbial bioamphiphiles (biosurfactants): considerations on the structure-properties relationship

abstract: Sophorolipids are well-known scaled-up microbial glycolipid biosurfactants with a strong potential for commercialization due to their biological origin and mildness in contact with the skin and the environment compared to classical surfactants. However, their association properties in water are still poorly understood, they cannot be predicted and their behavior in solution challenges half a century of knowledge generated in the field of surfactant science. By studying forty different types of sophorolipids and sophorosides in water using small angle X-ray scattering, and optical and cryogenic transmission electron microscopy, this work provides better understanding of their structure-property relationship and identifies which chemical groups in their molecular structure have a critical influence on their self-assembly properties. Structural features like the number of sugar headgroups, acetylation, end-chain functional group, (un)saturation, lactonization and length of chain are adjusted to both rationalize their impact and understand their effect on self-assembly. The number of sugar groups, pH, (un)saturation and lactonization were found to have a critical impact on sophorolipid self-assembly. The chemical nature of the end-chain functional group and chain length were also found to have a possibly critical impact, depending on the specific type of chemical function (COOH and long chains are critical). Mono- and diacetylation, as well as the position of sophorose in the fatty acid ($\omega$, $\omega$-1), are not critical, i.e., they did not significantly influence sophorolipid self-assembly.


title: Exponential growth BSDE driven by a marked point process

abstract: In this study, we investigate the well-posedness of exponential growth backward stochastic differential equations (BSDEs) driven by a marked point process (MPP) under unbounded terminal conditions. Our analysis utilizes a fixed-point argument, the $\theta$-method, and an approximation procedure. Additionally, we establish the solvability of mean-reflected exponential growth BSDEs driven by the MPP using the $\theta$-method.


title: MAS: Multi-view Ancestral Sampling for 3D motion generation using 2D diffusion

abstract: We introduce Multi-view Ancestral Sampling (MAS), a method for 3D motion generation, using 2D diffusion models that were trained on motions obtained from in-the-wild videos. As such, MAS opens opportunities to exciting and diverse fields of motion previously under-explored as 3D data is scarce and hard to collect. MAS works by simultaneously denoising multiple 2D motion sequences representing different views of the same 3D motion. It ensures consistency across all views at each diffusion step by combining the individual generations into a unified 3D sequence, and projecting it back to the original views. We demonstrate MAS on 2D pose data acquired from videos depicting professional basketball maneuvers, rhythmic gymnastic performances featuring a ball apparatus, and horse races. In each of these domains, 3D motion capture is arduous, and yet, MAS generates diverse and realistic 3D sequences. Unlike the Score Distillation approach, which optimizes each sample by repeatedly applying small fixes, our method uses a sampling process that was constructed for the diffusion framework. As we demonstrate, MAS avoids common issues such as out-of-domain sampling and mode-collapse. https://guytevet.github.io/mas-page/


title: Measuring the bending rigidity of microbial glucolipid (biosurfactant) bioamphiphile self-assembled structures by neutron spin-echo (NSE): interdigitated vesicles, lamellae and fibers

abstract: Bending rigidity, k, is classically measured for lipid membranes to characterize their nanoscale mechanical properties as a function of composition. Widely employed as a comparative tool, it helps understanding the relationship between the lipid's molecular structure and the elastic properties of its corresponding bilayer. Widely measured for phospholipid membranes in the shape of giant unilamellar vesicles (GUVs), bending rigidity is determined here for three self-assembled structures formed by a new biobased glucolipid bioamphiphile, rather associated to the family of glycolipid biosurfactants than phospholipids. In its oleyl form, glucolipid G-C18:1 can assemble into vesicles or crystalline fibers, while in its stearyl form, glucolipid G-C18:0 can assemble into lamellar gels. Neutron spin-echo (NSE) is employed in the q-range between 0.3 nm-1 (21 nm) and 1.5 nm-1 (4.1 nm) with a spin-echo time in the range of up to 500 ns to characterize the bending rigidity of three different structures (Vesicle suspension, Lamellar gel, Fiber gel) solely composed of a single glucolipid. The low (k= 0.30 $\pm$ 0.04 kbT) values found for the Vesicle suspension and high values found for the Lamellar (k= 130 $\pm$ 40 kbT) and Fiber gels (k= 900 $\pm$ 500 kbT) are unusual when compared to most phospholipid membranes. By attempting to quantify for the first time the bending rigidity of self-assembled bioamphiphiles, this work not only contributes to the fundamental understanding of these new molecular systems, but it also opens new perspectives in their integration in the field of soft materials.


title: Topologically protected entanglement switching around exceptional points

abstract: The robust operation of quantum entanglement states are crucial for applications in quantum information, computing, and communications1-3. However, it has always been a great challenge to complete such a task because of decoherence and disorder. Here, we propose theoretically and demonstrate experimentally an effective scheme to realize robust operation of quantum entanglement states by designing quadruple degeneracy exceptional points. By encircling the exceptional points on two overlapping Riemann energy surfaces, we have realized a chiral switch for entangled states with high fidelity. Owing to the topological protection conferred by the Riemann surface structure, this switching of chirality exhibits strong robustness against perturbations in the encircling path. Furthermore, we have experimentally validated such a scheme on a quantum walk platform. Our work opens up a new way for the application of non-Hermitian physics in the field of quantum information.


title: Generating Prototypes for Contradiction Detection Using Large Language Models and Linguistic Rules

abstract: We introduce a novel data generation method for contradiction detection, which leverages the generative power of large language models as well as linguistic rules. Our vision is to provide a condensed corpus of prototypical contradictions, allowing for in-depth linguistic analysis as well as efficient language model fine-tuning. To this end, we instruct the generative models to create contradicting statements with respect to descriptions of specific contradiction types. In addition, the model is also instructed to come up with completely new contradiction typologies. As an auxiliary approach, we use linguistic rules to construct simple contradictions such as those arising from negation, antonymy and numeric mismatch. We find that our methods yield promising results in terms of coherence and variety of the data. Further studies, as well as manual refinement are necessary to make use of this data in a machine learning setup.


title: Convergence of spectral truncations for compact metric groups

abstract: We consider Gromov-Hausdorff convergence of state spaces for spectral truncations of a compact metric group $G$. We work in the context of order-unit spaces and consider orthogonal projections $P_\Lambda$ in $L^2(G)$ corresponding to finite subsets of irreducible representations $\Lambda \subseteq \widehat G$. We then prove that the sequence of truncated state spaces $\{ S(P_\Lambda C(G) P_\Lambda)\}_\Lambda$ Gromov-Hausdorff converges to the original state space $S(C(G))$, when these are equipped with a metric associated to a Lip-norm which in turn is induced by the action of $G$.


title: The effects of cavitation position on the velocity of a laser-induced microjet extracted using explainable artificial intelligence

abstract: The control of the velocity of a high-speed laser-induced microjet is crucial in applications such as needle-free injection. Previous studies have indicated that the jet velocity is heavily influenced by the volumes of secondary cavitation bubbles generated through laser absorption. However, there has been a lack of investigation of the relationship between the positions of cavitation bubbles and the jet velocity. In this study, we investigate the effects of cavitation bubbles on the jet velocity of laser-induced microjets extracted using explainable artificial intelligence (XAI). An XAI is used to classify the jet velocity from images of cavitation bubbles and to extract features from the images through visualization of the classification process. For this purpose, we run 1000 experiments and collect the corresponding images. The XAI model, which is a feedforward neural network (FNN), is trained to classify the jet velocity from the images of cavitation bubbles. After achieving a high classification accuracy, we analyze the classification process of the FNN. The predictions of the FNN, when considering the cavitation positions, show a higher correlation with the jet velocity than the results considering only cavitation volumes. Further investigation suggested that cavitation that occurs closer to the laser focus position has a higher acceleration effect. These results suggest that the velocity of a high-speed microjet is also affected by the cavitation position.


title: Unleashing the potential of prompt engineering in Large Language Models: a comprehensive review

abstract: This paper delves into the pivotal role of prompt engineering in unleashing the capabilities of Large Language Models (LLMs). Prompt engineering is the process of structuring input text for LLMs and is a technique integral to optimizing the efficacy of LLMs. This survey elucidates foundational principles of prompt engineering, such as role-prompting, one-shot, and few-shot prompting, as well as more advanced methodologies such as the chain-of-thought and tree-of-thoughts prompting. The paper sheds light on how external assistance in the form of plugins can assist in this task, and reduce machine hallucination by retrieving external knowledge. We subsequently delineate prospective directions in prompt engineering research, emphasizing the need for a deeper understanding of structures and the role of agents in Artificial Intelligence-Generated Content (AIGC) tools. We discuss how to assess the efficacy of prompt methods from different perspectives and using different methods. Finally, we gather information about the application of prompt engineering in such fields as education and programming, showing its transformative potential. This comprehensive survey aims to serve as a friendly guide for anyone venturing through the big world of LLMs and prompt engineering.


title: SAMCLR: Contrastive pre-training on complex scenes using SAM for view sampling

abstract: In Computer Vision, self-supervised contrastive learning enforces similar representations between different views of the same image. The pre-training is most often performed on image classification datasets, like ImageNet, where images mainly contain a single class of objects. However, when dealing with complex scenes with multiple items, it becomes very unlikely for several views of the same image to represent the same object category. In this setting, we propose SAMCLR, an add-on to SimCLR which uses SAM to segment the image into semantic regions, then sample the two views from the same region. Preliminary results show empirically that when pre-training on Cityscapes and ADE20K, then evaluating on classification on CIFAR-10, STL10 and ImageNette, SAMCLR performs at least on par with, and most often significantly outperforms not only SimCLR, but also DINO and MoCo.


title: Sedimentation of a single soluble particle at low Reynolds and high P\'eclet numbers

abstract: We investigate experimentally the dissolution of an almost spherical butyramide particle during its sedimentation, in the low Reynolds high P\'eclet regime. The particle sediments in a quiescent aqueous solution, and its shape and position are measured simultaneously by a camera attached to a translation stage. The particle is tracked in real time, and the translation stage moves accordingly to keep the particle in the field of the camera. The measurements from the particle image show that the radius shrinking rate is constant with time, and independent of the initial radius of the particle. We explain this with a simple model, based on the sedimentation law in the Stokes' regime and the mass transfer rate at low Reynolds and high P\'eclet numbers. The theoretical and experimental results are consistent within $20\%$. We introduce two correction factors to take into account the non-sphericity of the particle and the inclusions of air bubbles inside the particle, and reach quantitative agreement. With these corrections, the indirect measurement of the radius shrinking rate deduced from the position measurement is also in agreement with the model. We discuss other correction factors, and explain why there are negligible in the present experiment. We also compute the effective Sherwood number as a function of an effective P\'eclet number.


title: Elastic flow of curves with partial free boundary

abstract: We consider a curve with boundary points free to move on a line in $\mathbb R^2$, which evolves by the $L^2$--gradient flow of the elastic energy, that is a linear combination of the Willmore and the length functional. For such planar evolution problem we study the short and long--time existence. Once we establish under which boundary conditions the PDE's system is well--posed (in our case the Navier boundary conditions), employing the Solonnikov theory for linear parabolic systems in H\"older space, we show that there exists a unique flow in a maximal time interval $[0,T)$. Then, using energy methods we prove that the maximal time is actually $T= + \infty$.


title: Regular ovoids and Cameron-Liebler sets of generators in polar spaces

abstract: Cameron-Liebler sets of generators in polar spaces were introduced a few years ago as natural generalisations of the Cameron-Liebler sets of subspaces in projective spaces. In this article we present the first two constructions of non-trivial Cameron-Liebler sets of generators in polar spaces. Also regular m-ovoids of k-spaces are introduced as a generalization of m-ovoids of polar spaces. They are used in one of the aforementioned constructions of Cameron-Liebler sets.