title: GraSSRep: Graph-Based Self-Supervised Learning for Repeat Detection in Metagenomic Assembly

abstract: Repetitive DNA (repeats) poses significant challenges for accurate and efficient genome assembly and sequence alignment. This is particularly true for metagenomic data, where genome dynamics such as horizontal gene transfer, gene duplication, and gene loss/gain complicate accurate genome assembly from metagenomic communities. Detecting repeats is a crucial first step in overcoming these challenges. To address this issue, we propose GraSSRep, a novel approach that leverages the assembly graph's structure through graph neural networks (GNNs) within a self-supervised learning framework to classify DNA sequences into repetitive and non-repetitive categories. Specifically, we frame this problem as a node classification task within a metagenomic assembly graph. In a self-supervised fashion, we rely on a high-precision (but low-recall) heuristic to generate pseudo-labels for a small proportion of the nodes. We then use those pseudo-labels to train a GNN embedding and a random forest classifier to propagate the labels to the remaining nodes. In this way, GraSSRep combines sequencing features with pre-defined and learned graph features to achieve state-of-the-art performance in repeat detection. We evaluate our method using simulated and synthetic metagenomic datasets. The results on the simulated data highlight our GraSSRep's robustness to repeat attributes, demonstrating its effectiveness in handling the complexity of repeated sequences. Additionally, our experiments with synthetic metagenomic datasets reveal that incorporating the graph structure and the GNN enhances our detection performance. Finally, in comparative analyses, GraSSRep outperforms existing repeat detection tools with respect to precision and recall.


title: Safe Distributed Control of Multi-Robot Systems with Communication Delays

abstract: Safe operation of multi-robot systems is critical, especially in communication-degraded environments such as underwater for seabed mapping, underground caves for navigation, and in extraterrestrial missions for assembly and construction. We address safety of networked autonomous systems where the information exchanged between robots incurs communication delays. We formalize a notion of distributed control barrier function (CBF) for multi-robot systems, a safety certificate amenable to a distributed implementation, which provides formal ground to using graph neural networks to learn safe distributed controllers. Further, we observe that learning a distributed controller ignoring delays can severely degrade safety. Our main contribution is a predictor-based framework to train a safe distributed controller under communication delays, where the current state of nearby robots is predicted from received data and age-of-information. Numerical experiments on multi-robot collision avoidance show that our predictor-based approach can significantly improve the safety of a learned distributed controller under communication delays


title: On a family of quasi-strongly regular Cayley graphs

abstract: In this paper, we construct a family of quasi-strongly regular Cayley graphs $\Gamma_H(G)$ which is defined on a finite group $G$ with respect to a subgroup $H$ of $G$. We also compute its full automorphism group and characterize various transitivity properties of it.


title: Persuasion, Delegation, and Private Information in Algorithm-Assisted Decisions

abstract: A principal designs an algorithm that generates a publicly observable prediction of a binary state. She must decide whether to act directly based on the prediction or to delegate the decision to an agent with private information but potential misalignment. We study the optimal design of the prediction algorithm and the delegation rule in such environments. Three key findings emerge: (1) Delegation is optimal if and only if the principal would make the same binary decision as the agent had she observed the agent's information. (2) Providing the most informative algorithm may be suboptimal even if the principal can act on the algorithm's prediction. Instead, the optimal algorithm may provide more information about one state and restrict information about the other. (3) Well-intentioned policies aiming to provide more information, such as keeping a "human-in-the-loop" or requiring maximal prediction accuracy, could strictly worsen decision quality compared to systems with no human or no algorithmic assistance. These findings predict the underperformance of human-machine collaborations if no measures are taken to mitigate common preference misalignment between algorithms and human decision-makers.


title: Geometrically-Controlled Microscale Patterning and Epitaxial Lateral Overgrowth of Nitrogen-Polar GaN

abstract: In this study we report on a novel two-step epitaxial growth technique that enables a significant improvement of the crystal quality of nitrogen-polar GaN. The starting material is grown on 4{\deg} vicinal sapphire substrates by metal organic vapour phase epitaxy, with an initial high-temperature sapphire nitridation to control polarity. The material is then converted into a regular array of hexagonal pyramids by wet-etch in a KOH solution, and subsequently regrown to coalesce the pyramids back into a smooth layer of improved crystal quality. The key points that enable this technique are the control of the array geometry, obtained by exploiting the anisotropic behaviour of the wet-etch step, and the use of regrowth conditions that preserve the orientation of the pyramids' sidewalls. In contrast, growth conditions that cause an excessive expansion of the residual (000-1) facets on the pyramids' tops cause the onset of a very rough surface morphology upon full coalescence. An X-ray diffraction study confirms the reduction of the threading dislocation density as the regrowth step develops. The analysis of the relative position of the 000-2 GaN peak with respect to the 0006 sapphire peak reveals a macroscopic tilt of the pyramids, probably induced by the large off-axis substrate orientation. This tilt correlates very well with an anomalous broadening of the 000-2 diffraction peaks at the beginning of the regrowth step.


title: Introduction to Physically Unclonable Fuctions: Properties and Applications

abstract: During the last years, Physically Unclonable Functions (PUFs) have become a very important research area in the field of hardware security due to their capability of generating volatile secret keys as well as providing a low-cost authentication. In this paper, an introduction to Physically Unclonable Functions is given, including their definition, properties and applications. Finally, as an example of how to design a PUF, the general structure of a ring oscillator PUF is presented.


title: Active Disruption Avoidance and Trajectory Design for Tokamak Ramp-downs with Neural Differential Equations and Reinforcement Learning

abstract: The tokamak offers a promising path to fusion energy, but plasma disruptions pose a major economic risk, motivating considerable advances in disruption avoidance. This work develops a reinforcement learning approach to this problem by training a policy to safely ramp-down the plasma current while avoiding limits on a number of quantities correlated with disruptions. The policy training environment is a hybrid physics and machine learning model trained on simulations of the SPARC primary reference discharge (PRD) ramp-down, an upcoming burning plasma scenario which we use as a testbed. To address physics uncertainty and model inaccuracies, the simulation environment is massively parallelized on GPU with randomized physics parameters during policy training. The trained policy is then successfully transferred to a higher fidelity simulator where it successfully ramps down the plasma while avoiding user-specified disruptive limits. We also address the crucial issue of safety criticality by demonstrating that a constraint-conditioned policy can be used as a trajectory design assistant to design a library of feed-forward trajectories to handle different physics conditions and user settings. As a library of trajectories is more interpretable and verifiable offline, we argue such an approach is a promising path for leveraging the capabilities of reinforcement learning in the safety-critical context of burning plasma tokamaks. Finally, we demonstrate how the training environment can be a useful platform for other feed-forward optimization approaches by using an evolutionary algorithm to perform optimization of feed-forward trajectories that are robust to physics uncertainty


title: Entropy-regularized Point-based Value Iteration

abstract: Model-based planners for partially observable problems must accommodate both model uncertainty during planning and goal uncertainty during objective inference. However, model-based planners may be brittle under these types of uncertainty because they rely on an exact model and tend to commit to a single optimal behavior. Inspired by results in the model-free setting, we propose an entropy-regularized model-based planner for partially observable problems. Entropy regularization promotes policy robustness for planning and objective inference by encouraging policies to be no more committed to a single action than necessary. We evaluate the robustness and objective inference performance of entropy-regularized policies in three problem domains. Our results show that entropy-regularized policies outperform non-entropy-regularized baselines in terms of higher expected returns under modeling errors and higher accuracy during objective inference.


title: Anisotropy Scaling Functions in Heavy-Ion Collisions: Insights into the `Ultra-Central Flow Puzzle' and Constraints on Transport Coefficients and Nuclear Deformation

abstract: Anisotropy scaling functions derived from comprehensive measurements of transverse momentum- and centrality-dependent anisotropy coefficients $v_2(p_T,\text{cent})$ and $v_3(p_T,\text{cent})$ in Pb+Pb collisions at 5.02 and 2.76 TeV, and Xe+Xe collisions at 5.44 TeV at the LHC, offer new insights into the `ultra-central flow puzzle'. These functions integrate diverse measurements into a single curve, clarifying anisotropy attenuation throughout the entire $p_T$ and centrality range. They reveal the influence of initial-state eccentricities ($\varepsilon_{n}$), dimensionless size ($\mathbb{R}$), radial flow, viscous correction to the thermal distribution function ($\delta_f$), the medium's stopping power ($\hat{q}$), and specific shear viscosity ($\eta/s$) on the observed anisotropies. This analysis not only enhances understanding of transport coefficients but also provides crucial constraints on nuclear deformation.


title: HGOT: Hierarchical Graph of Thoughts for Retrieval-Augmented In-Context Learning in Factuality Evaluation

abstract: With the widespread adoption of large language models (LLMs) in numerous applications, the challenge of factuality and the propensity for hallucinations raises significant concerns. To address this issue, particularly in retrieval-augmented in-context learning, we introduce the hierarchical graph of thoughts (HGOT), a structured, multi-layered graph approach designed to enhance the retrieval of pertinent passages during in-context learning. The framework utilizes the emergent planning capabilities of LLMs, employing the divide-and-conquer strategy to break down complex queries into manageable sub-queries. It refines self-consistency majority voting for answer selection, which incorporates the recently proposed citation recall and precision metrics to assess the quality of thoughts, linking an answer's credibility intrinsically to the thought's quality. This methodology introduces a weighted system in majority voting, prioritizing answers based on the citation quality of their thoughts. Additionally, we propose a scoring mechanism for evaluating retrieved passages, considering factors such as citation frequency and quality, self-consistency confidence, and the retrieval module's ranking. Experiments reveal that HGOT outperforms other retrieval-augmented in-context learning methods, including Demonstrate-Search-Predict (DSP), ReAct, Self-Ask, and Retrieve-then-Read on different datasets by as much as $7\%$, demonstrating its efficacy in enhancing the factuality of LLMs.


