title: Double-Free-Layer Stochastic Magnetic Tunnel Junctions with Synthetic Antiferromagnets

abstract: Stochastic magnetic tunnel junctions (sMTJ) using low-barrier nanomagnets have shown promise as fast, energy-efficient, and scalable building blocks for probabilistic computing. Despite recent experimental and theoretical progress, sMTJs exhibiting the ideal characteristics necessary for probabilistic bits (p-bit) are still lacking. Ideally, the sMTJs should have (a) voltage bias independence preventing read disturbance (b) uniform randomness in the magnetization angle between the free layers, and (c) fast fluctuations without requiring external magnetic fields while being robust to magnetic field perturbations. Here, we propose a new design satisfying all of these requirements, using double-free-layer sMTJs with synthetic antiferromagnets (SAF). We evaluate the proposed sMTJ design with experimentally benchmarked spin-circuit models accounting for transport physics, coupled with the stochastic Landau-Lifshitz-Gilbert equation for magnetization dynamics. We find that the use of low-barrier SAF layers reduces dipolar coupling, achieving uncorrelated fluctuations at zero-magnetic field surviving up to diameters exceeding ($D\approx 100$ nm) if the nanomagnets can be made thin enough ($\approx 1$-$2$ nm). The double-free-layer structure retains bias-independence and the circular nature of the nanomagnets provides near-uniform randomness with fast fluctuations. Combining our full sMTJ model with advanced transistor models, we estimate the energy to generate a random bit as $\approx$ 3.6 fJ, with fluctuation rates of $\approx$ 3.3 GHz per p-bit. Our results will guide the experimental development of superior stochastic magnetic tunnel junctions for large-scale and energy-efficient probabilistic computation for problems relevant to machine learning and artificial intelligence.


title: Privacy Risks Analysis and Mitigation in Federated Learning for Medical Images

abstract: Federated learning (FL) is gaining increasing popularity in the medical domain for analyzing medical images, which is considered an effective technique to safeguard sensitive patient data and comply with privacy regulations. However, several recent studies have revealed that the default settings of FL may leak private training data under privacy attacks. Thus, it is still unclear whether and to what extent such privacy risks of FL exist in the medical domain, and if so, "how to mitigate such risks?". In this paper, first, we propose a holistic framework for Medical data Privacy risk analysis and mitigation in Federated Learning (MedPFL) to analyze privacy risks and develop effective mitigation strategies in FL for protecting private medical data. Second, we demonstrate the substantial privacy risks of using FL to process medical images, where adversaries can easily perform privacy attacks to reconstruct private medical images accurately. Third, we show that the defense approach of adding random noises may not always work effectively to protect medical images against privacy attacks in FL, which poses unique and pressing challenges associated with medical data for privacy protection.


title: The shape of the electron and muon lateral distribution functions of extensive air showers

abstract: The lateral density data obtained for different secondaries of an extensive air shower (EAS) from an array of detectors are usually described by some suitable lateral density functions (LDFs). Analyzing non-vertical simulated EASs generated with the CORSIKA code, it is found that the lateral and polar density distributions of electrons and muons are asymmetric in the ground plane. It means that typical expressions for symmetric lateral density functions (SLDFs) (\emph{e.g.} the Nishimura-Kamata-Greisen function) are inadequate to reconstruct the lateral and polar dependencies of such asymmetric electron or muon densities accurately. In order to provide a more consistent LDF for non-vertical shower reconstruction in the ground plane, the paper considers the issue of the modification of the SLDF analytically. The asymmetry arising from additional attenuation and correction of the positional coordinates (radial and polar) of cascade particles causes a gap length between the center of concentric equidensity ellipses and the EAS core. A toy function is introduced as a basic LDF to describe the asymmetric lateral and polar density distributions of electrons or muons of EASs, thereby predicting the gap length parameter. Consequently, the desired LDF describing the asymmetric density distributions of electrons and muons of EASs has emerged. We compare results from detailed simulations with the predictions of the analytical parametrization. The LDF derived in this work is found to be well-suited to reconstruct EASs in the ground plane directly.


title: An Integrated Transportation Distance Between Kernels and Approximate Dynamic Risk Evaluation in Markov Systems

abstract: We introduce a distance between kernels based on the Wasserstein distances between their values, study its properties, and prove that it is a metric on an appropriately defined space of kernels. We also relate it to various modes of convergence in the space of kernels. Then we consider the problem of approximating solutions to forward--backward systems, where the forward part is a Markov system described by a sequence of kernels, and the backward part calculates the values of a risk measure by operators that may be nonlinear with respect to the system's kernels. We propose to recursively approximate the forward system with the use of the integrated transportation distance between kernels and we estimate the error of the risk evaluation by the errors of individual kernel approximations. We illustrate the results on stopping problems and several well-known risk measures. Then we develop a particle-based numerical procedure, in which the approximate kernels have finite support sets. Finally, we illustrate the efficacy of the approach on the financial problem of pricing an American basket option.


title: The topological susceptibility slope $\chi^\prime$ of the pure-gauge SU(3) Yang-Mills theory

abstract: We determine the pure-gauge $\mathrm{SU}(3)$ topological susceptibility slope $\chi^\prime$, related to the next-to-leading-order term of the momentum expansion of the topological charge density 2-point correlator, from numerical lattice Monte Carlo simulations. Our strategy consists in performing a double-limit extrapolation: first we take the continuum limit at fixed smoothing radius, then we take the zero-smoothing-radius limit. Our final result is $\chi^\prime = [17.1(2.1)~\mathrm{MeV}]^2$. We also discuss a theoretical argument to predict its value in the large-$N$ limit, which turns out to be remarkably close to the obtained $N=3$ lattice result.


title: Robust Text Classification: Analyzing Prototype-Based Networks

abstract: Downstream applications often require text classification models to be accurate and robust. While the accuracy of the state-of-the-art Language Models (LMs) approximates human performance, they often exhibit a drop in performance on noisy data found in the real world. This lack of robustness can be concerning, as even small perturbations in the text, irrelevant to the target task, can cause classifiers to incorrectly change their predictions. A potential solution can be the family of Prototype-Based Networks (PBNs) that classifies examples based on their similarity to prototypical examples of a class (prototypes) and has been shown to be robust to noise for computer vision tasks. In this paper, we study whether the robustness properties of PBNs transfer to text classification tasks under both targeted and static adversarial attack settings. Our results show that PBNs, as a mere architectural variation of vanilla LMs, offer more robustness compared to vanilla LMs under both targeted and static settings. We showcase how PBNs' interpretability can help us to understand PBNs' robustness properties. Finally, our ablation studies reveal the sensitivity of PBNs' robustness to how strictly clustering is done in the training phase, as tighter clustering results in less robust PBNs.


title: Design of Reconfigurable Intelligent Surfaces by Using S-Parameter Multiport Network Theory -- Optimization and Full-Wave Validation

abstract: Multiport network theory has been proved to be a suitable abstraction model for analyzing and optimizing reconfigurable intelligent surfaces (RISs), especially for studying the impact of the electromagnetic mutual coupling among radiating elements that are spaced less than half of the wavelength. Both representations in terms of $Z$-parameter (impedance) and $S$-parameter (scattering) matrices are widely utilized. In this paper, we embrace multiport network theory for analyzing and optimizing the reradiation properties of RIS-aided channels, and provide four new contributions. (i) First, we offer a thorough comparison between the $Z$-parameter and $S$-parameter representations. This comparison allows us to unveil that the typical scattering models utilized for RIS-aided channels ignore the structural scattering from the RIS, which results in an unwanted specular reflection. (ii) Then, we develop an iterative algorithm for optimizing, in the presence of electromagnetic mutual coupling, the tunable loads of the RIS based on the $S$-parameters representation. We prove that small perturbations of the step size of the algorithm result in larger variations of the $S$-parameter matrix compared with the $Z$-parameter matrix, resulting in a faster convergence rate. (iii) Subsequently, we generalize the proposed algorithm to suppress the specular reflection due to the structural scattering, while maximizing the received power towards the direction of interest, and analyze the effectiveness and tradeoffs of the proposed approach. (iv) Finally, we validate the theoretical findings and algorithms with numerical simulations and a commercial full-wave electromagnetic simulator based on the method of moments.


title: A Template Is All You Meme

abstract: Memes are a modern form of communication and meme templates possess a base semantics that is customizable by whomever posts it on social media. Machine learning systems struggle with memes, which is likely due to such systems having insufficient context to understand memes, as there is more to memes than the obvious image and text. Here, to aid understanding of memes, we release a knowledge base of memes and information found on www.knowyourmeme.com, which we call the Know Your Meme Knowledge Base (KYMKB), composed of more than 54,000 images. The KYMKB includes popular meme templates, examples of each template, and detailed information about the template. We hypothesize that meme templates can be used to inject models with the context missing from previous approaches. To test our hypothesis, we create a non-parametric majority-based classifier, which we call Template-Label Counter (TLC). We find TLC more effective than or competitive with fine-tuned baselines. To demonstrate the power of meme templates and the value of both our knowledge base and method, we conduct thorough classification experiments and exploratory data analysis in the context of five meme analysis tasks.


title: Heuristic Optimal Transport in Branching Networks

abstract: Optimal transport aims to learn a mapping of sources to targets by minimizing the cost, which is typically defined as a function of distance. The solution to this problem consists of straight line segments optimally connecting sources to targets, and it does not exhibit branching. These optimal solutions are in stark contrast with both natural, and man-made transportation networks, where branching structures are prevalent. Here we discuss a fast heuristic branching method for optimal transport in networks. We also provide several numerical applications to synthetic examples, a simplified cardiovascular network, and the "Santa Claus" distribution network which includes 141,182 cities around the world, with known location and population.


title: Traffic Sign Recognition Using Local Vision Transformer

