title: Exploring Damping Effect of Inner Control Loops for Grid-Forming VSCs

abstract: This paper presents an analytical approach to explore the damping effect of inner loops on grid-forming converters. First, an impedance model is proposed to characterize the behaviors of inner loops, thereby illustrating their influence on output impedance shaping. Then, based on the impedance representation, the complex torque coefficient method is employed to assess the contribution of inner loops to system damping. The interactions among inner loops, outer loops, and the ac grid are analyzed. It reveals that inner loops shape the electrical damping torque coefficient and consequently influence both synchronous and sub-synchronous oscillation modes. The virtual admittance and current control-based inner-loop scheme is employed to illustrate the proposed analytical approach. The case study comprises the analysis of impedance profiles, the analysis of damping torque contributed by inner loops under various grid strengths, and the comparison between dq-frame and {\alpha}\b{eta}-frame realizations of inner loops. Finally, simulation and experimental tests collaborate with theoretical approaches and findings.


title: Legend at ArAIEval Shared Task: Persuasion Technique Detection using a Language-Agnostic Text Representation Model

abstract: In this paper, we share our best performing submission to the Arabic AI Tasks Evaluation Challenge (ArAIEval) at ArabicNLP 2023. Our focus was on Task 1, which involves identifying persuasion techniques in excerpts from tweets and news articles. The persuasion technique in Arabic texts was detected using a training loop with XLM-RoBERTa, a language-agnostic text representation model. This approach proved to be potent, leveraging fine-tuning of a multilingual language model. In our evaluation of the test set, we achieved a micro F1 score of 0.64 for subtask A of the competition.


title: Quantifying ground state degeneracy in planar artificial spin ices: the magnetic structure factor approach

abstract: Magnetic structure factor (MSF) is employed to investigate the ground state degeneracy in rectangular-like artificial spin ices. Our analysis considers the importance of nanoislands size via dumbbell model approximation. Pinch points in MSF and residual entropy are found for rectangular lattices with disconnected nanoislands, signalizing an emergent gauge field, through which magnetic monopoles interact effectively. Dipole-dipole interaction is also used and its predictions are compared with those obtained by dumbbell model.


title: VBFT: Veloce Byzantine Fault Tolerant Consensus for Blockchains

abstract: Low latency is one of the most desirable features of partially synchronous Byzantine consensus protocols. Existing low-latency protocols have achieved consensus with just two communication steps by reducing the maximum number of faults the protocol can tolerate (from $f = \frac{n-1}{3}$ to $f = \frac{n+1}{5}$), \textcolor{black}{by relaxing protocol safety guarantees}, or by using trusted hardware like Trusted Execution Environment. Furthermore, these two-step protocols don't support rotating leaders and low-cost view change (leader replacement), which are important features of many blockchain use cases. In this paper, we propose a protocol called VBFT which achieves consensus in just two communication steps without sacrificing desirable features. In particular, VBFT tolerates $f = \frac{n-1}{3}$ faults (which is the best possible), guarantees strong safety for honest leaders, and requires no trusted hardware. Moreover, VBFT supports leader rotation and low-cost view change, thereby improving prior art on multiple axes.


title: ALMA High-frequency Long Baseline Campaign in 2021: Highest Angular Resolution Submillimeter Wave Images for the Carbon-rich Star R Lep

abstract: The Atacama Large Millimeter/submillimeter Array (ALMA) was used in 2021 to image the carbon-rich evolved star R Lep in Bands 8-10 (397-908 GHz) with baselines up to 16 km. The goal was to validate the calibration, using band-to-band (B2B) phase referencing with a close phase calibrator J0504-1512, 1.2 deg from R Lep in this case, and the imaging procedures required to obtain the maximum angular resolution achievable with ALMA. Images of the continuum emission and the hydrogen cyanide (HCN) maser line at 890.8 GHz, from the J=10-9 transition between the (1110) and (0400) vibrationally excited states, achieved angular resolutions of 13, 6, and 5 mas in Bands 8-10, respectively. Self-calibration (self-cal) was used to produce ideal images as to compare with the B2B phase referencing technique. The continuum emission was resolved in Bands 9 and 10, leaving too little flux for self-cal of the longest baselines, so these comparisons are made at coarser resolution. Comparisons showed that B2B phase referencing provided phase corrections sufficient to recover 92%, 83%, and 77% of the ideal image continuum flux densities. The HCN maser was sufficiently compact to obtain self-cal solutions in Band 10 for all baselines (up to 16 km). In Band 10, B2B phase referencing as compared to the ideal images recovered 61% and 70% of the flux density for the HCN maser and continuum, respectively.


title: A Blockchain-empowered Multi-Aggregator Federated Learning Architecture in Edge Computing with Deep Reinforcement Learning Optimization

abstract: Federated learning (FL) is emerging as a sought-after distributed machine learning architecture, offering the advantage of model training without direct exposure of raw data. With advancements in network infrastructure, FL has been seamlessly integrated into edge computing. However, the limited resources on edge devices introduce security vulnerabilities to FL in the context. While blockchain technology promises to bolster security, practical deployment on resource-constrained edge devices remains a challenge. Moreover, the exploration of FL with multiple aggregators in edge computing is still new in the literature. Addressing these gaps, we introduce the Blockchain-empowered Heterogeneous Multi-Aggregator Federated Learning Architecture (BMA-FL). We design a novel light-weight Byzantine consensus mechanism, namely PBCM, to enable secure and fast model aggregation and synchronization in BMA-FL. We also dive into the heterogeneity problem in BMA-FL that the aggregators are associated with varied number of connected trainers with Non-IID data distributions and diverse training speed. We proposed a multi-agent deep reinforcement learning algorithm to help aggregators decide the best training strategies. The experiments on real-word datasets demonstrate the efficiency of BMA-FL to achieve better models faster than baselines, showing the efficacy of PBCM and proposed deep reinforcement learning algorithm.


title: Time-resolved photoemission electron microscopy on a ZnO surface using an extreme ultraviolet attosecond pulse pair

abstract: Electrons photoemitted by extreme ultraviolet attosecond pulses derive spatially from the first few atomic surface layers and energetically from the valence band and highest atomic orbitals. As a result, it is possible to probe the emission dynamics from a narrow two-dimensional region in the presence of optical fields as well as obtain elemental specific information. However, combining this with spatially-resolved imaging is a long-standing challenge because of the large inherent spectral width of attosecond pulses as well as the difficulty of making them at high repetition rates. Here we demonstrate an attosecond interferometry experiment on a zinc oxide (ZnO) surface using spatially and energetically resolved photoelectrons. We combine photoemission electron microscopy with near-infrared pump - extreme ultraviolet probe laser spectroscopy and resolve the instantaneous phase of an infrared field with high spatial resolution. Our results show how the core level states with low binding energy of ZnO are well suited to perform spatially resolved attosecond interferometry experiments. We observe a distinct phase shift of the attosecond beat signal across the laser focus which we attribute to wavefront differences between the pump and the probe fields at the surface. Our work demonstrates a clear pathway for attosecond interferometry with high spatial resolution at atomic scale surface regions opening up for a detailed understanding of nanometric light-matter interaction.


title: Edge-InversionNet: Enabling Efficient Inference of InversionNet on Edge Devices

abstract: Seismic full waveform inversion (FWI) is a widely used technique in geophysics for inferring subsurface structures from seismic data. And InversionNet is one of the most successful data-driven machine learning models that is applied to seismic FWI. However, the high computing costs to run InversionNet have made it challenging to be efficiently deployed on edge devices that are usually resource-constrained. Therefore, we propose to employ the structured pruning algorithm to get a lightweight version of InversionNet, which can make an efficient inference on edge devices. And we also made a prototype with Raspberry Pi to run the lightweight InversionNet. Experimental results show that the pruned InversionNet can achieve up to 98.2 % reduction in computing resources with moderate model performance degradation.


title: Beyond Testers' Biases: Guiding Model Testing with Knowledge Bases using LLMs

abstract: Current model testing work has mostly focused on creating test cases. Identifying what to test is a step that is largely ignored and poorly supported. We propose Weaver, an interactive tool that supports requirements elicitation for guiding model testing. Weaver uses large language models to generate knowledge bases and recommends concepts from them interactively, allowing testers to elicit requirements for further testing. Weaver provides rich external knowledge to testers and encourages testers to systematically explore diverse concepts beyond their own biases. In a user study, we show that both NLP experts and non-experts identified more, as well as more diverse concepts worth testing when using Weaver. Collectively, they found more than 200 failing test cases for stance detection with zero-shot ChatGPT. Our case studies further show that Weaver can help practitioners test models in real-world settings, where developers define more nuanced application scenarios (e.g., code understanding and transcript summarization) using LLMs.


title: A Framework For Automated Dissection Along Tissue Boundary

abstract: Robotic surgery promises enhanced precision and adaptability over traditional surgical methods. It also offers the possibility of automating surgical interventions, resulting in reduced stress on the surgeon, better surgical outcomes, and lower costs. Cholecystectomy, the removal of the gallbladder, serves as an ideal model procedure for automation due to its distinct and well-contrasted anatomical features between the gallbladder and liver, along with standardized surgical maneuvers. Dissection is a frequently used subtask in cholecystectomy where the surgeon delivers the energy on the hook to detach the gallbladder from the liver. Hence, dissection along tissue boundaries is a good candidate for surgical automation. For the da Vinci surgical robot to perform the same procedure as a surgeon automatically, it needs to have the ability to (1) recognize and distinguish between the two different tissues (e.g. the liver and the gallbladder), (2) understand where the boundary between the two tissues is located in the 3D workspace, (3) locate the instrument tip relative to the boundary in the 3D space using visual feedback, and (4) move the instrument along the boundary. This paper presents a novel framework that addresses these challenges through AI-assisted image processing and vision-based robot control. We also present the ex-vivo evaluation of the automated procedure on chicken and pork liver specimens that demonstrates the effectiveness of the proposed framework.