title: LlaSMol: Advancing Large Language Models for Chemistry with a Large-Scale, Comprehensive, High-Quality Instruction Tuning Dataset

abstract: Chemistry plays a crucial role in many domains, such as drug discovery and material science. While large language models (LLMs) such as GPT-4 exhibit remarkable capabilities on natural language processing tasks, existing research indicates that their performance on chemistry tasks is discouragingly low. In this paper, however, we demonstrate that our developed LLMs can achieve very strong results on a comprehensive set of chemistry tasks, outperforming the most advanced GPT-4 and Claude 3 Opus by a substantial margin. To accomplish this, we propose SMolInstruct, a large-scale, comprehensive, and high-quality dataset for instruction tuning. It contains 14 selected chemistry tasks and over three million samples, laying a solid foundation for training and evaluating LLMs for chemistry. Using SMolInstruct, we fine-tune a set of open-source LLMs, among which, we find that Mistral serves as the best base model for chemistry tasks. Our analysis further demonstrates the critical role of the proposed dataset in driving the performance improvements.


title: LL-GABR: Energy Efficient Live Video Streaming Using Reinforcement Learning

abstract: Over the recent years, research and development in adaptive bitrate (ABR) algorithms for live video streaming have been successful in improving users' quality of experience (QoE) by reducing latency to near real-time levels while delivering higher bitrate videos with minimal rebuffering time. However, the QoE models used by these ABR algorithms do not take into account that a large portion of live video streaming clients use mobile devices where a higher bitrate does not necessarily translate into higher perceived quality. Ignoring perceived quality results in playing videos at higher bitrates without a significant increase in perceptual video quality and becomes a burden for battery-constrained mobile devices due to higher energy consumption. In this paper, we propose LL-GABR, a deep reinforcement learning approach that models the QoE using perceived video quality instead of bitrate and uses energy consumption along with other metrics like latency, rebuffering events, and smoothness. LL-GABR makes no assumptions about the underlying video, environment, or network settings and can operate flexibly on different video titles, each having a different bitrate encoding ladder without additional re-training, unlike existing learning-based ABRs. Trace-driven experimental results show that LL-GABR outperforms the state-of-the-art approaches by up to 44% in terms of perceptual QoE and a 73% increase in energy efficiency as a result of reducing net energy consumption by 11%.


title: A superstatistical measure of distance from canonical equilibrium

abstract: Non-equilibrium systems in steady states are commonly described by generalized statistical mechanical theories such as non-extensive statistics and superstatistics. Superstatistics assumes that the inverse temperature $\beta = 1/(k_B T)$ follows some pre-established statistical distribution, however, it has been previously proved (Physica A 505, 864-870 [2018]) that $\beta$ cannot be associated to an observable function $B(\boldsymbol{\Gamma})$ of the microstates $\boldsymbol{\Gamma}$. In this work, we provide an information-theoretical interpretation of this theorem by introducing a new quantity $\mathcal{D}$, the mutual information between $\beta$ and $\boldsymbol{\Gamma}$. Our results show that $\mathcal{D}$ is also a measure of departure from canonical equilibrium, and reveal a minimum, non-zero uncertainty about $\beta$ given $\boldsymbol{\Gamma}$ for every non-canonical superstatistical ensemble. This supports the use of the mutual information as a descriptor of complexity and correlation in complex systems, also providing in some cases a sound basis for the use of Tsallis' entropic index $q$ as a measure of distance from equilibrium, being in those cases a proxy for $\mathcal{D}$.


title: Long-form evaluation of model editing