abstract: Recognition of traffic signs is a crucial aspect of self-driving cars and driver assistance systems, and machine vision tasks such as traffic sign recognition have gained significant attention. CNNs have been frequently used in machine vision, but introducing vision transformers has provided an alternative approach to global feature learning. This paper proposes a new novel model that blends the advantages of both convolutional and transformer-based networks for traffic sign recognition. The proposed model includes convolutional blocks for capturing local correlations and transformer-based blocks for learning global dependencies. Additionally, a locality module is incorporated to enhance local perception. The performance of the suggested model is evaluated on the Persian Traffic Sign Dataset and German Traffic Sign Recognition Benchmark and compared with SOTA convolutional and transformer-based models. The experimental evaluations demonstrate that the hybrid network with the locality module outperforms pure transformer-based models and some of the best convolutional networks in accuracy. Specifically, our proposed final model reached 99.66% accuracy in the German traffic sign recognition benchmark and 99.8% in the Persian traffic sign dataset, higher than the best convolutional models. Moreover, it outperforms existing CNNs and ViTs while maintaining fast inference speed. Consequently, the proposed model proves to be significantly faster and more suitable for real-world applications.


title: A Classification of Asymptotic Behaviors of Green Functions of Random Walks in the Quadrant

abstract: This paper investigates the asymptotic behavior of Green functions associated to partially homogeneous random walks in the quadrant $Z_+^2$. There are four possible distributions for the jumps of these processes, depending on the location of the starting point: in the interior, on the two positive axes of the boundary, and at the origin $(0,0)$. With mild conditions on the positive jumps of the random walk, which can be unbounded, a complete analysis of the asymptotic behavior of the Green function of the random walk killed at $(0,0)$ is achieved. The main result is that {\em eight} regions of the set of parameters determine completely the possible limiting behaviors of Green functions of these Markov chains. These regions are defined by a set of relations for several characteristics of the distributions of the jumps. In the transient case, a description of the Martin boundary is obtained and in the positive recurrent case, our results give the exact limiting behavior of the invariant distribution of a state whose norm goes to infinity along some asymptotic direction in the quadrant. These limit theorems extend results of the literature obtained, up to now, essentially for random walks whose jump sizes are either $0$ or $1$ on each coordinate. Our approach relies on a combination of several methods: probabilistic representations of solutions of analytical equations, Lyapounov functions, convex analysis, methods of homogeneous random walks, and complex analysis arguments.


title: The $\textit{q}$-metric naked singularity: A viable explanation for the nature of the central object in the Milky Way

abstract: In this work, we investigate whether the compact object at the center of the Milky Way is a naked singularity described by the $\textit{q}$-metric spacetime. Our fitting of the astrometric and spectroscopic data for the S2 star implies that similarly to the Schwarzschild black hole, the $\textit{q}$-metric naked singularity offers a satisfactory fit to the observed measurements. Additionally, it is shown that the shadow produced by the naked singularity is consistent with the shadow observed by the Event Horizon Telescope collaboration for Sgr-A*. It is worth mentioning that the spatial distribution of the S-stars favors the notion that the compact object at the center of our Galaxy can be described by an almost static spacetime. Based on these findings, the $\textit{q}$-metric naked singularity turns up as a compelling candidate for further investigation.


title: Unsupervised and semi-supervised co-salient object detection via segmentation frequency statistics

abstract: In this paper, we address the detection of co-occurring salient objects (CoSOD) in an image group using frequency statistics in an unsupervised manner, which further enable us to develop a semi-supervised method. While previous works have mostly focused on fully supervised CoSOD, less attention has been allocated to detecting co-salient objects when limited segmentation annotations are available for training. Our simple yet effective unsupervised method US-CoSOD combines the object co-occurrence frequency statistics of unsupervised single-image semantic segmentations with salient foreground detections using self-supervised feature learning. For the first time, we show that a large unlabeled dataset e.g. ImageNet-1k can be effectively leveraged to significantly improve unsupervised CoSOD performance. Our unsupervised model is a great pre-training initialization for our semi-supervised model SS-CoSOD, especially when very limited labeled data is available for training. To avoid propagating erroneous signals from predictions on unlabeled data, we propose a confidence estimation module to guide our semi-supervised training. Extensive experiments on three CoSOD benchmark datasets show that both of our unsupervised and semi-supervised models outperform the corresponding state-of-the-art models by a significant margin (e.g., on the Cosal2015 dataset, our US-CoSOD model has an 8.8% F-measure gain over a SOTA unsupervised co-segmentation model and our SS-CoSOD model has an 11.81% F-measure gain over a SOTA semi-supervised CoSOD model).


title: Peculiarities of charged particle kinetics in spherical plasma

abstract: We describe kinetic simulations of transient problems in partially ionized weakly-collisional plasma around spherical bodies absorbing or emitting charged particles. Numerical solutions of kinetic equations for electrons and ions in 1D2V phase space are coupled to an electrostatic solver using the Poisson equation or quasineutrality condition for small Debye lengths. The formation of particle groups and their contributions to electric current flow and screening of charged bodies by plasma are discussed for applications to Langmuir probes and solar wind.


title: Diamond quantum sensors in microfluidics technology

abstract: Diamond quantum sensing is an emerging technology for probing multiple physico-chemical parameters in the nano- to micro-scale dimensions within diverse chemical and biological contexts. Integrating these sensors into microfluidic devices enables the precise quantification and analysis of small sample volumes in microscale channels. In this Perspective, we present recent advancements in the integration of diamond quantum sensors with microfluidic devices and explore their prospects with a focus on forthcoming technological developments.


title: Combined certainty and uncertainty across development frees phenotypic variation in evolution

abstract: Developmental bias plays a major role in phenotypic evolution. Some researchers have argued that phenotypes, regulated by development, can only evolve along restricted trajectory under certain scenarios, such as the case for mammalian molar size ratios. However, this view has been challenged. Broadly speaking, sources for phenotypic variation remain largely unknown. The study here presents a generalized Inhibitory Cascade Model and explains that the original model described only means of phenotypes resulting from selection when viewed under a higher taxonomic scope. Consequently, I propose the combined property of development: certainty, when the prior intersegmental inhibition is strong, and uncertainty, when the opposite holds. This property potentially not only explains counterintuitively high levels of developmental instability, but also plays an essential role in generating phenotypic variation.


title: Reconfigurable Inspection in Manufacturing: State of the Art and Taxonomy

abstract: This article provides an overview of the evolution of the product quality and measurement inspection procedure with emphasis on the Reconfigurable Inspection System and Machine. The major components of a reconfigurable manufacturing system have been examined, and the evolution of manufacturing processes has been briefly discussed. Different Reconfigurable Inspection Machines (RIMs) and their arrangement in an assembly line as an inspection system have been carefully studied and the modern inspection system equipped in RMS has been compared to the traditional techniques commonly used in inspection of product quality. A survey of evolving inspection techniques is offered from the standpoint of technological challenges and advancement affecting manufacturing over time. As per authors' knowledge, the review on Reconfigurable Inspection in Manufacturing and taxonomy of reconfigurable inspection systems is rare. Considering the studies done in this domain, there is still resourceful taxonomy for this paradigm. Therefore, different types of inspection procedures have been discussed, their features and applications have been compared to arrive at the taxonomy of the RIS based on the understanding of the nature of a RIS after a critical review.


title: 3DFusion, A real-time 3D object reconstruction pipeline based on streamed instance segmented data

abstract: This paper presents a real-time segmentation and reconstruction system that utilizes RGB-D images to generate accurate and detailed individual 3D models of objects within a captured scene. Leveraging state-of-the-art instance segmentation techniques, the system performs pixel-level segmentation on RGB-D data, effectively separating foreground objects from the background. The segmented objects are then reconstructed into distinct 3D models in a high-performance computation platform. The real-time 3D modelling can be applied across various domains, including augmented/virtual reality, interior design, urban planning, road assistance, security systems, and more. To achieve real-time performance, the paper proposes a method that effectively samples consecutive frames to reduce network load while ensuring reconstruction quality. Additionally, a multi-process SLAM pipeline is adopted for parallel 3D reconstruction, enabling efficient cutting of the clustering objects into individuals. This system employs the industry-leading framework YOLO for instance segmentation. To improve YOLO's performance and accuracy, modifications were made to resolve duplicated or false detection of similar objects, ensuring the reconstructed models align with the targets. Overall, this work establishes a robust real-time system with a significant enhancement for object segmentation and reconstruction in the indoor environment. It can potentially be extended to the outdoor scenario, opening up numerous opportunities for real-world applications.


title: On asymptotic properties of solutions to $\sigma$-evolution equations with general double damping

abstract: In this paper, we would like to consider the Cauchy problem for semi-linear $\sigma$-evolution equations with double structural damping for any $\sigma\ge 1$. The main purpose of the present work is to not only study the asymptotic profiles of solutions to the corresponding linear equations but also describe large-time behaviors of globally obtained solutions to the semi-linear equations. We want to emphasize that the new contribution is to find out the sharp interplay of ``parabolic like models" corresponding to $\sigma_1 \in [0,\sigma/2)$ and ``$\sigma$-evolution like models" corresponding to $\sigma_2 \in (\sigma/2,\sigma]$, which together appear in an equation. In this connection, we understand clearly how each damping term influences the asymptotic properties of solutions.


title: Electromagnetic Signal and Information Theory -- Electromagnetically Consistent Communication Models for the Transmission and Processing of Information