title: One loop reduced QED for massive fermions within an innovative formalism

abstract: We carry out a detailed study of the three-point fermion-photon interaction vertex at one loop order for massive fermions in reduced quantum electrodynamics. This calculation is carried out in arbitrary covariant gauges and space-time dimensions within a recently proposed innovative approach based upon an efficient combination of the first and second order formalisms of quantum electrodynamics. This procedure provides a natural decomposition of the vertex into its components which are longitudinal and transverse to the photon momentum. It also separates the spin and scalar degrees of freedom of a fermion interacting electromagnetically, allowing us to readily establish the gauge-independence of the Pauli form factor and compute it in an expeditious manner. All incoming and outgoing momenta are taken off-shell at the outset. However, we present results for cases of particular kinematic interest whenever required. For the sake of completeness, we also provide expressions for the massive fermion self energy and photon vacuum polarization, verifying known expressions for massless reduced quantum electrodynamics and computing the renormalization constants ${\cal Z}_1$, ${\cal Z}_2$ and ${\cal Z}_3$. As we provide general expressions for the computed Green functions, we readily reproduce and confirm the results for standard quantum electrodynamics. Comparing the two cases, we infer that the Pauli form factor for reduced quantum electrodynamics is $8/3$ times that for the standard QED in four dimensions, implying a higher Land\'e $g$-factor. We expect our perturbative calculation of the fermion-photon vertex to serve as a guide for any non-perturbative construction of this Green function, invariably required in the Schwinger-Dyson equation studies of the subject.


title: FPGA Implementation of OTFS Modulation for 6G Communication Systems

abstract: Sixth-generation (6G) communication systems are poised to accommodate high data-rate wireless communication services in highly dynamic channels, with applications including high-speed trains, unmanned aerial vehicles, and intelligent transportation systems. Orthogonal frequency-division multiplexing (OFDM) modulation suffers from performance degradation in such high-mobility applications due to high Doppler spread in the channel. The recently proposed Orthogonal Time Frequency Space (OTFS) modulation scheme outperforms OFDM in terms of supporting a higher transmitter (Tx) and receiver (Rx) user velocity. Additionally, the highly-dynamic time-frequency (TF) channel has little effect on OTFS modulated signals, which enables the realization of low-complexity pre-processing architectures for implementing massive-multiple input multiple outputs (MIMO) based OTFS systems. However, while OTFS has received attention in the literature from a theory and simulation perspective, there has been comparatively little work on real-time FPGA implementation of OTFS waveforms. Thus, in this paper, we first present a mathematical overview of OTFS modulation and then describe an FPGA implementation of OTFS implementation on hardware. Power, area, and timing analysis of the implemented design on a Zynq UltraScale+ RFSoC FPGA are provided for benchmarking purposes.


title: Towards Semi-Structured Automatic ICD Coding via Tree-based Contrastive Learning

abstract: Automatic coding of International Classification of Diseases (ICD) is a multi-label text categorization task that involves extracting disease or procedure codes from clinical notes. Despite the application of state-of-the-art natural language processing (NLP) techniques, there are still challenges including limited availability of data due to privacy constraints and the high variability of clinical notes caused by different writing habits of medical professionals and various pathological features of patients. In this work, we investigate the semi-structured nature of clinical notes and propose an automatic algorithm to segment them into sections. To address the variability issues in existing ICD coding models with limited data, we introduce a contrastive pre-training approach on sections using a soft multi-label similarity metric based on tree edit distance. Additionally, we design a masked section training strategy to enable ICD coding models to locate sections related to ICD codes. Extensive experimental results demonstrate that our proposed training strategies effectively enhance the performance of existing ICD coding methods.


title: Robust Quickest Change Detection in Non-Stationary Processes

abstract: Optimal algorithms are developed for robust detection of changes in non-stationary processes. These are processes in which the distribution of the data after change varies with time. The decision-maker does not have access to precise information on the post-change distribution. It is shown that if the post-change non-stationary family has a distribution that is least favorable in a well-defined sense, then the algorithms designed using the least favorable distributions are robust and optimal. Non-stationary processes are encountered in public health monitoring and space and military applications. The robust algorithms are applied to real and simulated data to show their effectiveness.


title: Excitonic effects in nonlinear optical responses: Exciton-state formalism and first-principles calculations

abstract: Nonlinear optical (NLO) responses have garnered tremendous interest for decades due to their fundamental and technological interests. The theory and calculations of NLO responses including electron-hole interactions, which is especially crucial for reduced-dimensional materials, however, remain underdeveloped. Here, we develop an ab initio approach to calculate second-order nonlinear responses (such as second harmonic generation (SHG) and shift current) with excitonic effects in an exciton-state basis, going beyond the independent-particle approximation. We compute SHG in monolayer h-BN and MoS2 employing exciton states from GW-Bethe-Salpeter equation (GW-BSE) calculations and show both materials exhibit huge excitonic enhancement. The physical origin of the enhancement is directly understood through the coupling amplitudes among exciton states, assisted with diagrammatic representations. Our method provides an accurate and ab initio description of second-order NLO responses, capturing self-energy and electron-hole interaction effects.


title: Efficient Model-Agnostic Multi-Group Equivariant Networks

abstract: Constructing model-agnostic group equivariant networks, such as equitune (Basu et al., 2023b) and its generalizations (Kim et al., 2023), can be computationally expensive for large product groups. We address this by providing efficient model-agnostic equivariant designs for two related problems: one where the network has multiple inputs each with potentially different groups acting on them, and another where there is a single input but the group acting on it is a large product group. For the first design, we initially consider a linear model and characterize the entire equivariant space that satisfies this constraint. This characterization gives rise to a novel fusion layer between different channels that satisfies an invariance-symmetry (IS) constraint, which we call an IS layer. We then extend this design beyond linear models, similar to equitune, consisting of equivariant and IS layers. We also show that the IS layer is a universal approximator of invariant-symmetric functions. Inspired by the first design, we use the notion of the IS property to design a second efficient model-agnostic equivariant design for large product groups acting on a single input. For the first design, we provide experiments on multi-image classification where each view is transformed independently with transformations such as rotations. We find equivariant models are robust to such transformations and perform competitively otherwise. For the second design, we consider three applications: language compositionality on the SCAN dataset to product groups; fairness in natural language generation from GPT-2 to address intersectionality; and robust zero-shot image classification with CLIP. Overall, our methods are simple and general, competitive with equitune and its variants, while also being computationally more efficient.


title: Mastering Robot Manipulation with Multimodal Prompts through Pretraining and Multi-task Fine-tuning

