title: HierSpeech++: Bridging the Gap between Semantic and Acoustic Representation of Speech by Hierarchical Variational Inference for Zero-shot Speech Synthesis

abstract: Large language models (LLM)-based speech synthesis has been widely adopted in zero-shot speech synthesis. However, they require a large-scale data and possess the same limitations as previous autoregressive speech models, including slow inference speed and lack of robustness. This paper proposes HierSpeech++, a fast and strong zero-shot speech synthesizer for text-to-speech (TTS) and voice conversion (VC). We verified that hierarchical speech synthesis frameworks could significantly improve the robustness and expressiveness of the synthetic speech. Furthermore, we significantly improve the naturalness and speaker similarity of synthetic speech even in zero-shot speech synthesis scenarios. For text-to-speech, we adopt the text-to-vec framework, which generates a self-supervised speech representation and an F0 representation based on text representations and prosody prompts. Then, HierSpeech++ generates speech from the generated vector, F0, and voice prompt. We further introduce a high-efficient speech super-resolution framework from 16 kHz to 48 kHz. The experimental results demonstrated that the hierarchical variational autoencoder could be a strong zero-shot speech synthesizer given that it outperforms LLM-based and diffusion-based models. Moreover, we achieved the first human-level quality zero-shot speech synthesis. Audio samples and source code are available at https://github.com/sh-lee-prml/HierSpeechpp.


title: The antinomy of Mr. G{\"o}del

abstract: In order to facilitate historical research in logic, we provide an english translation of a french article by Cha{\"i}m Perelman, called 'L'antinomie de M. G{\"o}del', published in the Bulletins de l'Acad{\'e}mie royale de Belgique in 1936.


title: Some ideas in need of clarification in resolution of singularities and the geometry of discriminants

abstract: This text, which appeared in volume 2313 of the Springer Lecture Notes in Math. dedicated to Catriona Byrne, presents problems in two different areas of algebraic geometry. The first concerns the role of ``infinitely singular'' or ``non Abhyankar'' valuations in the study of local uniformization of valuations with a view to resolution of singularities in positive characteristic. The second one concerns the relationship of the geometry of the discriminant of real miniversal unfoldings in the sense of Thom with the movements of Morse functions on a cobordism which differential geometers use.


title: LIP-RTVE: An Audiovisual Database for Continuous Spanish in the Wild

abstract: Speech is considered as a multi-modal process where hearing and vision are two fundamentals pillars. In fact, several studies have demonstrated that the robustness of Automatic Speech Recognition systems can be improved when audio and visual cues are combined to represent the nature of speech. In addition, Visual Speech Recognition, an open research problem whose purpose is to interpret speech by reading the lips of the speaker, has been a focus of interest in the last decades. Nevertheless, in order to estimate these systems in the currently Deep Learning era, large-scale databases are required. On the other hand, while most of these databases are dedicated to English, other languages lack sufficient resources. Thus, this paper presents a semi-automatically annotated audiovisual database to deal with unconstrained natural Spanish, providing 13 hours of data extracted from Spanish television. Furthermore, baseline results for both speaker-dependent and speaker-independent scenarios are reported using Hidden Markov Models, a traditional paradigm that has been widely used in the field of Speech Technologies.


title: Electronic heat conductivity in a two-temperature state

abstract: Laser irradiation of materials is most commonly modeled with the two-temperature model (TTM), or its combination with molecular dynamics, TTM-MD. For such modeling, the electronic transport coefficients are required. Here, we calculate the electronic heat conductivity at elevated electron temperatures up to 40,000 K. We apply the tight binding formalism to calculate the electron-phonon contribution to the electronic heat conductivity, and the linear response theory (in the single-pole Ritchie-Howie loss function approximation) for its electron-electron counterpart, implemented in the hybrid code XTANT-3. It allows us evaluation of the electronic heat conductivity in a wide range of materials - fcc metals: Al, Ca, Ni, Cu, Sr, Y, Zr, Rh, Pd, Ag, Ir, Pt, Au, and Pb; hcp metals: Mg, Sc, Ti, Co, Zn, Tc, Ru, Cd, Hf, Re, and Os; bcc metals: V, Cr, Fe, Nb, Mo, Ba, Ta, and W; other metals: Sn, Ga, In, Mn, Te, and Se; semimetal graphite; semiconductors - group IV: Si, Ge, and SiC; group III-V: AlAs, AlP, GaP, GaAs, and GaSb; oxides: ZnO, TiO$_2$, and Cu$_2$O; and others: PbI$_2$, ZnS, and B$_4$C.


title: An ordinal analysis of $\Pi_{N}$-Collection

abstract: In this paper we give an ordinal analysis of a set theory with $\Pi_{N}$-Collection.


title: Growth, catalysis and faceting of $\alpha$-Ga$_2$O$_3$ and $\alpha$-(In$_x$Ga$_{1-x}$)$_2$O$_3$ on $m$-plane $\alpha$-Al$_2$O$_3$ by molecular beam epitaxy

abstract: The growth of $\alpha$-Ga$_2$O$_3$ and $\alpha$-(In$_x$Ga$_{1-x}$)$_2$O$_3$ on $m$-plane $\alpha$-Al$_2$O$_3$(10$\bar{1}$0) by molecular beam epitaxy (MBE) and metal-oxide-catalyzed epitaxy (MOCATAXY) is investigated. By systematically exploring the parameter space accessed by MBE and MOCATAXY, phase-pure $\alpha$-Ga$_2$O$_3$(10$\bar{1}$0) and $\alpha$-(In$_x$Ga$_{1-x}$)$_2$O$_3$(10$\bar{1}$0) thin films are realized. The presence of In on the $\alpha$-Ga$_2$O$_3$ growth surface remarkably expands its growth window far into the metal-rich flux regime and to higher growth temperatures. With increasing O-to-Ga flux ratio ($R_{\text{O}}$), In incorporates into $\alpha$-(In$_x$Ga$_{1-x}$)$_2$O$_3$ up to $x \leq 0.08$. Upon a critical thickness, $\beta$-(In$_x$Ga$_{1-x}$)$_2$O$_3$ nucleates and subsequently heteroepitaxially grows on top of $\alpha$-(In$_x$Ga$_{1-x}$)$_2$O$_3$ facets. Metal-rich MOCATAXY growth conditions, where $\alpha$-Ga$_2$O$_3$ would not conventionally stabilize, lead to single-crystalline $\alpha$-Ga$_2$O$_3$ with negligible In incorporation and improved surface morphology. Higher $T_{\text{G}}$ further results in single-crystalline $\alpha$-Ga$_2$O$_3$ with well-defined terraces and step edges at their surfaces. For $R_{\text{O}} \leq 0.53$, In acts as a surfactant on the $\alpha$-Ga$_2$O$_3$ growth surface by favoring step edges, while for $R_{\text{O}} \geq 0.8$, In incorporates and leads to a-plane $\alpha$-(In$_x$Ga$_{1-x}$)$_2$O$_3$ faceting and the subsequent ($\bar{2}$01) $\beta$-(In$_x$Ga$_{1-x}$)$_2$O$_3$ growth on top. Thin film analysis by STEM reveals highly crystalline $\alpha$-Ga$_2$O$_3$ layers and interfaces. We provide a phase diagram to guide the MBE and MOCATAXY growth of single-crystalline $\alpha$-Ga$_2$O$_3$ on $\alpha$-Al$_2$O$_3$(10$\bar{1}$0).


title: HiFi-Syn: Hierarchical Granularity Discrimination for High-Fidelity Synthesis of MR Images with Structure Preservation

abstract: Synthesizing medical images while preserving their structural information is crucial in medical research. In such scenarios, the preservation of anatomical content becomes especially important. Although recent advances have been made by incorporating instance-level information to guide translation, these methods overlook the spatial coherence of structural-level representation and the anatomical invariance of content during translation. To address these issues, we introduce hierarchical granularity discrimination, which exploits various levels of semantic information present in medical images. Our strategy utilizes three levels of discrimination granularity: pixel-level discrimination using a Brain Memory Bank, structure-level discrimination on each brain structure with a re-weighting strategy to focus on hard samples, and global-level discrimination to ensure anatomical consistency during translation. The image translation performance of our strategy has been evaluated on three independent datasets (UK Biobank, IXI, and BraTS 2018), and it has outperformed state-of-the-art algorithms. Particularly, our model excels not only in synthesizing normal structures but also in handling abnormal (pathological) structures, such as brain tumors, despite the variations in contrast observed across different imaging modalities due to their pathological characteristics. The diagnostic value of synthesized MR images containing brain tumors has been evaluated by radiologists. This indicates that our model may offer an alternative solution in scenarios where specific MR modalities of patients are unavailable. Extensive experiments further demonstrate the versatility of our method, providing unique insights into medical image translation.


title: The Frobenius Problem for the Proth Numbers

abstract: Let $n$ be a positive integer greater than $2$. We define \textit{the Proth numerical semigroup}, $P_{k}(n)$, generated by $\{k 2^{n+i}+1 \,\mid\, i \in \mathbb{N}\}$, where $k$ is an odd positive number and $k < 2^{n}$. In this paper, we introduce the Frobenius problem for the Proth numerical semigroup $P_{k}(n)$ and give formulas for the embedding dimension of $P_{k}(n)$. We solve the Frobenius problem for $P_{k}(n)$ by giving a closed formula for the Frobenius number. Moreover, we show that $P_{k}(n)$ has an interesting property such as being Wilf.


title: Proximity-enabled control of spin-orbit coupling in phosphorene symmetrically and asymmetrically encapsulated by WSe$_2$ monolayers

abstract: We analyze, using first-principles calculations and the method of invariants, the spin-orbit proximity effects in trilayer heterostructures comprising phosphorene and encapsulating WSe$_2$ monolayers. We focus on four different configurations, in which the top/bottom WSe$_2$ monolayer is twisted by 0 or 60 degrees with respect to phosphorene, and analyze the spin splitting of phosphorene hole bands around the $\Gamma$ point. Our results show that the spin texture of phosphorene hole bands can be dramatically modified by different encapsulations of phosphorene monolayer. For a symmetrically encapsulated phosphorene, the momentum-dependent spin-orbit field has the out-of-plane component only, simulating the spin texture of phosphorene-like group-IV monochalcogenide ferroelectrics. Furthermore, we reveal that the direction of the out-of-plane spin-orbit field can be controlled by switching the twist angle from 0 to 60 degrees. Finally, we show that the spin texture in asymmetrically encapsulated phosphorene has the dominant in-plane component of the spin-orbit field, comparable to the Rashba effect in phosphorene with an applied sizable external electric field. Our results confirm that the significant modification and control of the spin texture is possible in low common-symmetry heterostructures, paving the way for using different substrates to modify spin properties in materials important for spintronics.


title: Speciation controls the kinetics of iron hydroxide precipitation and transformation

abstract: The formation of energetically favourable and metastable mineral phases within the Fe-H2O system controls the long-term mobility of iron complexes as well as other aqueous phase constituents in natural aquifers, soils and other environmentally and industrially relevant systems. The fundamental mechanism controlling the formation of these solid phases has remained enigmatic. Here, we develop a general state-of-the-art partial equilibrium model and succeed in predicting the rate of amorphous 2-line ferrihydrite precipitation, dissolution and overall transformation to crystalline goethite at alkaline pH. All mechanistic steps constituting the transformation mechanism accurately predict the experimentally measured solid and aqueous phase composition over time, involving only a single kinetic rate constant each. It is found that the precipitation of goethite (i) occurs from solution and (ii) is limited by the comparatively slow dissolution of the first forming amorphous phase 2-line ferrihydrite. A generalised transformation mechanism applicable to near-neutral and mildly acidic pH further illustrates that differences in the kinetics of Fe(III) precipitation are controlled by the coordination environment of the predominant Fe(III) hydrolysis product. Findings provide a framework for the modelling of other iron(bearing) phases across a broad range of aqueous phase compositions.


title: Towards a Gateway for Knowledge Graph Schemas Collection, Analysis, and Embedding

abstract: One of the significant barriers to the training of statistical models on knowledge graphs is the difficulty that scientists have in finding the best input data to address their prediction goal. In addition to this, a key challenge is to determine how to manipulate these relational data, which are often in the form of particular triples (i.e., subject, predicate, object), to enable the learning process. Currently, many high-quality catalogs of knowledge graphs, are available. However, their primary goal is the re-usability of these resources, and their interconnection, in the context of the Semantic Web. This paper describes the LiveSchema initiative, namely, a first version of a gateway that has the main scope of leveraging the gold mine of data collected by many existing catalogs collecting relational data like ontologies and knowledge graphs. At the current state, LiveSchema contains - 1000 datasets from 4 main sources and offers some key facilities, which allow to: i) evolving LiveSchema, by aggregating other source catalogs and repositories as input sources; ii) querying all the collected resources; iii) transforming each given dataset into formal concept analysis matrices that enable analysis and visualization services; iv) generating models and tensors from each given dataset.