abstract: In this paper, we present electromagnetic signal and information theory (ESIT). ESIT is an interdisciplinary scientific discipline, which amalgamates electromagnetic theory, signal processing theory, and information theory. ESIT is aimed at studying and designing physically consistent communication schemes for the transmission and processing of information in communication networks. In simple terms, ESIT can be defined as physics-aware information theory and signal processing for communications. We consider three relevant problems in contemporary communication theory, and we show how they can be tackled under the lenses of ESIT. Specifically, we focus on (i) the theoretical and practical motivations behind antenna designs based on subwavelength radiating elements and interdistances; (ii) the modeling and role played by the electromagnetic mutual coupling, and the appropriateness of multiport network theory for modeling it; and (iii) the analytical tools for unveiling the performance limits and realizing spatial multiplexing in near field, line-of-sight, channels. To exemplify the role played by ESIT and the need for electromagnetic consistency, we consider case studies related to reconfigurable intelligent surfaces and holographic surfaces, and we highlight the inconsistencies of widely utilized communication models, as opposed to communication models that originate from first electromagnetic principles.


title: A Whitney polynomial for hypermaps

abstract: We introduce a Whitney polynomial for hypermaps and use it to generalize the results connecting the circuit partition polynomial to the Martin polynomial and the results on several graph invariants.


title: On the Cauchy problem for a weakly coupled system of semi-linear $\sigma$-evolution equations with double dissipation

abstract: In this paper, we would like to consider the Cauchy problem for a multi-component weakly coupled system of semi-linear $\sigma$-evolution equations with double dissipation for any $\sigma\ge 1$. The first main purpose is to obtain the global (in time) existence of small data solutions in the supercritical condition by assuming additional $L^1$ regularity for the initial data and using multi-loss of decay wisely. For the second main one, we are interested in establishing the blow-up results together with sharp estimates for lifespan of solutions in the subcritical case. The proof is based on a contradiction argument with the help of modified test functions to derive the upper bound estimates. Finally, we succeed in catching the lower bound estimate by constructing Sobolev spaces with the time-dependent weighted functions of polynomial type in their corresponding norms.


title: Vortex depinning in a two-dimensional superfluid

abstract: We employ the Gross--Pitaevskii theory to model a quantized vortex depinning from a small obstacle in a two-dimensional superfluid due to an imposed background superfluid flow. We find that, when the flow's velocity exceeds a critical value, the vortex drifts orthogonally to the flow before subsequently moving parallel to it away from the pinning site. The motion of the vortex around the pinning site is also accompanied by an emission of a spiral-shaped sound pulse. Through simulations, we present a phase diagram of the critical flow velocity for vortex depinning together with an empirical formula that illustrates how the critical velocity increases with the height and width of the pinning site. By employing a variety of choices of initial and boundary conditions, we are able to obtain lower and upper bounds on the critical velocity and demonstrate the robustness of these results.


title: Withdrawal Success Optimization

abstract: For $n$ assets and discrete-time rebalancing, the probability to complete a given schedule of investments and withdrawals is maximized over progressively measurable portfolio weight functions. Applications consider two assets, namely the S&P Composite Index and an inflation-protected bond. The maximum probability and optimal portfolio weight functions are computed for annually rebalanced schedules involving an arbitrary initial investment and then equal annual withdrawals over the remainder of the time period. Applications also consider annually rebalanced schedules that start with dollar cost averaging (equal annual investments) and then shift to equal annual withdrawals. Results indicate noticeable improvements in the probability to complete a given schedule when optimal portfolio weights are used instead of constant portfolio weights like the standard of keeping 90% in the S&P Composite Index and 10% in inflation-protected bonds.


title: On the modular isomorphism problem for groups with center of index at most $p^3$

abstract: Let $p$ be an odd prime number. We show that the modular isomorphism problem has a positive answer for finite $p$-groups whose center has index $p^3$, which is a strong contrast to the analogous situation for $p = 2$.


title: Structured risk model

abstract: Income and risk coexist, yet investors are often so focused on chasing high returns that they overlook the potential risks that can lead to high losses. Therefore, risk forecasting and risk control is the cornerstone of investment. To address the challenge, we construct a multi-factor risk model on the basis of the classical multi-factor modeling framework. For the common factors, inspired by Barra Model's factor classification. we adjust the outliers and missing values of factor exposure data, normalize and finally orthogonalize them, before computing factor returns and making further analysis. Factor return covariance matrix and idiosyncratic return variance matrix are essential tools to express stock returns in the multi-factor risk model. Firstly, we calculate the factor return covariance matrix with EWMA. To tackle the time-series autocorrelation of factor returns, we apply Newey-West adjustment. Then we estimate the idiosyncratic return variance matrix in a similar way and make Newey-West adjustment again to solve the time-series autocorrelation problem. Since the return of a single share is sensitive to missing values and outliers, we introduce structural adjustment to improve the matrix.Eventually, we obtain the return covariance matrix among stocks and compute the risk of investment portfolio based on it. Furthermore, we search for optimal portfolio with respect to minimizing risk or maximizing risk-adjusted return with our model. They provide good Sharpe ratio and information ratio for considering both absolute risk and active risk. Hence, the multi-factor risk model is efficient.


title: In-context Vectors: Making In Context Learning More Effective and Controllable Through Latent Space Steering

abstract: Large language models (LLMs) demonstrate emergent in-context learning capabilities, where they adapt to new tasks based on example demonstrations. However, in-context learning has seen limited effectiveness in many settings, is difficult to quantitatively control and takes up context window space. To overcome these limitations, we propose an alternative approach that recasts in-context learning as in-context vectors (ICV). Using ICV has two steps. We first use a forward pass on demonstration examples to create the in-context vector from the latent embedding of the LLM. This vector captures essential information about the intended task. On a new query, instead of adding demonstrations to the prompt, we shift the latent states of the LLM using the ICV. The ICV approach has several benefits: 1) it enables the LLM to more effectively follow the demonstration examples; 2) it's easy to control by adjusting the magnitude of the ICV; 3) it reduces the length of the prompt by removing the in-context demonstrations; 4) ICV is computationally much more efficient than fine-tuning. We demonstrate that ICV achieves better performance compared to standard in-context learning and fine-tuning on diverse tasks including safety, style transfer, role-playing and formatting. Moreover, we show that we can flexibly teach LLM to simultaneously follow different types of instructions by simple vector arithmetics on the corresponding ICVs.


title: On interrelations between graph complexes

abstract: We study Maxim Kontsevich's graph complex $GC_d$ for any integer $d$ as well as its oriented and targeted versions, and show new short proofs of the theorems due to Thomas Willwacher and Marko Zivkovic which establish isomorphisms of their cohomology groups. A new result relating the cohomology of the sourced-targeted graph complex in dimension $d+1$ with the direct sum of two copies of the cohomology group of Maxim Kontsevich's graph complex $GC_d$ in dimension $d$ is obtained. We introduce a new graph complex spanned by purely trivalent graphs and show that its cohomology is isomorphic to $H(GC_d)$.


title: EPSAPG: A Pipeline Combining MMseqs2 and PSI-BLAST to Quickly Generate Extensive Protein Sequence Alignment Profiles

abstract: Numerous machine learning (ML) models employed in protein function and structure prediction depend on evolutionary information, which is captured through multiple-sequence alignments (MSA) or position-specific scoring matrices (PSSM) as generated by PSI-BLAST. Consequently, these predictive methods are burdened by substantial computational demands and prolonged computing time requirements. The principal challenge stems from the necessity imposed on the PSI-BLAST software to load large sequence databases sequentially in batches and then search for sequence alignments akin to a given query sequence. In the case of batch queries, the runtime scales even linearly. The predicament at hand is becoming more challenging as the size of bio-sequence data repositories experiences exponential growth over time and as a consequence, this upward trend exerts a proportional strain on the runtime of PSI-BLAST. To address this issue, an eminent resolution lies in leveraging the MMseqs2 method, capable of expediting the search process by a magnitude of 100. However, MMseqs2 cannot be directly employed to generate the final output in the desired format of PSI-BLAST alignments and PSSM profiles. In this research work, I developed a comprehensive pipeline that synergistically integrates both MMseqs2 and PSI-BLAST, resulting in the creation of a robust, optimized, and highly efficient hybrid alignment pipeline. Notably, the hybrid tool exhibits a significant speed improvement, surpassing the runtime performance of PSI-BLAST in generating sequence alignment profiles by a factor of two orders of magnitude. It is implemented in C++ and is freely available under the MIT license at https://github.com/issararab/EPSAPG.


title: Guideline for the Production of Digital Rights Management (DRM)

abstract: Multiple news sources over the years have reported on the problematic effects of Digital Rights Management, yet there are no reforms for DRM development, simply removal. The issues are well-known to the public, frequently repeated even when addressed: impact on the software and to the devices that run them. Yet few, if any, have discussed it in recent years, especially with the intent of eliminating the shown issues. This study reviews Digital Rights Management as a general topic, including the various forms it can take, the current laws that affect DRM, and the current public reception and responses. This study describes the different types of DRM in general terms and then lists both positive and negative examples.


title: DUBLINE: A Deep Unfolding Network for B-line Detection in Lung Ultrasound Images

abstract: In the context of lung ultrasound, the detection of B-lines, which are indicative of interstitial lung disease and pulmonary edema, plays a pivotal role in clinical diagnosis. Current methods still rely on visual inspection by experts. Vision-based automatic B-line detection methods have been developed, but their performance has yet to improve in terms of both accuracy and computational speed. This paper presents a novel approach to posing B-line detection as an inverse problem via deep unfolding of the Alternating Direction Method of Multipliers (ADMM). It tackles the challenges of data labelling and model training in lung ultrasound image analysis by harnessing the capabilities of deep neural networks and model-based methods. Our objective is to substantially enhance diagnostic accuracy while ensuring efficient real-time capabilities. The results show that the proposed method runs more than 90 times faster than the traditional model-based method and achieves an F1 score that is 10.6% higher.


title: Dream to Adapt: Meta Reinforcement Learning by Latent Context Imagination and MDP Imagination