abstract: Prompt-based learning has been demonstrated as a compelling paradigm contributing to large language models' tremendous success (LLMs). Inspired by their success in language tasks, existing research has leveraged LLMs in embodied instruction following and task planning. In this work, we tackle the problem of training a robot to understand multimodal prompts, interleaving vision signals with text descriptions. This type of task poses a major challenge to robots' capability to understand the interconnection and complementarity between vision and language signals. In this work, we introduce an effective framework that learns a policy to perform robot manipulation with multimodal prompts from multi-task expert trajectories. Our methods consist of a two-stage training pipeline that performs inverse dynamics pretraining and multi-task finetuning. To facilitate multimodal understanding, we design our multimodal prompt encoder by augmenting a pretrained LM with a residual connection to the visual input and model the dependencies among action dimensions. Empirically, we evaluate the efficacy of our method on the VIMA-BENCH and establish a new state-of-the-art (10% improvement in success rate). Moreover, we demonstrate that our model exhibits remarkable in-context learning ability. Project page: \url{https://midas-icml.github.io/}.


title: S-Procedure Relaxation: a Case of Exactness Involving Chebyshev Centers

abstract: Optimal recovery is a mathematical framework for learning functions from observational data by adopting a worst-case perspective tied to model assumptions on the functions to be learned. Working in a finite-dimensional Hilbert space, we consider model assumptions based on approximability and observation inaccuracies modeled as additive errors bounded in $\ell_2$. We focus on the local recovery problem, which amounts to the determination of Chebyshev centers. Earlier work by Beck and Eldar presented a semidefinite recipe for the determination of Chebyshev centers. The result was valid in the complex setting only, but not necessarily in the real setting, since it relied on the S-procedure with two quadratic constraints, which offers a tight relaxation only in the complex setting. Our contribution consists in proving that this semidefinite recipe is exact in the real setting, too, at least in the particular instance where the quadratic constraints involve orthogonal projectors. Our argument exploits a previous work of ours, where exact Chebyshev centers were obtained in a different way. We conclude by stating some open questions and by commenting on other recent results in optimal recovery.


title: Tree Containment Above Minimum Degree is FPT

abstract: According to the classic Chv{\'{a}}tal's Lemma from 1977, a graph of minimum degree $\delta(G)$ contains every tree on $\delta(G)+1$ vertices. Our main result is the following algorithmic "extension" of Chv\'{a}tal's Lemma: For any $n$-vertex graph $G$, integer $k$, and a tree $T$ on at most $\delta(G)+k$ vertices, deciding whether $G$ contains a subgraph isomorphic to $T$, can be done in time $f(k)\cdot n^{\mathcal{O}(1)}$ for some function $f$ of $k$ only. The proof of our main result is based on an interplay between extremal graph theory and parameterized algorithms.


title: What Do Deep Saliency Models Learn about Visual Attention?

abstract: In recent years, deep saliency models have made significant progress in predicting human visual attention. However, the mechanisms behind their success remain largely unexplained due to the opaque nature of deep neural networks. In this paper, we present a novel analytic framework that sheds light on the implicit features learned by saliency models and provides principled interpretation and quantification of their contributions to saliency prediction. Our approach decomposes these implicit features into interpretable bases that are explicitly aligned with semantic attributes and reformulates saliency prediction as a weighted combination of probability maps connecting the bases and saliency. By applying our framework, we conduct extensive analyses from various perspectives, including the positive and negative weights of semantics, the impact of training data and architectural designs, the progressive influences of fine-tuning, and common failure patterns of state-of-the-art deep saliency models. Additionally, we demonstrate the effectiveness of our framework by exploring visual attention characteristics in various application scenarios, such as the atypical attention of people with autism spectrum disorder, attention to emotion-eliciting stimuli, and attention evolution over time. Our code is publicly available at \url{https://github.com/szzexpoi/saliency_analysis}.


title: Improved Contextual Recognition In Automatic Speech Recognition Systems By Semantic Lattice Rescoring

abstract: Automatic Speech Recognition (ASR) has witnessed a profound research interest. Recent breakthroughs have given ASR systems different prospects such as faithfully transcribing spoken language, which is a pivotal advancement in building conversational agents. However, there is still an imminent challenge of accurately discerning context-dependent words and phrases. In this work, we propose a novel approach for enhancing contextual recognition within ASR systems via semantic lattice processing leveraging the power of deep learning models in accurately delivering spot-on transcriptions across a wide variety of vocabularies and speaking styles. Our solution consists of using Hidden Markov Models and Gaussian Mixture Models (HMM-GMM) along with Deep Neural Networks (DNN) models integrating both language and acoustic modeling for better accuracy. We infused our network with the use of a transformer-based model to properly rescore the word lattice achieving remarkable capabilities with a palpable reduction in Word Error Rate (WER). We demonstrate the effectiveness of our proposed framework on the LibriSpeech dataset with empirical analyses.


title: Safe Region Multi-Agent Formation Control With Velocity Tracking

abstract: This paper provides a solution to the problem of safe region formation control with reference velocity tracking for a second-order multi-agent system without velocity measurements. Safe region formation control is a control problem where the agents are expected to attain the desired formation while reaching the target region and simultaneously ensuring collision and obstacle avoidance. To tackle this control problem, we break it down into two distinct objectives: safety and region formation control, to provide a completely distributed algorithm. Region formation control is modeled as a high-level abstract objective, whereas safety and actuator saturation are modeled as a low-level objective designed independently, without any knowledge of the former, and being minimally invasive. Our approach incorporates connectivity preservation, actuator saturation, safety considerations, and lack of velocity measurement from other agents with second-order system dynamics which are important constraints in practical applications. Both internal safety for collision avoidance among agents and external safety for avoiding unsafe regions are ensured using exponential control barrier functions. We provide theoretical results for asymptotic convergence and numerical simulation to show the approach's effectiveness.


title: Bound states in the continuum induced via local symmetries in complex structures

abstract: Bound states in the continuum (BICs) defy conventional wisdom that assumes a spectral separation between propagating waves, that carry energy away, and spatially localized waves corresponding to discrete frequencies. They can be described as resonance states with infinite lifetime, i.e., leaky modes with zero leakage. The advent of metamaterials and nanophotonics allowed the creation of BICs in a variety of systems. Mainly, BICs have been realized by destructive interference between outgoing resonant modes or exploiting engineered global symmetries that enforce the decoupling of a symmetry-incompatible bound mode from the surrounding radiation modes. Here, we introduce theoretically BICs relying on a different mechanism, namely local symmetries that enforce a field concentration on a part of a complex system without implying any global symmetry. We experimentally implement such BICs using microwaves in a compact one-dimensional photonic network and show that they emerge from the annihilation of two topological singularities, a zero and a pole, of the measured scattering matrix. Our alternative for achieving BICs in complex wave systems may be useful for applications like sensing, lasing, and enhancement of nonlinear interactions that require high-$Q$ modes.


title: Detection of the 2021 Outburst of RS Ophiuchi with the LST-1

abstract: Novae are luminous explosions in close binaries which host a white dwarf and a companion donor star. They are triggered by a thermonuclear runaway when the white dwarf accretes a critical amount of matter from the secondary. Though novae are established as high-energy gamma-ray emitters through observations by the Fermi Large Area Telescope (LAT), the origin of the gamma-ray emission, whether it is hadronic or leptonic, had been under intense debate until very recently. RS Ophiuchi (RS Oph) is a well-known recurrent symbiotic nova with a recurrence time scale of 15 years. The most recent outburst of RS Oph in 2021 brought the first detection of very-high-energy (VHE) gamma rays from a nova ever. The first Large-Sized Telescope prototype (LST-1) of the Cherenkov Telescope Array observed this historic event along with H.E.S.S. and MAGIC. The LST-1 observations in the first days after the burst onset show a clear VHE gamma-ray signal from RS Oph. The low energy threshold of LST-1 allows us to reconstruct the RS Oph gamma-ray spectrum down to $\sim$30 GeV, providing the best connection of the VHE gamma-ray data to the Fermi LAT energy range. The results from the analysis of the LST-1 observations are consistent with those obtained with H.E.S.S. and MAGIC, and also support a hadronic origin for the observed gamma-ray fluxes. In this contribution, we will present the analysis results of the LST-1 observations of the 2021 outburst of RS Oph.


title: Generalization of one-center non orthogonal configuration interaction singles to open shell singlet reference states: Theory and application to valence-core pump-probe states in acetylacetone

abstract: We formulate a one-center non-orthogonal configuration interaction singles (1C-NOCIS) theory for the computation of core excited states of an initial singlet state with two unpaired electrons. This model, which we refer to as 1C-NOCIS two-electron open-shell (2eOS), is appropriate for computing the K-edge near-edge X-ray absorption spectra (NEXAS) of the valence excited states of closed-shell molecules relevant to pump-probe time-resolved (TR) NEXAS experiments. With inclusion of core hole relaxation effects and explicit spin adaptation, 1C-NOCIS 2eOS requires mild shifts to match experiment, is free of artifacts due to spin contamination, and can capture the high-energy region of the spectrum beyond the transitions into the singly occupied molecular orbitals (SOMO). Calculations on water and thymine illustrate the different key features of excited-state NEXAS, namely the core-to-SOMO transition as well as shifts and spin-splittings in the transitions analogous to those of the ground state. Finally, simulations of the TR-NEXAS of acetylacetone after excitation onto its pi to pi-star singlet excited state at the carbon K-edge - an experiment carried out recently - showcases the ability of 1C-NOCIS 2eOS to efficiently simulate NEXAS based on non-adiabatic molecular dynamics simulations.


title: Generative artificial intelligence for de novo protein design

abstract: Engineering new molecules with desirable functions and properties has the potential to extend our ability to engineer proteins beyond what nature has so far evolved. Advances in the so-called "de novo" design problem have recently been brought forward by developments in artificial intelligence. Generative architectures, such as language models and diffusion processes, seem adept at generating novel, yet realistic proteins that display desirable properties and perform specified functions. State-of-the-art design protocols now achieve experimental success rates nearing 20%, thus widening the access to de novo designed proteins. Despite extensive progress, there are clear field-wide challenges, for example in determining the best in silico metrics to prioritise designs for experimental testing, and in designing proteins that can undergo large conformational changes or be regulated by post-translational modifications and other cellular processes. With an increase in the number of models being developed, this review provides a framework to understand how these tools fit into the overall process of de novo protein design. Throughout, we highlight the power of incorporating biochemical knowledge to improve performance and interpretability.


title: Enhancing Column Generation by Reinforcement Learning-Based Hyper-Heuristic for Vehicle Routing and Scheduling Problems

abstract: Column generation (CG) is a vital method to solve large-scale problems by dynamically generating variables. It has extensive applications in common combinatorial optimization, such as vehicle routing and scheduling problems, where each iteration step requires solving an NP-hard constrained shortest path problem. Although some heuristic methods for acceleration already exist, they are not versatile enough to solve different problems. In this work, we propose a reinforcement learning-based hyper-heuristic framework, dubbed RLHH, to enhance the performance of CG. RLHH is a selection module embedded in CG to accelerate convergence and get better integer solutions. In each CG iteration, the RL agent selects a low-level heuristic to construct a reduced network only containing the edges with a greater chance of being part of the optimal solution. In addition, we specify RLHH to solve two typical combinatorial optimization problems: Vehicle Routing Problem with Time Windows (VRPTW) and Bus Driver Scheduling Problem (BDSP). The total cost can be reduced by up to 27.9\% in VRPTW and 15.4\% in BDSP compared to the best lower-level heuristic in our tested scenarios, within equivalent or even less computational time. The proposed RLHH is the first RL-based CG method that outperforms traditional approaches in terms of solution quality, which can promote the application of CG in combinatorial optimization.


title: When Collaborative Filtering is not Collaborative: Unfairness of PCA for Recommendations

abstract: We study the fairness of dimensionality reduction methods for recommendations. We focus on the established method of principal component analysis (PCA), which identifies latent components and produces a low-rank approximation via the leading components while discarding the trailing components. Prior works have defined notions of "fair PCA"; however, these definitions do not answer the following question: what makes PCA unfair? We identify two underlying mechanisms of PCA that induce unfairness at the item level. The first negatively impacts less popular items, due to the fact that less popular items rely on trailing latent components to recover their values. The second negatively impacts the highly popular items, since the leading PCA components specialize in individual popular items instead of capturing similarities between items. To address these issues, we develop a polynomial-time algorithm, Item-Weighted PCA, a modification of PCA that uses item-specific weights in the objective. On a stylized class of matrices, we prove that Item-Weighted PCA using a specific set of weights minimizes a popularity-normalized error metric. Our evaluations on real-world datasets show that Item-Weighted PCA not only improves overall recommendation quality by up to $0.1$ item-level AUC-ROC but also improves on both popular and less popular items.


title: Recursively-Constrained Partially Observable Markov Decision Processes

abstract: Many sequential decision problems involve optimizing one objective function while imposing constraints on other objectives. Constrained Partially Observable Markov Decision Processes (C-POMDP) model this case with transition uncertainty and partial observability. In this work, we first show that C-POMDPs violate the optimal substructure property over successive decision steps and thus may exhibit behaviors that are undesirable for some (e.g., safety critical) applications. Additionally, online re-planning in C-POMDPs is often ineffective due to the inconsistency resulting from this violation. To address these drawbacks, we introduce the Recursively-Constrained POMDP (RC-POMDP), which imposes additional history-dependent cost constraints on the C-POMDP. We show that, unlike C-POMDPs, RC-POMDPs always have deterministic optimal policies and that optimal policies obey Bellman's principle of optimality. We also present a point-based dynamic programming algorithm for RC-POMDPs. Evaluations on benchmark problems demonstrate the efficacy of our algorithm and show that policies for RC-POMDPs produce more desirable behaviors than policies for C-POMDPs.


title: A Partially Supervised Reinforcement Learning Framework for Visual Active Search

abstract: Visual active search (VAS) has been proposed as a modeling framework in which visual cues are used to guide exploration, with the goal of identifying regions of interest in a large geospatial area. Its potential applications include identifying hot spots of rare wildlife poaching activity, search-and-rescue scenarios, identifying illegal trafficking of weapons, drugs, or people, and many others. State of the art approaches to VAS include applications of deep reinforcement learning (DRL), which yield end-to-end search policies, and traditional active search, which combines predictions with custom algorithmic approaches. While the DRL framework has been shown to greatly outperform traditional active search in such domains, its end-to-end nature does not make full use of supervised information attained either during training, or during actual search, a significant limitation if search tasks differ significantly from those in the training distribution. We propose an approach that combines the strength of both DRL and conventional active search by decomposing the search policy into a prediction module, which produces a geospatial distribution of regions of interest based on task embedding and search history, and a search module, which takes the predictions and search history as input and outputs the search distribution. We develop a novel meta-learning approach for jointly learning the resulting combined policy that can make effective use of supervised information obtained both at training and decision time. Our extensive experiments demonstrate that the proposed representation and meta-learning frameworks significantly outperform state of the art in visual active search on several problem domains.


title: Configuration Validation with Large Language Models

abstract: Misconfigurations are major causes of software failures. Existing practices rely on developer-written rules or test cases to validate configurations, which are expensive. Machine learning (ML) for configuration validation is considered a promising direction, but has been facing challenges such as the need of large-scale field data and system-specific models. Recent advances in Large Language Models (LLMs) show promise in addressing some of the long-lasting limitations of ML-based configuration validation. We present a first analysis on the feasibility and effectiveness of using LLMs for configuration validation. We empirically evaluate LLMs as configuration validators by developing a generic LLM-based configuration validation framework, named Ciri. Ciri employs effective prompt engineering with few-shot learning based on both valid configuration and misconfiguration data. Ciri checks outputs from LLMs when producing results, addressing hallucination and nondeterminism of LLMs. We evaluate Ciri's validation effectiveness on eight popular LLMs using configuration data of ten widely deployed open-source systems. Our analysis (1) confirms the potential of using LLMs for configuration validation, (2) explores design space of LLMbased validators like Ciri, and (3) reveals open challenges such as ineffectiveness in detecting certain types of misconfigurations and biases towards popular configuration parameters.


title: DentiBot: System Design and 6-DoF Hybrid Position/Force Control for Robot-Assisted Endodontic Treatment

abstract: Robotic technologies are becoming increasingly popular in dentistry due to the high level of precision required in delicate dental procedures. Most dental robots available today are designed for implant surgery, helping dentists to accurately place implants in the desired position and depth. In this paper, we introduce the DentiBot, the first robot specifically designed for dental endodontic treatment. The DentiBot is equipped with a force and torque sensor, as well as a string-based Patient Tracking Module, allowing for real-time monitoring of endodontic file contact and patient movement. We propose a 6-DoF hybrid position/force controller that enables autonomous adjustment of the surgical path and compensation for patient movement, while also providing protection against endodontic file fracture. In addition, a file flexibility model is incorporated to compensate for file bending. Pre-clinical evaluations performed on acrylic root canal models and resin teeth confirm the feasibility of the DentiBot in assisting endodontic treatment.


title: Spike-based Neuromorphic Computing for Next-Generation Computer Vision

abstract: Neuromorphic Computing promises orders of magnitude improvement in energy efficiency compared to traditional von Neumann computing paradigm. The goal is to develop an adaptive, fault-tolerant, low-footprint, fast, low-energy intelligent system by learning and emulating brain functionality which can be realized through innovation in different abstraction layers including material, device, circuit, architecture and algorithm. As the energy consumption in complex vision tasks keep increasing exponentially due to larger data set and resource-constrained edge devices become increasingly ubiquitous, spike-based neuromorphic computing approaches can be viable alternative to deep convolutional neural network that is dominating the vision field today. In this book chapter, we introduce neuromorphic computing, outline a few representative examples from different layers of the design stack (devices, circuits and algorithms) and conclude with a few exciting applications and future research directions that seem promising for computer vision in the near future.


title: Influence of Acceleration and Deceleration Capability on Machine Tool Feed System Performance

abstract: With the increasing demand for high speed and high precision machining of machine tools, the problem of which factors of feed system ultimately determine the performance of machine tools is becoming more and more prominent. At present, the feed system is designed mainly by limiting the load inertia ratio. This design method ignores the match between electromechanical system, motion process and control, and cannot guarantee the optimal performance of the feed system. And it is also difficult to intuitively explain the relationship between the inertia ratio and the dynamic performance of the system. Based on the analysis of the relationship between the structural parameters and the dynamic performance of the feed system, the viewpoint that the acceleration and deceleration capacity ultimately determine the performance of the feed system is put forward in this paper, and the theoretical root of the traditional design based on the inertia ratio is given. The simulation and experiment show that if the acceleration and deceleration capacity is too small, there will not be enough acceleration ability to follow the movement instruction of the system, resulting in the system performance decline. However, if the acceleration and deceleration capacity is too large, the system stability will be reduced, which can explain the traditional design principle of the machine tool that the inertia ratio should not be too large or too small. This study provides a clear theoretical basis for machine tool design.


title: ADAPT-QAOA with a classically inspired initial state

abstract: Quantum computing may provide advantage in solving classical optimization problems. One promising algorithm is the quantum approximate optimization algorithm (QAOA). There have been many proposals for improving this algorithm, such as using an initial state informed by classical approximation solutions. A variation of QAOA called ADAPT-QAOA constructs the ansatz dynamically and can speed up convergence. However, it faces the challenge of frequently converging to excited states which correspond to local minima in the energy landscape, limiting its performance. In this work, we propose to start ADAPT-QAOA with an initial state inspired by a classical approximation algorithm. Through numerical simulations we show that this new algorithm can reach the same accuracy with fewer layers than the standard QAOA and the original ADAPT-QAOA. It also appears to be less prone to the problem of converging to excited states.


title: Maximum Number of Quads

abstract: We study the maximum number of quads among $\ell$ cards from an EvenQuads deck of size $2^n$. This corresponds to enumerating quadruples of integers in the range $[0,\ell-1]$ such that their bitwise XOR is zero. In this paper, we conjecture a formula that calculates the maximum number of quads among $\ell$ cards.


title: Progressive Evidence Refinement for Open-domain Multimodal Retrieval Question Answering

abstract: Pre-trained multimodal models have achieved significant success in retrieval-based question answering. However, current multimodal retrieval question-answering models face two main challenges. Firstly, utilizing compressed evidence features as input to the model results in the loss of fine-grained information within the evidence. Secondly, a gap exists between the feature extraction of evidence and the question, which hinders the model from effectively extracting critical features from the evidence based on the given question. We propose a two-stage framework for evidence retrieval and question-answering to alleviate these issues. First and foremost, we propose a progressive evidence refinement strategy for selecting crucial evidence. This strategy employs an iterative evidence retrieval approach to uncover the logical sequence among the evidence pieces. It incorporates two rounds of filtering to optimize the solution space, thus further ensuring temporal efficiency. Subsequently, we introduce a semi-supervised contrastive learning training strategy based on negative samples to expand the scope of the question domain, allowing for a more thorough exploration of latent knowledge within known samples. Finally, in order to mitigate the loss of fine-grained information, we devise a multi-turn retrieval and question-answering strategy to handle multimodal inputs. This strategy involves incorporating multimodal evidence directly into the model as part of the historical dialogue and question. Meanwhile, we leverage a cross-modal attention mechanism to capture the underlying connections between the evidence and the question, and the answer is generated through a decoding generation approach. We validate the model's effectiveness through extensive experiments, achieving outstanding performance on WebQA and MultimodelQA benchmark tests.


title: Harmonic Interpolation and a Brunn-Minkowski Theorem for Random Determinants

abstract: We describe the harmonic interpolation of convex bodies, and prove a strong form of the Brunn-Minkowski inequality and characterize its equality case. As an application we improve a theorem of Berndtsson on the volume of slices of a pseudoconvex domain. We furthermore apply this to prove subharmonicity of the expected absolute value of the determinant of a matrix of random vectors through the connection with zonoids.


title: Effective field theory bootstrap, large-N $\chi$PT and holographic QCD

abstract: We review the effective field theory (EFT) bootstrap by formulating it as an infinite-dimensional semidefinite program (SDP), built from the crossing symmetric sum rules and the S-matrix primal ansatz. We apply the program to study the large-$N$ chiral perturbation theory ($\chi$PT) and observe excellent convergence of EFT bounds between the dual (rule-out) and primal (rule-in) methods. This convergence aligns with the predictions of duality theory in SDP, enabling us to analyze the bound states and resonances in the ultra-violet (UV) spectrum. Furthermore, we incorporate the upper bound of unitarity to uniformly constrain the EFT space from the UV scale $M$ using the primal method, thereby confirming the consistency of the large-$N$ expansion. In the end, we translate the large-$N$ $\chi$PT bounds to constrain the higher derivative corrections of holographic QCD models.


title: Solving Max-Min Fair Resource Allocations Quickly on Large Graphs

abstract: We consider the max-min fair resource allocation problem. The best-known solutions use either a sequence of optimizations or waterfilling, which only applies to a narrow set of cases. These solutions have become a practical bottleneck in WAN traffic engineering and cluster scheduling, especially at larger problem sizes. We improve both approaches: (1) we show how to convert the optimization sequence into a single fast optimization, and (2) we generalize waterfilling to the multi-path case. We empirically show our new algorithms Pareto-dominate prior techniques: they produce faster, fairer, and more efficient allocations. Some of our allocators also have theoretical guarantees: they trade off a bounded amount of unfairness for faster allocation. We have deployed our allocators in Azure's WAN traffic engineering pipeline, where we preserve solution quality and achieve a roughly $3\times$ speedup.


title: mmWave Enabled Connected Autonomous Vehicles: A Use Case with V2V Cooperative Perception

abstract: Connected and autonomous vehicles (CAVs) will revolutionize tomorrow's intelligent transportation systems, being considered promising to improve transportation safety, traffic efficiency, and mobility. In fact, envisioned use cases of CAVs demand very high throughput, lower latency, highly reliable communications, and precise positioning capabilities. The availability of a large spectrum at millimeter-wave (mmWave) band potentially promotes new specifications in spectrum technologies capable of supporting such service requirements. In this article, we specifically focus on how mmWave communications are being approached in vehicular standardization activities, CAVs use cases and deployment challenges in realizing the future fully connected settings. Finally, we also present a detailed performance assessment on mmWave-enabled vehicle-to-vehicle (V2V) cooperative perception as an example case study to show the impact of different configurations.


title: A robust and powerful replicability analysis for high dimensional data

abstract: Identifying replicable signals across different studies provides stronger scientific evidence and more powerful inference. Existing literature on high dimensional applicability analysis either imposes strong modeling assumptions or has low power. We develop a powerful and robust empirical Bayes approach for high dimensional replicability analysis. Our method effectively borrows information from different features and studies while accounting for heterogeneity. We show that the proposed method has better power than competing methods while controlling the false discovery rate, both empirically and theoretically. Analyzing datasets from the genome-wide association studies reveals new biological insights that otherwise cannot be obtained by using existing methods.


title: Inference with Mondrian Random Forests

abstract: Random forests are popular methods for classification and regression, and many different variants have been proposed in recent years. One interesting example is the Mondrian random forest, in which the underlying trees are constructed according to a Mondrian process. In this paper we give a central limit theorem for the estimates made by a Mondrian random forest in the regression setting. When combined with a bias characterization and a consistent variance estimator, this allows one to perform asymptotically valid statistical inference, such as constructing confidence intervals, on the unknown regression function. We also provide a debiasing procedure for Mondrian random forests which allows them to achieve minimax-optimal estimation rates with $\beta$-H\"older regression functions, for all $\beta$ and in arbitrary dimension, assuming appropriate parameter tuning.


title: New technique to select recent fast-quenching galaxies at $z\sim2$ using the optical colors

abstract: Many massive quiescent galaxies have been discovered at $z>2$ thanks to multi-wavelength deep and wide surveys, however, substantial deep near-infrared spectroscopic observations are needed to constrain their star-formation histories statistically. Here, we present a new technique to select quiescent galaxies with a short quenching timescale ($\leq0.1$ Gyr) at $z\sim2$ photometrically. We focus on a spectral break at $\sim1600$ \AA~that appears for such fast-quenching galaxies $\sim1$ Gyr after quenching when early A-type stars go out, but late A-type stars still live. This spectral break at $z\sim2$ is similar to a Lyman break at $z\sim4$. We construct a set of color criteria for $z\sim2$ fast-quenching galaxies on $g-r$ vs. $r-i$ and $i-J$ vs. $J-H$ or $\rm i-[3.6]$ vs. $\rm [3.6]-[4.5]$ color diagrams, which are available with the existing and/or future wide imaging surveys, by simulating various model galaxy spectra and test their robustnesses using the COSMOS2020 catalog. Galaxies with photometric and/or spectroscopic redshifts $z\sim2$ and low specific star formation rates are successfully selected using these colors. The number density of these fast-quenching galaxy candidates at $z\sim2$ suggests that massive galaxies not so far above the star-formation main sequence at $z=3-4$ should be their progenitors.


title: Explicit bounds for the solutions of superelliptic equations over number fields

abstract: Let $f$ be a polynomial with coefficients in the ring $O_S$ of $S$-integers of a number field $K$, $b$ a non-zero $S$-integer, and $m$ an integer $\ge 2$. We consider the equation $( \star )$: $f(x) = b y^m$ in $x,y \in O_S$. Under the well-known LeVeque condition, we give fully explicit upper bounds in terms of $K, S, f, m$ and the $S$-norm of $b$ for the heights of the solutions $x$ of the equation $( \star)$. Further, we give an explicit bound $C$ in terms of $K, S, f$ and the $S$-norm of $b$ such that if $m > C$ the equation $(\star)$ has only solutions with $y = 0$ or a root of unity. Our results are more detailed versions of work of Trelina, Brindza, Shorey and Tijdeman, Voutier and Bugeaud, and extend earlier results of B\'erczes, Evertse, and Gy\H{o}ry to polynomials with multiple roots. In contrast with the previous results, our bounds depend on the $S$-norm of $b$ instead of its height.


title: SGA: A Graph Augmentation Method for Signed Graph Neural Networks

abstract: Signed Graph Neural Networks (SGNNs) are vital for analyzing complex patterns in real-world signed graphs containing positive and negative links. However, three key challenges hinder current SGNN-based signed graph representation learning: sparsity in signed graphs leaves latent structures undiscovered, unbalanced triangles pose representation difficulties for SGNN models, and real-world signed graph datasets often lack supplementary information like node labels and features. These constraints limit the potential of SGNN-based representation learning. We address these issues with data augmentation techniques. Despite many graph data augmentation methods existing for unsigned graphs, none are tailored for signed graphs. Our paper introduces the novel Signed Graph Augmentation framework (SGA), comprising three main components. First, we employ the SGNN model to encode the signed graph, extracting latent structural information for candidate augmentation structures. Second, we evaluate these candidate samples (edges) and select the most beneficial ones for modifying the original training set. Third, we propose a novel augmentation perspective that assigns varying training difficulty to training samples, enabling the design of a new training strategy. Extensive experiments on six real-world datasets (Bitcoin-alpha, Bitcoin-otc, Epinions, Slashdot, Wiki-elec, and Wiki-RfA) demonstrate that SGA significantly improves performance across multiple benchmarks. Our method outperforms baselines by up to 22.2% in AUC for SGCN on Wiki-RfA, 33.3% in F1-binary, 48.8% in F1-micro, and 36.3% in F1-macro for GAT on Bitcoin-alpha in link sign prediction.


title: AdaptSSR: Pre-training User Model with Augmentation-Adaptive Self-Supervised Ranking

abstract: User modeling, which aims to capture users' characteristics or interests, heavily relies on task-specific labeled data and suffers from the data sparsity issue. Several recent studies tackled this problem by pre-training the user model on massive user behavior sequences with a contrastive learning task. Generally, these methods assume different views of the same behavior sequence constructed via data augmentation are semantically consistent, i.e., reflecting similar characteristics or interests of the user, and thus maximizing their agreement in the feature space. However, due to the diverse interests and heavy noise in user behaviors, existing augmentation methods tend to lose certain characteristics of the user or introduce noisy behaviors. Thus, forcing the user model to directly maximize the similarity between the augmented views may result in a negative transfer. To this end, we propose to replace the contrastive learning task with a new pretext task: Augmentation-Adaptive SelfSupervised Ranking (AdaptSSR), which alleviates the requirement of semantic consistency between the augmented views while pre-training a discriminative user model. Specifically, we adopt a multiple pairwise ranking loss which trains the user model to capture the similarity orders between the implicitly augmented view, the explicitly augmented view, and views from other users. We further employ an in-batch hard negative sampling strategy to facilitate model training. Moreover, considering the distinct impacts of data augmentation on different behavior sequences, we design an augmentation-adaptive fusion mechanism to automatically adjust the similarity order constraint applied to each sample based on the estimated similarity between the augmented views. Extensive experiments on both public and industrial datasets with six downstream tasks verify the effectiveness of AdaptSSR.


title: Feedback boundary control of 2-D hyperbolic systems with relaxation

abstract: This paper is concerned with boundary stabilization of two-dimensional hyperbolic systems of partial differential equations. By adapting the Lyapunov function previously proposed by the second author for linearized hyperbolic systems with relaxation structure, we derive certain control laws so that the corresponding solutions decay exponentially in time. The result is illustrated with an application to water flows in open channels.


title: Flow Oriented Perturbation Theory

abstract: Flow Oriented Perturbation Theory (FOPT) is a novel approach to Feynman diagrams based on the coordinate (position) space description of Quantum Field Theories (QFT). FOPT offers interesting features regarding the computation of higher-loop Feynman amplitudes such as combinatorial and canonical Feynman rules, explicit infrared singularity factorization on a per-diagram level and the potential to have manifest cancellation of real and virtual singularities. In these proceedings we briefly summarize the derivation of FOPT and present its Feynman rules for covariant diagrams, S-matrix elements and cut diagrams in massless scalar QFT, supported by examples. We then discuss the extension of FOPT to massless fermion fields and indicate steps towards the treatment of massive lines in arbitrary dimensions.


title: New Advances in Body Composition Assessment with ShapedNet: A Single Image Deep Regression Approach

abstract: We introduce a novel technique called ShapedNet to enhance body composition assessment. This method employs a deep neural network capable of estimating Body Fat Percentage (BFP), performing individual identification, and enabling localization using a single photograph. The accuracy of ShapedNet is validated through comprehensive comparisons against the gold standard method, Dual-Energy X-ray Absorptiometry (DXA), utilizing 1273 healthy adults spanning various ages, sexes, and BFP levels. The results demonstrate that ShapedNet outperforms in 19.5% state of the art computer vision-based approaches for body fat estimation, achieving a Mean Absolute Percentage Error (MAPE) of 4.91% and Mean Absolute Error (MAE) of 1.42. The study evaluates both gender-based and Gender-neutral approaches, with the latter showcasing superior performance. The method estimates BFP with 95% confidence within an error margin of 4.01% to 5.81%. This research advances multi-task learning and body composition assessment theory through ShapedNet.


title: Behavior of convex integrand at apex of its Wulff shape

abstract: Let $\gamma: S^n\to \mathbb{R}_+$ be a convex integrand and $\mathcal{W}_\gamma$ be the Wulff shape of $ \gamma$. Apex point naturally arise in non-smooth Wulff shape, in particular, vertex of convex polytope. %Let $P\in S^n$. In this paper, we study the behavior of convex integrand around apex point of its Wulff shape. We prove that $\gamma(P)$ is locally maximum, and $\mathbb{R}_+ P\cap \partial \mathcal{W}_\gamma$ is an apex point of $\mathcal{W}_\gamma$ if and only if the graph of $\gamma$ around the apex point is a pice of sphere. As an application of the proof of this result, we prove that for any spherical convex body $C$ of constant width $\tau>\pi/2$, there exists a sequence $\{C_i\}_{i=1}^\infty$ of convex bides of constant width $\tau$, whose boundary consists only of arcs of circles of radius $\tau-\frac{\pi}{2}$ and great circle segments such that $\lim_{I\to \infty}C_i=C$ with respect to the Hausdorff distance.


title: LOVECon: Text-driven Training-Free Long Video Editing with ControlNet

abstract: Leveraging pre-trained conditional diffusion models for video editing without further tuning has gained increasing attention due to its promise in film production, advertising, etc. Yet, seminal works in this line fall short in generation length, temporal coherence, or fidelity to the source video. This paper aims to bridge the gap, establishing a simple and effective baseline for training-free diffusion model-based long video editing. As suggested by prior arts, we build the pipeline upon ControlNet, which excels at various image editing tasks based on text prompts. To break down the length constraints caused by limited computational memory, we split the long video into consecutive windows and develop a novel cross-window attention mechanism to ensure the consistency of global style and maximize the smoothness among windows. To achieve more accurate control, we extract the information from the source video via DDIM inversion and integrate the outcomes into the latent states of the generations. We also incorporate a video frame interpolation model to mitigate the frame-level flickering issue. Extensive empirical studies verify the superior efficacy of our method over competing baselines across scenarios, including the replacement of the attributes of foreground objects, style transfer, and background replacement. Besides, our method manages to edit videos comprising hundreds of frames according to user requirements. Our project is open-sourced and the project page is at https://github.com/zhijie-group/LOVECon.


title: Singularly Perturbed Stochastic Hybrid Systems: Stability and Recurrence via Composite Nonsmooth Foster Functions

abstract: We introduce new sufficient conditions for verifying stability and recurrence properties in singularly perturbed stochastic hybrid dynamical systems. Specifically, we focus on hybrid systems with deterministic continuous-time dynamics that exhibit multiple time scales and are modeled by constrained differential inclusions, as well as discrete-time dynamics modeled by constrained difference inclusions with random inputs. By assuming regularity and causality of the dynamics and their solutions, respectively, we propose a suitable class of composite nonsmooth Lagrange-Foster and Lyapunov-Foster functions that can certify stability and recurrence using simpler functions related to the slow and fast dynamics of the system. We establish the stability properties with respect to compact sets, while the recurrence properties are studied only for open sets.


title: A Sharp Fourier Inequality and the Epanechnikov Kernel

abstract: We consider functions $f: \mathbb{Z} \to \mathbb{R}$ and kernels $u: \{-n, \cdots, n\} \to \mathbb{R}$ normalized by $\sum_{\ell = -n}^{n} u(\ell) = 1$, making the convolution $u \ast f$ a "smoother" local average of $f$. We identify which choice of $u$ most effectively smooths the second derivative in the following sense. For each $u$, basic Fourier analysis implies there is a constant $C(u)$ so $\|\Delta(u \ast f)\|_{\ell^2(\mathbb{Z})} \leq C(u)\|f\|_{\ell^2(\mathbb{Z})}$ for all $f: \mathbb{Z} \to \mathbb{R}$. By compactness, there is some $u$ that minimizes $C(u)$ and in this paper, we find explicit expressions for both this minimal $C(u)$ and the minimizing kernel $u$ for every $n$. The minimizing kernel is remarkably close to the Epanechnikov kernel in Statistics. This solves a problem of Kravitz-Steinerberger and an extremal problem for polynomials is solved as a byproduct.


title: Enhancing Task Performance of Learned Simplified Models via Reinforcement Learning

abstract: In contact-rich tasks, the hybrid, multi-modal nature of contact dynamics poses great challenges in model representation, planning, and control. Recent efforts have attempted to address these challenges via data-driven methods, learning dynamical models in combination with model predictive control. Those methods, while effective, rely solely on minimizing forward prediction errors to hope for better task performance with MPC controllers. This weak correlation can result in data inefficiency as well as limitations to overall performance. In response, we propose a novel strategy: using a policy gradient algorithm to find a simplified dynamics model that explicitly maximizes task performance. Specifically, we parameterize the stochastic policy as the perturbed output of the MPC controller, thus, the learned model representation can directly associate with the policy or task performance. We apply the proposed method to contact-rich tasks where a three-fingered robotic hand manipulates previously unknown objects. Our method significantly enhances task success rate by up to 15% in manipulating diverse objects compared to the existing method while sustaining data efficiency. Our method can solve some tasks with success rates of 70% or higher using under 30 minutes of data. All videos and codes are available at https://sites.google.com/view/lcs-rl.


title: NTT-PIM: Row-Centric Architecture and Mapping for Efficient Number-Theoretic Transform on PIM

abstract: Recently DRAM-based PIMs (processing-in-memories) with unmodified cell arrays have demonstrated impressive performance for accelerating AI applications. However, due to the very restrictive hardware constraints, PIM remains an accelerator for simple functions only. In this paper we propose NTT-PIM, which is based on the same principles such as no modification of cell arrays and very restrictive area budget, but shows state-of-the-art performance for a very complex application such as NTT, thanks to features optimized for the application's characteristics, such as in-place update and pipelining via multiple buffers. Our experimental results demonstrate that our NTT-PIM can outperform previous best PIM-based NTT accelerators in terms of runtime by 1.7 ~ 17 times while having negligible area and power overhead.


title: Enhancing Conversational Search: Large Language Model-Aided Informative Query Rewriting

abstract: Query rewriting plays a vital role in enhancing conversational search by transforming context-dependent user queries into standalone forms. Existing approaches primarily leverage human-rewritten queries as labels to train query rewriting models. However, human rewrites may lack sufficient information for optimal retrieval performance. To overcome this limitation, we propose utilizing large language models (LLMs) as query rewriters, enabling the generation of informative query rewrites through well-designed instructions. We define four essential properties for well-formed rewrites and incorporate all of them into the instruction. In addition, we introduce the role of rewrite editors for LLMs when initial query rewrites are available, forming a "rewrite-then-edit" process. Furthermore, we propose distilling the rewriting capabilities of LLMs into smaller models to reduce rewriting latency. Our experimental evaluation on the QReCC dataset demonstrates that informative query rewrites can yield substantially improved retrieval performance compared to human rewrites, especially with sparse retrievers.


title: Lyapunov exponents and Lagrangian chaos suppression in compressible homogeneous isotropic turbulence

abstract: We study Lyapunov exponents of tracers in compressible homogeneous isotropic turbulence at different turbulent Mach number $M_t$ and Taylor-scale Reynolds number $Re_\lambda$. We demonstrate that statistics of finite-time Lyapunov exponents have the same form as in incompressible flow due to density-velocity coupling. Modulus of the smallest Lyapunov exponent $\lambda_3$ provides the principal Lyapunov exponent of the time-reversed flow, which usually is wrong in a compressible flow. This exponent, along with the principal Lyapunov exponent $\lambda_1$, determines all the exponents due to the vanishing of the sum of all Lyapunov exponents. Numerical results by high-order schemes for solving the Navier-Stokes equations and tracking particles verify these theoretical predictions. We found that: 1) The largest normalized Lyapunov exponent $\lambda_1 \tau_\eta$, where $\tau_\eta$ is the Kolmogorov time scale, is a decreasing function of $M_t$. Its dependence on $Re_\lambda$ is weak when the driving force is solenoidal, while it is an increasing function of $Re_\lambda$ when the solenoidal and compressible forces are comparable. Similar facts hold for $|\lambda_3|$, in contrast with well-studied short-correlated model; 2) The ratio of the first two Lyapunov exponents $\lambda_1/\lambda_2$ decreases with $Re_\lambda$, and is virtually independent of $M_t$ for $M_t \le 1$ in the case of solenoidal force but decreases as $M_t$ increases when solenoidal and compressible forces are comparable; 3) For purely solenoidal force, $\lambda_1 :\lambda_2 :\lambda_3 \approx 4:1:-5$ for $Re_\lambda > 80$, which is consistent with incompressible turbulence studies; 4) The ratio of dilation-to-vorticity is a more suitable parameter to characterize LEs than $M_t$.