title: Robust Hole-Detection in Triangular Meshes Irrespective of the Presence of Singular Vertices

abstract: In this work, we present a boundary and hole detection approach that traverses all the boundaries of an edge-manifold triangular mesh, irrespectively of the presence of singular vertices, and subsequently determines and labels all holes of the mesh. The proposed automated hole-detection method is valuable to the computer-aided design (CAD) community as all half-edges within the mesh are utilized and for each half-edge the algorithm guarantees both the existence and the uniqueness of the boundary associated to it. As existing hole-detection approaches assume that singular vertices are absent or may require mesh modification, these methods are ill-equipped to detect boundaries/holes in real-world meshes that contain singular vertices. We demonstrate the method in an underwater autonomous robotic application, exploiting surface reconstruction methods based on point cloud data. In such a scenario the determined holes can be interpreted as information gaps, enabling timely corrective action during the data acquisition. However, the scope of our method is not confined to these two sectors alone; it is versatile enough to be applied on any edge-manifold triangle mesh. An evaluation of the method is performed on both synthetic and real-world data (including a triangle mesh from a point cloud obtained by a multibeam sonar). The source code of our reference implementation is available: https://github.com/Mauhing/hole-detection-on-triangle-mesh.


title: GLAD: Global-Local View Alignment and Background Debiasing for Unsupervised Video Domain Adaptation with Large Domain Gap

abstract: In this work, we tackle the challenging problem of unsupervised video domain adaptation (UVDA) for action recognition. We specifically focus on scenarios with a substantial domain gap, in contrast to existing works primarily deal with small domain gaps between labeled source domains and unlabeled target domains. To establish a more realistic setting, we introduce a novel UVDA scenario, denoted as Kinetics->BABEL, with a more considerable domain gap in terms of both temporal dynamics and background shifts. To tackle the temporal shift, i.e., action duration difference between the source and target domains, we propose a global-local view alignment approach. To mitigate the background shift, we propose to learn temporal order sensitive representations by temporal order learning and background invariant representations by background augmentation. We empirically validate that the proposed method shows significant improvement over the existing methods on the Kinetics->BABEL dataset with a large domain gap. The code is available at https://github.com/KHUVLL/GLAD.


title: Analysis of Visual Features for Continuous Lipreading in Spanish

abstract: During a conversation, our brain is responsible for combining information obtained from multiple senses in order to improve our ability to understand the message we are perceiving. Different studies have shown the importance of presenting visual information in these situations. Nevertheless, lipreading is a complex task whose objective is to interpret speech when audio is not available. By dispensing with a sense as crucial as hearing, it will be necessary to be aware of the challenge that this lack presents. In this paper, we propose an analysis of different speech visual features with the intention of identifying which of them is the best approach to capture the nature of lip movements for natural Spanish and, in this way, dealing with the automatic visual speech recognition task. In order to estimate our system, we present an audiovisual corpus compiled from a subset of the RTVE database, which has been used in the Albayz\'in evaluations. We employ a traditional system based on Hidden Markov Models with Gaussian Mixture Models. Results show that, although the task is difficult, in restricted conditions we obtain recognition results which determine that using eigenlips in combination with deep features is the best visual approach.


title: A Hilbert--Mumford criterion for nilsolitons

abstract: We give an algebraic criterion for a nilpotent real Lie algebra and prove that it provides a necessary and sufficient condition for the associated nilpotent Lie group to admit left-invariant Ricci solitons, called nilsolitons. As an application of this result, we generalise Nikolayevsky's criterion for the existence of nilsolitons to nilpotent Lie algebras without nice bases. We further prove a modified version of the Taketomi--Tamaru conjecture for nilpotent Lie groups which gives an obstruction to the existence of nilsolitons.


title: Prime Distribution and Siegel Zeroes

abstract: Let $\chi$ be a Dirichlet character mod $D$, let $L(s,\chi)$ be its associated $L$-function, and let $\psi(x,q,a)$ denote Chebyshev's prime-counting function. For a fixed $R>9$, we prove that under the assumption of an exceptional character $\chi$ with $L(1,\chi)<\log^{-R} D$, there exists a range of $x$ for which $$\psi(x,q,a)=\frac{\psi(x)}{\phi(q)}\left(1-\chi\left(\frac{aD}{(q,D)}\right)+o(1)\right)$$ holds for $q<x^{\frac{16}{31}-\epsilon}$, as well as slightly better bounds for $q$ if we take an average over a range of $q$. This improves on a Friedlander and Iwaniec 2003 result that requires $q<x^{\frac{233}{462}-\epsilon}$ and $R\geq 554,401^{554,401}$. As a corollary, we prove a Brun-Titchmarsh theorem for primes in congruence classes $a$ mod $q$ where $D|q$ and $\chi(a)=1$, i.e. the classes where the set of primes is sparse under the assumption of a Siegel zero.


title: A General Technique for Searching in Implicit Sets via Function Inversion

abstract: Given a function $f$ from the set $[N]$ to a $d$-dimensional integer grid, we consider data structures that allow efficient orthogonal range searching queries in the image of $f$, without explicitly storing it. We show that, if $f$ is of the form $[N]\to [2^{w}]^d$ for some $w=\mathrm{polylog} (N)$ and is computable in constant time, then, for any $0<\alpha <1$, we can obtain a data structure using $\tilde {O}(N^{1-\alpha / 3})$ words of space such that, for a given $d$-dimensional axis-aligned box $B$, we can search for some $x\in [N]$ such that $f(x) \in B$ in time $\tilde{O}(N^{\alpha})$. This result is obtained simply by combining integer range searching with the Fiat-Naor function inversion scheme, which was already used in data-structure problems previously. We further obtain - data structures for range counting and reporting, predecessor, selection, ranking queries, and combinations thereof, on the set $f([N])$, - data structures for preimage size and preimage selection queries for a given value of $f$, and - data structures for selection and ranking queries on geometric quantities computed from tuples of points in $d$-space. These results unify and generalize previously known results on 3SUM-indexing and string searching, and are widely applicable as a black box to a variety of problems. In particular, we give a data structure for a generalized version of gapped string indexing, and show how to preprocess a set of points on an integer grid in order to efficiently compute (in sublinear time), for points contained in a given axis-aligned box, their Theil-Sen estimator, the $k$th largest area triangle, or the induced hyperplane that is the $k$th furthest from the origin.


title: Self-Supervised Deconfounding Against Spatio-Temporal Shifts: Theory and Modeling

abstract: As an important application of spatio-temporal (ST) data, ST traffic forecasting plays a crucial role in improving urban travel efficiency and promoting sustainable development. In practice, the dynamics of traffic data frequently undergo distributional shifts attributed to external factors such as time evolution and spatial differences. This entails forecasting models to handle the out-of-distribution (OOD) issue where test data is distributed differently from training data. In this work, we first formalize the problem by constructing a causal graph of past traffic data, future traffic data, and external ST contexts. We reveal that the failure of prior arts in OOD traffic data is due to ST contexts acting as a confounder, i.e., the common cause for past data and future ones. Then, we propose a theoretical solution named Disentangled Contextual Adjustment (DCA) from a causal lens. It differentiates invariant causal correlations against variant spurious ones and deconfounds the effect of ST contexts. On top of that, we devise a Spatio-Temporal sElf-superVised dEconfounding (STEVE) framework. It first encodes traffic data into two disentangled representations for associating invariant and variant ST contexts. Then, we use representative ST contexts from three conceptually different perspectives (i.e., temporal, spatial, and semantic) as self-supervised signals to inject context information into both representations. In this way, we improve the generalization ability of the learned context-oriented representations to OOD ST traffic forecasting. Comprehensive experiments on four large-scale benchmark datasets demonstrate that our STEVE consistently outperforms the state-of-the-art baselines across various ST OOD scenarios.