abstract: Meta reinforcement learning (Meta RL) has been amply explored to quickly learn an unseen task by transferring previously learned knowledge from similar tasks. However, most state-of-the-art algorithms require the meta-training tasks to have a dense coverage on the task distribution and a great amount of data for each of them. In this paper, we propose MetaDreamer, a context-based Meta RL algorithm that requires less real training tasks and data by doing meta-imagination and MDP-imagination. We perform meta-imagination by interpolating on the learned latent context space with disentangled properties, as well as MDP-imagination through the generative world model where physical knowledge is added to plain VAE networks. Our experiments with various benchmarks show that MetaDreamer outperforms existing approaches in data efficiency and interpolated generalization.


title: Education for a Future in Crisis: Developing a Humanities-Informed STEM Curriculum

abstract: In the popular imagination, science and technology are often seen as fields of knowledge production critical to social progress and a cooperative future. This optimistic portrayal of technological advancement also features prominently in internal discourses amongst scientists, industry leaders, and STEM students alike. Yet, an overwhelming body of research, investigation, and first-person accounts highlight the varying ways modern science, technology, and engineering industries contribute to the degradation of our changing environments and exploit and harm global low-income and marginalized populations. By and large, siloed higher-education STEM curricula provide inadequate opportunities for undergraduate and graduate students to critically analyze the historical and epistemological foundations of scientific knowledge production and even fewer tools to engage with and respond to modern community-based cases. Here, we describe the development of a humanities- and social sciences-informed curriculum designed to address the theory, content, and skill-based needs of traditional STEM students considering technoscientific careers. In essence, this course is designed to foster behavior change, de-center dominant ways of knowing in the sciences, and bolster self-reflection and critical-thinking skills to equip the developing STEM workforce with a more nuanced and accurate understanding of the social, political, and economic role of science and technology. This curriculum has the potential to empower STEM-educated professionals to contribute to a more promising, inclusive future. Our framework foregrounds key insights from science and technology studies, Black and Native feminisms, queer theory, and disability studies, alongside real-world case studies using critical pedagogies.


title: Dilepton production at next-to-leading order and intermediate invariant-mass observables

abstract: The thermal QCD dilepton production rate is calculated at next-to-leading order in the strong coupling and at finite baryon chemical potential. The two-loop virtual photon self-energy is evaluated using finite temperature field theory and combined consistently with the self-energy in the Landau-Pomeranchuk-Migdal regime. We present new results for a dense baryonic plasma. The rates are then integrated using (3+1)-dimensional fluid-dynamical simulations calibrated to reproduce hadronic experimental results obtained at RHIC at energies ranging from those of the Beam Energy Scan to $\sqrt{s_{_{\rm NN}}} = 200$ GeV. We elaborate on the ability for dileptons to relay information about the plasma baryonic content and temperature.


title: The universal cover of the real projective line

abstract: We construct an interesting topological cover of the multiplicative group of the real line, related to Tate's elliptic curve with $q = e^\pi$. We use the language of homological algebra, 2D Lorentz geometry and high-school trigonometry; the intent is expository but the suggested applications may be unusual.


title: An asymptotic homotopy lifting property

abstract: A $C^*$-algebra $A$ is said to have the homotopy lifting property if for all $C^*$-algebras $B$ and $E$, for every surjective $^*$-homomorphism $\pi \colon E \rightarrow B$ and for every $^*$-homomorphism $\phi \colon A \rightarrow E$, any path of $^*$-homomorphisms $A \rightarrow B$ starting at $\pi \phi$ lifts to a path of $^*$-homomorphisms $A \rightarrow E$ starting at $\phi$. Blackadar has shown that this property holds for all semiprojective $C^*$-algebras. We show that a version of the homotopy lifting property for asymptotic morphisms holds for separable $C^*$-algebras that are sequential inductive limits of semiprojective $C^*$-algebras. It also holds for any separable $C^*$-algebra if the quotient map $\pi$ satisfies an approximate decomposition property in the spirit of (but weaker than) the notion of quasidiagonality for extensions.


title: TESS Giants Transiting Giants V -- Two hot Jupiters orbiting red-giant hosts

abstract: In this work we present the discovery and confirmation of two hot Jupiters orbiting red-giant stars, TOI-4377 b and TOI-4551 b, observed by TESS in the southern ecliptic hemisphere and later followed-up with radial-velocity (RV) observations. For TOI-4377 b we report a mass of $0.957^{+0.089}_{-0.087} \ M_\mathrm{J}$ and a inflated radius of $1.348 \pm 0.081 \ R_\mathrm{J}$ orbiting an evolved intermediate-mass star ($1.36 \ \mathrm{M}_\odot$, $3.52 \ \mathrm{R}_\odot$; TIC 394918211) on a period of of $4.378$ days. For TOI-4551 b we report a mass of $1.49 \pm 0.13 \ M_\mathrm{J}$ and a radius that is not obviously inflated of $1.058^{+0.110}_{-0.062} \ R_\mathrm{J}$, also orbiting an evolved intermediate-mass star ($1.31 \ \mathrm{M}_\odot$, $3.55 \ \mathrm{R}_\odot$; TIC 204650483) on a period of $9.956$ days. We place both planets in context of known systems with hot Jupiters orbiting evolved hosts, and note that both planets follow the observed trend of the known stellar incident flux-planetary radius relation observed for these short-period giants. Additionally, we produce planetary interior models to estimate the heating efficiency with which stellar incident flux is deposited in the planet's interior, estimating values of $1.91 \pm 0.48\%$ and $2.19 \pm 0.45\%$ for TOI-4377 b and TOI-4551 b respectively. These values are in line with the known population of hot Jupiters, including hot Jupiters orbiting main sequence hosts, which suggests that the radii of our planets have reinflated in step with their parent star's brightening as they evolved into the post-main-sequence. Finally, we evaluate the potential to observe orbital decay in both systems.


title: Theory of Compression Channels for Postselected Quantum Metrology

abstract: Postselected quantum metrological scheme is especially advantageous when the final measurements are either very noisy or expensive in practical experiments. In this work, we put forward a general theory on the compression channels in postselected quantum metrology. We define the basic notions characterizing the compression quality and illuminate the underlying structure of lossless compression channels. Previous experiments on Postselected optical phase estimation and weak-value amplification are shown to be particular cases of this general theory. Furthermore, for two categories of bipartite systems, we show that the compression loss can be made arbitrarily small even when the compression channel acts only on one subsystem. These findings can be employed to distribute quantum measurements so that the measurement noise and cost are dramatically reduced.

categories: quant-ph cs.IT math.IT math.OC math.ST stat.TH


title: Extremum Seeking for Stefan PDE with Moving Boundary

abstract: This paper presents the design and analysis of the extremum seeking for static maps with input passed through a partial differential equation (PDE) of the diffusion type defined on a time-varying spatial domain whose boundary position is governed by an ordinary differential equation (ODE). This is the first effort to pursue an extension of extremum seeking from the heat PDE to the Stefan PDE. We compensate the average-based actuation dynamics by a controller via backstepping transformation for the moving boundary, which is utilized to transform the original coupled PDE-ODE into a target system whose exponential stability of the average equilibrium of the average system is proved. The discussion for the delay-compensated extremum seeking control of the Stefan problem is also presented and illustrated with numerical simulations.


title: SpICE: An interpretable method for spatial data

abstract: Statistical learning methods are widely utilized in tackling complex problems due to their flexibility, good predictive performance and its ability to capture complex relationships among variables. Additionally, recently developed automatic workflows have provided a standardized approach to implementing statistical learning methods across various applications. However these tools highlight a main drawbacks of statistical learning: its lack of interpretation in their results. In the past few years an important amount of research has been focused on methods for interpreting black box models. Having interpretable statistical learning methods is relevant to have a deeper understanding of the model. In problems were spatial information is relevant, combined interpretable methods with spatial data can help to get better understanding of the problem and interpretation of the results. This paper is focused in the individual conditional expectation (ICE-plot), a model agnostic methods for interpreting statistical learning models and combined them with spatial information. ICE-plot extension is proposed where spatial information is used as restriction to define Spatial ICE curves (SpICE). Spatial ICE curves are estimated using real data in the context of an economic problem concerning property valuation in Montevideo, Uruguay. Understanding the key factors that influence property valuation is essential for decision-making, and spatial data plays a relevant role in this regard.


title: Single-Layer Digitized-Counterdiabatic Quantum Optimization for $p$-spin Models

abstract: Quantum computing holds the potential for quantum advantage in optimization problems, which requires advances in quantum algorithms and hardware specifications. Adiabatic quantum optimization is conceptually a valid solution that suffers from limited hardware coherence times. In this sense, counterdiabatic quantum protocols provide a shortcut to this process, steering the system along its ground state with fast-changing Hamiltonian. In this work, we take full advantage of a digitized-counterdiabatic quantum optimization (DCQO) algorithm to find an optimal solution of the $p$-spin model up to 4-local interactions. We choose a suitable scheduling function and initial Hamiltonian such that a single-layer quantum circuit suffices to produce a good ground-state overlap. By further optimizing parameters using variational methods, we solve with unit accuracy 2-spin, 3-spin, and 4-spin problems for $100\%$, $93\%$, and $83\%$ of instances, respectively. As a particular case of the latter, we also solve factorization problems involving 5, 9, and 12 qubits. Due to the low computational overhead, our compact approach may become a valuable tool towards quantum advantage in the NISQ era.


title: Heat kernel estimates of fractional Schr\"odinger operators with Hardy potential on half-line

abstract: We provide sharp two-sided estimates of the heat kernel of the Dirichlet fractional Laplacian on the half-line perturbed by the Hardy potential.


title: Contraction-based Tracking Control of Electromechanical Systems

abstract: This paper addresses the trajectory-tracking problem for a class of electromechanical systems. To this end, the dynamics of the plants are modeled in the so-called port-Hamiltonian framework. Then, the notion of contraction is exploited to design the desired closed-loop dynamics and the corresponding tracking controller. Notably, the proposed control design method does not require solving partial differential equations or changing the coordinates of the plant, which permits preserving the physical interpretation of the controller. The applicability of the proposed approach is illustrated in several electromechanical systems via simulations.