title: Efficient and Effective Deep Multi-view Subspace Clustering

abstract: Recent multi-view subspace clustering achieves impressive results utilizing deep networks, where the self-expressive correlation is typically modeled by a fully connected (FC) layer. However, they still suffer from two limitations. i) The parameter scale of the FC layer is quadratic to sample numbers, resulting in high time and memory costs that significantly degrade their feasibility in large-scale datasets. ii) It is under-explored to extract a unified representation that simultaneously satisfies minimal sufficiency and discriminability. To this end, we propose a novel deep framework, termed Efficient and Effective deep Multi-View Subspace Clustering (E$^2$MVSC). Instead of a parameterized FC layer, we design a Relation-Metric Net that decouples network parameter scale from sample numbers for greater computational efficiency. Most importantly, the proposed method devises a multi-type auto-encoder to explicitly decouple consistent, complementary, and superfluous information from every view, which is supervised by a soft clustering assignment similarity constraint. Following information bottleneck theory and the maximal coding rate reduction principle, a sufficient yet minimal unified representation can be obtained, as well as pursuing intra-cluster aggregation and inter-cluster separability within it. Extensive experiments show that E$^2$MVSC yields comparable results to existing methods and achieves state-of-the-art performance in various types of multi-view datasets.


title: Klingen Vectors for Depth Zero Supercuspidals of $GSp(4)$