title: Cooperative RIS and STAR-RIS assisted mMIMO Communication: Analysis and Optimization

abstract: Reconfigurable intelligent surface (RIS) has emerged as a cost-effective and promising solution to extend the wireless signal coverage and improve the performance via passive signal reflection. Different from existing works which do not account for the cooperation between RISs or do not provide full space coverage, we propose the marriage of cooperative double-RIS with simultaneously transmitting and reflecting RIS (STAR-RIS) technologies denoted as RIS/STAR-RIS under correlated Rayleigh fading conditions to assist the communication in a massive multiple-input multiple-output (mMIMO) setup. The proposed architecture is superior since it enjoys the benefits of the individual designs. We introduce a channel estimation approach of the cascaded channels with reduced overhead. Also, we obtain the deterministic equivalent (DE) of the downlink achievable sum spectral efficiency (SE) in closed form based on large-scale statistics. Notably, relied on statistical channel state information (CSI), we optimise both surfaces by means of the projected gradient ascent method (PGAM), and obtain the gradients in closed form. The proposed optimization achieves to maximise the sum SE of such a complex system, and has low complexity and low overhead since it can be performed at every several coherence intervals. Numerical results show the benefit of the proposed architecture and verify the analytical framework. In particular, we show that the RIS/STAR-RIS architecture outperforms the conventional double-RIS or its single-RIS counterparts.


title: CSMeD: Bridging the Dataset Gap in Automated Citation Screening for Systematic Literature Reviews

abstract: Systematic literature reviews (SLRs) play an essential role in summarising, synthesising and validating scientific evidence. In recent years, there has been a growing interest in using machine learning techniques to automate the identification of relevant studies for SLRs. However, the lack of standardised evaluation datasets makes comparing the performance of such automated literature screening systems difficult. In this paper, we analyse the citation screening evaluation datasets, revealing that many of the available datasets are either too small, suffer from data leakage or have limited applicability to systems treating automated literature screening as a classification task, as opposed to, for example, a retrieval or question-answering task. To address these challenges, we introduce CSMeD, a meta-dataset consolidating nine publicly released collections, providing unified access to 325 SLRs from the fields of medicine and computer science. CSMeD serves as a comprehensive resource for training and evaluating the performance of automated citation screening models. Additionally, we introduce CSMeD-FT, a new dataset designed explicitly for evaluating the full text publication screening task. To demonstrate the utility of CSMeD, we conduct experiments and establish baselines on new datasets.


title: PhayaThaiBERT: Enhancing a Pretrained Thai Language Model with Unassimilated Loanwords

abstract: While WangchanBERTa has become the de facto standard in transformer-based Thai language modeling, it still has shortcomings in regard to the understanding of foreign words, most notably English words, which are often borrowed without orthographic assimilation into Thai in many contexts. We identify the lack of foreign vocabulary in WangchanBERTa's tokenizer as the main source of these shortcomings. We then expand WangchanBERTa's vocabulary via vocabulary transfer from XLM-R's pretrained tokenizer and pretrain a new model using the expanded tokenizer, starting from WangchanBERTa's checkpoint, on a new dataset that is larger than the one used to train WangchanBERTa. Our results show that our new pretrained model, PhayaThaiBERT, outperforms WangchanBERTa in many downstream tasks and datasets.


title: MaskFlow: Object-Aware Motion Estimation

abstract: We introduce a novel motion estimation method, MaskFlow, that is capable of estimating accurate motion fields, even in very challenging cases with small objects, large displacements and drastic appearance changes. In addition to lower-level features, that are used in other Deep Neural Network (DNN)-based motion estimation methods, MaskFlow draws from object-level features and segmentations. These features and segmentations are used to approximate the objects' translation motion field. We propose a novel and effective way of incorporating the incomplete translation motion field into a subsequent motion estimation network for refinement and completion. We also produced a new challenging synthetic dataset with motion field ground truth, and also provide extra ground truth for the object-instance matchings and corresponding segmentation masks. We demonstrate that MaskFlow outperforms state of the art methods when evaluated on our new challenging dataset, whilst still producing comparable results on the popular FlyingThings3D benchmark dataset.


title: Fin-QD: A Computational Design Framework for Soft Grippers: Integrating MAP-Elites and High-fidelity FEM

abstract: Computational design can excite the full potential of soft robotics that has the drawbacks of being highly nonlinear from material, structure, and contact. Up to date, enthusiastic research interests have been demonstrated for individual soft fingers, but the frame design space (how each soft finger is assembled) remains largely unexplored. Computationally design remains challenging for the finger-based soft gripper to grip across multiple geometrical-distinct object types successfully. Including the design space for the gripper frame can bring huge difficulties for conventional optimisation algorithms and fitness calculation methods due to the exponential growth of high-dimensional design space. This work proposes an automated computational design optimisation framework that generates gripper diversity to individually grasp geometrically distinct object types based on a quality-diversity approach. This work first discusses a significantly large design space (28 design parameters) for a finger-based soft gripper, including the rarely-explored design space of finger arrangement that is converted to various configurations to arrange individual soft fingers. Then, a contact-based Finite Element Modelling (FEM) is proposed in SOFA to output high-fidelity grasping data for fitness evaluation and feature measurements. Finally, diverse gripper designs are obtained from the framework while considering features such as the volume and workspace of grippers. This work bridges the gap of computationally exploring the vast design space of finger-based soft grippers while grasping large geometrically distinct object types with a simple control scheme.


title: Is mathematics a game?

abstract: We re-examine the old question to what extent mathematics may be compared to a game. Under the spell of Wittgenstein, we propose that the more refined object of comparison is a "motley of language games", the nature of which was (implicitly) clarified by Hilbert: via different language games, axiomatization lies at the basis of both the rigour and the applicability of mathematics. In the "formalist" game, mathematics resembles chess via a clear conceptual dictionary. Accepting this resemblance: like positions in chess, mathematical sentences cannot be true or false; true statements in mathematics are about sentences, namely that they are theorems (if they are). In principle, the certainty of mathematics resides in proofs, but to this end, in practice these must be "surveyable". Hilbert and Wittgenstein proposed almost oppositie criteria for surveyability; we try to overcome their difference by invoking computer-verified proofs. The "applied"' language game is based on Hilbert's axiomatization program for physics (and other scientific disciplines), refined by Wittgenstein's idea that theorems are yardsticks to which empirical phenomena may be compared, and further improved by invoking elements of van Fraassen's constructive empiricism. From this perspective, in an appendix we also briefly review the varying roles and structures of axioms, definitions, and proofs in mathematics. Our view is not meant as a philosophy of mathematics by itself, but as a coat rack analogous to category theory, onto which various (traditional and new) philosophies of mathematics (such as formalism, intuitionism, structuralism, deductivism, and the philosophy of mathematical practice) may be attached and may even peacefully support each other.


title: Representations of the super-Yangian of type $B(n,m)$

abstract: We are concerned with finite-dimensional irreducible representations of the Yangians associated with the orthosymplectic Lie superalgebras ${\frak osp}_{2n+1|2m}$. Every such representation is highest weight and we use embedding theorems and odd reflections of Yangian type to derive necessary conditions for an irreducible highest weight representation to be finite-dimensional. We conjecture that these conditions are also sufficient. We prove the conjecture in the case $n=1$ and arbitrary $m\geqslant 1$.


title: Speaker-Adapted End-to-End Visual Speech Recognition for Continuous Spanish

abstract: Different studies have shown the importance of visual cues throughout the speech perception process. In fact, the development of audiovisual approaches has led to advances in the field of speech technologies. However, although noticeable results have recently been achieved, visual speech recognition remains an open research problem. It is a task in which, by dispensing with the auditory sense, challenges such as visual ambiguities and the complexity of modeling silence must be faced. Nonetheless, some of these challenges can be alleviated when the problem is approached from a speaker-dependent perspective. Thus, this paper studies, using the Spanish LIP-RTVE database, how the estimation of specialized end-to-end systems for a specific person could affect the quality of speech recognition. First, different adaptation strategies based on the fine-tuning technique were proposed. Then, a pre-trained CTC/Attention architecture was used as a baseline throughout our experiments. Our findings showed that a two-step fine-tuning process, where the VSR system is first adapted to the task domain, provided significant improvements when the speaker adaptation was addressed. Furthermore, results comparable to the current state of the art were reached even when only a limited amount of data was available.


title: Interpretability is in the eye of the beholder: Human versus artificial classification of image segments generated by humans versus XAI

abstract: The evaluation of explainable artificial intelligence is challenging, because automated and human-centred metrics of explanation quality may diverge. To clarify their relationship, we investigated whether human and artificial image classification will benefit from the same visual explanations. In three experiments, we analysed human reaction times, errors, and subjective ratings while participants classified image segments. These segments either reflected human attention (eye movements, manual selections) or the outputs of two attribution methods explaining a ResNet (Grad-CAM, XRAI). We also had this model classify the same segments. Humans and the model largely agreed on the interpretability of attribution methods: Grad-CAM was easily interpretable for indoor scenes and landscapes, but not for objects, while the reverse pattern was observed for XRAI. Conversely, human and model performance diverged for human-generated segments. Our results caution against general statements about interpretability, as it varies with the explanation method, the explained images, and the agent interpreting them.


title: Monitoring the evolution of relative product populations at early times during a photochemical reaction