title: Plasmonic-enhanced photoluminescence in porous silicon with pore-embedded gold nanoparticles fabricated by direct reduction of chloroauric acid

abstract: The low efficiency of porous silicon (p-Si) luminescence hinders the development of silicon-based optoelectronic devices. The increase in p-Si emission using near-field enhancement, owing to the incorporation of gold nanoparticles (AuNPs) into the photonic structure, is probably the most viable alternative. However, the coupling of plasmon resonance to p-Si emission is challenging because of the difficulty in controlling the size and location of the AuNPs with respect to the emissive p-Si layer. In this study, AuNPs were synthesized by clean direct reduction of chloroauric acid inside a p-Si photonic structure. As a result, AuNPs could be synthesized all along the pores of the p-Si structure, allowing to obtain a six-fold enhancement of the p-Si photoluminescence, specifically for the emission band at 567 nm owing to the plasmon effect. Possible applications of this hybrid material include light-emitting devices and photoluminescence-based sensors.


title: Jet Rotational Metrics

abstract: Embedding symmetries in the architectures of deep neural networks can improve classification and network convergence in the context of jet substructure. These results hint at the existence of symmetries in jet energy depositions, such as rotational symmetry, arising from physical features of the underlying processes. We introduce a new family of jet observables, Jet Rotational Metrics (JRMs), which provide insights into the degree of discrete rotational symmetry of a jet. We show that JRMs are formidable jet discriminants and that they capture information not efficiently captured by traditional jet observables, such as N-subjettiness and Energy-Flow Polynomials.


title: Conditions when the problems of linear programming are algorithmically unsolvable

abstract: We study the properties of the constructive linear programing problems. The parameters of linear functions in such problems are constructive real numbers. To solve such a problem is to find the optimal plan with the constructive real number components. We show that it is impossible to have an algorithm that solves an arbitrary constructive real programming problem.


title: The Effect of Trust and its Antecedents on Robot Acceptance

abstract: As social and socially assistive robots are becoming more prevalent in our society, it is beneficial to understand how people form first impressions of them and eventually come to trust and accept them. This paper describes an Amazon Mechanical Turk study (n = 239) that investigated trust and its antecedents trustworthiness and first impressions. Participants evaluated the social robot Pepper's warmth and competence as well as trustworthiness characteristics ability, benevolence and integrity followed by their trust in and intention to use the robot. Mediation analyses assessed to what degree participants' first impressions affected their willingness to trust and use it. Known constructs from user acceptance and trust research were introduced to explain the pathways in which one perception predicted the next. Results showed that trustworthiness and trust, in serial, mediated the relationship between first impressions and behavioral intention.


title: Metric Optimization and Mainstream Bias Mitigation in Recommender Systems

abstract: The first part of this thesis focuses on maximizing the overall recommendation accuracy. This accuracy is usually evaluated with some user-oriented metric tailored to the recommendation scenario, but because recommendation is usually treated as a machine learning problem, recommendation models are trained to maximize some other generic criteria that does not necessarily align with the criteria ultimately captured by the user-oriented evaluation metric. Recent research aims at bridging this gap between training and evaluation via direct ranking optimization, but still assumes that the metric used for evaluation should also be the metric used for training. We challenge this assumption, mainly because some metrics are more informative than others. Indeed, we show that models trained via the optimization of a loss inspired by Rank-Biased Precision (RBP) tend to yield higher accuracy, even when accuracy is measured with metrics other than RBP. However, the superiority of this RBP-inspired loss stems from further benefiting users who are already well-served, rather than helping those who are not. This observation inspires the second part of this thesis, where our focus turns to helping non-mainstream users. These are users who are difficult to recommend to either because there is not enough data to model them, or because they have niche taste and thus few similar users to look at when recommending in a collaborative way. These differences in mainstreamness introduce a bias reflected in an accuracy gap between users or user groups, which we try to narrow.


title: Agnostic Membership Query Learning with Nontrivial Savings: New Results, Techniques

abstract: (Abridged) Designing computationally efficient algorithms in the agnostic learning model (Haussler, 1992; Kearns et al., 1994) is notoriously difficult. In this work, we consider agnostic learning with membership queries for touchstone classes at the frontier of agnostic learning, with a focus on how much computation can be saved over the trivial runtime of 2^n$. This approach is inspired by and continues the study of ``learning with nontrivial savings'' (Servedio and Tan, 2017). To this end, we establish multiple agnostic learning algorithms, highlighted by: 1. An agnostic learning algorithm for circuits consisting of a sublinear number of gates, which can each be any function computable by a sublogarithmic degree k polynomial threshold function (the depth of the circuit is bounded only by size). This algorithm runs in time 2^{n -s(n)} for s(n) \approx n/(k+1), and learns over the uniform distribution over unlabelled examples on \{0,1\}^n. 2. An agnostic learning algorithm for circuits consisting of a sublinear number of gates, where each can be any function computable by a \sym^+ circuit of subexponential size and sublogarithmic degree k. This algorithm runs in time 2^{n-s(n)} for s(n) \approx n/(k+1), and learns over distributions of unlabelled examples that are products of k+1 arbitrary and unknown distributions, each over \{0,1\}^{n/(k+1)} (assume without loss of generality that k+1 divides n).


title: Automatized Self-Supervised Learning for Skin Lesion Screening

abstract: The incidence rates of melanoma, the deadliest form of skin cancer, have been increasing steadily worldwide, presenting a significant challenge to dermatologists. Early detection of melanoma is crucial for improving patient survival rates, but identifying suspicious lesions through ugly duckling (UD) screening, the current method used for skin cancer screening, can be challenging and often requires expertise in pigmented lesions. To address these challenges and improve patient outcomes, an artificial intelligence (AI) decision support tool was developed to assist dermatologists in identifying UD from wide-field patient images. The tool uses a state-of-the-art object detection algorithm to identify and extract all skin lesions from patient images, which are then sorted by suspiciousness using a self-supervised AI algorithm. A clinical validation study was conducted to evaluate the tool's performance, which demonstrated an average sensitivity of 93% for the top-10 AI-identified UDs on skin lesions selected by the majority of experts in pigmented skin lesions. The study also found that dermatologists confidence increased, and the average majority agreement with the top-10 AI-identified UDs improved to 100% when assisted by AI. The development of this AI decision support tool aims to address the shortage of specialists, enable at-risk patients to receive faster consultations and understand the impact of AI-assisted screening. The tool's automation can assist dermatologists in identifying suspicious lesions and provide a more objective assessment, reducing subjectivity in the screening process. The future steps for this project include expanding the dataset to include histologically confirmed melanoma cases and increasing the number of participants for clinical validation to strengthen the tool's reliability and adapt it for real-world consultation.


title: Black hole mergers driven by a captured low-mass companion

abstract: Increased eccentricity of a black hole binary leads to reduced merger times. With n-body simulations and analytic approximations including the effects of general relativity (GR), we show that even a low mass companion orbiting a black hole binary can cause significant eccentricity oscillations of the binary as a result of the Kozai-Lidov mechanism. A companion with a mass as low as about 1% of the binary mass can drive the binary eccentricity up to >~ 0.8, while a mass of a few percent can drive eccentricities greater than 0.98. For low mass companions, this mechanism requires the companion to be on an orbit that is closer to retrograde than to prograde to the binary orbit and this may occur through capture of the third body. The effects of GR limit the radial range for the companion for which this mechanism works for the closest binaries. The merger timescale may be reduced by several orders of magnitude for a captured companion mass of only a few percent of the binary mass.


title: Adaptive Mesh Refinement for Electromagnetic Simulation

abstract: We consider problems related to initial meshing and adaptive mesh refinement for the electromagnetic simulation of various structures. The quality of the initial mesh and the performance of the adaptive refinement are of great importance for the finite element solution of the Maxwell equations, since they directly affect the accuracy and the computational time. In this paper, we describe the complete meshing workflow, which allows the simulation of arbitrary structures. Test simulations confirm that the presented approach allows to reach the quality of the industrial simulation software.


title: Which One? Leveraging Context Between Objects and Multiple Views for Language Grounding

abstract: When connecting objects and their language referents in an embodied 3D environment, it is important to note that: (1) an object can be better characterized by leveraging comparative information between itself and other objects, and (2) an object's appearance can vary with camera position. As such, we present the Multi-view Approach to Grounding in Context (MAGiC), which selects an object referent based on language that distinguishes between two similar objects. By pragmatically reasoning over both objects and across multiple views of those objects, MAGiC improves over the state-of-the-art model on the SNARE object reference task with a relative error reduction of 12.9\% (representing an absolute improvement of 2.7\%). Ablation studies show that reasoning jointly over object referent candidates and multiple views of each object both contribute to improved accuracy. Code: https://github.com/rcorona/magic_snare/


title: Conversational Data Exploration: A Game-Changer for Designing Data Science Pipelines

abstract: This paper proposes a conversational approach implemented by the system Chatin for driving an intuitive data exploration experience. Our work aims to unlock the full potential of data analytics and artificial intelligence with a new generation of data science solutions. Chatin is a cutting-edge tool that democratises access to AI-driven solutions, empowering non-technical users from various disciplines to explore data and extract knowledge from it.


title: Simple and Effective Input Reformulations for Translation