abstract: Let $F$ be a non-archimedean local field of characteristic zero and $(\pi, V)$ a depth zero, irreducible, supercuspidal representation of $GSp(4, F)$. We calculate the dimensions of the spaces of Klingen-invariant vectors in $V$ of level $\mathfrak{p}^n$ for all $n\geq 0 $.


title: HiCL: Hierarchical Contrastive Learning of Unsupervised Sentence Embeddings

abstract: In this paper, we propose a hierarchical contrastive learning framework, HiCL, which considers local segment-level and global sequence-level relationships to improve training efficiency and effectiveness. Traditional methods typically encode a sequence in its entirety for contrast with others, often neglecting local representation learning, leading to challenges in generalizing to shorter texts. Conversely, HiCL improves its effectiveness by dividing the sequence into several segments and employing both local and global contrastive learning to model segment-level and sequence-level relationships. Further, considering the quadratic time complexity of transformers over input tokens, HiCL boosts training efficiency by first encoding short segments and then aggregating them to obtain the sequence representation. Extensive experiments show that HiCL enhances the prior top-performing SNCSE model across seven extensively evaluated STS tasks, with an average increase of +0.2% observed on BERT-large and +0.44% on RoBERTa-large.


title: Two Enhanced-rate Power Allocation Strategies for Active IRS-assisted Wireless Network