abstract: Evaluations of model editing currently only use the `next few token' completions after a prompt. As a result, the impact of these methods on longer natural language generation is largely unknown. We introduce long-form evaluation of model editing (LEME) a novel evaluation protocol that measures the efficacy and impact of model editing in long-form generative settings. Our protocol consists of a machine-rated survey and a classifier which correlates well with human ratings. Importantly, we find that our protocol has very little relationship with previous short-form metrics (despite being designed to extend efficacy, generalization, locality, and portability into a long-form setting), indicating that our method introduces a novel set of dimensions for understanding model editing methods. Using this protocol, we benchmark a number of model editing techniques and present several findings including that, while some methods (ROME and MEMIT) perform well in making consistent edits within a limited scope, they suffer much more from factual drift than other methods. Finally, we present a qualitative analysis that illustrates common failure modes in long-form generative settings including internal consistency, lexical cohesion, and locality issues.


title: Non-utopian optical properties computed of a tomographically reconstructed real photonic band gap crystal

abstract: State-of-the-art computational methods combined with common idealized structural models provide an incomplete understanding of experiments on real nanostructures, since manufacturing introduces unavoidable deviations from the design. We propose to close this knowledge gap by using the real structure of a manufactured crystal as input in computations to obtain a realistic comparison with observations on the same nanostructure. We demonstrate this approach on the structure of a real silicon inverse woodpile photonic bandgap crystal, obtained by previous synchrotron X-ray imaging. A 2D part of the dataset is selected and processed into a computational mesh suitable for a Discontinuous Galerkin Finite Element Method (DGFEM) to compute optical transmission spectra that are compared to those of a utopian crystal, i.e., a hypothetical model crystal with the same filling fraction where all pores are identical and circular. The nanopore shapes in the real crystal differ in a complex way from utopian pores, leading to a complex transmission spectrum with significant frequency speckle in and beyond the gap. The utopian model provides only a limited understanding of the spectrum: while it accurately predicts low frequency finite-size fringes and the lower band edge, the upper band edge is off, it completely misses the presence of speckle, the domination of speckle above the gap, and possible Anderson localized states in the gap. Moreover, unlike experiments where only external probes are available, numerical methods allow to study all fields everywhere. While the pore shapes hardly affect the fields at low frequency, major differences occur at high frequency such as localized fields deep inside the real crystal. In summary, using only external measurements and utopian models may give an erroneous picture of the fields and the LDOS inside a real crystal, which is remedied by our new approach.


title: Strong existence for free discontinuity problems in linear elasticity

abstract: In this note we show Ahlfors-regularity for a large class of quasiminimizers of the Griffith functional. This allows us to prove that, for a range of free discontinuity problems in linear elasticity with anisotropic, cohesive, or heterogeneous behavior, minimizers have an essentially closed jump set and are thus strong minimizers. Our notion of quasiminimality is inspired by and generalizes previous notions in the literature for the Mumford-Shah functional, and comprises functions which locally close to the crack have at most a fixed percentage of excess crack relative to minimizers. As for the case of minimizers of the Griffith functional, our proof of Ahlfors-regularity relies on contradiction-compactness and an approximation result for GSBD functions, showing the robustness of this approach with respect to generalization of bulk and surface densities.


title: On the Assessment of Bootstrap Intervals for Samples of Fixed Size

abstract: A reasonable confidence interval should have a confidence coefficient no less than the given nominal level and a small expected length to reliably and accurately estimate the parameter of interest, and the bootstrap interval is considered to be an efficient interval estimation technique. In this paper, we offer a first attempt at computing the coverage probability and expected length of a parametric or percentile bootstrap interval by exact probabilistic calculation for any fixed sample size. This method is applied to the basic bootstrap intervals for functions of binomial proportions and a normal mean. None of these intervals, however, are found to have a correct confidence coefficient, which leads to illogical conclusions including that the bootstrap interval is narrower than the z-interval when estimating a normal mean. This raises a general question of how to utilize bootstrap intervals appropriately in practice since the sample size is typically fixed.


title: Get More with LESS: Synthesizing Recurrence with KV Cache Compression for Efficient LLM Inference

abstract: Many computational factors limit broader deployment of large language models. In this paper, we focus on a memory bottleneck imposed by the key-value (KV) cache, a computational shortcut that requires storing previous KV pairs during decoding. While existing KV cache methods approach this problem by pruning or evicting large swaths of relatively less important KV pairs to dramatically reduce the memory footprint of the cache, they can have limited success in tasks that require recollecting a majority of previous tokens. To alleviate this issue, we propose LESS, a simple integration of a (nearly free) constant sized cache with eviction-based cache methods, such that all tokens can be queried at later decoding steps. Its ability to retain information throughout time shows merit on a variety of tasks where we demonstrate LESS can help reduce the performance gap from caching everything, sometimes even matching it, all while being efficient. Relevant code can be found at https://github.com/hdong920/LESS.


title: Chronology of our Galaxy from Gaia Colour-Magnitude Diagram-fitting (ChronoGal). I. The formation and evolution of the thin disk from the Gaia Catalogue of Nearby Stars

abstract: The current major challenge to reconstruct the chronology of the Milky Way (MW) is the difficulty to derive precise stellar ages. CMD-fitting offers an alternative to individual age determinations to derive the star formation history (SFH). We present CMDft.Gaia and use it to analyse the CMD of the Gaia Catalogue of Nearby Stars (GCNS), which contains a census of the stars within 100 pc of the Sun. The result is an unprecedented detailed view of the evolution of the MW disk. The bulk of star formation started 11-10.5 Gyr ago at [Fe/H]~solar and continued with a slightly decreasing metallicity trend until 6 Gyr ago. Between 6-4 Gyr ago, a break in the age-metallicity distribution is observed, with 3 stellar populations with distinct metallicities (sub-solar, solar, and super-solar), possibly indicating some dramatic event in the Galaxy. Star formation resumed 4 Gyr ago with a bursty behaviour, metallicity near solar and higher average SFR. The derived metallicity distribution closely matches precise spectroscopic data, which also show stellar populations deviating from solar metallicity. Interestingly, our results reveal the presence of intermediate-age populations with both a metallicity typical of the thick disk and supersolar metallicity. Our many tests indicate that, with high precision Gaia photometric and distance data, CMDft.Gaia can achieve a precision ~10% and an accuracy better than 6% in the dating of even old stellar populations. The comparison with independent spectroscopic data shows that metallicity distributions are determined with high precision, without imposing a-priory metallicity information. This opens the door to obtaining detailed and robust information on the evolution of the stellar populations of the MW over cosmic time. As an example we provide an unprecedented detailed view of the age and metallicity distributions of the stars within 100 pc of the Sun.


title: Noncoplanar orders and quantum disordered states in maple-leaf antiferromagnets

abstract: A promising route towards the realization of chiral spin liquids is the quantum melting of classically noncoplanar spin states via quantum fluctuations. In the classical realm, such noncoplanar orders can effectively be stabilized by interactions beyond nearest neighbors. Motivated by the recent synthesis of materials with a maple-leaf lattice geometry, we study the effect of cross-plaquette couplings on elementary Heisenberg antiferromagnets for this geometry. We find a rich spectrum of noncoplanar states, including a novel icosahedral order as well as incommensurate spin spirals, using large-scale Monte Carlo simulations in combination with a semi-analytical analysis. To inspect the potential quantum melting of these states, we analyze the quantum $S = 1/2$ variant of these models using pseudo-fermion functional renormalization group (pf-FRG) simulations. Notably, we indeed find extended parameter regimes lacking long-range magnetic order -- in regions classically occupied by noncoplanar orders -- which we putatively identify with the possible formation of chiral quantum spin liquids.


title: Reinforcement Learning from Human Feedback with Active Queries

abstract: Aligning large language models (LLM) with human preference plays a key role in building modern generative models and can be achieved by reinforcement learning from human feedback (RLHF). Despite their superior performance, current RLHF approaches often require a large amount of human-labelled preference data, which is expensive to collect. In this paper, inspired by the success of active learning, we address this problem by proposing query-efficient RLHF methods. We first formalize the alignment problem as a contextual dueling bandit problem and design an active-query-based proximal policy optimization (APPO) algorithm with an $\tilde{O}(d^2/\Delta)$ regret bound and an $\tilde{O}(d^2/\Delta^2)$ query complexity, where $d$ is the dimension of feature space and $\Delta$ is the sub-optimality gap over all the contexts. We then propose ADPO, a practical version of our algorithm based on direct preference optimization (DPO) and apply it to fine-tuning LLMs. Our experiments show that ADPO, while only making about half of queries for human preference, matches the performance of the state-of-the-art DPO method.


title: From Architectures to Applications: A Review of Neural Quantum States

abstract: Due to the exponential growth of the Hilbert space dimension with system size, the simulation of quantum many-body systems has remained a persistent challenge until today. Here, we review a relatively new class of variational states for the simulation of such systems, namely neural quantum states (NQS), which overcome the exponential scaling by compressing the state in terms of the network parameters rather than storing all exponentially many coefficients needed for an exact parameterization of the state. We introduce the commonly used NQS architectures and their various applications for the simulation of ground and excited states, finite temperature and open system states as well as NQS approaches to simulate the dynamics of quantum states. Furthermore, we discuss NQS in the context of quantum state tomography.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.str-el quant-ph


title: Auditing Private Prediction

abstract: Differential privacy (DP) offers a theoretical upper bound on the potential privacy leakage of analgorithm, while empirical auditing establishes a practical lower bound. Auditing techniques exist forDP training algorithms. However machine learning can also be made private at inference. We propose thefirst framework for auditing private prediction where we instantiate adversaries with varying poisoningand query capabilities. This enables us to study the privacy leakage of four private prediction algorithms:PATE [Papernot et al., 2016], CaPC [Choquette-Choo et al., 2020], PromptPATE [Duan et al., 2023],and Private-kNN [Zhu et al., 2020]. To conduct our audit, we introduce novel techniques to empiricallyevaluate privacy leakage in terms of Renyi DP. Our experiments show that (i) the privacy analysis ofprivate prediction can be improved, (ii) algorithms which are easier to poison lead to much higher privacyleakage, and (iii) the privacy leakage is significantly lower for adversaries without query control than thosewith full control.


title: AQA-Bench: An Interactive Benchmark for Evaluating LLMs' Sequential Reasoning Ability

abstract: This paper introduces AQA-Bench, a novel benchmark to assess the sequential reasoning capabilities of large language models (LLMs) in algorithmic contexts, such as depth-first search (DFS). The key feature of our evaluation benchmark lies in its interactive evaluation protocol -- for example, in DFS, the availability of each node's connected edge is contingent upon the model's traversal to that node, thereby necessitating the LLM's ability to effectively remember visited nodes and strategize subsequent moves. We comprehensively build AQA-Bench with three different algorithms, namely binary search, depth-first search, and breadth-first search, and to evaluate the sequential reasoning ability of 12 different LLMs. Our investigations reveal several interesting findings: (1) Closed-source models like GPT-4 and Gemini generally show strong sequential reasoning ability, significantly outperforming open-source LLMs. (2) Naively providing interactive examples may inadvertently hurt few-shot performance. (3) A very limited number of predecessor steps following the optimal policy can substantially boost small models' performance. (4) The scaling correlation between performance and model size is not always significant, sometimes even showcasing an inverse trend. We hope our study can catalyze future work on advancing the understanding and enhancement of LLMs' capabilities in sequential reasoning. The code is available at https://github.com/UCSC-VLAA/AQA-Bench.


title: Effects of physical conditions on the stellar initial mass function: The low-metallicity star-forming region Sh 2-209

abstract: Recent work suggested that the variation of the initial mass function (IMF) of stars depends on the physical conditions, notably, the metallicity and gas density. We investigated the properties of two clusters, namely the main cluster (MC) and the subcluster (SC), in the low-metallicity HII region Sh 2-209 (S209) based on recently derived IMFs. We tested three previously published correlations using previous observations: the top-heaviness of the IMF in dependence on metallicity, the half-mass radius, and the most massive star in dependence on the stellar mass of the embedded clusters. For this region, two different galactocentric distances, namely 10.5 kpc and 18 kpc, were considered, where an age-distance-degeneracy was found for the previously determined IMF to be consistent with other formulated metallicity and density dependent IMFs. The determined half-mass radius (0.080 +/- 0.005) pc and the embedded cluster density (0.2 +/- 0.1) 10^6 Msun pc^-3 for the MC with an age of 0.5 Myr in S209 assuming a galactocentric distance of 18 kpc support the assumption that a low-metallicity environment results in a denser cluster, which leads to a top-heavy IMF. Thus, all three tests are consistent with the previously published correlations. The results for S209 are placed in the context with the IMF determination within the metal-poor cluster in the star-forming region NGC 346 in the Small Magellanic Cloud.


title: VR-CAD Framework for Parametric Data Modification with a 3D Shape-based Interaction

abstract: In this poster, we present a new VR-CAD framework, allowing user to modify parametric CAD data with 3D interaction in an immersive environment. With this framework, users can implicitly modify parameter values of CAD data with co-localized 3D shape-based interaction. This poster describes the system architecture and the interaction technique based on it.


title: What Large-Scale Publication and Citation Data Tell Us About International Research Collaboration in Europe: Changing National Patterns in Global Contexts

abstract: This study analyzes the unprecedented growth of international research collaboration (IRC) in Europe during the period 2009-2018 in terms of coauthorship and citation distribution of globally indexed publications. The results reveal the dynamics of this change, as growing IRC moves European systems away from institutional collaboration, with stable and strong national collaboration. Domestic output has remained flat. The growth in publications in major European systems is almost entirely attributable to internationally coauthored papers. A comparison of trends within the four complementary collaboration modes clearly reveals that the growth of European science is driven solely by internationally co-authored papers. With the emergence of global network science, which diminishes the role of national policies in IRC and foregrounds the role of scientists, the individual scientists willingness to collaborate internationally is central to advancing IRC in Europe. Scientists collaborate internationally when it enhances their academic prestige, scientific recognition, and access to research funding, as indicated by the credibility cycle, prestige maximization, and global science models. The study encompassed 5.5 million Scopus-indexed articles, including 2.2 million involving international collaboration.


title: The geometry of chromatin

abstract: We investigate the large-scale geometry of the DNA-protein complex of chromatin using a generalized optimality principle, which requires that not only should all sub-parts of a natural process be optimal but also the unfolding of higher recursive levels. It was shown previously that an information-theoretic geometry of the genetic code data, together with the principle of maximum entropy, explains the variation in the codon groupings that map into different amino acids and explain its underlying self-similar structure. Here we take that analysis forward and investigate the fundamental geometry underling physical and biological space as it gets reflected in aggregates associated with genomic DNA. The analysis is consistent with the measured fractal dimension of chromatin.


title: Seasons's Greetings by AD

abstract: We use Algorithmic Differentiation (AD) to implement type-generic tangent and adjoint versions of $$ y=\sum_{i=0}^{n-1} x_{2 i} \cdot x_{2 i+1} $$ in C++. We run an instantiation for char-arithmetic and we print the gradient at $(101~77~114~114~32~121~109~88~115~97)^T$ to std::cout, yielding the output ``Merry Xmas''. Similar instantiations of type-generic second-order tangent and second-order adjoint versions of $$ y=\frac{1}{6} \cdot \sum_{i=0}^{n-1} x^3_{i} $$ yield ``Happy 2024'' at $(72~97~112~112~121~32~50~48~50~52)^T.$ Prepend a sufficiently large number of zeros to the input vector to explore the varying run times of the different derivative codes. The entire source code can be found on https://github.com/un110076/SeasonsGreetings.


title: On Computability of Computable Problems

abstract: Computational problems are classified into computable and uncomputable problems.If there exists an effective procedure (algorithm) to compute a problem then the problem is computable otherwise it is uncomputable.Turing machines can execute any algorithm therefore every computable problem is Turing computable.There are some variants of Turing machine that appear computationally more powerful but all these variants have been proven equally powerful.The main objective of this work is to revisit and examine the computational power of different variants of Turing machines at very fine-grain level.We achieve this objective by constructing a transform technique for Turing computable problems that transforms computable problems into another type of problems, and then we try to compute the transformed problems through different variants of Turing machine.This paper shows the existence of a realizable computational scheme that can establish a framework to analyze computational characteristics of different variants of Turing machine at infinitesimal scale.


title: Non-commutative Lebesgue decomposition of non-commutative measures

abstract: A positive non-commutative (NC) measure is a positive linear functional on the free disk operator system which is generated by a $d$-tuple of non-commuting isometries. By introducing the hybrid forms, their Cauchy transforms, and techniques from NC reproducing kernel Hilbert spaces (RKHS), we construct a natural Lebesgue decomposition for any positive NC measure against any other such measure. Our work extends the Jury-Martin decomposition, which originally decomposes positive NC measures against the standard NC Lebesgue measure. In fact, we give a more generalized definition of absolute continuity and singularity, which reduces to their definition when the splitting measure is the standard NC Lebesgue measure. This generalized definition makes it possible to extend Jury-Martin theory for any splitting NC measure, and it recovers their decomposition when the splitting NC measure is the Lebesgue one. Our work implies a Lebesgue decomposition for representations of the Cuntz-Toeplitz C*-algebra. Furthermore, our RKHS method gives a new proof of the classical Lebesgue decomposition when applied to the classical one dimensional setting, i.e., $d=1$.


title: Non-locally Reconstructed both Sides of Wormhole and its Non-Traversability

abstract: The theoretical implications of a traversable wormhole between entangled black holes are significant in terms of non-locality and superluminal signaling. By utilizing the entangled states of two maximally entangled black holes, it becomes possible to construct a wormhole. In this context, the traversable wormhole can be achieved by exciting the vacuum state of the near-horizon region of one black hole, allowing for the transmission of information to an observer situated in the near-horizon region of the other black hole through the wormhole. However, the occurrence of this phenomenon is restricted when the near-horizon regions of the black holes undergo a non-local reconstruction, which is referred to as the ER=EPR correspondence. We argue that this correspondence imposes a fundamental limitation on the potential traversability of wormhole and the occurrence of superluminal signaling.


title: Mathematical Explanations

abstract: A definition of what counts as an explanation of mathematical statement, and when one explanation is better than another, is given. Since all mathematical facts must be true in all causal models, and hence known by an agent, mathematical facts cannot be part of an explanation (under the standard notion of explanation). This problem is solved using impossible possible worlds.


title: The number of global solutions for GPS source localization in two-dimension

abstract: Source localization is widely used in many areas including GPS, but the influence of possible noises is not so negligible. Many optimization methods are attempted to alleviate different kinds of noises. Needless to say the stability of the solution, even the number of global solutions are not fully known. Only local convergence or stability for the optimization problem are known in simple $L^1$\cite{Kwon} or $L^2$\cite{Kwon3} settings. In this paper, we prove that the number of possible two dimensional source locations with three measurements in $L^2$ setting, is at most $5$, which is the complement and correction to the previous work \cite{Kwon3}. We also showed the sufficient and necessary condition for the number of the solutions being 1,2,3,4,and 5, where the measurement triangle is isosceles and the measurement distance for the two isosceles triangle bases are the same.


title: Accumulation of cross-channel non-linear interference in dispersion-managed and disaggregated optical network segment

abstract: We evaluate the generation of the cross-channel interference (XCI) for coherent transmission through a variety of dispersion-managed segments in a disaggregated optical network framework, using split-step Fourier method (SSFM) simulations and an implementation of the Gaussian noise (GN) model. We observe that the small inline residual dispersion remaining after each span affects the accumulation of the XCI, causing GN model predictions to no longer be conservative. We find an asymptotic upper bound to this additional accumulation, providing a worst-case prediction, and observe that this depends upon the residual dispersion within the link. This upper bound scales similarly to the self-channel interference (SCI) accumulation, and is well characterized by the parameters of the underlying fiber spans and the transmitted signals.


title: Deep Manifold Transformation for Protein Representation Learning

abstract: Protein representation learning is critical in various tasks in biology, such as drug design and protein structure or function prediction, which has primarily benefited from protein language models and graph neural networks. These models can capture intrinsic patterns from protein sequences and structures through masking and task-related losses. However, the learned protein representations are usually not well optimized, leading to performance degradation due to limited data, difficulty adapting to new tasks, etc. To address this, we propose a new \underline{d}eep \underline{m}anifold \underline{t}ransformation approach for universal \underline{p}rotein \underline{r}epresentation \underline{l}earning (DMTPRL). It employs manifold learning strategies to improve the quality and adaptability of the learned embeddings. Specifically, we apply a novel manifold learning loss during training based on the graph inter-node similarity. Our proposed DMTPRL method outperforms state-of-the-art baselines on diverse downstream tasks across popular datasets. This validates our approach for learning universal and robust protein representations. We promise to release the code after acceptance.


title: Optimization of Frequency Selective Surface Bandstop Filter Based on Fractal Unit Cell

abstract: In this paper, a Frequency Selective Surface fractalized unit cell design previously explored in the literature is replicated then extended and optimized for multilayer FSS morphologies. A 10 mm x 10 mm planar unit cell is used and then iterated on to create a multilayer structure optimized for use as a bandstop filter in the X-band and Ku-band. Substrate thickness, unit cell shift, and number of layers are varied and numerical results are obtained via the finite element method employed by Ansys solver for electromagnetic structures (HFSS). S-parameters for reflection and transmission are obtained at various stages of design optimization to verify the desired bandstop results, and bandpass characteristics are explored at each stage of the design as well.


title: Metaheuristic Algorithm for Constrained Optimization in Radiation Therapy Treatment Planning: Design and Performance Comparison

abstract: Radiation Therapy (RT) plays a pivotal role in the treatment of cancer, offering the potential to effectively target and eliminate tumour cells while minimizing harm to surrounding healthy tissues. However, the success of RT heavily depends on meticulous treatment planning that ensures the optimal balance between delivering a sufficiently high dose to the tumour and sparing nearby critical organs. This critical process demands a multidisciplinary approach that combines medical expertise, advanced imaging techniques, and computational tools. Optimization techniques have emerged as indispensable tools in refining RT planning, enabling the precise adjustment of radiation beam arrangements and intensities to achieve treatment objectives while adhering to strict dose constraints. This study delves into the realm of constrained optimization within RT Treatment Planning, employing metaheuristic algorithms to enhance the efficacy of this process. The research focuses on the design and performance comparison of three prominent optimization techniques: Bat Search Optimization (BSO), Bacterial Foraging Algorithm (BFA), and Artificial Bee Colony (ABC). Through systematic evaluation, it is observed that BFA exhibits superior execution time and convergence capabilities in comparison to the other algorithms. This research underscores the crucial importance of RT planning and highlights the imperative need for optimization methodologies to achieve optimal treatment outcomes.


title: Multidimensional Gabor-Like Filters Derived from Gaussian Functions on Logarithmic Frequency Axes

abstract: A novel wavelet-like function is presented that makes it convenient to create filter banks given mainly two parameters that influence the focus area and the filter count. This is accomplished by computing the inverse Fourier transform of Gaussian functions on logarithmic frequency axes in the frequency domain. The resulting filters are similar to Gabor filters and represent oriented brief signal oscillations of different sizes. The wavelet-like function can be thought of as a generalized Log-Gabor filter that is multidimensional, always uses Gaussian functions on logarithmic frequency axes, and innately includes low-pass filters from Gaussian functions located at the frequency domain origin.


title: Fabrication uncertainty guided design optimization of a photonic crystal cavity by using Gaussian processes

abstract: We present a fabrication uncertainty aware and robust design optimization approach that can be used to obtain robust design estimates for nonlinear, nonconvex, and expensive model functions. It is founded on Gaussian processes and a Monte Carlo sampling procedure, and assumes knowledge about the uncertainties associated with a manufacturing process. The approach itself is iterative. First, a large parameter domain is sampled in a coarse fashion. This coarse sampling is used primarily to determine smaller candidate regions to investigate in a second, more refined sampling pass. This finer step is used to obtain an estimate of the expected performance of the found design parameter under the assumed manufacturing uncertainties. We apply the presented approach to the robust optimization of the Purcell enhancement of a photonic crystal nanobeam cavity. We obtain a predicted robust Purcell enhancement of $\overline{F}_{\mathrm{P}} \approx 3.3$. For comparison we also perform an optimization without robustness. We find that an unrobust optimum of $F_{\mathrm{P}} \approx 256.5$ dwindles to only $\overline{F}_{\mathrm{P}} \approx 0.7$ when fabrication uncertainties are taken into account. We thus demonstrate that the presented approach is able to find designs of significantly higher performance than those obtained with conventional optimization.


title: EEG Based Generative Depression Discriminator

abstract: Depression is a very common but serious mood disorder.In this paper, We built a generative detection network(GDN) in accordance with three physiological laws. Our aim is that we expect the neural network to learn the relevant brain activity based on the EEG signal and, at the same time, to regenerate the target electrode signal based on the brain activity. We trained two generators, the first one learns the characteristics of depressed brain activity, and the second one learns the characteristics of control group's brain activity. In the test, a segment of EEG signal was put into the two generators separately, if the relationship between the EEG signal and brain activity conforms to the characteristics of a certain category, then the signal generated by the generator of the corresponding category is more consistent with the original signal. Thus it is possible to determine the category corresponding to a certain segment of EEG signal. We obtained an accuracy of 92.30\% on the MODMA dataset and 86.73\% on the HUSM dataset. Moreover, this model is able to output explainable information, which can be used to help the user to discover possible misjudgments of the network.Our code will be released.


title: Traffic Flow and Speed Monitoring Based On Optical Fiber Distributed Acoustic Sensor

abstract: In the realm of intelligent transportation systems, accurate and reliable traffic monitoring is crucial. Traditional devices, such as cameras and lidars, face limitations in adverse weather conditions and complex traffic scenarios, prompting the need for more resilient technologies. This paper presents traffic flow monitoring method using optical fiber-based Distributed Acoustic Sensors (DAS). An innovative vehicle trajectory extraction algorithm is proposed to derive traffic flow statistics. In the processing of optical fiber waterfall diagrams, Butterworth low-pass filter and peaks location search method are employed to determine the entry position of vehicles. Subsequently, line-by-line matching algorithm is proposed to effectively track the trajectories. Experiments were conducted under both real highway and tunnel scenarios, showing that our approach not only extracts vehicle trajectories more accurately than the classical Hough and Radon transform-based methods, but also facilitates the calculation of traffic flow information using the low-cost acoustic sensors. It provides a new reliable means for traffic flow monitoring which can be integrated with existing methods.


title: Online Mean Estimation for Multi-frame Optical Fiber Signals On Highways

abstract: In the era of Big Data, prompt analysis and processing of data sets is critical. Meanwhile, statistical methods provide key tools and techniques to extract valuable insights and knowledge from complex data sets. This paper creatively applies statistical methods to the field of traffic, particularly focusing on the preprocessing of multi-frame signals obtained by optical fiber-based Distributed Acoustic Sensing (DAS) system. An online non-parametric regression model based on Local Polynomial Regression (LPR) and variable bandwidth selection is employed to dynamically update the estimation of mean function as signals flow in. This mean estimation method can derive average information of multi-frame fiber signals, thus providing the basis for the subsequent vehicle trajectory extraction algorithms. To further evaluate the effectiveness of the proposed method, comparison experiments were conducted under real highway scenarios, showing that our approach not only deals with multi-frame signals more accurately than the classical filter-based Kalman and Wavelet methods, but also meets the needs better under the condition of saving memory and rapid responses. It provides a new reliable means for signal processing which can be integrated with other existing methods.


title: Epilepsy Seizure Detection and Prediction using an Approximate Spiking Convolutional Transformer

abstract: Epilepsy is a common disease of the nervous system. Timely prediction of seizures and intervention treatment can significantly reduce the accidental injury of patients and protect the life and health of patients. This paper presents a neuromorphic Spiking Convolutional Transformer, named Spiking Conformer, to detect and predict epileptic seizure segments from scalped long-term electroencephalogram (EEG) recordings. We report evaluation results from the Spiking Conformer model using the Boston Children's Hospital-MIT (CHB-MIT) EEG dataset. By leveraging spike-based addition operations, the Spiking Conformer significantly reduces the classification computational cost compared to the non-spiking model. Additionally, we introduce an approximate spiking neuron layer to further reduce spike-triggered neuron updates by nearly 38% without sacrificing accuracy. Using raw EEG data as input, the proposed Spiking Conformer achieved an average sensitivity rate of 94.9% and a specificity rate of 99.3% for the seizure detection task, and 96.8%, 89.5% for the seizure prediction task, and needs >10x fewer operations compared to the non-spiking equivalent model.


title: Independent Component Analysis for Signal Crosstalk Elimination in Infrared Interferometry

abstract: Infrared interferometers are optical devices that can measure optical path-length differences by measuring changes in the refractive index. Several arrangements can be deployed, from single channel devices to multichannel double color heterodyne interferometers. These type of devices are typically used to recover the spatial electron density profile of fusion plasmas. This process involves measuring precisely the phase differences of the intermediate frequencies. A source of error that affects the measurements is the crosstalk that appears due to the coupling of the signals into the different channels of the interferometers. The inter-channel coupling of the signals is extremely difficult to eliminate specially when the probing frequencies are close to each other. In this paper it is shown that Independent Component Analysis effectively eliminates inter-crosstalk coupling in such devices. Furthermore, it is shown how the Signal-to-Noise ratio is dramatically increased when this technique is used.


title: Graph Koopman Autoencoder for Predictive Covert Communication Against UAV Surveillance

abstract: Low Probability of Detection (LPD) communication aims to obscure the very presence of radio frequency (RF) signals, going beyond just hiding the content of the communication. However, the use of Unmanned Aerial Vehicles (UAVs) introduces a challenge, as UAVs can detect RF signals from the ground by hovering over specific areas of interest. With the growing utilization of UAVs in modern surveillance, there is a crucial need for a thorough understanding of their unknown nonlinear dynamic trajectories to effectively implement LPD communication. Unfortunately, this critical information is often not readily available, posing a significant hurdle in LPD communication. To address this issue, we consider a case-study for enabling terrestrial LPD communication in the presence of multiple UAVs that are engaged in surveillance. We introduce a novel framework that combines graph neural networks (GNN) with Koopman theory to predict the trajectories of multiple fixed-wing UAVs over an extended prediction horizon. Using the predicted UAV locations, we enable LPD communication in a terrestrial ad-hoc network by controlling nodes' transmit powers to keep the received power at UAVs' predicted locations minimized. Our extensive simulations validate the efficacy of the proposed framework in accurately predicting the trajectories of multiple UAVs, thereby effectively establishing LPD communication.


title: DoorINet: A Deep-Learning Inertial Framework for Door-Mounted IoT Applications

abstract: Many Internet of Things applications utilize low-cost, micro, electro-mechanical inertial sensors. A common task is orientation estimation. To tackle such a task, attitude and heading reference system algorithms are applied. Relying on the gyroscope readings, the accelerometer readings are used to update the attitude angles, and magnetometer measurements are utilized to update the heading angle. In indoor environments, magnetometers suffer from interference that degrades their performance. This mainly influences applications focused on estimating the heading angle like finding the heading angle of a closet or fridge door. To circumvent such situations, we propose DoorINet, an end-to-end deep-learning framework to calculate the heading angle from door-mounted, low-cost inertial sensors without using magnetometers. To evaluate our approach, we record a unique dataset containing 391 minutes of accelerometer and gyroscope measurements and corresponding ground-truth heading angle. We show that our proposed approach outperforms commonly used, model based approaches and data-driven methods.


title: Neural-network based high-speed volumetric dynamic optical coherence tomography

abstract: We demonstrate deep-learning neural network (NN)-based dynamic optical coherence tomography (DOCT), which generates high-quality logarithmic-intensity-variance (LIV) DOCT images from only four OCT frames. The NN model is trained for tumor spheroid samples using a customized loss function: the weighted mean absolute error. This loss function enables highly accurate LIV image generation. The fidelity of the generated LIV images to the ground truth LIV images generated using 32 OCT frames is examined via subjective image observation and statistical analysis of image-based metrics. Fast volumetric DOCT imaging with an acquisition time of 6.55 s/volume is demonstrated using this NN-based method.


title: What Is a Causal Graph?

abstract: This article surveys the variety of ways in which a directed acyclic graph (DAG) can be used to represent a problem of probabilistic causality. For each of these we describe the relevant formal or informal semantics governing that representation. It is suggested that the cleanest such representation is that embodied in an augmented DAG, which contains nodes for non-stochastic intervention indicators in addition to the usual nodes for domain variables.


title: WiMANS: A Benchmark Dataset for WiFi-based Multi-user Activity Sensing

abstract: WiFi-based human sensing has exhibited remarkable potential to analyze user behaviors in a non-intrusive and device-free manner, benefiting applications as diverse as smart homes and healthcare. However, most previous works focus on single-user sensing, which has limited practicability in scenarios involving multiple users. Although recent studies have begun to investigate WiFi-based multi-user sensing, there remains a lack of benchmark datasets to facilitate reproducible and comparable research. To bridge this gap, we present WiMANS, to our knowledge, the first dataset for multi-user sensing based on WiFi. WiMANS contains over 9.4 hours of dual-band WiFi Channel State Information (CSI), as well as synchronized videos, monitoring simultaneous activities of multiple users. We exploit WiMANS to benchmark the performance of state-of-the-art WiFi-based human sensing models and video-based models, posing new challenges and opportunities for future work. We believe WiMANS can push the boundaries of current studies and catalyze the research on WiFi-based multi-user sensing.


title: Signal-to-noise per unit time optimization for in vivo single-voxel proton magnetic resonance spectroscopy of the brain: Theoretical formulation and experimental verification at two field strengths

abstract: Signal-to-noise ratio optimization, regarding repetition time selection, was explored mathematically and experimentally for single-voxel proton magnetic resonance spectroscopy. Theoretical findings were benchmarked against phantom measurements at 1.5 Tesla and localized in vivo proton brain spectra acquired at both 1.5 Tesla/3.0 Tesla. A detailed mathematical description of signal-to-noise ratio per unit time was derived, yielding an optimal repetition time of 1.256 times the metabolite longitudinal relaxation time. While long-repetition-time acquisitions minimize longitudinal relaxation time contributions, a repetition time of ~1.5s results in maximum signal-to-noise ratio per unit time, which can in turn be invested into smaller voxel sizes. The latter is of utmost importance in brain oncology, allowing accurate spectroscopic characterization of small lesions.


title: An Enhanced Analysis of Traffic Intelligence in Smart Cities Using Sustainable Deep Radial Function

abstract: Smart cities have revolutionized urban living by incorporating sophisticated technologies to optimize various aspects of urban infrastructure, such as transportation systems. Effective traffic management is a crucial component of smart cities, as it has a direct impact on the quality of life of residents and tourists. Utilizing deep radial basis function (RBF) networks, this paper describes a novel strategy for enhancing traffic intelligence in smart cities. Traditional methods of traffic analysis frequently rely on simplistic models that are incapable of capturing the intricate patterns and dynamics of urban traffic systems. Deep learning techniques, such as deep RBF networks, have the potential to extract valuable insights from traffic data and enable more precise predictions and decisions. In this paper, we propose an RBF based method for enhancing smart city traffic intelligence. Deep RBF networks combine the adaptability and generalization capabilities of deep learning with the discriminative capability of radial basis functions. The proposed method can effectively learn intricate relationships and nonlinear patterns in traffic data by leveraging the hierarchical structure of deep neural networks. The deep RBF model can learn to predict traffic conditions, identify congestion patterns, and make informed recommendations for optimizing traffic management strategies by incorporating these rich and diverse data To evaluate the efficacy of our proposed method, extensive experiments and comparisons with real world traffic datasets from a smart city environment were conducted. In terms of prediction accuracy and efficiency, the results demonstrate that the deep RBF based approach outperforms conventional traffic analysis methods. Smart city traffic intelligence is enhanced by the model capacity to capture nonlinear relationships and manage large scale data sets.


title: Electrical Behavior Association Mining for Household ShortTerm Energy Consumption Forecasting

abstract: Accurate household short-term energy consumption forecasting (STECF) is crucial for home energy management, but it is technically challenging, due to highly random behaviors of individual residential users. To improve the accuracy of STECF on a day-ahead scale, this paper proposes an novel STECF methodology that leverages association mining in electrical behaviors. First, a probabilistic association quantifying and discovering method is proposed to model the pairwise behaviors association and generate associated clusters. Then, a convolutional neural network-gated recurrent unit (CNN-GRU) based forecasting is provided to explore the temporal correlation and enhance accuracy. The testing results demonstrate that this methodology yields a significant enhancement in the STECF.


title: Disentangling Imperfect: A Wavelet-Infused Multilevel Heterogeneous Network for Human Activity Recognition in Flawed Wearable Sensor Data

abstract: The popularity and diffusion of wearable devices provides new opportunities for sensor-based human activity recognition that leverages deep learning-based algorithms. Although impressive advances have been made, two major challenges remain. First, sensor data is often incomplete or noisy due to sensor placement and other issues as well as data transmission failure, calling for imputation of missing values, which also introduces noise. Second, human activity has multi-scale characteristics. Thus, different groups of people and even the same person may behave differently under different circumstances. To address these challenges, we propose a multilevel heterogeneous neural network, called MHNN, for sensor data analysis. We utilize multilevel discrete wavelet decomposition to extract multi-resolution features from sensor data. This enables distinguishing signals with different frequencies, thereby suppressing noise. As the components resulting from the decomposition are heterogeneous, we equip the proposed model with heterogeneous feature extractors that enable the learning of multi-scale features. Due to the complementarity of these features, we also include a cross aggregation module for enhancing their interactions. An experimental study using seven publicly available datasets offers evidence that MHNN can outperform other cutting-edge models and offers evidence of robustness to missing values and noise. An ablation study confirms the importance of each module.


title: Gravitational memory effects of black bounces and a traversable wormhole

abstract: Black bounces are spacetimes that can be interpreted as either black holes or wormholes depending on specific parameters. In this study, we examine the Simpson-Visser and Bardeen-type solutions as black bounces and investigate the gravitational wave in the background of these solutions. We then explore the displacement and velocity memory effects by analyzing the deviation of two neighboring geodesics and their derivatives influenced by the magnetic charge parameter a. This investigation aims to trace the magnetic charge in the gravitational memory effect. Additionally, we consider another family of traversable wormhole solutions obtained from non-exotic matter sources to trace the electric charge Q_e in the gravitational memory effect, which can be determined from the far field asymptotic. Furthermore, this research aims to explore the gravitational memory effect related to the variation in Bondi mass for the Simpson-Visser and Bardeen-Type black bounces. The investigation will also be conducted on a traversable wormhole solution that does not require any exotic field. This study holds importance in not only identifying compact objects such as wormholes through gravitational memory effects but also in observing the charge Qe, which offers a tangible manifestation of Wheeler's idea of "electric charge without charge."


title: On the expected number of facets for the convex hull of samples

abstract: This paper studies the convex hull of $d$-dimensional samples i.i.d. generated from spherically symmetric distributions. Specifically, we derive a complete integration formula for the expected facet number of the convex hull. This formula is with respect to the CDF of the radial distribution. As the number of samples approaches infinity, the integration formula enables us to obtain the asymptotic value of the expected facet number for three categories of spherically symmetric distributions. Additionally, the asymptotic result can be applied to estimating the sample complexity in order that the probability measure of the convex hull tends to one.


title: Managing Household Waste through Transfer Learning

abstract: As the world continues to face the challenges of climate change, it is crucial to consider the environmental impact of the technologies we use. In this study, we investigate the performance and computational carbon emissions of various transfer learning models for garbage classification. We examine the MobileNet, ResNet50, ResNet101, and EfficientNetV2S and EfficientNetV2M models. Our findings indicate that the EfficientNetV2 family achieves the highest accuracy, recall, f1-score, and IoU values. However, the EfficientNetV2M model requires more time and produces higher carbon emissions. ResNet50 outperforms ResNet110 in terms of accuracy, recall, f1-score, and IoU, but it has a larger carbon footprint. We conclude that EfficientNetV2S is the most sustainable and accurate model with 96.41% accuracy. Our research highlights the significance of considering the ecological impact of machine learning models in garbage classification.


title: Subject-Independent Deep Architecture for EEG-based Motor Imagery Classification

abstract: Motor imagery (MI) classification based on electroencephalogram (EEG) is a widely-used technique in non-invasive brain-computer interface (BCI) systems. Since EEG recordings suffer from heterogeneity across subjects and labeled data insufficiency, designing a classifier that performs the MI independently from the subject with limited labeled samples would be desirable. To overcome these limitations, we propose a novel subject-independent semi-supervised deep architecture (SSDA). The proposed SSDA consists of two parts: an unsupervised and a supervised element. The training set contains both labeled and unlabeled data samples from multiple subjects. First, the unsupervised part, known as the columnar spatiotemporal auto-encoder (CST-AE), extracts latent features from all the training samples by maximizing the similarity between the original and reconstructed data. A dimensional scaling approach is employed to reduce the dimensionality of the representations while preserving their discriminability. Second, a supervised part learns a classifier based on the labeled training samples using the latent features acquired in the unsupervised part. Moreover, we employ center loss in the supervised part to minimize the embedding space distance of each point in a class to its center. The model optimizes both parts of the network in an end-to-end fashion. The performance of the proposed SSDA is evaluated on test subjects who were not seen by the model during the training phase. To assess the performance, we use two benchmark EEG-based MI task datasets. The results demonstrate that SSDA outperforms state-of-the-art methods and that a small number of labeled training samples can be sufficient for strong classification performance.


title: Deep-Learning-Based Channel Estimation for IRS-Assisted ISAC System

abstract: Integrated sensing and communication (ISAC) and intelligent reflecting surface (IRS) are viewed as promising technologies for future generations of wireless networks. This paper investigates the channel estimation problem in an IRS-assisted ISAC system. A deep-learning framework is proposed to estimate the sensing and communication (S&C) channels in such a system. Considering different propagation environments of the S&C channels, two deep neural network (DNN) architectures are designed to realize this framework. The first DNN is devised at the ISAC base station for estimating the sensing channel, while the second DNN architecture is assigned to each downlink user equipment to estimate its communication channel. Moreover, the input-output pairs to train the DNNs are carefully designed. Simulation results show the superiority of the proposed estimation approach compared to the benchmark scheme under various signal-to-noise ratio conditions and system parameters.


title: Extreme Learning Machine-based Channel Estimation in IRS-Assisted Multi-User ISAC System

abstract: Multi-user integrated sensing and communication (ISAC) assisted by intelligent reflecting surface (IRS) has been recently investigated to provide a high spectral and energy efficiency transmission. This paper proposes a practical channel estimation approach for the first time to an IRS-assisted multiuser ISAC system. The estimation problem in such a system is challenging since the sensing and communication (SAC) signals interfere with each other, and the passive IRS lacks signal processing ability. A two-stage approach is proposed to transfer the overall estimation problem into sub-ones, successively including the direct and reflected channels estimation. Based on this scheme, the ISAC base station (BS) estimates all the SAC channels associated with the target and uplink users, while each downlink user estimates the downlink communication channels individually. Considering a low-cost demand of the ISAC BS and downlink users, the proposed two-stage approach is realized by an efficient neural network (NN) framework that contains two different extreme learning machine (ELM) structures to estimate the above SAC channels. Moreover, two types of input-output pairs to train the ELMs are carefully devised, which impact the estimation accuracy and computational complexity under different system parameters. Simulation results reveal a substantial performance improvement achieved by the proposed ELM-based approach over the least-squares and NN-based benchmarks, with reduced training complexity and faster training speed.


title: Deep-Learning Channel Estimation for IRS-Assisted Integrated Sensing and Communication System

abstract: Integrated sensing and communication (ISAC), and intelligent reflecting surface (IRS) are envisioned as revolutionary technologies to enhance spectral and energy efficiencies for next wireless system generations. For the first time, this paper focuses on the channel estimation problem in an IRS-assisted ISAC system. This problem is challenging due to the lack of signal processing capacity in passive IRS, as well as the presence of mutual interference between sensing and communication (SAC) signals in ISAC systems. A three-stage approach is proposed to decouple the estimation problem into sub-ones, including the estimation of the direct SAC channels in the first stage, reflected communication channel in the second stage, and reflected sensing channel in the third stage. The proposed three-stage approach is based on a deep-learning framework, which involves two different convolutional neural network (CNN) architectures to estimate the channels at the full-duplex ISAC base station. Furthermore, two types of input-output pairs to train the CNNs are carefully designed, which affect the estimation performance under various signal-to-noise ratio conditions and system parameters. Simulation results validate the superiority of the proposed estimation approach compared to the least-squares baseline scheme, and its computational complexity is also analyzed.


title: Progress in artificial intelligence applications based on the combination of self-driven sensors and deep learning

abstract: In the era of Internet of Things, how to develop a smart sensor system with sustainable power supply, easy deployment and flexible use has become a difficult problem to be solved. The traditional power supply has problems such as frequent replacement or charging when in use, which limits the development of wearable devices. The contact-to-separate friction nanogenerator (TENG) was prepared by using polychotomy thy lene (PTFE) and aluminum (AI) foils. Human motion energy was collected by human body arrangement, and human motion posture was monitored according to the changes of output electrical signals. In 2012, Academician Wang Zhong lin and his team invented the triboelectric nanogenerator (TENG), which uses Maxwell displacement current as a driving force to directly convert mechanical stimuli into electrical signals, so it can be used as a self-driven sensor. Teng-based sensors have the advantages of simple structure and high instantaneous power density, which provides an important means for building intelligent sensor systems. At the same time, machine learning, as a technology with low cost, short development cycle, strong data processing ability and prediction ability, has a significant effect on the processing of a large number of electrical signals generated by TENG, and the combination with TENG sensors will promote the rapid development of intelligent sensor networks in the future. Therefore, this paper is based on the intelligent sound monitoring and recognition system of TENG, which has good sound recognition capability, and aims to evaluate the feasibility of the sound perception module architecture in ubiquitous sensor networks.


title: Review of algorithms for predicting fatigue using EEG

abstract: Fatigue detection is of paramount importance in enhancing safety, productivity, and well-being across diverse domains, including transportation, healthcare, and industry. This scientific paper presents a comprehensive investigation into the application of machine learning algorithms for the detection of physiological fatigue using Electroencephalogram (EEG) signals. The primary objective of this study was to assess the efficacy of various algorithms in predicting an individual's level of fatigue based on EEG data.


title: Multimodal Action Quality Assessment

abstract: Action quality assessment (AQA) is to assess how well an action is performed. Previous works perform modelling by only the use of visual information, ignoring audio information. We argue that although AQA is highly dependent on visual information, the audio is useful complementary information for improving the score regression accuracy, especially for sports with background music, such as figure skating and rhythmic gymnastics. To leverage multimodal information for AQA, i.e., RGB, optical flow and audio information, we propose a Progressive Adaptive Multimodal Fusion Network (PAMFN) that separately models modality-specific information and mixed-modality information. Our model consists of with three modality-specific branches that independently explore modality-specific information and a mixed-modality branch that progressively aggregates the modality-specific information from the modality-specific branches. To build the bridge between modality-specific branches and the mixed-modality branch, three novel modules are proposed. First, a Modality-specific Feature Decoder module is designed to selectively transfer modality-specific information to the mixed-modality branch. Second, when exploring the interaction between modality-specific information, we argue that using an invariant multimodal fusion policy may lead to suboptimal results, so as to take the potential diversity in different parts of an action into consideration. Therefore, an Adaptive Fusion Module is proposed to learn adaptive multimodal fusion policies in different parts of an action. This module consists of several FusionNets for exploring different multimodal fusion strategies and a PolicyNet for deciding which FusionNets are enabled. Third, a module called Cross-modal Feature Decoder is designed to transfer cross-modal features generated by Adaptive Fusion Module to the mixed-modality branch.


title: iMove: Exploring Bio-impedance Sensing for Fitness Activity Recognition

abstract: Automatic and precise fitness activity recognition can be beneficial in aspects from promoting a healthy lifestyle to personalized preventative healthcare. While IMUs are currently the prominent fitness tracking modality, through iMove, we show bio-impedence can help improve IMU-based fitness tracking through sensor fusion and contrastive learning.To evaluate our methods, we conducted an experiment including six upper body fitness activities performed by ten subjects over five days to collect synchronized data from bio-impedance across two wrists and IMU on the left wrist.The contrastive learning framework uses the two modalities to train a better IMU-only classification model, where bio-impedance is only required at the training phase, by which the average Macro F1 score with the input of a single IMU was improved by 3.22 \% reaching 84.71 \% compared to the 81.49 \% of the IMU baseline model. We have also shown how bio-impedance can improve human activity recognition (HAR) directly through sensor fusion, reaching an average Macro F1 score of 89.57 \% (two modalities required for both training and inference) even if Bio-impedance alone has an average macro F1 score of 75.36 \%, which is outperformed by IMU alone. In addition, similar results were obtained in an extended study on lower body fitness activity classification, demonstrating the generalisability of our approach.Our findings underscore the potential of sensor fusion and contrastive learning as valuable tools for advancing fitness activity recognition, with bio-impedance playing a pivotal role in augmenting the capabilities of IMU-based systems.


title: MeshAC: A 3D Mesh Generation and Adaptation Package for Multiscale Coupling Methods

abstract: This paper introduces the MeshAC package, which generates three-dimensional adaptive meshes tailored for the efficient and robust implementation of multiscale coupling methods. While Delaunay triangulation is commonly used for mesh generation across the entire computational domain, generating meshes for multiscale coupling methods is more challenging due to intrinsic discrete structures such as defects, and the need to match these structures to the continuum domain at the interface. The MeshAC package tackles these challenges by generating meshes that align with fine-level discrete structures. It also incorporates localized modification and reconstruction operations specifically designed for interfaces. These enhancements improve both the implementation efficiency and the quality of the coupled mesh. Furthermore, MeshAC introduces a novel adaptive feature that utilizes gradient-based a posteriori error estimation, which automatically adjusts the atomistic region and continuum mesh, ensuring an optimal balance between accuracy and efficiency. This package can be directly applied to the geometry optimization problems of a/c coupling in static mechanics, with potential extensions to many other scenarios. Its capabilities are demonstrated for complex material defects, including straight edge dislocation in BCC W and double voids in FCC Cu. These results suggest that MeshAC can be a valuable tool for researchers and practitioners in computational mechanics.


title: Wavelet Analysis of Noninvasive EEG Signals Discriminates Complex and Natural Grasp Types

abstract: This research aims to decode hand grasps from Electroencephalograms (EEGs) for dexterous neuroprosthetic development and Brain-Computer Interface (BCI) applications, especially for patients with motor disorders. Particularly, it focuses on distinguishing two complex natural power and precision grasps in addition to a neutral condition as a no-movement condition using a new EEG-based BCI platform and wavelet signal processing. Wavelet analysis involved generating time-frequency and topographic maps from wavelet power coefficients. Then, by using machine learning techniques with novel wavelet features, we achieved high average accuracies: 85.16% for multiclass, 95.37% for No-Movement vs Power, 95.40% for No-Movement vs Precision, and 88.07% for Power vs Precision, demonstrating the effectiveness of these features in EEG-based grasp differentiation. In contrast to previous studies, a critical part of our study was permutation feature importance analysis, which highlighted key features for grasp classification. It revealed that the most crucial brain activities during grasping occur in the motor cortex, within the alpha and beta frequency bands. These insights demonstrate the potential of wavelet features in real-time neuroprosthetic technology and BCI applications.


title: A Comparative Study of Conventional and Tripolar EEG for High-Performance Reach-to-Grasp BCI Systems

abstract: This study aims to enhance BCI applications for individuals with motor impairments by comparing the effectiveness of tripolar EEG (tEEG) with conventional EEG. The focus is on interpreting and decoding various grasping movements, such as power grasp and precision grasp. The goal is to determine which EEG technology is more effective in processing and translating grasp related neural signals. The approach involved experimenting on ten healthy participants who performed two distinct grasp movements: power grasp and precision grasp, with a no movement condition serving as the baseline. Our research presents a thorough comparison between EEG and tEEG in decoding grasping movements. This comparison spans several key parameters, including signal to noise ratio (SNR), spatial resolution via functional connectivity, ERPs, and wavelet time frequency analysis. Additionally, our study involved extracting and analyzing statistical features from the wavelet coefficients, and both binary and multiclass classification methods were employed. Four machine learning algorithms were used to evaluate the decoding accuracies. Our results indicated that tEEG demonstrated superior performance over conventional EEG in various aspects. This included a higher signal to noise ratio, enhanced spatial resolution, and more informative data in ERPs and wavelet time frequency analysis. The use of tEEG led to notable improvements in decoding accuracy for differentiating movement types. Specifically, tEEG achieved around 90% accuracy in binary and 75.97% for multiclass classification. These results are markedly better than those from standard EEG, which recorded a maximum of 77.85% and 61.27% in similar tasks, respectively. These findings highlight the superior effectiveness of tEEG over EEG in decoding grasp types and its competitive or superior performance in complex classifications compared with existing research.


title: Implementation of the Multichannel Filtered Reference Least Mean Square (McFxLMS) Algorithm with an Arbitrary Number of Channels by Using MATLAB

abstract: Multichannel filtered reference least mean square (McFxLMS) algorithms are widely utilized in adaptive multichannel active noise control (MCANC) applications. As a critical and high-computationally efficient adaptive critical algorithm, it also typically works as a benchmark for comparative studies of the new algorithms proposed by peers and researchers. However, up to now, there are few open-source codes for the FxLMS algorithm, especially for large-count channels. Therefore, this work provides a MATLAB code for the McFxLMS algorithm, which can be used for the arbitrary number of channels system. The code is available on GitHub and Mathworks.


title: Guiding Masked Representation Learning to Capture Spatio-Temporal Relationship of Electrocardiogram

abstract: Electrocardiograms (ECG) are widely employed as a diagnostic tool for monitoring electrical signals originating from a heart. Recent machine learning research efforts have focused on the application of screening various diseases using ECG signals. However, adapting to the application of screening disease is challenging in that labeled ECG data are limited. Achieving general representation through self-supervised learning (SSL) is a well-known approach to overcome the scarcity of labeled data; however, a naive application of SSL to ECG data, without considering the spatial-temporal relationships inherent in ECG signals, may yield suboptimal results. In this paper, we introduce ST-MEM (Spatio-Temporal Masked Electrocardiogram Modeling), designed to learn spatio-temporal features by reconstructing masked 12-lead ECG data. ST-MEM outperforms other SSL baseline methods in various experimental settings for arrhythmia classification tasks. Moreover, we demonstrate that ST-MEM is adaptable to various lead combinations. Through quantitative and qualitative analysis, we show a spatio-temporal relationship within ECG data. Our code is available at https://github.com/bakqui/ST-MEM.


title: Effects of Transceiver Jitter on the Performance of Optical Scattering Communication Systems

abstract: In ultraviolet communications, the transceiver jitter effects have been ignored in previous studies, which can result in non-negligible performance degradation especially in vibration states or in mobile scenes. To address this issue, we model the relationship between the received power and transceiver jitter by making use of a moment-based density function approximation method. Based on this relationship, we incorporate the transceiver jitter effects in combination with Poisson distribution. The error rate results are obtained assuming on-off key modulation with optimal threshold based detection. We validate the error rate expressions by comparing the analytical results with Monte-Carlo simulation results. The results show that the transceiver jitter effects cause performance degradation especially in smaller transceiver elevation angles or in shorter distances, which are often adopted in short-range ultraviolet communications. The results also show that larger elevation angle cases have a better performance with respect to anti-jitter and may perform better compared to smaller elevation angle situations in the case of larger standard deviation of jitter. This work studies for the first time the transceiver jitter effects in ultraviolet communications and provides guidelines for experimental system design.


title: Data Distribution Dynamics in Real-World WiFi-Based Patient Activity Monitoring for Home Healthcare

abstract: This paper examines the application of WiFi signals for real-world monitoring of daily activities in home healthcare scenarios. While the state-of-the-art of WiFi-based activity recognition is promising in lab environments, challenges arise in real-world settings due to environmental, subject, and system configuration variables, affecting accuracy and adaptability. The research involved deploying systems in various settings and analyzing data shifts. It aims to guide realistic development of robust, context-aware WiFi sensing systems for elderly care. The findings suggest a shift in WiFi-based activity sensing, bridging the gap between academic research and practical applications, enhancing life quality through technology.


title: Improving EEG Signal Classification Accuracy Using Wasserstein Generative Adversarial Networks

abstract: Electroencephalography (EEG) plays a vital role in recording brain activities and is integral to the development of brain-computer interface (BCI) technologies. However, the limited availability and high variability of EEG signals present substantial challenges in creating reliable BCIs. To address this issue, we propose a practical solution drawing on the latest developments in deep learning and Wasserstein Generative Adversarial Network (WGAN). The WGAN was trained on the BCI2000 dataset, consisting of around 1500 EEG recordings and 64 channels from 45 individuals. The generated EEG signals were evaluated via three classifiers yielding improved average accuracies. The quality of generated signals measured using Frechet Inception Distance (FID) yielded scores of 1.345 and 11.565 for eyes-open and closed respectively. Even without a spectral or spatial loss term, our WGAN model was able to emulate the spectral and spatial properties of the EEG training data. The WGAN-generated data mirrored the dominant alpha activity during closed-eye resting and high delta waves in the training data in its topographic map and power spectral density (PSD) plot. Our research testifies to the potential of WGANs in addressing the limited EEG data issue for BCI development by enhancing a small dataset to improve classifier generalizability.


title: Understanding the Sampling Algorithm for Watt Spectrum

abstract: We provide details in understanding the Watt spectrum sampling method. The algorithm is given in "R12" from "3rd Monte Carlo Sampler" without detailed derivation. We rederive the algorithm by optimizating the sampling efficiency of the rejection method.


title: Two Generalizations of Stampacchia Lemma and Applications

abstract: We present two generalizations of the classical Stampacchia Lemma which contain a non-decreasing non-negative function $g$, and give applications. As a first application, we deal with variational integrals of the form $$ {\cal J} (u;\Omega) = \int_{\Omega}\ f(x,Du{(x)})dx. $$ We consider a minimizer $u: \Omega \subset \mathbb R^n \to \mathbb R $ among all functions with a fixed boundary value $u_{\ast }$ on $\partial \Omega$. Under some nonstandard growth conditions of the integrand $f(x,\xi)$ we derive some regularity results; as a second application, we consider elliptic equations of the form $$ \begin{cases} -\mbox {div} \left( a(x, u(x)) D u(x) \right) = f(x), & x \in \Omega, u(x) = 0, & x \in {\partial \Omega}, \end{cases} $$ under the conditions $$ \frac {\alpha }{(1+|s|) ^\theta \ln ^\theta (e+|s|)} \le a (x,s) \le \beta, \ \ \ 0<\alpha \le \beta <\infty, \ \theta \ge 0, $$ we obtain some regularity properties of its weak solutions.


title: Optimistic Thompson Sampling for No-Regret Learning in Unknown Games

abstract: This work tackles the complexities of multi-player scenarios in \emph{unknown games}, where the primary challenge lies in navigating the uncertainty of the environment through bandit feedback alongside strategic decision-making. We introduce Thompson Sampling (TS)-based algorithms that exploit the information of opponents' actions and reward structures, leading to a substantial reduction in experimental budgets -- achieving over tenfold improvements compared to conventional approaches. Notably, our algorithms demonstrate that, given specific reward structures, the regret bound depends logarithmically on the total action space, significantly alleviating the curse of multi-player. Furthermore, we unveil the \emph{Optimism-then-NoRegret} (OTN) framework, a pioneering methodology that seamlessly incorporates our advancements with established algorithms, showcasing its utility in practical scenarios such as traffic routing and radar sensing in the real world.


title: Self-Healing Effects in OAM Beams Observed on a 28 GHz Experimental Link

abstract: In this paper we document for the first time some of the effects of self-healing, a property of orbital-angular-momentum (OAM) or vortex beams, as observed on a millimeter-wave experimental communications link in an outdoors line-of-sight (LOS) scenario. The OAM beams have a helical phase and polarization structure and have conical amplitude shape in the far field. The Poynting vectors of the OAM beams also possess helical structures, orthogonal to the corresponding helical phase-fronts. Due to such non-planar structure in the direction orthogonal to the beam axis, OAM beams are a subset of structured light beams. Such structured beams are known to possess self-healing properties when partially obstructed along their propagation axis, especially in their near fields, resulting in partial reconstruction of their structures at larger distances along their beam axis. Various theoretical rationales have been proposed to explain, model and experimentally verify the self-healing physical effects in structured optical beams, using various types of obstructions and experimental techniques. Based on these models, we hypothesize that any self-healing observed will be greater as the OAM order increases. Here we observe the self-healing effects for the first time in structured OAM radio beams, in terms of communication signals and channel parameters rather than beam structures. We capture the effects of partial near-field obstructions of OAM beams of different orders on the communications signals and provide a physical rationale to substantiate that the self-healing effect was observed to increase with the order of OAM, agreeing with our hypothesis.


title: Relative consistency of Set Matrix Theory with ZF

abstract: Set Matrix Theory (SMT) has been introduced in Log. Anal. 225: 59-82 (2014) as a generalization of ZF, in which matrices constructed from sets are treated as urelements, that is, as objects that are not sets but that can be elements of sets. Here we prove that SMT is relatively consistent with ZF.


title: Custom IMU-Based Wearable System for Robust 2.4 GHz Wireless Human Body Parts Orientation Tracking and 3D Movement Visualization on an Avatar

abstract: Recent studies confirm the applicability of Inertial Measurement Unit (IMU)-based systems for human motion analysis. Notwithstanding, high-end IMU-based commercial solutions are yet too expensive and complex to democratize their use among a wide range of potential users. Less featured entry-level commercial solutions are being introduced in the market, trying to fill this gap, but still present some limitations that need to be overcome. At the same time, there is a growing number of scientific papers using not commercial, but custom do-it-yourself IMU-based systems in medical and sports applications. Even though these solutions can help to popularize the use of this technology, they have more limited features and the description on how to design and build them from scratch is yet too scarce in the literature. The aim of this work is two-fold: (1) Proving the feasibility of building an affordable custom solution aimed at simultaneous multiple body parts orientation tracking; while providing a detailed bottom-up description of the required hardware, tools, and mathematical operations to estimate and represent 3D movement in real-time. (2) Showing how the introduction of a custom 2.4 GHz communication protocol including a channel hopping strategy can address some of the current communication limitations of entry-level commercial solutions. The proposed system can be used for wireless real-time human body parts orientation tracking with up to 10 custom sensors, at least at 50 Hz. In addition, it provides a more reliable motion data acquisition in Bluetooth and Wi-Fi crowded environments, where the use of entry-level commercial solutions might be unfeasible. This system can be used as a groundwork for developing affordable human motion analysis solutions that do not require an accurate kinematic analysis.


title: Unsupervised learning based end-to-end delayless generative fixed-filter active noise control

abstract: Delayless noise control is achieved by our earlier generative fixed-filter active noise control (GFANC) framework through efficient coordination between the co-processor and real-time controller. However, the one-dimensional convolutional neural network (1D CNN) in the co-processor requires initial training using labelled noise datasets. Labelling noise data can be resource-intensive and may introduce some biases. In this paper, we propose an unsupervised-GFANC approach to simplify the 1D CNN training process and enhance its practicality. During training, the co-processor and real-time controller are integrated into an end-to-end differentiable ANC system. This enables us to use the accumulated squared error signal as the loss for training the 1D CNN. With this unsupervised learning paradigm, the unsupervised-GFANC method not only omits the labelling process but also exhibits better noise reduction performance compared to the supervised GFANC method in real noise experiments.