abstract: Foundation language models learn from their finetuning input context in different ways. In this paper, we reformulate inputs during finetuning for challenging translation tasks, leveraging model strengths from pretraining in novel ways to improve downstream performance. These reformulations are simple data level modifications, require no additional collection of training data or modification of data at inference time. They can be applied either on single language pair translation tasks or massively multilingual translation tasks. Experiments with these techniques demonstrate significant performance improvements up to $\textbf{3.5 chrF++ on the Flores200 translation benchmark}$. We hope our research accessibly improves finetuning data efficiency, enabling more effective training to scalably improve state-of-the-art performance. Our code is released $\href{https://github.com/bri25yu/LanguageModelExperimentation}{here}.$


title: Trusted Source Alignment in Large Language Models

abstract: Large language models (LLMs) are trained on web-scale corpora that inevitably include contradictory factual information from sources of varying reliability. In this paper, we propose measuring an LLM property called trusted source alignment (TSA): the model's propensity to align with content produced by trusted publishers in the face of uncertainty or controversy. We present FactCheckQA, a TSA evaluation dataset based on a corpus of fact checking articles. We describe a simple protocol for evaluating TSA and offer a detailed analysis of design considerations including response extraction, claim contextualization, and bias in prompt formulation. Applying the protocol to PaLM-2, we find that as we scale up the model size, the model performance on FactCheckQA improves from near-random to up to 80% balanced accuracy in aligning with trusted sources.


title: VidPlat: A Tool for Fast Crowdsourcing of Quality-of-Experience Measurements

abstract: For video or web services, it is crucial to measure user-perceived quality of experience (QoE) at scale under various video quality or page loading delays. However, fast QoE measurements remain challenging as they must elicit subjective assessment from human users. Previous work either (1) automates QoE measurements by letting crowdsourcing raters watch and rate QoE test videos or (2) dynamically prunes redundant QoE tests based on previously collected QoE measurements. Unfortunately, it is hard to combine both ideas because traditional crowdsourcing requires QoE test videos to be pre-determined before a crowdsourcing campaign begins. Thus, if researchers want to dynamically prune redundant test videos based on other test videos' QoE, they are forced to launch multiple crowdsourcing campaigns, causing extra overheads to re-calibrate or train raters every time. This paper presents VidPlat, the first open-source tool for fast and automated QoE measurements, by allowing dynamic pruning of QoE test videos within a single crowdsourcing task. VidPlat creates an indirect shim layer between researchers and the crowdsourcing platforms. It allows researchers to define a logic that dynamically determines which new test videos need more QoE ratings based on the latest QoE measurements, and it then redirects crowdsourcing raters to watch QoE test videos dynamically selected by this logic. Other than having fewer crowdsourcing campaigns, VidPlat also reduces the total number of QoE ratings by dynamically deciding when enough ratings are gathered for each test video. It is an open-source platform that future researchers can reuse and customize. We have used VidPlat in three projects (web loading, on-demand video, and online gaming). We show that VidPlat can reduce crowdsourcing cost by 31.8% - 46.0% and latency by 50.9% - 68.8%.


title: An Investigation of Hepatitis B Virus Genome using Markov Models

abstract: The human genome encodes a family of editing enzymes known as APOBEC3 (apolipoprotein B mRNA editing enzyme, catalytic polypeptide-like 3). Several family members, such as APO-BEC3G, APOBEC3F, and APOBEC3H haplotype II, exhibit activity against viruses such as HIV. These enzymes induce C-to-U mutations in the negative strand of viral genomes, resulting in multiple G-to-A changes, commonly referred to as 'hypermutation.' Mutations catalyzed by these enzymes are sequence context-dependent in the HIV genome; for instance, APOBEC3G preferen-tially mutates G within GG, TGG, and TGGG contexts, while other members mutate G within GA, TGA, and TGAA contexts. However, the same sequence context has not been explored in relation to these enzymes and HBV. In this study, our objective is to identify the mutational footprint of APOBEC3 enzymes in the HBV genome. To achieve this, we employ a multivariable data analytics technique to investigate motif preferences and potential sequence hierarchies of mutation by APOBEC3 enzymes using full genome HBV sequences from a diverse range of naturally infected patients. This approach allows us to distinguish between normal and hypermutated sequences based on the representation of mono- to tetra-nucleotide motifs. Additionally, we aim to identify motifs associated with hypermutation induced by different APOBEC3 enzymes in HBV genomes. Our analyses reveal that either APOBEC3 enzymes are not active against HBV, or the induction of G-to-A mutations by these enzymes is not sequence context-dependent in the HBV genome.


title: Deep JKO: time-implicit particle methods for general nonlinear gradient flows

abstract: We develop novel neural network-based implicit particle methods to compute high-dimensional Wasserstein-type gradient flows with linear and nonlinear mobility functions. The main idea is to use the Lagrangian formulation in the Jordan--Kinderlehrer--Otto (JKO) framework, where the velocity field is approximated using a neural network. We leverage the formulations from the neural ordinary differential equation (neural ODE) in the context of continuous normalizing flow for efficient density computation. Additionally, we make use of an explicit recurrence relation for computing derivatives, which greatly streamlines the backpropagation process. Our methodology demonstrates versatility in handling a wide range of gradient flows, accommodating various potential functions and nonlinear mobility scenarios. Extensive experiments demonstrate the efficacy of our approach, including an illustrative example from Bayesian inverse problems. This underscores that our scheme provides a viable alternative solver for the Kalman-Wasserstein gradient flow.


title: The Duistermaat index and eigenvalue interlacing for self-adjoint extensions of a symmetric operator

abstract: Eigenvalue interlacing is a useful tool in linear algebra and spectral analysis. In its simplest form, the interlacing inequality states that a rank-one positive perturbation shifts each eigenvalue up, but not further than the next unperturbed eigenvalue. For different types of perturbations, this idea is known as Weyl interlacing, Cauchy interlacing, Dirichlet--Neumann bracketing and so on. We prove a sharp version of the interlacing inequalities for ``finite-dimensional perturbations in boundary conditions'', expressed as bounds on the spectral shift between two self-adjoint extensions of a fixed symmetric operator with finite and equal defect numbers. The bounds are given in terms of the Duistermaat index, a topological invariant describing the relative position of three Lagrangian planes in a symplectic space. Two of the Lagrangian planes describe the self-adjoint extensions being compared, while the third corresponds to the Friedrichs extension, which acts as a reference point. Along the way several auxiliary results are established, including one-sided continuity properties of the Duistermaat triple index, smoothness of the (abstract) Cauchy data space without unique continuation-type assumptions, and a formula for the Morse index of an extension of a non-negative symmetric operator.


title: Inference on spatiotemporal dynamics for networks of biological populations

abstract: Mathematical models in ecology and epidemiology must be consistent with observed data in order to generate reliable knowledge and evidence-based policy. Metapopulation systems, which consist of a network of connected sub-populations, pose technical challenges in statistical inference due to nonlinear, stochastic interactions. Numerical difficulties encountered in conducting inference can obstruct the core scientific questions concerning the link between the mathematical models and the data. Recently, an algorithm has been developed which enables effective likelihood-based inference for the high-dimensional partially observed stochastic dynamic models arising in metapopulation systems. The COVID-19 pandemic provides a situation where mathematical models and their policy implications were widely visible, and we use the new inferential technology to revisit an influential metapopulation model used to inform basic epidemiological understanding early in the pandemic. Our methods support self-critical data analysis, enabling us to identify and address model limitations, and leading to a new model with substantially improved statistical fit and parameter identifiability. Our results suggest that the lockdown initiated on January 23, 2020 in China was more effective than previously thought. We proceed to recommend statistical analysis standards for future metapopulation system modeling.


title: Enabling Human-Centered AI: A Methodological Perspective

abstract: Human-centered AI (HCAI) is a design philosophy that advocates prioritizing humans in designing, developing, and deploying intelligent systems, aiming to maximize the benefits of AI to humans and avoid potential adverse impacts. While HCAI continues to influence, the lack of guidance on methodology in practice makes its adoption challenging. This paper proposes a comprehensive HCAI framework based on our previous work with integrated components, including design goals, design principles, implementation approaches, interdisciplinary teams, HCAI methods, and HCAI processes. This paper also presents a "three-layer" approach to facilitate the implementation of the framework. We believe this systematic and executable framework can overcome the weaknesses in current HCAI frameworks and the challenges currently faced in practice, putting it into action to enable HCAI further.


title: Orthonormal rational functions on a semi-infinite interval

abstract: In this paper we propose a novel family of weighted orthonormal rational functions on a semi-infinite interval. We write a sequence of integer-coefficient polynomials in several forms and derive their corresponding differential equations. These equations do not form Sturm-Liouville problems. We overcome this disadvantage by multiplying some factors, resulting in a sequence of irrational functions. We deduce various generating functions of this sequence of irrational functions and find its associated Sturm-Liouville problems, which brings orthogonality. Then we study a Hilbert space of functions defined on a semi-infinite interval with its inner product induced by a weight function determined by the Sturm-Liouville problems mentioned above. We list two bases. One is the even subsequence of the irrational function sequence above and another one is the non-positive integer power functions. We raise one example of Fourier series expansion and one example of interpolation as applications.


title: Equal Incremental Cost-Based Optimization Method to Enhance Efficiency for IPOP-Type Converters

abstract: Systematic optimization over a wide power range is often achieved through the combination of modules of different power levels. This paper addresses the issue of enhancing the efficiency of a multiple module system connected in parallel during operation and proposes an algorithm based on equal incremental cost for dynamic load allocation. Initially, a polynomial fitting technique is employed to fit efficiency test points for individual modules. Subsequently, the equal incremental cost-based optimization is utilized to formulate an efficiency optimization and allocation scheme for the multi-module system. A simulated annealing algorithm is applied to determine the optimal power output strategy for each module at given total power flow requirement. Finally, a dual active bridge (DAB) experimental prototype with two input-parallel-output-parallel (IPOP) configurations is constructed to validate the effectiveness of the proposed strategy. Experimental results demonstrate that under the 800W operating condition, the approach in this paper achieves an efficiency improvement of over 0.74\% by comparison with equal power sharing between both modules.


title: Stability of Homomorphisms, Coverings and Cocycles II: Examples, Applications and Open problems

abstract: Coboundary expansion (with $\mathbb{F}_2$ coefficients), and variations on it, have been the focus of intensive research in the last two decades. It was used to study random complexes, property testing, and above all Gromov's topological overlapping property. In part I of this paper, we extended the notion of coboundary expansion (and its variations) to cochains with permutation coefficients, equipped with the normalized Hamming distance. We showed that this gives a unified language for studying covering stability of complexes, as well as stability of group homomorphisms -- a topic that drew a lot of attention in recent years. In this part, we extend the theory to the permutation coefficients setting. This gives some new results, even for $\mathbb{F}_2$ coefficients, opens several new directions of research, and suggests a pattern to proving the existence of non-sofic groups. Along the way, we solve the dimension $2$ case of a problem of Gromov, exhibiting a family of bounded degree coboundary expanders with $\mathbb{F}_2$ coefficients.


title: Transfer Learning to Detect COVID-19 Coughs with Incremental Addition of Patient Coughs to Healthy People's Cough Detection Models

abstract: Millions of people have died worldwide from COVID-19. In addition to its high death toll, COVID-19 has led to unbearable suffering for individuals and a huge global burden to the healthcare sector. Therefore, researchers have been trying to develop tools to detect symptoms of this human-transmissible disease remotely to control its rapid spread. Coughing is one of the common symptoms that researchers have been trying to detect objectively from smartphone microphone-sensing. While most of the approaches to detect and track cough symptoms rely on machine learning models developed from a large amount of patient data, this is not possible at the early stage of an outbreak. In this work, we present an incremental transfer learning approach that leverages the relationship between healthy peoples' coughs and COVID-19 patients' coughs to detect COVID-19 coughs with reasonable accuracy using a pre-trained healthy cough detection model and a relatively small set of patient coughs, reducing the need for large patient dataset to train the model. This type of model can be a game changer in detecting the onset of a novel respiratory virus.


title: ReactionT5: a large-scale pre-trained model towards application of limited reaction data

abstract: Transformer-based deep neural networks have revolutionized the field of molecular-related prediction tasks by treating molecules as symbolic sequences. These models have been successfully applied in various organic chemical applications by pretraining them with extensive compound libraries and subsequently fine-tuning them with smaller in-house datasets for specific tasks. However, many conventional methods primarily focus on single molecules, with limited exploration of pretraining for reactions involving multiple molecules. In this paper, we propose ReactionT5, a novel model that leverages pretraining on the Open Reaction Database (ORD), a publicly available large-scale resource. We further fine-tune this model for yield prediction and product prediction tasks, demonstrating its impressive performance even with limited fine-tuning data compared to traditional models. The pre-trained ReactionT5 model is publicly accessible on the Hugging Face platform.


title: First-principles pressure dependent investigation of the physical properties of KB2H8: a prospective high-TC superconductor

abstract: Using the density functional theory (DFT) based first-principles investigation, the structural, mechanical, hardness, elastic anisotropy, optoelectronic, and thermal properties of cubic KB2H8 have been studied within the uniform pressure range of 0 - 24 GPa. The calculated structural parameters are in good agreement with the previous theoretical work. The compound KB2H8 is found to be structurally and thermodynamically stable in the pressure range from 8 GPa to 24 GPa. Single crystal elastic constants Cij and bulk elastic moduli (B, G and Y) increase systematically with pressure from 8 GPa to 24 GPa. In the stable phase, KB2H8 is moderately elastically anisotropic and ductile in nature. The compound is highly machinable and fracture resistant. The Debye temperature, melting temperature and thermal conductivity increases with pressure. The results of electronic band structure calculations and optical parameters at different pressures are consistent with each other. The compound is optically isotropic. The compound KB2H8 has potential to be used as a very efficient solar energy reflector. The electronic energy density of states at the Fermi level decreases systematically with increasing pressure. The same trend is found for the repulsive Coulomb pseudopotential. Possible relevance of the studied properties to superconductivity has also been discussed in this paper.


title: Quantum Griffiths singularity in three-dimensional superconductor to Anderson critical insulator transition

abstract: Disorder is ubiquitous in real materials and can have dramatic effects on quantum phase transitions. Originating from the disorder enhanced quantum fluctuation, quantum Griffiths singularity (QGS) has been revealed as a universal phenomenon in quantum criticality of low-dimensional superconductors. However, due to the weak fluctuation effect, QGS is very challenging to detect experimentally in three-dimensional (3D) superconducting systems. Here we report the discovery of QGS associated with the quantum phase transition from 3D superconductor to Anderson critical insulator in a spinel oxide MgTi2O4 (MTO). Under both perpendicular and parallel magnetic field, the dynamical critical exponent diverges when approaching the quantum critical point, demonstrating the existence of 3D QGS. Among 3D superconductors, MTO shows relatively strong fluctuation effect featured as a wide superconducting transition region. The enhanced fluctuation, which may arise from the mobility edge of Anderson localization, finally leads to the occurrence of 3D quantum phase transition and QGS. Our findings offer a new perspective to understand quantum phase transitions in strongly disordered 3D systems.


title: Optimal $L^\infty(L^2)$ and $L^1(L^2)$ a posteriori error estimates for the fully discrete approximations of time fractional parabolic differential equations

abstract: We derive optimal order a posteriori error estimates in the $L^\infty(L^2)$ and $L^1(L^2)$-norms for the fully discrete approximations of time fractional parabolic differential equations. For the discretization in time, we use the $L1$ methods, while for the spatial discretization, we use standard conforming finite element methods. The linear and quadratic space-time reconstructions are introduced, which are generalizations of the elliptic space reconstruction. Then the related a posteriori error estimates for the linear and quadratic space-time reconstructions play key roles in deriving global and pointwise final error estimates. Numerical experiments verify and complement our theoretical results.


title: PuzzleTuning: Explicitly Bridge Pathological and Natural Image with Puzzles

abstract: Pathological image analysis is a crucial field in computer vision. Due to the annotation scarcity in the pathological field, pre-training with self-supervised learning (SSL) is widely applied to learn on unlabeled images. However, the current SSL-based pathological pre-training: (1) does not explicitly explore the essential focuses of the pathological field, and (2) does not effectively bridge with and thus take advantage of the knowledge from natural images. To explicitly address them, we propose our large-scale PuzzleTuning framework, containing the following innovations. Firstly, we define three task focuses that can effectively bridge knowledge of pathological and natural domain: appearance consistency, spatial consistency, and restoration understanding. Secondly, we devise a novel multiple puzzle restoring task, which explicitly pre-trains the model regarding these focuses. Thirdly, we introduce an explicit prompt-tuning process to incrementally integrate the domain-specific knowledge. It builds a bridge to align the large domain gap between natural and pathological images. Additionally, a curriculum-learning training strategy is designed to regulate task difficulty, making the model adaptive to the puzzle restoring complexity. Experimental results show that our PuzzleTuning framework outperforms the previous state-of-the-art methods in various downstream tasks on multiple datasets. The code, demo, and pre-trained weights are available at https://github.com/sagizty/PuzzleTuning.


title: Thermalization in the Lenard-Jones gas

abstract: In this letter, using energy transfers, we demonstrate a route to thermalization in an isolated ensemble of realistic gas particles. We performed a grid-free classical molecular dynamics simulation of two-dimensional Lenard-Jones gas. We start our simulation with a large-scale vortex akin to a hydrodynamic flow and study its non-equilibrium behavior till it attains thermal equilibrium. In the intermediate phases, small wavenumbers ($k$) exhibit $E(k) \propto k^{-3}$ kinetic energy spectrum whereas large wavenumbers exhibit $E(k) \propto k$ spectrum. Asymptotically, $E(k) \propto k$ for the whole range of $k$, thus indicating thermalization. These results are akin to those of Euler turbulence despite complex collisions and interactions among the particles.


title: What factors influence the popularity of user-generated text in the creative domain? A case study of book reviews

abstract: This study investigates a range of psychological, lexical, semantic, and readability features of book reviews to elucidate the factors underlying their perceived popularity. To this end, we conduct statistical analyses of various features, including the types and frequency of opinion and emotion-conveying terms, connectives, character mentions, word uniqueness, commonness, and sentence structure, among others. Additionally, we utilize two readability tests to explore whether reading ease is positively associated with review popularity. Finally, we employ traditional machine learning classifiers and transformer-based fine-tuned language models with n-gram features to automatically determine review popularity. Our findings indicate that, with the exception of a few features (e.g., review length, emotions, and word uniqueness), most attributes do not exhibit significant differences between popular and non-popular review groups. Furthermore, the poor performance of machine learning classifiers using the word n-gram feature highlights the challenges associated with determining popularity in creative domains. Overall, our study provides insights into the factors underlying review popularity and highlights the need for further research in this area, particularly in the creative realm.


title: Average principles for forward-backward multivalued stochastic systems and homogenization for systems of nonlinear parabolic PDEs

abstract: This work concerns about forward-backward multivalued stochastic systems. First of all, we prove one average principle for general stochastic differential equations in the $L^{2p}$ ($p\geq 1$) sense. Moreover, for $p=1$ a convergence rate is presented. Then combining general stochastic differential equations with backward stochastic variation inequalities, we establish the other average principle for backward stochastic variation inequalities in the $L^{2}$ sense through a time discretization method. Finally, we apply our result to nonlinear parabolic partial differential equations and obtain the homogenization of them.


title: Sustainable Development Goals (SDGs): New Zealand Outlook with Central Bank Digital Currency and SDG 8 Realization on the Horizon

abstract: Central Bank Digital Currency (CBDC) may assist New Zealand accomplish SDG 8. I aim to evaluate if SDGs could be achieved together because of mutual interactions between SDG 8 and other SDGs. The SDGs are categorized by their shared qualities to affect and effect SDG 8. Also, additional SDGs may help each other achieve. Considering the CBDC as a fundamental stimulus to achieving decent work and economic growth, detailed study and analysis of mutual interactions suggests that SDG 8 and other SDGs can be achieved.


title: Whitehead Filtrations for Computations in Topological Hochschild Homology

abstract: We discuss spectral sequences coming from Whitehead filtrations in the computation of topological Hochschild homology of ring spectra. Using cyclic invariance, this makes for simple computations of $THH$ of connective rings $R$ with coefficients in discrete ring spectra. In particular, we show how to use this to compute $THH(tmf,\mathbb{F}_2)$, and $THH(tmf,\mathbb{Z}_{(2)})$, where $tmf$ denotes the $\mathbb{E}_\infty$ ring spectrum of topological modular forms. Then, we obtain a description of $THH(\ell/v_1^n)$ in terms of $THH(\ell,\ell/v_1^n)$, where the latter can be computed by results of arXiv:0710.4368. We next explain how the methods of this computation generalize to give us information about $THH(cofib(x^k:\Sigma^{k|x|}R\to R))$ for $R$ and $cofib(x^k)$ suitably structured connective ring spectra, $k>1$, and $x\in \pi_{*}(R)$ an arbitrary element in positive degree. Finally, we examine the general framework to describe the topological Hochschild homology of 2-local connective self-conjugate K-theory, $ksc_2$.


title: Sustainable Development Goal (SDG) 8: New Zealand Prospects while Yield Curve Inverts in Central Bank Digital Currency (CBDC) Era

abstract: In the inverted yield curve environment, I intend to assess the feasibility of fulfilling Sustainable Development Goal (SDG) 8, decent work and economic growth, of the United Nations by 2030 in New Zealand. Central Bank Digital Currency (CBDC) issuance supports SDG 8, based on the Cobb-Douglas production function, the growth accounting relation, and the Theory of Aggregate Demand. Bright prospects exist for New Zealand.


title: Efficient Multiple-Robust Estimation for Nonresponse Data Under Informative Sampling

abstract: Nonresponse after probability sampling is a universal challenge in survey sampling, often necessitating adjustments to mitigate sampling and selection bias simultaneously. This study explored the removal of bias and effective utilization of available information, not just in nonresponse but also in the scenario of data integration, where summary statistics from other data sources are accessible. We reformulate these settings within a two-step monotone missing data framework, where the first step of missingness arises from sampling and the second originates from nonresponse. Subsequently, we derive the semiparametric efficiency bound for the target parameter. We also propose adaptive estimators utilizing methods of moments and empirical likelihood approaches to attain the lower bound. The proposed estimator exhibits both efficiency and double robustness. However, attaining efficiency with an adaptive estimator requires the correct specification of certain working models. To reinforce robustness against the misspecification of working models, we extend the property of double robustness to multiple robustness by proposing a two-step empirical likelihood method that effectively leverages empirical weights. A numerical study is undertaken to investigate the finite-sample performance of the proposed methods. We further applied our methods to a dataset from the National Health and Nutrition Examination Survey data by efficiently incorporating summary statistics from the National Health Interview Survey data.


title: Cappy: Outperforming and Boosting Large Multi-Task LMs with a Small Scorer

abstract: Large language models (LLMs) such as T0, FLAN, and OPT-IML, excel in multi-tasking under a unified instruction-following paradigm, where they also exhibit remarkable generalization abilities to unseen tasks. Despite their impressive performance, these LLMs, with sizes ranging from several billion to hundreds of billions of parameters, demand substantial computational resources, making their training and inference expensive and inefficient. Furthermore, adapting these models to downstream applications, particularly complex tasks, is often unfeasible due to the extensive hardware requirements for finetuning, even when utilizing parameter-efficient approaches such as prompt tuning. Additionally, the most powerful multi-task LLMs, such as OPT-IML-175B and FLAN-PaLM-540B, are not publicly accessible, severely limiting their customization potential. To address these challenges, we introduce a pretrained small scorer, Cappy, designed to enhance the performance and efficiency of multi-task LLMs. With merely 360 million parameters, Cappy functions either independently on classification tasks or serve as an auxiliary component for LLMs, boosting their performance. Moreover, Cappy enables efficiently integrating downstream supervision without requiring LLM finetuning nor the access to their parameters. Our experiments demonstrate that, when working independently on 11 language understanding tasks from PromptSource, Cappy outperforms LLMs that are several orders of magnitude larger. Besides, on 45 complex tasks from BIG-Bench, Cappy boosts the performance of the advanced multi-task LLM, FLAN-T5, by a large margin. Furthermore, Cappy is flexible to cooperate with other LLM adaptations, including finetuning and in-context learning, offering additional performance enhancement.


title: Compact groups from semi-analytical models of galaxy formation -- V: their assembly channels as a function of the environment

abstract: We delved into the assembly pathways and environments of compact groups (CGs) of galaxies using mock catalogues generated from semi-analytical models (SAMs) on the Millennium simulation. We investigate the ability of SAMs to replicate the observed CG environments and whether CGs with different assembly histories tend to inhabit specific cosmic environments. We also analyse whether the environment or the assembly history is more important in tailoring CG properties. We find that about half of the CGs in SAMs are non-embedded systems, 40% are inhabiting loose groups or nodes of filaments, while the rest distribute evenly in filaments and voids, in agreement with observations. We observe that early-assembled CGs preferentially inhabit large galaxy systems (~ 60%), while around 30% remain non-embedded. Conversely, lately-formed CGs exhibit the opposite trend. We also obtain that lately-formed CGs have lower velocity dispersions and larger crossing times than early-formed CGs, but mainly because they are preferentially non-embedded. Those lately-formed CGs that inhabit large systems do not show the same features. Therefore, the environment plays a strong role in these properties for lately-formed CGs. Early-formed CGs are more evolved, displaying larger velocity dispersions, shorter crossing times, and more dominant first-ranked galaxies, regardless of the environment. Finally, the difference in brightness between the two brightest members of CGs is dependent only on the assembly history and not on the environment. CGs residing in diverse environments have undergone varied assembly processes, making them suitable for studying their evolution and the interplay of nature and nurture on their traits.


title: Schubert cells of mixed type in complex Lagrangian Grassmannians

abstract: We describe CW decompositions of complex Lagrangian Grassmannians, that contain as subcomplexes, CW decompositions of real Lagrangian Grassmannians by Schubert-Arnol'd cells. The degrees of attaching maps are explicitly computed in terms of quantities that can be read off from the corresponding shifted Young diagrams of mixed type. The signs are determined by a choice of lexicographical ordering on coordinates. As an immediate consequence, we obtain the homotopy extension property for real and complex Lagrangian Grassmannians. We also show some torsion classes in the integral homology of the real Lagrangian Grassmannian are contractible inside the complex Lagrangian Grassmannian.


title: A Nonlinear Analysis Software Toolkit for Biomechanical Data

abstract: In this paper, we present a nonlinear analysis software toolkit, which can help in biomechanical gait data analysis by implementing various nonlinear statistical analysis algorithms. The toolkit is proposed to tackle the need for an easy-to-use and friendly analyzer for gait data where algorithms seem complex to implement in software and execute. With the availability of our toolkit, people without programming knowledge can run the analysis to receive human gait data analysis results. Our toolkit includes the implementation of several nonlinear analysis algorithms, while it is also possible for users with programming experience to expand its scope by implementing and adding more algorithms to the toolkit. Currently, the toolkit supports MatLab bindings while being developed in Python. The toolkit can seamlessly run as a background process to analyze hundreds of different gait data and produce analysis outcomes and figures that illustrate these results.


title: Controllable Topic-Focused Abstractive Summarization

abstract: Controlled abstractive summarization focuses on producing condensed versions of a source article to cover specific aspects by shifting the distribution of generated text towards a desired style, e.g., a set of topics. Subsequently, the resulting summaries may be tailored to user-defined requirements. This paper presents a new Transformer-based architecture capable of producing topic-focused summaries. The architecture modifies the cross-attention mechanism of the Transformer to bring topic-focus control to the generation process while not adding any further parameters to the model. We show that our model sets a new state of the art on the NEWTS dataset in terms of topic-focused abstractive summarization as well as a topic-prevalence score. Moreover, we show via extensive experiments that our proposed topical cross-attention mechanism can be plugged into various Transformer models, such as BART and T5, improving their performance on the CNN/Dailymail and XSum benchmark datasets for abstractive summarization. This is achieved via fine-tuning, without requiring training from scratch. Finally, we show through human evaluation that our model generates more faithful summaries outperforming the state-of-the-art Frost model.


title: Advanced Feedback Linearization Control for Tiltrotor UAVs: Gait Plan, Controller Design, and Stability Analysis

abstract: Three challenges, however, can hinder the application of Feedback Linearization: over-intensive control signals, singular decoupling matrix, and saturation. Activating any of these three issues can challenge the stability proof. To solve these three challenges, first, this research proposed the drone gait plan. The gait plan was initially used to figure out the control problems in quadruped (four-legged) robots; applying this approach, accompanied by Feedback Linearization, the quality of the control signals was enhanced. Then, we proposed the concept of unacceptable attitude curves, which are not allowed for the tiltrotor to travel to. The Two Color Map Theorem was subsequently established to enlarge the supported attitude for the tiltrotor. These theories were employed in the tiltrotor tracking problem with different references. Notable improvements in the control signals were witnessed in the tiltrotor simulator. Finally, we explored the control theory, the stability proof of the novel mobile robot (tilt vehicle) stabilized by Feedback Linearization with saturation. Instead of adopting the tiltrotor model, which is over-complicated, we designed a conceptual mobile robot (tilt-car) to analyze the stability proof. The stability proof (stable in the sense of Lyapunov) was found for a mobile robot (tilt vehicle) controlled by Feedback Linearization with saturation for the first time. The success tracking result with the promising control signals in the tiltrotor simulator demonstrates the advances of our control method. Also, the Lyapunov candidate and the tracking result in the mobile robot (tilt-car) simulator confirm our deductions of the stability proof. These results reveal that these three challenges in Feedback Linearization are solved, to some extents.