abstract: Due to its ability of overcoming the impact of double-fading effect, active intelligent reflecting surface (IRS) has attracted a lot of attention. Unlike passive IRS, active IRS should be supplied by power, thus adjusting power between base station (BS) and IRS having a direct impact on the system rate performance. In this paper, the active IRS-aided network under a total power constraint is modeled with an ability of adjusting power between BS and IRS. Given the transmit beamforming at BS and reflecting beamforming at IRS, the SNR expression is derived to be a function of power allocation (PA) factor, and the optimization of maximizing the SNR is given. Subsequently, two high-performance PA strategies, enhanced multiple random initialization Newton's (EMRIN) and Taylor polynomial approximation (TPA), are proposed. The former is to improve the rate performance of classic Netwon's method to avoid involving a local optimal point by using multiple random initializations. To reduce its high computational complexity, the latter provides a closed-form solution by making use of the first-order Taylor polynomial approximation to the original SNR function. Actually, using TPA, the original optimization problem is transformed into a problem of finding a root for a third-order polynomial.Simulation results are as follows: the first-order TPA of SNR fit its exact expression well, the proposed two PA methods performs much better than fixed PA in accordance with rate, and appoaches exhaustive search as the number of IRS reflecting elements goes to large-scale.


title: A singlet-triplet hole-spin qubit in MOS silicon