abstract: Identifying multiple rival reaction products and transient species formed during ultrafast photochemical reactions and determining their time-evolving relative populations are key steps towards understanding and predicting photochemical outcomes. Yet, most contemporary ultrafast studies struggle with clearly identifying and quantifying competing molecular structures/species amongst the emerging reaction products. Here, we show that mega-electronvolt ultrafast electron diffraction in combination with ab initio molecular dynamics calculations offer a powerful route to determining time-resolved populations of the various isomeric products formed after UV (266 nm) excitation of the five-membered heterocyclic molecule 2(5H)-thiophenone. This strategy provides experimental validation of the predicted high (~50%) yield of an episulfide isomer containing a strained 3-membered ring within ~1 ps of photoexcitation and highlights the rapidity of interconversion between the rival highly vibrationally excited photoproducts in their ground electronic state.


title: SU(3) analysis of non-factorizable contributions to decays of Bottom mesons emitting two pseudoscalar mesons

abstract: Two-body weak decays of bottom mesons into two pseudoscalar mesons are examined employing SU(3) flavor symmetry for the nonfactorizable matrix elements. Using certain measured Cabibo-favored modes, we fix the reduced matrix elements and predict the branching ratios of the Cabibbo-angle favored and suppressed decays of B and Bs mesons.


title: Uncertainty-Aware Test Prioritization: Approaches and Empirical Evaluation

abstract: Complex software systems, e.g., Cyber-Physical Systems (CPSs), interact with the real world; thus, they often behave unexpectedly in uncertain environments. Testing such systems is challenging due to limited resources, time, complex testing infrastructure setup, and the inherent uncertainties in their operating environment. Devising uncertainty-aware testing solutions supported with test optimization techniques can be considered as a mandate for tackling this challenge. This paper proposes an uncertainty-aware and time-aware test case prioritization approach, named UncerPrio, for optimizing a sequence of tests to execute with a multi-objective search. To guide the prioritization with uncertainty, we identify four uncertainty measures: uncertainty measurement (AUM), uncertainty space (PUS), the number of uncertainties (ANU), and uncertainty coverage (PUU). Based on these measures and their combinations, we proposed 10 uncertainty-aware and multi-objective test case prioritization problems, and each problem was additionally defined with one cost objective (execution cost, PET) to be minimized and one effective measure (model coverage, PTR) to be maximized. Moreover, considering time constraints for test executions (i.e., time-aware), we defined 10 time budgets for all the 10 problems for identifying the best strategy in solving uncertainty-aware test prioritization. In our empirical study, we employed four well-known Multi-Objective Search Algorithms (MuOSAs): NSGA-II, MOCell, SPEA2, and CellDE with five use cases from two industrial CPS subject systems, and used Random Algorithm (RS) as the comparison baseline. Results show that all the MuOSAs significantly outperformed RS. The strategy of Prob.6 f(PET,PTR,AUM,ANU) (i.e., the problem with uncertainty measures AUM and ANU combined) achieved the overall best performance in observing uncertainty when using 100% time budget.


title: Pricing4APIs: A Rigorous Model for RESTful API Pricings

abstract: APIs are increasingly becoming new business assets for organizations and consequently, API functionality and its pricing should be precisely defined for customers. Pricing is typically composed by different plans that specify a range of limitations, e.g., a Free plan allows 100 monthly requests while a Gold plan has 10000 requests per month. In this context, the OpenAPI Specification (OAS) has emerged to model the functional part of an API, becoming a de facto industry standard and boosting a rich ecosystem of vendor-neutral tools to assist API providers and consumers. In contrast, there is no proposal for modeling API pricings (i.e. their plans and limitations) and this lack hinders the creation of tools that can leverage this information. To deal with this gap, this paper presents a pricing modeling framework that includes: (a) Pricing4APIs model, a comprehensive and rigorous model of API pricings, along SLA4OAI, a serialization that extends OAS; (b) an operation to validate the description of API pricings, with a toolset (sla4oai-analyzer) that has been developed to automate this operation. Additionally, we analyzed 268 real-world APIs to assess the expressiveness of our proposal and created a representative dataset of 54 pricing models to validate our framework.


title: HCA-Net: Hierarchical Context Attention Network for Intervertebral Disc Semantic Labeling