abstract: Holes in silicon quantum dots are promising for spin qubit applications due to the strong intrinsic spin-orbit coupling. The spin-orbit coupling produces complex hole-spin dynamics, providing opportunities to further optimize spin qubits. Here, we demonstrate a singlet-triplet qubit using hole states in a planar metal-oxide-semiconductor double quantum dot. We observe rapid qubit control with singlet-triplet oscillations up to 400 MHz. The qubit exhibits promising coherence, with a maximum dephasing time of 600 ns, which is enhanced to 1.3 us using refocusing techniques. We investigate the magnetic field anisotropy of the eigenstates, and determine a magnetic field orientation to improve the qubit initialisation fidelity. These results present a step forward for spin qubit technology, by implementing a high quality singlet-triplet hole-spin qubit in planar architecture suitable for scaling up to 2D arrays of coupled qubits.


title: A generalization of the achievable rate of a MISO system using Bode-Fano wideband matching theory

abstract: Impedance-matching networks affect power transfer from the radio frequency (RF) chains to the antennas. Their design impacts the signal to noise ratio (SNR) and the achievable rate. In this paper, we maximize the information-theoretic achievable rate of a multiple-input-single-output (MISO) system with wideband matching constraints. Using a multiport circuit theory approach with frequency-selective scattering parameters, we propose a general framework for optimizing the MISO achievable rate that incorporates Bode-Fano wideband matching theory. We express the solution to the achievable rate optimization problem in terms of the optimized transmission coefficient and the Lagrangian parameters corresponding to the Bode-Fano inequality constraints. We apply this framework to a single electric Chu's antenna and an array of two electric Chu's antennas. We compare the optimized achievable rate obtained numerically with other benchmarks like the ideal achievable rate computed by disregarding matching constraints and the achievable rate obtained by using sub-optimal matching strategies like conjugate matching and frequency-flat transmission. We also propose a practical methodology to approximate the achievable rate bound by using the optimal transmission coefficient to derive a physically realizable matching network through the ADS software.


title: A conformal invariant and its application to the nonexistence of minimal submanifolds

abstract: Let $(M^m,g)$ be an $m$-dimensional closed Riemannian manifold with non-negative sectional curvatures, $m\ge 3$. We define a conformal invariant and prove that, if the conformal invariant is bounded from above by a constant depending only on $m$, then there are no closed $n$-dimensional stable minimal submanifolds in $M$ for all $\xi(m)\le n\le m-2$, where $\xi(m)=1$ when $3\le m\le 5$ and $\xi(m)=2$ when $m\ge 6$. In particular, a conformal $m$-sphere with non-negative sectional curvatures does not admit any closed $n$-dimensional stable minimal submanifold for all $\xi(m)\le n\le m-2$.


title: KGQuiz: Evaluating the Generalization of Encoded Knowledge in Large Language Models

abstract: Large language models (LLMs) demonstrate remarkable performance on knowledge-intensive tasks, suggesting that real-world knowledge is encoded in their model parameters. However, besides explorations on a few probing tasks in limited knowledge domains, it is not well understood how to evaluate LLMs' knowledge systematically and how well their knowledge abilities generalize, across a spectrum of knowledge domains and progressively complex task formats. To this end, we propose KGQuiz, a knowledge-intensive benchmark to comprehensively investigate the knowledge generalization abilities of LLMs. KGQuiz is a scalable framework constructed from triplet-based knowledge, which covers three knowledge domains and consists of five tasks with increasing complexity: true-or-false, multiple-choice QA, blank filling, factual editing, and open-ended knowledge generation. To gain a better understanding of LLMs' knowledge abilities and their generalization, we evaluate 10 open-source and black-box LLMs on the KGQuiz benchmark across the five knowledge-intensive tasks and knowledge domains. Extensive experiments demonstrate that LLMs achieve impressive performance in straightforward knowledge QA tasks, while settings and contexts requiring more complex reasoning or employing domain-specific facts still present significant challenges. We envision KGQuiz as a testbed to analyze such nuanced variations in performance across domains and task formats, and ultimately to understand, evaluate, and improve LLMs' knowledge abilities across a wide spectrum of knowledge domains and tasks.


title: FuseSR: Super Resolution for Real-time Rendering through Efficient Multi-resolution Fusion

abstract: The workload of real-time rendering is steeply increasing as the demand for high resolution, high refresh rates, and high realism rises, overwhelming most graphics cards. To mitigate this problem, one of the most popular solutions is to render images at a low resolution to reduce rendering overhead, and then manage to accurately upsample the low-resolution rendered image to the target resolution, a.k.a. super-resolution techniques. Most existing methods focus on exploiting information from low-resolution inputs, such as historical frames. The absence of high frequency details in those LR inputs makes them hard to recover fine details in their high-resolution predictions. In this paper, we propose an efficient and effective super-resolution method that predicts high-quality upsampled reconstructions utilizing low-cost high-resolution auxiliary G-Buffers as additional input. With LR images and HR G-buffers as input, the network requires to align and fuse features at multi resolution levels. We introduce an efficient and effective H-Net architecture to solve this problem and significantly reduce rendering overhead without noticeable quality deterioration. Experiments show that our method is able to produce temporally consistent reconstructions in $4 \times 4$ and even challenging $8 \times 8$ upsampling cases at 4K resolution with real-time performance, with substantially improved quality and significant performance boost compared to existing works.


title: Provably Fast Convergence of Independent Natural Policy Gradient for Markov Potential Games

abstract: This work studies an independent natural policy gradient (NPG) algorithm for the multi-agent reinforcement learning problem in Markov potential games. It is shown that, under mild technical assumptions and the introduction of the \textit{suboptimality gap}, the independent NPG method with an oracle providing exact policy evaluation asymptotically reaches an $\epsilon$-Nash Equilibrium (NE) within $\mathcal{O}(1/\epsilon)$ iterations. This improves upon the previous best result of $\mathcal{O}(1/\epsilon^2)$ iterations and is of the same order, $\mathcal{O}(1/\epsilon)$, that is achievable for the single-agent case. Empirical results for a synthetic potential game and a congestion game are presented to verify the theoretical bounds.


title: SVM based Multiclass Classifier for Gait phase Classification using Shank IMU Sensor

abstract: In this study, a gait phase classification method based on SVM multiclass classification is introduced, with a focus on the precise identification of the stance and swing phases, which are further subdivided into seven phases. Data from individual IMU sensors, such as Shank Acceleration X, Y, Z, Shank Gyro X, and Knee Angles, are used as features in this classification model. The suggested technique successfully classifies the various gait phases with a significant accuracy of about 90.3%. Gait phase classification is crucial, especially in the domains of exoskeletons and prosthetics, where accurate identification of gait phases enables seamless integration with assistive equipment, improving mobility, stability, and energy economy. This study extends the study of gait and offers an effective method for correctly identifying gait phases from Shank IMU sensor data, with potential applications in biomechanical research, exoskeletons, rehabilitation, and prosthetics.