abstract: Accurate and automated segmentation of intervertebral discs (IVDs) in medical images is crucial for assessing spine-related disorders, such as osteoporosis, vertebral fractures, or IVD herniation. We present HCA-Net, a novel contextual attention network architecture for semantic labeling of IVDs, with a special focus on exploiting prior geometric information. Our approach excels at processing features across different scales and effectively consolidating them to capture the intricate spatial relationships within the spinal cord. To achieve this, HCA-Net models IVD labeling as a pose estimation problem, aiming to minimize the discrepancy between each predicted IVD location and its corresponding actual joint location. In addition, we introduce a skeletal loss term to reinforce the model's geometric dependence on the spine. This loss function is designed to constrain the model's predictions to a range that matches the general structure of the human vertebral skeleton. As a result, the network learns to reduce the occurrence of false predictions and adaptively improves the accuracy of IVD location estimation. Through extensive experimental evaluation on multi-center spine datasets, our approach consistently outperforms previous state-of-the-art methods on both MRI T1w and T2w modalities. The codebase is accessible to the public on \href{https://github.com/xmindflow/HCA-Net}{GitHub}.


title: Quantum Gravity Effects on Fermionic Dark Matter and Gravitational Waves

abstract: We explore the phenomenological consequences of breaking discrete global symmetries in quantum gravity (QG). We extend a previous scenario where discrete global symmetries are responsible for scalar dark matter (DM) and domain walls (DWs), to the case of fermionic DM, considered as a feebly interacting massive particle, which achieves the correct DM relic density via the freeze-in mechanism. Due to the mixing between DM and the standard model neutrinos, various indirect DM detection methods can be employed to constrain the QG scale, the scale of freeze-in, and the reheating temperature simultaneously. Since such QG symmetry breaking leads to DW annihilation, this may generate the characteristic gravitational wave background, and hence explain the recent observations of the gravitational wave spectrum by pulsar timing arrays. This work therefore highlights a tantalizing possibility of probing the effective scale of QG from observations.


title: Adapting pretrained speech model for Mandarin lyrics transcription and alignment

abstract: The tasks of automatic lyrics transcription and lyrics alignment have witnessed significant performance improvements in the past few years. However, most of the previous works only focus on English in which large-scale datasets are available. In this paper, we address lyrics transcription and alignment of polyphonic Mandarin pop music in a low-resource setting. To deal with the data scarcity issue, we adapt pretrained Whisper model and fine-tune it on a monophonic Mandarin singing dataset. With the use of data augmentation and source separation model, results show that the proposed method achieves a character error rate of less than 18% on a Mandarin polyphonic dataset for lyrics transcription, and a mean absolute error of 0.071 seconds for lyrics alignment. Our results demonstrate the potential of adapting a pretrained speech model for lyrics transcription and alignment in low-resource scenarios.


title: Multilingual Word Embeddings for Low-Resource Languages using Anchors and a Chain of Related Languages

abstract: Very low-resource languages, having only a few million tokens worth of data, are not well-supported by multilingual NLP approaches due to poor quality cross-lingual word representations. Recent work showed that good cross-lingual performance can be achieved if a source language is related to the low-resource target language. However, not all language pairs are related. In this paper, we propose to build multilingual word embeddings (MWEs) via a novel language chain-based approach, that incorporates intermediate related languages to bridge the gap between the distant source and target. We build MWEs one language at a time by starting from the resource rich source and sequentially adding each language in the chain till we reach the target. We extend a semi-joint bilingual approach to multiple languages in order to eliminate the main weakness of previous works, i.e., independently trained monolingual embeddings, by anchoring the target language around the multilingual space. We evaluate our method on bilingual lexicon induction for 4 language families, involving 4 very low-resource (<5M tokens) and 4 moderately low-resource (<50M) target languages, showing improved performance in both categories. Additionally, our analysis reveals the importance of good quality embeddings for intermediate languages as well as the importance of leveraging anchor points from all languages in the multilingual space.


title: Hyb-NeRF: A Multiresolution Hybrid Encoding for Neural Radiance Fields

abstract: Recent advances in Neural radiance fields (NeRF) have enabled high-fidelity scene reconstruction for novel view synthesis. However, NeRF requires hundreds of network evaluations per pixel to approximate a volume rendering integral, making it slow to train. Caching NeRFs into explicit data structures can effectively enhance rendering speed but at the cost of higher memory usage. To address these issues, we present Hyb-NeRF, a novel neural radiance field with a multi-resolution hybrid encoding that achieves efficient neural modeling and fast rendering, which also allows for high-quality novel view synthesis. The key idea of Hyb-NeRF is to represent the scene using different encoding strategies from coarse-to-fine resolution levels. Hyb-NeRF exploits memory-efficiency learnable positional features at coarse resolutions and the fast optimization speed and local details of hash-based feature grids at fine resolutions. In addition, to further boost performance, we embed cone tracing-based features in our learnable positional encoding that eliminates encoding ambiguity and reduces aliasing artifacts. Extensive experiments on both synthetic and real-world datasets show that Hyb-NeRF achieves faster rendering speed with better rending quality and even a lower memory footprint in comparison to previous state-of-the-art methods.


title: Heuristics for Detecting CoinJoin Transactions on the Bitcoin Blockchain

abstract: This research delves into the intricacies of Bitcoin, a decentralized peer-to-peer network, and its associated blockchain, which records all transactions since its inception. While this ensures integrity and transparency, the transparent nature of Bitcoin potentially compromises users' privacy rights. To address this concern, users have adopted CoinJoin, a method that amalgamates multiple transaction intents into a single, larger transaction to bolster transactional privacy. This process complicates individual transaction tracing and disrupts many established blockchain analysis heuristics. Despite its significance, limited research has been conducted on identifying CoinJoin transactions. Particularly noteworthy are varied CoinJoin implementations such as JoinMarket, Wasabi, and Whirlpool, each presenting distinct challenges due to their unique transaction structures. This study delves deeply into the open-source implementations of these protocols, aiming to develop refined heuristics for identifying their transactions on the blockchain. Our exhaustive analysis covers transactions up to block 760,000, offering a comprehensive insight into CoinJoin transactions and their implications for Bitcoin blockchain analysis.


title: Emergent descriptions at large charge: A foray into the structure of conformal field theories and beyond

abstract: This thesis aims to explore the structure of CFTs with global internal symmetries and beyond via the Large-Charge Expansion (LCE), a semi-classical expansion applicable for states with large global quantum numbers. In the first part of this thesis we study CFT and SSB. We discuss the symmetry-constraints imposed by conformal invariance, introduce the concept of CFT data and the OPE. Concerning SSB, we discuss the existence of NG modes, the general counting rule for the number of NG modes under the spontaneous breaking of global internal symmetries and a generalization of the Goldstone theorem at finite density. In the second part of this thesis we discuss the current state-of-the-art understanding of the LCE and systematically study CFTs with a global O(2) symmetry in the context of the LCE. We discuss the emergence of effective condensed-matter descriptions, in particular superfluids, in correlators involving states with large global quantum numbers. We then use the superfluid EFT description to systematically study two-, three- and four-point functions for CFTs with a global O(2) symmetry. In the last part of this thesis we study CFTs in the double-scaling limit of large charge and large N . We discuss the D = 3 WF fixed point at large N and derive the leading order asymptotics at large charge Q in the double scaling limit Q/N fixed. Next, we use a fixed-charge approach to gain access to the leading order effective potential for the quartic theory, which we then study for spacetime dimensions 2 < D < 6. In D = 3, we reproduce and extend old results originally found by re-summing Feynman diagrams. Finally, we discuss the interacting fixed points of three-dimensional fermionic CFTs in the double-scaling limit. While the GN model exhibits a Fermi-sphere description at large charge, whose fate at finite N is yet to be determined, for the NJL-type models we find a BEC.


title: Quantum Mechanics on a background modulo observation

abstract: In this work we will answer the following question: What remains of Quantum Mechanics when we transform the background space-time into a space modularized by observation or measurement regions ? This new moduli space is constructed by identifying regions of space-time where quantum phase comparison (observation, measurement) is implied. We call it Observation Modular space (OM-space). In addition we replace in QM statements the Plank constant (h) by the quantity $\zeta_0 4 \pi^2$ (where $\zeta_0$ is the Plank Length) or otherwise, replacing $P_0$ (the Planck Momentum) by $4 \pi^2$. This maps Quantum Mechanics into a very rich dual Number Theory which we call Observation Modular Quantum Mechanics (OM-QM). We find the OM-dual to the Dirac Equation, the quantum Wave Function and a free particle's mass. The OM-QM counterparts of the Energy turns out to be a simple function of the zeroes of the Riemann zeta function. We also find the OM-QM correspondents to the electron spin, the electron charge, the Electric Field and the Fine Structure Constant. We also find the OM-QM correspondents of the Heisemberg uncertainty relation and Einstein's General Relativity Field equation emerging as certain limits of a unique OM-QM equation. We also get the OM-QM correspondents of the Gravitational Constant and the Cosmological Constant. We find the analog of holography in the OM-QM side and we get an interpretation of spin as a high dimensional curvature. An interpretation of the OM-QM correspondence is proposed as giving the part of QM information which is not measurement or observation dependent. Some potential future applications of this correspondence are discussed.


title: Successive Incentives

abstract: We study the design of optimal incentives in sequential processes. To do so, we consider a basic and fundamental model in which an agent initiates a value-creating sequential process through costly investment with random success. If unsuccessful, the process stops. If successful, a new agent thereafter faces a similar investment decision, and so forth. For any outcome of the process, the total value is distributed among the agents using a reward rule. Reward rules thus induce a game among the agents. By design, the reward rule may lead to an asymmetric game, yet we are able to show equilibrium existence with optimal symmetric equilibria. We characterize optimal reward rules that yield the highest possible welfare created by the process, and the highest possible expected payoff for the initiator of the process. Our findings show that simple reward rules invoking short-run incentives are sufficient to meet long-run objectives.


title: Multi-Objective Reinforcement Learning Based on Decomposition: A Taxonomy and Framework

abstract: Multi-objective reinforcement learning (MORL) extends traditional RL by seeking policies making different compromises among conflicting objectives. The recent surge of interest in MORL has led to diverse studies and solving methods, often drawing from existing knowledge in multi-objective optimization based on decomposition (MOO/D). Yet, a clear categorization based on both RL and MOO/D is lacking in the existing literature. Consequently, MORL researchers face difficulties when trying to classify contributions within a broader context due to the absence of a standardized taxonomy. To tackle such an issue, this paper introduces multi-objective reinforcement learning based on decomposition (MORL/D), a novel methodology bridging the literature of RL and MOO. A comprehensive taxonomy for MORL/D is presented, providing a structured foundation for categorizing existing and potential MORL works. The introduced taxonomy is then used to scrutinize MORL research, enhancing clarity and conciseness through well-defined categorization. Moreover, a flexible framework derived from the taxonomy is introduced. This framework accommodates diverse instantiations using tools from both RL and MOO/D. Its versatility is demonstrated by implementing it in different configurations and assessing it on contrasting benchmark problems. Results indicate MORL/D instantiations achieve comparable performance to current state-of-the-art approaches on the studied problems. By presenting the taxonomy and framework, this paper offers a comprehensive perspective and a unified vocabulary for MORL. This not only facilitates the identification of algorithmic contributions but also lays the groundwork for novel research avenues in MORL.


title: Underreaction and dynamic inconsistency in communication games under noise

abstract: Communication is rarely perfect, but rather prone to error of transmission and reception. Often the origin of these errors cannot be properly quantified and is thus imprecisely known. We analyze the impact of an ambiguous noise which may alter the received message on a communication game of common interest. The noise is ambiguous in the sense that the parameters of the error-generating process and thus the likelihood to receive a message by mistake are Knightianly unknown. Ex-ante and interim responses are characterized under maxmin preferences. While the sender can disregard ambiguity, the receiver reveals a dynamically inconsistent, but astonishing behavior under a quadratic loss. Their interim actions will be closer to the pooling action than their ex-ante ones, as if facing a higher likelihood of an occurring error.


title: Entropy production by implicit Runge-Kutta schemes

abstract: This paper follows up on the author's recent paper "Entropy Production by Explicit Runge-Kutta schemes", where a formula for the production of entropy by fully discrete schemes with explicit Runge-Kutta time integrators was presented. In this paper, the focus is on implicit Runge-Kutta schemes, for which the fully discrete numerical entropy evolution scheme is derived and tested.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Cost Explosion for Efficient Reinforcement Learning Optimisation of Quantum Circuits

abstract: Large scale optimisation of quantum circuits is a computationally challenging problem. Reinforcement Learning (RL) is a recent approach for learning strategies to optimise quantum circuits by increasing the reward of an optimisation agent. The reward is a function of the quantum circuit costs, such as gate and qubit counts, or circuit depth. Our goal is to improve the agent's optimization strategy, by including hints about how quantum circuits are optimized manually: there are situations when the cost of a circuit should be allowed to temporary explode, before applying optimisations which significantly reduce the circuit's cost. We bring numerical evidence, using Bernstein-Vazirani circuits, to support the advantage of this strategy. Our results are preliminary, and show that allowing cost explosions offers significant advantages for RL training, such as reaching optimum circuits. Cost explosion strategies have the potential to be an essential tool for RL of large-scale quantum circuit optimisation.


title: Entropy and Adjoint Methods

abstract: Aerodynamic drag can be partially approximated by the entropy flux across fluid domain boundaries with a formula due to Oswatitsch. In this paper, we build the adjoint solution that corresponds to this representation of the drag and investigate its relation to the entropy variables, which are linked to the integrated residual of the entropy transport equation. For inviscid isentropic flows, the resulting adjoint variables are identical to the entropy variables, an observation originally due to Fidkowski and Roe, while for non-isentropic flows there is a significant difference that is explicitly demonstrated with analytic solutions in the shocked quasi-1D case. Both approaches are also investigated for viscous and inviscid flows in two and three dimensions, where the adjoint equations and boundary conditions are derived. The application of both approaches to mesh adaptation is investigated, with especial emphasis on inviscid flows with shocks.


title: A study on Satellite-to-Ground Propagation in Urban Environment

abstract: Non-Terrestrial Networks are going to play an important role in future 6G wireless networks to enhance global connectivity a performance in cooperation with terrestrial networks. In order to properly design and deploy non-terrestrial networks, the satellite-to-ground channel must be properly characterized, with particular focus on the urban environment. This paper uses a Ray-Tracing simulation tool to analyze the primary propagation mechanisms and the behaviour of the Rician K-factor as a function of satellite position in a reference urban environment. Non-specular reflection due to surface irregularities emerges as a primary propagation mechanism in non-line-of-sight cases. Additionally, the Rician K-factor shows a slightly increasing trend with elevation angle, in contrast to previous studies.


title: Fair Polylog-Approximate Low-Cost Hierarchical Clustering

abstract: Research in fair machine learning, and particularly clustering, has been crucial in recent years given the many ethical controversies that modern intelligent systems have posed. Ahmadian et al. [2020] established the study of fairness in \textit{hierarchical} clustering, a stronger, more structured variant of its well-known flat counterpart, though their proposed algorithm that optimizes for Dasgupta's [2016] famous cost function was highly theoretical. Knittel et al. [2023] then proposed the first practical fair approximation for cost, however they were unable to break the polynomial-approximate barrier they posed as a hurdle of interest. We break this barrier, proposing the first truly polylogarithmic-approximate low-cost fair hierarchical clustering, thus greatly bridging the gap between the best fair and vanilla hierarchical clustering approximations.


title: Framework for continuous transition to Agile Systems Engineering in the Automotive Industry

abstract: The increasing pressure within VUCA (volatility, uncertainty, complexity and ambiguity) driven environments causes traditional, plan-driven Systems Engineering approaches to no longer suffice. Agility is then changing from a "nice-to-have" to a "must-have" capability for successful system developing organisations. The current state of the art, however, does not provide clear answers on how to map this need in terms of processes, methods, tools and competencies (PMTC) and how to successfully manage the transition within established industries. In this paper, we propose an agile Systems Engineering (SE) Framework for the automotive industry to meet the new agility demand. In addition to the methodological background, we present results of a pilot project in the chassis development department of a German automotive manufacturer and demonstrate the effectiveness of the newly proposed framework. By adopting the described agile SE Framework, companies can foster innovation and collaboration based on a learning, continuous improvement and self-reinforcing base.


title: Testing the Accuracy of Surface Code Decoders

abstract: Large-scale, fault-tolerant quantum computations will be enabled by quantum error-correcting codes (QECC). This work presents the first systematic technique to test the accuracy and effectiveness of different QECC decoding schemes by comparing a look-up table decoder to solutions generated using algorithmic decoders. Specifically, we examine the results of minimum-weight-perfect-matching and belief-propagation decoders against exhaustive look-up tables for surface codes up to distance seven and categorise where errors are accurately corrected in both decoding schemes. While our results are preliminary, we show that significant quantitative results can be generated, comparing how actual error channels are successfully or unsuccessfully decoded. We show that different decoding schemes perform very differently under the same QECC scheme and error model, and detail how decoders can be tested and classified with respect to errors that are successfully decodable. This work paves the way to the data driven tuning of decoder ensembles and will enable tailored design of hybrid decoding schemes that allow for real-time decoding, while maintaining the high theoretical thresholds allowed by specific quantum error correction codes.


title: Watch Your Adjoints! Lack of Mesh Convergence in Inviscid Adjoint Solutions

abstract: It has been long known that 2D and 3D inviscid adjoint solutions are generically singular at sharp trailing edges. In this paper, a concurrent effect is described by which wall boundary values of 2D and 3D inviscid continuous and discrete adjoint solutions based on lift and drag are strongly mesh dependent and do not converge as the mesh is refined. Various numerical tests are performed to characterize the problem. Lift-based adjoint solutions are found to be affected for any flow condition, whereas drag-based adjoint solutions are affected for transonic lifting flows. A (laminar) viscous case is examined as well, but no comparable behavior is found, which suggests that the issue is exclusive to inviscid flows. It is argued that this behavior is caused by the trailing edge adjoint singularity.


title: Laser-induced Demagnetization in van der Waals $XY$- and Ising-like Antiferromagnets NiPS$_3$ and FePS$_3$

abstract: The critical behaviour of laser-induced changes in magnetic ordering is studied experimentally in two-dimensional zigzag antiferromagnets $XY$-like NiPS$_3$ and Ising-like FePS$_3$. To examine laser-induced dynamics in flakes of these compounds, we employ time-resolved exchange linear dichroism effect sensitive to zigzag magnetic ordering and independent of the orientation of the antiferromagnetic vector. In both compounds laser excitation in the vicinity of the absorption edge induces partial quenching of the antiferromagnetic ordering manifested by exchange linear dichroism reduction. The amplitude of the effect varies with temperature as the derivative of the antiferromagnetic vector and exhibits a critical behaviour with the exponents corresponding to $XY$- and Ising-models for NiPS$_3$ and FePS$_3$, respectively. Critical slowing down of the demagnetization in the vicinity of N\'eel temperature is found, however, only in FePS$_3$. In contrast, the increase of the demagnetization time near the ordering temperature in NiPS$_3$ is minor. We show that the difference in the demagnetization times correlates well with the spin specific heat in both compounds. Beyond the range of slowing down, the demagnetization times in NiPS$_3$ and FePS$_3$ are comparable, about 5 - 10 ps, and are longer than those reported earlier for CoPS$_3$ and considerably shorter than for MnPS$_3$. This points to the importance of the unquenched angular momentum of transition-metal ions in laser-induced demagnetization process.


title: Geometry on Surfaces and Higgs bundles

abstract: There are three complete plane geometries of constant curvature: spherical, Euclidean and hyperbolic geometry. We explain how a closed oriented surface can carry a geometry which locally looks like one of these. Focussing on the hyperbolic case we describe how to obtain all hyperbolic structures on a given topological surface, and how to parametrise them. Finally we introduce Higgs bundles and explain how they relate to hyperbolic surfaces. This is an expository paper and we attempt to explain everything in in as simple terms as possible. For reasons of space the references are by no means complete, but we hope the interested reader will be able to use them as a starting point for further exploration.


title: Exact inviscid drag adjoint solution for subcritical flows

abstract: This paper describes an exact solution to the drag-based adjoint Euler equations in two and three dimensions that is valid for irrotational flows.


title: Kondo effect in electrostatically defined ZnO quantum dots

abstract: Quantum devices such as spin qubits have been extensively investigated in electrostatically confined quantum dots using high-quality semiconductor heterostructures like GaAs and Si. Here, we present the first demonstration of electrostatically forming the quantum dots in ZnO heterostructures. Through the transport measurement, we uncover the distinctive signature of the Kondo effect independent of the even-odd electron number parity, which contrasts with the typical behavior of the Kondo effect in GaAs. By analyzing temperature and magnetic field dependences, we find that the absence of the even-odd parity in the Kondo effect is not straightforwardly interpreted by the considerations developed for conventional semiconductors. We propose that, based on the unique parameters of ZnO, electron correlation likely plays a fundamental role in this observation. Our study not only clarifies the physics of correlated electrons in the quantum dot but also holds promise for applications in quantum devices, leveraging the unique features of ZnO.


title: Towards Faster Reinforcement Learning of Quantum Circuit Optimization: Exponential Reward Functions

abstract: Reinforcement learning for the optimization of quantum circuits uses an agent whose goal is to maximize the value of a reward function that decides what is correct and what is wrong during the exploration of the search space. It is an open problem how to formulate reward functions that lead to fast and efficient learning. We propose an exponential reward function which is sensitive to structural properties of the circuit. We benchmark our function on circuits with known optimal depths, and conclude that our function is reducing the learning time and improves the optimization. Our results are a next step towards fast, large scale optimization of quantum circuits.


title: A T-depth two Toffoli gate for 2D square lattice architectures

abstract: We present a novel Clifford+T decomposition of a Toffoli gate. Our decomposition requires no SWAP gates in order to be implemented on 2D square lattices of qubits. This decomposition enables shallower, more fault-tolerant quantum computations on both NISQ and error-corrected architectures. We present the derivation of the circuit, and illustrate the qubit mapping on a Sycamore-like architecture.


title: Proto-strange quark stars from density-dependent quark mass model

abstract: In this paper, we investigate the evolution of strange quark stars (SQS) from birth as proto-strange quark stars to maturity as stable SQSs at a zero temperature. We assume that self-bound free quarks form {entirely the compact} star and study its evolution {through a series of snapshots} using a density-dependent quark mass model. We consider $\beta$-equilibrated stellar matter at two major stages of the star's evolution: neutrino trapped regime and neutrino transparent regime during the deleptonization and cooling processes of the star. We fix the entropy density per baryon and the lepton fraction to investigate the nuclear equation of state (EoS), particle distribution, temperature profile inside the star, sound velocity, polytropic index, and the structure of the star. Our results show that stars with higher neutrino concentrations are slightly more massive than the neutrino-poor ones along the evolution lines of the SQS. We obtain EoSs in agreement with the conformal boundary set through sound velocity, and also the 2 M$_\odot$ mass constraint for NSs was satisfied at all stages of the star's evolution.


title: Unicity of A1-subgroups associated to unipotent elements in simple algebraic groups

abstract: Let k be an algebraically closed field of positive characteristic and G a simple algebraic group defined over k. Under the assumption that the characteristic is a good prime for G, we determine a maximal G-stable subvariety U' of the variety of unipotent elements of G such that for all u in U' any two A1-subgroups of G containing u are G-conjugate. This result establishes to what degree an analogue of the Jacobson-Morozov theorem for Lie algebras is valid for simple algebraic groups defined over fields of (good) positive characteristic


title: Wearable Technologies for Monitoring Upper Extremity Functions During Daily Life in Neurologically Impaired Individuals

abstract: Neurological disorders, including stroke, spinal cord injuries, multiple sclerosis, and Parkinson's disease, generally lead to diminished upper extremity (UE) function, impacting individuals' independence and quality of life. Traditional assessments predominantly focus on standardized clinical tasks, offering limited insights into real-life UE performance. In this context, this review focuses on wearable technologies as a promising solution to monitor UE function in neurologically impaired individuals during daily life activities. Our primary objective is to categorize the different sensors, review the data collection and understand the employed data processing approaches. After screening over 1500 papers and including 21 studies, what comes to light is that the majority of them involved stroke survivors, and predominantly employed accelerometers or inertial measurement units to collect kinematics. Most analyses in these studies were performed offline, focusing on activity duration and frequency as key metrics. Although wearable technology shows potential in monitoring UE function in real-life scenarios, it also appears that a solution combining non-intrusiveness, lightweight design, detailed hand and finger movement capture, contextual information, extended recording duration, ease of use, and privacy protection remains an elusive goal. These are critical characteristics for a monitoring solution and researchers in the field should try to integrate the most in future developments. Last but not least, it stands out a growing necessity for a multimodal approach in capturing comprehensive data on UE function during real-life activities to enhance the personalization of rehabilitation strategies and ultimately improve outcomes for these individuals.


title: Elastic properties and mechanical stability of bilayer graphene: Molecular dynamics simulations

abstract: Graphene has become in last decades a paradigmatic example of two-dimensional and so-called van-der-Waals layered materials, showing large anisotropy in their physical properties. Here we study the elastic properties and mechanical stability of graphene bilayers in a wide temperature range by molecular dynamics simulations. We concentrate on in-plane elastic constants and compression modulus, as well as on the atomic motion in the out-of-plane direction. Special emphasis is placed upon the influence of anharmonicity of the vibrational modes on the physical properties of bilayer graphene. We consider the excess area appearing in the presence of ripples in graphene sheets at finite temperatures. The in-plane compression modulus of bilayer graphene is found to decrease for rising temperature, and results to be higher than for monolayer graphene. We analyze the mechanical instability of the bilayer caused by an in-plane compressive stress. This defines a spinodal pressure for the metastability limit of the material, which depends on the system size. Finite-size effects are described by power laws for the out-of-plane mean-square fluctuation, compression modulus, and spinodal pressure. Further insight into the significance of our results for bilayer graphene is gained from a comparison with data for monolayer graphene and graphite.


title: SO$_2$, silicate clouds, but no CH$_4$ detected in a warm Neptune

abstract: WASP-107b is a warm ($\sim$740 K) transiting planet with a Neptune-like mass of $\sim$30.5 $M_{\oplus}$ and Jupiter-like radius of $\sim$0.94 $R_{\rm J}$, whose extended atmosphere is eroding. Previous observations showed evidence for water vapour and a thick high-altitude condensate layer in WASP-107b's atmosphere. Recently, photochemically produced sulphur dioxide (SO$_2$) was detected in the atmosphere of a hot ($\sim$1,200 K) Saturn-mass planet from transmission spectroscopy near 4.05 $\mu$m, but for temperatures below $\sim$1,000 K sulphur is predicted to preferably form sulphur allotropes instead of SO$_2$. Here we report the 9$\sigma$-detection of two fundamental vibration bands of SO$_2$, at 7.35 $\mu$m and 8.69 $\mu$m, in the transmission spectrum of WASP-107b using the Mid-Infrared Instrument (MIRI) of the JWST. This discovery establishes WASP-107b as the second irradiated exoplanet with confirmed photochemistry, extending the temperature range of exoplanets exhibiting detected photochemistry from $\sim$1,200 K down to $\sim$740 K. Additionally, our spectral analysis reveals the presence of silicate clouds, which are strongly favoured ($\sim$7$\sigma$) over simpler cloud setups. Furthermore, water is detected ($\sim$12$\sigma$), but methane is not. These findings provide evidence of disequilibrium chemistry and indicate a dynamically active atmosphere with a super-solar metallicity.


title: Low Magnetic-Field Neutron Stars in X-ray Binaries

abstract: In this chapter we give an overview of the properties of X-ray binary systems containing a weakly magnetized neutron star. These are old (Giga-years life-time) semi-detached binary systems containing a neutron star with a relatively weak magnetic field (less than $\sim 10^{10}$ Gauss) and a low-mass (less than $1 M_\odot$) companion star orbiting around the common center of mass in a tight system, with orbital period usually less than 1 day. The companion star usually fills its Roche lobe and transfers mass to the neutron star through an accretion disk, where most of the initial potential energy of the in-falling matter is released, reaching temperatures of tens of million Kelvin degrees, and therefore emitting most of the energy in the X-ray band. Their emission is characterized by a fast-time variability, possibly related to the short timescales in the innermost part of the system. Because of the weak magnetic field, the accretion flow can approach the neutron star until it is accreted onto its surface sometimes producing spectacular explosions known as type-I X-ray bursts. In some sources, the weak magnetic field of the neutron star ($\sim 10^8-10^9$ Gauss) is strong enough to channel the accretion flow onto the polar caps, modulating the X-ray emission and revealing the fast rotation of the neutron star at millisecond periods. These systems are important for studies of fundamental physics, and in particular for test of Relativity and alternative theories of Gravity and for studies of the equation of state of ultra-dense matter, which are among the most important goals of modern physics and astrophysics.


title: Optimal Portfolio with Ratio Type Periodic Evaluation under Short-Selling Prohibition

abstract: This paper studies some unconventional utility maximization problems when the ratio type relative portfolio performance is periodically evaluated over an infinite horizon. Meanwhile, the agent is prohibited from short-selling stocks. Our goal is to understand the impact of the periodic reward structure on the long-run constrained portfolio strategy. For power and logarithmic utilities, we can reformulate the original problem into an auxiliary one-period optimization problem. To cope with the auxiliary problem with no short-selling, the dual control problem is introduced and studied, which gives the characterization of the candidate optimal portfolio within one period. With the help of the results from the auxiliary problem, the value function and the optimal constrained portfolio for the original problem with periodic evaluation can be derived and verified, allowing us to discuss some financial implications under the new performance paradigm.


title: Homogeneous incompressible Bingham viscoplastic as a limit of bi-viscosity fluids

abstract: In this paper, the existence of a weak solution for homogeneous incompressible Bingham fluid is investigated. The rheology of such a fluid is defined by a yield stress $\tau_y$ and a discontinuous stress-strain law. This non-Newtonian fluid behaves like a solid at low stresses and like a non-linear fluid above the yield stress. In this work we propose to build a weak solution for Navier stokes Bingham equations using a bi-viscosity fluid as an approximation, in particular, we proved that the bi-viscosity tensor converges weakly to the Bingham tensor.


title: Hyena: Optimizing Homomorphically Encrypted Convolution for Private CNN Inference

abstract: Processing convolution layers remains a huge bottleneck for private deep convolutional neural network (CNN) inference for large datasets. To solve this issue, this paper presents a novel homomorphic convolution algorithm that provides speedup, communication cost, and storage saving. We first note that padded convolution provides the advantage of model storage saving, but it does not support channel packing, thereby increasing the amount of computation and communication. We address this limitation by proposing a novel plaintext multiplication algorithm using the Walsh-Hadamard matrix. Furthermore, we propose the optimization techniques to significantly reduce the latency of the proposed convolution by selecting the optimal encryption parameters and applying lazy reduction. It achieves 1.6-3.8x speedup and reduces the weight storage by 2000-8000x compared to the conventional convolution. When the proposed convolution is employed for CNNs like VGG-16, ResNet-20, and MobileNetV1 on ImageNet, it reduces the end-to-end latency by 1.3-2.6x, the memory usage by 2.1-7.9x and communication cost by 1.7-2.0x compared to conventional method.


title: Cutting-plane methods witout nested approximating sets

abstract: In connection with the needs of solving optimization problems, the development of conditional minimization methods with convenient numerical implementation continues to attract the attention of mathematicians. In this monograph we propose methods for solving mathematical programming problems that belong to the class of cutting methods. The proposed methods are characterized, in particular, by the fact that they contain the possibility of periodically updating approximating sets by discarding accumulating cutting planes, which makes these methods convenient from a practical point of view. The monograph can be used by specialists in the field of mathematical programming, as well as by students studying in the specialties "Applied Mathematics", "Applied Mathematics and Computer Science", etc.


title: Classification of Tabular Data by Text Processing

abstract: Natural Language Processing technology has advanced vastly in the past decade. Text processing has been successfully applied to a wide variety of domains. In this paper, we propose a novel framework, Text Based Classification(TBC), that uses state of the art text processing techniques to solve classification tasks on tabular data. We provide a set of controlled experiments where we present the benefits of using this approach against other classification methods. Experimental results on several data sets also show that this framework achieves comparable performance to that of several state of the art models in accuracy, precision and recall of predicted classes.


title: Spectral functions of the honeycomb lattice with both the Hubbard and long-range Coulomb Interactions

abstract: The absence of screening of the non-local Coulomb interaction in Dirac systems at charge neutrality leads to the breakdown of the Fermi liquid and divergence of the Fermi velocity. On the other hand, Mott Hubbard physics and the concomitant formation of local moments is dominated by the local effective Hubbard interaction. Using quantum Monte Carlo methods combined with stochastic analytical continuation, we compute the single particle spectral function of fermions on the honeycomb lattice for a realistic interaction that includes both the Hubbard interaction and long-ranged Coulomb repulsion. To a first approximation, we find that the generic high-energy features such as the formation of the upper Hubbard band are independent of the long-ranged Coulomb repulsion and determined mostly by the local effective Hubbard interaction. The sub-leading effects of adding the long-range interaction include an enhancement of the bandwidth and a decrease of the spin-polaron quasi-particle weight and lifetime.


title: Transformer ratio growth due to ion motion in plasma wakefield accelerators

abstract: We report a recently discovered counterintuitive effect where breaking of a Langmuir wave in a plasma wakefield accelerator leads to an increase in the accelerating field rather than wave dissipation. The effect relies on the ability of transversely breaking waves to draw wave energy from nearby regions due to the inflow of electrons oscillating collectively and the outflow of electrons moving individually.


title: ALPHA: AnomaLous Physiological Health Assessment Using Large Language Models

abstract: This study concentrates on evaluating the efficacy of Large Language Models (LLMs) in healthcare, with a specific focus on their application in personal anomalous health monitoring. Our research primarily investigates the capabilities of LLMs in interpreting and analyzing physiological data obtained from FDA-approved devices. We conducted an extensive analysis using anomalous physiological data gathered in a simulated low-air-pressure plateau environment. This allowed us to assess the precision and reliability of LLMs in understanding and evaluating users' health status with notable specificity. Our findings reveal that LLMs exhibit exceptional performance in determining medical indicators, including a Mean Absolute Error (MAE) of less than 1 beat per minute for heart rate and less than 1% for oxygen saturation (SpO2). Furthermore, the Mean Absolute Percentage Error (MAPE) for these evaluations remained below 1%, with the overall accuracy of health assessments surpassing 85%. In image analysis tasks, such as interpreting photoplethysmography (PPG) data, our specially adapted GPT models demonstrated remarkable proficiency, achieving less than 1 bpm error in cycle count and 7.28 MAE for heart rate estimation. This study highlights LLMs' dual role as health data analysis tools and pivotal elements in advanced AI health assistants, offering personalized health insights and recommendations within the future health assistant framework.


title: Power System Capacity Planning Considering Seasonal Hydrogen Storage by Salt Caverns

abstract: In China, air conditioning in summer and electric heating in winter lead to seasonal volatility in load power. Therefore, it is urgent to develop economic and efficient long-term energy storage systems to enhance peak regulation. Power-to-hydrogen technology is a perspective solution to balance seasonal power fluctuation. However, current hydrogen storage methods have shortcomings such as small storage capacity, high levelized cost and low operation safety, which the salt cavern hydrogen storage could overcome. This paper considers the use of hydrogen storage in salt caverns as a means of peak shaving. To minimize the overall operating cost, a comprehensive power system capacity planning model is proposed with the consideration of hydrogen storage in salt caverns, which is implemented by adopting an improved fast unit commitment method. Considering the seasonal characteristics of the load power in Jiangsu Province, the capacity of the power system in 2050 has been planned. According to the case study, after the optimal deployment of the salt cavern hydrogen storage system (SCHSS), the construction capacity of renewable units (especially wind power) will be significantly increased with environmental friendliness and lower costs. Compared with the current energy storage method, the overall cost of SCHSS-incorporated power system will be reduced by 22.2% with a carbon emission reduction of 24.4%, and the amount of curtailed wind and solar power will be reduced by 27.0% and 13.6%, respectively.


title: Neural Network Pruning by Gradient Descent

abstract: The rapid increase in the parameters of deep learning models has led to significant costs, challenging computational efficiency and model interpretability. In this paper, we introduce a novel and straightforward neural network pruning framework that incorporates the Gumbel-Softmax technique. This framework enables the simultaneous optimization of a network's weights and topology in an end-to-end process using stochastic gradient descent. Empirical results demonstrate its exceptional compression capability, maintaining high accuracy on the MNIST dataset with only 0.15\% of the original network parameters. Moreover, our framework enhances neural network interpretability, not only by allowing easy extraction of feature importance directly from the pruned network but also by enabling visualization of feature symmetry and the pathways of information propagation from features to outcomes. Although the pruning strategy is learned through deep learning, it is surprisingly intuitive and understandable, focusing on selecting key representative features and exploiting data patterns to achieve extreme sparse pruning. We believe our method opens a promising new avenue for deep learning pruning and the creation of interpretable machine learning systems.


title: MetaStore: High-Performance Metagenomic Analysis via In-Storage Computing

abstract: Metagenomics has led to significant advancements in many fields. Metagenomic analysis commonly involves the key tasks of determining the species present in a sample and their relative abundances. These tasks require searching large metagenomic databases containing information on different species' genomes. Metagenomic analysis suffers from significant data movement overhead due to moving large amounts of low-reuse data from the storage system to the rest of the system. In-storage processing can be a fundamental solution for reducing data movement overhead. However, designing an in-storage processing system for metagenomics is challenging because none of the existing approaches can be directly implemented in storage effectively due to the hardware limitations of modern SSDs. We propose MetaStore, the first in-storage processing system designed to significantly reduce the data movement overhead of end-to-end metagenomic analysis. MetaStore is enabled by our lightweight and cooperative design that effectively leverages and orchestrates processing inside and outside the storage system. Through our detailed analysis of the end-to-end metagenomic analysis pipeline and careful hardware/software co-design, we address in-storage processing challenges for metagenomics via specialized and efficient 1) task partitioning, 2) data/computation flow coordination, 3) storage technology-aware algorithmic optimizations, 4) light-weight in-storage accelerators, and 5) data mapping. Our evaluation shows that MetaStore outperforms the state-of-the-art performance- and accuracy-optimized software metagenomic tools by 2.7-37.2$\times$ and 6.9-100.2$\times$, respectively, while matching the accuracy of the accuracy-optimized tool. MetaStore achieves 1.5-5.1$\times$ speedup compared to the state-of-the-art metagenomic hardware-accelerated tool, while achieving significantly higher accuracy.


title: Inverse Problems with Learned Forward Operators

abstract: Solving inverse problems requires the knowledge of the forward operator, but accurate models can be computationally expensive and hence cheaper variants that do not compromise the reconstruction quality are desired. This chapter reviews reconstruction methods in inverse problems with learned forward operators that follow two different paradigms. The first one is completely agnostic to the forward operator and learns its restriction to the subspace spanned by the training data. The framework of regularisation by projection is then used to find a reconstruction. The second one uses a simplified model of the physics of the measurement process and only relies on the training data to learn a model correction. We present the theory of these two approaches and compare them numerically. A common theme emerges: both methods require, or at least benefit from, training data not only for the forward operator, but also for its adjoint.


title: An efficient quantum algorithm for independent component analysis

abstract: Independent component analysis (ICA) is a fundamental data processing technique to decompose the captured signals into as independent as possible components. Computing the contrast function, which serves as a measure of independence of signals, is vital in the separation process using ICA. This paper presents a quantum ICA algorithm which focuses on computing a specified contrast function on a quantum computer. Using the quantum acceleration in matrix operations, we efficiently deal with Gram matrices and estimate the contrast function with the complexity of $O(\epsilon_1^{-2}\mbox{poly}\log(N/\epsilon_1))$. This estimation subprogram, combined with the classical optimization framework, enables our quantum ICA algorithm, which exponentially reduces the complexity dependence on the data scale compared with classical algorithms. The outperformance is further supported by numerical experiments, while a source separation of a transcriptomic dataset is shown as an example of application.


title: An efficient likelihood-free Bayesian inference method based on sequential neural posterior estimation

abstract: Sequential neural posterior estimation (SNPE) techniques have been recently proposed for dealing with simulation-based models with intractable likelihoods. Unlike approximate Bayesian computation, SNPE techniques learn the posterior from sequential simulation using neural network-based conditional density estimators by minimizing a specific loss function. The SNPE method proposed by Lueckmann et al. (2017) used a calibration kernel to boost the sample weights around the observed data, resulting in a concentrated loss function. However, the use of calibration kernels may increase the variances of both the empirical loss and its gradient, making the training inefficient. To improve the stability of SNPE, this paper proposes to use an adaptive calibration kernel and several variance reduction techniques. The proposed method greatly speeds up the process of training, and provides a better approximation of the posterior than the original SNPE method and some existing competitors as confirmed by numerical experiments.


title: An innovative dose rate independent 2D Ce-doped YAG scintillating dosimetry system for time resolved beam monitoring in ultra-high dose rate electron FLASH radiation therapy

abstract: FLASH-RT has proven beneficial in preclinical studies. However, the lack of accurate real time 2D dosimetry is a limiting factor. In this work, an innovative solution for 2D real time dosimetry in UHDR electron beams is presented. The in-house developed ImageDosis system consists of a scientific camera, with high temporal resolution, and a coating, containing 12% of Y$_3$Al$_5$O$_{12}$:Ce$^{3+}$ as scintillating material. Reference dosimetry was performed by means of radiochromic film, and a (C$_{38}$H$_{34}$P$_2$)MnBr$_4$ point scintillator was used to validate the pulse discrimination properties of the ImageDosis system. Irradiations were performed in two centers (Antwerp and Orsay), with an ElectronFlash accelerator, with varying number of pulses, pulse length, pulse repetition frequency (PRF) and energy. Also, the temporal resolution and 2D properties were investigated. For doses > 3.5 Gy, the ImageDosis showed a linear dose response up to at least 13 Gy. No dose rate dependence was found for an average dose rate up to 140 Gy/s, a dose per pulse up to 2 Gy and a PRF up to 300 Hz. The ImageDosis system showed capable of measuring the dose of the individual pulses up to a PRF of 250 Hz, but did not detect 3% of the pulses, because these pulses were delivered during the dead time of the camera. The maximal difference in FWHM of the field size between the ImageDosis system and the reference was 3.6%. For a nominal field size of 100 mm and 120 mm, a decreased output was observed on the superior part of the field. The ImageDosis system showed linear dose response and no dose rate nor energy dependence. It showed capable of discriminating and measuring the dose of individual pulses and promising 2D characteristics that need further optimization.


title: Total Turning and Motion Range Prediction for Safe Unicycle Control

abstract: Safe and smooth motion control is essential for mobile robots when performing various automation tasks around obstacles, especially in the presence of people and other mobile robots. The total turning and space used by a mobile robot while moving towards a specified goal position play a crucial role in determining the required control effort and complexity. In this paper, we consider a standard unicycle control approach based on angular feedback linearization and provide an explicit analytical measure for determining the total turning effort during unicycle control in terms of unicycle state and control gains. We show that undesired spiral oscillatory motion around the goal position can be avoided by choosing a higher angular control gain compared to the linear control gain. Accordingly, we establish an accurate, explicit triangular motion range bound on the closed-loop unicycle trajectory using the total turning effort. The improved accuracy in motion range prediction results from a stronger dependency on the unicycle state and control parameters. To compare alternative circular, conic, and triangular motion range prediction approaches, we present an application of the proposed unicycle motion control and motion prediction methods for safe unicycle path following around obstacles in numerical simulations.


title: Reflection Properties of Ordinals in Generic Extensions

abstract: We study the question of when a given countable ordinal $\alpha$ is $\Sigma^1_n$- or $\Pi^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove, amongst other things, that adding any number of Cohen or random reals, or forcing with Sacks forcing or any lightface Borel weakly homogeneous ccc forcing notion cannot change such reflection properties. Moreover we show that collapse forcing increases the value of the least reflecting ordinals but, curiously, to ordinals which are still smaller than the $\omega_1$ of $L$.


title: Evaluation Metrics of Language Generation Models for Synthetic Traffic Generation Tasks

abstract: Many Natural Language Generation (NLG) tasks aim to generate a single output text given an input prompt. Other settings require the generation of multiple texts, e.g., for Synthetic Traffic Generation (STG). This generation task is crucial for training and evaluating QA systems as well as conversational agents, where the goal is to generate multiple questions or utterances resembling the linguistic variability of real users. In this paper, we show that common NLG metrics, like BLEU, are not suitable for evaluating STG. We propose and evaluate several metrics designed to compare the generated traffic to the distribution of real user texts. We validate our metrics with an automatic procedure to verify whether they capture different types of quality issues of generated data; we also run human annotations to verify the correlation with human judgements. Experiments on three tasks, i.e., Shopping Utterance Generation, Product Question Generation and Query Auto Completion, demonstrate that our metrics are effective for evaluating STG tasks, and improve the agreement with human judgement up to 20% with respect to common NLG metrics. We believe these findings can pave the way towards better solutions for estimating the representativeness of synthetic text data.


title: Optical orientation of excitons in hybrid metal-semiconductor nanostructures

abstract: We demonstrate the possibility of the optical orientation of excitons in the near field of the metal grating that covers a semiconductor nanostructure. Excitons generated this way have the wave vector greater than the wave vector of the incident radiation. We suggest that optical orientation method is applicable to study the fine structure and kinetics of the hot excitons in semiconductor quantum well.