title: Private Synthetic Data Meets Ensemble Learning

abstract: When machine learning models are trained on synthetic data and then deployed on real data, there is often a performance drop due to the distribution shift between synthetic and real data. In this paper, we introduce a new ensemble strategy for training downstream models, with the goal of enhancing their performance when used on real data. We generate multiple synthetic datasets by applying a differential privacy (DP) mechanism several times in parallel and then ensemble the downstream models trained on these datasets. While each synthetic dataset might deviate more from the real data distribution, they collectively increase sample diversity. This may enhance the robustness of downstream models against distribution shifts. Our extensive experiments reveal that while ensembling does not enhance downstream performance (compared with training a single model) for models trained on synthetic data generated by marginal-based or workload-based DP mechanisms, our proposed ensemble strategy does improve the performance for models trained using GAN-based DP mechanisms in terms of both accuracy and calibration of downstream models.


title: Effect of next-nearest neighbor hopping on the single-particle excitations

abstract: In the half-filled one-orbital Hubbard model on a square lattice, we study the effect of next-nearest neighbor hopping on the single-particle spectral function at finite temperature using an exact-diagonalization + Monte-Carlo based approach to the simulation process. We find that the pseudogap-like dip, existing in the density of states in between the N\'{e}el temperature $T_N$ and a relatively higher temperature $T^*$, is accompanied with a significant asymmetry in the hole- and particle-excitation energy along the high-symmetry directions as well as along the normal-state Fermi surface. On moving from ($\pi/2, \pi/2$) toward $(\pi, 0)$ along the normal state Fermi surface, the hole-excitation energy increases, a behavior remarkably similar to what is observed in the $d$-wave state and pseudogap phase of high-$T_c$ cuprates, whereas the particle-excitation energy decreases. The quasiparticle peak height is the largest near ($\pi/2, \pi/2$) whereas it is the smallest near $(\pi, 0)$. These spectral features survive beyond $T_N$. The temperature window $T_N \lesssim T \lesssim T^*$ shrinks with an increase in the next-nearest neighbor hopping, which indicates that the next-nearest neighbor hopping may not be supportive to the pseudogap-like features.


title: Dynamic Gait Modelling of Lower Limb Dynamics : A Mathematical Approach

abstract: This paper focuses on the analysis of human gait cycle dynamics and presents a mathematical model to determine the torque exerted on the lower limb joints throughout the complete gait cycle, including its various phases. The study involved a healthy subject who participated in a series of initial walking experiments. The development of a mathematical model that accurately represents the natural motion of the human lower limb has garnered significant attention in the field of lower limb prosthetics design. In this study, the researchers incorporated the functional relationship between the limb joints and the end effector of the lower extremity. This knowledge is crucial for rehabilitation purposes as it helps in understanding the connectivity of joints, links, and the overall body orientation required to effectively control the motion of the actuators. When analysing physical activities, measurements of human strength play a crucial role. Traditionally, these measurements have focused on determining the maximum voluntary torque at a single joint angle and angular velocity. However, it is important to consider that the available strength varies significantly with joint position and velocity.


title: On the energy method for the global solutions to the three dimensional incompressible non-resistive MHD near equilibrium

abstract: We prove the global existence of the smooth solutions near equilibrium to the Cauchy problem of the incompressible non-resistive magnetohydrodynamic equations in the whole three dimensional space under some admissible condition. The result has been obtained by Xu and Zhang (SIAM J. Math. Anal. 47: 26--65, 2015) in anisotropic Besov space framework. In this paper, we provide a new proof based on the temporal weighted energy method.


title: Evaluating Intelligent Algorithms for Gait Phase Classification in Lower Limb Robotic Systems

abstract: Accurate and rapid detection of gait phases is of utmost importance in achieving optimal performance of powered lower-limb prostheses and exoskeletons. With the increasing versatility and complexity of these robotic systems, there is a growing need to enhance the performance of gait detection algorithms. The development of reliable and functional gait detection algorithms holds the potential to enhance precision, stability, and safety in prosthetic devices and other rehabilitation technologies. In this systematic review, we delve into the extensive body of research and development in the domain of gait event detection methods, with a specific focus on their application to prosthetic devices. Our review critically assesses various proposed methods, aiming to identify the most effective approaches for gait phase classification in lower limb robotic systems. Through a comprehensive comparative analysis, we highlight the strengths and weaknesses of different algorithms, shedding light on their performance characteristics, applicability, and potential for further improvements. This comprehensive review was conducted by screening two databases, namely IEEE and Scopus. The search was limited to 204 papers published from 2010 to 2023. A total of 6 papers that focused on Heuristic, Thresholding, and Amplitude Zero Crossing involved techniques were identified and included in the review. 33.3% of implemented Algorithms used kinematic parameters such as joint angles, joint linear and angular velocity, and joint angular acceleration. This study purely focuses on threshold-based algorithms and thus paper focusing on other gait phase detection methods were excluded.


title: Behaviors of QCA Inverter due to Cell Displacement and Temperature Variation

abstract: Quantum dot Cellular Automata (QCA) is the emerging area in the field of nanotechnology. Inverter is a fundamental logic primitive in QCA. Molecular, semiconductor, magnetic, and metallic QCA are main methodology in the fabrication of quantum cell. While all types of QCA work on room temperature, metallic one is not suitable in normal temperature. So temperature plays a significant role in QCA circuit. In this paper, the effect of temperature in two-cell conventional inverter and recently proposed three-cell high polarized inverter has been discussed. The polarization and Kink energy of QCA circuit is influenced due to the change of distance between two cells. This paper clearly mentioned the variation of polarization and kink energy of QCA inverter due to cell displacement. Finally this paper makes a comparison between the conventional two-cell inverter and recently proposed three-cell inverter. The simulation tool QCADesigner has been used to study the effects of QCA


title: Assessing Smart Algorithms for Gait Phases Detection in Lower Limb Prosthesis: A Comprehensive Review

abstract: Over the past few years, the division of gait phases has emerged as a complex area of research that carries significant importance for various applications in the field of gait technologies. The accurate partitioning of gait phases plays a crucial role in advancing these applications. Researchers have been exploring a range of sensors that can be employed to provide data for algorithms involved in gait phase partitioning. These sensors can be broadly categorized into two types: wearable and non-wearable, each offering unique advantages and capabilities. In our study aimed at examining the current approaches to gait analysis and detection specifically designed for implementation in ambulatory rehabilitation systems, we conducted a comprehensive meta-analysis of existing research studies. Our analysis revealed a diverse range of sensors and sensor combinations that demonstrate the ability to analyze gait patterns in ambulatory settings. These sensor options vary from basic force-based binary switches to more intricate setups incorporating multiple inertial sensors and sophisticated algorithms. The findings highlight the wide spectrum of available technologies and methodologies used in gait analysis for ambulatory applications. To conduct an extensive review, we systematically examined two prominent databases, IEEE and Scopus, with the aim of identifying relevant studies pertaining to gait analysis. The search criteria were limited to 189 papers published between 1999 and 2023. From this pool, we identified and included five papers that specifically focused on various techniques including Thresholding, Quasi-static method, adaptive classifier, and SVM-based approaches. These selected papers provided valuable insights for our review.


title: Domain-Specific Language Model Post-Training for Indonesian Financial NLP

abstract: BERT and IndoBERT have achieved impressive performance in several NLP tasks. There has been several investigation on its adaption in specialized domains especially for English language. We focus on financial domain and Indonesian language, where we perform post-training on pre-trained IndoBERT for financial domain using a small scale of Indonesian financial corpus. In this paper, we construct an Indonesian self-supervised financial corpus, Indonesian financial sentiment analysis dataset, Indonesian financial topic classification dataset, and release a family of BERT models for financial NLP. We also evaluate the effectiveness of domain-specific post-training on sentiment analysis and topic classification tasks. Our findings indicate that the post-training increases the effectiveness of a language model when it is fine-tuned to domain-specific downstream tasks.


title: Dynamics and frictional dissipation from treading in the puddle

abstract: It was recently established that dogs share the same lapping technique as cats by flicking their tongue against the water surface and then yanking it back, dragging up a column of water. This liquid column appears frequently in daily life and industrial applications, such as walking through a puddle and roller printing. While governed by the Navier-Stokes equation, its dynamics are often studied by numerical means, which hinders a full understanding of the rich mixture of physics behind, for instance, the competition of surface and potential energies, and how the pinch-off is affected by the kinetic energy and water jet when a large cylinder is used. Combined with simple models, we elucidate the mechanism that drives the change of morphology and derive analytic expressions for the critical height and upper radius for the liquid column when transiting between three stages. Stage I is characterized by a static and reversible profile for the column whose upper radius r_t equals that of the cylinder. The column becomes irreversible and $r_t$ starts shrinking upon entering stage II. It is not until r_t stops shrinking that the column neck accelerates its contraction and descends toward the pool, the quantitative behavior of which is among the successful predictions of our theory. Pinch-off dominates the second half of stage III without its usual signature of self-similarity. This is discussed and explained with an interesting incident involving a water jet similar to that made by a dropping stone.


title: Hadron-quark transition and chiral symmetry restoration at high density

abstract: A simple phenomenological hybrid hadron-quark model with effective volume effects of baryons and chiral dynamics is investigated. The hybrid EoS naturally connects the low density baryonic matter with the high density quark matter. In the intermediate region, the phase which can not be regarded as pure hadron matter or pure quark matter appears. In this model, there is a possibility that the abrupt first -order like transition to pure quark matter induces the strong chiral symmetry restoration and the speed of sound has a large peak at considerable large density.